ce538d9371ba6279272b8ca733ac79bb1ce61102
[platform/framework/web/lwnode.git] /
1 (@a)
2
3 (@aas-3!@$d-@#4)
4 (@@) (@$) (@+) (@0) (@.) (@!$@#$23414@#$)
5 (@a x y z)
6 (@a x-y $yz "aa" -2 0.3 0x3)
7 (@a x-y$yz"aa"-2)
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) (@(@(@(@)))))
13 (@a (;bla;) (; ) ;)
14   ;; bla)
15   ;; bla (@x
16 )
17
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")
64
65 (assert_malformed (module quote "( @a)") "unknown operator")
66
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")
71
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")
76
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")
81
82 (assert_malformed (module quote "(@x \"") "unclosed string")
83 (assert_malformed (module quote "(@x \")") "unclosed string")
84
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")
88
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)
92   ) (@a)
93   ((@a) import (@a) "spectest" (@a) "table" (@a)
94     ((@a) table (@a) $t (@a) 10 (@a) 20 (@a) funcref (@a)) (@a)
95   ) (@a)
96   ((@a) import (@a) "spectest" (@a) "memory" (@a)
97     ((@a) memory (@a) $m (@a) 1 (@a) 2 (@a)) (@a)
98   ) (@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)
103     ) (@a)
104   ) (@a)
105
106   ((@a) export (@a) "g" (@a)
107     ((@a) global (@a) $g (@a)) (@a)
108   ) (@a)
109   ((@a) export (@a) "t" (@a)
110     ((@a) table (@a) $t (@a)) (@a)
111   ) (@a)
112   ((@a) export (@a) "m" (@a)
113     ((@a) memory (@a) $m (@a)) (@a)
114   ) (@a)
115   ((@a) export (@a) "f" (@a)
116     ((@a) func (@a) $f (@a)) (@a)
117   ) (@a)
118 ) (@a)
119
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)
124     i32 (@a)
125   ) (@a)
126   ((@a) table (@a) $t (@a)
127     ((@a) export (@a) "t" (@a)) (@a)
128     ((@a) import (@a) "spectest" (@a) "table" (@a)) (@a)
129     10 (@a) 20 (@a)
130     funcref (@a)
131   ) (@a)
132   ((@a) memory (@a) $m (@a)
133     ((@a) export (@a) "m" (@a)) (@a)
134     ((@a) import (@a) "spectest" (@a) "memory" (@a)) (@a)
135     1 (@a) 2 (@a)
136   ) (@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)
142   ) (@a)
143 ) (@a)
144
145 ((@a) module (@a) $m (@a) (@a)
146   ((@a) type (@a) $T (@a)
147     ((@a) func (@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)
151     ) (@a)
152   ) (@a)
153
154   ((@a) global (@a) $g (@a)
155     ((@a) export (@a) "g" (@a)) (@a)
156     i32 (@a)
157     ((@a) i32.const (@a) 42 (@a)) (@a)
158   ) (@a)
159   ((@a) table (@a) $t (@a)
160     ((@a) export (@a) "t" (@a)) (@a)
161     10 (@a) 20 (@a)
162     funcref (@a)
163   ) (@a)
164   ((@a) memory (@a) $m (@a)
165     ((@a) export (@a) "m" (@a)) (@a)
166     1 (@a) 2 (@a)
167   ) (@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)
175     ((@a) block (@a)
176       ((@a) result (@a) i32 (@a)) (@a)
177       ((@a) i32.add (@a)
178         ((@a) local.get (@a) $x (@a)) (@a)
179         ((@a) local.get (@a) 0 (@a)) (@a)
180       )
181     )
182   ) (@a)
183
184   ((@a) elem (@a)
185     ((@a) offset (@a) ((@a) i32.const (@a) 0 (@a)) (@a)) (@a)
186     $f (@a) $f (@a) (@a) $f (@a)
187   ) (@a)
188   ((@a) data (@a)
189     ((@a) offset (@a) ((@a) i32.const (@a) 0 (@a)) (@a)) (@a)
190     "bla" (@a) "\43" (@a) (@a) "" (@a)
191   ) (@a)
192
193   (func $s)
194   ((@a) start (@a) $s (@a)) (@a)
195 ) (@a)