From ed49a5183691bc63d769b9bdd148b6b84a342b18 Mon Sep 17 00:00:00 2001 From: Nate Begeman Date: Thu, 16 Jun 2005 07:06:03 +0000 Subject: [PATCH] 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. llvm-svn: 22228 --- lib/CodeGen/SelectionDAG/SelectionDAG.cpp | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp index 75e07ca7620..8a34a59a15e 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(N2.getOperand(0)) && cast(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