; RUN: opt < %s -loop-reduce
; RUN: opt < %s -analyze -scalar-evolution
; PR 3086

	%struct.Cls = type { i32, i8, [2 x %struct.Cls*], [2 x %struct.Lit*] }
	%struct.Lit = type { i8 }

define fastcc i64 @collect_clauses() nounwind {
entry:
	br label %bb11

bb5:		; preds = %bb9
	%0 = load %struct.Lit** %storemerge, align 8		; <%struct.Lit*> [#uses=0]
	%indvar.next8 = add i64 %storemerge.rec, 1		; <i64> [#uses=1]
	br label %bb9

bb9:		; preds = %bb22, %bb5
	%storemerge.rec = phi i64 [ %indvar.next8, %bb5 ], [ 0, %bb22 ]		; <i64> [#uses=2]
	%storemerge = getelementptr %struct.Lit** null, i64 %storemerge.rec		; <%struct.Lit**> [#uses=2]
	%1 = icmp ugt %struct.Lit** null, %storemerge		; <i1> [#uses=1]
	br i1 %1, label %bb5, label %bb22

bb11:		; preds = %bb22, %entry
	%2 = load %struct.Cls** null, align 8		; <%struct.Cls*> [#uses=0]
	br label %bb22

bb22:		; preds = %bb11, %bb9
	br i1 false, label %bb11, label %bb9
}