diff options
| -rw-r--r-- | lib/Transforms/IPO/DeadArgumentElimination.cpp | 6 | ||||
| -rw-r--r-- | test/Transforms/DeadArgElim/2009-03-17-MRE-Invoke.ll | 11 |
2 files changed, 14 insertions, 3 deletions
diff --git a/lib/Transforms/IPO/DeadArgumentElimination.cpp b/lib/Transforms/IPO/DeadArgumentElimination.cpp index ab8df69..666db7e 100644 --- a/lib/Transforms/IPO/DeadArgumentElimination.cpp +++ b/lib/Transforms/IPO/DeadArgumentElimination.cpp @@ -803,9 +803,9 @@ bool DAE::RemoveDeadStuffFromFunction(Function *F) { " must have been a struct!"); Instruction *InsertPt = Call; if (InvokeInst *II = dyn_cast<InvokeInst>(Call)) { - InsertPt = II->getNormalDest()->begin(); - assert(!isa<PHINode>(InsertPt) && - "Can't have a use of the invoke value if the edge is critical"); + BasicBlock::iterator IP = II->getNormalDest()->begin(); + while (isa<PHINode>(IP)) ++IP; + InsertPt = IP; } // We used to return a struct. Instead of doing smart stuff with all the diff --git a/test/Transforms/DeadArgElim/2009-03-17-MRE-Invoke.ll b/test/Transforms/DeadArgElim/2009-03-17-MRE-Invoke.ll index 6ccaa9f..f5f2ce1 100644 --- a/test/Transforms/DeadArgElim/2009-03-17-MRE-Invoke.ll +++ b/test/Transforms/DeadArgElim/2009-03-17-MRE-Invoke.ll @@ -13,3 +13,14 @@ T: T2: unreachable } + +define i32 @bar2() { +entry: + %x = invoke {i32,i32} @foo() to label %T unwind label %T2 +T: + %PN = phi i32 [0, %entry] + %y = extractvalue {i32,i32} %x, 1 + ret i32 %y +T2: + unreachable +}
\ No newline at end of file |