From: Owen Anderson <resistor@mac.com>
Date: Fri, 25 Aug 2006 03:32:13 +0000 (+0000)
Subject: Specify that  indvars actually preserve LCSSA.  This has been done for a while, but I
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=8a24749cb83acc25742a96d3e60413df283f50dd;p=oota-llvm.git

Specify that  indvars actually preserve LCSSA.  This has been done for a while, but I
forgot to put in the analysis usage.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@29867 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Transforms/Scalar/IndVarSimplify.cpp b/lib/Transforms/Scalar/IndVarSimplify.cpp
index efa587b221e..cf2daa1ddc1 100644
--- a/lib/Transforms/Scalar/IndVarSimplify.cpp
+++ b/lib/Transforms/Scalar/IndVarSimplify.cpp
@@ -79,6 +79,7 @@ namespace {
       AU.addRequired<ScalarEvolution>();
       AU.addRequired<LoopInfo>();
       AU.addPreservedID(LoopSimplifyID);
+      AU.addPreservedID(LCSSAID);
       AU.setPreservesCFG();
     }
   private:
@@ -570,4 +571,6 @@ void IndVarSimplify::runOnLoop(Loop *L) {
 #endif
 
   DeleteTriviallyDeadInstructions(DeadInsts);
+  
+  assert(L->isLCSSAForm());
 }