diff options
Diffstat (limited to 'test/spec/memory64/table.txt')
| -rw-r--r-- | test/spec/memory64/table.txt | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/test/spec/memory64/table.txt b/test/spec/memory64/table.txt new file mode 100644 index 00000000..b68289c0 --- /dev/null +++ b/test/spec/memory64/table.txt @@ -0,0 +1,51 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/table.wast:15: assert_invalid passed: + out/test/spec/memory64/table/table.9.wasm:000000f: error: max elems (0) must be >= initial elems (1) + 000000f: error: OnTable callback failed +out/test/spec/memory64/table.wast:19: assert_invalid passed: + out/test/spec/memory64/table/table.10.wasm:0000013: error: max elems (0) must be >= initial elems (4294967295) + 0000013: error: OnTable callback failed +out/test/spec/memory64/table.wast:24: assert_invalid passed: + out/test/spec/memory64/table/table.11.wat:1:8: error: invalid int "0x1_0000_0000" + (table 0x1_0000_0000 funcref) + ^^^^^^^^^^^^^ +out/test/spec/memory64/table.wast:28: assert_invalid passed: + out/test/spec/memory64/table/table.12.wat:1:8: error: invalid int "0x1_0000_0000" + (table 0x1_0000_0000 0x1_0000_0000 funcref) + ^^^^^^^^^^^^^ + out/test/spec/memory64/table/table.12.wat:1:22: error: invalid int "0x1_0000_0000" + (table 0x1_0000_0000 0x1_0000_0000 funcref) + ^^^^^^^^^^^^^ +out/test/spec/memory64/table.wast:32: assert_invalid passed: + out/test/spec/memory64/table/table.13.wat:1:10: error: invalid int "0x1_0000_0000" + (table 0 0x1_0000_0000 funcref) + ^^^^^^^^^^^^^ +out/test/spec/memory64/table.wast:50: assert_invalid passed: + out/test/spec/memory64/table/table.23.wasm:000000f: error: max elems (0) must be >= initial elems (1) + 000000f: error: OnTable callback failed +out/test/spec/memory64/table.wast:54: assert_invalid passed: + out/test/spec/memory64/table/table.24.wasm:0000013: error: max elems (0) must be >= initial elems (4294967295) + 0000013: error: OnTable callback failed +out/test/spec/memory64/table.wast:60: assert_invalid passed: + out/test/spec/memory64/table/table.25.wasm:000000c: error: table variable out of range: 0 (max 0) + 000000c: error: BeginElemSegment callback failed +out/test/spec/memory64/table.wast:61: assert_invalid passed: + out/test/spec/memory64/table/table.26.wasm:0000016: error: table variable out of range: 0 (max 0) + 0000016: error: BeginElemSegment callback failed +out/test/spec/memory64/table.wast:65: assert_malformed passed: + out/test/spec/memory64/table/table.27.wat:1:24: error: redefinition of table "$foo" + (table $foo 1 funcref)(table $foo 1 funcref) + ^^^^^ +out/test/spec/memory64/table.wast:69: assert_malformed passed: + out/test/spec/memory64/table/table.28.wat:1:39: error: redefinition of table "$foo" + (import "" "" (table $foo 1 funcref))(table $foo 1 funcref) + ^^^^^ +out/test/spec/memory64/table.wast:73: assert_malformed passed: + out/test/spec/memory64/table/table.29.wat:1:39: error: redefinition of table "$foo" + (import "" "" (table $foo 1 funcref))(import "" "" (table $foo 1 funcref)) + ^^^^^^ +30/30 tests passed. +;;; STDOUT ;;) |