Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / b7c2400fa744c032dc96a2e180f24425911bc794 / . / llvm / test / CodeGen / WebAssembly / load-store-i1.ll
blob: 2a2318fde10ea126954f0adcff6e63d0373deab2 [file] [log] [blame]
Dan Gohmanb7c24002016-05-21 00:21:56 +0000[diff] [blame^]1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt | FileCheck %s
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]2
3; Test that i1 extending loads and truncating stores are assembled properly.
4
Dan Gohman0c6f5ac2016-01-07 03:19:23 +0000[diff] [blame]5target datalayout = "e-m: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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]9; CHECK: i32.load8_u $push[[NUM0:[0-9]+]]=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]10; CHECK-NEXT: return $pop[[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 Gohmanb6fd39a2016-01-19 16:59:23 +0000[diff] [blame]18; CHECK: i32.load8_u $push[[NUM0:[0-9]+]]=, 0($0){{$}}
19; CHECK-NEXT: i32.const $push[[NUM1:[0-9]+]]=, 31{{$}}
20; CHECK-NEXT: shl $push[[NUM2:[0-9]+]]=, $pop[[NUM0]], $pop[[NUM1]]{{$}}
21; CHECK-NEXT: i32.const $push[[NUM4:[0-9]+]]=, 31{{$}}
22; CHECK-NEXT: shr_s $push[[NUM3:[0-9]+]]=, $pop[[NUM2]], $pop[[NUM4]]{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]23; CHECK-NEXT: return $pop[[NUM3]]{{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +0000[diff] [blame]24define i32 @load_s_i1_i32(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]25 %v = load i1, i1* %p
26 %e = sext i1 %v to i32
27 ret i32 %e
28}
29
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]30; CHECK-LABEL: load_u_i1_i64:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]31; CHECK: i64.load8_u $push[[NUM0:[0-9]+]]=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]32; CHECK-NEXT: return $pop[[NUM0]]{{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +0000[diff] [blame]33define i64 @load_u_i1_i64(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]34 %v = load i1, i1* %p
35 %e = zext i1 %v to i64
36 ret i64 %e
37}
38
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]39; CHECK-LABEL: load_s_i1_i64:
Dan Gohmanb6fd39a2016-01-19 16:59:23 +0000[diff] [blame]40; CHECK: i64.load8_u $push[[NUM0:[0-9]+]]=, 0($0){{$}}
41; CHECK-NEXT: i64.const $push[[NUM1:[0-9]+]]=, 63{{$}}
42; CHECK-NEXT: shl $push[[NUM2:[0-9]+]]=, $pop[[NUM0]], $pop[[NUM1]]{{$}}
43; CHECK-NEXT: i64.const $push[[NUM4:[0-9]+]]=, 63{{$}}
44; CHECK-NEXT: shr_s $push[[NUM3:[0-9]+]]=, $pop[[NUM2]], $pop[[NUM4]]{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]45; CHECK-NEXT: return $pop[[NUM3]]{{$}}
Dan Gohmand0bf9812015-09-26 01:09:44 +0000[diff] [blame]46define i64 @load_s_i1_i64(i1* %p) {
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]47 %v = load i1, i1* %p
48 %e = sext i1 %v to i64
49 ret i64 %e
50}
51
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]52; CHECK-LABEL: store_i32_i1:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame]53; CHECK: i32.const $push[[NUM0:[0-9]+]]=, 1{{$}}
54; CHECK-NEXT: i32.and $push[[NUM1:[0-9]+]]=, $1, $pop[[NUM0]]{{$}}
Dan Gohman71008092016-05-17 23:19:03 +0000[diff] [blame]55; CHECK-NEXT: i32.store8 $drop=, 0($0), $pop[[NUM1]]{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]56define void @store_i32_i1(i1* %p, i32 %v) {
57 %t = trunc i32 %v to i1
58 store i1 %t, i1* %p
59 ret void
60}
61
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]62; CHECK-LABEL: store_i64_i1:
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame]63; CHECK: i64.const $push[[NUM0:[0-9]+]]=, 1{{$}}
64; CHECK-NEXT: i64.and $push[[NUM1:[0-9]+]]=, $1, $pop[[NUM0]]{{$}}
Dan Gohman71008092016-05-17 23:19:03 +0000[diff] [blame]65; CHECK-NEXT: i64.store8 $drop=, 0($0), $pop[[NUM1]]{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]66define void @store_i64_i1(i1* %p, i64 %v) {
67 %t = trunc i64 %v to i1
68 store i1 %t, i1* %p
69 ret void
70}