1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that i1 extending loads and truncating stores are assembled properly.
5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 ; CHECK-LABEL: load_u_i1_i32:
9 ; CHECK: i32.load8_u $push, (get_local 0){{$}}
10 ; CHECK-NEXT: set_local 1, $pop{{$}}
11 ; CHECK-NEXT: return (get_local 1){{$}}
12 define i32 @load_u_i1_i32(i1* %p) {
14 %e = zext i1 %v to i32
18 ; CHECK-LABEL: load_s_i1_i32:
19 ; CHECK: i32.load8_u $push, (get_local 0){{$}}
20 ; CHECK-NEXT: set_local 1, $pop{{$}}
21 ; CHECK-NEXT: i32.const $push, 31{{$}}
22 ; CHECK-NEXT: set_local 2, $pop{{$}}
23 ; CHECK-NEXT: shl $push, (get_local 1), (get_local 2){{$}}
24 ; CHECK-NEXT: set_local 3, $pop{{$}}
25 ; CHECK-NEXT: shr_s $push, (get_local 3), (get_local 2){{$}}
26 ; CHECK-NEXT: set_local 4, $pop{{$}}
27 ; CHECK-NEXT: return (get_local 4){{$}}
28 define i32 @load_s_i1_i32(i1* %p) {
30 %e = sext i1 %v to i32
34 ; CHECK-LABEL: load_u_i1_i64:
35 ; CHECK: i64.load8_u $push, (get_local 0){{$}}
36 ; CHECK-NEXT: set_local 1, $pop{{$}}
37 ; CHECK-NEXT: return (get_local 1){{$}}
38 define i64 @load_u_i1_i64(i1* %p) {
40 %e = zext i1 %v to i64
44 ; CHECK-LABEL: load_s_i1_i64:
45 ; CHECK: i64.load8_u $push, (get_local 0){{$}}
46 ; CHECK-NEXT: set_local 1, $pop{{$}}
47 ; CHECK-NEXT: i64.const $push, 63{{$}}
48 ; CHECK-NEXT: set_local 2, $pop{{$}}
49 ; CHECK-NEXT: shl $push, (get_local 1), (get_local 2){{$}}
50 ; CHECK-NEXT: set_local 3, $pop{{$}}
51 ; CHECK-NEXT: shr_s $push, (get_local 3), (get_local 2){{$}}
52 ; CHECK-NEXT: set_local 4, $pop{{$}}
53 ; CHECK-NEXT: return (get_local 4){{$}}
54 define i64 @load_s_i1_i64(i1* %p) {
56 %e = sext i1 %v to i64
60 ; CHECK-LABEL: store_i32_i1:
61 ; CHECK: i32.const $push, 1{{$}}
62 ; CHECK-NEXT: set_local 2, $pop{{$}}
63 ; CHECK-NEXT: i32.and $push, (get_local 1), (get_local 2){{$}}
64 ; CHECK-NEXT: set_local 3, $pop{{$}}
65 ; CHECK-NEXT: i32.store8 (get_local 0), (get_local 3){{$}}
66 define void @store_i32_i1(i1* %p, i32 %v) {
67 %t = trunc i32 %v to i1
72 ; CHECK-LABEL: store_i64_i1:
73 ; CHECK: i64.const $push, 1{{$}}
74 ; CHECK-NEXT: set_local 2, $pop{{$}}
75 ; CHECK-NEXT: i64.and $push, (get_local 1), (get_local 2){{$}}
76 ; CHECK-NEXT: set_local 3, $pop{{$}}
77 ; CHECK-NEXT: i64.store8 (get_local 0), (get_local 3){{$}}
78 define void @store_i64_i1(i1* %p, i64 %v) {
79 %t = trunc i64 %v to i1