; 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
}