[llvm-commits] CVS: llvm/lib/Transforms/Scalar/LoopSimplify.cpp

Chris Lattner lattner at cs.uiuc.edu
Thu Apr 1 13:22:01 PST 2004


Changes in directory llvm/lib/Transforms/Scalar:

LoopSimplify.cpp updated: 1.38 -> 1.39

---
Log message:

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


---
Diffs of the changes:  (+1 -6)

Index: llvm/lib/Transforms/Scalar/LoopSimplify.cpp
diff -u llvm/lib/Transforms/Scalar/LoopSimplify.cpp:1.38 llvm/lib/Transforms/Scalar/LoopSimplify.cpp:1.39
--- llvm/lib/Transforms/Scalar/LoopSimplify.cpp:1.38	Thu Apr  1 13:06:07 2004
+++ llvm/lib/Transforms/Scalar/LoopSimplify.cpp	Thu Apr  1 13:21:46 2004
@@ -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);
     }
   }





More information about the llvm-commits mailing list