OLD | NEW |
1 ; RUIN: %llvm2ice -verbose inst %s | FileCheck %s | 1 ; This is a very early test that just checks the representation of |
2 ; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | 2 ; arithmetic instructions, i64, variables, and constants. No assembly |
| 3 ; tests are done. |
| 4 |
| 5 ; RUN: %llvm2ice --verbose inst %s | FileCheck %s |
| 6 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
3 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s | 7 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
4 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ | 8 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
5 ; RUN: | FileCheck --check-prefix=DUMP %s | 9 ; RUN: | FileCheck --check-prefix=DUMP %s |
6 | 10 |
7 define i64 @arithmetic_chain(i64 %foo, i64 %bar) { | 11 define i64 @arithmetic_chain(i64 %foo, i64 %bar) { |
8 entry: | 12 entry: |
9 %r1 = add i64 %foo, %bar | 13 %r1 = add i64 %foo, %bar |
10 %r2 = add i64 %foo, %r1 | 14 %r2 = add i64 %foo, %r1 |
11 %r3 = mul i64 %bar, %r1 | 15 %r3 = mul i64 %bar, %r1 |
12 %r4 = shl i64 %r3, %r2 | 16 %r4 = shl i64 %r3, %r2 |
13 %r5 = add i64 %r4, 8 | 17 %r5 = add i64 %r4, 8 |
14 ret i64 %r5 | 18 ret i64 %r5 |
15 | 19 |
16 ; CHECK: entry: | 20 ; CHECK: entry: |
17 ; CHECK-NEXT: %r1 = add i64 %foo, %bar | 21 ; CHECK-NEXT: %r1 = add i64 %foo, %bar |
18 ; CHECK-NEXT: %r2 = add i64 %foo, %r1 | 22 ; CHECK-NEXT: %r2 = add i64 %foo, %r1 |
19 ; CHECK-NEXT: %r3 = mul i64 %bar, %r1 | 23 ; CHECK-NEXT: %r3 = mul i64 %bar, %r1 |
20 ; CHECK-NEXT: %r4 = shl i64 %r3, %r2 | 24 ; CHECK-NEXT: %r4 = shl i64 %r3, %r2 |
21 ; CHECK-NEXT: %r5 = add i64 %r4, 8 | 25 ; CHECK-NEXT: %r5 = add i64 %r4, 8 |
22 ; CHECK-NEXT: ret i64 %r5 | 26 ; CHECK-NEXT: ret i64 %r5 |
23 } | 27 } |
24 | 28 |
25 ; ERRORS-NOT: ICE translation error | 29 ; ERRORS-NOT: ICE translation error |
26 ; DUMP-NOT: SZ | 30 ; DUMP-NOT: SZ |
OLD | NEW |