6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-16 14:31:59 +00:00
Code Issues Projects Releases Wiki Activity

Use the CDG to mark branches alive on demand.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2001-07-08 18:38:36 +00:00
parent cbab0f7edd
commit 72f1e9929a
1 changed files with 42 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
lib/Transforms/Scalar/ADCE.cpp
View File

@ -10,9 +10,10 @@
#include "llvm/Instruction.h" #include "llvm/Instruction.h"
#include "llvm/Type.h" #include "llvm/Type.h"
#include "llvm/Analysis/Dominators.h" #include "llvm/Analysis/Dominators.h"
#include <set> #include "llvm/Tools/STLExtras.h"
#include "llvm/Analysis/Writer.h" #include "llvm/Analysis/Writer.h"
#include <set>
#include <algorithm>
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// ADCE Class // ADCE Class
@ -47,7 +48,10 @@ private:
WorkList.push_back(I); WorkList.push_back(I);
} }
inline void markTerminatorLive(const BasicBlock *BB) {
cerr << "Marking Term Live\n";
markInstructionLive((Instruction*)BB->back());
}
}; };
@ -63,15 +67,14 @@ bool ADCE::doADCE() {
for (Method::inst_iterator II = M->inst_begin(); II != M->inst_end(); ) { for (Method::inst_iterator II = M->inst_begin(); II != M->inst_end(); ) {
Instruction *I = *II; Instruction *I = *II;
switch (I->getInstType()) { switch (I->getInstType()) {
case Instruction::Ret:
case Instruction::Call: case Instruction::Call:
case Instruction::Store: case Instruction::Store:
markInstructionLive(I); markInstructionLive(I);
break; break;
default: default:
if (I->getType() == Type::VoidTy) { // Check to see if anything is trivially dead
markInstructionLive(I); // Catches terminators and friends if (I->use_size() == 0 && I->getType() != Type::VoidTy) {
} else {
if (I->use_size() == 0) { // Check to see if anything is trivially dead
// Remove the instruction from it's basic block... // Remove the instruction from it's basic block...
BasicBlock *BB = I->getParent(); BasicBlock *BB = I->getParent();
delete BB->getInstList().remove(II.getInstructionIterator()); delete BB->getInstList().remove(II.getInstructionIterator());
@ -81,24 +84,45 @@ bool ADCE::doADCE() {
continue; // Don't increment the iterator past the current slot continue; // Don't increment the iterator past the current slot
} }
} }
}
++II; // Increment the iterator ++II; // Increment the iterator
} }
// Compute the control dependence graph...
cfg::DominanceFrontier CDG(cfg::DominatorSet(M, true));
cerr << "Processing work list\n"; cerr << "Processing work list\n";
// AliveBlocks - Set of basic blocks that we know have instructions that are
// alive in them...
//
set<BasicBlock*> AliveBlocks;
// Process the work list of instructions that just became live... if they // Process the work list of instructions that just became live... if they
// became live, then that means that all of their operands are neccesary as // became live, then that means that all of their operands are neccesary as
// well... make them live as well. // well... make them live as well.
// //
while (!WorkList.empty()) { while (!WorkList.empty()) {
Instruction *I = WorkList.back(); Instruction *I = WorkList.back(); // Get an instruction that became live...
WorkList.pop_back(); WorkList.pop_back();
for (unsigned op = 0; Value *Op = I->getOperand(op); ++op) { BasicBlock *BB = I->getParent();
Instruction *Operand = Op->castInstruction(); if (AliveBlocks.count(BB) == 0) { // Basic block not alive yet...
// Mark the basic block as being newly ALIVE... and mark all branches that
// this block is control dependant on as being alive also...
//
AliveBlocks.insert(BB); // Block is now ALIVE!
cfg::DominanceFrontier::const_iterator It = CDG.find(BB);
if (It != CDG.end()) {
// Get the blocks that this node is control dependant on...
const cfg::DominanceFrontier::DomSetType &CDB = It->second;
for_each(CDB.begin(), CDB.end(), // Mark all their terminators as live
bind_obj(this, &ADCE::markTerminatorLive));
}
}
for (unsigned op = 0, End = I->getNumOperands(); op != End; ++op) {
Instruction *Operand = I->getOperand(op)->castInstruction();
if (Operand) markInstructionLive(Operand); if (Operand) markInstructionLive(Operand);
} }
} }