1 ; RUN: opt < %s -mem2reg -disable-output 2 ; PR670 3 4 define void @printk(i32, ...) { 5 entry: 6 %flags = alloca i32 ; <i32*> [#uses=2] 7 br i1 false, label %then.0, label %endif.0 8 then.0: ; preds = %entry 9 br label %endif.0 10 endif.0: ; preds = %then.0, %entry 11 store i32 0, i32* %flags 12 br label %loopentry 13 loopentry: ; preds = %endif.3, %endif.0 14 br i1 false, label %no_exit, label %loopexit 15 no_exit: ; preds = %loopentry 16 br i1 false, label %then.1, label %endif.1 17 then.1: ; preds = %no_exit 18 br i1 false, label %shortcirc_done.0, label %shortcirc_next.0 19 shortcirc_next.0: ; preds = %then.1 20 br label %shortcirc_done.0 21 shortcirc_done.0: ; preds = %shortcirc_next.0, %then.1 22 br i1 false, label %shortcirc_done.1, label %shortcirc_next.1 23 shortcirc_next.1: ; preds = %shortcirc_done.0 24 br label %shortcirc_done.1 25 shortcirc_done.1: ; preds = %shortcirc_next.1, %shortcirc_done.0 26 br i1 false, label %shortcirc_done.2, label %shortcirc_next.2 27 shortcirc_next.2: ; preds = %shortcirc_done.1 28 br label %shortcirc_done.2 29 shortcirc_done.2: ; preds = %shortcirc_next.2, %shortcirc_done.1 30 br i1 false, label %then.2, label %endif.2 31 then.2: ; preds = %shortcirc_done.2 32 br label %endif.2 33 endif.2: ; preds = %then.2, %shortcirc_done.2 34 br label %endif.1 35 endif.1: ; preds = %endif.2, %no_exit 36 br i1 false, label %then.3, label %endif.3 37 then.3: ; preds = %endif.1 38 br label %endif.3 39 endif.3: ; preds = %then.3, %endif.1 40 br label %loopentry 41 loopexit: ; preds = %loopentry 42 br label %endif.4 43 then.4: ; No predecessors! 44 %tmp.61 = load i32* %flags ; <i32> [#uses=0] 45 br label %out 46 dead_block_after_goto: ; No predecessors! 47 br label %endif.4 48 endif.4: ; preds = %dead_block_after_goto, %loopexit 49 br i1 false, label %then.5, label %else 50 then.5: ; preds = %endif.4 51 br label %endif.5 52 else: ; preds = %endif.4 53 br label %endif.5 54 endif.5: ; preds = %else, %then.5 55 br label %out 56 out: ; preds = %endif.5, %then.4 57 br label %return 58 after_ret: ; No predecessors! 59 br label %return 60 return: ; preds = %after_ret, %out 61 ret void 62 } 63
