From 638ef70a0a8f70c80433942d9c6ae13a9ecf16b9 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 4 May 2010 01:12:27 +0000 Subject: 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(-) (limited to 'lib/Analysis/ScalarEvolution.cpp') 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(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. -- cgit v1.1