diff options
| -rw-r--r-- | lib/Transforms/Scalar/CorrelatedExprs.cpp | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/lib/Transforms/Scalar/CorrelatedExprs.cpp b/lib/Transforms/Scalar/CorrelatedExprs.cpp index 9be508d3a8..441c7990f1 100644 --- 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 |