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
16def I32_WRAP_I64 : I<(outs I32:$dst), (ins I64:$src),
17                      [(set I32:$dst, (trunc I64:$src))],
18                      "i32.wrap/i64\t$dst, $src">;
19
20def I64_EXTEND_S_I32 : I<(outs I64:$dst), (ins I32:$src),
21                          [(set I64:$dst, (sext I32:$src))],
22                          "i64.extend_s/i32\t$dst, $src">;
23def I64_EXTEND_U_I32 : I<(outs I64:$dst), (ins I32:$src),
24                         [(set I64:$dst, (zext I32:$src))],
25                         "i64.extend_u/i32\t$dst, $src">;
26
27def 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\t$dst, $src">;
30def 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\t$dst, $src">;
33def 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\t$dst, $src">;
36def 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\t$dst, $src">;
39def 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\t$dst, $src">;
42def 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\t$dst, $src">;
45def 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\t$dst, $src">;
48def 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\t$dst, $src">;
51
52def 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\t$dst, $src">;
55def 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\t$dst, $src">;
58def 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\t$dst, $src">;
61def 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\t$dst, $src">;
64def 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\t$dst, $src">;
67def 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\t$dst, $src">;
70def 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\t$dst, $src">;
73def 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\t$dst, $src">;
76
77def F64_PROMOTE_F32 : I<(outs F64:$dst), (ins F32:$src),
78                        [(set F64:$dst, (fextend F32:$src))],
79                        "f64.promote/f32\t$dst, $src">;
80def F32_DEMOTE_F64 : I<(outs F32:$dst), (ins F64:$src),
81                       [(set F32:$dst, (fround F64:$src))],
82                       "f32.demote/f64\t$dst, $src">;
83
84def I32_REINTERPRET_F32 : I<(outs I32:$dst), (ins F32:$src),
85                            [(set I32:$dst, (bitconvert F32:$src))],
86                            "i32.reinterpret/f32\t$dst, $src">;
87def F32_REINTERPRET_I32 : I<(outs F32:$dst), (ins I32:$src),
88                            [(set F32:$dst, (bitconvert I32:$src))],
89                            "f32.reinterpret/i32\t$dst, $src">;
90def I64_REINTERPRET_F64 : I<(outs I64:$dst), (ins F64:$src),
91                            [(set I64:$dst, (bitconvert F64:$src))],
92                            "i64.reinterpret/f64\t$dst, $src">;
93def F64_REINTERPRET_I64 : I<(outs F64:$dst), (ins I64:$src),
94                            [(set F64:$dst, (bitconvert I64:$src))],
95                            "f64.reinterpret/i64\t$dst, $src">;
96