commit ff2006aa7421eaf2ce0b6282783c30ed87a2115e
author Chris Lattner <sabre@nondot.org> Tue Aug 16 00:37:01 2005 +0000
committer Chris Lattner <sabre@nondot.org> Tue Aug 16 00:37:01 2005 +0000
tree 5a3a3e413e0028acdafca718049ba149d1eab977
parent 8fa142729b04c022241b18671d6d539939b6d175

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

lib/Analysis/ScalarEvolution.cpp

diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index 2601277..41173c9 100644
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -347,8 +347,9 @@
 
 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);
 }