| JF Bastien | 5ca0bac | 2015-07-10 18:23:10 +0000 | [diff] [blame] | 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 | /// \brief WebAssembly datatype conversions, truncations, reinterpretations, |
| 12 | /// promotions, and demotions operand code-gen constructs. |
| 13 | /// |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| Dan Gohman | bc58a7b | 2015-11-13 00:50:04 +0000 | [diff] [blame^] | 16 | def I32_WRAP_I64 : I<(outs I32:$dst), (ins I64:$src), |
| 17 | [(set I32:$dst, (trunc I64:$src))], |
| 18 | "i32.wrap/i64 $dst, $src">; |
| Dan Gohman | dc51b96 | 2015-10-03 02:10:28 +0000 | [diff] [blame] | 19 | |
| Dan Gohman | bc58a7b | 2015-11-13 00:50:04 +0000 | [diff] [blame^] | 20 | def I64_EXTEND_S_I32 : I<(outs I64:$dst), (ins I32:$src), |
| 21 | [(set I64:$dst, (sext I32:$src))], |
| 22 | "i64.extend_s/i32 $dst, $src">; |
| 23 | def I64_EXTEND_U_I32 : I<(outs I64:$dst), (ins I32:$src), |
| 24 | [(set I64:$dst, (zext I32:$src))], |
| 25 | "i64.extend_u/i32 $dst, $src">; |
| Dan Gohman | dc51b96 | 2015-10-03 02:10:28 +0000 | [diff] [blame] | 26 | |
| Dan Gohman | bc58a7b | 2015-11-13 00:50:04 +0000 | [diff] [blame^] | 27 | def I32_TRUNC_S_F32 : I<(outs I32:$dst), (ins F32:$src), |
| 28 | [(set I32:$dst, (fp_to_sint F32:$src))], |
| 29 | "i32.trunc_s/f32 $dst, $src">; |
| 30 | def I32_TRUNC_U_F32 : I<(outs I32:$dst), (ins F32:$src), |
| 31 | [(set I32:$dst, (fp_to_uint F32:$src))], |
| 32 | "i32.trunc_u/f32 $dst, $src">; |
| 33 | def I64_TRUNC_S_F32 : I<(outs I64:$dst), (ins F32:$src), |
| 34 | [(set I64:$dst, (fp_to_sint F32:$src))], |
| 35 | "i64.trunc_s/f32 $dst, $src">; |
| 36 | def I64_TRUNC_U_F32 : I<(outs I64:$dst), (ins F32:$src), |
| 37 | [(set I64:$dst, (fp_to_uint F32:$src))], |
| 38 | "i64.trunc_u/f32 $dst, $src">; |
| 39 | def I32_TRUNC_S_F64 : I<(outs I32:$dst), (ins F64:$src), |
| 40 | [(set I32:$dst, (fp_to_sint F64:$src))], |
| 41 | "i32.trunc_s/f64 $dst, $src">; |
| 42 | def I32_TRUNC_U_F64 : I<(outs I32:$dst), (ins F64:$src), |
| 43 | [(set I32:$dst, (fp_to_uint F64:$src))], |
| 44 | "i32.trunc_u/f64 $dst, $src">; |
| 45 | def I64_TRUNC_S_F64 : I<(outs I64:$dst), (ins F64:$src), |
| 46 | [(set I64:$dst, (fp_to_sint F64:$src))], |
| 47 | "i64.trunc_s/f64 $dst, $src">; |
| 48 | def I64_TRUNC_U_F64 : I<(outs I64:$dst), (ins F64:$src), |
| 49 | [(set I64:$dst, (fp_to_uint F64:$src))], |
| 50 | "i64.trunc_u/f64 $dst, $src">; |
| Dan Gohman | dc51b96 | 2015-10-03 02:10:28 +0000 | [diff] [blame] | 51 | |
| Dan Gohman | bc58a7b | 2015-11-13 00:50:04 +0000 | [diff] [blame^] | 52 | def F32_CONVERT_S_I32 : I<(outs F32:$dst), (ins I32:$src), |
| 53 | [(set F32:$dst, (sint_to_fp I32:$src))], |
| 54 | "f32.convert_s/i32 $dst, $src">; |
| 55 | def F32_CONVERT_U_I32 : I<(outs F32:$dst), (ins I32:$src), |
| 56 | [(set F32:$dst, (uint_to_fp I32:$src))], |
| 57 | "f32.convert_u/i32 $dst, $src">; |
| 58 | def F64_CONVERT_S_I32 : I<(outs F64:$dst), (ins I32:$src), |
| 59 | [(set F64:$dst, (sint_to_fp I32:$src))], |
| 60 | "f64.convert_s/i32 $dst, $src">; |
| 61 | def F64_CONVERT_U_I32 : I<(outs F64:$dst), (ins I32:$src), |
| 62 | [(set F64:$dst, (uint_to_fp I32:$src))], |
| 63 | "f64.convert_u/i32 $dst, $src">; |
| 64 | def F32_CONVERT_S_I64 : I<(outs F32:$dst), (ins I64:$src), |
| 65 | [(set F32:$dst, (sint_to_fp I64:$src))], |
| 66 | "f32.convert_s/i64 $dst, $src">; |
| 67 | def F32_CONVERT_U_I64 : I<(outs F32:$dst), (ins I64:$src), |
| 68 | [(set F32:$dst, (uint_to_fp I64:$src))], |
| 69 | "f32.convert_u/i64 $dst, $src">; |
| 70 | def F64_CONVERT_S_I64 : I<(outs F64:$dst), (ins I64:$src), |
| 71 | [(set F64:$dst, (sint_to_fp I64:$src))], |
| 72 | "f64.convert_s/i64 $dst, $src">; |
| 73 | def F64_CONVERT_U_I64 : I<(outs F64:$dst), (ins I64:$src), |
| 74 | [(set F64:$dst, (uint_to_fp I64:$src))], |
| 75 | "f64.convert_u/i64 $dst, $src">; |
| Dan Gohman | dc51b96 | 2015-10-03 02:10:28 +0000 | [diff] [blame] | 76 | |
| Dan Gohman | bc58a7b | 2015-11-13 00:50:04 +0000 | [diff] [blame^] | 77 | def F64_PROMOTE_F32 : I<(outs F64:$dst), (ins F32:$src), |
| 78 | [(set F64:$dst, (fextend F32:$src))], |
| 79 | "f64.promote/f32 $dst, $src">; |
| 80 | def F32_DEMOTE_F64 : I<(outs F32:$dst), (ins F64:$src), |
| 81 | [(set F32:$dst, (fround F64:$src))], |
| 82 | "f32.demote/f64 $dst, $src">; |
| Dan Gohman | dc51b96 | 2015-10-03 02:10:28 +0000 | [diff] [blame] | 83 | |
| Dan Gohman | bc58a7b | 2015-11-13 00:50:04 +0000 | [diff] [blame^] | 84 | def I32_REINTERPRET_F32 : I<(outs I32:$dst), (ins F32:$src), |
| 85 | [(set I32:$dst, (bitconvert F32:$src))], |
| 86 | "i32.reinterpret/f32 $dst, $src">; |
| 87 | def F32_REINTERPRET_I32 : I<(outs F32:$dst), (ins I32:$src), |
| 88 | [(set F32:$dst, (bitconvert I32:$src))], |
| 89 | "f32.reinterpret/i32 $dst, $src">; |
| 90 | def I64_REINTERPRET_F64 : I<(outs I64:$dst), (ins F64:$src), |
| 91 | [(set I64:$dst, (bitconvert F64:$src))], |
| 92 | "i64.reinterpret/f64 $dst, $src">; |
| 93 | def F64_REINTERPRET_I64 : I<(outs F64:$dst), (ins I64:$src), |
| 94 | [(set F64:$dst, (bitconvert I64:$src))], |
| 95 | "f64.reinterpret/i64 $dst, $src">; |