| 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 |