lib/Target/WebAssembly/WebAssemblyInstrConv.td

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