Remove some assertions that are now bogus with the last patch I put in
authorChris Lattner <sabre@nondot.org>
Thu, 1 Apr 2004 19:21:46 +0000 (19:21 +0000)
committerChris Lattner <sabre@nondot.org>
Thu, 1 Apr 2004 19:21:46 +0000 (19:21 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12595 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/Utils/LoopSimplify.cpp

index bf68b8a7b2c1d97f80ed52a2ed7e800dad623d92..f6e13743c72735ce9c1504e0c81056f326732631 100644 (file)
@@ -604,11 +604,8 @@ void LoopSimplify::UpdateDomInfoForRevectoredPreds(BasicBlock *NewBB,
     // 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 @@ void LoopSimplify::UpdateDomInfoForRevectoredPreds(BasicBlock *NewBB,
     // 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);
     }
   }