diff options
| author | Dan Gohman <gohman@apple.com> | 2010-05-04 01:12:27 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-05-04 01:12:27 +0000 |
| commit | acd8cab84341b8298b72c45c40483abf1e402662 (patch) | |
| tree | 73edca301618e8981fa3c67ef81ecbfc212a9df1 /lib | |
| parent | c0ed0091dc1cd6d61019a1c2c73a0d956506ad00 (diff) | |
| download | external_llvm-acd8cab84341b8298b72c45c40483abf1e402662.zip external_llvm-acd8cab84341b8298b72c45c40483abf1e402662.tar.gz external_llvm-acd8cab84341b8298b72c45c40483abf1e402662.tar.bz2 | |
Use the SCEVAddRecExpr::getPostIncExpr utility function instead
of doing the same thing manually.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102997 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 758ad07..6870268 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -5049,15 +5049,13 @@ bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, if (isLoopEntryGuardedByCond( AR->getLoop(), Pred, AR->getStart(), RHS) && isLoopBackedgeGuardedByCond( - AR->getLoop(), Pred, - getAddExpr(AR, AR->getStepRecurrence(*this)), RHS)) + AR->getLoop(), Pred, AR->getPostIncExpr(*this), RHS)) return true; if (const SCEVAddRecExpr *AR = dyn_cast<SCEVAddRecExpr>(RHS)) if (isLoopEntryGuardedByCond( AR->getLoop(), Pred, LHS, AR->getStart()) && isLoopBackedgeGuardedByCond( - AR->getLoop(), Pred, - LHS, getAddExpr(AR, AR->getStepRecurrence(*this)))) + AR->getLoop(), Pred, LHS, AR->getPostIncExpr(*this))) return true; // Otherwise see what can be done with known constant ranges. |