1 // WebAssemblyInstrInteger.td-WebAssembly Integer codegen -------*- 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 Integer operand code-gen constructs. 12 /// 13 //===----------------------------------------------------------------------===// 14 15 let Defs = [ARGUMENTS] in { 16 17 // The spaces after the names are for aesthetic purposes only, to make 18 // operands line up vertically after tab expansion. 19 let isCommutable = 1 in 20 defm ADD : BinaryInt<add, "add ">; 21 defm SUB : BinaryInt<sub, "sub ">; 22 let isCommutable = 1 in 23 defm MUL : BinaryInt<mul, "mul ">; 24 // Divide and remainder trap on a zero denominator. 25 let hasSideEffects = 1 in { 26 defm DIV_S : BinaryInt<sdiv, "div_s">; 27 defm DIV_U : BinaryInt<udiv, "div_u">; 28 defm REM_S : BinaryInt<srem, "rem_s">; 29 defm REM_U : BinaryInt<urem, "rem_u">; 30 } // hasSideEffects = 1 31 let isCommutable = 1 in { 32 defm AND : BinaryInt<and, "and ">; 33 defm OR : BinaryInt<or, "or ">; 34 defm XOR : BinaryInt<xor, "xor ">; 35 } // isCommutable = 1 36 defm SHL : BinaryInt<shl, "shl ">; 37 defm SHR_U : BinaryInt<srl, "shr_u">; 38 defm SHR_S : BinaryInt<sra, "shr_s">; 39 40 let isCommutable = 1 in { 41 defm EQ : ComparisonInt<SETEQ, "eq ">; 42 defm NE : ComparisonInt<SETNE, "ne ">; 43 } // isCommutable = 1 44 defm LT_S : ComparisonInt<SETLT, "lt_s">; 45 defm LE_S : ComparisonInt<SETLE, "le_s">; 46 defm LT_U : ComparisonInt<SETULT, "lt_u">; 47 defm LE_U : ComparisonInt<SETULE, "le_u">; 48 defm GT_S : ComparisonInt<SETGT, "gt_s">; 49 defm GE_S : ComparisonInt<SETGE, "ge_s">; 50 defm GT_U : ComparisonInt<SETUGT, "gt_u">; 51 defm GE_U : ComparisonInt<SETUGE, "ge_u">; 52 53 defm CLZ : UnaryInt<ctlz, "clz ">; 54 defm CTZ : UnaryInt<cttz, "ctz ">; 55 defm POPCNT : UnaryInt<ctpop, "popcnt">; 56 57 } // Defs = [ARGUMENTS] 58 59 // Expand the "don't care" operations to supported operations. 60 def : Pat<(ctlz_zero_undef I32:$src), (CLZ_I32 I32:$src)>; 61 def : Pat<(ctlz_zero_undef I64:$src), (CLZ_I64 I64:$src)>; 62 def : Pat<(cttz_zero_undef I32:$src), (CTZ_I32 I32:$src)>; 63 def : Pat<(cttz_zero_undef I64:$src), (CTZ_I64 I64:$src)>; 64 65 let Defs = [ARGUMENTS] in { 66 67 def SELECT_I32 : I<(outs I32:$dst), (ins I32:$cond, I32:$lhs, I32:$rhs), 68 [(set I32:$dst, (select I32:$cond, I32:$lhs, I32:$rhs))], 69 "i32.select\t$dst, $cond, $lhs, $rhs">; 70 def SELECT_I64 : I<(outs I64:$dst), (ins I32:$cond, I64:$lhs, I64:$rhs), 71 [(set I64:$dst, (select I32:$cond, I64:$lhs, I64:$rhs))], 72 "i64.select\t$dst, $cond, $lhs, $rhs">; 73 74 } // Defs = [ARGUMENTS] 75 76 // ISD::SELECT requires its operand to conform to getBooleanContents, but 77 // WebAssembly's select interprets any non-zero value as true, so we can fold 78 // a setne with 0 into a select. 79 def : Pat<(select (i32 (setne I32:$cond, 0)), I32:$lhs, I32:$rhs), 80 (SELECT_I32 I32:$cond, I32:$lhs, I32:$rhs)>; 81 def : Pat<(select (i32 (setne I32:$cond, 0)), I64:$lhs, I64:$rhs), 82 (SELECT_I64 I32:$cond, I64:$lhs, I64:$rhs)>; 83 84 // And again, this time with seteq instead of setne and the arms reversed. 85 def : Pat<(select (i32 (seteq I32:$cond, 0)), I32:$lhs, I32:$rhs), 86 (SELECT_I32 I32:$cond, I32:$rhs, I32:$lhs)>; 87 def : Pat<(select (i32 (seteq I32:$cond, 0)), I64:$lhs, I64:$rhs), 88 (SELECT_I64 I32:$cond, I64:$rhs, I64:$lhs)>; 89
