1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that basic memory operations assemble as expected with 64-bit addresses.
4
5target datalayout = "e-p:64:64-i64:64-n32:64-S128"
6target triple = "wasm64-unknown-unknown"
7
8declare i64 @llvm.wasm.page.size.i64() nounwind readnone
9declare i64 @llvm.wasm.memory.size.i64() nounwind readnone
10declare void @llvm.wasm.resize.memory.i64(i64) nounwind
11
12; CHECK-LABEL: (func $page_size
13; CHECK-NEXT: (result i64)
14; CHECK-NEXT: (set_local @0 (page_size))
15; CHECK-NEXT: (return @0)
16define i64 @page_size() {
17  %a = call i64 @llvm.wasm.page.size.i64()
18  ret i64 %a
19}
20
21; CHECK-LABEL: (func $memory_size
22; CHECK-NEXT: (result i64)
23; CHECK-NEXT: (set_local @0 (memory_size))
24; CHECK-NEXT: (return @0)
25define i64 @memory_size() {
26  %a = call i64 @llvm.wasm.memory.size.i64()
27  ret i64 %a
28}
29
30; CHECK-LABEL: (func $resize_memory
31; CHECK-NEXT: (param i64)
32; CHECK: (resize_memory @0)
33; CHECK-NEXT: (return)
34define void @resize_memory(i64 %n) {
35  call void @llvm.wasm.resize.memory.i64(i64 %n)
36  ret void
37}
38