| commit | 9dbe4d15ec0f60faff971ed1e5256641d6766604 | [log] [tgz] |
|---|---|---|
| author | Devang Patel <dpatel@apple.com> | Tue Jul 01 17:44:24 2008 +0000 |
| committer | Devang Patel <dpatel@apple.com> | Tue Jul 01 17:44:24 2008 +0000 |
| tree | 97b41b2ffc767cd52509a43a3b55a01292831838 | |
| parent | 368401391041aa6b4fb9c04dacf2ad770784dc5e [diff] [blame] |
Add dom info verifier. llvm-svn: 52967
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 @@ 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;