Something went wrong. Try again.
quick and dirty pure lua webassembly interpreter
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430local constants = {}
constants.I32_MAX = (1 << 32) - 1
constants.WASM_PAGE_SIZE = 65536constants.MAX_PAGES = 65536
constants.opcodes = {-- Control OP_UNREACHABLE = 0x00, OP_NOP = 0x01, OP_BLOCK = 0x02, OP_LOOP = 0x03, OP_IF = 0x04, OP_ELSE = 0x05, OP_END = 0x0B, OP_BR = 0x0C, OP_BR_IF = 0x0D, OP_BR_TABLE = 0x0E, OP_RETURN = 0x0F, OP_CALL = 0x10, OP_CALL_INDIRECT = 0x11,-- Parametric OP_DROP = 0x1A, OP_SELECT = 0x1B,-- Variable OP_LOCAL_GET = 0x20, OP_LOCAL_SET = 0x21, OP_LOCAL_TEE = 0x22, OP_GLOBAL_GET = 0x23, OP_GLOBAL_SET = 0x24,-- Memory OP_I32_LOAD = 0x28, OP_I64_LOAD = 0x29, OP_F32_LOAD = 0x2A, OP_F64_LOAD = 0x2B, OP_I32_LOAD8_S = 0x2C, OP_I32_LOAD8_U = 0x2D, OP_I32_LOAD16_S = 0x2E, OP_I32_LOAD16_U = 0x2F, OP_I64_LOAD8_S = 0x30, OP_I64_LOAD8_U = 0x31, OP_I64_LOAD16_S = 0x32, OP_I64_LOAD16_U = 0x33, OP_I64_LOAD32_S = 0x34, OP_I64_LOAD32_U = 0x35, OP_I32_STORE = 0x36, OP_I64_STORE = 0x37, OP_F32_STORE = 0x38, OP_F64_STORE = 0x39, OP_I32_STORE8 = 0x3A, OP_I32_STORE16 = 0x3B, OP_I64_STORE8 = 0x3C, OP_I64_STORE16 = 0x3D, OP_I64_STORE32 = 0x3E, OP_MEMORY_SIZE = 0x3F, OP_MEMORY_GROW = 0x40,-- Numeric Constants OP_I32_CONST = 0x41, OP_I64_CONST = 0x42, OP_F32_CONST = 0x43, OP_F64_CONST = 0x44,-- Numeric Operations-- i32 comparisons OP_I32_EQZ = 0x45, OP_I32_EQ = 0x46, OP_I32_NE = 0x47, OP_I32_LT_S = 0x48, OP_I32_LT_U = 0x49, OP_I32_GT_S = 0x4A, OP_I32_GT_U = 0x4B, OP_I32_LE_S = 0x4C, OP_I32_LE_U = 0x4D, OP_I32_GE_S = 0x4E, OP_I32_GE_U = 0x4F,-- i64 comparisons OP_I64_EQZ = 0x50, OP_I64_EQ = 0x51, OP_I64_NE = 0x52, OP_I64_LT_S = 0x53, OP_I64_LT_U = 0x54, OP_I64_GT_S = 0x55, OP_I64_GT_U = 0x56, OP_I64_LE_S = 0x57, OP_I64_LE_U = 0x58, OP_I64_GE_S = 0x59, OP_I64_GE_U = 0x5A,-- f32 comparisons OP_F32_EQ = 0x5B, OP_F32_NE = 0x5C, OP_F32_LT = 0x5D, OP_F32_GT = 0x5E, OP_F32_LE = 0x5F, OP_F32_GE = 0x60,-- f64 comparisons OP_F64_EQ = 0x61, OP_F64_NE = 0x62, OP_F64_LT = 0x63, OP_F64_GT = 0x64, OP_F64_LE = 0x65, OP_F64_GE = 0x66,-- i32 operations OP_I32_CLZ = 0x67, OP_I32_CTZ = 0x68, OP_I32_POPCNT = 0x69, OP_I32_ADD = 0x6A, OP_I32_SUB = 0x6B, OP_I32_MUL = 0x6C, OP_I32_DIV_S = 0x6D, OP_I32_DIV_U = 0x6E, OP_I32_REM_S = 0x6F, OP_I32_REM_U = 0x70, OP_I32_AND = 0x71, OP_I32_OR = 0x72, OP_I32_XOR = 0x73, OP_I32_SHL = 0x74, OP_I32_SHR_S = 0x75, OP_I32_SHR_U = 0x76, OP_I32_ROTL = 0x77, OP_I32_ROTR = 0x78,-- i64 operations OP_I64_CLZ = 0x79, OP_I64_CTZ = 0x7A, OP_I64_POPCNT = 0x7B, OP_I64_ADD = 0x7C, OP_I64_SUB = 0x7D, OP_I64_MUL = 0x7E, OP_I64_DIV_S = 0x7F, OP_I64_DIV_U = 0x80, OP_I64_REM_S = 0x81, OP_I64_REM_U = 0x82, OP_I64_AND = 0x83, OP_I64_OR = 0x84, OP_I64_XOR = 0x85, OP_I64_SHL = 0x86, OP_I64_SHR_S = 0x87, OP_I64_SHR_U = 0x88, OP_I64_ROTL = 0x89, OP_I64_ROTR = 0x8A,-- f32 operations OP_F32_ABS = 0x8B, OP_F32_NEG = 0x8C, OP_F32_CEIL = 0x8D, OP_F32_FLOOR = 0x8E, OP_F32_TRUNC = 0x8F, OP_F32_NEAREST = 0x90, OP_F32_SQRT = 0x91, OP_F32_ADD = 0x92, OP_F32_SUB = 0x93, OP_F32_MUL = 0x94, OP_F32_DIV = 0x95, OP_F32_MIN = 0x96, OP_F32_MAX = 0x97, OP_F32_COPYSIGN = 0x98,-- f64 operations OP_F64_ABS = 0x99, OP_F64_NEG = 0x9A, OP_F64_CEIL = 0x9B, OP_F64_FLOOR = 0x9C, OP_F64_TRUNC = 0x9D, OP_F64_NEAREST = 0x9E, OP_F64_SQRT = 0x9F, OP_F64_ADD = 0xA0, OP_F64_SUB = 0xA1, OP_F64_MUL = 0xA2, OP_F64_DIV = 0xA3, OP_F64_MIN = 0xA4, OP_F64_MAX = 0xA5, OP_F64_COPYSIGN = 0xA6,-- conversions OP_I32_WRAP_I64 = 0xA7, OP_I32_TRUNC_F32_S = 0xA8, OP_I32_TRUNC_F32_U = 0xA9, OP_I32_TRUNC_F64_S = 0xAA, OP_I32_TRUNC_F64_U = 0xAB, OP_I64_EXTEND_I32_S = 0xAC, OP_I64_EXTEND_I32_U = 0xAD, OP_I64_TRUNC_F32_S = 0xAE, OP_I64_TRUNC_F32_U = 0xAF, OP_I64_TRUNC_F64_S = 0xB0, OP_I64_TRUNC_F64_U = 0xB1, OP_F32_CONVERT_I32_S = 0xB2, OP_F32_CONVERT_I32_U = 0xB3, OP_F32_CONVERT_I64_S = 0xB4, OP_F32_CONVERT_I64_U = 0xB5, OP_F32_DEMOTE_F64 = 0xB6, OP_F64_CONVERT_I32_S = 0xB7, OP_F64_CONVERT_I32_U = 0xB8, OP_F64_CONVERT_I64_S = 0xB9, OP_F64_CONVERT_I64_U = 0xBA, OP_F64_PROMOTE_F32 = 0xBB, OP_I32_REINTERPRET_F32 = 0xBC, OP_I64_REINTERPRET_F64 = 0xBD, OP_F32_REINTERPRET_I32 = 0xBE, OP_F64_REINTERPRET_I64 = 0xBF,-- sign extension OP_I32_EXTEND8_S = 0xC0, OP_I32_EXTEND16_S = 0xC1, OP_I64_EXTEND8_S = 0xC2, OP_I64_EXTEND16_S = 0xC3, OP_I64_EXTEND32_S = 0xC4,}
local c = constants.opcodes
constants.blockOpcodes = { [c.OP_BLOCK] = true, [c.OP_LOOP] = true, [c.OP_IF] = true,}
-- Operand types of each instruction.-- Types are represented as an array where each element represents an operand:-- * "b": byte-- * "u": u32-- * "d": u32 index (needs to be incremented by 1 to account for lua 1-indexed arrays)-- (used for all index types except label indices, and _not_ memory offsets)-- * "U": u64-- * "i": i32-- * "I": i64-- * "V" before one of these types represents a vector of that type.-- Opcodes that are not in this table are assumed to take no operands.constants.operandTypes = {-- control [c.OP_BLOCK] = {"b"}, [c.OP_LOOP] = {"b"}, [c.OP_IF] = {"b"}, [c.OP_BR] = {"u"}, [c.OP_BR_IF] = {"u"}, [c.OP_BR_TABLE] = {"Vu", "u"}, [c.OP_CALL] = {"d"}, [c.OP_CALL_INDIRECT] = {"d", "b"},-- parametric-- variable [c.OP_LOCAL_GET] = {"d"}, [c.OP_LOCAL_SET] = {"d"}, [c.OP_LOCAL_TEE] = {"d"}, [c.OP_GLOBAL_GET] = {"d"}, [c.OP_GLOBAL_SET] = {"d"},-- memory [c.OP_I32_LOAD] = {"u", "u"}, [c.OP_I64_LOAD] = {"u", "u"}, [c.OP_I32_LOAD8_S] = {"u", "u"}, [c.OP_I32_LOAD8_U] = {"u", "u"}, [c.OP_I32_LOAD16_S] = {"u", "u"}, [c.OP_I32_LOAD16_U] = {"u", "u"}, [c.OP_I64_LOAD8_S] = {"u", "u"}, [c.OP_I64_LOAD16_S] = {"u", "u"}, [c.OP_I64_LOAD16_U] = {"u", "u"}, [c.OP_I64_LOAD32_S] = {"u", "u"}, [c.OP_I64_LOAD32_U] = {"u", "u"}, [c.OP_I32_STORE] = {"u", "u"}, [c.OP_I64_STORE] = {"u", "u"}, [c.OP_I32_STORE8] = {"u", "u"}, [c.OP_I32_STORE16] = {"u", "u"}, [c.OP_I64_STORE8] = {"u", "u"}, [c.OP_I64_STORE16] = {"u", "u"}, [c.OP_I64_STORE32] = {"u", "u"}, [c.OP_MEMORY_SIZE] = {"b"}, [c.OP_MEMORY_GROW] = {"b"},-- constants [c.OP_I32_CONST] = {"i"}, [c.OP_I64_CONST] = {"I"},-- all remaining instructions are arithmetic instructions with no operands}
-- Lengths of each instruction-- (zero represents variable length)constants.ilengths = {-- control [c.OP_UNREACHABLE] = 1, [c.OP_NOP] = 1, [c.OP_BLOCK] = 0, [c.OP_LOOP] = 0, [c.OP_IF] = 0, [c.OP_ELSE] = 0, [c.OP_END] = 1, [c.OP_BR] = 2, [c.OP_BR_IF] = 2, [c.OP_BR_TABLE] = 3, [c.OP_RETURN] = 1, [c.OP_CALL] = 2, [c.OP_CALL_INDIRECT] = 3,-- parametric [c.OP_DROP] = 1, [c.OP_SELECT] = 1,-- variable [c.OP_LOCAL_GET] = 2, [c.OP_LOCAL_SET] = 2, [c.OP_LOCAL_TEE] = 2, [c.OP_GLOBAL_GET] = 2, [c.OP_GLOBAL_SET] = 2,-- memory [c.OP_I32_LOAD] = 3, [c.OP_I64_LOAD] = 3, -- [float instrs] [c.OP_I32_LOAD8_S] = 3, [c.OP_I32_LOAD8_U] = 3, [c.OP_I32_LOAD16_S] = 3, [c.OP_I32_LOAD16_U] = 3, [c.OP_I64_LOAD8_S] = 3, [c.OP_I64_LOAD8_U] = 3, [c.OP_I64_LOAD16_S] = 3, [c.OP_I64_LOAD16_U] = 3, [c.OP_I64_LOAD32_S] = 3, [c.OP_I64_LOAD32_U] = 3, [c.OP_I32_STORE] = 3, [c.OP_I64_STORE] = 3, -- [float instrs] [c.OP_I32_STORE8] = 3, [c.OP_I32_STORE16] = 3, [c.OP_I64_STORE8] = 3, [c.OP_I64_STORE16] = 3, [c.OP_I64_STORE32] = 3, [c.OP_MEMORY_SIZE] = 2, [c.OP_MEMORY_GROW] = 2,-- constants [c.OP_I32_CONST] = 2, [c.OP_I64_CONST] = 2, -- [float consts]-- i32 comparisons [c.OP_I32_EQZ] = 1, [c.OP_I32_EQ] = 1, [c.OP_I32_NE] = 1, [c.OP_I32_LT_S] = 1, [c.OP_I32_LT_U] = 1, [c.OP_I32_GT_S] = 1, [c.OP_I32_GT_U] = 1, [c.OP_I32_LE_S] = 1, [c.OP_I32_LE_U] = 1, [c.OP_I32_GE_S] = 1, [c.OP_I32_GE_U] = 1,-- i64 comparisons [c.OP_I64_EQZ] = 1, [c.OP_I64_EQ] = 1, [c.OP_I64_NE] = 1, [c.OP_I64_LT_S] = 1, [c.OP_I64_LT_U] = 1, [c.OP_I64_GT_S] = 1, [c.OP_I64_GT_U] = 1, [c.OP_I64_LE_S] = 1, [c.OP_I64_LE_U] = 1, [c.OP_I64_GE_S] = 1, [c.OP_I64_GE_U] = 1,-- [float comparisons]-- i32 operations [c.OP_I32_CLZ] = 1, [c.OP_I32_CTZ] = 1, [c.OP_I32_POPCNT] = 1, [c.OP_I32_ADD] = 1, [c.OP_I32_SUB] = 1, [c.OP_I32_MUL] = 1, [c.OP_I32_DIV_S] = 1, [c.OP_I32_DIV_U] = 1, [c.OP_I32_REM_S] = 1, [c.OP_I32_REM_U] = 1, [c.OP_I32_AND] = 1, [c.OP_I32_OR] = 1, [c.OP_I32_XOR] = 1, [c.OP_I32_SHL] = 1, [c.OP_I32_SHR_S] = 1, [c.OP_I32_SHR_U] = 1, [c.OP_I32_ROTL] = 1, [c.OP_I32_ROTR] = 1,-- i64 operations [c.OP_I64_CLZ] = 1, [c.OP_I64_CTZ] = 1, [c.OP_I64_POPCNT] = 1, [c.OP_I64_ADD] = 1, [c.OP_I64_SUB] = 1, [c.OP_I64_MUL] = 1, [c.OP_I64_DIV_S] = 1, [c.OP_I64_DIV_U] = 1, [c.OP_I64_REM_S] = 1, [c.OP_I64_REM_U] = 1, [c.OP_I64_AND] = 1, [c.OP_I64_OR] = 1, [c.OP_I64_XOR] = 1, [c.OP_I64_SHL] = 1, [c.OP_I64_SHR_S] = 1, [c.OP_I64_SHR_U] = 1, [c.OP_I64_ROTL] = 1, [c.OP_I64_ROTR] = 1, -- [float operations]-- conversions [c.OP_I32_WRAP_I64] = 1, -- [float stuff] [c.OP_I64_EXTEND_I32_S] = 1, [c.OP_I64_EXTEND_I32_U] = 1, -- [float stuff]-- sign extension [c.OP_I32_EXTEND8_S] = 1, [c.OP_I32_EXTEND16_S] = 1, [c.OP_I64_EXTEND8_S] = 1, [c.OP_I64_EXTEND16_S] = 1, [c.OP_I64_EXTEND32_S] = 1,}
constants.valtypes = { VTY_I32 = 0x7F, VTY_I64 = 0x7E, VTY_F32 = 0x7D, VTY_F64 = 0x7C,}
constants.blocktypes = { BTY_NONE = 0x40, BTY_I32 = constants.valtypes.VTY_I32, BTY_I64 = constants.valtypes.VTY_I64, BTY_F32 = constants.valtypes.VTY_F32, BTY_F64 = constants.valtypes.VTY_F64,
}
constants.sectionIds = { SECT_CUSTOM = 0, SECT_TYPE = 1, SECT_IMPORT = 2, SECT_FUNC = 3, SECT_TABLE = 4, SECT_MEM = 5, SECT_GLOBAL = 6, SECT_EXPORT = 7, SECT_START = 8, SECT_ELEM = 9, SECT_CODE = 10, SECT_DATA = 11,}
return constants