241 lines · plain
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-exception6//7//===----------------------------------------------------------------------===//8///9/// \file10/// WebAssembly datatype conversions, truncations, reinterpretations,11/// promotions, and demotions operand code-gen constructs.12///13//===----------------------------------------------------------------------===//14 15defm 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 19defm 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>;23defm 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 28let Predicates = [HasSignExt] in {29defm 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>;33defm 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>;37defm 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>;41defm 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>;45defm 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-extend52// somewhat arbitrarily, although it favors popular hardware architectures53// and is conceptually a simpler operation).54def : Pat<(i64 (anyext I32:$src)), (I64_EXTEND_U_I32 I32:$src)>;55 56// Conversion from floating point to integer instructions which don't trap on57// overflow or invalid.58defm 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]>;63defm 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]>;68defm 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]>;73defm 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]>;78defm 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]>;83defm 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]>;88defm 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]>;93defm 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.100def : Pat<(fp_to_sint_sat F32:$src, i32), (I32_TRUNC_S_SAT_F32 F32:$src)>;101def : Pat<(fp_to_uint_sat F32:$src, i32), (I32_TRUNC_U_SAT_F32 F32:$src)>;102def : Pat<(fp_to_sint_sat F64:$src, i32), (I32_TRUNC_S_SAT_F64 F64:$src)>;103def : Pat<(fp_to_uint_sat F64:$src, i32), (I32_TRUNC_U_SAT_F64 F64:$src)>;104def : Pat<(fp_to_sint_sat F32:$src, i64), (I64_TRUNC_S_SAT_F32 F32:$src)>;105def : Pat<(fp_to_uint_sat F32:$src, i64), (I64_TRUNC_U_SAT_F32 F32:$src)>;106def : Pat<(fp_to_sint_sat F64:$src, i64), (I64_TRUNC_S_SAT_F64 F64:$src)>;107def : 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't110// trap on overflow or invalid.111let usesCustomInserter = 1, isCodeGenOnly = 1 in {112defm 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]>;115defm 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]>;118defm 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]>;121defm 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]>;124defm 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]>;127defm 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]>;130defm 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]>;133defm 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 = 1137 138// Conversion from floating point to integer traps on overflow and invalid.139let hasSideEffects = 1 in {140defm 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>;143defm 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>;146defm 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>;149defm 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>;152defm 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>;155defm 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>;158defm 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>;161defm 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 = 1165 166def : Pat<(int_wasm_trunc_signed F32:$src),167 (I32_TRUNC_S_F32 F32:$src)>;168def : Pat<(int_wasm_trunc_unsigned F32:$src),169 (I32_TRUNC_U_F32 F32:$src)>;170def : Pat<(int_wasm_trunc_signed F64:$src),171 (I32_TRUNC_S_F64 F64:$src)>;172def : Pat<(int_wasm_trunc_unsigned F64:$src),173 (I32_TRUNC_U_F64 F64:$src)>;174def : Pat<(int_wasm_trunc_signed F32:$src),175 (I64_TRUNC_S_F32 F32:$src)>;176def : Pat<(int_wasm_trunc_unsigned F32:$src),177 (I64_TRUNC_U_F32 F32:$src)>;178def : Pat<(int_wasm_trunc_signed F64:$src),179 (I64_TRUNC_S_F64 F64:$src)>;180def : Pat<(int_wasm_trunc_unsigned F64:$src),181 (I64_TRUNC_U_F64 F64:$src)>;182 183defm 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>;187defm 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>;191defm 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>;195defm 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>;199defm 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>;203defm 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>;207defm 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>;211defm 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 216defm 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>;220defm 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 225defm 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>;229defm 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>;233defm 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>;237defm 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>;241