|  | ; RUN: opt < %s -loop-reduce -verify | 
|  | target triple = "x86_64-apple-darwin10" | 
|  |  | 
|  | define void @myquicksort(i8* %a) nounwind ssp { | 
|  | entry: | 
|  | br i1 undef, label %loop1, label %return | 
|  |  | 
|  | loop1:                                            ; preds = %bb13.loopexit, %entry | 
|  | %indvar419 = phi i64 [ %indvar.next420, %loop2.exit ], [ 0, %entry ] | 
|  | %tmp474 = shl i64 %indvar419, 2 | 
|  | %tmp484 = add i64 %tmp474, 4 | 
|  | br label %loop2 | 
|  |  | 
|  | loop2:                                            ; preds = %loop1, %loop2.backedge | 
|  | %indvar414 = phi i64 [ %indvar.next415, %loop2.backedge ], [ 0, %loop1 ] | 
|  | %tmp473 = mul i64 %indvar414, -4 | 
|  | %tmp485 = add i64 %tmp484, %tmp473 | 
|  | %storemerge4 = getelementptr i8, i8* %a, i64 %tmp485 | 
|  | %0 = icmp ugt i8* %storemerge4, %a | 
|  | br i1 false, label %loop2.exit, label %loop2.backedge | 
|  |  | 
|  | loop2.backedge:                                   ; preds = %loop2 | 
|  | %indvar.next415 = add i64 %indvar414, 1 | 
|  | br label %loop2 | 
|  |  | 
|  | loop2.exit:                                       ; preds = %loop2 | 
|  | %indvar.next420 = add i64 %indvar419, 1 | 
|  | br i1 undef, label %loop1, label %return | 
|  |  | 
|  | return:                                           ; preds = %loop2.exit, %entry | 
|  | ret void | 
|  | } |