diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-09-01 12:04:51 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-09-01 12:04:51 +0000 |
| commit | 3be6a480a4392c0709b474350b936e70c8994530 (patch) | |
| tree | d7d1d701cb6527973bf6dc00884ab9bc4cf19c64 /llvm/lib | |
| parent | 68e0e22a00abae901f28c5ff9bb94e5a0009227f (diff) | |
| download | bcm5719-llvm-3be6a480a4392c0709b474350b936e70c8994530.tar.gz bcm5719-llvm-3be6a480a4392c0709b474350b936e70c8994530.zip | |
LoopRotation: Check some invariants of the dominator updating code.
llvm-svn: 163058
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/LoopRotation.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/Scalar/LoopRotation.cpp b/llvm/lib/Transforms/Scalar/LoopRotation.cpp index 2c76706bafa..f8122bf9803 100644 --- a/llvm/lib/Transforms/Scalar/LoopRotation.cpp +++ b/llvm/lib/Transforms/Scalar/LoopRotation.cpp @@ -418,6 +418,9 @@ bool LoopRotate::rotateLoop(Loop *L) { 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); } |
