1; RUN: opt < %s -loop-reduce -verify
2target triple = "x86_64-apple-darwin10"
3
4define void @myquicksort(i8* %a) nounwind ssp {
5entry:
6  br i1 undef, label %loop1, label %return
7
8loop1:                                            ; preds = %bb13.loopexit, %entry
9  %indvar419 = phi i64 [ %indvar.next420, %loop2.exit ], [ 0, %entry ]
10  %tmp474 = shl i64 %indvar419, 2
11  %tmp484 = add i64 %tmp474, 4
12  br label %loop2
13
14loop2:                                            ; preds = %loop1, %loop2.backedge
15  %indvar414 = phi i64 [ %indvar.next415, %loop2.backedge ], [ 0, %loop1 ]
16  %tmp473 = mul i64 %indvar414, -4
17  %tmp485 = add i64 %tmp484, %tmp473
18  %storemerge4 = getelementptr i8* %a, i64 %tmp485
19  %0 = icmp ugt i8* %storemerge4, %a
20  br i1 false, label %loop2.exit, label %loop2.backedge
21
22loop2.backedge:                                   ; preds = %loop2
23  %indvar.next415 = add i64 %indvar414, 1
24  br label %loop2
25
26loop2.exit:                                       ; preds = %loop2
27  %indvar.next420 = add i64 %indvar419, 1
28  br i1 undef, label %loop1, label %return
29
30return:                                           ; preds = %loop2.exit, %entry
31  ret void
32}
33