/**********************************************************************************************************************/
/*first line intentionally left blank.*/
/*wasm interpreter*/
/*Copyright (C) 2018 Farzad Sadeghi

This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 3
of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.*/
/**********************************************************************************************************************/
#include <algorithm>
#include <map>
#include <vector>
/**********************************************************************************************************************/
#ifndef _WASM_HPP
#define _WASM_HPP
#define MAGIC_NUMBER 0x6d736100
#define PAGE_SIZE 65536
enum class section_id_t {custom, type, import, func, table, memory, global, exp, start, element, code, data, unknown};
enum class relocation_type_t {R_WEBASSEMBLY_FUNCTION_INDEX_LEB, R_WEBASSEMBLY_TABLE_INDEX_SLEB, 
  R_WEBASSEMBLY_TABLE_INDEX_I32, R_WEBASSEMBLY_MEMORY_ADDR_LEB, R_WEBASSEMBLY_MEMORY_ADDR_SLEB, 
  R_WEBASSEMBLY_MEMORY_ADDR_I32, R_WEBASSEMBLY_TYPE_INDEX_LEB, R_WEBASSEMBLY_GLOBAL_INDEX_LEB, 
  R_WEBASSEMPLY_FUNCTION_OFFSET_I32, R_WEBASSEMBLY_SECTION_OFFSET_I32};
enum class linking_subsection_t {WASM_SEGMENT_INFO, WASM_INIT_FUNCS, WASM_COMDAT_INFO, WASM_SYMBOL_TABLE};
enum class syminfo_kind_t {SYMTAB_FUNCTION, SYMTAB_DATA, SYMTAB_GLOBAL, SYMTAB_SECTION};
enum class w_type_t {uint8, uint16, uint32, uint64, 
  varuint1, varuint7, varuint32, varuint64, varint1, 
  varint7, varint32, varint64, floatt, doublet};
struct wasm_op_t {
  wasm_op_t(std::string _mnemonic, bool _has_opnd, std::vector<w_type_t> _opnd_types) {
    mnemonic = _mnemonic;
    has_opnd = _has_opnd;
    std::for_each(_opnd_types.begin(), _opnd_types.end(), [this](w_type_t __t){this->opnd_types.push_back(__t);});
  }
  std::string mnemonic;
  bool has_opnd;
  std::vector<w_type_t> opnd_types;
};

