diff options
Diffstat (limited to 'llvm/lib/Transforms/Scalar/LoopPassManager.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/LoopPassManager.cpp | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/llvm/lib/Transforms/Scalar/LoopPassManager.cpp b/llvm/lib/Transforms/Scalar/LoopPassManager.cpp index bea938a7..60a9602 100644 --- a/llvm/lib/Transforms/Scalar/LoopPassManager.cpp +++ b/llvm/lib/Transforms/Scalar/LoopPassManager.cpp @@ -14,7 +14,6 @@ #include "llvm/Analysis/MemorySSA.h" #include "llvm/Analysis/ScalarEvolutionAliasAnalysis.h" #include "llvm/Analysis/TargetLibraryInfo.h" -#include "llvm/Support/Debug.h" #include "llvm/Support/TimeProfiler.h" using namespace llvm; @@ -292,15 +291,8 @@ PreservedAnalyses FunctionToLoopPassAdaptor::run(Function &F, else PI.runAfterPass<Loop>(*Pass, *L, PassPA); -#ifndef NDEBUG - // LoopAnalysisResults should always be valid. - // Note that we don't LAR.SE.verify() because that can change observed SE - // queries. See PR44815. - LAR.DT.verify(); - LAR.LI.verify(LAR.DT); - if (LAR.MSSA && VerifyMemorySSA) - LAR.MSSA->verifyMemorySSA(); -#endif + // FIXME: We should verify the set of analyses relevant to Loop passes + // are preserved. // If the loop hasn't been deleted, we need to handle invalidation here. if (!Updater.skipCurrentLoop()) |