OSDN Git Service
(root)
/
android-x86
/
external-llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a189bae
)
Use isTrueWhenEqual and isFalseWhenEqual instead of assuming that
author
Dan Gohman
<gohman@apple.com>
Mon, 3 May 2010 18:00:24 +0000
(18:00 +0000)
committer
Dan Gohman
<gohman@apple.com>
Mon, 3 May 2010 18:00:24 +0000
(18:00 +0000)
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
lib/Analysis/ScalarEvolution.cpp
patch
|
blob
|
history
diff --git
a/lib/Analysis/ScalarEvolution.cpp
b/lib/Analysis/ScalarEvolution.cpp
index
f0cb798
..
30303cb
100644
(file)
--- 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) {