diff options
author | Devang Patel <dpatel@apple.com> | 2008-07-01 17:44:24 +0000 |
---|---|---|
committer | Devang Patel <dpatel@apple.com> | 2008-07-01 17:44:24 +0000 |
commit | 9dbe4d15ec0f60faff971ed1e5256641d6766604 (patch) | |
tree | 97b41b2ffc767cd52509a43a3b55a01292831838 /llvm/lib/Analysis/LoopPass.cpp | |
parent | 368401391041aa6b4fb9c04dacf2ad770784dc5e (diff) | |
download | llvm-9dbe4d15ec0f60faff971ed1e5256641d6766604.zip llvm-9dbe4d15ec0f60faff971ed1e5256641d6766604.tar.gz llvm-9dbe4d15ec0f60faff971ed1e5256641d6766604.tar.bz2 |
Add dom info verifier.
llvm-svn: 52967
Diffstat (limited to 'llvm/lib/Analysis/LoopPass.cpp')
-rw-r--r-- | llvm/lib/Analysis/LoopPass.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/LoopPass.cpp b/llvm/lib/Analysis/LoopPass.cpp index b4534cd..57e8f4d 100644 --- a/llvm/lib/Analysis/LoopPass.cpp +++ b/llvm/lib/Analysis/LoopPass.cpp @@ -234,6 +234,9 @@ bool LPPassManager::runOnFunction(Function &F) { recordAvailableAnalysis(P); removeDeadPasses(P, "", ON_LOOP_MSG); + // Verify dominator information if it is available and preserved. + verifyDomInfo(*LP, F); + if (skipThisLoop) // Do not run other passes on this loop. break; |