diff options
author | Devang Patel <dpatel@apple.com> | 2007-07-19 18:02:32 +0000 |
---|---|---|
committer | Devang Patel <dpatel@apple.com> | 2007-07-19 18:02:32 +0000 |
commit | 58e0ef1e90c3f6dbae213612b44e56f7d6d65ea7 (patch) | |
tree | 2bb0d2cd6c88f0733743b527d4e72274f9d332c7 /lib/Analysis/LoopInfo.cpp | |
parent | 6b8337392cbdaacbdd8326f731daff1b11eba275 (diff) | |
download | external_llvm-58e0ef1e90c3f6dbae213612b44e56f7d6d65ea7.zip external_llvm-58e0ef1e90c3f6dbae213612b44e56f7d6d65ea7.tar.gz external_llvm-58e0ef1e90c3f6dbae213612b44e56f7d6d65ea7.tar.bz2 |
Verify loop info.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40062 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/LoopInfo.cpp')
-rw-r--r-- | lib/Analysis/LoopInfo.cpp | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/lib/Analysis/LoopInfo.cpp b/lib/Analysis/LoopInfo.cpp index d58f90d..8f9b43f 100644 --- a/lib/Analysis/LoopInfo.cpp +++ b/lib/Analysis/LoopInfo.cpp @@ -81,6 +81,18 @@ void Loop::print(std::ostream &OS, unsigned Depth) const { (*I)->print(OS, Depth+2); } +/// verifyLoop - Verify loop structure +void Loop::verifyLoop() const { +#ifndef NDEBUG + assert (getHeader() && "Loop header is missing"); + assert (getLoopPreheader() && "Loop preheader is missing"); + assert (getLoopLatch() && "Loop latch is missing"); + for (std::vector<Loop*>::const_iterator I = SubLoops.begin(), E = SubLoops.end(); + I != E; ++I) + (*I)->verifyLoop(); +#endif +} + void Loop::dump() const { print(cerr); } @@ -104,7 +116,6 @@ void LoopInfo::releaseMemory() { TopLevelLoops.clear(); } - void LoopInfo::Calculate(DominatorTree &DT) { BasicBlock *RootNode = DT.getRootNode()->getBlock(); |