llvm/test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll
Dan Gohman f2f6ce65b7 Change tests from "opt %s" to "opt < %s" so that opt doesn't see the
input filename so that opt doesn't print the input filename in the
output so that grep lines in the tests don't unintentionally match
strings in the input filename.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-11 18:01:28 +00:00

185 lines
8.1 KiB
LLVM

; RUN: opt < %s -lcssa -disable-output
; PR977
; END.
define void @process_backlog() {
entry:
br label %loopentry.preheader
loopentry.preheader: ; preds = %dead_block_after_break, %entry
%work.0.ph = phi i32 [ %inc, %dead_block_after_break ], [ 0, %entry ] ; <i32> [#uses=0]
br label %loopentry
loopentry: ; preds = %endif.1, %loopentry.preheader
br i1 false, label %then.i, label %loopentry.__skb_dequeue67.exit_crit_edge
loopentry.__skb_dequeue67.exit_crit_edge: ; preds = %loopentry
br label %__skb_dequeue67.exit
then.i: ; preds = %loopentry
br label %__skb_dequeue67.exit
__skb_dequeue67.exit: ; preds = %then.i, %loopentry.__skb_dequeue67.exit_crit_edge
br i1 false, label %then.0, label %__skb_dequeue67.exit.endif.0_crit_edge
__skb_dequeue67.exit.endif.0_crit_edge: ; preds = %__skb_dequeue67.exit
br label %endif.0
then.0: ; preds = %__skb_dequeue67.exit
br label %job_done
dead_block_after_goto: ; No predecessors!
unreachable
endif.0: ; preds = %__skb_dequeue67.exit.endif.0_crit_edge
br i1 false, label %then.0.i, label %endif.0.endif.0.i_crit_edge
endif.0.endif.0.i_crit_edge: ; preds = %endif.0
br label %endif.0.i
then.0.i: ; preds = %endif.0
br label %endif.0.i
endif.0.i: ; preds = %then.0.i, %endif.0.endif.0.i_crit_edge
br i1 false, label %then.i.i, label %endif.0.i.skb_bond.exit.i_crit_edge
endif.0.i.skb_bond.exit.i_crit_edge: ; preds = %endif.0.i
br label %skb_bond.exit.i
then.i.i: ; preds = %endif.0.i
br label %skb_bond.exit.i
skb_bond.exit.i: ; preds = %then.i.i, %endif.0.i.skb_bond.exit.i_crit_edge
br label %loopentry.0.i
loopentry.0.i: ; preds = %loopentry.0.i.backedge, %skb_bond.exit.i
br i1 false, label %loopentry.0.i.no_exit.0.i_crit_edge, label %loopentry.0.i.loopexit.0.i_crit_edge
loopentry.0.i.loopexit.0.i_crit_edge: ; preds = %loopentry.0.i
br label %loopexit.0.i
loopentry.0.i.no_exit.0.i_crit_edge: ; preds = %loopentry.0.i
br label %no_exit.0.i
no_exit.0.i: ; preds = %then.3.i.no_exit.0.i_crit_edge, %loopentry.0.i.no_exit.0.i_crit_edge
br i1 false, label %no_exit.0.i.shortcirc_done.0.i_crit_edge, label %shortcirc_next.0.i
no_exit.0.i.shortcirc_done.0.i_crit_edge: ; preds = %no_exit.0.i
br label %shortcirc_done.0.i
shortcirc_next.0.i: ; preds = %no_exit.0.i
br label %shortcirc_done.0.i
shortcirc_done.0.i: ; preds = %shortcirc_next.0.i, %no_exit.0.i.shortcirc_done.0.i_crit_edge
br i1 false, label %then.1.i, label %endif.1.i
then.1.i: ; preds = %shortcirc_done.0.i
br i1 false, label %then.2.i, label %then.1.i.endif.2.i_crit_edge
then.1.i.endif.2.i_crit_edge: ; preds = %then.1.i
br label %endif.2.i
then.2.i: ; preds = %then.1.i
br i1 false, label %then.3.i, label %else.0.i
then.3.i: ; preds = %then.2.i
br i1 false, label %then.3.i.no_exit.0.i_crit_edge, label %then.3.i.loopexit.0.i_crit_edge
then.3.i.loopexit.0.i_crit_edge: ; preds = %then.3.i
br label %loopexit.0.i
then.3.i.no_exit.0.i_crit_edge: ; preds = %then.3.i
br label %no_exit.0.i
else.0.i: ; preds = %then.2.i
br label %endif.2.i
endif.3.i: ; No predecessors!
unreachable
endif.2.i: ; preds = %else.0.i, %then.1.i.endif.2.i_crit_edge
br label %loopentry.0.i.backedge
endif.1.i: ; preds = %shortcirc_done.0.i
br label %loopentry.0.i.backedge
loopentry.0.i.backedge: ; preds = %endif.1.i, %endif.2.i
br label %loopentry.0.i
loopexit.0.i: ; preds = %then.3.i.loopexit.0.i_crit_edge, %loopentry.0.i.loopexit.0.i_crit_edge
br label %loopentry.1.i
loopentry.1.i: ; preds = %loopentry.1.i.backedge, %loopexit.0.i
br i1 false, label %loopentry.1.i.no_exit.1.i_crit_edge, label %loopentry.1.i.loopexit.1.i_crit_edge
loopentry.1.i.loopexit.1.i_crit_edge: ; preds = %loopentry.1.i
br label %loopexit.1.i
loopentry.1.i.no_exit.1.i_crit_edge: ; preds = %loopentry.1.i
br label %no_exit.1.i
no_exit.1.i: ; preds = %then.6.i.no_exit.1.i_crit_edge, %loopentry.1.i.no_exit.1.i_crit_edge
br i1 false, label %shortcirc_next.1.i, label %no_exit.1.i.shortcirc_done.1.i_crit_edge
no_exit.1.i.shortcirc_done.1.i_crit_edge: ; preds = %no_exit.1.i
br label %shortcirc_done.1.i
shortcirc_next.1.i: ; preds = %no_exit.1.i
br i1 false, label %shortcirc_next.1.i.shortcirc_done.2.i_crit_edge, label %shortcirc_next.2.i
shortcirc_next.1.i.shortcirc_done.2.i_crit_edge: ; preds = %shortcirc_next.1.i
br label %shortcirc_done.2.i
shortcirc_next.2.i: ; preds = %shortcirc_next.1.i
br label %shortcirc_done.2.i
shortcirc_done.2.i: ; preds = %shortcirc_next.2.i, %shortcirc_next.1.i.shortcirc_done.2.i_crit_edge
br label %shortcirc_done.1.i
shortcirc_done.1.i: ; preds = %shortcirc_done.2.i, %no_exit.1.i.shortcirc_done.1.i_crit_edge
br i1 false, label %then.4.i, label %endif.4.i
then.4.i: ; preds = %shortcirc_done.1.i
br i1 false, label %then.5.i, label %then.4.i.endif.5.i_crit_edge
then.4.i.endif.5.i_crit_edge: ; preds = %then.4.i
br label %endif.5.i
then.5.i: ; preds = %then.4.i
br i1 false, label %then.6.i, label %else.1.i
then.6.i: ; preds = %then.5.i
br i1 false, label %then.6.i.no_exit.1.i_crit_edge, label %then.6.i.loopexit.1.i_crit_edge
then.6.i.loopexit.1.i_crit_edge: ; preds = %then.6.i
br label %loopexit.1.i
then.6.i.no_exit.1.i_crit_edge: ; preds = %then.6.i
br label %no_exit.1.i
else.1.i: ; preds = %then.5.i
br label %endif.5.i
endif.6.i: ; No predecessors!
unreachable
endif.5.i: ; preds = %else.1.i, %then.4.i.endif.5.i_crit_edge
br label %loopentry.1.i.backedge
endif.4.i: ; preds = %shortcirc_done.1.i
br label %loopentry.1.i.backedge
loopentry.1.i.backedge: ; preds = %endif.4.i, %endif.5.i
br label %loopentry.1.i
loopexit.1.i: ; preds = %then.6.i.loopexit.1.i_crit_edge, %loopentry.1.i.loopexit.1.i_crit_edge
br i1 false, label %then.7.i, label %else.2.i
then.7.i: ; preds = %loopexit.1.i
br i1 false, label %then.8.i, label %else.3.i
then.8.i: ; preds = %then.7.i
br label %netif_receive_skb.exit
else.3.i: ; preds = %then.7.i
br label %netif_receive_skb.exit
endif.8.i: ; No predecessors!
unreachable
else.2.i: ; preds = %loopexit.1.i
br i1 false, label %else.2.i.shortcirc_done.i.i_crit_edge, label %shortcirc_next.i.i
else.2.i.shortcirc_done.i.i_crit_edge: ; preds = %else.2.i
br label %shortcirc_done.i.i
shortcirc_next.i.i: ; preds = %else.2.i
br label %shortcirc_done.i.i
shortcirc_done.i.i: ; preds = %shortcirc_next.i.i, %else.2.i.shortcirc_done.i.i_crit_edge
br i1 false, label %then.i1.i, label %shortcirc_done.i.i.kfree_skb65.exit.i_crit_edge
shortcirc_done.i.i.kfree_skb65.exit.i_crit_edge: ; preds = %shortcirc_done.i.i
br label %kfree_skb65.exit.i
then.i1.i: ; preds = %shortcirc_done.i.i
br label %kfree_skb65.exit.i
kfree_skb65.exit.i: ; preds = %then.i1.i, %shortcirc_done.i.i.kfree_skb65.exit.i_crit_edge
br label %netif_receive_skb.exit
netif_receive_skb.exit: ; preds = %kfree_skb65.exit.i, %else.3.i, %then.8.i
br i1 false, label %then.i1, label %netif_receive_skb.exit.dev_put69.exit_crit_edge
netif_receive_skb.exit.dev_put69.exit_crit_edge: ; preds = %netif_receive_skb.exit
br label %dev_put69.exit
then.i1: ; preds = %netif_receive_skb.exit
br label %dev_put69.exit
dev_put69.exit: ; preds = %then.i1, %netif_receive_skb.exit.dev_put69.exit_crit_edge
%inc = add i32 0, 1 ; <i32> [#uses=1]
br i1 false, label %dev_put69.exit.shortcirc_done_crit_edge, label %shortcirc_next
dev_put69.exit.shortcirc_done_crit_edge: ; preds = %dev_put69.exit
br label %shortcirc_done
shortcirc_next: ; preds = %dev_put69.exit
br label %shortcirc_done
shortcirc_done: ; preds = %shortcirc_next, %dev_put69.exit.shortcirc_done_crit_edge
br i1 false, label %then.1, label %endif.1
then.1: ; preds = %shortcirc_done
ret void
dead_block_after_break: ; No predecessors!
br label %loopentry.preheader
endif.1: ; preds = %shortcirc_done
br label %loopentry
loopexit: ; No predecessors!
unreachable
after_ret.0: ; No predecessors!
br label %job_done
job_done: ; preds = %after_ret.0, %then.0
br label %loopentry.i
loopentry.i: ; preds = %no_exit.i, %job_done
br i1 false, label %no_exit.i, label %clear_bit62.exit
no_exit.i: ; preds = %loopentry.i
br label %loopentry.i
clear_bit62.exit: ; preds = %loopentry.i
br i1 false, label %then.2, label %endif.2
then.2: ; preds = %clear_bit62.exit
ret void
endif.2: ; preds = %clear_bit62.exit
ret void
after_ret.1: ; No predecessors!
ret void
return: ; No predecessors!
unreachable
}