mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 11:57:35 +00:00
LibWasm: Make opcode definitions enumerable through a macro
This commit is contained in:
Ali Mohammad Pur
Andreas Kling
parent
d0ad7efd9b
commit
30736c39b9
1 changed files with 211 additions and 201 deletions
|
|
@ -14,209 +14,219 @@ TYPEDEF_DISTINCT_ORDERED_ID(u32, OpCode);
|
||||||
|
|
||||||
namespace Instructions {
|
namespace Instructions {
|
||||||
|
|
||||||
static constexpr OpCode unreachable = 0x00,
|
#define ENUMERATE_SINGLE_BYTE_WASM_OPCODES(M) \
|
||||||
nop = 0x01,
|
M(unreachable, 0x00) \
|
||||||
block = 0x02,
|
M(nop, 0x01) \
|
||||||
loop = 0x03,
|
M(block, 0x02) \
|
||||||
if_ = 0x04,
|
M(loop, 0x03) \
|
||||||
br = 0x0c,
|
M(if_, 0x04) \
|
||||||
br_if = 0x0d,
|
M(br, 0x0c) \
|
||||||
br_table = 0x0e,
|
M(br_if, 0x0d) \
|
||||||
return_ = 0x0f,
|
M(br_table, 0x0e) \
|
||||||
call = 0x10,
|
M(return_, 0x0f) \
|
||||||
call_indirect = 0x11,
|
M(call, 0x10) \
|
||||||
drop = 0x1a,
|
M(call_indirect, 0x11) \
|
||||||
select = 0x1b,
|
M(drop, 0x1a) \
|
||||||
select_typed = 0x1c,
|
M(select, 0x1b) \
|
||||||
local_get = 0x20,
|
M(select_typed, 0x1c) \
|
||||||
local_set = 0x21,
|
M(local_get, 0x20) \
|
||||||
local_tee = 0x22,
|
M(local_set, 0x21) \
|
||||||
global_get = 0x23,
|
M(local_tee, 0x22) \
|
||||||
global_set = 0x24,
|
M(global_get, 0x23) \
|
||||||
table_get = 0x25,
|
M(global_set, 0x24) \
|
||||||
table_set = 0x26,
|
M(table_get, 0x25) \
|
||||||
i32_load = 0x28,
|
M(table_set, 0x26) \
|
||||||
i64_load = 0x29,
|
M(i32_load, 0x28) \
|
||||||
f32_load = 0x2a,
|
M(i64_load, 0x29) \
|
||||||
f64_load = 0x2b,
|
M(f32_load, 0x2a) \
|
||||||
i32_load8_s = 0x2c,
|
M(f64_load, 0x2b) \
|
||||||
i32_load8_u = 0x2d,
|
M(i32_load8_s, 0x2c) \
|
||||||
i32_load16_s = 0x2e,
|
M(i32_load8_u, 0x2d) \
|
||||||
i32_load16_u = 0x2f,
|
M(i32_load16_s, 0x2e) \
|
||||||
i64_load8_s = 0x30,
|
M(i32_load16_u, 0x2f) \
|
||||||
i64_load8_u = 0x31,
|
M(i64_load8_s, 0x30) \
|
||||||
i64_load16_s = 0x32,
|
M(i64_load8_u, 0x31) \
|
||||||
i64_load16_u = 0x33,
|
M(i64_load16_s, 0x32) \
|
||||||
i64_load32_s = 0x34,
|
M(i64_load16_u, 0x33) \
|
||||||
i64_load32_u = 0x35,
|
M(i64_load32_s, 0x34) \
|
||||||
i32_store = 0x36,
|
M(i64_load32_u, 0x35) \
|
||||||
i64_store = 0x37,
|
M(i32_store, 0x36) \
|
||||||
f32_store = 0x38,
|
M(i64_store, 0x37) \
|
||||||
f64_store = 0x39,
|
M(f32_store, 0x38) \
|
||||||
i32_store8 = 0x3a,
|
M(f64_store, 0x39) \
|
||||||
i32_store16 = 0x3b,
|
M(i32_store8, 0x3a) \
|
||||||
i64_store8 = 0x3c,
|
M(i32_store16, 0x3b) \
|
||||||
i64_store16 = 0x3d,
|
M(i64_store8, 0x3c) \
|
||||||
i64_store32 = 0x3e,
|
M(i64_store16, 0x3d) \
|
||||||
memory_size = 0x3f,
|
M(i64_store32, 0x3e) \
|
||||||
memory_grow = 0x40,
|
M(memory_size, 0x3f) \
|
||||||
i32_const = 0x41,
|
M(memory_grow, 0x40) \
|
||||||
i64_const = 0x42,
|
M(i32_const, 0x41) \
|
||||||
f32_const = 0x43,
|
M(i64_const, 0x42) \
|
||||||
f64_const = 0x44,
|
M(f32_const, 0x43) \
|
||||||
i32_eqz = 0x45,
|
M(f64_const, 0x44) \
|
||||||
i32_eq = 0x46,
|
M(i32_eqz, 0x45) \
|
||||||
i32_ne = 0x47,
|
M(i32_eq, 0x46) \
|
||||||
i32_lts = 0x48,
|
M(i32_ne, 0x47) \
|
||||||
i32_ltu = 0x49,
|
M(i32_lts, 0x48) \
|
||||||
i32_gts = 0x4a,
|
M(i32_ltu, 0x49) \
|
||||||
i32_gtu = 0x4b,
|
M(i32_gts, 0x4a) \
|
||||||
i32_les = 0x4c,
|
M(i32_gtu, 0x4b) \
|
||||||
i32_leu = 0x4d,
|
M(i32_les, 0x4c) \
|
||||||
i32_ges = 0x4e,
|
M(i32_leu, 0x4d) \
|
||||||
i32_geu = 0x4f,
|
M(i32_ges, 0x4e) \
|
||||||
i64_eqz = 0x50,
|
M(i32_geu, 0x4f) \
|
||||||
i64_eq = 0x51,
|
M(i64_eqz, 0x50) \
|
||||||
i64_ne = 0x52,
|
M(i64_eq, 0x51) \
|
||||||
i64_lts = 0x53,
|
M(i64_ne, 0x52) \
|
||||||
i64_ltu = 0x54,
|
M(i64_lts, 0x53) \
|
||||||
i64_gts = 0x55,
|
M(i64_ltu, 0x54) \
|
||||||
i64_gtu = 0x56,
|
M(i64_gts, 0x55) \
|
||||||
i64_les = 0x57,
|
M(i64_gtu, 0x56) \
|
||||||
i64_leu = 0x58,
|
M(i64_les, 0x57) \
|
||||||
i64_ges = 0x59,
|
M(i64_leu, 0x58) \
|
||||||
i64_geu = 0x5a,
|
M(i64_ges, 0x59) \
|
||||||
f32_eq = 0x5b,
|
M(i64_geu, 0x5a) \
|
||||||
f32_ne = 0x5c,
|
M(f32_eq, 0x5b) \
|
||||||
f32_lt = 0x5d,
|
M(f32_ne, 0x5c) \
|
||||||
f32_gt = 0x5e,
|
M(f32_lt, 0x5d) \
|
||||||
f32_le = 0x5f,
|
M(f32_gt, 0x5e) \
|
||||||
f32_ge = 0x60,
|
M(f32_le, 0x5f) \
|
||||||
f64_eq = 0x61,
|
M(f32_ge, 0x60) \
|
||||||
f64_ne = 0x62,
|
M(f64_eq, 0x61) \
|
||||||
f64_lt = 0x63,
|
M(f64_ne, 0x62) \
|
||||||
f64_gt = 0x64,
|
M(f64_lt, 0x63) \
|
||||||
f64_le = 0x65,
|
M(f64_gt, 0x64) \
|
||||||
f64_ge = 0x66,
|
M(f64_le, 0x65) \
|
||||||
i32_clz = 0x67,
|
M(f64_ge, 0x66) \
|
||||||
i32_ctz = 0x68,
|
M(i32_clz, 0x67) \
|
||||||
i32_popcnt = 0x69,
|
M(i32_ctz, 0x68) \
|
||||||
i32_add = 0x6a,
|
M(i32_popcnt, 0x69) \
|
||||||
i32_sub = 0x6b,
|
M(i32_add, 0x6a) \
|
||||||
i32_mul = 0x6c,
|
M(i32_sub, 0x6b) \
|
||||||
i32_divs = 0x6d,
|
M(i32_mul, 0x6c) \
|
||||||
i32_divu = 0x6e,
|
M(i32_divs, 0x6d) \
|
||||||
i32_rems = 0x6f,
|
M(i32_divu, 0x6e) \
|
||||||
i32_remu = 0x70,
|
M(i32_rems, 0x6f) \
|
||||||
i32_and = 0x71,
|
M(i32_remu, 0x70) \
|
||||||
i32_or = 0x72,
|
M(i32_and, 0x71) \
|
||||||
i32_xor = 0x73,
|
M(i32_or, 0x72) \
|
||||||
i32_shl = 0x74,
|
M(i32_xor, 0x73) \
|
||||||
i32_shrs = 0x75,
|
M(i32_shl, 0x74) \
|
||||||
i32_shru = 0x76,
|
M(i32_shrs, 0x75) \
|
||||||
i32_rotl = 0x77,
|
M(i32_shru, 0x76) \
|
||||||
i32_rotr = 0x78,
|
M(i32_rotl, 0x77) \
|
||||||
i64_clz = 0x79,
|
M(i32_rotr, 0x78) \
|
||||||
i64_ctz = 0x7a,
|
M(i64_clz, 0x79) \
|
||||||
i64_popcnt = 0x7b,
|
M(i64_ctz, 0x7a) \
|
||||||
i64_add = 0x7c,
|
M(i64_popcnt, 0x7b) \
|
||||||
i64_sub = 0x7d,
|
M(i64_add, 0x7c) \
|
||||||
i64_mul = 0x7e,
|
M(i64_sub, 0x7d) \
|
||||||
i64_divs = 0x7f,
|
M(i64_mul, 0x7e) \
|
||||||
i64_divu = 0x80,
|
M(i64_divs, 0x7f) \
|
||||||
i64_rems = 0x81,
|
M(i64_divu, 0x80) \
|
||||||
i64_remu = 0x82,
|
M(i64_rems, 0x81) \
|
||||||
i64_and = 0x83,
|
M(i64_remu, 0x82) \
|
||||||
i64_or = 0x84,
|
M(i64_and, 0x83) \
|
||||||
i64_xor = 0x85,
|
M(i64_or, 0x84) \
|
||||||
i64_shl = 0x86,
|
M(i64_xor, 0x85) \
|
||||||
i64_shrs = 0x87,
|
M(i64_shl, 0x86) \
|
||||||
i64_shru = 0x88,
|
M(i64_shrs, 0x87) \
|
||||||
i64_rotl = 0x89,
|
M(i64_shru, 0x88) \
|
||||||
i64_rotr = 0x8a,
|
M(i64_rotl, 0x89) \
|
||||||
f32_abs = 0x8b,
|
M(i64_rotr, 0x8a) \
|
||||||
f32_neg = 0x8c,
|
M(f32_abs, 0x8b) \
|
||||||
f32_ceil = 0x8d,
|
M(f32_neg, 0x8c) \
|
||||||
f32_floor = 0x8e,
|
M(f32_ceil, 0x8d) \
|
||||||
f32_trunc = 0x8f,
|
M(f32_floor, 0x8e) \
|
||||||
f32_nearest = 0x90,
|
M(f32_trunc, 0x8f) \
|
||||||
f32_sqrt = 0x91,
|
M(f32_nearest, 0x90) \
|
||||||
f32_add = 0x92,
|
M(f32_sqrt, 0x91) \
|
||||||
f32_sub = 0x93,
|
M(f32_add, 0x92) \
|
||||||
f32_mul = 0x94,
|
M(f32_sub, 0x93) \
|
||||||
f32_div = 0x95,
|
M(f32_mul, 0x94) \
|
||||||
f32_min = 0x96,
|
M(f32_div, 0x95) \
|
||||||
f32_max = 0x97,
|
M(f32_min, 0x96) \
|
||||||
f32_copysign = 0x98,
|
M(f32_max, 0x97) \
|
||||||
f64_abs = 0x99,
|
M(f32_copysign, 0x98) \
|
||||||
f64_neg = 0x9a,
|
M(f64_abs, 0x99) \
|
||||||
f64_ceil = 0x9b,
|
M(f64_neg, 0x9a) \
|
||||||
f64_floor = 0x9c,
|
M(f64_ceil, 0x9b) \
|
||||||
f64_trunc = 0x9d,
|
M(f64_floor, 0x9c) \
|
||||||
f64_nearest = 0x9e,
|
M(f64_trunc, 0x9d) \
|
||||||
f64_sqrt = 0x9f,
|
M(f64_nearest, 0x9e) \
|
||||||
f64_add = 0xa0,
|
M(f64_sqrt, 0x9f) \
|
||||||
f64_sub = 0xa1,
|
M(f64_add, 0xa0) \
|
||||||
f64_mul = 0xa2,
|
M(f64_sub, 0xa1) \
|
||||||
f64_div = 0xa3,
|
M(f64_mul, 0xa2) \
|
||||||
f64_min = 0xa4,
|
M(f64_div, 0xa3) \
|
||||||
f64_max = 0xa5,
|
M(f64_min, 0xa4) \
|
||||||
f64_copysign = 0xa6,
|
M(f64_max, 0xa5) \
|
||||||
i32_wrap_i64 = 0xa7,
|
M(f64_copysign, 0xa6) \
|
||||||
i32_trunc_sf32 = 0xa8,
|
M(i32_wrap_i64, 0xa7) \
|
||||||
i32_trunc_uf32 = 0xa9,
|
M(i32_trunc_sf32, 0xa8) \
|
||||||
i32_trunc_sf64 = 0xaa,
|
M(i32_trunc_uf32, 0xa9) \
|
||||||
i32_trunc_uf64 = 0xab,
|
M(i32_trunc_sf64, 0xaa) \
|
||||||
i64_extend_si32 = 0xac,
|
M(i32_trunc_uf64, 0xab) \
|
||||||
i64_extend_ui32 = 0xad,
|
M(i64_extend_si32, 0xac) \
|
||||||
i64_trunc_sf32 = 0xae,
|
M(i64_extend_ui32, 0xad) \
|
||||||
i64_trunc_uf32 = 0xaf,
|
M(i64_trunc_sf32, 0xae) \
|
||||||
i64_trunc_sf64 = 0xb0,
|
M(i64_trunc_uf32, 0xaf) \
|
||||||
i64_trunc_uf64 = 0xb1,
|
M(i64_trunc_sf64, 0xb0) \
|
||||||
f32_convert_si32 = 0xb2,
|
M(i64_trunc_uf64, 0xb1) \
|
||||||
f32_convert_ui32 = 0xb3,
|
M(f32_convert_si32, 0xb2) \
|
||||||
f32_convert_si64 = 0xb4,
|
M(f32_convert_ui32, 0xb3) \
|
||||||
f32_convert_ui64 = 0xb5,
|
M(f32_convert_si64, 0xb4) \
|
||||||
f32_demote_f64 = 0xb6,
|
M(f32_convert_ui64, 0xb5) \
|
||||||
f64_convert_si32 = 0xb7,
|
M(f32_demote_f64, 0xb6) \
|
||||||
f64_convert_ui32 = 0xb8,
|
M(f64_convert_si32, 0xb7) \
|
||||||
f64_convert_si64 = 0xb9,
|
M(f64_convert_ui32, 0xb8) \
|
||||||
f64_convert_ui64 = 0xba,
|
M(f64_convert_si64, 0xb9) \
|
||||||
f64_promote_f32 = 0xbb,
|
M(f64_convert_ui64, 0xba) \
|
||||||
i32_reinterpret_f32 = 0xbc,
|
M(f64_promote_f32, 0xbb) \
|
||||||
i64_reinterpret_f64 = 0xbd,
|
M(i32_reinterpret_f32, 0xbc) \
|
||||||
f32_reinterpret_i32 = 0xbe,
|
M(i64_reinterpret_f64, 0xbd) \
|
||||||
f64_reinterpret_i64 = 0xbf,
|
M(f32_reinterpret_i32, 0xbe) \
|
||||||
i32_extend8_s = 0xc0,
|
M(f64_reinterpret_i64, 0xbf) \
|
||||||
i32_extend16_s = 0xc1,
|
M(i32_extend8_s, 0xc0) \
|
||||||
i64_extend8_s = 0xc2,
|
M(i32_extend16_s, 0xc1) \
|
||||||
i64_extend16_s = 0xc3,
|
M(i64_extend8_s, 0xc2) \
|
||||||
i64_extend32_s = 0xc4,
|
M(i64_extend16_s, 0xc3) \
|
||||||
ref_null = 0xd0,
|
M(i64_extend32_s, 0xc4) \
|
||||||
ref_is_null = 0xd1,
|
M(ref_null, 0xd0) \
|
||||||
ref_func = 0xd2;
|
M(ref_is_null, 0xd1) \
|
||||||
|
M(ref_func, 0xd2)
|
||||||
|
|
||||||
// These are synthetic opcodes, they are _not_ seen in wasm with these values.
|
// These are synthetic opcodes, they are _not_ seen in wasm with these values.
|
||||||
static constexpr OpCode i32_trunc_sat_f32_s = 0xfc00,
|
#define ENUMERATE_MULTI_BYTE_WASM_OPCODES(M) \
|
||||||
i32_trunc_sat_f32_u = 0xfc01,
|
M(i32_trunc_sat_f32_s, 0xfc00) \
|
||||||
i32_trunc_sat_f64_s = 0xfc02,
|
M(i32_trunc_sat_f32_u, 0xfc01) \
|
||||||
i32_trunc_sat_f64_u = 0xfc03,
|
M(i32_trunc_sat_f64_s, 0xfc02) \
|
||||||
i64_trunc_sat_f32_s = 0xfc04,
|
M(i32_trunc_sat_f64_u, 0xfc03) \
|
||||||
i64_trunc_sat_f32_u = 0xfc05,
|
M(i64_trunc_sat_f32_s, 0xfc04) \
|
||||||
i64_trunc_sat_f64_s = 0xfc06,
|
M(i64_trunc_sat_f32_u, 0xfc05) \
|
||||||
i64_trunc_sat_f64_u = 0xfc07,
|
M(i64_trunc_sat_f64_s, 0xfc06) \
|
||||||
memory_init = 0xfc08,
|
M(i64_trunc_sat_f64_u, 0xfc07) \
|
||||||
data_drop = 0xfc09,
|
M(memory_init, 0xfc08) \
|
||||||
memory_copy = 0xfc0a,
|
M(data_drop, 0xfc09) \
|
||||||
memory_fill = 0x0fc0b,
|
M(memory_copy, 0xfc0a) \
|
||||||
table_init = 0xfc0c,
|
M(memory_fill, 0x0fc0b) \
|
||||||
elem_drop = 0xfc0d,
|
M(table_init, 0xfc0c) \
|
||||||
table_copy = 0xfc0e,
|
M(elem_drop, 0xfc0d) \
|
||||||
table_grow = 0xfc0f,
|
M(table_copy, 0xfc0e) \
|
||||||
table_size = 0xfc10,
|
M(table_grow, 0xfc0f) \
|
||||||
table_fill = 0xfc11,
|
M(table_size, 0xfc10) \
|
||||||
structured_else = 0xff00,
|
M(table_fill, 0xfc11) \
|
||||||
structured_end = 0xff01;
|
M(structured_else, 0xff00) \
|
||||||
|
M(structured_end, 0xff01)
|
||||||
|
|
||||||
|
#define ENUMERATE_WASM_OPCODES(M) \
|
||||||
|
ENUMERATE_SINGLE_BYTE_WASM_OPCODES(M) \
|
||||||
|
ENUMERATE_MULTI_BYTE_WASM_OPCODES(M)
|
||||||
|
|
||||||
|
#define M(name, value) static constexpr OpCode name = value;
|
||||||
|
ENUMERATE_WASM_OPCODES(M)
|
||||||
|
#undef M
|
||||||
|
|
||||||
static constexpr u32 i32_trunc_sat_f32_s_second = 0,
|
static constexpr u32 i32_trunc_sat_f32_s_second = 0,
|
||||||
i32_trunc_sat_f32_u_second = 1,
|
i32_trunc_sat_f32_u_second = 1,
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue