From 1a957d563fe894c797e0eba00bf069fbe7ecba77 Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Fri, 29 Jun 2007 23:13:42 +0000 Subject: [PATCH] Add loop info verification mechanism. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37822 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Analysis/LoopPass.h | 5 +++++ lib/Analysis/LoopPass.cpp | 14 +++++++++++++- 2 files changed, 18 insertions(+), 1 deletion(-) diff --git a/include/llvm/Analysis/LoopPass.h b/include/llvm/Analysis/LoopPass.h index 76a3018578b..7a820ccc5da 100644 --- a/include/llvm/Analysis/LoopPass.h +++ b/include/llvm/Analysis/LoopPass.h @@ -114,6 +114,11 @@ public: // queue. This allows LoopPass to change loop nest for the loop. This // utility may send LPPassManager into infinite loops so use caution. void redoLoop(Loop *L); + +private: + /// verifyLoopInfo - Verify loop nest. + void verifyLoopInfo(); + private: std::deque LQ; bool skipThisLoop; diff --git a/lib/Analysis/LoopPass.cpp b/lib/Analysis/LoopPass.cpp index ab64c3cf921..a5496a01f0a 100644 --- a/lib/Analysis/LoopPass.cpp +++ b/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); } - -- 2.34.1