Skip to content

[WebAssembly] Add -i128:128 to the datalayout string. #119204

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Dec 10, 2024
Merged

[WebAssembly] Add -i128:128 to the datalayout string. #119204

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
dd2939a
[WebAssembly] Add `-i128:128` to the `datalayout` string.
sunfishcode Dec 9, 2024
b4b4a9f
clang-format
sunfishcode Dec 10, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 10 additions & 8 deletions clang/lib/Basic/Targets/WebAssembly.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -183,11 +183,12 @@ class LLVM_LIBRARY_VISIBILITY WebAssembly32TargetInfo
const TargetOptions &Opts)
: WebAssemblyTargetInfo(T, Opts) {
if (T.isOSEmscripten())
resetDataLayout("e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-f128:64-n32:64-"
"S128-ni:1:10:20");
else
resetDataLayout(
"e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20");
"e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-i128:128-f128:64-n32:64-"
"S128-ni:1:10:20");
else
resetDataLayout("e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-i128:128-n32:64-"
"S128-ni:1:10:20");
Comment on lines 186 to +191
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

while a preexisting concern and thus not something that should be held against this PR, it seems slightly unfortunate that so many LLVM targets use resetDataLayout. It's not that I think that overriding the string is a good idea. Rather, ignoring it makes the ability to set a data-layout string in an LLVM module merely an attractive nuisance rather than something with actual utility.

I was going to try to use Compiler Explorer's pass-level diffing view of the LLVM pipeline to see where the fold that @dschuff noticed was introduced, but that uses a precompiled LLVM, so it won't have this change. The easiest way to introduce the modified data-layout to a precompiled LLVM would be a module-level string, but that seems to do nothing.

I could bother to rebuild LLVM and do things in a much more manual way, of course, but then what is the ability to pass the string in the module even for?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The datalayout string exists for the benefit of IR consumers that don't otherwise have knowledge of all the targets, not for users to experiment with different ABIs. I don't say this to defend the design, only to explain what it is.

}

protected:
Expand All @@ -207,11 +208,12 @@ class LLVM_LIBRARY_VISIBILITY WebAssembly64TargetInfo
PtrDiffType = SignedLong;
IntPtrType = SignedLong;
if (T.isOSEmscripten())
resetDataLayout("e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-f128:64-n32:64-"
"S128-ni:1:10:20");
else
resetDataLayout(
"e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20");
"e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-i128:128-f128:64-n32:64-"
"S128-ni:1:10:20");
else
resetDataLayout("e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-i128:128-n32:64-"
"S128-ni:1:10:20");
}

protected:
Expand Down
4 changes: 2 additions & 2 deletions clang/test/CodeGen/target-data.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -108,11 +108,11 @@

// RUN: %clang_cc1 -triple wasm32-unknown-unknown -o - -emit-llvm %s | \
// RUN: FileCheck %s -check-prefix=WEBASSEMBLY32
// WEBASSEMBLY32: target datalayout = "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20"
// WEBASSEMBLY32: target datalayout = "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-i128:128-n32:64-S128-ni:1:10:20"

// RUN: %clang_cc1 -triple wasm64-unknown-unknown -o - -emit-llvm %s | \
// RUN: FileCheck %s -check-prefix=WEBASSEMBLY64
// WEBASSEMBLY64: target datalayout = "e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20"
// WEBASSEMBLY64: target datalayout = "e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-i128:128-n32:64-S128-ni:1:10:20"

// RUN: %clang_cc1 -triple lanai-unknown-unknown -o - -emit-llvm %s | \
// RUN: FileCheck %s -check-prefix=LANAI
Expand Down
3 changes: 2 additions & 1 deletion llvm/lib/IR/AutoUpgrade.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5559,7 +5559,8 @@ std::string llvm::UpgradeDataLayoutString(StringRef DL, StringRef TT) {
return Res;
}

