Add support for the custom-page-sizes proposal (#2502)

This adds support in the binary/text parsers and writers,
the validator and interpreter, and objdump (but not wasm2c).

1 files changed, 63 insertions, 0 deletions

diff --git a/test/spec/custom-page-sizes/custom-page-sizes-invalid.txt b/test/spec/custom-page-sizes/custom-page-sizes-invalid.txt
new file mode 100644
index 00000000..3ae9fa74
--- /dev/null
+++ b/test/spec/custom-page-sizes/custom-page-sizes-invalid.txt
@@ -0,0 +1,63 @@
+;;; TOOL: run-interp-spec
+;;; ARGS*: --enable-custom-page-sizes --enable-multi-memory
+;;; STDIN_FILE: third_party/testsuite/proposals/custom-page-sizes/custom-page-sizes-invalid.wast
+(;; STDOUT ;;;
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:3: assert_malformed passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.0.wat:1:21: error: malformed custom page size
+  (memory 0 (pagesize 3))
+                      ^
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:9: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.1.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:13: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.2.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:17: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.3.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:21: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.4.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:25: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.5.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:29: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.6.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:33: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.7.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:37: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.8.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:41: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.9.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:45: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.10.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:49: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.11.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:53: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.12.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:57: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.13.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:61: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.14.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:65: assert_invalid passed:
+  out/test/spec/custom-page-sizes/custom-page-sizes-invalid/custom-page-sizes-invalid.15.wasm:000000e: error: only page sizes of 1 B or 64 KiB are allowed
+  000000e: error: OnMemory callback failed
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:71: assert_invalid passed:
+  000000e: error: malformed memory page size
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:78: assert_malformed passed:
+  000000e: error: malformed memory page size
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:99: assert_unlinkable passed:
+  error: page_size mismatch in imported memory, expected 65536 but got 1.
+out/test/spec/custom-page-sizes/custom-page-sizes-invalid.wast:106: assert_unlinkable passed:
+  error: page_size mismatch in imported memory, expected 1 but got 65536.
+21/21 tests passed.
+;;; STDOUT ;;)