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