1# AFL dictionary for the WAST format
2
3open="("
4close=")"
5comment=";;"
6block_comment_open="(;"
7block_comment_close=";)"
8
9param_i32="(param i32)"
10param_i64="(param i64)"
11param_f32="(param f32)"
12param_f64="(param f64)"
13
14result_i32="(result i32)"
15result_i64="(result i64)"
16result_f32="(result f32)"
17result_f64="(result f64)"
18
19type_i32="i32"
20type_i64="i64"
21type_f32="f32"
22type_f64="f64"
23
24misc_name="$foobar"
25misc_int="42"
26misc_int_hex="0xdeadcode"
27misc_float="3.14159"
28misc_float_exp="1e100"
29misc_float_hex="0xcab.ba6ep4"
30misc_float_inf="infinity"
31misc_float_nan="nan:0xf00baa"
32misc_float_sign="-6.02e-23"
33
34op_nop="nop"
35op_block="block"
36op_if="if"
37op_then="then"
38op_else="else"
39op_loop="loop"
40op_br="br"
41op_br_if="br_if"
42op_br_table="br_table"
43op_call="call"
44op_call_indirect="call_indirect"
45op_drop="drop"
46op_end="end"
47op_return="return"
48op_get_local="get_local"
49op_set_local="set_local"
50op_tee_local="tee_local"
51op_get_global="get_global"
52op_set_global="set_global"
53op_i32_load="i32.load"
54op_i64_load="i64.load"
55op_f32_load="f32.load"
56op_f64_load="f64.load"
57op_i32_store="i32.store"
58op_i64_store="i64.store"
59op_f32_store="f32.store"
60op_f64_store="f64.store"
61op_i32_load8_s="i32.load8_s"
62op_i64_load8_s="i64.load8_s"
63op_i32_load8_u="i32.load8_u"
64op_i64_load8_u="i64.load8_u"
65op_i32_load16_s="i32.load16_s"
66op_i64_load16_s="i64.load16_s"
67op_i32_load16_u="i32.load16_u"
68op_i64_load16_u="i64.load16_u"
69op_i64_load32_s="i64.load32_s"
70op_i64_load32_u="i64.load32_u"
71op_i32_store8="i32.store8"
72op_i64_store8="i64.store8"
73op_i32_store16="i32.store16"
74op_i64_store16="i64.store16"
75op_i64_store32="i64.store32"
76op_i32_const="i32.const"
77op_i64_const="i64.const"
78op_f32_const="f32.const"
79op_f64_const="f64.const"
80op_i32_eqz="i32.eqz"
81op_i64_eqz="i64.eqz"
82op_i32_clz="i32.clz"
83op_i64_clz="i64.clz"
84op_i32_ctz="i32.ctz"
85op_i64_ctz="i64.ctz"
86op_i32_popcnt="i32.popcnt"
87op_i64_popcnt="i64.popcnt"
88op_f32_neg="f32.neg"
89op_f64_neg="f64.neg"
90op_f32_abs="f32.abs"
91op_f64_abs="f64.abs"
92op_f32_sqrt="f32.sqrt"
93op_f64_sqrt="f64.sqrt"
94op_f32_ceil="f32.ceil"
95op_f64_ceil="f64.ceil"
96op_f32_floor="f32.floor"
97op_f64_floor="f64.floor"
98op_f32_trunc="f32.trunc"
99op_f64_trunc="f64.trunc"
100op_f32_nearest="f32.nearest"
101op_f64_nearest="f64.nearest"
102op_i32_add="i32.add"
103op_i64_add="i64.add"
104op_i32_sub="i32.sub"
105op_i64_sub="i64.sub"
106op_i32_mul="i32.mul"
107op_i64_mul="i64.mul"
108op_i32_div_s="i32.div_s"
109op_i64_div_s="i64.div_s"
110op_i32_div_u="i32.div_u"
111op_i64_div_u="i64.div_u"
112op_i32_rem_s="i32.rem_s"
113op_i64_rem_s="i64.rem_s"
114op_i32_rem_u="i32.rem_u"
115op_i64_rem_u="i64.rem_u"
116op_i32_and="i32.and"
117op_i64_and="i64.and"
118op_i32_or="i32.or"
119op_i64_or="i64.or"
120op_i32_xor="i32.xor"
121op_i64_xor="i64.xor"
122op_i32_shl="i32.shl"
123op_i64_shl="i64.shl"
124op_i32_shr_s="i32.shr_s"
125op_i64_shr_s="i64.shr_s"
126op_i32_shr_u="i32.shr_u"
127op_i64_shr_u="i64.shr_u"
128op_i32_rotl="i32.rotl"
129op_i64_rotl="i64.rotl"
130op_f32_add="f32.add"
131op_f64_add="f64.add"
132op_f32_sub="f32.sub"
133op_f64_sub="f64.sub"
134op_f32_mul="f32.mul"
135op_f64_mul="f64.mul"
136op_f32_div="f32.div"
137op_f64_div="f64.div"
138op_f32_min="f32.min"
139op_f64_min="f64.min"
140op_f32_max="f32.max"
141op_f64_max="f64.max"
142op_f32_copysign="f32.copysign"
143op_f64_copysign="f64.copysign"
144op_i32_eq="i32.eq"
145op_i64_eq="i64.eq"
146op_i32_ne="i32.ne"
147op_i64_ne="i64.ne"
148op_i32_lt_s="i32.lt_s"
149op_i64_lt_s="i64.lt_s"
150op_i32_lt_u="i32.lt_u"
151op_i64_lt_u="i64.lt_u"
152op_i32_le_s="i32.le_s"
153op_i64_le_s="i64.le_s"
154op_i32_le_u="i32.le_u"
155op_i64_le_u="i64.le_u"
156op_i32_gt_s="i32.gt_s"
157op_i64_gt_s="i64.gt_s"
158op_i32_gt_u="i32.gt_u"
159op_i64_gt_u="i64.gt_u"
160op_i32_ge_s="i32.ge_s"
161op_i64_ge_s="i64.ge_s"
162op_i32_ge_u="i32.ge_u"
163op_i64_ge_u="i64.ge_u"
164op_f32_eq="f32.eq"
165op_f64_eq="f64.eq"
166op_f32_ne="f32.ne"
167op_f64_ne="f64.ne"
168op_f32_lt="f32.lt"
169op_f64_lt="f64.lt"
170op_f32_le="f32.le"
171op_f64_le="f64.le"
172op_f32_gt="f32.gt"
173op_f64_gt="f64.gt"
174op_f32_ge="f32.ge"
175op_f64_ge="f64.ge"
176op_i64_extend_s_i32="i64.extend_s/i32"
177op_i64_extend_u_i32="i64.extend_u/i32"
178op_i32_wrap_i64="i32.wrap/i64"
179op_i32_trunc_s_f32="i32.trunc_s/f32"
180op_i64_trunc_s_f32="i64.trunc_s/f32"
181op_i32_trunc_s_f64="i32.trunc_s/f64"
182op_i64_trunc_s_f64="i64.trunc_s/f64"
183op_i32_trunc_u_f32="i32.trunc_u/f32"
184op_i64_trunc_u_f32="i64.trunc_u/f32"
185op_i32_trunc_u_f64="i32.trunc_u/f64"
186op_i64_trunc_u_f64="i64.trunc_u/f64"
187op_f32_convert_s_i32="f32.convert_s/i32"
188op_f64_convert_s_i32="f64.convert_s/i32"
189op_f32_convert_s_i64="f32.convert_s/i64"
190op_f64_convert_s_i64="f64.convert_s/i64"
191op_f32_convert_u_i32="f32.convert_u/i32"
192op_f64_convert_u_i32="f64.convert_u/i32"
193op_f32_convert_u_i64="f32.convert_u/i64"
194op_f64_convert_u_i64="f64.convert_u/i64"
195op_f64_promote_f32="f64.promote/f32"
196op_f32_demote_f64="f32.demote/f64"
197op_f32_reinterpret_i32="f32.reinterpret/i32"
198op_i32_reinterpret_f32="i32.reinterpret/f32"
199op_f64_reinterpret_i64="f64.reinterpret/i64"
200op_i64_reinterpret_f64="i64.reinterpret/f64"
201op_select="select"
202op_unreachable="unreachable"
203op_memory_size="memory.size"
204op_memory_grow="memory.grow"
205op_type="type"
206op_func="func"
207op_param="param"
208op_result="result"
209op_local="local"
210op_global="global"
211op_module="module"
212op_table="table"
213op_memory="memory"
214op_table="start"
215op_elem="elem"
216op_data="data"
217op_offset="offset"
218op_align="align="
219op_import="import"
220op_export="export"
221op_register="register"
222op_invoke="invoke"
223op_get="get"
224op_assert_malformed="assert_malformed"
225op_assert_invalid="assert_invalid"
226op_assert_unlinkable="assert_unlinkable"
227op_assert_return="assert_return"
228op_assert_return_canonical_nan="assert_return_canonical_nan"
229op_assert_return_arithmetic_nan="assert_return_arithmetic_nan"
230op_assert_trap="assert_trap"
231op_assert_exhaustion="assert_exhaustion"
232