diff options
Diffstat (limited to 'test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll')
| -rw-r--r-- | test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll | 184 |
1 files changed, 184 insertions, 0 deletions
diff --git a/test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll b/test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll new file mode 100644 index 0000000..ecb1be5 --- /dev/null +++ b/test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll @@ -0,0 +1,184 @@ +; 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 +} |