let TargetPrefix = "wasm" in { // All intrinsics start with "llvm.wasm.".
def int_wasm_page_size : Intrinsic<[llvm_anyint_ty], [], [IntrNoMem]>;
+def int_wasm_memory_size : Intrinsic<[llvm_anyint_ty], [], [IntrNoMem]>;
}
def page_size_I64 : I<(outs I64:$dst), (ins),
[(set I64:$dst, (int_wasm_page_size))]>,
Requires<[HasAddr64]>;
+
+// Memory size.
+def memory_size_I32 : I<(outs I32:$dst), (ins),
+ [(set I32:$dst, (int_wasm_memory_size))]>,
+ Requires<[HasAddr32]>;
+def memory_size_I64 : I<(outs I64:$dst), (ins),
+ [(set I64:$dst, (int_wasm_memory_size))]>,
+ Requires<[HasAddr64]>;
target triple = "wasm32-unknown-unknown"
declare i32 @llvm.wasm.page.size.i32() nounwind readnone
+declare i32 @llvm.wasm.memory.size.i32() nounwind readnone
; CHECK-LABEL: (func $page_size
; CHECK-NEXT: (result i32)
%a = call i32 @llvm.wasm.page.size.i32()
ret i32 %a
}
+
+; CHECK-LABEL: (func $memory_size
+; CHECK-NEXT: (result i32)
+; CHECK-NEXT: (setlocal @0 (memory_size))
+; CHECK-NEXT: (return @0)
+define i32 @memory_size() {
+ %a = call i32 @llvm.wasm.memory.size.i32()
+ ret i32 %a
+}
target triple = "wasm64-unknown-unknown"
declare i64 @llvm.wasm.page.size.i64() nounwind readnone
+declare i64 @llvm.wasm.memory.size.i64() nounwind readnone
; CHECK-LABEL: (func $page_size
; CHECK-NEXT: (result i64)
%a = call i64 @llvm.wasm.page.size.i64()
ret i64 %a
}
+
+; CHECK-LABEL: (func $memory_size
+; CHECK-NEXT: (result i64)
+; CHECK-NEXT: (setlocal @0 (memory_size))
+; CHECK-NEXT: (return @0)
+define i64 @memory_size() {
+ %a = call i64 @llvm.wasm.memory.size.i64()
+ ret i64 %a
+}