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