1 //===-- WebAssemblyInstrConv.td-WebAssembly Conversion support -*- tablegen -*-=
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
11 /// \brief WebAssembly datatype conversions, truncations, reinterpretations,
12 /// promotions, and demotions operand code-gen constructs.
14 //===----------------------------------------------------------------------===//
17 * TODO(jfb): Add the following.
19 * int32.wrap[int64]: wrap a 64-bit integer to a 32-bit integer
20 * int32.trunc_signed[float32]: truncate a 32-bit float to a signed 32-bit integer
21 * int32.trunc_signed[float64]: truncate a 64-bit float to a signed 32-bit integer
22 * int32.trunc_unsigned[float32]: truncate a 32-bit float to an unsigned 32-bit integer
23 * int32.trunc_unsigned[float64]: truncate a 64-bit float to an unsigned 32-bit integer
24 * int32.reinterpret[float32]: reinterpret the bits of a 32-bit float as a 32-bit integer
25 * int64.extend_signed[int32]: extend a signed 32-bit integer to a 64-bit integer
26 * int64.extend_unsigned[int32]: extend an unsigned 32-bit integer to a 64-bit integer
27 * int64.trunc_signed[float32]: truncate a 32-bit float to a signed 64-bit integer
28 * int64.trunc_signed[float64]: truncate a 64-bit float to a signed 64-bit integer
29 * int64.trunc_unsigned[float32]: truncate a 32-bit float to an unsigned 64-bit integer
30 * int64.trunc_unsigned[float64]: truncate a 64-bit float to an unsigned 64-bit integer
31 * int64.reinterpret[float64]: reinterpret the bits of a 64-bit float as a 64-bit integer
32 * float32.demote[float64]: demote a 64-bit float to a 32-bit float
33 * float32.cvt_signed[int32]: convert a signed 32-bit integer to a 32-bit float
34 * float32.cvt_signed[int64]: convert a signed 64-bit integer to a 32-bit float
35 * float32.cvt_unsigned[int32]: convert an unsigned 32-bit integer to a 32-bit float
36 * float32.cvt_unsigned[int64]: convert an unsigned 64-bit integer to a 32-bit float
37 * float32.reinterpret[int32]: reinterpret the bits of a 32-bit integer as a 32-bit float
38 * float64.promote[float32]: promote a 32-bit float to a 64-bit float
39 * float64.cvt_signed[int32]: convert a signed 32-bit integer to a 64-bit float
40 * float64.cvt_signed[int64]: convert a signed 64-bit integer to a 64-bit float
41 * float64.cvt_unsigned[int32]: convert an unsigned 32-bit integer to a 64-bit float
42 * float64.cvt_unsigned[int64]: convert an unsigned 64-bit integer to a 64-bit float
43 * float64.reinterpret[int64]: reinterpret the bits of a 64-bit integer as a 64-bit float
46 def WRAP_I64_I32 : I<(outs Int32:$dst), (ins Int64:$src),
47 [(set Int32:$dst, (trunc Int64:$src))]>;