WebAssemblyInstrConv.td revision 286425
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
16/*
17 * TODO(jfb): Add the following.
18 *
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
44 */
45