Nate pointed out that mulh[us] are commutative as well. Thanks!
authorChris Lattner <sabre@nondot.org>
Wed, 28 Sep 2005 19:01:44 +0000 (19:01 +0000)
committerChris Lattner <sabre@nondot.org>
Wed, 28 Sep 2005 19:01:44 +0000 (19:01 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@23500 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Target/PowerPC/PPCInstrInfo.td

index 18eaf344914d7ec8bf5231d5a8aec3585bad625d..94f504a23ab316dd9619769d2f6f170b9eca1c79 100644 (file)
@@ -113,8 +113,8 @@ def sub        : SDNode<"ISD::SUB"       , SDTBinOp>;
 def mul        : SDNode<"ISD::MUL"       , SDTBinOp   , [SDNPCommutative]>;
 def sdiv       : SDNode<"ISD::SDIV"      , SDTBinOp>;
 def udiv       : SDNode<"ISD::UDIV"      , SDTIntBinOp>;
-def mulhs      : SDNode<"ISD::MULHS"     , SDTIntBinOp>;
-def mulhu      : SDNode<"ISD::MULHU"     , SDTIntBinOp>;
+def mulhs      : SDNode<"ISD::MULHS"     , SDTIntBinOp, [SDNPCommutative]>;
+def mulhu      : SDNode<"ISD::MULHU"     , SDTIntBinOp, [SDNPCommutative]>;
 def sext_inreg : SDNode<"ISD::SIGN_EXTEND_INREG", SDTExtInreg>;
 def ctlz       : SDNode<"ISD::CTLZ"      , SDTIntUnaryOp>;