diff options
| author | Chris Lattner <sabre@nondot.org> | 2005-08-16 00:37:01 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2005-08-16 00:37:01 +0000 |
| commit | ff2006aa7421eaf2ce0b6282783c30ed87a2115e (patch) | |
| tree | 5a3a3e413e0028acdafca718049ba149d1eab977 /lib/Analysis/ScalarEvolution.cpp | |
| parent | 8fa142729b04c022241b18671d6d539939b6d175 (diff) | |
Fix Transforms/LoopStrengthReduce/2005-08-15-AddRecIV.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@22797 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 2601277cd8..41173c9ce1 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -347,8 +347,9 @@ replaceSymbolicValuesWithConcrete(const SCEVHandle &Sym, bool SCEVAddRecExpr::isLoopInvariant(const Loop *QueryLoop) const { // This recurrence is invariant w.r.t to QueryLoop iff QueryLoop doesn't - // contain L. - return !QueryLoop->contains(L->getHeader()); + // contain L and if the start is invariant. + return !QueryLoop->contains(L->getHeader()) && + getOperand(0)->isLoopInvariant(QueryLoop); } |