| ; RUN: opt < %s -loop-reduce -disable-output | |
| define void @main() { | |
| entry: | |
| br label %loopentry.0 | |
| loopentry.0: ; preds = %then.5, %entry | |
| %arg_index.1.ph = phi i32 [ 1, %entry ], [ %arg_index.1.ph.be, %then.5 ] ; <i32> [#uses=1] | |
| br i1 false, label %no_exit.0, label %loopexit.0 | |
| no_exit.0: ; preds = %loopentry.0 | |
| %arg_index.1.1 = add i32 0, %arg_index.1.ph ; <i32> [#uses=2] | |
| br i1 false, label %then.i55, label %endif.i61 | |
| then.i55: ; preds = %no_exit.0 | |
| br i1 false, label %then.4, label %else.1 | |
| endif.i61: ; preds = %no_exit.0 | |
| ret void | |
| then.4: ; preds = %then.i55 | |
| %tmp.19993 = add i32 %arg_index.1.1, 2 ; <i32> [#uses=0] | |
| ret void | |
| else.1: ; preds = %then.i55 | |
| br i1 false, label %then.i86, label %loopexit.i97 | |
| then.i86: ; preds = %else.1 | |
| ret void | |
| loopexit.i97: ; preds = %else.1 | |
| br i1 false, label %then.5, label %else.2 | |
| then.5: ; preds = %loopexit.i97 | |
| %arg_index.1.ph.be = add i32 %arg_index.1.1, 2 ; <i32> [#uses=1] | |
| br label %loopentry.0 | |
| else.2: ; preds = %loopexit.i97 | |
| ret void | |
| loopexit.0: ; preds = %loopentry.0 | |
| ret void | |
| } |