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