Method parse_tableinstr

src/lib/parse/instr_parse.cpp:362–397

// ── Table instructions ────────────────────────────────────────────────────────

WasmInstr ParseContext::parse_tableinstr(const std::string& name) {
    if (name == "elem.drop") return Instr::Elem_drop(parse_elemidx());
    if (name == "table.copy") {
        index_t dst = 0, src = 0;
        if (tok_.peek().type == TokenType::Integer || tok_.peek().type == TokenType::Id) {
            dst = parse_tableidx();
            src = parse_tableidx();
        }
        return Instr::Table_copy(dst, src);
    }
    index_t tableidx = 0;
    if (name != "table.init") {
        if (tok_.peek().type == TokenType::Integer || tok_.peek().type == TokenType::Id)
            tableidx = parse_tableidx();
    } else {
        // table.init tableidx? elemidx — need to distinguish
        // If two indices follow, first is tableidx; if one, it's elemidx
        if (tok_.peek().type == TokenType::Integer || tok_.peek().type == TokenType::Id) {
            tableidx = parse_u32(); // tentative: first index
            // peek to see if another index follows (then the first was tableidx)
            if (tok_.peek().type == TokenType::Integer || tok_.peek().type == TokenType::Id) {
                // two indices: tableidx elemidx
                return Instr::Table_init((index_t)tableidx, parse_elemidx());
            }
            // only one index: it was the elemidx
            return Instr::Table_init(0, (index_t)tableidx);
        }
        return Instr::Table_init(0, 0);
    }
    if (name == "table.get")  return Instr::Table_get(tableidx);
    if (name == "table.set")  return Instr::Table_set(tableidx);
    if (name == "table.size") return Instr::Table_size(tableidx);
    if (name == "table.grow") return Instr::Table_grow(tableidx);
    if (name == "table.fill") return Instr::Table_fill(tableidx);
    return Instr::Table_fill(tableidx); // fallback
}

// ── Memarg ────────────────────────────────────────────────────────────────────