blob: 1fb959594d98bc592c70689ea2095fb714984a37 (
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
;;; TOOL: run-interp-spec
;;; ARGS*: --enable-memory64
;; memory64 table.wast from last commit before wasm-3.0 merge
(module (table 0 funcref))
(module (table 1 funcref))
(module (table 0 0 funcref))
(module (table 0 1 funcref))
(module (table 1 256 funcref))
(module (table 0 65536 funcref))
(module (table 0 0xffff_ffff funcref))
(module (table 0 funcref) (table 0 funcref))
(module (table (import "spectest" "table") 0 funcref) (table 0 funcref))
(assert_invalid
(module (table 1 0 funcref))
"size minimum must not be greater than maximum"
)
(assert_invalid
(module (table 0xffff_ffff 0 funcref))
"size minimum must not be greater than maximum"
)
(assert_invalid
(module quote "(table 0x1_0000_0000 funcref)")
"table size must be at most 2^32-1"
)
(assert_invalid
(module quote "(table 0x1_0000_0000 0x1_0000_0000 funcref)")
"table size must be at most 2^32-1"
)
(assert_invalid
(module quote "(table 0 0x1_0000_0000 funcref)")
"table size must be at most 2^32-1"
)
;; Same as above but with i64 index types
(module (table i64 0 funcref))
(module (table i64 1 funcref))
(module (table i64 0 0 funcref))
(module (table i64 0 1 funcref))
(module (table i64 1 256 funcref))
(module (table i64 0 65536 funcref))
(module (table i64 0 0xffff_ffff funcref))
(module (table i64 0 funcref) (table i64 0 funcref))
(module (table (import "spectest" "table64") i64 0 funcref) (table i64 0 funcref))
(assert_invalid
(module (table i64 1 0 funcref))
"size minimum must not be greater than maximum"
)
(assert_invalid
(module (table i64 0xffff_ffff 0 funcref))
"size minimum must not be greater than maximum"
)
;; Elem segments with no table
(assert_invalid (module (elem (i32.const 0))) "unknown table")
(assert_invalid (module (elem (i32.const 0) $f) (func $f)) "unknown table")
;; Duplicate table identifiers
(assert_malformed (module quote
"(table $foo 1 funcref)"
"(table $foo 1 funcref)")
"duplicate table")
(assert_malformed (module quote
"(import \"\" \"\" (table $foo 1 funcref))"
"(table $foo 1 funcref)")
"duplicate table")
(assert_malformed (module quote
"(import \"\" \"\" (table $foo 1 funcref))"
"(import \"\" \"\" (table $foo 1 funcref))")
"duplicate table")
(;; STDOUT ;;;
out/test/spec/memory64/table.txt:17: 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.txt:21: 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.txt:26: 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.txt:30: 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.txt:34: 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.txt:52: 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.txt:56: 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.txt:62: 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.txt:63: 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.txt:67: 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.txt:71: 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.txt:75: 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 ;;)
|
