If the preheader of the loop was the entry block of the function, make sure

that the exit block of the loop becomes the new entry block of the function.

This was causing a verifier assertion on 252.eon.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13039 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2004-04-18 17:38:42 +00:00
parent 998f44f859
commit cc43909bb6

View File

@ -300,10 +300,15 @@ bool LoopUnroll::visitLoop(Loop *L) {
ChangeExitBlocksFromTo(LI->begin(), LI->end(),
Preheader, LoopExit);
// If the preheader was the entry block of this function, move the exit block
// to be the new entry of the loop.
Function *F = LoopExit->getParent();
if (Preheader == &F->front())
F->getBasicBlockList().splice(F->begin(), F->getBasicBlockList(), LoopExit);
// Actually delete the blocks now.
LoopExit->getParent()->getBasicBlockList().erase(Preheader);
LoopExit->getParent()->getBasicBlockList().erase(BB);
F->getBasicBlockList().erase(Preheader);
F->getBasicBlockList().erase(BB);
++NumUnrolled;
return true;