diff options
| author | Dan Gohman <gohman@apple.com> | 2010-05-03 18:00:24 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-05-03 18:00:24 +0000 |
| commit | 684dd5e67538f40e336e66bb4e299a05723b3c34 (patch) | |
| tree | d9c7d037cb12f24b2d26a1c6fbc5803adf10391f | |
| parent | 422907fa4c404ac458f15f0d95bbddb6650b784b (diff) | |
| download | external_llvm-684dd5e67538f40e336e66bb4e299a05723b3c34.zip external_llvm-684dd5e67538f40e336e66bb4e299a05723b3c34.tar.gz external_llvm-684dd5e67538f40e336e66bb4e299a05723b3c34.tar.bz2 | |
Use isTrueWhenEqual and isFalseWhenEqual instead of assuming that
SimplifyICmpOperands will simplify such cases to EQ or NE. This makes
the correcntess of the code independent on SimplifyICmpOperands doing
certain simplifications.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102927 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index f0cb798..30303cb 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -5260,10 +5260,10 @@ bool ScalarEvolution::isImpliedCond(Value *CondValue, // canonicalized the comparison. if (SimplifyICmpOperands(Pred, LHS, RHS)) if (LHS == RHS) - return Pred == ICmpInst::ICMP_EQ; + return CmpInst::isTrueWhenEqual(Pred); if (SimplifyICmpOperands(FoundPred, FoundLHS, FoundRHS)) if (FoundLHS == FoundRHS) - return Pred == ICmpInst::ICMP_NE; + return CmpInst::isFalseWhenEqual(Pred); // Check to see if we can make the LHS or RHS match. if (LHS == FoundRHS || RHS == FoundLHS) { |