[LCSSAVerification] Run verification only when asserts are enabled.

llvm-svn: 324429

diff --git a/llvm/lib/Analysis/LoopPass.cpp b/llvm/lib/Analysis/LoopPass.cpp
index 9af717bafdca52668edaff896d58346f9a792c2f..d4e9021ee1fe8f5346a97b082262b05684d4539e 100644 (file)
--- a/llvm/lib/Analysis/LoopPass.cpp
+++ b/llvm/lib/Analysis/LoopPass.cpp
@@ -151,7 +151,9 @@ void LPPassManager::markLoopAsDeleted(Loop &L) {
 bool LPPassManager::runOnFunction(Function &F) {
   auto &LIWP = getAnalysis<LoopInfoWrapperPass>();
   LI = &LIWP.getLoopInfo();
+#ifndef NDEBUG
   DominatorTree *DT = &getAnalysis<DominatorTreeWrapperPass>().getDomTree();
+#endif
   bool Changed = false;
 
   // Collect inherited analysis from Module level pass manager.
@@ -226,7 +228,7 @@ bool LPPassManager::runOnFunction(Function &F) {
         // form (LoopPassPrinter for example). We should skip verification for
         // such passes.
         if (mustPreserveAnalysisID(LCSSAVerificationPass::ID))
-          CurrentLoop->isRecursivelyLCSSAForm(*DT, *LI);
+          assert(CurrentLoop->isRecursivelyLCSSAForm(*DT, *LI));
 
         // Then call the regular verifyAnalysis functions.
         verifyPreservedAnalysis(P);