diff options
author | Chris Lattner <sabre@nondot.org> | 2003-06-24 23:02:45 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2003-06-24 23:02:45 +0000 |
commit | 837e42ccefc11be3acf163808c4e2fcb56f73717 (patch) | |
tree | ba9bbb0fbf949158705e03c3555a67f651b1e587 /lib/Transforms | |
parent | 77825a3f8148f5b44638dff342da62d9c70ef975 (diff) | |
download | external_llvm-837e42ccefc11be3acf163808c4e2fcb56f73717.zip external_llvm-837e42ccefc11be3acf163808c4e2fcb56f73717.tar.gz external_llvm-837e42ccefc11be3acf163808c4e2fcb56f73717.tar.bz2 |
Fix bug: ADCE/2003-06-24-BadSuccessor.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6891 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms')
-rw-r--r-- | lib/Transforms/Scalar/ADCE.cpp | 47 |
1 files changed, 35 insertions, 12 deletions
diff --git a/lib/Transforms/Scalar/ADCE.cpp b/lib/Transforms/Scalar/ADCE.cpp index 38dcff1..6b838ba 100644 --- a/lib/Transforms/Scalar/ADCE.cpp +++ b/lib/Transforms/Scalar/ADCE.cpp @@ -73,6 +73,8 @@ private: // instructions that are dead according to LiveSet. bool dropReferencesOfDeadInstructionsInLiveBlock(BasicBlock *BB); + TerminatorInst *convertToUnconditionalBranch(TerminatorInst *TI); + inline void markInstructionLive(Instruction *I) { if (LiveSet.count(I)) return; DEBUG(std::cerr << "Insn Live: " << I); @@ -139,6 +141,24 @@ bool ADCE::dropReferencesOfDeadInstructionsInLiveBlock(BasicBlock *BB) { } +/// convertToUnconditionalBranch - Transform this conditional terminator +/// instruction into an unconditional branch because we don't care which of the +/// successors it goes to. This eliminate a use of the condition as well. +/// +TerminatorInst *ADCE::convertToUnconditionalBranch(TerminatorInst *TI) { + BranchInst *NB = new BranchInst(TI->getSuccessor(0), TI); + BasicBlock *BB = TI->getParent(); + + // Remove entries from PHI nodes to avoid confusing ourself later... + for (unsigned i = 1, e = TI->getNumSuccessors(); i != e; ++i) + TI->getSuccessor(i)->removePredecessor(BB); + + // Delete the old branch itself... + BB->getInstList().erase(TI); + return NB; +} + + // doADCE() - Run the Aggressive Dead Code Elimination algorithm, returning // true if the function was modified. // @@ -234,13 +254,25 @@ bool ADCE::doADCE() { // new entry node... // if (AliveBlocks.size() == Func->size()) { // No dead blocks? - for (Function::iterator I = Func->begin(), E = Func->end(); I != E; ++I) + for (Function::iterator I = Func->begin(), E = Func->end(); I != E; ++I) { // Loop over all of the instructions in the function, telling dead // instructions to drop their references. This is so that the next sweep // over the program can safely delete dead instructions without other dead // instructions still refering to them. // dropReferencesOfDeadInstructionsInLiveBlock(I); + + // Check to make sure the terminator instruction is live. If it isn't, + // this means that the condition that it branches on (we know it is not an + // unconditional branch), is not needed to make the decision of where to + // go to, because all outgoing edges go to the same place. We must remove + // the use of the condition (because it's probably dead), so we convert + // the terminator to a conditional branch. + // + TerminatorInst *TI = I->getTerminator(); + if (!LiveSet.count(TI)) + convertToUnconditionalBranch(TI); + } } else { // If there are some blocks dead... // If the entry node is dead, insert a new entry node to eliminate the entry @@ -269,17 +301,8 @@ bool ADCE::doADCE() { // on a condition that doesn't matter. Make it an unconditional branch // to ONE of the successors. This has the side effect of dropping a use // of the conditional value, which may also be dead. - if (!LiveSet.count(TI)) { - assert(TI->getNumSuccessors() > 1 && "Not a conditional?"); - BranchInst *NB = new BranchInst(TI->getSuccessor(0), TI); - - // Remove entries from PHI nodes to avoid confusing ourself later... - for (unsigned i = 1, e = TI->getNumSuccessors(); i != e; ++i) - TI->getSuccessor(i)->removePredecessor(BB); - - BB->getInstList().erase(TI); - TI = NB; - } + if (!LiveSet.count(TI)) + TI = convertToUnconditionalBranch(TI); // Loop over all of the successors, looking for ones that are not alive. // We cannot save the number of successors in the terminator instruction |