Fix bug: 2003-02-27-PreheaderExitNodeUpdate.ll by updating exit node info

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5664 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2003-02-27 22:48:57 +00:00
parent 6bc4281336
commit 9f879cfb0a

View File

@ -192,6 +192,22 @@ void Preheaders::InsertPreheaderForLoop(Loop *L) {
// We know that we have loop information to update... update it now.
if (Loop *Parent = L->getParentLoop())
Parent->addBasicBlockToLoop(NewBB, getAnalysis<LoopInfo>());
// If the header for the loop used to be an exit node for another loop, then
// we need to update this to know that the loop-preheader is now the exit
// node. Note that the only loop that could have our header as an exit node
// is a sibling loop, ie, one with the same parent loop.
const std::vector<Loop*> *ParentSubLoops;
if (Loop *Parent = L->getParentLoop())
ParentSubLoops = &Parent->getSubLoops();
else // Must check top-level loops...
ParentSubLoops = &getAnalysis<LoopInfo>().getTopLevelLoops();
// Loop over all sibling loops, performing the substitution...
for (unsigned i = 0, e = ParentSubLoops->size(); i != e; ++i)
if ((*ParentSubLoops)[i]->hasExitBlock(Header))
(*ParentSubLoops)[i]->changeExitBlock(Header, NewBB);
DominatorSet &DS = getAnalysis<DominatorSet>(); // Update dominator info
{