replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

LoopRotation: Check some invariants of the dominator updating code. 

llvm-svn: 163058
This commit is contained in:
Benjamin Kramer 2012-09-01 12:04:51 +00:00
parent 68e0e22a00
commit 3be6a480a4
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
llvm/lib/Transforms/Scalar/LoopRotation.cpp
View File

@ -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);
}