From acd8cab84341b8298b72c45c40483abf1e402662 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 4 May 2010 01:12:27 +0000 Subject: [PATCH] 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 --- lib/Analysis/ScalarEvolution.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 758ad070e7c..6870268e838 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(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. -- 2.34.1