Remove some assertions that are now bogus with the last patch I put in

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12595 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner
2004-04-01 19:21:46 +00:00
parent 1869a466dd
commit 4edf6c043e

View File

@@ -604,11 +604,8 @@ void LoopSimplify::UpdateDomInfoForRevectoredPreds(BasicBlock *NewBB,
// If NewBB strictly dominates other blocks, we need to update their idom's // If NewBB strictly dominates other blocks, we need to update their idom's
// now. The only block that need adjustment is the NewBBSucc block, whose // now. The only block that need adjustment is the NewBBSucc block, whose
// idom should currently be set to PredBlocks[0]. // idom should currently be set to PredBlocks[0].
if (NewBBDominatesNewBBSucc) { if (NewBBDominatesNewBBSucc)
assert(ID->get(NewBBSucc) == PredBlocks[0] &&
"Immediate dominator update code broken!");
ID->setImmediateDominator(NewBBSucc, NewBB); ID->setImmediateDominator(NewBBSucc, NewBB);
}
} }
// Update DominatorTree information if it is active. // Update DominatorTree information if it is active.
@@ -633,8 +630,6 @@ void LoopSimplify::UpdateDomInfoForRevectoredPreds(BasicBlock *NewBB,
// dominator of NewBBSucc. Update the dominator tree as appropriate. // dominator of NewBBSucc. Update the dominator tree as appropriate.
if (NewBBDominatesNewBBSucc) { if (NewBBDominatesNewBBSucc) {
DominatorTree::Node *NewBBSuccNode = DT->getNode(NewBBSucc); DominatorTree::Node *NewBBSuccNode = DT->getNode(NewBBSucc);
assert(NewBBSuccNode->getIDom()->getBlock() == PredBlocks[0] &&
"Immediate tree update code broken!");
DT->changeImmediateDominator(NewBBSuccNode, NewBBNode); DT->changeImmediateDominator(NewBBSuccNode, NewBBNode);
} }
} }