Add an assertion to check that we're really preserving LCSSA.

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

diff --git a/lib/Transforms/Scalar/IndVarSimplify.cpp b/lib/Transforms/Scalar/IndVarSimplify.cpp
index a8d90ced00eaddc5b98a7d7bd2f88a0174563a2c..4287bd085aa5a4b07a99e98bb5b099ebd810e268 100644 (file)
--- a/lib/Transforms/Scalar/IndVarSimplify.cpp
+++ b/lib/Transforms/Scalar/IndVarSimplify.cpp
@@ -571,4 +571,6 @@ void IndVarSimplify::runOnLoop(Loop *L) {
 #endif
 
   DeleteTriviallyDeadInstructions(DeadInsts);
+  
+  if (mustPreserveAnalysisID(LCSSAID)) assert(L->isLCSSAForm());
 }