1#ifndef WASM_H
2#define WASM_H
3
4#include "panic.h"
5
6enum WasmSectionId {
7 WasmSectionId_type = 1,
8 WasmSectionId_import = 2,
9 WasmSectionId_func = 3,
10 WasmSectionId_table = 4,
11 WasmSectionId_mem = 5,
12 WasmSectionId_global = 6,
13 WasmSectionId_export = 7,
14 WasmSectionId_start = 8,
15 WasmSectionId_elem = 9,
16 WasmSectionId_code = 10,
17 WasmSectionId_data = 11,
18 WasmSectionId_datacount = 12,
19};
20
21enum WasmValType {
22 WasmValType_i32 = -0x01,
23 WasmValType_i64 = -0x02,
24 WasmValType_f32 = -0x03,
25 WasmValType_f64 = -0x04,
26 WasmValType_v128 = -0x05,
27 WasmValType_funcref = -0x10,
28 WasmValType_externref = -0x11,
29 WasmValType_empty = -0x40,
30};
31static const char *WasmValType_toC(enum WasmValType val_type) {
32 switch (val_type) {
33 case WasmValType_i32: return "uint32_t";
34 case WasmValType_i64: return "uint64_t";
35 case WasmValType_f32: return "float";
36 case WasmValType_f64: return "double";
37 case WasmValType_v128: panic("vector types are unsupported");
38 case WasmValType_funcref: return "void (*)(void)";
39 case WasmValType_externref: return "void *";
40 default: panic("unsupported value type");
41 }
42 return NULL;
43}
44
45enum WasmMut {
46 WasmMut_const = 0x00,
47 WasmMut_var = 0x01,
48};
49static const char *WasmMut_toC(enum WasmMut val_type) {
50 switch (val_type) {
51 case WasmMut_const: return "const ";
52 case WasmMut_var: return "";
53 default: panic("unsupported mut");
54 }
55 return NULL;
56}
57
58enum WasmOpcode {
59 WasmOpcode_unreachable = 0x00,
60 WasmOpcode_nop = 0x01,
61 WasmOpcode_block = 0x02,
62 WasmOpcode_loop = 0x03,
63 WasmOpcode_if = 0x04,
64 WasmOpcode_else = 0x05,
65 WasmOpcode_end = 0x0B,
66 WasmOpcode_br = 0x0C,
67 WasmOpcode_br_if = 0x0D,
68 WasmOpcode_br_table = 0x0E,
69 WasmOpcode_return = 0x0F,
70 WasmOpcode_call = 0x10,
71 WasmOpcode_call_indirect = 0x11,
72
73 WasmOpcode_drop = 0x1A,
74 WasmOpcode_select = 0x1B,
75 WasmOpcode_select_t = 0x1C,
76
77 WasmOpcode_local_get = 0x20,
78 WasmOpcode_local_set = 0x21,
79 WasmOpcode_local_tee = 0x22,
80 WasmOpcode_global_get = 0x23,
81 WasmOpcode_global_set = 0x24,
82
83 WasmOpcode_table_get = 0x25,
84 WasmOpcode_table_set = 0x26,
85
86 WasmOpcode_i32_load = 0x28,
87 WasmOpcode_i64_load = 0x29,
88 WasmOpcode_f32_load = 0x2A,
89 WasmOpcode_f64_load = 0x2B,
90 WasmOpcode_i32_load8_s = 0x2C,
91 WasmOpcode_i32_load8_u = 0x2D,
92 WasmOpcode_i32_load16_s = 0x2E,
93 WasmOpcode_i32_load16_u = 0x2F,
94 WasmOpcode_i64_load8_s = 0x30,
95 WasmOpcode_i64_load8_u = 0x31,
96 WasmOpcode_i64_load16_s = 0x32,
97 WasmOpcode_i64_load16_u = 0x33,
98 WasmOpcode_i64_load32_s = 0x34,
99 WasmOpcode_i64_load32_u = 0x35,
100 WasmOpcode_i32_store = 0x36,
101 WasmOpcode_i64_store = 0x37,
102 WasmOpcode_f32_store = 0x38,
103 WasmOpcode_f64_store = 0x39,
104 WasmOpcode_i32_store8 = 0x3A,
105 WasmOpcode_i32_store16 = 0x3B,
106 WasmOpcode_i64_store8 = 0x3C,
107 WasmOpcode_i64_store16 = 0x3D,
108 WasmOpcode_i64_store32 = 0x3E,
109 WasmOpcode_memory_size = 0x3F,
110 WasmOpcode_memory_grow = 0x40,
111
112 WasmOpcode_i32_const = 0x41,
113 WasmOpcode_i64_const = 0x42,
114 WasmOpcode_f32_const = 0x43,
115 WasmOpcode_f64_const = 0x44,
116
117 WasmOpcode_i32_eqz = 0x45,
118 WasmOpcode_i32_eq = 0x46,
119 WasmOpcode_i32_ne = 0x47,
120 WasmOpcode_i32_lt_s = 0x48,
121 WasmOpcode_i32_lt_u = 0x49,
122 WasmOpcode_i32_gt_s = 0x4A,
123 WasmOpcode_i32_gt_u = 0x4B,
124 WasmOpcode_i32_le_s = 0x4C,
125 WasmOpcode_i32_le_u = 0x4D,
126 WasmOpcode_i32_ge_s = 0x4E,
127 WasmOpcode_i32_ge_u = 0x4F,
128
129 WasmOpcode_i64_eqz = 0x50,
130 WasmOpcode_i64_eq = 0x51,
131 WasmOpcode_i64_ne = 0x52,
132 WasmOpcode_i64_lt_s = 0x53,
133 WasmOpcode_i64_lt_u = 0x54,
134 WasmOpcode_i64_gt_s = 0x55,
135 WasmOpcode_i64_gt_u = 0x56,
136 WasmOpcode_i64_le_s = 0x57,
137 WasmOpcode_i64_le_u = 0x58,
138 WasmOpcode_i64_ge_s = 0x59,
139 WasmOpcode_i64_ge_u = 0x5A,
140
141 WasmOpcode_f32_eq = 0x5B,
142 WasmOpcode_f32_ne = 0x5C,
143 WasmOpcode_f32_lt = 0x5D,
144 WasmOpcode_f32_gt = 0x5E,
145 WasmOpcode_f32_le = 0x5F,
146 WasmOpcode_f32_ge = 0x60,
147
148 WasmOpcode_f64_eq = 0x61,
149 WasmOpcode_f64_ne = 0x62,
150 WasmOpcode_f64_lt = 0x63,
151 WasmOpcode_f64_gt = 0x64,
152 WasmOpcode_f64_le = 0x65,
153 WasmOpcode_f64_ge = 0x66,
154
155 WasmOpcode_i32_clz = 0x67,
156 WasmOpcode_i32_ctz = 0x68,
157 WasmOpcode_i32_popcnt = 0x69,
158 WasmOpcode_i32_add = 0x6A,
159 WasmOpcode_i32_sub = 0x6B,
160 WasmOpcode_i32_mul = 0x6C,
161 WasmOpcode_i32_div_s = 0x6D,
162 WasmOpcode_i32_div_u = 0x6E,
163 WasmOpcode_i32_rem_s = 0x6F,
164 WasmOpcode_i32_rem_u = 0x70,
165 WasmOpcode_i32_and = 0x71,
166 WasmOpcode_i32_or = 0x72,
167 WasmOpcode_i32_xor = 0x73,
168 WasmOpcode_i32_shl = 0x74,
169 WasmOpcode_i32_shr_s = 0x75,
170 WasmOpcode_i32_shr_u = 0x76,
171 WasmOpcode_i32_rotl = 0x77,
172 WasmOpcode_i32_rotr = 0x78,
173
174 WasmOpcode_i64_clz = 0x79,
175 WasmOpcode_i64_ctz = 0x7A,
176 WasmOpcode_i64_popcnt = 0x7B,
177 WasmOpcode_i64_add = 0x7C,
178 WasmOpcode_i64_sub = 0x7D,
179 WasmOpcode_i64_mul = 0x7E,
180 WasmOpcode_i64_div_s = 0x7F,
181 WasmOpcode_i64_div_u = 0x80,
182 WasmOpcode_i64_rem_s = 0x81,
183 WasmOpcode_i64_rem_u = 0x82,
184 WasmOpcode_i64_and = 0x83,
185 WasmOpcode_i64_or = 0x84,
186 WasmOpcode_i64_xor = 0x85,
187 WasmOpcode_i64_shl = 0x86,
188 WasmOpcode_i64_shr_s = 0x87,
189 WasmOpcode_i64_shr_u = 0x88,
190 WasmOpcode_i64_rotl = 0x89,
191 WasmOpcode_i64_rotr = 0x8A,
192
193 WasmOpcode_f32_abs = 0x8B,
194 WasmOpcode_f32_neg = 0x8C,
195 WasmOpcode_f32_ceil = 0x8D,
196 WasmOpcode_f32_floor = 0x8E,
197 WasmOpcode_f32_trunc = 0x8F,
198 WasmOpcode_f32_nearest = 0x90,
199 WasmOpcode_f32_sqrt = 0x91,
200 WasmOpcode_f32_add = 0x92,
201 WasmOpcode_f32_sub = 0x93,
202 WasmOpcode_f32_mul = 0x94,
203 WasmOpcode_f32_div = 0x95,
204 WasmOpcode_f32_min = 0x96,
205 WasmOpcode_f32_max = 0x97,
206 WasmOpcode_f32_copysign = 0x98,
207
208 WasmOpcode_f64_abs = 0x99,
209 WasmOpcode_f64_neg = 0x9A,
210 WasmOpcode_f64_ceil = 0x9B,
211 WasmOpcode_f64_floor = 0x9C,
212 WasmOpcode_f64_trunc = 0x9D,
213 WasmOpcode_f64_nearest = 0x9E,
214 WasmOpcode_f64_sqrt = 0x9F,
215 WasmOpcode_f64_add = 0xA0,
216 WasmOpcode_f64_sub = 0xA1,
217 WasmOpcode_f64_mul = 0xA2,
218 WasmOpcode_f64_div = 0xA3,
219 WasmOpcode_f64_min = 0xA4,
220 WasmOpcode_f64_max = 0xA5,
221 WasmOpcode_f64_copysign = 0xA6,
222
223 WasmOpcode_i32_wrap_i64 = 0xA7,
224 WasmOpcode_i32_trunc_f32_s = 0xA8,
225 WasmOpcode_i32_trunc_f32_u = 0xA9,
226 WasmOpcode_i32_trunc_f64_s = 0xAA,
227 WasmOpcode_i32_trunc_f64_u = 0xAB,
228 WasmOpcode_i64_extend_i32_s = 0xAC,
229 WasmOpcode_i64_extend_i32_u = 0xAD,
230 WasmOpcode_i64_trunc_f32_s = 0xAE,
231 WasmOpcode_i64_trunc_f32_u = 0xAF,
232 WasmOpcode_i64_trunc_f64_s = 0xB0,
233 WasmOpcode_i64_trunc_f64_u = 0xB1,
234 WasmOpcode_f32_convert_i32_s = 0xB2,
235 WasmOpcode_f32_convert_i32_u = 0xB3,
236 WasmOpcode_f32_convert_i64_s = 0xB4,
237 WasmOpcode_f32_convert_i64_u = 0xB5,
238 WasmOpcode_f32_demote_f64 = 0xB6,
239 WasmOpcode_f64_convert_i32_s = 0xB7,
240 WasmOpcode_f64_convert_i32_u = 0xB8,
241 WasmOpcode_f64_convert_i64_s = 0xB9,
242 WasmOpcode_f64_convert_i64_u = 0xBA,
243 WasmOpcode_f64_promote_f32 = 0xBB,
244 WasmOpcode_i32_reinterpret_f32 = 0xBC,
245 WasmOpcode_i64_reinterpret_f64 = 0xBD,
246 WasmOpcode_f32_reinterpret_i32 = 0xBE,
247 WasmOpcode_f64_reinterpret_i64 = 0xBF,
248
249 WasmOpcode_i32_extend8_s = 0xC0,
250 WasmOpcode_i32_extend16_s = 0xC1,
251 WasmOpcode_i64_extend8_s = 0xC2,
252 WasmOpcode_i64_extend16_s = 0xC3,
253 WasmOpcode_i64_extend32_s = 0xC4,
254
255 WasmOpcode_prefixed = 0xFC,
256};
257
258enum WasmPrefixedOpcode {
259 WasmPrefixedOpcode_i32_trunc_sat_f32_s = 0,
260 WasmPrefixedOpcode_i32_trunc_sat_f32_u = 1,
261 WasmPrefixedOpcode_i32_trunc_sat_f64_s = 2,
262 WasmPrefixedOpcode_i32_trunc_sat_f64_u = 3,
263 WasmPrefixedOpcode_i64_trunc_sat_f32_s = 4,
264 WasmPrefixedOpcode_i64_trunc_sat_f32_u = 5,
265 WasmPrefixedOpcode_i64_trunc_sat_f64_s = 6,
266 WasmPrefixedOpcode_i64_trunc_sat_f64_u = 7,
267
268 WasmPrefixedOpcode_memory_init = 8,
269 WasmPrefixedOpcode_data_drop = 9,
270 WasmPrefixedOpcode_memory_copy = 10,
271 WasmPrefixedOpcode_memory_fill = 11,
272
273 WasmPrefixedOpcode_table_init = 12,
274 WasmPrefixedOpcode_elem_drop = 13,
275 WasmPrefixedOpcode_table_copy = 14,
276 WasmPrefixedOpcode_table_grow = 15,
277 WasmPrefixedOpcode_table_size = 16,
278 WasmPrefixedOpcode_table_fill = 17,
279};
280
281#endif /* WASM_H */