if (T.isSPARC() || (T.isMIPS64() && !DL.contains("m:m")) || T.isPPC64()) {
if (T.isSPARC() || (T.isMIPS64() && !DL.contains("m:m")) || T.isPPC64() ||
T.isWasm()) {
// Mips64 with o32 ABI did not add "-i128:128".
// Add "-i128:128"
std::string I64 = "-i64:64";
Expand Down
8 changes: 4 additions & 4 deletions llvm/lib/Target/WebAssembly/WebAssemblyTargetMachine.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -118,13 +118,13 @@ WebAssemblyTargetMachine::WebAssemblyTargetMachine(
T,
TT.isArch64Bit()
? (TT.isOSEmscripten() ? "e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-"
"f128:64-n32:64-S128-ni:1:10:20"
"i128:128-f128:64-n32:64-S128-ni:1:10:20"
: "e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-"
"n32:64-S128-ni:1:10:20")
"i128:128-n32:64-S128-ni:1:10:20")
: (TT.isOSEmscripten() ? "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-"
"f128:64-n32:64-S128-ni:1:10:20"
"i128:128-f128:64-n32:64-S128-ni:1:10:20"
: "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-"
"n32:64-S128-ni:1:10:20"),
"i128:128-n32:64-S128-ni:1:10:20"),
TT, CPU, FS, Options, getEffectiveRelocModel(RM, TT),
getEffectiveCodeModel(CM, CodeModel::Large), OL),
TLOF(new WebAssemblyTargetObjectFile()),
Expand Down
26 changes: 26 additions & 0 deletions llvm/test/CodeGen/WebAssembly/data-align.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
; RUN: llc < %s -march=wasm32 | FileCheck %s
; RUN: llc < %s -march=wasm64 | FileCheck %s

; CHECK: .Li8:
; CHECK-DAG: .size .Li8, 1
@i8 = private constant i8 42

; CHECK: .p2align 1
; CHECK-NEXT: .Li16:
; CHECK-DAG: .size .Li16, 2
@i16 = private constant i16 42

; CHECK: .p2align 2
; CHECK-NEXT: .Li32:
; CHECK-DAG: .size .Li32, 4
@i32 = private constant i32 42

; CHECK: .p2align 3
; CHECK-NEXT: .Li64:
; CHECK-DAG: .size .Li64, 8
@i64 = private constant i64 42

