Method run

src/lib/invoke/dispatch.cpp:22–283

    case Opcode::OP: { auto& _m = std::get<WasmInstr::MemArg>(instr.imm); Instr::TYPE t{_m.memidx, _m.offset, _m.align}; operator()(t); break; }

void RunVisitor::run(WasmInstr& instr) {
    switch(instr.opcode) {
    // --- Control: no-imm ---
    ATOM(Unreachable, Unreachable)
    ATOM(Nop, Nop)
    ATOM(Else, Else)
    ATOM(End, End)
    ATOM(Return, Return)
    ATOM(Throw_ref, Throw_ref)
    // --- Control: block type ---
    BLK(Block, Block)
    BLK(Loop, Loop)
    BLK(If, If)
    // --- Control: one-index ---
    ONE(Br, Br)
    ONE(Br_if, Br_if)
    ONE(Throw, Throw)
    ONE(Call, Call)
    ONE(Return_call, Return_call)
    ONE(Return_call_ref, Return_call_ref)
    ONE(Call_ref, Call_ref)
    // --- Control: two-index ---
    TWO(Call_indirect, Call_indirect, a, b)
    TWO(Return_call_indirect, Return_call_indirect, a, b)
    // --- Control: Br_table ---
    case Opcode::Br_table: {
        auto& bt = std::get<WasmInstr::BrTab>(instr.imm);
        Instr::Br_table t;
        t.indices = bt.indices;
        operator()(t);
        break;
    }
    // --- Control: Try_table ---
    case Opcode::Try_table: {
        auto& tt = std::get<WasmInstr::TryTab>(instr.imm);
        Instr::Try_table t;
        t.type = tt.type;
        t.catches = tt.catches;
        operator()(t);
        break;
    }

    // --- Reference: no-imm ---
    ATOM(Ref_is_null, Ref_is_null)
    ATOM(Ref_eq, Ref_eq)
    ATOM(Ref_as_non_null, Ref_as_non_null)
    ATOM(Ref_i31, Ref_i31)
    ATOM(I31_get_s, I31_get_s)
    ATOM(I31_get_u, I31_get_u)
    ATOM(Any_convert_extern, Any_convert_extern)
    ATOM(Extern_convert_any, Extern_convert_any)
    // --- Reference: one-index ---
    ONE(Ref_func, Ref_func)
    ONE(Br_on_null, Br_on_null)
    ONE(Br_on_non_null, Br_on_non_null)
    // --- Reference: heap-ref ---
    case Opcode::Ref_null: {
        auto& h = std::get<WasmInstr::HeapRef>(instr.imm);