From 88197332e7adff0ce90c38e67c989389a8d36ad7 Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Fri, 29 Jun 2007 23:13:42 +0000 Subject: Add loop info verification mechanism. llvm-svn: 37822 --- llvm/lib/Analysis/LoopPass.cpp | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'llvm/lib/Analysis/LoopPass.cpp') diff --git a/llvm/lib/Analysis/LoopPass.cpp b/llvm/lib/Analysis/LoopPass.cpp index ab64c3cf921..a5496a01f0a 100644 --- a/llvm/lib/Analysis/LoopPass.cpp +++ b/llvm/lib/Analysis/LoopPass.cpp @@ -157,6 +157,18 @@ 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) { @@ -202,6 +214,7 @@ bool LPPassManager::runOnFunction(Function &F) { LoopPass *LP = dynamic_cast(P); assert (LP && "Invalid LPPassManager member"); LP->runOnLoop(CurrentLoop, *this); + verifyLoopInfo(); StopPassTimer(P); if (Changed) @@ -302,4 +315,3 @@ void LoopPass::assignPassManager(PMStack &PMS, LPPM->add(this); } - -- cgit v1.2.3