// WebAssemblyInstrInteger.td-WebAssembly Integer codegen -------*- tablegen -*- // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// /// /// \file /// \brief WebAssembly Integer operand code-gen constructs. /// //===----------------------------------------------------------------------===// let Defs = [ARGUMENTS] in { // The spaces after the names are for aesthetic purposes only, to make // operands line up vertically after tab expansion. let isCommutable = 1 in defm ADD : BinaryInt; defm SUB : BinaryInt; let isCommutable = 1 in defm MUL : BinaryInt; // Divide and remainder trap on a zero denominator. let hasSideEffects = 1 in { defm DIV_S : BinaryInt; defm DIV_U : BinaryInt; defm REM_S : BinaryInt; defm REM_U : BinaryInt; } // hasSideEffects = 1 let isCommutable = 1 in { defm AND : BinaryInt; defm OR : BinaryInt; defm XOR : BinaryInt; } // isCommutable = 1 defm SHL : BinaryInt; defm SHR_U : BinaryInt; defm SHR_S : BinaryInt; let isCommutable = 1 in { defm EQ : ComparisonInt; defm NE : ComparisonInt; } // isCommutable = 1 defm LT_S : ComparisonInt; defm LE_S : ComparisonInt; defm LT_U : ComparisonInt; defm LE_U : ComparisonInt; defm GT_S : ComparisonInt; defm GE_S : ComparisonInt; defm GT_U : ComparisonInt; defm GE_U : ComparisonInt; defm CLZ : UnaryInt; defm CTZ : UnaryInt; defm POPCNT : UnaryInt; } // Defs = [ARGUMENTS] // Expand the "don't care" operations to supported operations. def : Pat<(ctlz_zero_undef I32:$src), (CLZ_I32 I32:$src)>; def : Pat<(ctlz_zero_undef I64:$src), (CLZ_I64 I64:$src)>; def : Pat<(cttz_zero_undef I32:$src), (CTZ_I32 I32:$src)>; def : Pat<(cttz_zero_undef I64:$src), (CTZ_I64 I64:$src)>; let Defs = [ARGUMENTS] in { def SELECT_I32 : I<(outs I32:$dst), (ins I32:$cond, I32:$lhs, I32:$rhs), [(set I32:$dst, (select I32:$cond, I32:$lhs, I32:$rhs))], "i32.select\t$dst, $cond, $lhs, $rhs">; def SELECT_I64 : I<(outs I64:$dst), (ins I32:$cond, I64:$lhs, I64:$rhs), [(set I64:$dst, (select I32:$cond, I64:$lhs, I64:$rhs))], "i64.select\t$dst, $cond, $lhs, $rhs">; } // Defs = [ARGUMENTS] // ISD::SELECT requires its operand to conform to getBooleanContents, but // WebAssembly's select interprets any non-zero value as true, so we can fold // a setne with 0 into a select. def : Pat<(select (i32 (setne I32:$cond, 0)), I32:$lhs, I32:$rhs), (SELECT_I32 I32:$cond, I32:$lhs, I32:$rhs)>; def : Pat<(select (i32 (setne I32:$cond, 0)), I64:$lhs, I64:$rhs), (SELECT_I64 I32:$cond, I64:$lhs, I64:$rhs)>; // And again, this time with seteq instead of setne and the arms reversed. def : Pat<(select (i32 (seteq I32:$cond, 0)), I32:$lhs, I32:$rhs), (SELECT_I32 I32:$cond, I32:$rhs, I32:$lhs)>; def : Pat<(select (i32 (seteq I32:$cond, 0)), I64:$lhs, I64:$rhs), (SELECT_I64 I32:$cond, I64:$rhs, I64:$lhs)>;