std::map<uint8_t, wasm_op_t> wasm_opcodes = {
  //{0x7f, wasm_op_t{"i32", false, {}}},
  //{0x7e, wasm_op_t{"i64", false, {}}},
  //{0x7d, wasm_op_t{"f32", false, {}}},
  //{0x7c, wasm_op_t{"f64", false, {}}}, 
  //{0x7b, wasm_op_t{"anyfunc", false, {}}},
  //{0x60, wasm_op_t{"func", false, {}}},
  //{0x40, wasm_op_t{"empty_block_type", false, {}}},
  {0x00, wasm_op_t{"unreachable", false, {}}},
  {0x01, wasm_op_t{"nop", false, {}}},
  {0x02, wasm_op_t{"block", true, {w_type_t::varuint7}}},
  {0x03, wasm_op_t{"loop", true, {w_type_t::varuint7}}},
  {0x04, wasm_op_t{"if", true, {w_type_t::varuint7}}},
  {0x05, wasm_op_t{"else", false, {}}},
  {0x0b, wasm_op_t{"end", false, {}}},
  {0x0c, wasm_op_t{"br", true, {w_type_t::varuint32}}},
  {0x0d, wasm_op_t{"br_if", true, {w_type_t::varuint32}}},
  {0x0e, wasm_op_t{"br_table", true, {w_type_t::varuint32, w_type_t::varuint32, w_type_t::varuint32}}},
  {0x0f, wasm_op_t{"return", false, {}}},
  {0x10, wasm_op_t{"call", true, {w_type_t::varuint32}}},
  {0x11, wasm_op_t{"call_indirect", true, {w_type_t::varuint32, w_type_t::varuint1}}},
  {0x1a, wasm_op_t{"drop", false, {}}},
  {0x1b, wasm_op_t{"select", false, {}}},
  {0x20, wasm_op_t{"get_local", true, {w_type_t::varuint32}}},
  {0x21, wasm_op_t{"set_local", true, {w_type_t::varuint32}}},
  {0x22, wasm_op_t{"tee_local", true, {w_type_t::varuint32}}},
  {0x23, wasm_op_t{"get_global", true, {w_type_t::varuint32}}},
  {0x24, wasm_op_t{"set_global", true, {w_type_t::varuint32}}},
  {0x28, wasm_op_t{"i32.load", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x29, wasm_op_t{"i64.load", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x2a, wasm_op_t{"f32.load", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x2b, wasm_op_t{"f64.load", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x2c, wasm_op_t{"i32.load8_s", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x2d, wasm_op_t{"i32.load8_u", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x2e, wasm_op_t{"i32.load16_s", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x2f, wasm_op_t{"i32.load16_u", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x30, wasm_op_t{"i64.load8_s", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x31, wasm_op_t{"i64.load8_u", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x32, wasm_op_t{"i64.load16_s", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x33, wasm_op_t{"i64.load16_u", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x34, wasm_op_t{"i64.load32_s", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x35, wasm_op_t{"i64.load32_u", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x36, wasm_op_t{"i32.store", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x37, wasm_op_t{"i64.store", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x38, wasm_op_t{"f32.store", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x39, wasm_op_t{"f64.store", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x3a, wasm_op_t{"i32.store8", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x3b, wasm_op_t{"i32.store16", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x3c, wasm_op_t{"i64.store8", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x3d, wasm_op_t{"i64.store16", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x3e, wasm_op_t{"i64.store32", true, {w_type_t::varuint32, w_type_t::varuint32}}},
  {0x3f, wasm_op_t{"current_memory", true, {w_type_t::varuint1}}},
  {0x40, wasm_op_t{"grow_memory", true, {w_type_t::varuint1}}},
  {0x41, wasm_op_t{"i32.const", true, {w_type_t::varint32}}},
  {0x42, wasm_op_t{"i64.const", true, {w_type_t::varint64}}},
  {0x43, wasm_op_t{"f32.const", true, {w_type_t::uint32}}},
  {0x44, wasm_op_t{"f64.const", true, {w_type_t::uint64}}},
  {0x45, wasm_op_t{"i32.eqz", false, {}}},
  {0x46, wasm_op_t{"i32.eq", false, {}}},
  {0x47, wasm_op_t{"i32.ne", false, {}}},
  {0x48, wasm_op_t{"i32.lt_s", false, {}}},
  {0x49, wasm_op_t{"i32.lt_u", false, {}}},
  {0x4a, wasm_op_t{"i32.gt_s", false, {}}},
  {0x4b, wasm_op_t{"i32.gt_u", false, {}}},
  {0x4c, wasm_op_t{"i32.le_s", false, {}}},
  {0x4d, wasm_op_t{"i32.le_u", false, {}}},
  {0x4e, wasm_op_t{"i32.ge_s", false, {}}},
  {0x4f, wasm_op_t{"i32.ge_u", false, {}}},
  {0x50, wasm_op_t{"i64.eqz", false, {}}},
  {0x51, wasm_op_t{"i64.eq", false, {}}},
  {0x52, wasm_op_t{"i64.ne", false, {}}},
  {0x53, wasm_op_t{"i64.lt_s", false, {}}},
  {0x54, wasm_op_t{"i64.lt_u", false, {}}},
  {0x55, wasm_op_t{"i64.gt_s", false, {}}},
  {0x56, wasm_op_t{"i64.gt_u", false, {}}},
  {0x57, wasm_op_t{"i64.le_s", false, {}}},
  {0x58, wasm_op_t{"i64.le_u", false, {}}},
  {0x59, wasm_op_t{"i64.ge_s", false, {}}},
  {0x5a, wasm_op_t{"i64.ge_u", false, {}}},
  {0x5b, wasm_op_t{"f32.eq", false, {}}},
  {0x5c, wasm_op_t{"f32.ne", false, {}}},
  {0x5d, wasm_op_t{"f32.lt", false, {}}},
  {0x5e, wasm_op_t{"f32.gt", false, {}}},
  {0x5f, wasm_op_t{"f32.le", false, {}}},
  {0x60, wasm_op_t{"f32.ge", false, {}}},
  {0x61, wasm_op_t{"f64.eq", false, {}}},
  {0x62, wasm_op_t{"f64.ne", false, {}}},
  {0x63, wasm_op_t{"f64.lt", false, {}}},
  {0x64, wasm_op_t{"f64.gt", false, {}}},
  {0x65, wasm_op_t{"f64.le", false, {}}},
  {0x66, wasm_op_t{"f64.ge", false, {}}},
  {0x67, wasm_op_t{"i32.clz", false, {}}},
  {0x68, wasm_op_t{"i32.ctz", false, {}}},
  {0x69, wasm_op_t{"i32.popcnt", false, {}}},
  {0x6a, wasm_op_t{"i32.add", false, {}}},
  {0x6b, wasm_op_t{"i32.sub", false, {}}},
  {0x6c, wasm_op_t{"i32.mul", false, {}}},
  {0x6d, wasm_op_t{"i32.div_s", false, {}}},
  {0x6e, wasm_op_t{"i32.div_u", false, {}}},
  {0x6f, wasm_op_t{"i32.rem_s", false, {}}},
  {0x70, wasm_op_t{"i32.rem_u", false, {}}},
  {0x71, wasm_op_t{"i32.and", false, {}}},
  {0x72, wasm_op_t{"i32.or", false, {}}},
  {0x73, wasm_op_t{"i32.xor", false, {}}},
  {0x74, wasm_op_t{"i32.shl", false, {}}},
  {0x75, wasm_op_t{"i32.shr_s", false, {}}},
  {0x76, wasm_op_t{"i32.shr_u", false, {}}},
  {0x77, wasm_op_t{"i32.rotl", false, {}}},
  {0x78, wasm_op_t{"i32.rotr", false, {}}},
  {0x79, wasm_op_t{"i64.clz", false, {}}},
  {0x7a, wasm_op_t{"i64.ctz", false, {}}},
  {0x7b, wasm_op_t{"i64.popcnt", false, {}}},
  {0x7c, wasm_op_t{"i64.add", false, {}}},
  {0x7d, wasm_op_t{"i64.sub", false, {}}},
  {0x7e, wasm_op_t{"i64.mul", false, {}}},
  {0x7f, wasm_op_t{"i64.div_s", false, {}}},
  {0x80, wasm_op_t{"i64.div_u", false, {}}},
  {0x81, wasm_op_t{"i64.rem_s", false, {}}},
  {0x82, wasm_op_t{"i64.rem_u", false, {}}},
  {0x83, wasm_op_t{"i64.and", false, {}}},
  {0x84, wasm_op_t{"i64.or", false, {}}},
  {0x85, wasm_op_t{"i64.xor", false, {}}},
  {0x86, wasm_op_t{"i64.shl", false, {}}},
  {0x87, wasm_op_t{"i64.shr_s", false, {}}},
  {0x88, wasm_op_t{"i64.shr_u", false, {}}},
  {0x89, wasm_op_t{"i64.rotl", false, {}}},
  {0x8a, wasm_op_t{"i63.rotr", false, {}}},
  {0x8b, wasm_op_t{"f32.abs", false, {}}},
  {0x8c, wasm_op_t{"f32.neg", false, {}}},
  {0x8d, wasm_op_t{"f32.ceil", false, {}}},
  {0x8e, wasm_op_t{"f32.floor", false, {}}},
  {0x8f, wasm_op_t{"f32.trunc", false, {}}},
  {0x90, wasm_op_t{"f32.nearest", false, {}}},
  {0x91, wasm_op_t{"f32.sqrt", false, {}}},
  {0x92, wasm_op_t{"f32.add", false, {}}},
  {0x93, wasm_op_t{"f32.sub", false, {}}},
  {0x94, wasm_op_t{"f32.mul", false, {}}},
  {0x95, wasm_op_t{"f32.div", false, {}}},
  {0x96, wasm_op_t{"f32.min", false, {}}},
  {0x97, wasm_op_t{"f32.max", false, {}}},
  {0x98, wasm_op_t{"f32.copysign", false, {}}},
  {0x99, wasm_op_t{"f64.abs", false, {}}},
  {0x9a, wasm_op_t{"f64.neg", false, {}}},
  {0x9b, wasm_op_t{"f64.ceil", false, {}}},
  {0x9c, wasm_op_t{"f64.floor", false, {}}},
  {0x9d, wasm_op_t{"f64.trunc", false, {}}},
  {0x9e, wasm_op_t{"f64.nearest", false, {}}},
  {0x9f, wasm_op_t{"f64.sqrt", false, {}}},
  {0xa0, wasm_op_t{"f64.add", false, {}}},
  {0xa1, wasm_op_t{"f64.sub", false, {}}},
  {0xa2, wasm_op_t{"f64.mul", false, {}}},
  {0xa3, wasm_op_t{"f64.div", false, {}}},
  {0xa4, wasm_op_t{"f64.min", false, {}}},
  {0xa5, wasm_op_t{"f64.max", false, {}}},
  {0xa6, wasm_op_t{"f64.copysign", false, {}}},
  {0xa7, wasm_op_t{"i32.wrap/i64", false, {}}},
  {0xa8, wasm_op_t{"i32.trunc_s/f32", false, {}}},
  {0xa9, wasm_op_t{"i32.trunc_u/f32", false, {}}},
  {0xaa, wasm_op_t{"i32.trunc_s/f64", false, {}}},
  {0xab, wasm_op_t{"i32.trunc_u/f64", false, {}}},
  {0xac, wasm_op_t{"i64.extend_s/i32", false, {}}},
  {0xad, wasm_op_t{"i64.extend_u/i32", false, {}}},
  {0xae, wasm_op_t{"i64.trunc_s/f32", false, {}}},
  {0xaf, wasm_op_t{"i64.trunc_u/f32", false, {}}},
  {0xb0, wasm_op_t{"i64.trunc_s/f64", false, {}}},
  {0xb1, wasm_op_t{"i64.trunc_u/f64", false, {}}},
  {0xb2, wasm_op_t{"f32.convert_s/i32", false, {}}},
  {0xb3, wasm_op_t{"f32.convert_u/i32", false, {}}},
  {0xb4, wasm_op_t{"f32.convert_s/i64", false, {}}},
  {0xb5, wasm_op_t{"f32.convert_u/i64", false, {}}},
  {0xb6, wasm_op_t{"f32.demote/f64", false, {}}},
  {0xb7, wasm_op_t{"f64.convert_s/i32", false, {}}},
  {0xb8, wasm_op_t{"f64.convert_u/i32", false, {}}},
  {0xb9, wasm_op_t{"f64.convert_s/i64", false, {}}},
  {0xba, wasm_op_t{"f64.convert_u/i64", false, {}}},
  {0xbb, wasm_op_t{"f64.promote/f32", false, {}}},
  {0xbc, wasm_op_t{"i32.reinterpret/f32", false, {}}},
  {0xbd, wasm_op_t{"i64.reinterpret/f64", false, {}}},
  {0xbe, wasm_op_t{"f32.reinterpret/i32", false, {}}},
  {0xbf, wasm_op_t{"f64.reinterpret/i64", false, {}}}
};
#endif // header guard end
/**********************************************************************************************************************/
/*last line intentionally left blank.*/