commit 5b57e720c875277131ed0d4f3b72a582979d1afe
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 aa121a5fcbffa87c52d49c76a7fc1c6e5c233fab
parent 605041e5a81fbb18769b0613dcd14e0cff32b5ee

Add dom info verifier.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52967 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/LoopPass.cpp

diff --git a/lib/Analysis/LoopPass.cpp b/lib/Analysis/LoopPass.cpp
index b4534cd..57e8f4d 100644
--- a/lib/Analysis/LoopPass.cpp
+++ b/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;