contrib/llvm/lib/Target/WebAssembly/WebAssemblyInstrConv.td

   1 //===-- WebAssemblyInstrConv.td-WebAssembly Conversion support -*- tablegen -*-=
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 ///
  10 /// \file
  11 /// WebAssembly datatype conversions, truncations, reinterpretations,
  12 /// promotions, and demotions operand code-gen constructs.
  13 ///
  14 //===----------------------------------------------------------------------===//
  15
  16 let Defs = [ARGUMENTS] in {
  17
  18 defm I32_WRAP_I64 : I<(outs I32:$dst), (ins I64:$src), (outs), (ins),
  19                       [(set I32:$dst, (trunc I64:$src))],
  20                       "i32.wrap/i64\t$dst, $src", "i32.wrap/i64", 0xa7>;
  21
  22 defm I64_EXTEND_S_I32 : I<(outs I64:$dst), (ins I32:$src), (outs), (ins),
  23                           [(set I64:$dst, (sext I32:$src))],
  24                           "i64.extend_s/i32\t$dst, $src", "i64.extend_s/i32",
  25                           0xac>;
  26 defm I64_EXTEND_U_I32 : I<(outs I64:$dst), (ins I32:$src), (outs), (ins),
  27                           [(set I64:$dst, (zext I32:$src))],
  28                           "i64.extend_u/i32\t$dst, $src", "i64.extend_u/i32",
  29                           0xad>;
  30
  31 let Predicates = [HasSignExt] in {
  32 defm I32_EXTEND8_S_I32 : I<(outs I32:$dst), (ins I32:$src), (outs), (ins),
  33                            [(set I32:$dst, (sext_inreg I32:$src, i8))],
  34                            "i32.extend8_s\t$dst, $src", "i32.extend8_s",
  35                            0xc0>;
  36 defm I32_EXTEND16_S_I32 : I<(outs I32:$dst), (ins I32:$src), (outs), (ins),
  37                             [(set I32:$dst, (sext_inreg I32:$src, i16))],
  38                             "i32.extend16_s\t$dst, $src", "i32.extend16_s",
  39                             0xc1>;
  40 defm I64_EXTEND8_S_I64 : I<(outs I64:$dst), (ins I64:$src), (outs), (ins),
  41                             [(set I64:$dst, (sext_inreg I64:$src, i8))],
  42                             "i64.extend8_s\t$dst, $src", "i64.extend8_s",
  43                             0xc2>;
  44 defm I64_EXTEND16_S_I64 : I<(outs I64:$dst), (ins I64:$src), (outs), (ins),
  45                             [(set I64:$dst, (sext_inreg I64:$src, i16))],
  46                             "i64.extend16_s\t$dst, $src", "i64.extend16_s",
  47                             0xc3>;
  48 defm I64_EXTEND32_S_I64 : I<(outs I64:$dst), (ins I64:$src), (outs), (ins),
  49                             [(set I64:$dst, (sext_inreg I64:$src, i32))],
  50                             "i64.extend32_s\t$dst, $src", "i64.extend32_s",
  51                             0xc4>;
  52 } // Predicates = [HasSignExt]
  53
  54 } // defs = [ARGUMENTS]
  55
  56 // Expand a "don't care" extend into zero-extend (chosen over sign-extend
  57 // somewhat arbitrarily, although it favors popular hardware architectures
  58 // and is conceptually a simpler operation).
  59 def : Pat<(i64 (anyext I32:$src)), (I64_EXTEND_U_I32 I32:$src)>;
  60
  61 let Defs = [ARGUMENTS] in {
  62
  63 // Conversion from floating point to integer instructions which don't trap on
  64 // overflow or invalid.
  65 defm I32_TRUNC_S_SAT_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
  66                              [(set I32:$dst, (fp_to_sint F32:$src))],
  67                              "i32.trunc_s:sat/f32\t$dst, $src",
  68                              "i32.trunc_s:sat/f32", 0xfc00>,
  69                              Requires<[HasNontrappingFPToInt]>;
  70 defm I32_TRUNC_U_SAT_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
  71                              [(set I32:$dst, (fp_to_uint F32:$src))],
  72                              "i32.trunc_u:sat/f32\t$dst, $src",
  73                              "i32.trunc_u:sat/f32", 0xfc01>,
  74                              Requires<[HasNontrappingFPToInt]>;
  75 defm I64_TRUNC_S_SAT_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
  76                              [(set I64:$dst, (fp_to_sint F32:$src))],
  77                              "i64.trunc_s:sat/f32\t$dst, $src",
  78                              "i64.trunc_s:sat/f32", 0xfc04>,
  79                              Requires<[HasNontrappingFPToInt]>;
  80 defm I64_TRUNC_U_SAT_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
  81                              [(set I64:$dst, (fp_to_uint F32:$src))],
  82                              "i64.trunc_u:sat/f32\t$dst, $src",
  83                              "i64.trunc_u:sat/f32", 0xfc05>,
  84                              Requires<[HasNontrappingFPToInt]>;
  85 defm I32_TRUNC_S_SAT_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
  86                              [(set I32:$dst, (fp_to_sint F64:$src))],
  87                              "i32.trunc_s:sat/f64\t$dst, $src",
  88                              "i32.trunc_s:sat/f64", 0xfc02>,
  89                              Requires<[HasNontrappingFPToInt]>;
  90 defm I32_TRUNC_U_SAT_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
  91                              [(set I32:$dst, (fp_to_uint F64:$src))],
  92                              "i32.trunc_u:sat/f64\t$dst, $src",
  93                              "i32.trunc_u:sat/f64", 0xfc03>,
  94                              Requires<[HasNontrappingFPToInt]>;
  95 defm I64_TRUNC_S_SAT_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
  96                              [(set I64:$dst, (fp_to_sint F64:$src))],
  97                              "i64.trunc_s:sat/f64\t$dst, $src",
  98                              "i64.trunc_s:sat/f64", 0xfc06>,
  99                              Requires<[HasNontrappingFPToInt]>;
 100 defm I64_TRUNC_U_SAT_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 101                              [(set I64:$dst, (fp_to_uint F64:$src))],
 102                              "i64.trunc_u:sat/f64\t$dst, $src",
 103                              "i64.trunc_u:sat/f64", 0xfc07>,
 104                              Requires<[HasNontrappingFPToInt]>;
 105
 106 // Conversion from floating point to integer pseudo-instructions which don't
 107 // trap on overflow or invalid.
 108 let usesCustomInserter = 1, isCodeGenOnly = 1 in {
 109 defm FP_TO_SINT_I32_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 110                             [(set I32:$dst, (fp_to_sint F32:$src))], "", "", 0>,
 111                             Requires<[NotHasNontrappingFPToInt]>;
 112 defm FP_TO_UINT_I32_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 113                             [(set I32:$dst, (fp_to_uint F32:$src))], "", "", 0>,
 114                             Requires<[NotHasNontrappingFPToInt]>;
 115 defm FP_TO_SINT_I64_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 116                             [(set I64:$dst, (fp_to_sint F32:$src))], "", "", 0>,
 117                             Requires<[NotHasNontrappingFPToInt]>;
 118 defm FP_TO_UINT_I64_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 119                             [(set I64:$dst, (fp_to_uint F32:$src))], "", "", 0>,
 120                             Requires<[NotHasNontrappingFPToInt]>;
 121 defm FP_TO_SINT_I32_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 122                             [(set I32:$dst, (fp_to_sint F64:$src))], "", "", 0>,
 123                             Requires<[NotHasNontrappingFPToInt]>;
 124 defm FP_TO_UINT_I32_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 125                             [(set I32:$dst, (fp_to_uint F64:$src))], "", "", 0>,
 126                             Requires<[NotHasNontrappingFPToInt]>;
 127 defm FP_TO_SINT_I64_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 128                             [(set I64:$dst, (fp_to_sint F64:$src))], "", "", 0>,
 129                             Requires<[NotHasNontrappingFPToInt]>;
 130 defm FP_TO_UINT_I64_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 131                             [(set I64:$dst, (fp_to_uint F64:$src))], "", "", 0>,
 132                             Requires<[NotHasNontrappingFPToInt]>;
 133 } // usesCustomInserter, isCodeGenOnly = 1
 134
 135 // Conversion from floating point to integer traps on overflow and invalid.
 136 let hasSideEffects = 1 in {
 137 defm I32_TRUNC_S_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 138                          [], "i32.trunc_s/f32\t$dst, $src", "i32.trunc_s/f32",
 139                          0xa8>;
 140 defm I32_TRUNC_U_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 141                          [], "i32.trunc_u/f32\t$dst, $src", "i32.trunc_u/f32",
 142                          0xa9>;
 143 defm I64_TRUNC_S_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 144                          [], "i64.trunc_s/f32\t$dst, $src", "i64.trunc_s/f32",
 145                          0xae>;
 146 defm I64_TRUNC_U_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 147                          [], "i64.trunc_u/f32\t$dst, $src", "i64.trunc_u/f32",
 148                          0xaf>;
 149 defm I32_TRUNC_S_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 150                          [], "i32.trunc_s/f64\t$dst, $src", "i32.trunc_s/f64",
 151                          0xaa>;
 152 defm I32_TRUNC_U_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 153                          [], "i32.trunc_u/f64\t$dst, $src", "i32.trunc_u/f64",
 154                          0xab>;
 155 defm I64_TRUNC_S_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 156                          [], "i64.trunc_s/f64\t$dst, $src", "i64.trunc_s/f64",
 157                          0xb0>;
 158 defm I64_TRUNC_U_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 159                          [], "i64.trunc_u/f64\t$dst, $src", "i64.trunc_u/f64",
 160                          0xb1>;
 161 } // hasSideEffects = 1
 162
 163 defm F32_CONVERT_S_I32 : I<(outs F32:$dst), (ins I32:$src), (outs), (ins),
 164                            [(set F32:$dst, (sint_to_fp I32:$src))],
 165                            "f32.convert_s/i32\t$dst, $src", "f32.convert_s/i32",
 166                            0xb2>;
 167 defm F32_CONVERT_U_I32 : I<(outs F32:$dst), (ins I32:$src), (outs), (ins),
 168                            [(set F32:$dst, (uint_to_fp I32:$src))],
 169                            "f32.convert_u/i32\t$dst, $src", "f32.convert_u/i32",
 170                            0xb3>;
 171 defm F64_CONVERT_S_I32 : I<(outs F64:$dst), (ins I32:$src), (outs), (ins),
 172                            [(set F64:$dst, (sint_to_fp I32:$src))],
 173                            "f64.convert_s/i32\t$dst, $src", "f64.convert_s/i32",
 174                            0xb7>;
 175 defm F64_CONVERT_U_I32 : I<(outs F64:$dst), (ins I32:$src), (outs), (ins),
 176                            [(set F64:$dst, (uint_to_fp I32:$src))],
 177                            "f64.convert_u/i32\t$dst, $src", "f64.convert_u/i32",
 178                            0xb8>;
 179 defm F32_CONVERT_S_I64 : I<(outs F32:$dst), (ins I64:$src), (outs), (ins),
 180                            [(set F32:$dst, (sint_to_fp I64:$src))],
 181                            "f32.convert_s/i64\t$dst, $src", "f32.convert_s/i64",
 182                            0xb4>;
 183 defm F32_CONVERT_U_I64 : I<(outs F32:$dst), (ins I64:$src), (outs), (ins),
 184                            [(set F32:$dst, (uint_to_fp I64:$src))],
 185                            "f32.convert_u/i64\t$dst, $src", "f32.convert_u/i64",
 186                            0xb5>;
 187 defm F64_CONVERT_S_I64 : I<(outs F64:$dst), (ins I64:$src), (outs), (ins),
 188                            [(set F64:$dst, (sint_to_fp I64:$src))],
 189                            "f64.convert_s/i64\t$dst, $src", "f64.convert_s/i64",
 190                            0xb9>;
 191 defm F64_CONVERT_U_I64 : I<(outs F64:$dst), (ins I64:$src), (outs), (ins),
 192                            [(set F64:$dst, (uint_to_fp I64:$src))],
 193                            "f64.convert_u/i64\t$dst, $src", "f64.convert_u/i64",
 194                            0xba>;
 195
 196 defm F64_PROMOTE_F32 : I<(outs F64:$dst), (ins F32:$src), (outs), (ins),
 197                          [(set F64:$dst, (fpextend F32:$src))],
 198                          "f64.promote/f32\t$dst, $src", "f64.promote/f32",
 199                          0xbb>;
 200 defm F32_DEMOTE_F64 : I<(outs F32:$dst), (ins F64:$src), (outs), (ins),
 201                         [(set F32:$dst, (fpround F64:$src))],
 202                         "f32.demote/f64\t$dst, $src", "f32.demote/f64",
 203                         0xb6>;
 204
 205 defm I32_REINTERPRET_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 206                              [(set I32:$dst, (bitconvert F32:$src))],
 207                              "i32.reinterpret/f32\t$dst, $src",
 208                              "i32.reinterpret/f32", 0xbc>;
 209 defm F32_REINTERPRET_I32 : I<(outs F32:$dst), (ins I32:$src), (outs), (ins),
 210                              [(set F32:$dst, (bitconvert I32:$src))],
 211                              "f32.reinterpret/i32\t$dst, $src",
 212                              "f32.reinterpret/i32", 0xbe>;
 213 defm I64_REINTERPRET_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 214                              [(set I64:$dst, (bitconvert F64:$src))],
 215                              "i64.reinterpret/f64\t$dst, $src",
 216                              "i64.reinterpret/f64", 0xbd>;
 217 defm F64_REINTERPRET_I64 : I<(outs F64:$dst), (ins I64:$src), (outs), (ins),
 218                              [(set F64:$dst, (bitconvert I64:$src))],
 219                              "f64.reinterpret/i64\t$dst, $src",
 220                              "f64.reinterpret/i64", 0xbf>;
 221
 222 } // Defs = [ARGUMENTS]