| Dan Gohman | a848375 | 2015-12-10 00:26:26 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false | FileCheck %s |
| 2 | |
| 3 | ; Test various types and operators that need to be legalized. |
| 4 | |
| 5 | target datalayout = "e-p:32:32-i64:64-n32:64-S128" |
| 6 | target triple = "wasm32-unknown-unknown" |
| 7 | |
| 8 | ; CHECK-LABEL: shl_i3: |
| 9 | ; CHECK: i32.const $push0=, 7 |
| 10 | ; CHECK: i32.and $push1=, $1, $pop0 |
| 11 | ; CHECK: i32.shl $push2=, $0, $pop1 |
| 12 | define i3 @shl_i3(i3 %a, i3 %b, i3* %p) { |
| 13 | %t = shl i3 %a, %b |
| 14 | ret i3 %t |
| 15 | } |
| 16 | |
| 17 | ; CHECK-LABEL: shl_i53: |
| 18 | ; CHECK: i64.const $push0=, 9007199254740991 |
| 19 | ; CHECK: i64.and $push1=, $1, $pop0 |
| 20 | ; CHECK: i64.shl $push2=, $0, $pop1 |
| 21 | define i53 @shl_i53(i53 %a, i53 %b, i53* %p) { |
| 22 | %t = shl i53 %a, %b |
| 23 | ret i53 %t |
| 24 | } |
| Dan Gohman | a5603b8 | 2015-12-10 01:00:19 +0000 | [diff] [blame] | 25 | |
| 26 | ; CHECK-LABEL: sext_in_reg_i32_i64: |
| 27 | ; CHECK: i64.shl |
| 28 | ; CHECK: i64.shr_s |
| 29 | define i64 @sext_in_reg_i32_i64(i64 %a) { |
| 30 | %b = shl i64 %a, 32 |
| 31 | %c = ashr i64 %b, 32 |
| 32 | ret i64 %c |
| 33 | } |