A BB that unwind_to an "unwind" inst is that same as one that doesn't unwind_to

at all.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48096 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2008-03-09 07:36:38 +00:00
parent 3b646de036
commit db96ae9607
2 changed files with 12 additions and 1 deletions

View File

@ -1370,7 +1370,7 @@ bool llvm::SimplifyCFG(BasicBlock *BB) {
new UnwindInst(Pred); // Use unwind.
Changed = true;
}
} else if (InvokeInst *II = dyn_cast<InvokeInst>(Pred->getTerminator()))
} else if (InvokeInst *II = dyn_cast<InvokeInst>(Pred->getTerminator())) {
if (II->getUnwindDest() == BB) {
// Insert a new branch instruction before the invoke, because this
// is now a fall through...
@ -1388,6 +1388,9 @@ bool llvm::SimplifyCFG(BasicBlock *BB) {
delete II;
Changed = true;
}
} else if (Pred->getUnwindDest() == BB) {
Pred->setUnwindDest(NULL);
}
Preds.pop_back();
}

View File

@ -33,3 +33,11 @@ bb4: unwind_to %cleanup
cleanup:
ret i32 1
}
define i32 @f3() {
entry: unwind_to %cleanup
call void @g(i32 0)
ret i32 0
cleanup:
unwind
}