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-v128:8:128-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 ; CHECK-LABEL: (func $load_unsigned_i1_i32
9 ; CHECK: (setlocal @1 (load_zx_i8_i32 @0))
10 ; CHECK-NEXT: (return @1)
11 define i32 @load_unsigned_i1_i32(i1* %p) {
13 %e = zext i1 %v to i32
17 ; CHECK-LABEL: (func $load_signed_i1_i32
18 ; CHECK: (setlocal @1 (load_zx_i8_i32 @0))
19 ; CHECK-NEXT: (setlocal @2 (immediate 31))
20 ; CHECK-NEXT: (setlocal @3 (shl @1 @2))
21 ; CHECK-NEXT: (setlocal @4 (shr_s @3 @2))
22 ; CHECK-NEXT: (return @4)
23 define i32 @load_signed_i1_i32(i1* %p) {
25 %e = sext i1 %v to i32
29 ; CHECK-LABEL: (func $load_unsigned_i1_i64
30 ; CHECK: (setlocal @1 (load_zx_i8_i64 @0))
31 ; CHECK-NEXT: (return @1)
32 define i64 @load_unsigned_i1_i64(i1* %p) {
34 %e = zext i1 %v to i64
38 ; CHECK-LABEL: (func $load_signed_i1_i64
39 ; CHECK: (setlocal @1 (load_zx_i8_i64 @0))
40 ; CHECK-NEXT: (setlocal @2 (immediate 63))
41 ; CHECK-NEXT: (setlocal @3 (shl @1 @2))
42 ; CHECK-NEXT: (setlocal @4 (shr_s @3 @2))
43 ; CHECK-NEXT: (return @4)
44 define i64 @load_signed_i1_i64(i1* %p) {
46 %e = sext i1 %v to i64
50 ; CHECK-LABEL: (func $store_i32_i1
51 ; CHECK: (setlocal @2 (immediate 1))
52 ; CHECK-NEXT: (setlocal @3 (and @1 @2))
53 ; CHECK-NEXT: (store_i8 @0 @3)
54 define void @store_i32_i1(i1* %p, i32 %v) {
55 %t = trunc i32 %v to i1
60 ; CHECK-LABEL: (func $store_i64_i1
61 ; CHECK: (setlocal @2 (immediate 1))
62 ; CHECK-NEXT: (setlocal @3 (and @1 @2))
63 ; CHECK-NEXT: (store_i8 @0 @3)
64 define void @store_i64_i1(i1* %p, i64 %v) {
65 %t = trunc i64 %v to i1