testcase for PR977

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31314 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 270 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 0000000000..f70d5c8039
--- /dev/null
+++ b/test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll
@@ -0,0 +1,270 @@
+; RUN: llvm-as < %s | opt -lcssa -disable-output
+; PR977
+
+void %process_backlog() {
+entry:
+	br label %loopentry.preheader
+
+loopentry.preheader:		; preds = %dead_block_after_break, %entry
+	%work.0.ph = phi int [ %inc, %dead_block_after_break ], [ 0, %entry ]		; <int> [#uses=0]
+	br label %loopentry
+
+loopentry:		; preds = %endif.1, %loopentry.preheader
+	br bool 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 bool 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 bool 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 bool 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 bool 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 bool 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 bool false, label %then.1.i, label %endif.1.i
+
+then.1.i:		; preds = %shortcirc_done.0.i
+	br bool 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 bool false, label %then.3.i, label %else.0.i
+
+then.3.i:		; preds = %then.2.i
+	br bool 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 bool 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 bool 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 bool 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 bool false, label %then.4.i, label %endif.4.i
+
+then.4.i:		; preds = %shortcirc_done.1.i
+	br bool 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 bool false, label %then.6.i, label %else.1.i
+
+then.6.i:		; preds = %then.5.i
+	br bool 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 bool false, label %then.7.i, label %else.2.i
+
+then.7.i:		; preds = %loopexit.1.i
+	br bool 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 bool 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 bool 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 bool 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 int 0, 1		; <int> [#uses=1]
+	br bool 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 bool 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 bool 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 bool 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
+}