1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that extending loads are assembled properly.
5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 ; CHECK-LABEL: sext_i8_i32:
9 ; CHECK: load_s_i8_i32 @1{{$}}
10 ; CHECK-NEXT: set_local @2, pop{{$}}
11 define i32 @sext_i8_i32(i8 *%p) {
13 %e = sext i8 %v to i32
17 ; CHECK-LABEL: zext_i8_i32:
18 ; CHECK: load_u_i8_i32 @1{{$}}
19 ; CHECK-NEXT: set_local @2, pop{{$}}
20 define i32 @zext_i8_i32(i8 *%p) {
22 %e = zext i8 %v to i32
26 ; CHECK-LABEL: sext_i16_i32:
27 ; CHECK: load_s_i16_i32 @1{{$}}
28 ; CHECK-NEXT: set_local @2, pop{{$}}
29 define i32 @sext_i16_i32(i16 *%p) {
30 %v = load i16, i16* %p
31 %e = sext i16 %v to i32
35 ; CHECK-LABEL: zext_i16_i32:
36 ; CHECK: load_u_i16_i32 @1{{$}}
37 ; CHECK-NEXT: set_local @2, pop{{$}}
38 define i32 @zext_i16_i32(i16 *%p) {
39 %v = load i16, i16* %p
40 %e = zext i16 %v to i32
44 ; CHECK-LABEL: sext_i8_i64:
45 ; CHECK: load_s_i8_i64 @1{{$}}
46 ; CHECK-NEXT: set_local @2, pop{{$}}
47 define i64 @sext_i8_i64(i8 *%p) {
49 %e = sext i8 %v to i64
53 ; CHECK-LABEL: zext_i8_i64:
54 ; CHECK: load_u_i8_i64 @1{{$}}
55 ; CHECK-NEXT: set_local @2, pop{{$}}
56 define i64 @zext_i8_i64(i8 *%p) {
58 %e = zext i8 %v to i64
62 ; CHECK-LABEL: sext_i16_i64:
63 ; CHECK: load_s_i16_i64 @1{{$}}
64 ; CHECK-NEXT: set_local @2, pop{{$}}
65 define i64 @sext_i16_i64(i16 *%p) {
66 %v = load i16, i16* %p
67 %e = sext i16 %v to i64
71 ; CHECK-LABEL: zext_i16_i64:
72 ; CHECK: load_u_i16_i64 @1{{$}}
73 ; CHECK-NEXT: set_local @2, pop{{$}}
74 define i64 @zext_i16_i64(i16 *%p) {
75 %v = load i16, i16* %p
76 %e = zext i16 %v to i64
80 ; CHECK-LABEL: sext_i32_i64:
81 ; CHECK: load_s_i32_i64 @1{{$}}
82 ; CHECK-NEXT: set_local @2, pop{{$}}
83 define i64 @sext_i32_i64(i32 *%p) {
84 %v = load i32, i32* %p
85 %e = sext i32 %v to i64
89 ; CHECK-LABEL: zext_i32_i64:
90 ; CHECK: load_u_i32_i64 @1{{$}}
91 ; CHECK: set_local @2, pop{{$}}
92 define i64 @zext_i32_i64(i32 *%p) {
93 %v = load i32, i32* %p
94 %e = zext i32 %v to i64