From: Chris Lattner <sabre@nondot.org>
Date: Tue, 16 Aug 2005 00:37:01 +0000 (+0000)
Subject: Fix Transforms/LoopStrengthReduce/2005-08-15-AddRecIV.ll
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=ff2006aa7421eaf2ce0b6282783c30ed87a2115e;p=oota-llvm.git

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
---

diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index 2601277cd8c..41173c9ce13 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);
 }