Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 700515fa929495428201f9d19198dd4bab4ec35e / . / llvm / test / CodeGen / WebAssembly / load-store-i1.ll
blob: baaff019a5e6e2f6de776be45e153f1c15a2c02e [file] [log] [blame]
JF Bastien73ff6af2015-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 Gohman5e066842015-09-09 20:54:31 +0000[diff] [blame]5target datalayout = "e-p:32:32-i64:64-n32:64-S128"
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]6target triple = "wasm32-unknown-unknown"
7
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]8; CHECK-LABEL: load_u_i1_i32:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame^]9; CHECK: i32.load8_u $[[NUM0:[0-9]+]]=, $0{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]10; CHECK-NEXT: return $[[NUM0]]{{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +0000[diff] [blame]11define i32 @load_u_i1_i32(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]12 %v = load i1, i1* %p
13 %e = zext i1 %v to i32
14 ret i32 %e
15}
16
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]17; CHECK-LABEL: load_s_i1_i32:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame^]18; CHECK: i32.load8_u $[[NUM0:[0-9]+]]=, $0{{$}}
19; CHECK-NEXT: i32.const $[[NUM1:[0-9]+]]=, 31{{$}}
20; CHECK-NEXT: shl $push[[NUM2:[0-9]+]]=, $[[NUM0]], $[[NUM1]]{{$}}
21; CHECK-NEXT: shr_s $push[[NUM3:[0-9]+]]=, $pop[[NUM2]], $[[NUM1]]{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]22; CHECK-NEXT: return $pop[[NUM3]]{{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +0000[diff] [blame]23define i32 @load_s_i1_i32(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]24 %v = load i1, i1* %p
25 %e = sext i1 %v to i32
26 ret i32 %e
27}
28
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]29; CHECK-LABEL: load_u_i1_i64:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame^]30; CHECK: i64.load8_u $[[NUM0:[0-9]+]]=, $0{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]31; CHECK-NEXT: return $[[NUM0]]{{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +0000[diff] [blame]32define i64 @load_u_i1_i64(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]33 %v = load i1, i1* %p
34 %e = zext i1 %v to i64
35 ret i64 %e
36}
37
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]38; CHECK-LABEL: load_s_i1_i64:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame^]39; CHECK: i64.load8_u $[[NUM0:[0-9]+]]=, $0{{$}}
40; CHECK-NEXT: i64.const $[[NUM1:[0-9]+]]=, 63{{$}}
41; CHECK-NEXT: shl $push[[NUM2:[0-9]+]]=, $[[NUM0]], $[[NUM1]]{{$}}
42; CHECK-NEXT: shr_s $push[[NUM3:[0-9]+]]=, $pop[[NUM2]], $[[NUM1]]{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]43; CHECK-NEXT: return $pop[[NUM3]]{{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +0000[diff] [blame]44define i64 @load_s_i1_i64(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]45 %v = load i1, i1* %p
46 %e = sext i1 %v to i64
47 ret i64 %e
48}
49
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]50; CHECK-LABEL: store_i32_i1:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame^]51; CHECK: i32.const $push[[NUM0:[0-9]+]]=, 1{{$}}
52; CHECK-NEXT: i32.and $push[[NUM1:[0-9]+]]=, $1, $pop[[NUM0]]{{$}}
53; CHECK-NEXT: i32.store8 $discard=, $0, $pop[[NUM1]]{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]54define void @store_i32_i1(i1* %p, i32 %v) {
55 %t = trunc i32 %v to i1
56 store i1 %t, i1* %p
57 ret void
58}
59
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]60; CHECK-LABEL: store_i64_i1:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame^]61; CHECK: i64.const $push[[NUM0:[0-9]+]]=, 1{{$}}
62; CHECK-NEXT: i64.and $push[[NUM1:[0-9]+]]=, $1, $pop[[NUM0]]{{$}}
63; CHECK-NEXT: i64.store8 $discard=, $0, $pop[[NUM1]]{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]64define void @store_i64_i1(i1* %p, i64 %v) {
65 %t = trunc i64 %v to i1
66 store i1 %t, i1* %p
67 ret void
68}