JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false | FileCheck %s |
| 2 | |
| 3 | ; Test that i1 extending loads and truncating stores are assembled properly. |
| 4 | |
Dan Gohman | 5e06684 | 2015-09-09 20:54:31 +0000 | [diff] [blame] | 5 | target datalayout = "e-p:32:32-i64:64-n32:64-S128" |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 6 | target triple = "wasm32-unknown-unknown" |
| 7 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 8 | ; CHECK-LABEL: load_u_i1_i32: |
Hans Wennborg | 7384a2d | 2015-11-12 14:37:56 +0000 | [diff] [blame^] | 9 | ; CHECK: i32.load8_u push, (get_local 1){{$}} |
| 10 | ; CHECK-NEXT: set_local 2, pop{{$}} |
| 11 | ; CHECK-NEXT: return (get_local 2){{$}} |
Dan Gohman | d0bf981 | 2015-09-26 01:09:44 +0000 | [diff] [blame] | 12 | define i32 @load_u_i1_i32(i1* %p) { |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 13 | %v = load i1, i1* %p |
| 14 | %e = zext i1 %v to i32 |
| 15 | ret i32 %e |
| 16 | } |
| 17 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 18 | ; CHECK-LABEL: load_s_i1_i32: |
Hans Wennborg | 7384a2d | 2015-11-12 14:37:56 +0000 | [diff] [blame^] | 19 | ; CHECK: i32.load8_u push, (get_local 1){{$}} |
| 20 | ; CHECK-NEXT: set_local 2, pop{{$}} |
| 21 | ; CHECK-NEXT: i32.const push, 31{{$}} |
| 22 | ; CHECK-NEXT: set_local 3, pop{{$}} |
| 23 | ; CHECK-NEXT: shl push, (get_local 2), (get_local 3){{$}} |
| 24 | ; CHECK-NEXT: set_local 4, pop{{$}} |
| 25 | ; CHECK-NEXT: shr_s push, (get_local 4), (get_local 3){{$}} |
| 26 | ; CHECK-NEXT: set_local 5, pop{{$}} |
| 27 | ; CHECK-NEXT: return (get_local 5){{$}} |
Dan Gohman | d0bf981 | 2015-09-26 01:09:44 +0000 | [diff] [blame] | 28 | define i32 @load_s_i1_i32(i1* %p) { |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 29 | %v = load i1, i1* %p |
| 30 | %e = sext i1 %v to i32 |
| 31 | ret i32 %e |
| 32 | } |
| 33 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 34 | ; CHECK-LABEL: load_u_i1_i64: |
Hans Wennborg | 7384a2d | 2015-11-12 14:37:56 +0000 | [diff] [blame^] | 35 | ; CHECK: i64.load8_u push, (get_local 1){{$}} |
| 36 | ; CHECK-NEXT: set_local 2, pop{{$}} |
| 37 | ; CHECK-NEXT: return (get_local 2){{$}} |
Dan Gohman | d0bf981 | 2015-09-26 01:09:44 +0000 | [diff] [blame] | 38 | define i64 @load_u_i1_i64(i1* %p) { |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 39 | %v = load i1, i1* %p |
| 40 | %e = zext i1 %v to i64 |
| 41 | ret i64 %e |
| 42 | } |
| 43 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 44 | ; CHECK-LABEL: load_s_i1_i64: |
Hans Wennborg | 7384a2d | 2015-11-12 14:37:56 +0000 | [diff] [blame^] | 45 | ; CHECK: i64.load8_u push, (get_local 1){{$}} |
| 46 | ; CHECK-NEXT: set_local 2, pop{{$}} |
| 47 | ; CHECK-NEXT: i64.const push, 63{{$}} |
| 48 | ; CHECK-NEXT: set_local 3, pop{{$}} |
| 49 | ; CHECK-NEXT: shl push, (get_local 2), (get_local 3){{$}} |
| 50 | ; CHECK-NEXT: set_local 4, pop{{$}} |
| 51 | ; CHECK-NEXT: shr_s push, (get_local 4), (get_local 3){{$}} |
| 52 | ; CHECK-NEXT: set_local 5, pop{{$}} |
| 53 | ; CHECK-NEXT: return (get_local 5){{$}} |
Dan Gohman | d0bf981 | 2015-09-26 01:09:44 +0000 | [diff] [blame] | 54 | define i64 @load_s_i1_i64(i1* %p) { |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 55 | %v = load i1, i1* %p |
| 56 | %e = sext i1 %v to i64 |
| 57 | ret i64 %e |
| 58 | } |
| 59 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 60 | ; CHECK-LABEL: store_i32_i1: |
Hans Wennborg | 7384a2d | 2015-11-12 14:37:56 +0000 | [diff] [blame^] | 61 | ; CHECK: i32.const push, 1{{$}} |
| 62 | ; CHECK-NEXT: set_local 4, pop{{$}} |
| 63 | ; CHECK-NEXT: i32.and push, (get_local 3), (get_local 4){{$}} |
| 64 | ; CHECK-NEXT: set_local 5, pop{{$}} |
| 65 | ; CHECK-NEXT: i32.store8 (get_local 2), (get_local 5){{$}} |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 66 | define void @store_i32_i1(i1* %p, i32 %v) { |
| 67 | %t = trunc i32 %v to i1 |
| 68 | store i1 %t, i1* %p |
| 69 | ret void |
| 70 | } |
| 71 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 72 | ; CHECK-LABEL: store_i64_i1: |
Hans Wennborg | 7384a2d | 2015-11-12 14:37:56 +0000 | [diff] [blame^] | 73 | ; CHECK: i64.const push, 1{{$}} |
| 74 | ; CHECK-NEXT: set_local 4, pop{{$}} |
| 75 | ; CHECK-NEXT: i64.and push, (get_local 3), (get_local 4){{$}} |
| 76 | ; CHECK-NEXT: set_local 5, pop{{$}} |
| 77 | ; CHECK-NEXT: i64.store8 (get_local 2), (get_local 5){{$}} |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 78 | define void @store_i64_i1(i1* %p, i64 %v) { |
| 79 | %t = trunc i64 %v to i1 |
| 80 | store i1 %t, i1* %p |
| 81 | ret void |
| 82 | } |