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: %szdiff --llvm2ice=%llvm2ice %s | FileCheck --check-prefix=DUMP %s | 7 ; RUN: %szdiff --llvm2ice=%llvm2ice %s | FileCheck --check-prefix=DUMP %s |
4 | 8 |
5 define i64 @arithmetic_chain(i64 %foo, i64 %bar) { | 9 define i64 @arithmetic_chain(i64 %foo, i64 %bar) { |
6 entry: | 10 entry: |
7 %r1 = add i64 %foo, %bar | 11 %r1 = add i64 %foo, %bar |
8 %r2 = add i64 %foo, %r1 | 12 %r2 = add i64 %foo, %r1 |
9 %r3 = mul i64 %bar, %r1 | 13 %r3 = mul i64 %bar, %r1 |
10 %r4 = shl i64 %r3, %r2 | 14 %r4 = shl i64 %r3, %r2 |
11 %r5 = add i64 %r4, 8 | 15 %r5 = add i64 %r4, 8 |
12 ret i64 %r5 | 16 ret i64 %r5 |
13 | 17 |
14 ; CHECK: entry: | 18 ; CHECK: entry: |
15 ; CHECK-NEXT: %r1 = add i64 %foo, %bar | 19 ; CHECK-NEXT: %r1 = add i64 %foo, %bar |
16 ; CHECK-NEXT: %r2 = add i64 %foo, %r1 | 20 ; CHECK-NEXT: %r2 = add i64 %foo, %r1 |
17 ; CHECK-NEXT: %r3 = mul i64 %bar, %r1 | 21 ; CHECK-NEXT: %r3 = mul i64 %bar, %r1 |
18 ; CHECK-NEXT: %r4 = shl i64 %r3, %r2 | 22 ; CHECK-NEXT: %r4 = shl i64 %r3, %r2 |
19 ; CHECK-NEXT: %r5 = add i64 %r4, 8 | 23 ; CHECK-NEXT: %r5 = add i64 %r4, 8 |
20 ; CHECK-NEXT: ret i64 %r5 | 24 ; CHECK-NEXT: ret i64 %r5 |
21 } | 25 } |
22 | 26 |
23 ; ERRORS-NOT: ICE translation error | 27 ; ERRORS-NOT: ICE translation error |
24 ; DUMP-NOT: SZ | 28 ; DUMP-NOT: SZ |
OLD | NEW |