1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184
  
     | 
    
      ; RUN: opt < %s -passes=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
}
 
     |