Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 2fc5a786beaba1fbac1de65d78889d72b667f2d3 / . / llvm / test / CodeGen / WebAssembly / load-ext.ll
blob: 5ff40a5778888bd029b3e6e5a21e02eca1f2b040 [file] [log] [blame]
Wouter van Oortmerssen8a9cb242018-08-27 15:45:51 +0000[diff] [blame]1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]2
3; Test that extending loads are assembled properly.
4
Dan Gohman0c6f5ac2016-01-07 03:19:23 +0000[diff] [blame]5target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
Sam Clegga5908002018-05-10 17:49:11 +0000[diff] [blame]6target triple = "wasm32-unknown-unknown"
JF Bastien73ff6af2015-08-31 22:24:11 +0000[diff] [blame]7
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]8; CHECK-LABEL: sext_i8_i32:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]9; CHECK: i32.load8_s $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]18; CHECK: i32.load8_u $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]27; CHECK: i32.load16_s $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]36; CHECK: i32.load16_u $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]45; CHECK: i64.load8_s $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]54; CHECK: i64.load8_u $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]63; CHECK: i64.load16_s $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]72; CHECK: i64.load16_u $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]81; CHECK: i64.load32_s $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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:
Derek Schuff9d779522015-12-05 00:26:39 +0000[diff] [blame]90; CHECK: i64.load32_u $push0=, 0($0){{$}}
Dan Gohman81719f82015-11-25 16:55:01 +0000[diff] [blame]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}