diff options
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/custom-page-sizes/custom-page-sizes-invalid.txt | 63 | ||||
| -rw-r--r-- | test/spec/custom-page-sizes/custom-page-sizes.txt | 9 | ||||
| -rw-r--r-- | test/spec/memory64/binary.txt | 4 |
3 files changed, 74 insertions, 2 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 ;;) diff --git a/test/spec/custom-page-sizes/custom-page-sizes.txt b/test/spec/custom-page-sizes/custom-page-sizes.txt new file mode 100644 index 00000000..7e11e710 --- /dev/null +++ b/test/spec/custom-page-sizes/custom-page-sizes.txt @@ -0,0 +1,9 @@ +;;; TOOL: run-interp-spec +;;; ARGS*: --enable-custom-page-sizes --enable-multi-memory +;;; STDIN_FILE: third_party/testsuite/proposals/custom-page-sizes/custom-page-sizes.wast +(;; STDOUT ;;; +out/test/spec/custom-page-sizes/custom-page-sizes.wast:27: assert_trap passed: out of bounds memory access: access at 0+1 >= max value 0 +out/test/spec/custom-page-sizes/custom-page-sizes.wast:34: assert_trap passed: out of bounds memory access: access at 65536+1 >= max value 65536 +out/test/spec/custom-page-sizes/custom-page-sizes.wast:41: assert_trap passed: out of bounds memory access: access at 131072+1 >= max value 131072 +34/34 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/memory64/binary.txt b/test/spec/memory64/binary.txt index 28441993..e34a5f79 100644 --- a/test/spec/memory64/binary.txt +++ b/test/spec/memory64/binary.txt @@ -137,9 +137,9 @@ out/test/spec/memory64/binary.wast:633: assert_malformed passed: out/test/spec/memory64/binary.wast:651: assert_malformed passed: 000000b: error: invalid memory count 1, only 0 bytes left in section out/test/spec/memory64/binary.wast:661: assert_malformed passed: - 000000c: error: malformed memory limits flag: 8 + 000000c: error: custom page sizes not allowed out/test/spec/memory64/binary.wast:669: assert_malformed passed: - 000000c: error: malformed memory limits flag: 8 + 000000c: error: custom page sizes not allowed out/test/spec/memory64/binary.wast:678: assert_malformed passed: 000000c: error: malformed memory limits flag: 129 out/test/spec/memory64/binary.wast:687: assert_malformed passed: |