| Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 1 | ; This is a very early test that just checks the representation of |
| 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 |
| Karl Schimpf | a667fb8 | 2014-05-19 14:56:51 -0700 | [diff] [blame] | 7 | ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
| 8 | ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
| 9 | ; RUN: | FileCheck --check-prefix=DUMP %s |
| Jim Stichnoth | f7c9a14 | 2014-04-29 10:52:43 -0700 | [diff] [blame] | 10 | |
| 11 | define i64 @arithmetic_chain(i64 %foo, i64 %bar) { |
| 12 | entry: |
| 13 | %r1 = add i64 %foo, %bar |
| 14 | %r2 = add i64 %foo, %r1 |
| 15 | %r3 = mul i64 %bar, %r1 |
| 16 | %r4 = shl i64 %r3, %r2 |
| 17 | %r5 = add i64 %r4, 8 |
| 18 | ret i64 %r5 |
| 19 | |
| 20 | ; CHECK: entry: |
| 21 | ; CHECK-NEXT: %r1 = add i64 %foo, %bar |
| 22 | ; CHECK-NEXT: %r2 = add i64 %foo, %r1 |
| 23 | ; CHECK-NEXT: %r3 = mul i64 %bar, %r1 |
| 24 | ; CHECK-NEXT: %r4 = shl i64 %r3, %r2 |
| 25 | ; CHECK-NEXT: %r5 = add i64 %r4, 8 |
| 26 | ; CHECK-NEXT: ret i64 %r5 |
| 27 | } |
| 28 | |
| 29 | ; ERRORS-NOT: ICE translation error |
| 30 | ; DUMP-NOT: SZ |
