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 185
|
; RUN: opt < %s -lcssa -disable-output
; 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
}
|