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
diff --git a/lib/Transforms/Utils/LoopSimplify.cpp b/lib/Transforms/Utils/LoopSimplify.cpp
index bf68b8a..f6e1374 100644
--- a/lib/Transforms/Utils/LoopSimplify.cpp
+++ b/lib/Transforms/Utils/LoopSimplify.cpp
@@ -604,11 +604,8 @@
// 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
// idom should currently be set to PredBlocks[0].
- if (NewBBDominatesNewBBSucc) {
- assert(ID->get(NewBBSucc) == PredBlocks[0] &&
- "Immediate dominator update code broken!");
+ if (NewBBDominatesNewBBSucc)
ID->setImmediateDominator(NewBBSucc, NewBB);
- }
}
// Update DominatorTree information if it is active.
@@ -633,8 +630,6 @@
// dominator of NewBBSucc. Update the dominator tree as appropriate.
if (NewBBDominatesNewBBSucc) {
DominatorTree::Node *NewBBSuccNode = DT->getNode(NewBBSucc);
- assert(NewBBSuccNode->getIDom()->getBlock() == PredBlocks[0] &&
- "Immediate tree update code broken!");
DT->changeImmediateDominator(NewBBSuccNode, NewBBNode);
}
}