diff --git a/llvm/lib/Transforms/Scalar/ADCE.cpp b/llvm/lib/Transforms/Scalar/ADCE.cpp index c5561995deb6..aef16f7f1cea 100644 --- a/llvm/lib/Transforms/Scalar/ADCE.cpp +++ b/llvm/lib/Transforms/Scalar/ADCE.cpp @@ -53,44 +53,6 @@ bool ADCE::runOnFunction(Function& F) { SmallPtrSet alive; SmallVector worklist; - SmallPtrSet reachable; - SmallVector unreachable; - - // First, collect the set of reachable blocks ... - for (df_ext_iterator > - DI = df_ext_begin(&F.getEntryBlock(), reachable), - DE = df_ext_end(&F.getEntryBlock(), reachable); DI != DE; ++DI) - ; // Deliberately empty, df_ext_iterator will fill in the set. - - // ... and then invert it into the list of unreachable ones. These - // blocks will be removed from the function. - for (Function::iterator FI = F.begin(), FE = F.end(); FI != FE; ++FI) - if (!reachable.count(FI)) - unreachable.push_back(FI); - - // Prepare to remove blocks by removing the PHI node entries for those blocks - // in their successors, and remove them from reference counting. - for (SmallVector::iterator UI = unreachable.begin(), - UE = unreachable.end(); UI != UE; ++UI) { - BasicBlock* BB = *UI; - for (succ_iterator SI = succ_begin(BB), SE = succ_end(BB); - SI != SE; ++SI) { - BasicBlock* succ = *SI; - BasicBlock::iterator succ_inst = succ->begin(); - while (PHINode* P = dyn_cast(succ_inst)) { - P->removeIncomingValue(BB); - ++succ_inst; - } - } - - BB->dropAllReferences(); - } - - // Finally, erase the unreachable blocks. - for (SmallVector::iterator UI = unreachable.begin(), - UE = unreachable.end(); UI != UE; ++UI) - (*UI)->eraseFromParent(); - // Collect the set of "root" instructions that are known live. for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I) if (isa(I.getInstructionIterator()) || diff --git a/llvm/test/Transforms/ADCE/2008-07-02-Unreachable.ll b/llvm/test/Transforms/ADCE/2008-07-02-Unreachable.ll deleted file mode 100644 index 60f0020cd152..000000000000 --- a/llvm/test/Transforms/ADCE/2008-07-02-Unreachable.ll +++ /dev/null @@ -1,37 +0,0 @@ -; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis | not grep forcond -; PR2509 - -target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" -target triple = "i686-apple-darwin9.3.0" -@g_3 = external global i8 ; [#uses=2] - -define i32 @func_1() nounwind { -entry: - br i1 false, label %ifelse, label %ifthen - -ifthen: ; preds = %entry - br label %ifend - -ifelse: ; preds = %entry - %tmp3 = load i8* @g_3 ; [#uses=0] - br label %forcond.thread - -forcond.thread: ; preds = %ifelse - br label %afterfor - -forcond: ; preds = %forinc - br i1 false, label %afterfor, label %forbody - -forbody: ; preds = %forcond - br label %forinc - -forinc: ; preds = %forbody - br label %forcond - -afterfor: ; preds = %forcond, %forcond.thread - %tmp10 = load i8* @g_3 ; [#uses=0] - br label %ifend - -ifend: ; preds = %afterfor, %ifthen - ret i32 0 -}