; RUN: llvm-upgrade < %s | llvm-as | 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
}
