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: %llvm2ice -O2 --verbose none %s \ | 4 ; RUN: %p2i -i %s --args -O2 --verbose none \ |
5 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 5 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
6 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - | FileCheck %s | 6 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - | FileCheck %s |
7 ; RUN: %llvm2ice -Om1 --verbose none %s \ | 7 ; RUN: %p2i -i %s --args -Om1 --verbose none \ |
8 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 8 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
9 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - \ | 9 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - \ |
10 ; RUN: | FileCheck --check-prefix=OPTM1 %s | 10 ; RUN: | FileCheck --check-prefix=OPTM1 %s |
11 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | 11 ; RUN: %p2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s |
12 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s | 12 ; TODO(kschimpf) Find out why lc2i is needed, and fix. |
13 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ | 13 ; RUN: %lc2i -i %s --insts | %szdiff %s | FileCheck --check-prefix=DUMP %s |
14 ; RUN: | FileCheck --check-prefix=DUMP %s | |
15 | 14 |
16 define i32 @simple_loop(i32 %a, i32 %n) { | 15 define i32 @simple_loop(i32 %a, i32 %n) { |
17 entry: | 16 entry: |
18 %cmp4 = icmp sgt i32 %n, 0 | 17 %cmp4 = icmp sgt i32 %n, 0 |
19 br i1 %cmp4, label %for.body, label %for.end | 18 br i1 %cmp4, label %for.body, label %for.end |
20 | 19 |
21 for.body: | 20 for.body: |
22 %i.06 = phi i32 [ %inc, %for.body ], [ 0, %entry ] | 21 %i.06 = phi i32 [ %inc, %for.body ], [ 0, %entry ] |
23 %sum.05 = phi i32 [ %add, %for.body ], [ 0, %entry ] | 22 %sum.05 = phi i32 [ %add, %for.body ], [ 0, %entry ] |
24 %gep_array = mul i32 %i.06, 4 | 23 %gep_array = mul i32 %i.06, 4 |
(...skipping 27 matching lines...) Expand all Loading... |
52 ; | 51 ; |
53 ; There's nothing remarkable under Om1 to test for, since Om1 generates | 52 ; There's nothing remarkable under Om1 to test for, since Om1 generates |
54 ; such atrocious code (by design). | 53 ; such atrocious code (by design). |
55 ; OPTM1-LABEL: simple_loop | 54 ; OPTM1-LABEL: simple_loop |
56 ; OPTM1: cmp {{.*}}, 0 | 55 ; OPTM1: cmp {{.*}}, 0 |
57 ; OPTM1: jg | 56 ; OPTM1: jg |
58 ; OPTM1: ret | 57 ; OPTM1: ret |
59 | 58 |
60 ; ERRORS-NOT: ICE translation error | 59 ; ERRORS-NOT: ICE translation error |
61 ; DUMP-NOT: SZ | 60 ; DUMP-NOT: SZ |
OLD | NEW |