lib/Target/WebAssembly/WebAssemblyInstrConv.td

   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 def I32_WRAP_I64 : I<(outs I32:$dst), (ins I64:$src),
  17                      [(set I32:$dst, (trunc I64:$src))]>;
  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))]>;