[llvm-commits] [llvm] r163058 - /llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp

[Benjamin Kramer]

Author: d0k
Date: Sat Sep  1 07:04:51 2012
New Revision: 163058

URL: http://llvm.org/viewvc/llvm-project?rev=163058&view=rev
Log:
LoopRotation: Check some invariants of the dominator updating code.

Modified:
    llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp

Modified: llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp?rev=163058&r1=163057&r2=163058&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp Sat Sep  1 07:04:51 2012
@@ -418,6 +418,9 @@
       for (unsigned I = 0, E = HeaderChildren.size(); I != E; ++I)
         DT->changeImmediateDominator(HeaderChildren[I], OrigPreheaderNode);
 
+      assert(DT->getNode(Exit)->getIDom() == OrigPreheaderNode);
+      assert(DT->getNode(NewHeader)->getIDom() == OrigPreheaderNode);
+
       // Update OrigHeader to be dominated by the new header block.
       DT->changeImmediateDominator(OrigHeader, OrigLatch);
     }