OLD | NEW |
1 ; This tests a simple loop that sums the elements of an input array. | 1 ; This tests a simple loop that sums the elements of an input array. |
2 ; The O2 check patterns represent the best code currently achieved. | 2 ; The O2 check patterns represent the best code currently achieved. |
3 | 3 |
4 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \ | 4 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \ |
5 ; RUN: | FileCheck %s | 5 ; RUN: | FileCheck %s |
6 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 \ | 6 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 \ |
7 ; RUN: | FileCheck --check-prefix=OPTM1 %s | 7 ; RUN: | FileCheck --check-prefix=OPTM1 %s |
8 | 8 |
9 define i32 @simple_loop(i32 %a, i32 %n) { | 9 define i32 @simple_loop(i32 %a, i32 %n) { |
10 entry: | 10 entry: |
(...skipping 28 matching lines...) Expand all Loading... |
39 ; Check for incrementing of the register-allocated induction variable. | 39 ; Check for incrementing of the register-allocated induction variable. |
40 ; CHECK-NEXT: add [[IREG]],0x1 | 40 ; CHECK-NEXT: add [[IREG]],0x1 |
41 ; Check for comparing the induction variable against the loop size. | 41 ; Check for comparing the induction variable against the loop size. |
42 ; CHECK-NEXT: cmp [[IREG]], | 42 ; CHECK-NEXT: cmp [[IREG]], |
43 ; CHECK-NEXT: jl [[L]] | 43 ; CHECK-NEXT: jl [[L]] |
44 ; | 44 ; |
45 ; There's nothing remarkable under Om1 to test for, since Om1 generates | 45 ; There's nothing remarkable under Om1 to test for, since Om1 generates |
46 ; such atrocious code (by design). | 46 ; such atrocious code (by design). |
47 ; OPTM1-LABEL: simple_loop | 47 ; OPTM1-LABEL: simple_loop |
48 ; OPTM1: cmp {{.*}},0x0 | 48 ; OPTM1: cmp {{.*}},0x0 |
49 ; OPTM1: jg | 49 ; OPTM1: setl |
50 ; OPTM1: ret | 50 ; OPTM1: ret |
OLD | NEW |