76 lines · plain
1; RUN: opt < %s -passes='function(loop-simplify),loop-extract' -disable-output2 3define void @solve() {4entry:5 br label %loopentry.06 7loopentry.0: ; preds = %endif.0, %entry8 br i1 false, label %no_exit.0, label %loopexit.09 10no_exit.0: ; preds = %loopentry.011 br i1 false, label %then.0, label %endif.012 13then.0: ; preds = %no_exit.014 br i1 false, label %shortcirc_done, label %shortcirc_next15 16shortcirc_next: ; preds = %then.017 br label %shortcirc_done18 19shortcirc_done: ; preds = %shortcirc_next, %then.020 br i1 false, label %then.1, label %endif.121 22then.1: ; preds = %shortcirc_done23 br i1 false, label %cond_true, label %cond_false24 25cond_true: ; preds = %then.126 br label %cond_continue27 28cond_false: ; preds = %then.129 br label %cond_continue30 31cond_continue: ; preds = %cond_false, %cond_true32 br label %return33 34after_ret.0: ; No predecessors!35 br label %endif.136 37endif.1: ; preds = %after_ret.0, %shortcirc_done38 br label %endif.039 40endif.0: ; preds = %endif.1, %no_exit.041 br label %loopentry.042 43loopexit.0: ; preds = %loopentry.044 br i1 false, label %then.2, label %endif.245 46then.2: ; preds = %loopexit.047 br i1 false, label %then.3, label %endif.348 49then.3: ; preds = %then.250 br label %return51 52after_ret.1: ; No predecessors!53 br label %endif.354 55endif.3: ; preds = %after_ret.1, %then.256 br label %endif.257 58endif.2: ; preds = %endif.3, %loopexit.059 br label %loopentry.160 61loopentry.1: ; preds = %no_exit.1, %endif.262 br i1 false, label %no_exit.1, label %loopexit.163 64no_exit.1: ; preds = %loopentry.165 br label %loopentry.166 67loopexit.1: ; preds = %loopentry.168 br label %return69 70after_ret.2: ; No predecessors!71 br label %return72 73return: ; preds = %after_ret.2, %loopexit.1, %then.3, %cond_continue74 ret void75}76