blob: 0bd04f5cc447aa30f7b4161ea9d12989b92bb267 (
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
|
;; Test table section structure
(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 (elem (i32.const 0))) "unknown table")
(assert_invalid (module (elem (i32.const 0) $f) (func $f)) "unknown table")
(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_malformed
(module quote "(table 0x1_0000_0000 funcref)")
"i32 constant out of range"
)
(assert_malformed
(module quote "(table 0x1_0000_0000 0x1_0000_0000 funcref)")
"i32 constant out of range"
)
(assert_malformed
(module quote "(table 0 0x1_0000_0000 funcref)")
"i32 constant out of range"
)
;; 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")
|
