src/compiler/nir/nir_opcodes_c.py

   1 #
   2 # Copyright (C) 2014 Connor Abbott
   3 #
   4 # Permission is hereby granted, free of charge, to any person obtaining a
   5 # copy of this software and associated documentation files (the "Software"),
   6 # to deal in the Software without restriction, including without limitation
   7 # the rights to use, copy, modify, merge, publish, distribute, sublicense,
   8 # and/or sell copies of the Software, and to permit persons to whom the
   9 # Software is furnished to do so, subject to the following conditions:
  10 #
  11 # The above copyright notice and this permission notice (including the next
  12 # paragraph) shall be included in all copies or substantial portions of the
  13 # Software.
  14 #
  15 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  16 # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  17 # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
  18 # THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  19 # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  20 # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
  21 # IN THE SOFTWARE.
  22 #
  23 # Authors:
  24 #    Connor Abbott (cwabbott0@gmail.com)
  25
  26 from __future__ import print_function
  27
  28 from nir_opcodes import opcodes
  29 from mako.template import Template
  30
  31 template = Template("""
  32 #include "nir.h"
  33
  34 nir_op
  35 nir_type_conversion_op(nir_alu_type src, nir_alu_type dst, nir_rounding_mode rnd)
  36 {
  37    nir_alu_type src_base = (nir_alu_type) nir_alu_type_get_base_type(src);
  38    nir_alu_type dst_base = (nir_alu_type) nir_alu_type_get_base_type(dst);
  39    unsigned src_bit_size = nir_alu_type_get_type_size(src);
  40    unsigned dst_bit_size = nir_alu_type_get_type_size(dst);
  41
  42    if (src == dst && src_base == nir_type_float) {
  43       return nir_op_fmov;
  44    } else if ((src_base == nir_type_int || src_base == nir_type_uint) &&
  45               (dst_base == nir_type_int || dst_base == nir_type_uint) &&
  46               src_bit_size == dst_bit_size) {
  47       /* Integer <-> integer conversions with the same bit-size on both
  48        * ends are just no-op moves.
  49        */
  50       return nir_op_imov;
  51    }
  52
  53    switch (src_base) {
  54 %     for src_t in ['int', 'uint', 'float']:
  55       case nir_type_${src_t}:
  56          switch (dst_base) {
  57 %           for dst_t in ['int', 'uint', 'float']:
  58             case nir_type_${dst_t}:
  59 %              if src_t in ['int', 'uint'] and dst_t in ['int', 'uint']:
  60 %                 if dst_t == 'int':
  61 <%                   continue %>
  62 %                 else:
  63 <%                   dst_t = src_t %>
  64 %                 endif
  65 %              endif
  66                switch (dst_bit_size) {
  67 %                 if dst_t == 'float':
  68 <%                    bit_sizes = [16, 32, 64] %>
  69 %                 else:
  70 <%                    bit_sizes = [8, 16, 32, 64] %>
  71 %                 endif
  72 %                 for dst_bits in bit_sizes:
  73                   case ${dst_bits}:
  74 %                    if src_t == 'float' and dst_t == 'float' and dst_bits == 16:
  75                      switch(rnd) {
  76 %                       for rnd_t in [('rtne', '_rtne'), ('rtz', '_rtz'), ('undef', '')]:
  77                         case nir_rounding_mode_${rnd_t[0]}:
  78                            return ${'nir_op_{0}2{1}{2}{3}'.format(src_t[0], dst_t[0],
  79                                                                    dst_bits, rnd_t[1])};
  80 %                       endfor
  81                         default:
  82                            unreachable("Invalid 16-bit nir rounding mode");
  83                      }
  84 %                    else:
  85                      assert(rnd == nir_rounding_mode_undef);
  86                      return ${'nir_op_{0}2{1}{2}'.format(src_t[0], dst_t[0], dst_bits)};
  87 %                    endif
  88 %                 endfor
  89                   default:
  90                      unreachable("Invalid nir alu bit size");
  91                }
  92 %           endfor
  93             case nir_type_bool:
  94 %              if src_t == 'float':
  95                   return nir_op_f2b;
  96 %              else:
  97                   return nir_op_i2b;
  98 %              endif
  99             default:
 100                unreachable("Invalid nir alu base type");
 101          }
 102 %     endfor
 103       case nir_type_bool:
 104          switch (dst_base) {
 105             case nir_type_int:
 106             case nir_type_uint:
 107                return nir_op_b2i;
 108             case nir_type_float:
 109                return nir_op_b2f;
 110             default:
 111                unreachable("Invalid nir alu base type");
 112          }
 113       default:
 114          unreachable("Invalid nir alu base type");
 115    }
 116 }
 117
 118 const nir_op_info nir_op_infos[nir_num_opcodes] = {
 119 % for name, opcode in sorted(opcodes.items()):
 120 {
 121    .name = "${name}",
 122    .num_inputs = ${opcode.num_inputs},
 123    .output_size = ${opcode.output_size},
 124    .output_type = ${"nir_type_" + opcode.output_type},
 125    .input_sizes = {
 126       ${ ", ".join(str(size) for size in opcode.input_sizes) }
 127    },
 128    .input_types = {
 129       ${ ", ".join("nir_type_" + type for type in opcode.input_types) }
 130    },
 131    .algebraic_properties =
 132       ${ "0" if opcode.algebraic_properties == "" else " | ".join(
 133             "NIR_OP_IS_" + prop.upper() for prop in
 134                opcode.algebraic_properties.strip().split(" ")) }
 135 },
 136 % endfor
 137 };
 138 """)
 139
 140 print(template.render(opcodes=opcodes))