OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

Move break-crit-edges before the predicate simplifier. Allows us to 

optimize in more cases.

llvm-svn: 30699
This commit is contained in:
Nick Lewycky 2006-10-03 14:52:23 +00:00
parent ff510a58c2
commit 755f801adc
2 changed files with 4 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp
View File

@ -500,8 +500,10 @@ bool PredicateSimplifier::runOnFunction(Function &F) {
} }
void PredicateSimplifier::getAnalysisUsage(AnalysisUsage &AU) const { void PredicateSimplifier::getAnalysisUsage(AnalysisUsage &AU) const {
AU.addRequiredID(BreakCriticalEdgesID);
AU.addRequired<DominatorTree>(); AU.addRequired<DominatorTree>();
AU.setPreservesCFG(); AU.setPreservesCFG();
AU.addPreservedID(BreakCriticalEdgesID);
} }
// resolve catches cases addProperty won't because it wasn't used as a // resolve catches cases addProperty won't because it wasn't used as a
@ -622,13 +624,7 @@ void PredicateSimplifier::proceedToSuccessor(TerminatorInst *TI,
PropertySet &NextPS) { PropertySet &NextPS) {
assert(edge < TI->getNumSuccessors() && "Invalid index for edge."); assert(edge < TI->getNumSuccessors() && "Invalid index for edge.");
BasicBlock *BB = TI->getParent(), visitBasicBlock(TI->getSuccessor(edge), NextPS);
*BBNext = TI->getSuccessor(edge);
if (BBNext->getSinglePredecessor() == BB)
visitBasicBlock(BBNext, NextPS);
else
visitBasicBlock(BBNext, CurrentPS);
} }
void PredicateSimplifier::proceedToSuccessors(PropertySet &KP, void PredicateSimplifier::proceedToSuccessors(PropertySet &KP,

2
llvm/test/Regression/Transforms/PredicateSimplifier/2006-09-20-SetCC.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -predsimplify | llvm-dis | grep br | grep bb8 | grep cond_true$ | grep false ; RUN: llvm-as < %s | opt -predsimplify | llvm-dis | grep br | grep return.i.bb8_crit_edge | grep false
%str = external global [4 x sbyte] ; <[4 x sbyte]*> [#uses=1] %str = external global [4 x sbyte] ; <[4 x sbyte]*> [#uses=1]