Specify that indvars actually preserve LCSSA. This has been done for a while, but I

forgot to put in the analysis usage.

llvm-svn: 29867

1 files changed, 3 insertions, 0 deletions

diff --git a/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp b/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
index efa587b221e..cf2daa1ddc1 100644
--- a/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
+++ b/llvm/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());
 }