If NewBB dominates DestBB then DestBB is not part of NewBB's dominance frontier.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41051 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Devang Patel 2007-08-13 21:59:17 +00:00
parent 17f218e001
commit 6acc9e6b7b

View File

@ -227,8 +227,12 @@ bool llvm::SplitCriticalEdge(TerminatorInst *TI, unsigned SuccNum, Pass *P,
DominanceFrontier::DomSetType NewDFSet;
if (NewBBDominatesDestBB) {
DominanceFrontier::iterator I = DF->find(DestBB);
if (I != DF->end())
if (I != DF->end()) {
DF->addBasicBlock(NewBB, I->second);
// However NewBB's frontier does not include DestBB.
DominanceFrontier::iterator NF = DF->find(NewBB);
DF->removeFromFrontier(NF, DestBB);
}
else
DF->addBasicBlock(NewBB, DominanceFrontier::DomSetType());
} else {