From 4297343f91addb1a206c85435cab4312210caa9a Mon Sep 17 00:00:00 2001 From: Alex Crichton Date: Fri, 24 Jan 2025 10:23:55 -0600 Subject: [PATCH] Update spec test suite submodule (#1984) No changes here other than the submodule and snapshots. --- .../custom-page-sizes.wast.json | 2 +- .../custom-page-sizes/memory_max.wast.json | 36 +- .../memory_max_i64.wast.json | 33 + .../proposals/memory64/memory.wast.json | 1287 ----------------- .../proposals/memory64/memory.wast/0.print | 3 - .../proposals/memory64/memory.wast/1.print | 3 - .../proposals/memory64/memory.wast/2.print | 3 - .../proposals/memory64/memory.wast/3.print | 3 - .../proposals/memory64/memory.wast/4.print | 3 - .../proposals/memory64/memory.wast/5.print | 3 - .../proposals/memory64/memory.wast/6.print | 3 - .../proposals/memory64/memory64.wast.json | 1038 ------------- .../proposals/memory64/memory64.wast/0.print | 3 - .../proposals/memory64/memory64.wast/1.print | 3 - .../proposals/memory64/memory64.wast/2.print | 3 - .../proposals/memory64/memory64.wast/3.print | 3 - .../proposals/memory64/memory64.wast/4.print | 3 - .../proposals/memory64/memory64.wast/6.print | 9 - .../proposals/memory64/memory64.wast/8.print | 9 - .../proposals/memory64/table.wast.json | 431 ------ .../proposals/memory64/table.wast/0.print | 3 - .../proposals/memory64/table.wast/1.print | 3 - .../proposals/memory64/table.wast/10.print | 4 - .../proposals/memory64/table.wast/11.print | 4 - .../proposals/memory64/table.wast/12.print | 4 - .../proposals/memory64/table.wast/13.print | 3 - .../proposals/memory64/table.wast/14.print | 3 - .../proposals/memory64/table.wast/2.print | 3 - .../proposals/memory64/table.wast/23.print | 3 - .../proposals/memory64/table.wast/24.print | 3 - .../proposals/memory64/table.wast/25.print | 3 - .../proposals/memory64/table.wast/26.print | 3 - .../proposals/memory64/table.wast/27.print | 3 - .../proposals/memory64/table.wast/28.print | 3 - .../proposals/memory64/table.wast/29.print | 3 - .../proposals/memory64/table.wast/3.print | 3 - .../proposals/memory64/table.wast/30.print | 3 - .../proposals/memory64/table.wast/4.print | 3 - .../proposals/memory64/table.wast/5.print | 3 - .../proposals/memory64/table.wast/6.print | 3 - .../proposals/memory64/table.wast/7.print | 3 - .../proposals/memory64/table.wast/8.print | 3 - .../proposals/memory64/table.wast/9.print | 3 - .../proposals/wasm-3.0/memory.wast.json | 200 +-- .../proposals/wasm-3.0/memory.wast/10.print | 9 - .../memory.wast/11.print | 0 .../proposals/wasm-3.0/memory.wast/34.print | 154 -- .../memory.wast/35.print | 0 .../proposals/wasm-3.0/memory.wast/5.print | 2 +- .../proposals/wasm-3.0/memory.wast/6.print | 8 +- .../memory.wast/7.print | 0 .../proposals/wasm-3.0/memory.wast/8.print | 9 - .../proposals/wasm-3.0/memory.wast/80.print | 16 - .../memory.wast/81.print | 0 .../memory.wast/9.print | 0 .../proposals/wasm-3.0/memory64.wast.json | 172 ++- .../memory64.wast/10.print | 0 .../proposals/wasm-3.0/memory64.wast/24.print | 154 -- .../memory64.wast/26.print | 0 .../proposals/wasm-3.0/memory64.wast/4.print | 8 +- .../memory64.wast/5.print | 0 .../proposals/wasm-3.0/memory64.wast/8.print | 4 +- .../proposals/wasm-3.0/table.wast.json | 154 +- .../proposals/wasm-3.0/table.wast/10.print | 4 +- .../proposals/wasm-3.0/table.wast/11.print | 2 +- .../proposals/wasm-3.0/table.wast/12.print | 3 +- .../proposals/wasm-3.0/table.wast/13.print | 2 +- .../table.wast/15.print | 0 .../proposals/wasm-3.0/table.wast/22.print | 3 - .../proposals/wasm-3.0/table.wast/23.print | 2 +- .../proposals/wasm-3.0/table.wast/24.print | 2 +- .../proposals/wasm-3.0/table.wast/25.print | 2 +- .../proposals/wasm-3.0/table.wast/26.print | 2 +- .../proposals/wasm-3.0/table.wast/27.print | 2 +- .../proposals/wasm-3.0/table.wast/28.print | 2 +- .../proposals/wasm-3.0/table.wast/29.print | 3 +- .../proposals/wasm-3.0/table.wast/30.print | 3 +- .../table.wast/31.print | 0 .../table.wast/32.print | 0 .../table.wast/33.print | 0 .../table.wast/34.print | 0 .../proposals/wasm-3.0/table.wast/42.print | 6 - .../proposals/wasm-3.0/table.wast/44.print | 36 - .../table.wast/46.print | 0 .../table.wast/48.print | 0 .../proposals/wasm-3.0/table.wast/6.print | 2 +- .../proposals/wasm-3.0/table.wast/7.print | 2 +- .../proposals/wasm-3.0/table.wast/8.print | 2 +- .../proposals/wasm-3.0/table.wast/9.print | 3 +- tests/testsuite | 2 +- 90 files changed, 346 insertions(+), 3582 deletions(-) create mode 100644 tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max_i64.wast.json delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast.json delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast/0.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast/1.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast/2.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast/3.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast/4.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast/5.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory.wast/6.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast.json delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast/0.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast/1.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast/2.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast/3.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast/4.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast/6.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/memory64.wast/8.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast.json delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/0.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/1.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/10.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/11.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/12.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/13.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/14.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/2.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/23.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/24.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/25.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/26.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/27.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/28.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/29.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/3.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/30.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/4.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/5.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/6.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/7.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/8.print delete mode 100644 tests/snapshots/testsuite/proposals/memory64/table.wast/9.print delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/10.print rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory.wast/11.print (100%) delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/34.print rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory.wast/35.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory.wast/7.print (100%) delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/8.print delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/80.print rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory.wast/81.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory.wast/9.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory64.wast/10.print (100%) delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/24.print rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory64.wast/26.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/memory64.wast/5.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/table.wast/15.print (100%) delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/22.print rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/table.wast/31.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/table.wast/32.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/table.wast/33.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/table.wast/34.print (100%) delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/42.print delete mode 100644 tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/44.print rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/table.wast/46.print (100%) rename tests/snapshots/testsuite/proposals/{memory64 => wasm-3.0}/table.wast/48.print (100%) diff --git a/tests/snapshots/testsuite/proposals/custom-page-sizes/custom-page-sizes.wast.json b/tests/snapshots/testsuite/proposals/custom-page-sizes/custom-page-sizes.wast.json index aa9f96892b..01c9a1f0df 100644 --- a/tests/snapshots/testsuite/proposals/custom-page-sizes/custom-page-sizes.wast.json +++ b/tests/snapshots/testsuite/proposals/custom-page-sizes/custom-page-sizes.wast.json @@ -613,7 +613,7 @@ } ] }, - "text": "out of bounds" + "text": "out of bounds memory access" }, { "type": "assert_return", diff --git a/tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max.wast.json b/tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max.wast.json index dce02281ee..6a2208e2b2 100644 --- a/tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max.wast.json +++ b/tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max.wast.json @@ -15,45 +15,17 @@ "module_type": "binary", "text": "unknown import" }, - { - "type": "assert_unlinkable", - "line": 27, - "filename": "memory_max.2.wasm", - "module_type": "binary", - "text": "unknown import" - }, - { - "type": "assert_unlinkable", - "line": 34, - "filename": "memory_max.3.wasm", - "module_type": "binary", - "text": "unknown import" - }, { "type": "assert_malformed", - "line": 46, - "filename": "memory_max.4.wat", - "module_type": "text", - "text": "constant out of range" - }, - { - "type": "assert_malformed", - "line": 51, - "filename": "memory_max.5.wat", + "line": 32, + "filename": "memory_max.2.wat", "module_type": "text", "text": "constant out of range" }, { "type": "assert_invalid", - "line": 56, - "filename": "memory_max.6.wasm", - "module_type": "binary", - "text": "memory size must be at most" - }, - { - "type": "assert_invalid", - "line": 62, - "filename": "memory_max.7.wasm", + "line": 37, + "filename": "memory_max.3.wasm", "module_type": "binary", "text": "memory size must be at most" } diff --git a/tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max_i64.wast.json b/tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max_i64.wast.json new file mode 100644 index 0000000000..e9c018d00a --- /dev/null +++ b/tests/snapshots/testsuite/proposals/custom-page-sizes/memory_max_i64.wast.json @@ -0,0 +1,33 @@ +{ + "source_filename": "tests/testsuite/proposals/custom-page-sizes/memory_max_i64.wast", + "commands": [ + { + "type": "assert_unlinkable", + "line": 13, + "filename": "memory_max_i64.0.wasm", + "module_type": "binary", + "text": "unknown import" + }, + { + "type": "assert_unlinkable", + "line": 20, + "filename": "memory_max_i64.1.wasm", + "module_type": "binary", + "text": "unknown import" + }, + { + "type": "assert_malformed", + "line": 32, + "filename": "memory_max_i64.2.wat", + "module_type": "text", + "text": "constant out of range" + }, + { + "type": "assert_invalid", + "line": 37, + "filename": "memory_max_i64.3.wasm", + "module_type": "binary", + "text": "memory size must be at most" + } + ] +} \ No newline at end of file diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast.json b/tests/snapshots/testsuite/proposals/memory64/memory.wast.json deleted file mode 100644 index f82a10a040..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast.json +++ /dev/null @@ -1,1287 +0,0 @@ -{ - "source_filename": "tests/testsuite/proposals/memory64/memory.wast", - "commands": [ - { - "type": "module", - "line": 3, - "filename": "memory.0.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 4, - "filename": "memory.1.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 5, - "filename": "memory.2.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 6, - "filename": "memory.3.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 7, - "filename": "memory.4.wasm", - "module_type": "binary" - }, - { - "type": "module_definition", - "line": 8, - "filename": "memory.5.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 9, - "filename": "memory.6.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 11, - "filename": "memory.7.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 12, - "action": { - "type": "invoke", - "field": "memsize", - "args": [] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "module", - "line": 13, - "filename": "memory.8.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 14, - "action": { - "type": "invoke", - "field": "memsize", - "args": [] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "module", - "line": 15, - "filename": "memory.9.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 16, - "action": { - "type": "invoke", - "field": "memsize", - "args": [] - }, - "expected": [ - { - "type": "i32", - "value": "1" - } - ] - }, - { - "type": "assert_invalid", - "line": 18, - "filename": "memory.10.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 19, - "filename": "memory.11.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 20, - "filename": "memory.12.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 23, - "filename": "memory.13.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 27, - "filename": "memory.14.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 31, - "filename": "memory.15.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 35, - "filename": "memory.16.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 39, - "filename": "memory.17.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 43, - "filename": "memory.18.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 49, - "filename": "memory.19.wasm", - "module_type": "binary", - "text": "size minimum must not be greater than maximum" - }, - { - "type": "assert_invalid", - "line": 53, - "filename": "memory.20.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 57, - "filename": "memory.21.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 61, - "filename": "memory.22.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 65, - "filename": "memory.23.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 69, - "filename": "memory.24.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 73, - "filename": "memory.25.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 78, - "filename": "memory.26.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 82, - "filename": "memory.27.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 86, - "filename": "memory.28.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 91, - "filename": "memory.29.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 95, - "filename": "memory.30.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 99, - "filename": "memory.31.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "module", - "line": 103, - "filename": "memory.32.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 191, - "action": { - "type": "invoke", - "field": "data", - "args": [] - }, - "expected": [ - { - "type": "i32", - "value": "1" - } - ] - }, - { - "type": "assert_return", - "line": 192, - "action": { - "type": "invoke", - "field": "cast", - "args": [] - }, - "expected": [ - { - "type": "f64", - "value": "4631107791820423168" - } - ] - }, - { - "type": "assert_return", - "line": 194, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 195, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "255" - } - ] - }, - { - "type": "assert_return", - "line": 196, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 197, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "65535" - } - ] - }, - { - "type": "assert_return", - "line": 199, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "100" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "100" - } - ] - }, - { - "type": "assert_return", - "line": 200, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "200" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "200" - } - ] - }, - { - "type": "assert_return", - "line": 201, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "20000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "20000" - } - ] - }, - { - "type": "assert_return", - "line": 202, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "40000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "40000" - } - ] - }, - { - "type": "assert_return", - "line": 204, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 205, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-17" - } - ] - }, - { - "type": "assert_return", - "line": 206, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 207, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "239" - } - ] - }, - { - "type": "assert_return", - "line": 208, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 209, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-12817" - } - ] - }, - { - "type": "assert_return", - "line": 210, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 211, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "52719" - } - ] - }, - { - "type": "assert_return", - "line": 213, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 214, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "255" - } - ] - }, - { - "type": "assert_return", - "line": 215, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 216, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "65535" - } - ] - }, - { - "type": "assert_return", - "line": 217, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 218, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "4294967295" - } - ] - }, - { - "type": "assert_return", - "line": 220, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "100" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "100" - } - ] - }, - { - "type": "assert_return", - "line": 221, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "200" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "200" - } - ] - }, - { - "type": "assert_return", - "line": 222, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - { - "type": "assert_return", - "line": 223, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - { - "type": "assert_return", - "line": 224, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - { - "type": "assert_return", - "line": 225, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - { - "type": "assert_return", - "line": 227, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 228, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-17" - } - ] - }, - { - "type": "assert_return", - "line": 229, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 230, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "239" - } - ] - }, - { - "type": "assert_return", - "line": 231, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 232, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-12817" - } - ] - }, - { - "type": "assert_return", - "line": 233, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 234, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "52719" - } - ] - }, - { - "type": "assert_return", - "line": 235, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "1446274371" - } - ] - }, - { - "type": "assert_return", - "line": 236, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1732588049" - } - ] - }, - { - "type": "assert_return", - "line": 237, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "1446274371" - } - ] - }, - { - "type": "assert_return", - "line": 238, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "2562379247" - } - ] - }, - { - "type": "assert_malformed", - "line": 242, - "filename": "memory.33.wat", - "module_type": "text", - "text": "duplicate memory" - }, - { - "type": "assert_malformed", - "line": 246, - "filename": "memory.34.wat", - "module_type": "text", - "text": "duplicate memory" - }, - { - "type": "assert_malformed", - "line": 250, - "filename": "memory.35.wat", - "module_type": "text", - "text": "duplicate memory" - }, - { - "type": "module", - "line": 257, - "filename": "memory.36.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 271, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "0" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "assert_return", - "line": 272, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "10000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "assert_return", - "line": 273, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "20000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "assert_return", - "line": 274, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "30000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "assert_return", - "line": 275, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "40000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "assert_return", - "line": 276, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "50000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "assert_return", - "line": 277, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "60000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - }, - { - "type": "assert_return", - "line": 278, - "action": { - "type": "invoke", - "field": "load", - "args": [ - { - "type": "i32", - "value": "65535" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "0" - } - ] - } - ] -} \ No newline at end of file diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/0.print b/tests/snapshots/testsuite/proposals/memory64/memory.wast/0.print deleted file mode 100644 index 70b1f7b41a..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast/0.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) 0) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/1.print b/tests/snapshots/testsuite/proposals/memory64/memory.wast/1.print deleted file mode 100644 index ffba26a4b1..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast/1.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) 1) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/2.print b/tests/snapshots/testsuite/proposals/memory64/memory.wast/2.print deleted file mode 100644 index 0fb18af43f..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast/2.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) 0 0) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/3.print b/tests/snapshots/testsuite/proposals/memory64/memory.wast/3.print deleted file mode 100644 index e88966a9fa..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast/3.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) 0 1) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/4.print b/tests/snapshots/testsuite/proposals/memory64/memory.wast/4.print deleted file mode 100644 index 61baeb74c3..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast/4.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) 1 256) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/5.print b/tests/snapshots/testsuite/proposals/memory64/memory.wast/5.print deleted file mode 100644 index 0220e5421f..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast/5.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) 65536) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/6.print b/tests/snapshots/testsuite/proposals/memory64/memory.wast/6.print deleted file mode 100644 index f9f43cf789..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory.wast/6.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) 0 65536) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast.json b/tests/snapshots/testsuite/proposals/memory64/memory64.wast.json deleted file mode 100644 index 229f8d40fe..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast.json +++ /dev/null @@ -1,1038 +0,0 @@ -{ - "source_filename": "tests/testsuite/proposals/memory64/memory64.wast", - "commands": [ - { - "type": "module", - "line": 4, - "filename": "memory64.0.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 5, - "filename": "memory64.1.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 6, - "filename": "memory64.2.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 7, - "filename": "memory64.3.wasm", - "module_type": "binary" - }, - { - "type": "module_definition", - "line": 8, - "filename": "memory64.4.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 9, - "filename": "memory64.5.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 11, - "filename": "memory64.6.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 12, - "action": { - "type": "invoke", - "field": "memsize", - "args": [] - }, - "expected": [ - { - "type": "i64", - "value": "0" - } - ] - }, - { - "type": "module", - "line": 13, - "filename": "memory64.7.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 14, - "action": { - "type": "invoke", - "field": "memsize", - "args": [] - }, - "expected": [ - { - "type": "i64", - "value": "0" - } - ] - }, - { - "type": "module", - "line": 15, - "filename": "memory64.8.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 16, - "action": { - "type": "invoke", - "field": "memsize", - "args": [] - }, - "expected": [ - { - "type": "i64", - "value": "1" - } - ] - }, - { - "type": "assert_invalid", - "line": 18, - "filename": "memory64.9.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 19, - "filename": "memory64.10.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 20, - "filename": "memory64.11.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 23, - "filename": "memory64.12.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 27, - "filename": "memory64.13.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 31, - "filename": "memory64.14.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 35, - "filename": "memory64.15.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 39, - "filename": "memory64.16.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 43, - "filename": "memory64.17.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 49, - "filename": "memory64.18.wasm", - "module_type": "binary", - "text": "size minimum must not be greater than maximum" - }, - { - "type": "assert_invalid", - "line": 54, - "filename": "memory64.19.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 58, - "filename": "memory64.20.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 63, - "filename": "memory64.21.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "assert_invalid", - "line": 67, - "filename": "memory64.22.wasm", - "module_type": "binary", - "text": "memory size" - }, - { - "type": "module", - "line": 71, - "filename": "memory64.23.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 159, - "action": { - "type": "invoke", - "field": "data", - "args": [] - }, - "expected": [ - { - "type": "i32", - "value": "1" - } - ] - }, - { - "type": "assert_return", - "line": 160, - "action": { - "type": "invoke", - "field": "cast", - "args": [] - }, - "expected": [ - { - "type": "f64", - "value": "4631107791820423168" - } - ] - }, - { - "type": "assert_return", - "line": 162, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 163, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "255" - } - ] - }, - { - "type": "assert_return", - "line": 164, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 165, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "65535" - } - ] - }, - { - "type": "assert_return", - "line": 167, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "100" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "100" - } - ] - }, - { - "type": "assert_return", - "line": 168, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "200" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "200" - } - ] - }, - { - "type": "assert_return", - "line": 169, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "20000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "20000" - } - ] - }, - { - "type": "assert_return", - "line": 170, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "40000" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "40000" - } - ] - }, - { - "type": "assert_return", - "line": 172, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 173, - "action": { - "type": "invoke", - "field": "i32_load8_s", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-17" - } - ] - }, - { - "type": "assert_return", - "line": 174, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 175, - "action": { - "type": "invoke", - "field": "i32_load8_u", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "239" - } - ] - }, - { - "type": "assert_return", - "line": 176, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 177, - "action": { - "type": "invoke", - "field": "i32_load16_s", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "-12817" - } - ] - }, - { - "type": "assert_return", - "line": 178, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "-19110589" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 179, - "action": { - "type": "invoke", - "field": "i32_load16_u", - "args": [ - { - "type": "i32", - "value": "878104047" - } - ] - }, - "expected": [ - { - "type": "i32", - "value": "52719" - } - ] - }, - { - "type": "assert_return", - "line": 181, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 182, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "255" - } - ] - }, - { - "type": "assert_return", - "line": 183, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 184, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "65535" - } - ] - }, - { - "type": "assert_return", - "line": 185, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - { - "type": "assert_return", - "line": 186, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "-1" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "4294967295" - } - ] - }, - { - "type": "assert_return", - "line": 188, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "100" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "100" - } - ] - }, - { - "type": "assert_return", - "line": 189, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "200" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "200" - } - ] - }, - { - "type": "assert_return", - "line": 190, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - { - "type": "assert_return", - "line": 191, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - { - "type": "assert_return", - "line": 192, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "20000" - } - ] - }, - { - "type": "assert_return", - "line": 193, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "40000" - } - ] - }, - { - "type": "assert_return", - "line": 195, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 196, - "action": { - "type": "invoke", - "field": "i64_load8_s", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-17" - } - ] - }, - { - "type": "assert_return", - "line": 197, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "67" - } - ] - }, - { - "type": "assert_return", - "line": 198, - "action": { - "type": "invoke", - "field": "i64_load8_u", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "239" - } - ] - }, - { - "type": "assert_return", - "line": 199, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 200, - "action": { - "type": "invoke", - "field": "i64_load16_s", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-12817" - } - ] - }, - { - "type": "assert_return", - "line": 201, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "25923" - } - ] - }, - { - "type": "assert_return", - "line": 202, - "action": { - "type": "invoke", - "field": "i64_load16_u", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "52719" - } - ] - }, - { - "type": "assert_return", - "line": 203, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "1446274371" - } - ] - }, - { - "type": "assert_return", - "line": 204, - "action": { - "type": "invoke", - "field": "i64_load32_s", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "-1732588049" - } - ] - }, - { - "type": "assert_return", - "line": 205, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "-81985529755441853" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "1446274371" - } - ] - }, - { - "type": "assert_return", - "line": 206, - "action": { - "type": "invoke", - "field": "i64_load32_u", - "args": [ - { - "type": "i64", - "value": "3771275841602506223" - } - ] - }, - "expected": [ - { - "type": "i64", - "value": "2562379247" - } - ] - } - ] -} \ No newline at end of file diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/0.print b/tests/snapshots/testsuite/proposals/memory64/memory64.wast/0.print deleted file mode 100644 index d12f6eab15..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/0.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) i64 0 0) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/1.print b/tests/snapshots/testsuite/proposals/memory64/memory64.wast/1.print deleted file mode 100644 index 62c82e0aac..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/1.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) i64 0 1) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/2.print b/tests/snapshots/testsuite/proposals/memory64/memory64.wast/2.print deleted file mode 100644 index f6e8a8e629..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/2.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) i64 1 256) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/3.print b/tests/snapshots/testsuite/proposals/memory64/memory64.wast/3.print deleted file mode 100644 index 0dafe46a12..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/3.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) i64 0 65536) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/4.print b/tests/snapshots/testsuite/proposals/memory64/memory64.wast/4.print deleted file mode 100644 index b4b6cfbbde..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/4.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (memory (;0;) i64 281474976710656) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/6.print b/tests/snapshots/testsuite/proposals/memory64/memory64.wast/6.print deleted file mode 100644 index 5701a95426..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/6.print +++ /dev/null @@ -1,9 +0,0 @@ -(module - (type (;0;) (func (result i64))) - (memory (;0;) i64 0 0) - (export "memsize" (func 0)) - (func (;0;) (type 0) (result i64) - memory.size - ) - (data (;0;) (i64.const 0) "") -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/8.print b/tests/snapshots/testsuite/proposals/memory64/memory64.wast/8.print deleted file mode 100644 index 5701a95426..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/8.print +++ /dev/null @@ -1,9 +0,0 @@ -(module - (type (;0;) (func (result i64))) - (memory (;0;) i64 0 0) - (export "memsize" (func 0)) - (func (;0;) (type 0) (result i64) - memory.size - ) - (data (;0;) (i64.const 0) "") -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast.json b/tests/snapshots/testsuite/proposals/memory64/table.wast.json deleted file mode 100644 index ad9a3a79a0..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast.json +++ /dev/null @@ -1,431 +0,0 @@ -{ - "source_filename": "tests/testsuite/proposals/memory64/table.wast", - "commands": [ - { - "type": "module", - "line": 3, - "filename": "table.0.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 4, - "filename": "table.1.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 5, - "filename": "table.2.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 6, - "filename": "table.3.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 7, - "filename": "table.4.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 8, - "filename": "table.5.wasm", - "module_type": "binary" - }, - { - "type": "module_definition", - "line": 9, - "filename": "table.6.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 10, - "filename": "table.7.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 12, - "filename": "table.8.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 13, - "filename": "table.9.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 14, - "filename": "table.10.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 16, - "filename": "table.11.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 17, - "filename": "table.12.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 19, - "filename": "table.13.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 20, - "filename": "table.14.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 21, - "filename": "table.15.wasm", - "module_type": "binary" - }, - { - "type": "assert_invalid", - "line": 23, - "filename": "table.16.wasm", - "module_type": "binary", - "text": "unknown table" - }, - { - "type": "assert_invalid", - "line": 24, - "filename": "table.17.wasm", - "module_type": "binary", - "text": "unknown table" - }, - { - "type": "assert_invalid", - "line": 27, - "filename": "table.18.wasm", - "module_type": "binary", - "text": "size minimum must not be greater than maximum" - }, - { - "type": "assert_invalid", - "line": 31, - "filename": "table.19.wasm", - "module_type": "binary", - "text": "size minimum must not be greater than maximum" - }, - { - "type": "assert_invalid", - "line": 36, - "filename": "table.20.wat", - "module_type": "text", - "binary_filename": "table.20.wasm", - "text": "table size" - }, - { - "type": "assert_invalid", - "line": 40, - "filename": "table.21.wat", - "module_type": "text", - "binary_filename": "table.21.wasm", - "text": "table size" - }, - { - "type": "assert_invalid", - "line": 44, - "filename": "table.22.wat", - "module_type": "text", - "binary_filename": "table.22.wasm", - "text": "table size" - }, - { - "type": "module", - "line": 50, - "filename": "table.23.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 51, - "filename": "table.24.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 52, - "filename": "table.25.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 53, - "filename": "table.26.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 54, - "filename": "table.27.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 55, - "filename": "table.28.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 56, - "filename": "table.29.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 57, - "filename": "table.30.wasm", - "module_type": "binary" - }, - { - "type": "module_definition", - "line": 58, - "filename": "table.31.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 59, - "filename": "table.32.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 61, - "filename": "table.33.wasm", - "module_type": "binary" - }, - { - "type": "module", - "line": 62, - "filename": "table.34.wasm", - "module_type": "binary" - }, - { - "type": "assert_invalid", - "line": 65, - "filename": "table.35.wasm", - "module_type": "binary", - "text": "size minimum must not be greater than maximum" - }, - { - "type": "assert_invalid", - "line": 69, - "filename": "table.36.wasm", - "module_type": "binary", - "text": "size minimum must not be greater than maximum" - }, - { - "type": "assert_invalid", - "line": 75, - "filename": "table.37.wasm", - "module_type": "binary", - "text": "unknown table" - }, - { - "type": "assert_invalid", - "line": 76, - "filename": "table.38.wasm", - "module_type": "binary", - "text": "unknown table" - }, - { - "type": "assert_invalid", - "line": 79, - "filename": "table.39.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 83, - "filename": "table.40.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 87, - "filename": "table.41.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 91, - "filename": "table.42.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 95, - "filename": "table.43.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 99, - "filename": "table.44.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 103, - "filename": "table.45.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "module", - "line": 110, - "filename": "table.46.wasm", - "module_type": "binary" - }, - { - "type": "register", - "line": 115, - "as": "M" - }, - { - "type": "module", - "line": 117, - "filename": "table.47.wasm", - "module_type": "binary" - }, - { - "type": "assert_return", - "line": 136, - "action": { - "type": "invoke", - "field": "get1", - "args": [] - }, - "expected": [ - { - "type": "refnull" - } - ] - }, - { - "type": "assert_return", - "line": 137, - "action": { - "type": "invoke", - "field": "get2", - "args": [] - }, - "expected": [ - { - "type": "funcref" - } - ] - }, - { - "type": "assert_return", - "line": 138, - "action": { - "type": "invoke", - "field": "get3", - "args": [] - }, - "expected": [ - { - "type": "funcref" - } - ] - }, - { - "type": "assert_return", - "line": 139, - "action": { - "type": "invoke", - "field": "get4", - "args": [] - }, - "expected": [ - { - "type": "funcref" - } - ] - }, - { - "type": "assert_return", - "line": 140, - "action": { - "type": "invoke", - "field": "get5", - "args": [] - }, - "expected": [ - { - "type": "funcref" - } - ] - }, - { - "type": "assert_invalid", - "line": 144, - "filename": "table.48.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 152, - "filename": "table.49.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_invalid", - "line": 160, - "filename": "table.50.wasm", - "module_type": "binary", - "text": "type mismatch" - }, - { - "type": "assert_malformed", - "line": 171, - "filename": "table.51.wat", - "module_type": "text", - "text": "duplicate table" - }, - { - "type": "assert_malformed", - "line": 178, - "filename": "table.52.wat", - "module_type": "text", - "text": "duplicate table" - }, - { - "type": "assert_malformed", - "line": 185, - "filename": "table.53.wat", - "module_type": "text", - "text": "duplicate table" - } - ] -} \ No newline at end of file diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/0.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/0.print deleted file mode 100644 index bbeb2e0347..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/0.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 0 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/1.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/1.print deleted file mode 100644 index 7f62195a8d..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/1.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 1 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/10.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/10.print deleted file mode 100644 index 7e017d6dd5..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/10.print +++ /dev/null @@ -1,4 +0,0 @@ -(module - (type $t (;0;) (func)) - (table (;0;) 1 (ref null $t)) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/11.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/11.print deleted file mode 100644 index 62a4d8a622..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/11.print +++ /dev/null @@ -1,4 +0,0 @@ -(module - (table (;0;) 0 funcref) - (table (;1;) 0 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/12.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/12.print deleted file mode 100644 index 9bd224ef6e..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/12.print +++ /dev/null @@ -1,4 +0,0 @@ -(module - (import "spectest" "table" (table (;0;) 0 funcref)) - (table (;1;) 0 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/13.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/13.print deleted file mode 100644 index 4536581d39..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/13.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 0 funcref ref.null func) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/14.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/14.print deleted file mode 100644 index 02def44af8..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/14.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 1 funcref ref.null func) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/2.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/2.print deleted file mode 100644 index 20a40a1269..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/2.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 0 0 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/23.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/23.print deleted file mode 100644 index 9084e1d25c..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/23.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 0 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/24.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/24.print deleted file mode 100644 index 65baf8600d..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/24.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 1 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/25.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/25.print deleted file mode 100644 index b9687a915c..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/25.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 0 0 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/26.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/26.print deleted file mode 100644 index 5fd506db0a..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/26.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 0 1 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/27.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/27.print deleted file mode 100644 index 4656493352..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/27.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 1 256 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/28.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/28.print deleted file mode 100644 index 8ad149ea5d..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/28.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 0 65536 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/29.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/29.print deleted file mode 100644 index 44ef206e6b..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/29.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 0 4294967295 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/3.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/3.print deleted file mode 100644 index 631053c603..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/3.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 0 1 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/30.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/30.print deleted file mode 100644 index c83de49111..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/30.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 0 4294967296 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/4.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/4.print deleted file mode 100644 index b813475fd5..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/4.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 1 256 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/5.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/5.print deleted file mode 100644 index da07b4fba1..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/5.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 0 65536 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/6.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/6.print deleted file mode 100644 index d051f26f15..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/6.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 4294967295 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/7.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/7.print deleted file mode 100644 index 846158c61a..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/7.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 0 4294967295 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/8.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/8.print deleted file mode 100644 index 7f62195a8d..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/8.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 1 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/9.print b/tests/snapshots/testsuite/proposals/memory64/table.wast/9.print deleted file mode 100644 index 096ccf907e..0000000000 --- a/tests/snapshots/testsuite/proposals/memory64/table.wast/9.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) 1 externref) -) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast.json b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast.json index 03803d8150..fc8b806fbd 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast.json +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast.json @@ -32,20 +32,26 @@ "module_type": "binary" }, { - "type": "module", + "type": "module_definition", "line": 8, "filename": "memory.5.wasm", "module_type": "binary" }, { "type": "module", - "line": 10, + "line": 9, "filename": "memory.6.wasm", "module_type": "binary" }, { - "type": "assert_return", + "type": "module", "line": 11, + "filename": "memory.7.wasm", + "module_type": "binary" + }, + { + "type": "assert_return", + "line": 12, "action": { "type": "invoke", "field": "memsize", @@ -60,13 +66,13 @@ }, { "type": "module", - "line": 12, - "filename": "memory.7.wasm", + "line": 13, + "filename": "memory.8.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 13, + "line": 14, "action": { "type": "invoke", "field": "memsize", @@ -81,13 +87,13 @@ }, { "type": "module", - "line": 14, - "filename": "memory.8.wasm", + "line": 15, + "filename": "memory.9.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 15, + "line": 16, "action": { "type": "invoke", "field": "memsize", @@ -100,13 +106,6 @@ } ] }, - { - "type": "assert_invalid", - "line": 17, - "filename": "memory.9.wasm", - "module_type": "binary", - "text": "unknown memory" - }, { "type": "assert_invalid", "line": 18, @@ -123,146 +122,153 @@ }, { "type": "assert_invalid", - "line": 22, + "line": 20, "filename": "memory.12.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 26, + "line": 23, "filename": "memory.13.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 30, + "line": 27, "filename": "memory.14.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 34, + "line": 31, "filename": "memory.15.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 38, + "line": 35, "filename": "memory.16.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 42, + "line": 39, "filename": "memory.17.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 48, + "line": 43, "filename": "memory.18.wasm", "module_type": "binary", - "text": "size minimum must not be greater than maximum" + "text": "unknown memory" }, { "type": "assert_invalid", - "line": 52, + "line": 49, "filename": "memory.19.wasm", "module_type": "binary", - "text": "memory size" + "text": "size minimum must not be greater than maximum" }, { "type": "assert_invalid", - "line": 56, + "line": 53, "filename": "memory.20.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 60, + "line": 57, "filename": "memory.21.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 64, + "line": 61, "filename": "memory.22.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 68, + "line": 65, "filename": "memory.23.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 72, + "line": 69, "filename": "memory.24.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 77, + "line": 73, "filename": "memory.25.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 81, + "line": 78, "filename": "memory.26.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 85, + "line": 82, "filename": "memory.27.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 90, + "line": 86, "filename": "memory.28.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 94, + "line": 91, "filename": "memory.29.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 98, + "line": 95, "filename": "memory.30.wasm", "module_type": "binary", "text": "memory size" }, { - "type": "module", - "line": 102, + "type": "assert_invalid", + "line": 99, "filename": "memory.31.wasm", + "module_type": "binary", + "text": "memory size" + }, + { + "type": "module", + "line": 103, + "filename": "memory.32.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 190, + "line": 191, "action": { "type": "invoke", "field": "data", @@ -277,7 +283,7 @@ }, { "type": "assert_return", - "line": 191, + "line": 192, "action": { "type": "invoke", "field": "cast", @@ -292,7 +298,7 @@ }, { "type": "assert_return", - "line": 193, + "line": 194, "action": { "type": "invoke", "field": "i32_load8_s", @@ -312,7 +318,7 @@ }, { "type": "assert_return", - "line": 194, + "line": 195, "action": { "type": "invoke", "field": "i32_load8_u", @@ -332,7 +338,7 @@ }, { "type": "assert_return", - "line": 195, + "line": 196, "action": { "type": "invoke", "field": "i32_load16_s", @@ -352,7 +358,7 @@ }, { "type": "assert_return", - "line": 196, + "line": 197, "action": { "type": "invoke", "field": "i32_load16_u", @@ -372,7 +378,7 @@ }, { "type": "assert_return", - "line": 198, + "line": 199, "action": { "type": "invoke", "field": "i32_load8_s", @@ -392,7 +398,7 @@ }, { "type": "assert_return", - "line": 199, + "line": 200, "action": { "type": "invoke", "field": "i32_load8_u", @@ -412,7 +418,7 @@ }, { "type": "assert_return", - "line": 200, + "line": 201, "action": { "type": "invoke", "field": "i32_load16_s", @@ -432,7 +438,7 @@ }, { "type": "assert_return", - "line": 201, + "line": 202, "action": { "type": "invoke", "field": "i32_load16_u", @@ -452,7 +458,7 @@ }, { "type": "assert_return", - "line": 203, + "line": 204, "action": { "type": "invoke", "field": "i32_load8_s", @@ -472,7 +478,7 @@ }, { "type": "assert_return", - "line": 204, + "line": 205, "action": { "type": "invoke", "field": "i32_load8_s", @@ -492,7 +498,7 @@ }, { "type": "assert_return", - "line": 205, + "line": 206, "action": { "type": "invoke", "field": "i32_load8_u", @@ -512,7 +518,7 @@ }, { "type": "assert_return", - "line": 206, + "line": 207, "action": { "type": "invoke", "field": "i32_load8_u", @@ -532,7 +538,7 @@ }, { "type": "assert_return", - "line": 207, + "line": 208, "action": { "type": "invoke", "field": "i32_load16_s", @@ -552,7 +558,7 @@ }, { "type": "assert_return", - "line": 208, + "line": 209, "action": { "type": "invoke", "field": "i32_load16_s", @@ -572,7 +578,7 @@ }, { "type": "assert_return", - "line": 209, + "line": 210, "action": { "type": "invoke", "field": "i32_load16_u", @@ -592,7 +598,7 @@ }, { "type": "assert_return", - "line": 210, + "line": 211, "action": { "type": "invoke", "field": "i32_load16_u", @@ -612,7 +618,7 @@ }, { "type": "assert_return", - "line": 212, + "line": 213, "action": { "type": "invoke", "field": "i64_load8_s", @@ -632,7 +638,7 @@ }, { "type": "assert_return", - "line": 213, + "line": 214, "action": { "type": "invoke", "field": "i64_load8_u", @@ -652,7 +658,7 @@ }, { "type": "assert_return", - "line": 214, + "line": 215, "action": { "type": "invoke", "field": "i64_load16_s", @@ -672,7 +678,7 @@ }, { "type": "assert_return", - "line": 215, + "line": 216, "action": { "type": "invoke", "field": "i64_load16_u", @@ -692,7 +698,7 @@ }, { "type": "assert_return", - "line": 216, + "line": 217, "action": { "type": "invoke", "field": "i64_load32_s", @@ -712,7 +718,7 @@ }, { "type": "assert_return", - "line": 217, + "line": 218, "action": { "type": "invoke", "field": "i64_load32_u", @@ -732,7 +738,7 @@ }, { "type": "assert_return", - "line": 219, + "line": 220, "action": { "type": "invoke", "field": "i64_load8_s", @@ -752,7 +758,7 @@ }, { "type": "assert_return", - "line": 220, + "line": 221, "action": { "type": "invoke", "field": "i64_load8_u", @@ -772,7 +778,7 @@ }, { "type": "assert_return", - "line": 221, + "line": 222, "action": { "type": "invoke", "field": "i64_load16_s", @@ -792,7 +798,7 @@ }, { "type": "assert_return", - "line": 222, + "line": 223, "action": { "type": "invoke", "field": "i64_load16_u", @@ -812,7 +818,7 @@ }, { "type": "assert_return", - "line": 223, + "line": 224, "action": { "type": "invoke", "field": "i64_load32_s", @@ -832,7 +838,7 @@ }, { "type": "assert_return", - "line": 224, + "line": 225, "action": { "type": "invoke", "field": "i64_load32_u", @@ -852,7 +858,7 @@ }, { "type": "assert_return", - "line": 226, + "line": 227, "action": { "type": "invoke", "field": "i64_load8_s", @@ -872,7 +878,7 @@ }, { "type": "assert_return", - "line": 227, + "line": 228, "action": { "type": "invoke", "field": "i64_load8_s", @@ -892,7 +898,7 @@ }, { "type": "assert_return", - "line": 228, + "line": 229, "action": { "type": "invoke", "field": "i64_load8_u", @@ -912,7 +918,7 @@ }, { "type": "assert_return", - "line": 229, + "line": 230, "action": { "type": "invoke", "field": "i64_load8_u", @@ -932,7 +938,7 @@ }, { "type": "assert_return", - "line": 230, + "line": 231, "action": { "type": "invoke", "field": "i64_load16_s", @@ -952,7 +958,7 @@ }, { "type": "assert_return", - "line": 231, + "line": 232, "action": { "type": "invoke", "field": "i64_load16_s", @@ -972,7 +978,7 @@ }, { "type": "assert_return", - "line": 232, + "line": 233, "action": { "type": "invoke", "field": "i64_load16_u", @@ -992,7 +998,7 @@ }, { "type": "assert_return", - "line": 233, + "line": 234, "action": { "type": "invoke", "field": "i64_load16_u", @@ -1012,7 +1018,7 @@ }, { "type": "assert_return", - "line": 234, + "line": 235, "action": { "type": "invoke", "field": "i64_load32_s", @@ -1032,7 +1038,7 @@ }, { "type": "assert_return", - "line": 235, + "line": 236, "action": { "type": "invoke", "field": "i64_load32_s", @@ -1052,7 +1058,7 @@ }, { "type": "assert_return", - "line": 236, + "line": 237, "action": { "type": "invoke", "field": "i64_load32_u", @@ -1072,7 +1078,7 @@ }, { "type": "assert_return", - "line": 237, + "line": 238, "action": { "type": "invoke", "field": "i64_load32_u", @@ -1092,34 +1098,34 @@ }, { "type": "assert_malformed", - "line": 241, - "filename": "memory.32.wat", + "line": 242, + "filename": "memory.33.wat", "module_type": "text", "text": "duplicate memory" }, { "type": "assert_malformed", - "line": 245, - "filename": "memory.33.wat", + "line": 246, + "filename": "memory.34.wat", "module_type": "text", "text": "duplicate memory" }, { "type": "assert_malformed", - "line": 249, - "filename": "memory.34.wat", + "line": 250, + "filename": "memory.35.wat", "module_type": "text", "text": "duplicate memory" }, { "type": "module", - "line": 256, - "filename": "memory.35.wasm", + "line": 257, + "filename": "memory.36.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 270, + "line": 271, "action": { "type": "invoke", "field": "load", @@ -1139,7 +1145,7 @@ }, { "type": "assert_return", - "line": 271, + "line": 272, "action": { "type": "invoke", "field": "load", @@ -1159,7 +1165,7 @@ }, { "type": "assert_return", - "line": 272, + "line": 273, "action": { "type": "invoke", "field": "load", @@ -1179,7 +1185,7 @@ }, { "type": "assert_return", - "line": 273, + "line": 274, "action": { "type": "invoke", "field": "load", @@ -1199,7 +1205,7 @@ }, { "type": "assert_return", - "line": 274, + "line": 275, "action": { "type": "invoke", "field": "load", @@ -1219,7 +1225,7 @@ }, { "type": "assert_return", - "line": 275, + "line": 276, "action": { "type": "invoke", "field": "load", @@ -1239,7 +1245,7 @@ }, { "type": "assert_return", - "line": 276, + "line": 277, "action": { "type": "invoke", "field": "load", @@ -1259,7 +1265,7 @@ }, { "type": "assert_return", - "line": 277, + "line": 278, "action": { "type": "invoke", "field": "load", diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/10.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/10.print deleted file mode 100644 index 4eb767d55f..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/10.print +++ /dev/null @@ -1,9 +0,0 @@ -(module - (type (;0;) (func (result i32))) - (memory (;0;) 1 1) - (export "memsize" (func 0)) - (func (;0;) (type 0) (result i32) - memory.size - ) - (data (;0;) (i32.const 0) "x") -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/11.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/11.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory.wast/11.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/11.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/34.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/34.print deleted file mode 100644 index 8d87e11de2..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/34.print +++ /dev/null @@ -1,154 +0,0 @@ -(module - (type (;0;) (func (result i32))) - (type (;1;) (func (result f64))) - (type (;2;) (func (param i32) (result i32))) - (type (;3;) (func (param i64) (result i64))) - (memory (;0;) 1) - (export "data" (func 0)) - (export "cast" (func 1)) - (export "i32_load8_s" (func 2)) - (export "i32_load8_u" (func 3)) - (export "i32_load16_s" (func 4)) - (export "i32_load16_u" (func 5)) - (export "i64_load8_s" (func 6)) - (export "i64_load8_u" (func 7)) - (export "i64_load16_s" (func 8)) - (export "i64_load16_u" (func 9)) - (export "i64_load32_s" (func 10)) - (export "i64_load32_u" (func 11)) - (func (;0;) (type 0) (result i32) - i32.const 0 - i32.load8_u - i32.const 65 - i32.eq - i32.const 3 - i32.load8_u - i32.const 167 - i32.eq - i32.and - i32.const 6 - i32.load8_u - i32.const 0 - i32.eq - i32.const 19 - i32.load8_u - i32.const 0 - i32.eq - i32.and - i32.and - i32.const 20 - i32.load8_u - i32.const 87 - i32.eq - i32.const 23 - i32.load8_u - i32.const 77 - i32.eq - i32.and - i32.const 24 - i32.load8_u - i32.const 0 - i32.eq - i32.const 1023 - i32.load8_u - i32.const 0 - i32.eq - i32.and - i32.and - i32.and - ) - (func (;1;) (type 1) (result f64) - i32.const 8 - i64.const -12345 - i64.store - i32.const 8 - f64.load - i64.const -12345 - f64.reinterpret_i64 - f64.eq - if ;; label = @1 - f64.const 0x0p+0 (;=0;) - return - end - i32.const 9 - i64.const 0 - i64.store align=1 - i32.const 15 - i32.const 16453 - i32.store16 align=1 - i32.const 9 - f64.load align=1 - ) - (func (;2;) (type 2) (param $i i32) (result i32) - i32.const 8 - local.get $i - i32.store8 - i32.const 8 - i32.load8_s - ) - (func (;3;) (type 2) (param $i i32) (result i32) - i32.const 8 - local.get $i - i32.store8 - i32.const 8 - i32.load8_u - ) - (func (;4;) (type 2) (param $i i32) (result i32) - i32.const 8 - local.get $i - i32.store16 - i32.const 8 - i32.load16_s - ) - (func (;5;) (type 2) (param $i i32) (result i32) - i32.const 8 - local.get $i - i32.store16 - i32.const 8 - i32.load16_u - ) - (func (;6;) (type 3) (param $i i64) (result i64) - i32.const 8 - local.get $i - i64.store8 - i32.const 8 - i64.load8_s - ) - (func (;7;) (type 3) (param $i i64) (result i64) - i32.const 8 - local.get $i - i64.store8 - i32.const 8 - i64.load8_u - ) - (func (;8;) (type 3) (param $i i64) (result i64) - i32.const 8 - local.get $i - i64.store16 - i32.const 8 - i64.load16_s - ) - (func (;9;) (type 3) (param $i i64) (result i64) - i32.const 8 - local.get $i - i64.store16 - i32.const 8 - i64.load16_u - ) - (func (;10;) (type 3) (param $i i64) (result i64) - i32.const 8 - local.get $i - i64.store32 - i32.const 8 - i64.load32_s - ) - (func (;11;) (type 3) (param $i i64) (result i64) - i32.const 8 - local.get $i - i64.store32 - i32.const 8 - i64.load32_u - ) - (data (;0;) (i32.const 0) "ABC\a7D") - (data (;1;) (i32.const 20) "WASM") -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/35.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/35.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory.wast/35.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/35.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/5.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/5.print index f9f43cf789..0220e5421f 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/5.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/5.print @@ -1,3 +1,3 @@ (module - (memory (;0;) 0 65536) + (memory (;0;) 65536) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/6.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/6.print index 6604488ce4..f9f43cf789 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/6.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/6.print @@ -1,9 +1,3 @@ (module - (type (;0;) (func (result i32))) - (memory (;0;) 0 0) - (export "memsize" (func 0)) - (func (;0;) (type 0) (result i32) - memory.size - ) - (data (;0;) (i32.const 0) "") + (memory (;0;) 0 65536) ) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/7.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/7.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory.wast/7.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/7.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/8.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/8.print deleted file mode 100644 index 6604488ce4..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/8.print +++ /dev/null @@ -1,9 +0,0 @@ -(module - (type (;0;) (func (result i32))) - (memory (;0;) 0 0) - (export "memsize" (func 0)) - (func (;0;) (type 0) (result i32) - memory.size - ) - (data (;0;) (i32.const 0) "") -) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/80.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/80.print deleted file mode 100644 index 5402b2b5a2..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/80.print +++ /dev/null @@ -1,16 +0,0 @@ -(module - (type (;0;) (func (param i32) (result i32))) - (memory (;0;) 1 1) - (global (;0;) i32 i32.const 10000) - (global (;1;) i32 i32.const 10000) - (global (;2;) i32 i32.const 10000) - (export "memory" (memory 0)) - (export "__data_end" (global 0)) - (export "__stack_top" (global 1)) - (export "__heap_base" (global 2)) - (export "load" (func 0)) - (func (;0;) (type 0) (param i32) (result i32) - local.get 0 - i32.load8_u - ) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/81.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/81.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory.wast/81.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/81.print diff --git a/tests/snapshots/testsuite/proposals/memory64/memory.wast/9.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/9.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory.wast/9.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory.wast/9.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast.json b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast.json index 464c0abde2..fa6dc12174 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast.json +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast.json @@ -25,15 +25,27 @@ "filename": "memory64.3.wasm", "module_type": "binary" }, + { + "type": "module_definition", + "line": 8, + "filename": "memory64.4.wasm", + "module_type": "binary" + }, { "type": "module", "line": 9, - "filename": "memory64.4.wasm", + "filename": "memory64.5.wasm", + "module_type": "binary" + }, + { + "type": "module", + "line": 11, + "filename": "memory64.6.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 10, + "line": 12, "action": { "type": "invoke", "field": "memsize", @@ -48,13 +60,13 @@ }, { "type": "module", - "line": 11, - "filename": "memory64.5.wasm", + "line": 13, + "filename": "memory64.7.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 12, + "line": 14, "action": { "type": "invoke", "field": "memsize", @@ -69,13 +81,13 @@ }, { "type": "module", - "line": 13, - "filename": "memory64.6.wasm", + "line": 15, + "filename": "memory64.8.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 14, + "line": 16, "action": { "type": "invoke", "field": "memsize", @@ -88,20 +100,6 @@ } ] }, - { - "type": "assert_invalid", - "line": 16, - "filename": "memory64.7.wasm", - "module_type": "binary", - "text": "unknown memory" - }, - { - "type": "assert_invalid", - "line": 17, - "filename": "memory64.8.wasm", - "module_type": "binary", - "text": "unknown memory" - }, { "type": "assert_invalid", "line": 18, @@ -111,90 +109,104 @@ }, { "type": "assert_invalid", - "line": 21, + "line": 19, "filename": "memory64.10.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 25, + "line": 20, "filename": "memory64.11.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 29, + "line": 23, "filename": "memory64.12.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 33, + "line": 27, "filename": "memory64.13.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 37, + "line": 31, "filename": "memory64.14.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 41, + "line": 35, "filename": "memory64.15.wasm", "module_type": "binary", "text": "unknown memory" }, { "type": "assert_invalid", - "line": 47, + "line": 39, "filename": "memory64.16.wasm", "module_type": "binary", - "text": "size minimum must not be greater than maximum" + "text": "unknown memory" }, { "type": "assert_invalid", - "line": 52, + "line": 43, "filename": "memory64.17.wasm", "module_type": "binary", - "text": "memory size" + "text": "unknown memory" }, { "type": "assert_invalid", - "line": 56, + "line": 49, "filename": "memory64.18.wasm", "module_type": "binary", - "text": "memory size" + "text": "size minimum must not be greater than maximum" }, { "type": "assert_invalid", - "line": 61, + "line": 54, "filename": "memory64.19.wasm", "module_type": "binary", "text": "memory size" }, { "type": "assert_invalid", - "line": 65, + "line": 58, "filename": "memory64.20.wasm", "module_type": "binary", "text": "memory size" }, { - "type": "module", - "line": 69, + "type": "assert_invalid", + "line": 63, "filename": "memory64.21.wasm", + "module_type": "binary", + "text": "memory size" + }, + { + "type": "assert_invalid", + "line": 67, + "filename": "memory64.22.wasm", + "module_type": "binary", + "text": "memory size" + }, + { + "type": "module", + "line": 71, + "filename": "memory64.23.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 157, + "line": 159, "action": { "type": "invoke", "field": "data", @@ -209,7 +221,7 @@ }, { "type": "assert_return", - "line": 158, + "line": 160, "action": { "type": "invoke", "field": "cast", @@ -224,7 +236,7 @@ }, { "type": "assert_return", - "line": 160, + "line": 162, "action": { "type": "invoke", "field": "i32_load8_s", @@ -244,7 +256,7 @@ }, { "type": "assert_return", - "line": 161, + "line": 163, "action": { "type": "invoke", "field": "i32_load8_u", @@ -264,7 +276,7 @@ }, { "type": "assert_return", - "line": 162, + "line": 164, "action": { "type": "invoke", "field": "i32_load16_s", @@ -284,7 +296,7 @@ }, { "type": "assert_return", - "line": 163, + "line": 165, "action": { "type": "invoke", "field": "i32_load16_u", @@ -304,7 +316,7 @@ }, { "type": "assert_return", - "line": 165, + "line": 167, "action": { "type": "invoke", "field": "i32_load8_s", @@ -324,7 +336,7 @@ }, { "type": "assert_return", - "line": 166, + "line": 168, "action": { "type": "invoke", "field": "i32_load8_u", @@ -344,7 +356,7 @@ }, { "type": "assert_return", - "line": 167, + "line": 169, "action": { "type": "invoke", "field": "i32_load16_s", @@ -364,7 +376,7 @@ }, { "type": "assert_return", - "line": 168, + "line": 170, "action": { "type": "invoke", "field": "i32_load16_u", @@ -384,7 +396,7 @@ }, { "type": "assert_return", - "line": 170, + "line": 172, "action": { "type": "invoke", "field": "i32_load8_s", @@ -404,7 +416,7 @@ }, { "type": "assert_return", - "line": 171, + "line": 173, "action": { "type": "invoke", "field": "i32_load8_s", @@ -424,7 +436,7 @@ }, { "type": "assert_return", - "line": 172, + "line": 174, "action": { "type": "invoke", "field": "i32_load8_u", @@ -444,7 +456,7 @@ }, { "type": "assert_return", - "line": 173, + "line": 175, "action": { "type": "invoke", "field": "i32_load8_u", @@ -464,7 +476,7 @@ }, { "type": "assert_return", - "line": 174, + "line": 176, "action": { "type": "invoke", "field": "i32_load16_s", @@ -484,7 +496,7 @@ }, { "type": "assert_return", - "line": 175, + "line": 177, "action": { "type": "invoke", "field": "i32_load16_s", @@ -504,7 +516,7 @@ }, { "type": "assert_return", - "line": 176, + "line": 178, "action": { "type": "invoke", "field": "i32_load16_u", @@ -524,7 +536,7 @@ }, { "type": "assert_return", - "line": 177, + "line": 179, "action": { "type": "invoke", "field": "i32_load16_u", @@ -544,7 +556,7 @@ }, { "type": "assert_return", - "line": 179, + "line": 181, "action": { "type": "invoke", "field": "i64_load8_s", @@ -564,7 +576,7 @@ }, { "type": "assert_return", - "line": 180, + "line": 182, "action": { "type": "invoke", "field": "i64_load8_u", @@ -584,7 +596,7 @@ }, { "type": "assert_return", - "line": 181, + "line": 183, "action": { "type": "invoke", "field": "i64_load16_s", @@ -604,7 +616,7 @@ }, { "type": "assert_return", - "line": 182, + "line": 184, "action": { "type": "invoke", "field": "i64_load16_u", @@ -624,7 +636,7 @@ }, { "type": "assert_return", - "line": 183, + "line": 185, "action": { "type": "invoke", "field": "i64_load32_s", @@ -644,7 +656,7 @@ }, { "type": "assert_return", - "line": 184, + "line": 186, "action": { "type": "invoke", "field": "i64_load32_u", @@ -664,7 +676,7 @@ }, { "type": "assert_return", - "line": 186, + "line": 188, "action": { "type": "invoke", "field": "i64_load8_s", @@ -684,7 +696,7 @@ }, { "type": "assert_return", - "line": 187, + "line": 189, "action": { "type": "invoke", "field": "i64_load8_u", @@ -704,7 +716,7 @@ }, { "type": "assert_return", - "line": 188, + "line": 190, "action": { "type": "invoke", "field": "i64_load16_s", @@ -724,7 +736,7 @@ }, { "type": "assert_return", - "line": 189, + "line": 191, "action": { "type": "invoke", "field": "i64_load16_u", @@ -744,7 +756,7 @@ }, { "type": "assert_return", - "line": 190, + "line": 192, "action": { "type": "invoke", "field": "i64_load32_s", @@ -764,7 +776,7 @@ }, { "type": "assert_return", - "line": 191, + "line": 193, "action": { "type": "invoke", "field": "i64_load32_u", @@ -784,7 +796,7 @@ }, { "type": "assert_return", - "line": 193, + "line": 195, "action": { "type": "invoke", "field": "i64_load8_s", @@ -804,7 +816,7 @@ }, { "type": "assert_return", - "line": 194, + "line": 196, "action": { "type": "invoke", "field": "i64_load8_s", @@ -824,7 +836,7 @@ }, { "type": "assert_return", - "line": 195, + "line": 197, "action": { "type": "invoke", "field": "i64_load8_u", @@ -844,7 +856,7 @@ }, { "type": "assert_return", - "line": 196, + "line": 198, "action": { "type": "invoke", "field": "i64_load8_u", @@ -864,7 +876,7 @@ }, { "type": "assert_return", - "line": 197, + "line": 199, "action": { "type": "invoke", "field": "i64_load16_s", @@ -884,7 +896,7 @@ }, { "type": "assert_return", - "line": 198, + "line": 200, "action": { "type": "invoke", "field": "i64_load16_s", @@ -904,7 +916,7 @@ }, { "type": "assert_return", - "line": 199, + "line": 201, "action": { "type": "invoke", "field": "i64_load16_u", @@ -924,7 +936,7 @@ }, { "type": "assert_return", - "line": 200, + "line": 202, "action": { "type": "invoke", "field": "i64_load16_u", @@ -944,7 +956,7 @@ }, { "type": "assert_return", - "line": 201, + "line": 203, "action": { "type": "invoke", "field": "i64_load32_s", @@ -964,7 +976,7 @@ }, { "type": "assert_return", - "line": 202, + "line": 204, "action": { "type": "invoke", "field": "i64_load32_s", @@ -984,7 +996,7 @@ }, { "type": "assert_return", - "line": 203, + "line": 205, "action": { "type": "invoke", "field": "i64_load32_u", @@ -1004,7 +1016,7 @@ }, { "type": "assert_return", - "line": 204, + "line": 206, "action": { "type": "invoke", "field": "i64_load32_u", diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/10.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/10.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory64.wast/10.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/10.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/24.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/24.print deleted file mode 100644 index c283a961f3..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/24.print +++ /dev/null @@ -1,154 +0,0 @@ -(module - (type (;0;) (func (result i32))) - (type (;1;) (func (result f64))) - (type (;2;) (func (param i32) (result i32))) - (type (;3;) (func (param i64) (result i64))) - (memory (;0;) i64 1) - (export "data" (func 0)) - (export "cast" (func 1)) - (export "i32_load8_s" (func 2)) - (export "i32_load8_u" (func 3)) - (export "i32_load16_s" (func 4)) - (export "i32_load16_u" (func 5)) - (export "i64_load8_s" (func 6)) - (export "i64_load8_u" (func 7)) - (export "i64_load16_s" (func 8)) - (export "i64_load16_u" (func 9)) - (export "i64_load32_s" (func 10)) - (export "i64_load32_u" (func 11)) - (func (;0;) (type 0) (result i32) - i64.const 0 - i32.load8_u - i32.const 65 - i32.eq - i64.const 3 - i32.load8_u - i32.const 167 - i32.eq - i32.and - i64.const 6 - i32.load8_u - i32.const 0 - i32.eq - i64.const 19 - i32.load8_u - i32.const 0 - i32.eq - i32.and - i32.and - i64.const 20 - i32.load8_u - i32.const 87 - i32.eq - i64.const 23 - i32.load8_u - i32.const 77 - i32.eq - i32.and - i64.const 24 - i32.load8_u - i32.const 0 - i32.eq - i64.const 1023 - i32.load8_u - i32.const 0 - i32.eq - i32.and - i32.and - i32.and - ) - (func (;1;) (type 1) (result f64) - i64.const 8 - i64.const -12345 - i64.store - i64.const 8 - f64.load - i64.const -12345 - f64.reinterpret_i64 - f64.eq - if ;; label = @1 - f64.const 0x0p+0 (;=0;) - return - end - i64.const 9 - i64.const 0 - i64.store align=1 - i64.const 15 - i32.const 16453 - i32.store16 align=1 - i64.const 9 - f64.load align=1 - ) - (func (;2;) (type 2) (param $i i32) (result i32) - i64.const 8 - local.get $i - i32.store8 - i64.const 8 - i32.load8_s - ) - (func (;3;) (type 2) (param $i i32) (result i32) - i64.const 8 - local.get $i - i32.store8 - i64.const 8 - i32.load8_u - ) - (func (;4;) (type 2) (param $i i32) (result i32) - i64.const 8 - local.get $i - i32.store16 - i64.const 8 - i32.load16_s - ) - (func (;5;) (type 2) (param $i i32) (result i32) - i64.const 8 - local.get $i - i32.store16 - i64.const 8 - i32.load16_u - ) - (func (;6;) (type 3) (param $i i64) (result i64) - i64.const 8 - local.get $i - i64.store8 - i64.const 8 - i64.load8_s - ) - (func (;7;) (type 3) (param $i i64) (result i64) - i64.const 8 - local.get $i - i64.store8 - i64.const 8 - i64.load8_u - ) - (func (;8;) (type 3) (param $i i64) (result i64) - i64.const 8 - local.get $i - i64.store16 - i64.const 8 - i64.load16_s - ) - (func (;9;) (type 3) (param $i i64) (result i64) - i64.const 8 - local.get $i - i64.store16 - i64.const 8 - i64.load16_u - ) - (func (;10;) (type 3) (param $i i64) (result i64) - i64.const 8 - local.get $i - i64.store32 - i64.const 8 - i64.load32_s - ) - (func (;11;) (type 3) (param $i i64) (result i64) - i64.const 8 - local.get $i - i64.store32 - i64.const 8 - i64.load32_u - ) - (data (;0;) (i64.const 0) "ABC\a7D") - (data (;1;) (i64.const 20) "WASM") -) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/26.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/26.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory64.wast/26.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/26.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/4.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/4.print index 5701a95426..b4b6cfbbde 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/4.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/4.print @@ -1,9 +1,3 @@ (module - (type (;0;) (func (result i64))) - (memory (;0;) i64 0 0) - (export "memsize" (func 0)) - (func (;0;) (type 0) (result i64) - memory.size - ) - (data (;0;) (i64.const 0) "") + (memory (;0;) i64 281474976710656) ) diff --git a/tests/snapshots/testsuite/proposals/memory64/memory64.wast/5.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/5.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/memory64.wast/5.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/5.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/8.print b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/8.print index 0a9fa8045f..5701a95426 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/8.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/memory64.wast/8.print @@ -1,9 +1,9 @@ (module (type (;0;) (func (result i64))) - (memory (;0;) i64 1 1) + (memory (;0;) i64 0 0) (export "memsize" (func 0)) (func (;0;) (type 0) (result i64) memory.size ) - (data (;0;) (i64.const 0) "x") + (data (;0;) (i64.const 0) "") ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast.json b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast.json index c31408366e..6798a55c5d 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast.json +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast.json @@ -38,14 +38,14 @@ "module_type": "binary" }, { - "type": "module", + "type": "module_definition", "line": 9, "filename": "table.6.wasm", "module_type": "binary" }, { "type": "module", - "line": 11, + "line": 10, "filename": "table.7.wasm", "module_type": "binary" }, @@ -63,7 +63,7 @@ }, { "type": "module", - "line": 15, + "line": 14, "filename": "table.10.wasm", "module_type": "binary" }, @@ -75,7 +75,7 @@ }, { "type": "module", - "line": 18, + "line": 17, "filename": "table.12.wasm", "module_type": "binary" }, @@ -92,11 +92,10 @@ "module_type": "binary" }, { - "type": "assert_invalid", - "line": 22, + "type": "module", + "line": 21, "filename": "table.15.wasm", - "module_type": "binary", - "text": "unknown table" + "module_type": "binary" }, { "type": "assert_invalid", @@ -107,29 +106,28 @@ }, { "type": "assert_invalid", - "line": 26, + "line": 24, "filename": "table.17.wasm", "module_type": "binary", - "text": "size minimum must not be greater than maximum" + "text": "unknown table" }, { "type": "assert_invalid", - "line": 30, + "line": 27, "filename": "table.18.wasm", "module_type": "binary", "text": "size minimum must not be greater than maximum" }, { "type": "assert_invalid", - "line": 35, - "filename": "table.19.wat", - "module_type": "text", - "binary_filename": "table.19.wasm", - "text": "table size" + "line": 31, + "filename": "table.19.wasm", + "module_type": "binary", + "text": "size minimum must not be greater than maximum" }, { "type": "assert_invalid", - "line": 39, + "line": 36, "filename": "table.20.wat", "module_type": "text", "binary_filename": "table.20.wasm", @@ -137,17 +135,19 @@ }, { "type": "assert_invalid", - "line": 43, + "line": 40, "filename": "table.21.wat", "module_type": "text", "binary_filename": "table.21.wasm", "text": "table size" }, { - "type": "module", - "line": 49, - "filename": "table.22.wasm", - "module_type": "binary" + "type": "assert_invalid", + "line": 44, + "filename": "table.22.wat", + "module_type": "text", + "binary_filename": "table.22.wasm", + "text": "table size" }, { "type": "module", @@ -187,113 +187,137 @@ }, { "type": "module", - "line": 57, + "line": 56, "filename": "table.29.wasm", "module_type": "binary" }, { "type": "module", - "line": 58, + "line": 57, "filename": "table.30.wasm", "module_type": "binary" }, { - "type": "assert_invalid", - "line": 61, + "type": "module_definition", + "line": 58, "filename": "table.31.wasm", - "module_type": "binary", - "text": "size minimum must not be greater than maximum" + "module_type": "binary" + }, + { + "type": "module", + "line": 59, + "filename": "table.32.wasm", + "module_type": "binary" + }, + { + "type": "module", + "line": 61, + "filename": "table.33.wasm", + "module_type": "binary" + }, + { + "type": "module", + "line": 62, + "filename": "table.34.wasm", + "module_type": "binary" }, { "type": "assert_invalid", "line": 65, - "filename": "table.32.wasm", + "filename": "table.35.wasm", "module_type": "binary", "text": "size minimum must not be greater than maximum" }, { "type": "assert_invalid", - "line": 71, - "filename": "table.33.wasm", + "line": 69, + "filename": "table.36.wasm", "module_type": "binary", - "text": "unknown table" + "text": "size minimum must not be greater than maximum" }, { "type": "assert_invalid", - "line": 72, - "filename": "table.34.wasm", + "line": 75, + "filename": "table.37.wasm", "module_type": "binary", "text": "unknown table" }, { "type": "assert_invalid", - "line": 75, - "filename": "table.35.wasm", + "line": 76, + "filename": "table.38.wasm", "module_type": "binary", - "text": "type mismatch" + "text": "unknown table" }, { "type": "assert_invalid", "line": 79, - "filename": "table.36.wasm", + "filename": "table.39.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_invalid", "line": 83, - "filename": "table.37.wasm", + "filename": "table.40.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_invalid", "line": 87, - "filename": "table.38.wasm", + "filename": "table.41.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_invalid", "line": 91, - "filename": "table.39.wasm", + "filename": "table.42.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_invalid", "line": 95, - "filename": "table.40.wasm", + "filename": "table.43.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_invalid", "line": 99, - "filename": "table.41.wasm", + "filename": "table.44.wasm", + "module_type": "binary", + "text": "type mismatch" + }, + { + "type": "assert_invalid", + "line": 103, + "filename": "table.45.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "module", - "line": 106, - "filename": "table.42.wasm", + "line": 110, + "filename": "table.46.wasm", "module_type": "binary" }, { "type": "register", - "line": 111, + "line": 115, "as": "M" }, { "type": "module", - "line": 113, - "filename": "table.43.wasm", + "line": 117, + "filename": "table.47.wasm", "module_type": "binary" }, { "type": "assert_return", - "line": 132, + "line": 136, "action": { "type": "invoke", "field": "get1", @@ -307,7 +331,7 @@ }, { "type": "assert_return", - "line": 133, + "line": 137, "action": { "type": "invoke", "field": "get2", @@ -321,7 +345,7 @@ }, { "type": "assert_return", - "line": 134, + "line": 138, "action": { "type": "invoke", "field": "get3", @@ -335,7 +359,7 @@ }, { "type": "assert_return", - "line": 135, + "line": 139, "action": { "type": "invoke", "field": "get4", @@ -349,7 +373,7 @@ }, { "type": "assert_return", - "line": 136, + "line": 140, "action": { "type": "invoke", "field": "get5", @@ -363,43 +387,43 @@ }, { "type": "assert_invalid", - "line": 140, - "filename": "table.44.wasm", + "line": 144, + "filename": "table.48.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_invalid", - "line": 148, - "filename": "table.45.wasm", + "line": 152, + "filename": "table.49.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_invalid", - "line": 156, - "filename": "table.46.wasm", + "line": 160, + "filename": "table.50.wasm", "module_type": "binary", "text": "type mismatch" }, { "type": "assert_malformed", - "line": 167, - "filename": "table.47.wat", + "line": 171, + "filename": "table.51.wat", "module_type": "text", "text": "duplicate table" }, { "type": "assert_malformed", - "line": 174, - "filename": "table.48.wat", + "line": 178, + "filename": "table.52.wat", "module_type": "text", "text": "duplicate table" }, { "type": "assert_malformed", - "line": 181, - "filename": "table.49.wat", + "line": 185, + "filename": "table.53.wat", "module_type": "text", "text": "duplicate table" } diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/10.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/10.print index 62a4d8a622..7e017d6dd5 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/10.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/10.print @@ -1,4 +1,4 @@ (module - (table (;0;) 0 funcref) - (table (;1;) 0 funcref) + (type $t (;0;) (func)) + (table (;0;) 1 (ref null $t)) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/11.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/11.print index 9bd224ef6e..62a4d8a622 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/11.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/11.print @@ -1,4 +1,4 @@ (module - (import "spectest" "table" (table (;0;) 0 funcref)) + (table (;0;) 0 funcref) (table (;1;) 0 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/12.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/12.print index 4536581d39..9bd224ef6e 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/12.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/12.print @@ -1,3 +1,4 @@ (module - (table (;0;) 0 funcref ref.null func) + (import "spectest" "table" (table (;0;) 0 funcref)) + (table (;1;) 0 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/13.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/13.print index 02def44af8..4536581d39 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/13.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/13.print @@ -1,3 +1,3 @@ (module - (table (;0;) 1 funcref ref.null func) + (table (;0;) 0 funcref ref.null func) ) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/15.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/15.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/table.wast/15.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/15.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/22.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/22.print deleted file mode 100644 index 9084e1d25c..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/22.print +++ /dev/null @@ -1,3 +0,0 @@ -(module - (table (;0;) i64 0 funcref) -) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/23.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/23.print index 65baf8600d..9084e1d25c 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/23.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/23.print @@ -1,3 +1,3 @@ (module - (table (;0;) i64 1 funcref) + (table (;0;) i64 0 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/24.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/24.print index b9687a915c..65baf8600d 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/24.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/24.print @@ -1,3 +1,3 @@ (module - (table (;0;) i64 0 0 funcref) + (table (;0;) i64 1 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/25.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/25.print index 5fd506db0a..b9687a915c 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/25.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/25.print @@ -1,3 +1,3 @@ (module - (table (;0;) i64 0 1 funcref) + (table (;0;) i64 0 0 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/26.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/26.print index 4656493352..5fd506db0a 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/26.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/26.print @@ -1,3 +1,3 @@ (module - (table (;0;) i64 1 256 funcref) + (table (;0;) i64 0 1 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/27.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/27.print index 8ad149ea5d..4656493352 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/27.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/27.print @@ -1,3 +1,3 @@ (module - (table (;0;) i64 0 65536 funcref) + (table (;0;) i64 1 256 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/28.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/28.print index 44ef206e6b..8ad149ea5d 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/28.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/28.print @@ -1,3 +1,3 @@ (module - (table (;0;) i64 0 4294967295 funcref) + (table (;0;) i64 0 65536 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/29.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/29.print index bf635bf3f9..44ef206e6b 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/29.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/29.print @@ -1,4 +1,3 @@ (module - (table (;0;) i64 0 funcref) - (table (;1;) i64 0 funcref) + (table (;0;) i64 0 4294967295 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/30.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/30.print index ec1c541c5e..c83de49111 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/30.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/30.print @@ -1,4 +1,3 @@ (module - (import "spectest" "table64" (table (;0;) i64 0 funcref)) - (table (;1;) i64 0 funcref) + (table (;0;) i64 0 4294967296 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/31.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/31.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/table.wast/31.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/31.print diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/32.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/32.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/table.wast/32.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/32.print diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/33.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/33.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/table.wast/33.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/33.print diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/34.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/34.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/table.wast/34.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/34.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/42.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/42.print deleted file mode 100644 index 0b18be026e..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/42.print +++ /dev/null @@ -1,6 +0,0 @@ -(module - (type $f (;0;) (func)) - (global (;0;) (ref $f) ref.func $f) - (export "g" (global 0)) - (func $f (;0;) (type $f)) -) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/44.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/44.print deleted file mode 100644 index 14c7c9db29..0000000000 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/44.print +++ /dev/null @@ -1,36 +0,0 @@ -(module - (type $dummy (;0;) (func)) - (type (;1;) (func (result funcref))) - (import "M" "g" (global $g (;0;) (ref $dummy))) - (table $t1 (;0;) 10 funcref) - (table $t2 (;1;) 10 funcref ref.func $dummy) - (table $t3 (;2;) 10 (ref $dummy) ref.func $dummy) - (table $t4 (;3;) 10 funcref global.get $g) - (table $t5 (;4;) 10 (ref $dummy) global.get $g) - (export "get1" (func 1)) - (export "get2" (func 2)) - (export "get3" (func 3)) - (export "get4" (func 4)) - (export "get5" (func 5)) - (func $dummy (;0;) (type $dummy)) - (func (;1;) (type 1) (result funcref) - i32.const 1 - table.get $t1 - ) - (func (;2;) (type 1) (result funcref) - i32.const 4 - table.get $t2 - ) - (func (;3;) (type 1) (result funcref) - i32.const 7 - table.get $t3 - ) - (func (;4;) (type 1) (result funcref) - i32.const 8 - table.get $t4 - ) - (func (;5;) (type 1) (result funcref) - i32.const 9 - table.get $t5 - ) -) diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/46.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/46.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/table.wast/46.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/46.print diff --git a/tests/snapshots/testsuite/proposals/memory64/table.wast/48.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/48.print similarity index 100% rename from tests/snapshots/testsuite/proposals/memory64/table.wast/48.print rename to tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/48.print diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/6.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/6.print index 846158c61a..d051f26f15 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/6.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/6.print @@ -1,3 +1,3 @@ (module - (table (;0;) 0 4294967295 funcref) + (table (;0;) 4294967295 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/7.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/7.print index 7f62195a8d..846158c61a 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/7.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/7.print @@ -1,3 +1,3 @@ (module - (table (;0;) 1 funcref) + (table (;0;) 0 4294967295 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/8.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/8.print index 096ccf907e..7f62195a8d 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/8.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/8.print @@ -1,3 +1,3 @@ (module - (table (;0;) 1 externref) + (table (;0;) 1 funcref) ) diff --git a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/9.print b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/9.print index 7e017d6dd5..096ccf907e 100644 --- a/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/9.print +++ b/tests/snapshots/testsuite/proposals/wasm-3.0/table.wast/9.print @@ -1,4 +1,3 @@ (module - (type $t (;0;) (func)) - (table (;0;) 1 (ref null $t)) + (table (;0;) 1 externref) ) diff --git a/tests/testsuite b/tests/testsuite index 68c6f83f33..afe153617d 160000 --- a/tests/testsuite +++ b/tests/testsuite @@ -1 +1 @@ -Subproject commit 68c6f83f331081ba8aaafae3f89ce20d1cc456fb +Subproject commit afe153617d18569ce95b51ad6c2fb6550e488b74