Correlated Exprs pass now requires BCE pass instead of doing it manually

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3908 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Scalar/CorrelatedExprs.cpp b/lib/Transforms/Scalar/CorrelatedExprs.cpp
index 9be508d3a857c82aad602c038cf1a0d6b1b0df5e..441c7990f16e61c289c618e2a436b7d0329e711a 100644 (file)
--- a/lib/Transforms/Scalar/CorrelatedExprs.cpp
+++ b/lib/Transforms/Scalar/CorrelatedExprs.cpp
@@ -204,9 +204,9 @@ namespace {
 
     // We don't modify the program, so we preserve all analyses
     virtual void getAnalysisUsage(AnalysisUsage &AU) const {
-      //AU.preservesCFG();
       AU.addRequired<DominatorSet>();
       AU.addRequired<DominatorTree>();
+      AU.addRequiredID(BreakCriticalEdgesID);
     };
 
     // print - Implement the standard print form to print out analysis
@@ -307,25 +307,6 @@ bool CEE::TransformRegion(BasicBlock *BB, std::set<BasicBlock*> &VisitedBlocks){
   // Get the terminator of this basic block...
   TerminatorInst *TI = BB->getTerminator();
 
-  // If this is a conditional branch, make sure that there is a branch target
-  // for each successor that can hold any information gleaned from the branch,
-  // by breaking any critical edges that may be laying about.
-  //
-  if (TI->getNumSuccessors() > 1) {
-    // If any of the successors has multiple incoming branches, add a new dummy
-    // destination branch that only contains an unconditional branch to the real
-    // target.
-    for (unsigned i = 0, e = TI->getNumSuccessors(); i != e; ++i) {
-      BasicBlock *Succ = TI->getSuccessor(i);
-      // If there is more than one predecessor of the destination block, break
-      // this critical edge by inserting a new block.  This updates dominatorset
-      // and dominatortree information.
-      //
-      if (isCriticalEdge(TI, i))
-        SplitCriticalEdge(TI, i, this);
-    }
-  }
-
   // Loop over all of the blocks that this block is the immediate dominator for.
   // Because all information known in this region is also known in all of the
   // blocks that are dominated by this one, we can safely propogate the