maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Do not mark instructions in unreachable sections of the function as live. 

This fixes PR332 and ADCE/2004-05-04-UnreachableBlock.llx

llvm-svn: 13349
This commit is contained in:
Chris Lattner 2004-05-04 17:00:46 +00:00
parent 1190a4de0b
commit 9490849028
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
llvm/lib/Transforms/Scalar/ADCE.cpp
View File

@ -215,8 +215,10 @@ bool ADCE::doADCE() {
// instructions live in basic blocks that are unreachable. These blocks will
// be eliminated later, along with the instructions inside.
//
for (df_iterator<Function*> BBI = df_begin(Func), BBE = df_end(Func);
BBI != BBE; ++BBI) {
std::set<BasicBlock*> ReachableBBs;
for (df_ext_iterator<BasicBlock*>
BBI = df_ext_begin(&Func->front(), ReachableBBs),
BBE = df_ext_end(&Func->front(), ReachableBBs); BBI != BBE; ++BBI) {
BasicBlock *BB = *BBI;
for (BasicBlock::iterator II = BB->begin(), EI = BB->end(); II != EI; ) {
Instruction *I = II++;
@ -279,6 +281,7 @@ bool ADCE::doADCE() {
WorkList.pop_back();
BasicBlock *BB = I->getParent();
if (!ReachableBBs.count(BB)) continue;
if (!AliveBlocks.count(BB)) { // Basic block not alive yet...
AliveBlocks.insert(BB); // Block is now ALIVE!
markBlockAlive(BB); // Make it so now!