1 ; RUN: opt < %s -lcssa -disable-output 2 ; RUN: opt < %s -passes=lcssa -disable-output 3 ; PR977 4 ; END. 5 6 define void @process_backlog() { 7 entry: 8 br label %loopentry.preheader 9 loopentry.preheader: ; preds = %dead_block_after_break, %entry 10 %work.0.ph = phi i32 [ %inc, %dead_block_after_break ], [ 0, %entry ] ; <i32> [#uses=0] 11 br label %loopentry 12 loopentry: ; preds = %endif.1, %loopentry.preheader 13 br i1 false, label %then.i, label %loopentry.__skb_dequeue67.exit_crit_edge 14 loopentry.__skb_dequeue67.exit_crit_edge: ; preds = %loopentry 15 br label %__skb_dequeue67.exit 16 then.i: ; preds = %loopentry 17 br label %__skb_dequeue67.exit 18 __skb_dequeue67.exit: ; preds = %then.i, %loopentry.__skb_dequeue67.exit_crit_edge 19 br i1 false, label %then.0, label %__skb_dequeue67.exit.endif.0_crit_edge 20 __skb_dequeue67.exit.endif.0_crit_edge: ; preds = %__skb_dequeue67.exit 21 br label %endif.0 22 then.0: ; preds = %__skb_dequeue67.exit 23 br label %job_done 24 dead_block_after_goto: ; No predecessors! 25 unreachable 26 endif.0: ; preds = %__skb_dequeue67.exit.endif.0_crit_edge 27 br i1 false, label %then.0.i, label %endif.0.endif.0.i_crit_edge 28 endif.0.endif.0.i_crit_edge: ; preds = %endif.0 29 br label %endif.0.i 30 then.0.i: ; preds = %endif.0 31 br label %endif.0.i 32 endif.0.i: ; preds = %then.0.i, %endif.0.endif.0.i_crit_edge 33 br i1 false, label %then.i.i, label %endif.0.i.skb_bond.exit.i_crit_edge 34 endif.0.i.skb_bond.exit.i_crit_edge: ; preds = %endif.0.i 35 br label %skb_bond.exit.i 36 then.i.i: ; preds = %endif.0.i 37 br label %skb_bond.exit.i 38 skb_bond.exit.i: ; preds = %then.i.i, %endif.0.i.skb_bond.exit.i_crit_edge 39 br label %loopentry.0.i 40 loopentry.0.i: ; preds = %loopentry.0.i.backedge, %skb_bond.exit.i 41 br i1 false, label %loopentry.0.i.no_exit.0.i_crit_edge, label %loopentry.0.i.loopexit.0.i_crit_edge 42 loopentry.0.i.loopexit.0.i_crit_edge: ; preds = %loopentry.0.i 43 br label %loopexit.0.i 44 loopentry.0.i.no_exit.0.i_crit_edge: ; preds = %loopentry.0.i 45 br label %no_exit.0.i 46 no_exit.0.i: ; preds = %then.3.i.no_exit.0.i_crit_edge, %loopentry.0.i.no_exit.0.i_crit_edge 47 br i1 false, label %no_exit.0.i.shortcirc_done.0.i_crit_edge, label %shortcirc_next.0.i 48 no_exit.0.i.shortcirc_done.0.i_crit_edge: ; preds = %no_exit.0.i 49 br label %shortcirc_done.0.i 50 shortcirc_next.0.i: ; preds = %no_exit.0.i 51 br label %shortcirc_done.0.i 52 shortcirc_done.0.i: ; preds = %shortcirc_next.0.i, %no_exit.0.i.shortcirc_done.0.i_crit_edge 53 br i1 false, label %then.1.i, label %endif.1.i 54 then.1.i: ; preds = %shortcirc_done.0.i 55 br i1 false, label %then.2.i, label %then.1.i.endif.2.i_crit_edge 56 then.1.i.endif.2.i_crit_edge: ; preds = %then.1.i 57 br label %endif.2.i 58 then.2.i: ; preds = %then.1.i 59 br i1 false, label %then.3.i, label %else.0.i 60 then.3.i: ; preds = %then.2.i 61 br i1 false, label %then.3.i.no_exit.0.i_crit_edge, label %then.3.i.loopexit.0.i_crit_edge 62 then.3.i.loopexit.0.i_crit_edge: ; preds = %then.3.i 63 br label %loopexit.0.i 64 then.3.i.no_exit.0.i_crit_edge: ; preds = %then.3.i 65 br label %no_exit.0.i 66 else.0.i: ; preds = %then.2.i 67 br label %endif.2.i 68 endif.3.i: ; No predecessors! 69 unreachable 70 endif.2.i: ; preds = %else.0.i, %then.1.i.endif.2.i_crit_edge 71 br label %loopentry.0.i.backedge 72 endif.1.i: ; preds = %shortcirc_done.0.i 73 br label %loopentry.0.i.backedge 74 loopentry.0.i.backedge: ; preds = %endif.1.i, %endif.2.i 75 br label %loopentry.0.i 76 loopexit.0.i: ; preds = %then.3.i.loopexit.0.i_crit_edge, %loopentry.0.i.loopexit.0.i_crit_edge 77 br label %loopentry.1.i 78 loopentry.1.i: ; preds = %loopentry.1.i.backedge, %loopexit.0.i 79 br i1 false, label %loopentry.1.i.no_exit.1.i_crit_edge, label %loopentry.1.i.loopexit.1.i_crit_edge 80 loopentry.1.i.loopexit.1.i_crit_edge: ; preds = %loopentry.1.i 81 br label %loopexit.1.i 82 loopentry.1.i.no_exit.1.i_crit_edge: ; preds = %loopentry.1.i 83 br label %no_exit.1.i 84 no_exit.1.i: ; preds = %then.6.i.no_exit.1.i_crit_edge, %loopentry.1.i.no_exit.1.i_crit_edge 85 br i1 false, label %shortcirc_next.1.i, label %no_exit.1.i.shortcirc_done.1.i_crit_edge 86 no_exit.1.i.shortcirc_done.1.i_crit_edge: ; preds = %no_exit.1.i 87 br label %shortcirc_done.1.i 88 shortcirc_next.1.i: ; preds = %no_exit.1.i 89 br i1 false, label %shortcirc_next.1.i.shortcirc_done.2.i_crit_edge, label %shortcirc_next.2.i 90 shortcirc_next.1.i.shortcirc_done.2.i_crit_edge: ; preds = %shortcirc_next.1.i 91 br label %shortcirc_done.2.i 92 shortcirc_next.2.i: ; preds = %shortcirc_next.1.i 93 br label %shortcirc_done.2.i 94 shortcirc_done.2.i: ; preds = %shortcirc_next.2.i, %shortcirc_next.1.i.shortcirc_done.2.i_crit_edge 95 br label %shortcirc_done.1.i 96 shortcirc_done.1.i: ; preds = %shortcirc_done.2.i, %no_exit.1.i.shortcirc_done.1.i_crit_edge 97 br i1 false, label %then.4.i, label %endif.4.i 98 then.4.i: ; preds = %shortcirc_done.1.i 99 br i1 false, label %then.5.i, label %then.4.i.endif.5.i_crit_edge 100 then.4.i.endif.5.i_crit_edge: ; preds = %then.4.i 101 br label %endif.5.i 102 then.5.i: ; preds = %then.4.i 103 br i1 false, label %then.6.i, label %else.1.i 104 then.6.i: ; preds = %then.5.i 105 br i1 false, label %then.6.i.no_exit.1.i_crit_edge, label %then.6.i.loopexit.1.i_crit_edge 106 then.6.i.loopexit.1.i_crit_edge: ; preds = %then.6.i 107 br label %loopexit.1.i 108 then.6.i.no_exit.1.i_crit_edge: ; preds = %then.6.i 109 br label %no_exit.1.i 110 else.1.i: ; preds = %then.5.i 111 br label %endif.5.i 112 endif.6.i: ; No predecessors! 113 unreachable 114 endif.5.i: ; preds = %else.1.i, %then.4.i.endif.5.i_crit_edge 115 br label %loopentry.1.i.backedge 116 endif.4.i: ; preds = %shortcirc_done.1.i 117 br label %loopentry.1.i.backedge 118 loopentry.1.i.backedge: ; preds = %endif.4.i, %endif.5.i 119 br label %loopentry.1.i 120 loopexit.1.i: ; preds = %then.6.i.loopexit.1.i_crit_edge, %loopentry.1.i.loopexit.1.i_crit_edge 121 br i1 false, label %then.7.i, label %else.2.i 122 then.7.i: ; preds = %loopexit.1.i 123 br i1 false, label %then.8.i, label %else.3.i 124 then.8.i: ; preds = %then.7.i 125 br label %netif_receive_skb.exit 126 else.3.i: ; preds = %then.7.i 127 br label %netif_receive_skb.exit 128 endif.8.i: ; No predecessors! 129 unreachable 130 else.2.i: ; preds = %loopexit.1.i 131 br i1 false, label %else.2.i.shortcirc_done.i.i_crit_edge, label %shortcirc_next.i.i 132 else.2.i.shortcirc_done.i.i_crit_edge: ; preds = %else.2.i 133 br label %shortcirc_done.i.i 134 shortcirc_next.i.i: ; preds = %else.2.i 135 br label %shortcirc_done.i.i 136 shortcirc_done.i.i: ; preds = %shortcirc_next.i.i, %else.2.i.shortcirc_done.i.i_crit_edge 137 br i1 false, label %then.i1.i, label %shortcirc_done.i.i.kfree_skb65.exit.i_crit_edge 138 shortcirc_done.i.i.kfree_skb65.exit.i_crit_edge: ; preds = %shortcirc_done.i.i 139 br label %kfree_skb65.exit.i 140 then.i1.i: ; preds = %shortcirc_done.i.i 141 br label %kfree_skb65.exit.i 142 kfree_skb65.exit.i: ; preds = %then.i1.i, %shortcirc_done.i.i.kfree_skb65.exit.i_crit_edge 143 br label %netif_receive_skb.exit 144 netif_receive_skb.exit: ; preds = %kfree_skb65.exit.i, %else.3.i, %then.8.i 145 br i1 false, label %then.i1, label %netif_receive_skb.exit.dev_put69.exit_crit_edge 146 netif_receive_skb.exit.dev_put69.exit_crit_edge: ; preds = %netif_receive_skb.exit 147 br label %dev_put69.exit 148 then.i1: ; preds = %netif_receive_skb.exit 149 br label %dev_put69.exit 150 dev_put69.exit: ; preds = %then.i1, %netif_receive_skb.exit.dev_put69.exit_crit_edge 151 %inc = add i32 0, 1 ; <i32> [#uses=1] 152 br i1 false, label %dev_put69.exit.shortcirc_done_crit_edge, label %shortcirc_next 153 dev_put69.exit.shortcirc_done_crit_edge: ; preds = %dev_put69.exit 154 br label %shortcirc_done 155 shortcirc_next: ; preds = %dev_put69.exit 156 br label %shortcirc_done 157 shortcirc_done: ; preds = %shortcirc_next, %dev_put69.exit.shortcirc_done_crit_edge 158 br i1 false, label %then.1, label %endif.1 159 then.1: ; preds = %shortcirc_done 160 ret void 161 dead_block_after_break: ; No predecessors! 162 br label %loopentry.preheader 163 endif.1: ; preds = %shortcirc_done 164 br label %loopentry 165 loopexit: ; No predecessors! 166 unreachable 167 after_ret.0: ; No predecessors! 168 br label %job_done 169 job_done: ; preds = %after_ret.0, %then.0 170 br label %loopentry.i 171 loopentry.i: ; preds = %no_exit.i, %job_done 172 br i1 false, label %no_exit.i, label %clear_bit62.exit 173 no_exit.i: ; preds = %loopentry.i 174 br label %loopentry.i 175 clear_bit62.exit: ; preds = %loopentry.i 176 br i1 false, label %then.2, label %endif.2 177 then.2: ; preds = %clear_bit62.exit 178 ret void 179 endif.2: ; preds = %clear_bit62.exit 180 ret void 181 after_ret.1: ; No predecessors! 182 ret void 183 return: ; No predecessors! 184 unreachable 185 } 186
