blob: cb89e2c1772e7f6d69b483f9e499739a7c9351e4 [file] [log] [blame]
JF Bastien73ff6af2015-08-31 22:24:11 +00001; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that i1 extending loads and truncating stores are assembled properly.
4
Dan Gohman5e066842015-09-09 20:54:31 +00005target datalayout = "e-p:32:32-i64:64-n32:64-S128"
JF Bastien73ff6af2015-08-31 22:24:11 +00006target triple = "wasm32-unknown-unknown"
7
Dan Gohmane51c0582015-10-06 00:27:55 +00008; CHECK-LABEL: load_u_i1_i32:
Hans Wennborg7384a2d2015-11-12 14:37:56 +00009; CHECK: i32.load8_u push, (get_local 1){{$}}
10; CHECK-NEXT: set_local 2, pop{{$}}
11; CHECK-NEXT: return (get_local 2){{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +000012define i32 @load_u_i1_i32(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +000013 %v = load i1, i1* %p
14 %e = zext i1 %v to i32
15 ret i32 %e
16}
17
Dan Gohmane51c0582015-10-06 00:27:55 +000018; CHECK-LABEL: load_s_i1_i32:
Hans Wennborg7384a2d2015-11-12 14:37:56 +000019; 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 Gohmand0bf9812015-09-26 01:09:44 +000028define i32 @load_s_i1_i32(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +000029 %v = load i1, i1* %p
30 %e = sext i1 %v to i32
31 ret i32 %e
32}
33
Dan Gohmane51c0582015-10-06 00:27:55 +000034; CHECK-LABEL: load_u_i1_i64:
Hans Wennborg7384a2d2015-11-12 14:37:56 +000035; CHECK: i64.load8_u push, (get_local 1){{$}}
36; CHECK-NEXT: set_local 2, pop{{$}}
37; CHECK-NEXT: return (get_local 2){{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +000038define i64 @load_u_i1_i64(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +000039 %v = load i1, i1* %p
40 %e = zext i1 %v to i64
41 ret i64 %e
42}
43
Dan Gohmane51c0582015-10-06 00:27:55 +000044; CHECK-LABEL: load_s_i1_i64:
Hans Wennborg7384a2d2015-11-12 14:37:56 +000045; 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 Gohmand0bf9812015-09-26 01:09:44 +000054define i64 @load_s_i1_i64(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +000055 %v = load i1, i1* %p
56 %e = sext i1 %v to i64
57 ret i64 %e
58}
59
Dan Gohmane51c0582015-10-06 00:27:55 +000060; CHECK-LABEL: store_i32_i1:
Hans Wennborg7384a2d2015-11-12 14:37:56 +000061; 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 Bastien73ff6af2015-08-31 22:24:11 +000066define 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 Gohmane51c0582015-10-06 00:27:55 +000072; CHECK-LABEL: store_i64_i1:
Hans Wennborg7384a2d2015-11-12 14:37:56 +000073; 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 Bastien73ff6af2015-08-31 22:24:11 +000078define 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}