146 lines · plain
1; RUN: opt < %s -passes=lcssa -disable-output -verify-dom-info -verify-loop-info2; PR9773; END.4declare i32 @opost_block()5 6define void @write_chan() {7entry:8 br i1 false, label %shortcirc_next.0, label %shortcirc_done.09shortcirc_next.0: ; preds = %entry10 br label %shortcirc_done.011shortcirc_done.0: ; preds = %shortcirc_next.0, %entry12 br i1 false, label %shortcirc_next.1, label %shortcirc_done.113shortcirc_next.1: ; preds = %shortcirc_done.014 br label %shortcirc_done.115shortcirc_done.1: ; preds = %shortcirc_next.1, %shortcirc_done.016 br i1 false, label %then.0, label %endif.017then.0: ; preds = %shortcirc_done.118 br i1 false, label %then.1, label %endif.119then.1: ; preds = %then.020 br label %return21after_ret.0: ; No predecessors!22 br label %endif.123endif.1: ; preds = %after_ret.0, %then.024 br label %endif.025endif.0: ; preds = %endif.1, %shortcirc_done.126 br label %loopentry.027loopentry.0: ; preds = %endif.12, %endif.028 br i1 false, label %then.2, label %endif.229then.2: ; preds = %loopentry.030 br label %loopexit.031dead_block_after_break.0: ; No predecessors!32 br label %endif.233endif.2: ; preds = %dead_block_after_break.0, %loopentry.034 br i1 false, label %shortcirc_done.2, label %shortcirc_next.235shortcirc_next.2: ; preds = %endif.236 br i1 false, label %shortcirc_next.3, label %shortcirc_done.337shortcirc_next.3: ; preds = %shortcirc_next.238 br label %shortcirc_done.339shortcirc_done.3: ; preds = %shortcirc_next.3, %shortcirc_next.240 br label %shortcirc_done.241shortcirc_done.2: ; preds = %shortcirc_done.3, %endif.242 br i1 false, label %then.3, label %endif.343then.3: ; preds = %shortcirc_done.244 br label %loopexit.045dead_block_after_break.1: ; No predecessors!46 br label %endif.347endif.3: ; preds = %dead_block_after_break.1, %shortcirc_done.248 br i1 false, label %shortcirc_next.4, label %shortcirc_done.449shortcirc_next.4: ; preds = %endif.350 br label %shortcirc_done.451shortcirc_done.4: ; preds = %shortcirc_next.4, %endif.352 br i1 false, label %then.4, label %else53then.4: ; preds = %shortcirc_done.454 br label %loopentry.155loopentry.1: ; preds = %endif.8, %then.456 br i1 false, label %no_exit, label %loopexit.157no_exit: ; preds = %loopentry.158 %tmp.94 = call i32 @opost_block( ) ; <i32> [#uses=1]59 br i1 false, label %then.5, label %endif.560then.5: ; preds = %no_exit61 br i1 false, label %then.6, label %endif.662then.6: ; preds = %then.563 br label %loopexit.164dead_block_after_break.2: ; No predecessors!65 br label %endif.666endif.6: ; preds = %dead_block_after_break.2, %then.567 br label %break_out68dead_block_after_goto.0: ; No predecessors!69 br label %endif.570endif.5: ; preds = %dead_block_after_goto.0, %no_exit71 br i1 false, label %then.7, label %endif.772then.7: ; preds = %endif.573 br label %loopexit.174dead_block_after_break.3: ; No predecessors!75 br label %endif.776endif.7: ; preds = %dead_block_after_break.3, %endif.577 switch i32 1, label %switchexit [78 i32 4, label %label.279 i32 2, label %label.180 i32 1, label %label.081 ]82label.0: ; preds = %endif.783 br label %switchexit84dead_block_after_break.4: ; No predecessors!85 br label %label.186label.1: ; preds = %dead_block_after_break.4, %endif.787 br label %switchexit88dead_block_after_break.5: ; No predecessors!89 br label %label.290label.2: ; preds = %dead_block_after_break.5, %endif.791 br label %switchexit92dead_block_after_break.6: ; No predecessors!93 br label %switchexit94switchexit: ; preds = %dead_block_after_break.6, %label.2, %label.1, %label.0, %endif.795 br i1 false, label %then.8, label %endif.896then.8: ; preds = %switchexit97 br label %loopexit.198dead_block_after_break.7: ; No predecessors!99 br label %endif.8100endif.8: ; preds = %dead_block_after_break.7, %switchexit101 br label %loopentry.1102loopexit.1: ; preds = %then.8, %then.7, %then.6, %loopentry.1103 br i1 false, label %then.9, label %endif.9104then.9: ; preds = %loopexit.1105 br label %endif.9106endif.9: ; preds = %then.9, %loopexit.1107 br label %endif.4108else: ; preds = %shortcirc_done.4109 br i1 false, label %then.10, label %endif.10110then.10: ; preds = %else111 br label %break_out112dead_block_after_goto.1: ; No predecessors!113 br label %endif.10114endif.10: ; preds = %dead_block_after_goto.1, %else115 br label %endif.4116endif.4: ; preds = %endif.10, %endif.9117 br i1 false, label %then.11, label %endif.11118then.11: ; preds = %endif.4119 br label %loopexit.0120dead_block_after_break.8: ; No predecessors!121 br label %endif.11122endif.11: ; preds = %dead_block_after_break.8, %endif.4123 br i1 false, label %then.12, label %endif.12124then.12: ; preds = %endif.11125 br label %loopexit.0126dead_block_after_break.9: ; No predecessors!127 br label %endif.12128endif.12: ; preds = %dead_block_after_break.9, %endif.11129 br label %loopentry.0130loopexit.0: ; preds = %then.12, %then.11, %then.3, %then.2131 br label %break_out132break_out: ; preds = %loopexit.0, %then.10, %endif.6133 %retval.3 = phi i32 [ 0, %loopexit.0 ], [ %tmp.94, %endif.6 ], [ 0, %then.10 ] ; <i32> [#uses=0]134 br i1 false, label %cond_true, label %cond_false135cond_true: ; preds = %break_out136 br label %cond_continue137cond_false: ; preds = %break_out138 br label %cond_continue139cond_continue: ; preds = %cond_false, %cond_true140 br label %return141after_ret.1: ; No predecessors!142 br label %return143return: ; preds = %after_ret.1, %cond_continue, %then.1144 ret void145}146