4 (@@) (@$) (@+) (@0) (@.) (@!$@#$23414@#$)
6 (@a x-y $yz "aa" -2 0.3 0x3)
8 (@a block func module i32.add)
9 (@a 0x 8q 0xfa #4g0-.@f#^&@#$*0sf -- @#)
10 (@a , ; ] [ }} }x{ ({) ,{{};}] ;)
11 (@a (bla) () (5-g) ("aa" a) ($x) (bla bla) (x (y)) ")" "(" x")"y)
12 (@a @ @x (@x) (@x y) (@) (@ x) (@(@(@(@)))))
18 (assert_malformed (module quote "(@a \00)") "illegal character")
19 (assert_malformed (module quote "(@a \01)") "illegal character")
20 (assert_malformed (module quote "(@a \02)") "illegal character")
21 (assert_malformed (module quote "(@a \03)") "illegal character")
22 (assert_malformed (module quote "(@a \04)") "illegal character")
23 (assert_malformed (module quote "(@a \05)") "illegal character")
24 (assert_malformed (module quote "(@a \06)") "illegal character")
25 (assert_malformed (module quote "(@a \07)") "illegal character")
26 (assert_malformed (module quote "(@a \08)") "illegal character")
27 (module quote "(@a \09)") ;; \t
28 (module quote "(@a \0a)") ;; \n
29 (assert_malformed (module quote "(@a \0b)") "illegal character")
30 (assert_malformed (module quote "(@a \0c)") "illegal character")
31 (module quote "(@a \0d)") ;; \r
32 (assert_malformed (module quote "(@a \0e)") "illegal character")
33 (assert_malformed (module quote "(@a \0f)") "illegal character")
34 (assert_malformed (module quote "(@a \10)") "illegal character")
35 (assert_malformed (module quote "(@a \11)") "illegal character")
36 (assert_malformed (module quote "(@a \12)") "illegal character")
37 (assert_malformed (module quote "(@a \13)") "illegal character")
38 (assert_malformed (module quote "(@a \14)") "illegal character")
39 (assert_malformed (module quote "(@a \15)") "illegal character")
40 (assert_malformed (module quote "(@a \16)") "illegal character")
41 (assert_malformed (module quote "(@a \17)") "illegal character")
42 (assert_malformed (module quote "(@a \18)") "illegal character")
43 (assert_malformed (module quote "(@a \19)") "illegal character")
44 (assert_malformed (module quote "(@a \1a)") "illegal character")
45 (assert_malformed (module quote "(@a \1b)") "illegal character")
46 (assert_malformed (module quote "(@a \1c)") "illegal character")
47 (assert_malformed (module quote "(@a \1d)") "illegal character")
48 (assert_malformed (module quote "(@a \1e)") "illegal character")
49 (assert_malformed (module quote "(@a \1f)") "illegal character")
50 (module quote "(@a \20)") ;; space
51 (assert_malformed (module quote "(@a \7f)") "illegal character")
52 (assert_malformed (module quote "(@a \80)") "malformed UTF-8 encoding")
53 (assert_malformed (module quote "(@a \81)") "malformed UTF-8 encoding")
54 (assert_malformed (module quote "(@a \90)") "malformed UTF-8 encoding")
55 (assert_malformed (module quote "(@a \a0)") "malformed UTF-8 encoding")
56 (assert_malformed (module quote "(@a \b0)") "malformed UTF-8 encoding")
57 (assert_malformed (module quote "(@a \c0)") "malformed UTF-8 encoding")
58 (assert_malformed (module quote "(@a \d0)") "malformed UTF-8 encoding")
59 (assert_malformed (module quote "(@a \e0)") "malformed UTF-8 encoding")
60 (assert_malformed (module quote "(@a \f0)") "malformed UTF-8 encoding")
61 (assert_malformed (module quote "(@a \ff)") "malformed UTF-8 encoding")
62 (assert_malformed (module quote "(@a Heiße Würstchen)") "illegal character")
63 (assert_malformed (module quote "(@a )") "illegal character")
65 (assert_malformed (module quote "( @a)") "unknown operator")
67 (assert_malformed (module quote "(@)") "malformed annotation id")
68 (assert_malformed (module quote "(@ )") "malformed annotation id")
69 (assert_malformed (module quote "(@ x)") "malformed annotation id")
70 (assert_malformed (module quote "(@(@a)x)") "malformed annotation id")
72 (assert_malformed (module quote "(@x ") "unclosed annotation")
73 (assert_malformed (module quote "(@x ()") "unclosed annotation")
74 (assert_malformed (module quote "(@x (y (z))") "unclosed annotation")
75 (assert_malformed (module quote "(@x (@y )") "unclosed annotation")
77 (assert_malformed (module quote "(@x))") "unexpected token")
78 (assert_malformed (module quote "(@x ()))") "unexpected token")
79 (assert_malformed (module quote "(@x (y (z))))") "unexpected token")
80 (assert_malformed (module quote "(@x (@y )))") "unexpected token")
82 (assert_malformed (module quote "(@x \"") "unclosed string")
83 (assert_malformed (module quote "(@x \")") "unclosed string")
85 (assert_malformed (module quote "((@a)@b)") "unknown operator")
86 (assert_malformed (module quote "(func $(@a))") "unknown operator")
87 (assert_malformed (module quote "(func $(@a)f)") "unknown operator")
89 ((@a) module (@a) $m (@a) (@a)
90 ((@a) import (@a) "spectest" (@a) "global_i32" (@a)
91 ((@a) global (@a) $g (@a) i32 (@a)) (@a)
93 ((@a) import (@a) "spectest" (@a) "table" (@a)
94 ((@a) table (@a) $t (@a) 10 (@a) 20 (@a) funcref (@a)) (@a)
96 ((@a) import (@a) "spectest" (@a) "memory" (@a)
97 ((@a) memory (@a) $m (@a) 1 (@a) 2 (@a)) (@a)
99 ((@a) import (@a) "spectest" (@a) "print_i32_f32" (@a)
100 ((@a) func (@a) $f (@a)
101 ((@a) param (@a) i32 (@a) f32 (@a)) (@a)
102 ((@a) result (@a)) (@a)
106 ((@a) export (@a) "g" (@a)
107 ((@a) global (@a) $g (@a)) (@a)
109 ((@a) export (@a) "t" (@a)
110 ((@a) table (@a) $t (@a)) (@a)
112 ((@a) export (@a) "m" (@a)
113 ((@a) memory (@a) $m (@a)) (@a)
115 ((@a) export (@a) "f" (@a)
116 ((@a) func (@a) $f (@a)) (@a)
120 ((@a) module (@a) $m (@a) (@a)
121 ((@a) global (@a) $g (@a)
122 ((@a) export (@a) "g" (@a)) (@a)
123 ((@a) import (@a) "spectest" (@a) "global_i32" (@a)) (@a)
126 ((@a) table (@a) $t (@a)
127 ((@a) export (@a) "t" (@a)) (@a)
128 ((@a) import (@a) "spectest" (@a) "table" (@a)) (@a)
132 ((@a) memory (@a) $m (@a)
133 ((@a) export (@a) "m" (@a)) (@a)
134 ((@a) import (@a) "spectest" (@a) "memory" (@a)) (@a)
137 ((@a) func (@a) $f (@a)
138 ((@a) export (@a) "f" (@a)) (@a)
139 ((@a) import (@a) "spectest" (@a) "print_i32_f32" (@a)) (@a)
140 ((@a) param (@a) i32 (@a) f32 (@a)) (@a)
141 ((@a) result (@a)) (@a)
145 ((@a) module (@a) $m (@a) (@a)
146 ((@a) type (@a) $T (@a)
148 ((@a) param (@a) i32 (@a) i64 (@a)) (@a)
149 ((@a) param (@a) $x (@a) i32 (@a)) (@a)
150 ((@a) result (@a) i32 (@a)) (@a)
154 ((@a) global (@a) $g (@a)
155 ((@a) export (@a) "g" (@a)) (@a)
157 ((@a) i32.const (@a) 42 (@a)) (@a)
159 ((@a) table (@a) $t (@a)
160 ((@a) export (@a) "t" (@a)) (@a)
164 ((@a) memory (@a) $m (@a)
165 ((@a) export (@a) "m" (@a)) (@a)
168 ((@a) func (@a) $f (@a)
169 ((@a) export (@a) "f" (@a)) (@a)
170 ((@a) param (@a) i32 (@a) i64 (@a)) (@a)
171 ((@a) param (@a) $x (@a) i32 (@a)) (@a)
172 ((@a) result (@a) i32 (@a)) (@a)
173 ((@a) local (@a) i32 (@a) i32 (@a)) (@a)
174 ((@a) local (@a) $y (@a) i32 (@a)) (@a)
176 ((@a) result (@a) i32 (@a)) (@a)
178 ((@a) local.get (@a) $x (@a)) (@a)
179 ((@a) local.get (@a) 0 (@a)) (@a)
185 ((@a) offset (@a) ((@a) i32.const (@a) 0 (@a)) (@a)) (@a)
186 $f (@a) $f (@a) (@a) $f (@a)
189 ((@a) offset (@a) ((@a) i32.const (@a) 0 (@a)) (@a)) (@a)
190 "bla" (@a) "\43" (@a) (@a) "" (@a)
194 ((@a) start (@a) $s (@a)) (@a)