; CHECK: .p2align 4
; CHECK-NEXT: .Li128:
; CHECK-DAG: .size .Li128, 16
@i128 = private constant i128 42
202 changes: 92 additions & 110 deletions llvm/test/CodeGen/WebAssembly/multi-return.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,18 +13,16 @@ define i64 @test0() {
; CHECK: .functype test0 () -> (i64)
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push0=, __stack_pointer
; CHECK-NEXT: i32.const $push1=, 80
; CHECK-NEXT: i32.sub $push7=, $pop0, $pop1
; CHECK-NEXT: local.tee $push6=, $1=, $pop7
; CHECK-NEXT: global.set __stack_pointer, $pop6
; CHECK-NEXT: i32.const $push4=, 8
; CHECK-NEXT: i32.add $push5=, $1, $pop4
; CHECK-NEXT: call return_multi_multi, $pop5
; CHECK-NEXT: i64.load $0=, 8($1)
; CHECK-NEXT: i32.const $push2=, 80
; CHECK-NEXT: i32.const $push1=, 96
; CHECK-NEXT: i32.sub $push5=, $pop0, $pop1
; CHECK-NEXT: local.tee $push4=, $1=, $pop5
; CHECK-NEXT: global.set __stack_pointer, $pop4
; CHECK-NEXT: call return_multi_multi, $1
; CHECK-NEXT: i64.load $0=, 0($1)
; CHECK-NEXT: i32.const $push2=, 96
; CHECK-NEXT: i32.add $push3=, $1, $pop2
; CHECK-NEXT: global.set __stack_pointer, $pop3
; CHECK-NEXT: local.copy $push8=, $0
; CHECK-NEXT: local.copy $push6=, $0
; CHECK-NEXT: # fallthrough-return
%t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
%t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
Expand All @@ -36,18 +34,16 @@ define i128 @test1() {
; CHECK: .functype test1 (i32) -> ()
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push1=, __stack_pointer
; CHECK-NEXT: i32.const $push2=, 80
; CHECK-NEXT: i32.sub $push8=, $pop1, $pop2
; CHECK-NEXT: local.tee $push7=, $2=, $pop8
; CHECK-NEXT: global.set __stack_pointer, $pop7
; CHECK-NEXT: i32.const $push5=, 8
; CHECK-NEXT: i32.add $push6=, $2, $pop5
; CHECK-NEXT: call return_multi_multi, $pop6
; CHECK-NEXT: i64.load $1=, 16($2)
; CHECK-NEXT: i64.load $push0=, 24($2)
; CHECK-NEXT: i64.store 8($0), $pop0
; CHECK-NEXT: i64.store 0($0), $1
; CHECK-NEXT: i32.const $push3=, 80
; CHECK-NEXT: i32.const $push2=, 96
; CHECK-NEXT: i32.sub $push6=, $pop1, $pop2
; CHECK-NEXT: local.tee $push5=, $2=, $pop6
; CHECK-NEXT: global.set __stack_pointer, $pop5
; CHECK-NEXT: call return_multi_multi, $2
; CHECK-NEXT: i64.load $1=, 24($2)
; CHECK-NEXT: i64.load $push0=, 16($2)
; CHECK-NEXT: i64.store 0($0), $pop0
; CHECK-NEXT: i64.store 8($0), $1
; CHECK-NEXT: i32.const $push3=, 96
; CHECK-NEXT: i32.add $push4=, $2, $pop3
; CHECK-NEXT: global.set __stack_pointer, $pop4
; CHECK-NEXT: # fallthrough-return
Expand All @@ -61,13 +57,11 @@ define i192 @test2() {
; CHECK: .functype test2 (i32) -> ()
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push3=, __stack_pointer
; CHECK-NEXT: i32.const $push4=, 80
; CHECK-NEXT: i32.sub $push10=, $pop3, $pop4
; CHECK-NEXT: local.tee $push9=, $3=, $pop10
; CHECK-NEXT: global.set __stack_pointer, $pop9
; CHECK-NEXT: i32.const $push7=, 8
; CHECK-NEXT: i32.add $push8=, $3, $pop7
; CHECK-NEXT: call return_multi_multi, $pop8
; CHECK-NEXT: i32.const $push4=, 96
; CHECK-NEXT: i32.sub $push8=, $pop3, $pop4
; CHECK-NEXT: local.tee $push7=, $3=, $pop8
; CHECK-NEXT: global.set __stack_pointer, $pop7
; CHECK-NEXT: call return_multi_multi, $3
; CHECK-NEXT: i64.load $1=, 40($3)
; CHECK-NEXT: i64.load $2=, 32($3)
; CHECK-NEXT: i32.const $push0=, 48
Expand All @@ -76,7 +70,7 @@ define i192 @test2() {
; CHECK-NEXT: i64.store 16($0), $pop2
; CHECK-NEXT: i64.store 0($0), $2
; CHECK-NEXT: i64.store 8($0), $1
; CHECK-NEXT: i32.const $push5=, 80
; CHECK-NEXT: i32.const $push5=, 96
; CHECK-NEXT: i32.add $push6=, $3, $pop5
; CHECK-NEXT: global.set __stack_pointer, $pop6
; CHECK-NEXT: # fallthrough-return
Expand All @@ -90,18 +84,16 @@ define i128 @test3() {
; CHECK: .functype test3 (i32) -> ()
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push1=, __stack_pointer
; CHECK-NEXT: i32.const $push2=, 80
; CHECK-NEXT: i32.sub $push8=, $pop1, $pop2
; CHECK-NEXT: local.tee $push7=, $2=, $pop8
; CHECK-NEXT: global.set __stack_pointer, $pop7
; CHECK-NEXT: i32.const $push5=, 8
; CHECK-NEXT: i32.add $push6=, $2, $pop5
; CHECK-NEXT: call return_multi_multi, $pop6
; CHECK-NEXT: i64.load $1=, 56($2)
; CHECK-NEXT: i32.const $push2=, 96
; CHECK-NEXT: i32.sub $push6=, $pop1, $pop2
; CHECK-NEXT: local.tee $push5=, $2=, $pop6
; CHECK-NEXT: global.set __stack_pointer, $pop5
; CHECK-NEXT: call return_multi_multi, $2
; CHECK-NEXT: i64.load $1=, 72($2)
; CHECK-NEXT: i64.load $push0=, 64($2)
; CHECK-NEXT: i64.store 8($0), $pop0
; CHECK-NEXT: i64.store 0($0), $1
; CHECK-NEXT: i32.const $push3=, 80
; CHECK-NEXT: i64.store 0($0), $pop0
; CHECK-NEXT: i64.store 8($0), $1
; CHECK-NEXT: i32.const $push3=, 96
; CHECK-NEXT: i32.add $push4=, $2, $pop3
; CHECK-NEXT: global.set __stack_pointer, $pop4
; CHECK-NEXT: # fallthrough-return
Expand All @@ -115,18 +107,16 @@ define i64 @test4() {
; CHECK: .functype test4 () -> (i64)
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push0=, __stack_pointer
; CHECK-NEXT: i32.const $push1=, 80
; CHECK-NEXT: i32.sub $push7=, $pop0, $pop1
; CHECK-NEXT: local.tee $push6=, $1=, $pop7
; CHECK-NEXT: global.set __stack_pointer, $pop6
; CHECK-NEXT: i32.const $push4=, 8
; CHECK-NEXT: i32.add $push5=, $1, $pop4
; CHECK-NEXT: call return_multi_multi, $pop5
; CHECK-NEXT: i64.load $0=, 72($1)
; CHECK-NEXT: i32.const $push2=, 80
; CHECK-NEXT: i32.const $push1=, 96
; CHECK-NEXT: i32.sub $push5=, $pop0, $pop1
; CHECK-NEXT: local.tee $push4=, $1=, $pop5
; CHECK-NEXT: global.set __stack_pointer, $pop4
; CHECK-NEXT: call return_multi_multi, $1
; CHECK-NEXT: i64.load $0=, 80($1)
; CHECK-NEXT: i32.const $push2=, 96
; CHECK-NEXT: i32.add $push3=, $1, $pop2
; CHECK-NEXT: global.set __stack_pointer, $pop3
; CHECK-NEXT: local.copy $push8=, $0
; CHECK-NEXT: local.copy $push6=, $0
; CHECK-NEXT: # fallthrough-return
%t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
%t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 4
Expand All @@ -140,20 +130,18 @@ define { i64, i128 } @test5() {
; CHECK: .functype test5 (i32) -> ()
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push1=, __stack_pointer
; CHECK-NEXT: i32.const $push2=, 80
; CHECK-NEXT: i32.sub $push8=, $pop1, $pop2
; CHECK-NEXT: local.tee $push7=, $3=, $pop8
; CHECK-NEXT: global.set __stack_pointer, $pop7
; CHECK-NEXT: i32.const $push5=, 8
; CHECK-NEXT: i32.add $push6=, $3, $pop5
; CHECK-NEXT: call return_multi_multi, $pop6
; CHECK-NEXT: i64.load $1=, 8($3)
; CHECK-NEXT: i64.load $2=, 24($3)
; CHECK-NEXT: i64.load $push0=, 16($3)
; CHECK-NEXT: i64.store 8($0), $pop0
; CHECK-NEXT: i32.const $push2=, 96
; CHECK-NEXT: i32.sub $push6=, $pop1, $pop2
; CHECK-NEXT: local.tee $push5=, $3=, $pop6
; CHECK-NEXT: global.set __stack_pointer, $pop5
; CHECK-NEXT: call return_multi_multi, $3
; CHECK-NEXT: i64.load $1=, 24($3)
; CHECK-NEXT: i64.load $2=, 16($3)
; CHECK-NEXT: i64.load $push0=, 0($3)
; CHECK-NEXT: i64.store 0($0), $pop0
; CHECK-NEXT: i64.store 16($0), $2
; CHECK-NEXT: i64.store 0($0), $1
; CHECK-NEXT: i32.const $push3=, 80
; CHECK-NEXT: i64.store 24($0), $1
; CHECK-NEXT: i32.const $push3=, 96
; CHECK-NEXT: i32.add $push4=, $3, $pop3
; CHECK-NEXT: global.set __stack_pointer, $pop4
; CHECK-NEXT: # fallthrough-return
Expand All @@ -170,22 +158,20 @@ define { i128, i128 } @test6() {
; CHECK: .functype test6 (i32) -> ()
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push1=, __stack_pointer
; CHECK-NEXT: i32.const $push2=, 80
; CHECK-NEXT: i32.sub $push8=, $pop1, $pop2
; CHECK-NEXT: local.tee $push7=, $4=, $pop8
; CHECK-NEXT: global.set __stack_pointer, $pop7
; CHECK-NEXT: i32.const $push5=, 8
; CHECK-NEXT: i32.add $push6=, $4, $pop5
; CHECK-NEXT: call return_multi_multi, $pop6
; CHECK-NEXT: i32.const $push2=, 96
; CHECK-NEXT: i32.sub $push6=, $pop1, $pop2
; CHECK-NEXT: local.tee $push5=, $4=, $pop6
; CHECK-NEXT: global.set __stack_pointer, $pop5
; CHECK-NEXT: call return_multi_multi, $4
; CHECK-NEXT: i64.load $1=, 24($4)
; CHECK-NEXT: i64.load $2=, 16($4)
; CHECK-NEXT: i64.load $3=, 64($4)
; CHECK-NEXT: i64.load $push0=, 56($4)
; CHECK-NEXT: i64.load $3=, 72($4)
; CHECK-NEXT: i64.load $push0=, 64($4)
; CHECK-NEXT: i64.store 16($0), $pop0
; CHECK-NEXT: i64.store 24($0), $3
; CHECK-NEXT: i64.store 0($0), $2
; CHECK-NEXT: i64.store 8($0), $1
; CHECK-NEXT: i32.const $push3=, 80
; CHECK-NEXT: i32.const $push3=, 96
; CHECK-NEXT: i32.add $push4=, $4, $pop3
; CHECK-NEXT: global.set __stack_pointer, $pop4
; CHECK-NEXT: # fallthrough-return
Expand All @@ -202,24 +188,22 @@ define { i64, i192 } @test7() {
; CHECK: .functype test7 (i32) -> ()
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push3=, __stack_pointer
; CHECK-NEXT: i32.const $push4=, 80
; CHECK-NEXT: i32.sub $push10=, $pop3, $pop4
; CHECK-NEXT: local.tee $push9=, $4=, $pop10
; CHECK-NEXT: global.set __stack_pointer, $pop9
; CHECK-NEXT: i32.const $push7=, 8
; CHECK-NEXT: i32.add $push8=, $4, $pop7
; CHECK-NEXT: call return_multi_multi, $pop8
; CHECK-NEXT: i64.load $1=, 8($4)
; CHECK-NEXT: i64.load $2=, 40($4)
; CHECK-NEXT: i64.load $3=, 32($4)
; CHECK-NEXT: i32.const $push4=, 96
; CHECK-NEXT: i32.sub $push8=, $pop3, $pop4
; CHECK-NEXT: local.tee $push7=, $4=, $pop8
; CHECK-NEXT: global.set __stack_pointer, $pop7
; CHECK-NEXT: call return_multi_multi, $4
; CHECK-NEXT: i32.const $push0=, 48
; CHECK-NEXT: i32.add $push1=, $4, $pop0
; CHECK-NEXT: i64.load $push2=, 0($pop1)
; CHECK-NEXT: i64.store 24($0), $pop2
; CHECK-NEXT: i64.store 8($0), $3
; CHECK-NEXT: i64.store 16($0), $2
; CHECK-NEXT: i64.store 0($0), $1
; CHECK-NEXT: i32.const $push5=, 80
; CHECK-NEXT: i64.load $1=, 0($pop1)
; CHECK-NEXT: i64.load $2=, 40($4)
; CHECK-NEXT: i64.load $3=, 32($4)
; CHECK-NEXT: i64.load $push2=, 0($4)
; CHECK-NEXT: i64.store 0($0), $pop2
; CHECK-NEXT: i64.store 32($0), $1
; CHECK-NEXT: i64.store 16($0), $3
; CHECK-NEXT: i64.store 24($0), $2
; CHECK-NEXT: i32.const $push5=, 96
; CHECK-NEXT: i32.add $push6=, $4, $pop5
; CHECK-NEXT: global.set __stack_pointer, $pop6
; CHECK-NEXT: # fallthrough-return
Expand All @@ -236,32 +220,30 @@ define { i128, i192, i128, i64 } @test8() {
; CHECK: .functype test8 (i32) -> ()
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push3=, __stack_pointer
; CHECK-NEXT: i32.const $push4=, 80
; CHECK-NEXT: i32.sub $push10=, $pop3, $pop4
; CHECK-NEXT: local.tee $push9=, $8=, $pop10
; CHECK-NEXT: global.set __stack_pointer, $pop9
; CHECK-NEXT: i32.const $push7=, 8
; CHECK-NEXT: i32.add $push8=, $8, $pop7
; CHECK-NEXT: call return_multi_multi, $pop8
; CHECK-NEXT: i32.const $push4=, 96
; CHECK-NEXT: i32.sub $push8=, $pop3, $pop4
; CHECK-NEXT: local.tee $push7=, $8=, $pop8
; CHECK-NEXT: global.set __stack_pointer, $pop7
; CHECK-NEXT: call return_multi_multi, $8
; CHECK-NEXT: i32.const $push0=, 48
; CHECK-NEXT: i32.add $push1=, $8, $pop0
; CHECK-NEXT: i64.load $1=, 0($pop1)
; CHECK-NEXT: i64.load $2=, 8($8)
; CHECK-NEXT: i64.load $2=, 72($8)
; CHECK-NEXT: i64.load $3=, 64($8)
; CHECK-NEXT: i64.load $4=, 56($8)
; CHECK-NEXT: i64.load $5=, 40($8)
; CHECK-NEXT: i64.load $6=, 32($8)
; CHECK-NEXT: i64.load $7=, 24($8)
; CHECK-NEXT: i64.load $push2=, 16($8)
; CHECK-NEXT: i64.store 40($0), $pop2
; CHECK-NEXT: i64.load $4=, 40($8)
; CHECK-NEXT: i64.load $5=, 32($8)
; CHECK-NEXT: i64.load $6=, 24($8)
; CHECK-NEXT: i64.load $7=, 16($8)
; CHECK-NEXT: i64.load $push2=, 0($8)
; CHECK-NEXT: i64.store 64($0), $pop2
; CHECK-NEXT: i64.store 48($0), $7
; CHECK-NEXT: i64.store 56($0), $6
; CHECK-NEXT: i64.store 32($0), $1
; CHECK-NEXT: i64.store 16($0), $6
; CHECK-NEXT: i64.store 24($0), $5
; CHECK-NEXT: i64.store 0($0), $4
; CHECK-NEXT: i64.store 8($0), $3
; CHECK-NEXT: i64.store 56($0), $2
; CHECK-NEXT: i32.const $push5=, 80
; CHECK-NEXT: i64.store 16($0), $5
; CHECK-NEXT: i64.store 24($0), $4
; CHECK-NEXT: i64.store 0($0), $3
; CHECK-NEXT: i64.store 8($0), $2
; CHECK-NEXT: i32.const $push5=, 96
; CHECK-NEXT: i32.add $push6=, $8, $pop5
; CHECK-NEXT: global.set __stack_pointer, $pop6
; CHECK-NEXT: # fallthrough-return
Expand Down
Loading
Loading