blob: b68289c0c1b74368173f9c1f73982005866f223e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
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 ;;)
|
