| 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 | dc51b96 | 2015-10-03 02:10:28 +0000 | [diff] [blame^] | 16 | def I32_WRAP_I64 : I<(outs I32:$dst), (ins I64:$src), |
| Dan Gohman | d0bf981 | 2015-09-26 01:09:44 +0000 | [diff] [blame] | 17 | [(set I32:$dst, (trunc I64:$src))]>; |
| Dan Gohman | dc51b96 | 2015-10-03 02:10:28 +0000 | [diff] [blame^] | 18 | |
| 19 | def I64_EXTEND_S_I32 : I<(outs I64:$dst), (ins I32:$src), |
| 20 | [(set I64:$dst, (sext I32:$src))]>; |
| 21 | def I64_EXTEND_U_I32 : I<(outs I64:$dst), (ins I32:$src), |
| 22 | [(set I64:$dst, (zext I32:$src))]>; |
| 23 | |
| 24 | def I32_TRUNC_S_F32 : I<(outs I32:$dst), (ins F32:$src), |
| 25 | [(set I32:$dst, (fp_to_sint F32:$src))]>; |
| 26 | def I32_TRUNC_U_F32 : I<(outs I32:$dst), (ins F32:$src), |
| 27 | [(set I32:$dst, (fp_to_uint F32:$src))]>; |
| 28 | def I64_TRUNC_S_F32 : I<(outs I64:$dst), (ins F32:$src), |
| 29 | [(set I64:$dst, (fp_to_sint F32:$src))]>; |
| 30 | def I64_TRUNC_U_F32 : I<(outs I64:$dst), (ins F32:$src), |
| 31 | [(set I64:$dst, (fp_to_uint F32:$src))]>; |
| 32 | def I32_TRUNC_S_F64 : I<(outs I32:$dst), (ins F64:$src), |
| 33 | [(set I32:$dst, (fp_to_sint F64:$src))]>; |
| 34 | def I32_TRUNC_U_F64 : I<(outs I32:$dst), (ins F64:$src), |
| 35 | [(set I32:$dst, (fp_to_uint F64:$src))]>; |
| 36 | def I64_TRUNC_S_F64 : I<(outs I64:$dst), (ins F64:$src), |
| 37 | [(set I64:$dst, (fp_to_sint F64:$src))]>; |
| 38 | def I64_TRUNC_U_F64 : I<(outs I64:$dst), (ins F64:$src), |
| 39 | [(set I64:$dst, (fp_to_uint F64:$src))]>; |
| 40 | |
| 41 | def F32_CONVERT_S_I32 : I<(outs F32:$dst), (ins I32:$src), |
| 42 | [(set F32:$dst, (sint_to_fp I32:$src))]>; |
| 43 | def F32_CONVERT_U_I32 : I<(outs F32:$dst), (ins I32:$src), |
| 44 | [(set F32:$dst, (uint_to_fp I32:$src))]>; |
| 45 | def F64_CONVERT_S_I32 : I<(outs F64:$dst), (ins I32:$src), |
| 46 | [(set F64:$dst, (sint_to_fp I32:$src))]>; |
| 47 | def F64_CONVERT_U_I32 : I<(outs F64:$dst), (ins I32:$src), |
| 48 | [(set F64:$dst, (uint_to_fp I32:$src))]>; |
| 49 | def F32_CONVERT_S_I64 : I<(outs F32:$dst), (ins I64:$src), |
| 50 | [(set F32:$dst, (sint_to_fp I64:$src))]>; |
| 51 | def F32_CONVERT_U_I64 : I<(outs F32:$dst), (ins I64:$src), |
| 52 | [(set F32:$dst, (uint_to_fp I64:$src))]>; |
| 53 | def F64_CONVERT_S_I64 : I<(outs F64:$dst), (ins I64:$src), |
| 54 | [(set F64:$dst, (sint_to_fp I64:$src))]>; |
| 55 | def F64_CONVERT_U_I64 : I<(outs F64:$dst), (ins I64:$src), |
| 56 | [(set F64:$dst, (uint_to_fp I64:$src))]>; |
| 57 | |
| 58 | def F64_PROMOTE_F32 : I<(outs F64:$dst), (ins F32:$src), |
| 59 | [(set F64:$dst, (fextend F32:$src))]>; |
| 60 | def F32_DEMOTE_F64 : I<(outs F32:$dst), (ins F64:$src), |
| 61 | [(set F32:$dst, (fround F64:$src))]>; |
| 62 | |
| 63 | def I32_REINTERPRET_F32 : I<(outs I32:$dst), (ins F32:$src), |
| 64 | [(set I32:$dst, (bitconvert F32:$src))]>; |
| 65 | def F32_REINTERPRET_I32 : I<(outs F32:$dst), (ins I32:$src), |
| 66 | [(set F32:$dst, (bitconvert I32:$src))]>; |
| 67 | def I64_REINTERPRET_F64 : I<(outs I64:$dst), (ins F64:$src), |
| 68 | [(set I64:$dst, (bitconvert F64:$src))]>; |
| 69 | def F64_REINTERPRET_I64 : I<(outs F64:$dst), (ins I64:$src), |
| 70 | [(set F64:$dst, (bitconvert I64:$src))]>; |