Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 81719f8555464ed6dd12ddc1d122a2dee7755d0f / . / llvm / test / CodeGen / WebAssembly / load-ext.ll
blob: bdccfff1d161af0b5e988f6b979d9e3938b4bf4d [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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]9; CHECK: i32.load8_s $push0=, $0{{$}}
10; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]18; CHECK: i32.load8_u $push0=, $0{{$}}
19; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]27; CHECK: i32.load16_s $push0=, $0{{$}}
28; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]36; CHECK: i32.load16_u $push0=, $0{{$}}
37; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]45; CHECK: i64.load8_s $push0=, $0{{$}}
46; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]54; CHECK: i64.load8_u $push0=, $0{{$}}
55; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]63; CHECK: i64.load16_s $push0=, $0{{$}}
64; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]72; CHECK: i64.load16_u $push0=, $0{{$}}
73; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]81; CHECK: i64.load32_s $push0=, $0{{$}}
82; CHECK-NEXT: return $pop0{{$}}
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:
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame^]90; CHECK: i64.load32_u $push0=, $0{{$}}
91; CHECK: return $pop0{{$}}
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}