Unreachable block is not a root node in post dominator tree.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40458 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Devang Patel 2007-07-24 01:02:25 +00:00
parent a7f98e2919
commit 62e279bbdb
2 changed files with 19 additions and 2 deletions

View File

@ -112,8 +112,12 @@ void PostDominatorTree::calculate(Function &F) {
// relationships. These blocks, which have no successors, end with return and
// unwind instructions.
for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I)
if (succ_begin(I) == succ_end(I))
Roots.push_back(I);
if (succ_begin(I) == succ_end(I)) {
Instruction *Insn = I->getTerminator();
// Unreachable block is not a root node.
if (!isa<UnreachableInst>(Insn))
Roots.push_back(I);
}
Vertex.push_back(0);

View File

@ -0,0 +1,13 @@
; RUN: llvm-as < %s | opt -adce | llvm-dis | grep switch
; PR 1564
define fastcc void @out() {
start:
br label %loop
unreachable:
unreachable
loop:
switch i32 0, label %unreachable [
i32 0, label %loop
]
}