Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e51c058ecc2d06b329e176a78487144828a7ae51 / . / llvm / test / CodeGen / WebAssembly / load-ext.ll
blob: a66534d9e985e55e6cb644a06e982a6884742d1b [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 extending loads 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: sext_i8_i32:
9; CHECK: load_s_i8_i32 @1{{$}}
10; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]11define i32 @sext_i8_i32(i8 *%p) {
12 %v = load i8, i8* %p
13 %e = sext i8 %v to i32
14 ret i32 %e
15}
16
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]17; CHECK-LABEL: zext_i8_i32:
18; CHECK: load_u_i8_i32 @1{{$}}
19; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]20define i32 @zext_i8_i32(i8 *%p) {
21 %v = load i8, i8* %p
22 %e = zext i8 %v to i32
23 ret i32 %e
24}
25
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]26; CHECK-LABEL: sext_i16_i32:
27; CHECK: load_s_i16_i32 @1{{$}}
28; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]29define i32 @sext_i16_i32(i16 *%p) {
30 %v = load i16, i16* %p
31 %e = sext i16 %v to i32
32 ret i32 %e
33}
34
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]35; CHECK-LABEL: zext_i16_i32:
36; CHECK: load_u_i16_i32 @1{{$}}
37; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]38define i32 @zext_i16_i32(i16 *%p) {
39 %v = load i16, i16* %p
40 %e = zext i16 %v to i32
41 ret i32 %e
42}
43
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]44; CHECK-LABEL: sext_i8_i64:
45; CHECK: load_s_i8_i64 @1{{$}}
46; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]47define i64 @sext_i8_i64(i8 *%p) {
48 %v = load i8, i8* %p
49 %e = sext i8 %v to i64
50 ret i64 %e
51}
52
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]53; CHECK-LABEL: zext_i8_i64:
54; CHECK: load_u_i8_i64 @1{{$}}
55; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]56define i64 @zext_i8_i64(i8 *%p) {
57 %v = load i8, i8* %p
58 %e = zext i8 %v to i64
59 ret i64 %e
60}
61
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]62; CHECK-LABEL: sext_i16_i64:
63; CHECK: load_s_i16_i64 @1{{$}}
64; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]65define i64 @sext_i16_i64(i16 *%p) {
66 %v = load i16, i16* %p
67 %e = sext i16 %v to i64
68 ret i64 %e
69}
70
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]71; CHECK-LABEL: zext_i16_i64:
72; CHECK: load_u_i16_i64 @1{{$}}
73; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]74define i64 @zext_i16_i64(i16 *%p) {
75 %v = load i16, i16* %p
76 %e = zext i16 %v to i64
77 ret i64 %e
78}
79
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]80; CHECK-LABEL: sext_i32_i64:
81; CHECK: load_s_i32_i64 @1{{$}}
82; CHECK-NEXT: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]83define i64 @sext_i32_i64(i32 *%p) {
84 %v = load i32, i32* %p
85 %e = sext i32 %v to i64
86 ret i64 %e
87}
88
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame^]89; CHECK-LABEL: zext_i32_i64:
90; CHECK: load_u_i32_i64 @1{{$}}
91; CHECK: set_local @2, pop{{$}}
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]92define i64 @zext_i32_i64(i32 *%p) {
93 %v = load i32, i32* %p
94 %e = zext i32 %v to i64
95 ret i64 %e
96}