Make sure the immediate dominator isn't NULL through iterations

of the loop. We could get to this condition via indirect
branches.

llvm-svn: 91009
This commit is contained in:
Eric Christopher 2009-12-10 00:25:41 +00:00
parent 8a9a97a660
commit 22889c049d
1 changed files with 6 additions and 5 deletions

View File

@ -160,16 +160,17 @@ namespace {
// Because the exit block is not in the loop, we know we have to get _at
// least_ its immediate dominator.
do {
// Get next Immediate Dominator.
IDom = IDom->getIDom();
IDom = IDom->getIDom();
while (IDom && IDom != BlockInLoopNode) {
// If we have got to the header of the loop, then the instructions block
// did not dominate the exit node, so we can't hoist it.
if (IDom->getBlock() == LoopHeader)
return false;
} while (IDom != BlockInLoopNode);
// Get next Immediate Dominator.
IDom = IDom->getIDom();
};
return true;
}