| ; This is a very early test that just checks the representation of | |
| ; arithmetic instructions, i64, variables, and constants. No assembly | |
| ; tests are done. | |
| ; RUN: %llvm2ice --verbose inst %s | FileCheck %s | |
| ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | |
| ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s | |
| ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ | |
| ; RUN: | FileCheck --check-prefix=DUMP %s | |
| define i64 @arithmetic_chain(i64 %foo, i64 %bar) { | |
| entry: | |
| %r1 = add i64 %foo, %bar | |
| %r2 = add i64 %foo, %r1 | |
| %r3 = mul i64 %bar, %r1 | |
| %r4 = shl i64 %r3, %r2 | |
| %r5 = add i64 %r4, 8 | |
| ret i64 %r5 | |
| ; CHECK: entry: | |
| ; CHECK-NEXT: %r1 = add i64 %foo, %bar | |
| ; CHECK-NEXT: %r2 = add i64 %foo, %r1 | |
| ; CHECK-NEXT: %r3 = mul i64 %bar, %r1 | |
| ; CHECK-NEXT: %r4 = shl i64 %r3, %r2 | |
| ; CHECK-NEXT: %r5 = add i64 %r4, 8 | |
| ; CHECK-NEXT: ret i64 %r5 | |
| } | |
| ; ERRORS-NOT: ICE translation error | |
| ; DUMP-NOT: SZ |