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