From db496ae04e4cf52b3f668bf1d6d22e8732f38465 Mon Sep 17 00:00:00 2001 From: YAMAMOTO Takashi Date: Fri, 24 May 2024 00:13:56 +0900 Subject: [PATCH] custom-page-sizes: a few test wat --- wat/custom-page-sizes/1.wat | 20 ++++++++++++++++++++ wat/custom-page-sizes/16.wat | 4 ++++ wat/custom-page-sizes/trap.wat | 33 +++++++++++++++++++++++++++++++++ 3 files changed, 57 insertions(+) create mode 100644 wat/custom-page-sizes/1.wat create mode 100644 wat/custom-page-sizes/16.wat create mode 100644 wat/custom-page-sizes/trap.wat diff --git a/wat/custom-page-sizes/1.wat b/wat/custom-page-sizes/1.wat new file mode 100644 index 00000000..bd7b1cca --- /dev/null +++ b/wat/custom-page-sizes/1.wat @@ -0,0 +1,20 @@ +(module + (func (export "_start") + ;; memory.grow here is expected to fail because it's already max-sized. + i32.const 1 + memory.grow 0 + i32.const -1 + i32.ne + if + unreachable + end + + memory.size 0 + i32.const -1 + i32.ne + if + unreachable + end + ) + (memory 0xffffffff (pagesize 1)) +) diff --git a/wat/custom-page-sizes/16.wat b/wat/custom-page-sizes/16.wat new file mode 100644 index 00000000..5d75aa0f --- /dev/null +++ b/wat/custom-page-sizes/16.wat @@ -0,0 +1,4 @@ +(module + (func (export "_start")) + (memory 0x10000 0x10000 (pagesize 65536)) +) diff --git a/wat/custom-page-sizes/trap.wat b/wat/custom-page-sizes/trap.wat new file mode 100644 index 00000000..4593f4fd --- /dev/null +++ b/wat/custom-page-sizes/trap.wat @@ -0,0 +1,33 @@ +(module + (func (export "i32-ok") + i32.const 27 + i32.load + drop + ) + (func $i32-trap (export "i32-trap") + i32.const 28 + i32.load + drop + ) + (func (export "i8-ok") + i32.const 30 + i32.load8_u + drop + ) + (func (export "i8-trap") + i32.const 31 + i32.load8_u + drop + ) + (func (export "i32-ok-after-grow") + i32.const 1 + memory.grow + i32.const -1 + i32.eq + if + unreachable + end + call $i32-trap + ) + (memory 31 (pagesize 1)) +)