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 | 5b57e720c875277131ed0d4f3b72a582979d1afe (patch) | |
| tree | aa121a5fcbffa87c52d49c76a7fc1c6e5c233fab /lib/Analysis/LoopPass.cpp | |
| parent | 605041e5a81fbb18769b0613dcd14e0cff32b5ee (diff) | |
Add dom info verifier.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52967 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/LoopPass.cpp')
| -rw-r--r-- | lib/Analysis/LoopPass.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/LoopPass.cpp b/lib/Analysis/LoopPass.cpp index b4534cd511..57e8f4da96 100644 --- a/lib/Analysis/LoopPass.cpp +++ b/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; |