test/Transforms/LCSSA/2006-10-31-UnreachableBlock.ll

   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 }