aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
diff options
context:
space:
mode:
authorDale Johannesen <dalej@apple.com>2008-12-23 23:01:27 +0000
committerDale Johannesen <dalej@apple.com>2008-12-23 23:01:27 +0000
commitf9cbc1f9ac087937641c16b218d10986f5b406ad (patch)
tree10dc90e88dd1824ae49c40a865d8a177b6e1ea37 /lib/CodeGen/SelectionDAG/DAGCombiner.cpp
parentc7a37d4ff2ee8ffb93ba97e9393ff582f0e79a9a (diff)
Add another permutation where we should get rid of a-a.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61401 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/SelectionDAG/DAGCombiner.cpp')
-rw-r--r--lib/CodeGen/SelectionDAG/DAGCombiner.cpp15
1 files changed, 11 insertions, 4 deletions
diff --git a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
index e3525df181..fe29374256 100644
--- a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
+++ b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
@@ -1177,13 +1177,20 @@ SDValue DAGCombiner::visitSUB(SDNode *N) {
return N0.getOperand(1);
// fold (A+B)-B -> A
if (N0.getOpcode() == ISD::ADD && N0.getOperand(1) == N1)
- return N0.getOperand(0);
- // fold ((A+(B-C))-B) -> A-C
+ return N0.getOperand(0);
+ // fold ((A+(B+-C))-B) -> A+-C
if (N0.getOpcode() == ISD::ADD &&
- N0.getOperand(1).getOpcode() == ISD::SUB &&
+ (N0.getOperand(1).getOpcode() == ISD::SUB ||
+ N0.getOperand(1).getOpcode() == ISD::ADD) &&
N0.getOperand(1).getOperand(0) == N1)
- return DAG.getNode(ISD::SUB, VT, N0.getOperand(0),
+ return DAG.getNode(N0.getOperand(1).getOpcode(), VT, N0.getOperand(0),
N0.getOperand(1).getOperand(1));
+ // fold ((A+(C+B))-B) -> A+C
+ if (N0.getOpcode() == ISD::ADD &&
+ N0.getOperand(1).getOpcode() == ISD::ADD &&
+ N0.getOperand(1).getOperand(1) == N1)
+ return DAG.getNode(ISD::ADD, VT, N0.getOperand(0),
+ N0.getOperand(1).getOperand(0));
// fold ((A-(B-C))-C) -> A-B
if (N0.getOpcode() == ISD::SUB &&
N0.getOperand(1).getOpcode() == ISD::SUB &&