diff options
| author | Nate Begeman <natebegeman@mac.com> | 2005-06-16 07:06:03 +0000 |
|---|---|---|
| committer | Nate Begeman <natebegeman@mac.com> | 2005-06-16 07:06:03 +0000 |
| commit | 41aaf7016ebf205d8b02c857461f679a3e82f9d0 (patch) | |
| tree | 82c5d16ffe1144c15b02d917bed1947816536513 /lib/CodeGen/SelectionDAG/SelectionDAG.cpp | |
| parent | f9c775c22e0ac3eb520d8b4dc89d3f16f274ebb6 (diff) | |
Fix bug 537 test 2, which checks to make sure that we fold A+(B-A) -> B for
integer types. Add a couple checks to not perform these kinds of transform
on floating point values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@22228 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/SelectionDAG/SelectionDAG.cpp')
| -rw-r--r-- | lib/CodeGen/SelectionDAG/SelectionDAG.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp index 75e07ca762..8a34a59a15 100644 --- a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp +++ b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp @@ -1183,12 +1183,17 @@ SDOperand SelectionDAG::getNode(unsigned Opcode, MVT::ValueType VT, if (N2.getOpcode() == ISD::SUB && isa<ConstantSDNode>(N2.getOperand(0)) && cast<ConstantSDNode>(N2.getOperand(0))->getValue() == 0) return getNode(ISD::SUB, VT, N1, N2.getOperand(1)); // A+(0-B) -> A-B + if (N2.getOpcode() == ISD::SUB && N1 == N2.Val->getOperand(1) && + !MVT::isFloatingPoint(N2.getValueType())) + return N2.Val->getOperand(0); // A+(B-A) -> B break; case ISD::SUB: if (N1.getOpcode() == ISD::ADD) { - if (N1.Val->getOperand(0) == N2) + if (N1.Val->getOperand(0) == N2 && + !MVT::isFloatingPoint(N2.getValueType())) return N1.Val->getOperand(1); // (A+B)-A == B - if (N1.Val->getOperand(1) == N2) + if (N1.Val->getOperand(1) == N2 && + !MVT::isFloatingPoint(N2.getValueType())) return N1.Val->getOperand(0); // (A+B)-B == A } if (N2.getOpcode() == ISD::FNEG) // (A- (-B) -> A+B |