llvm/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 // Support the explicitly saturating operations as well.
 100 def : Pat<(fp_to_sint_sat F32:$src, i32), (I32_TRUNC_S_SAT_F32 F32:$src)>;
 101 def : Pat<(fp_to_uint_sat F32:$src, i32), (I32_TRUNC_U_SAT_F32 F32:$src)>;
 102 def : Pat<(fp_to_sint_sat F64:$src, i32), (I32_TRUNC_S_SAT_F64 F64:$src)>;
 103 def : Pat<(fp_to_uint_sat F64:$src, i32), (I32_TRUNC_U_SAT_F64 F64:$src)>;
 104 def : Pat<(fp_to_sint_sat F32:$src, i64), (I64_TRUNC_S_SAT_F32 F32:$src)>;
 105 def : Pat<(fp_to_uint_sat F32:$src, i64), (I64_TRUNC_U_SAT_F32 F32:$src)>;
 106 def : Pat<(fp_to_sint_sat F64:$src, i64), (I64_TRUNC_S_SAT_F64 F64:$src)>;
 107 def : Pat<(fp_to_uint_sat F64:$src, i64), (I64_TRUNC_U_SAT_F64 F64:$src)>;
 108
 109 // Conversion from floating point to integer pseudo-instructions which don't
 110 // trap on overflow or invalid.
 111 let usesCustomInserter = 1, isCodeGenOnly = 1 in {
 112 defm FP_TO_SINT_I32_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 113                             [(set I32:$dst, (fp_to_sint F32:$src))], "", "", 0>,
 114                             Requires<[NotHasNontrappingFPToInt]>;
 115 defm FP_TO_UINT_I32_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 116                             [(set I32:$dst, (fp_to_uint F32:$src))], "", "", 0>,
 117                             Requires<[NotHasNontrappingFPToInt]>;
 118 defm FP_TO_SINT_I64_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 119                             [(set I64:$dst, (fp_to_sint F32:$src))], "", "", 0>,
 120                             Requires<[NotHasNontrappingFPToInt]>;
 121 defm FP_TO_UINT_I64_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 122                             [(set I64:$dst, (fp_to_uint F32:$src))], "", "", 0>,
 123                             Requires<[NotHasNontrappingFPToInt]>;
 124 defm FP_TO_SINT_I32_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 125                             [(set I32:$dst, (fp_to_sint F64:$src))], "", "", 0>,
 126                             Requires<[NotHasNontrappingFPToInt]>;
 127 defm FP_TO_UINT_I32_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 128                             [(set I32:$dst, (fp_to_uint F64:$src))], "", "", 0>,
 129                             Requires<[NotHasNontrappingFPToInt]>;
 130 defm FP_TO_SINT_I64_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 131                             [(set I64:$dst, (fp_to_sint F64:$src))], "", "", 0>,
 132                             Requires<[NotHasNontrappingFPToInt]>;
 133 defm FP_TO_UINT_I64_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 134                             [(set I64:$dst, (fp_to_uint F64:$src))], "", "", 0>,
 135                             Requires<[NotHasNontrappingFPToInt]>;
 136 } // usesCustomInserter, isCodeGenOnly = 1
 137
 138 // Conversion from floating point to integer traps on overflow and invalid.
 139 let hasSideEffects = 1 in {
 140 defm I32_TRUNC_S_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 141                          [], "i32.trunc_f32_s\t$dst, $src", "i32.trunc_f32_s",
 142                          0xa8>;
 143 defm I32_TRUNC_U_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 144                          [], "i32.trunc_f32_u\t$dst, $src", "i32.trunc_f32_u",
 145                          0xa9>;
 146 defm I64_TRUNC_S_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 147                          [], "i64.trunc_f32_s\t$dst, $src", "i64.trunc_f32_s",
 148                          0xae>;
 149 defm I64_TRUNC_U_F32 : I<(outs I64:$dst), (ins F32:$src), (outs), (ins),
 150                          [], "i64.trunc_f32_u\t$dst, $src", "i64.trunc_f32_u",
 151                          0xaf>;
 152 defm I32_TRUNC_S_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 153                          [], "i32.trunc_f64_s\t$dst, $src", "i32.trunc_f64_s",
 154                          0xaa>;
 155 defm I32_TRUNC_U_F64 : I<(outs I32:$dst), (ins F64:$src), (outs), (ins),
 156                          [], "i32.trunc_f64_u\t$dst, $src", "i32.trunc_f64_u",
 157                          0xab>;
 158 defm I64_TRUNC_S_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 159                          [], "i64.trunc_f64_s\t$dst, $src", "i64.trunc_f64_s",
 160                          0xb0>;
 161 defm I64_TRUNC_U_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 162                          [], "i64.trunc_f64_u\t$dst, $src", "i64.trunc_f64_u",
 163                          0xb1>;
 164 } // hasSideEffects = 1
 165
 166 def : Pat<(int_wasm_trunc_signed F32:$src),
 167           (I32_TRUNC_S_F32 F32:$src)>;
 168 def : Pat<(int_wasm_trunc_unsigned F32:$src),
 169           (I32_TRUNC_U_F32 F32:$src)>;
 170 def : Pat<(int_wasm_trunc_signed F64:$src),
 171           (I32_TRUNC_S_F64 F64:$src)>;
 172 def : Pat<(int_wasm_trunc_unsigned F64:$src),
 173           (I32_TRUNC_U_F64 F64:$src)>;
 174 def : Pat<(int_wasm_trunc_signed F32:$src),
 175           (I64_TRUNC_S_F32 F32:$src)>;
 176 def : Pat<(int_wasm_trunc_unsigned F32:$src),
 177           (I64_TRUNC_U_F32 F32:$src)>;
 178 def : Pat<(int_wasm_trunc_signed F64:$src),
 179           (I64_TRUNC_S_F64 F64:$src)>;
 180 def : Pat<(int_wasm_trunc_unsigned F64:$src),
 181           (I64_TRUNC_U_F64 F64:$src)>;
 182
 183 defm F32_CONVERT_S_I32 : I<(outs F32:$dst), (ins I32:$src), (outs), (ins),
 184                            [(set F32:$dst, (sint_to_fp I32:$src))],
 185                            "f32.convert_i32_s\t$dst, $src", "f32.convert_i32_s",
 186                            0xb2>;
 187 defm F32_CONVERT_U_I32 : I<(outs F32:$dst), (ins I32:$src), (outs), (ins),
 188                            [(set F32:$dst, (uint_to_fp I32:$src))],
 189                            "f32.convert_i32_u\t$dst, $src", "f32.convert_i32_u",
 190                            0xb3>;
 191 defm F64_CONVERT_S_I32 : I<(outs F64:$dst), (ins I32:$src), (outs), (ins),
 192                            [(set F64:$dst, (sint_to_fp I32:$src))],
 193                            "f64.convert_i32_s\t$dst, $src", "f64.convert_i32_s",
 194                            0xb7>;
 195 defm F64_CONVERT_U_I32 : I<(outs F64:$dst), (ins I32:$src), (outs), (ins),
 196                            [(set F64:$dst, (uint_to_fp I32:$src))],
 197                            "f64.convert_i32_u\t$dst, $src", "f64.convert_i32_u",
 198                            0xb8>;
 199 defm F32_CONVERT_S_I64 : I<(outs F32:$dst), (ins I64:$src), (outs), (ins),
 200                            [(set F32:$dst, (sint_to_fp I64:$src))],
 201                            "f32.convert_i64_s\t$dst, $src", "f32.convert_i64_s",
 202                            0xb4>;
 203 defm F32_CONVERT_U_I64 : I<(outs F32:$dst), (ins I64:$src), (outs), (ins),
 204                            [(set F32:$dst, (uint_to_fp I64:$src))],
 205                            "f32.convert_i64_u\t$dst, $src", "f32.convert_i64_u",
 206                            0xb5>;
 207 defm F64_CONVERT_S_I64 : I<(outs F64:$dst), (ins I64:$src), (outs), (ins),
 208                            [(set F64:$dst, (sint_to_fp I64:$src))],
 209                            "f64.convert_i64_s\t$dst, $src", "f64.convert_i64_s",
 210                            0xb9>;
 211 defm F64_CONVERT_U_I64 : I<(outs F64:$dst), (ins I64:$src), (outs), (ins),
 212                            [(set F64:$dst, (uint_to_fp I64:$src))],
 213                            "f64.convert_i64_u\t$dst, $src", "f64.convert_i64_u",
 214                            0xba>;
 215
 216 defm F64_PROMOTE_F32 : I<(outs F64:$dst), (ins F32:$src), (outs), (ins),
 217                          [(set F64:$dst, (fpextend F32:$src))],
 218                          "f64.promote_f32\t$dst, $src", "f64.promote_f32",
 219                          0xbb>;
 220 defm F32_DEMOTE_F64 : I<(outs F32:$dst), (ins F64:$src), (outs), (ins),
 221                         [(set F32:$dst, (fpround F64:$src))],
 222                         "f32.demote_f64\t$dst, $src", "f32.demote_f64",
 223                         0xb6>;
 224
 225 defm I32_REINTERPRET_F32 : I<(outs I32:$dst), (ins F32:$src), (outs), (ins),
 226                              [(set I32:$dst, (bitconvert F32:$src))],
 227                              "i32.reinterpret_f32\t$dst, $src",
 228                              "i32.reinterpret_f32", 0xbc>;
 229 defm F32_REINTERPRET_I32 : I<(outs F32:$dst), (ins I32:$src), (outs), (ins),
 230                              [(set F32:$dst, (bitconvert I32:$src))],
 231                              "f32.reinterpret_i32\t$dst, $src",
 232                              "f32.reinterpret_i32", 0xbe>;
 233 defm I64_REINTERPRET_F64 : I<(outs I64:$dst), (ins F64:$src), (outs), (ins),
 234                              [(set I64:$dst, (bitconvert F64:$src))],
 235                              "i64.reinterpret_f64\t$dst, $src",
 236                              "i64.reinterpret_f64", 0xbd>;
 237 defm F64_REINTERPRET_I64 : I<(outs F64:$dst), (ins I64:$src), (outs), (ins),
 238                              [(set F64:$dst, (bitconvert I64:$src))],
 239                              "f64.reinterpret_i64\t$dst, $src",
 240                              "f64.reinterpret_i64", 0xbf>;