Method parse_controlinstr

src/lib/parse/instr_parse.cpp:241–274

// ── Control instructions ──────────────────────────────────────────────────────

WasmInstr ParseContext::parse_controlinstr(const std::string& name) {
    if (name == "unreachable") return Instr::Unreachable();
    if (name == "nop")         return Instr::Nop();
    if (name == "return")      return Instr::Return();
    if (name == "br")          return Instr::Br(parse_labelidx());
    if (name == "br_if")       return Instr::Br_if(parse_labelidx());
    if (name == "br_table") {
        Instr::Br_table instr;
        while (tok_.peek().type == TokenType::Integer || tok_.peek().type == TokenType::Id)
            instr.indices.push_back(parse_labelidx());
        return instr;
    }
    if (name == "call")          return Instr::Call(parse_funcidx());
    if (name == "call_ref")      return Instr::Call_ref(parse_typeidx());
    if (name == "return_call")   return Instr::Return_call(parse_funcidx());
    if (name == "return_call_ref") return Instr::Return_call_ref(parse_typeidx());
    if (name == "throw")         return Instr::Throw(parse_tagidx());
    if (name == "throw_ref")     return Instr::Throw_ref();
    if (name == "return_call_indirect") {
        index_t tableidx = 0;
        if ((tok_.peek().type == TokenType::Integer || tok_.peek().type == TokenType::Id)
            && !is_typeuse_start())
            tableidx = parse_tableidx();
        return Instr::Return_call_indirect(tableidx, parse_typeuse());
    }
    // call_indirect: tableidx? typeuse
    index_t tableidx = 0;
    if ((tok_.peek().type == TokenType::Integer || tok_.peek().type == TokenType::Id)
        && !is_typeuse_start()) {
        tableidx = parse_tableidx();
    }
    index_t typeidx = parse_typeuse();
    return Instr::Call_indirect(tableidx, typeidx);
}

// ── Reference instructions ────────────────────────────────────────────────────