Perform obvious constant arithmetic folding.
authorBill Wendling <isanbard@gmail.com>
Fri, 30 Jan 2009 20:50:00 +0000 (20:50 +0000)
committerBill Wendling <isanbard@gmail.com>
Fri, 30 Jan 2009 20:50:00 +0000 (20:50 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@63417 91177308-0d34-0410-b5e6-96231b3b80d8

lib/CodeGen/SelectionDAG/DAGCombiner.cpp

index e507b893bc2533d4cc981ebc7c368e30a2eeba14..d639ec018e16d9d9a7d4d0b60f960f08579d9966 100644 (file)
@@ -485,9 +485,10 @@ SDValue DAGCombiner::ReassociateOps(unsigned Opc, DebugLoc DL,
   if (N0.getOpcode() == Opc && isa<ConstantSDNode>(N0.getOperand(1))) {
     if (isa<ConstantSDNode>(N1)) {
       // reassoc. (op (op x, c1), c2) -> (op x, (op c1, c2))
-      SDValue OpNode = DAG.getNode(Opc, N1.getDebugLoc(), VT,
-                                   N0.getOperand(1), N1);
-      AddToWorkList(OpNode.getNode());
+      SDValue OpNode =
+        DAG.FoldConstantArithmetic(Opc, VT,
+                                   cast<ConstantSDNode>(N0.getOperand(1)),
+                                   cast<ConstantSDNode>(N1));
       return DAG.getNode(Opc, DL, VT, N0.getOperand(0), OpNode);
     } else if (N0.hasOneUse()) {
       // reassoc. (op (op x, c1), y) -> (op (op x, y), c1) iff x+c1 has one use
@@ -501,9 +502,10 @@ SDValue DAGCombiner::ReassociateOps(unsigned Opc, DebugLoc DL,
   if (N1.getOpcode() == Opc && isa<ConstantSDNode>(N1.getOperand(1))) {
     if (isa<ConstantSDNode>(N0)) {
       // reassoc. (op c2, (op x, c1)) -> (op x, (op c1, c2))
-      SDValue OpNode = DAG.getNode(Opc, N1.getDebugLoc(), VT,
-                                   N1.getOperand(1), N0);
-      AddToWorkList(OpNode.getNode());
+      SDValue OpNode =
+        DAG.FoldConstantArithmetic(Opc, VT,
+                                   cast<ConstantSDNode>(N1.getOperand(1)),
+                                   cast<ConstantSDNode>(N0));
       return DAG.getNode(Opc, DL, VT, N1.getOperand(0), OpNode);
     } else if (N1.hasOneUse()) {
       // reassoc. (op y, (op x, c1)) -> (op (op x, y), c1) iff x+c1 has one use