From a273d1cd3ab048c881079c1ac95fe155ec57f74d Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Thu, 19 Jul 2007 18:02:32 +0000 Subject: Verify loop info. llvm-svn: 40062 --- llvm/lib/Analysis/LoopPass.cpp | 16 ++-------------- 1 file changed, 2 insertions(+), 14 deletions(-) (limited to 'llvm/lib/Analysis/LoopPass.cpp') diff --git a/llvm/lib/Analysis/LoopPass.cpp b/llvm/lib/Analysis/LoopPass.cpp index f14a9baf98a..dc3e86844eb 100644 --- a/llvm/lib/Analysis/LoopPass.cpp +++ b/llvm/lib/Analysis/LoopPass.cpp @@ -157,18 +157,6 @@ void LPPassManager::getAnalysisUsage(AnalysisUsage &Info) const { Info.setPreservesAll(); } -/// verifyLoopInfo - Verify loop nest. -void LPPassManager::verifyLoopInfo() { - assert (LI && "Loop Info is missing"); - - for (LoopInfo::iterator I = LI->begin(), E = LI->end(); I != E; ++I) { - Loop *L = *I; - assert (L->getHeader() && "Loop header is missing"); - assert (L->getLoopPreheader() && "Loop preheader is missing"); - assert (L->getLoopLatch() && "Loop latch is missing"); - } -} - /// run - Execute all of the passes scheduled for execution. Keep track of /// whether any of the passes modifies the function, and if so, return true. bool LPPassManager::runOnFunction(Function &F) { @@ -214,13 +202,13 @@ bool LPPassManager::runOnFunction(Function &F) { LoopPass *LP = dynamic_cast(P); assert (LP && "Invalid LPPassManager member"); LP->runOnLoop(CurrentLoop, *this); - verifyLoopInfo(); StopPassTimer(P); if (Changed) dumpPassInfo(P, MODIFICATION_MSG, ON_LOOP_MSG, ""); dumpAnalysisSetInfo("Preserved", P, AnUsage.getPreservedSet()); - + + verifyPreservedAnalysis(LP); removeNotPreservedAnalysis(P); recordAvailableAnalysis(P); removeDeadPasses(P, "", ON_LOOP_MSG); -- cgit v1.2.3