redscript-mc 2.4.1 → 2.6.0

package/dist/src2/mir/lower.js

@@ -1,1030 +0,0 @@
-"use strict";
-/**
- * HIR → MIR Lowering — Stage 3 of the RedScript compiler pipeline.
- *
- * Converts structured HIR (if/while/break/continue) into an explicit CFG
- * with 3-address instructions and unlimited fresh temporaries.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.lowerToMIR = lowerToMIR;
-const macro_1 = require("./macro");
-// ---------------------------------------------------------------------------
-// Public API
-// ---------------------------------------------------------------------------
-function lowerToMIR(hir) {
-    // Build struct definitions: name → field names
-    const structDefs = new Map();
-    for (const s of hir.structs) {
-        structDefs.set(s.name, s.fields.map(f => f.name));
-    }
-    // Build impl method info: typeName → methodName → { hasSelf }
-    const implMethods = new Map();
-    for (const ib of hir.implBlocks) {
-        const methods = new Map();
-        for (const m of ib.methods) {
-            const hasSelf = m.params.length > 0 && m.params[0].name === 'self';
-            methods.set(m.name, { hasSelf });
-        }
-        implMethods.set(ib.typeName, methods);
-    }
-    // Pre-scan for macro functions
-    const macroInfo = (0, macro_1.detectMacroFunctions)(hir);
-    // Build function param info for call_macro generation at call sites
-    const fnParamInfo = new Map();
-    for (const f of hir.functions) {
-        fnParamInfo.set(f.name, f.params);
-    }
-    for (const ib of hir.implBlocks) {
-        for (const m of ib.methods) {
-            fnParamInfo.set(`${ib.typeName}::${m.name}`, m.params);
-        }
-    }
-    const allFunctions = [];
-    for (const f of hir.functions) {
-        const { fn, helpers } = lowerFunction(f, hir.namespace, structDefs, implMethods, macroInfo, fnParamInfo);
-        allFunctions.push(fn, ...helpers);
-    }
-    // Lower impl block methods
-    for (const ib of hir.implBlocks) {
-        for (const m of ib.methods) {
-            const { fn, helpers } = lowerImplMethod(m, ib.typeName, hir.namespace, structDefs, implMethods, macroInfo, fnParamInfo);
-            allFunctions.push(fn, ...helpers);
-        }
-    }
-    return {
-        functions: allFunctions,
-        namespace: hir.namespace,
-        objective: `__${hir.namespace}`,
-    };
-}
-// ---------------------------------------------------------------------------
-// Function lowering context
-// ---------------------------------------------------------------------------
-class FnContext {
-    constructor(namespace, fnName, structDefs = new Map(), implMethods = new Map(), macroInfo = new Map(), fnParamInfo = new Map()) {
-        this.tempCounter = 0;
-        this.blockCounter = 0;
-        this.blocks = [];
-        /** Stack of (loopHeader, loopExit, continueTo) for break/continue */
-        this.loopStack = [];
-        /** Extracted helper functions for execute blocks */
-        this.helperFunctions = [];
-        /** Struct variable tracking: varName → { typeName, fields: fieldName → temp } */
-        this.structVars = new Map();
-        this.namespace = namespace;
-        this.fnName = fnName;
-        this.structDefs = structDefs;
-        this.implMethods = implMethods;
-        this.macroInfo = macroInfo;
-        this.fnParamInfo = fnParamInfo;
-        this.currentMacroParams = macroInfo.get(fnName)?.macroParams ?? new Set();
-        const entry = this.makeBlock('entry');
-        this.currentBlock = entry;
-    }
-    freshTemp() {
-        return `t${this.tempCounter++}`;
-    }
-    makeBlock(id) {
-        const block = {
-            id: id ?? `bb${this.blockCounter++}`,
-            instrs: [],
-            term: { kind: 'return', value: null }, // placeholder
-            preds: [],
-        };
-        this.blocks.push(block);
-        return block;
-    }
-    newBlock(prefix) {
-        return this.makeBlock(prefix ? `${prefix}_${this.blockCounter++}` : undefined);
-    }
-    emit(instr) {
-        this.currentBlock.instrs.push(instr);
-    }
-    terminate(term) {
-        this.currentBlock.term = term;
-    }
-    switchTo(block) {
-        this.currentBlock = block;
-    }
-    current() {
-        return this.currentBlock;
-    }
-    pushLoop(header, exit, continueTo) {
-        this.loopStack.push({ header, exit, continueTo: continueTo ?? header });
-    }
-    popLoop() {
-        this.loopStack.pop();
-    }
-    currentLoop() {
-        return this.loopStack[this.loopStack.length - 1];
-    }
-    getNamespace() {
-        return this.namespace;
-    }
-    getFnName() {
-        return this.fnName;
-    }
-}
-// ---------------------------------------------------------------------------
-// Function lowering
-// ---------------------------------------------------------------------------
-function lowerFunction(fn, namespace, structDefs = new Map(), implMethods = new Map(), macroInfo = new Map(), fnParamInfo = new Map()) {
-    const ctx = new FnContext(namespace, fn.name, structDefs, implMethods, macroInfo, fnParamInfo);
-    const fnMacroInfo = macroInfo.get(fn.name);
-    // Create temps for parameters
-    const params = fn.params.map(p => {
-        const t = ctx.freshTemp();
-        return { name: t, isMacroParam: fnMacroInfo?.macroParams.has(p.name) ?? false };
-    });
-    // Map parameter names to their temps
-    const scope = new Map();
-    fn.params.forEach((p, i) => {
-        scope.set(p.name, params[i].name);
-    });
-    lowerBlock(fn.body, ctx, scope);
-    // If the current block doesn't have a real terminator, add void return
-    const cur = ctx.current();
-    if (isPlaceholderTerm(cur.term)) {
-        ctx.terminate({ kind: 'return', value: null });
-    }
-    // Remove unreachable blocks (dead continuations after return/break/continue)
-    const reachable = computeReachable(ctx.blocks, 'entry');
-    const liveBlocks = ctx.blocks.filter(b => reachable.has(b.id));
-    // Fill predecessor lists
-    computePreds(liveBlocks);
-    const result = {
-        name: fn.name,
-        params,
-        blocks: liveBlocks,
-        entry: 'entry',
-        isMacro: fnMacroInfo != null,
-    };
-    return { fn: result, helpers: ctx.helperFunctions };
-}
-function lowerImplMethod(method, typeName, namespace, structDefs, implMethods, macroInfo = new Map(), fnParamInfo = new Map()) {
-    const fnName = `${typeName}::${method.name}`;
-    const ctx = new FnContext(namespace, fnName, structDefs, implMethods, macroInfo, fnParamInfo);
-    const fields = structDefs.get(typeName) ?? [];
-    const hasSelf = method.params.length > 0 && method.params[0].name === 'self';
-    const params = [];
-    const scope = new Map();
-    if (hasSelf) {
-        // Self fields become the first N params (one per struct field)
-        const selfFields = new Map();
-        for (const fieldName of fields) {
-            const t = ctx.freshTemp();
-            params.push({ name: t, isMacroParam: false });
-            selfFields.set(fieldName, t);
-        }
-        ctx.structVars.set('self', { typeName, fields: selfFields });
-        // Remaining params (after self)
-        for (let i = 1; i < method.params.length; i++) {
-            const t = ctx.freshTemp();
-            params.push({ name: t, isMacroParam: false });
-            scope.set(method.params[i].name, t);
-        }
-    }
-    else {
-        // Static method — regular params
-        for (const p of method.params) {
-            const t = ctx.freshTemp();
-            params.push({ name: t, isMacroParam: false });
-            scope.set(p.name, t);
-        }
-    }
-    lowerBlock(method.body, ctx, scope);
-    const cur = ctx.current();
-    if (isPlaceholderTerm(cur.term)) {
-        ctx.terminate({ kind: 'return', value: null });
-    }
-    const reachable = computeReachable(ctx.blocks, 'entry');
-    const liveBlocks = ctx.blocks.filter(b => reachable.has(b.id));
-    computePreds(liveBlocks);
-    const result = {
-        name: fnName,
-        params,
-        blocks: liveBlocks,
-        entry: 'entry',
-        isMacro: macroInfo.has(fnName),
-    };
-    return { fn: result, helpers: ctx.helperFunctions };
-}
-function isPlaceholderTerm(term) {
-    // Our placeholder is a return null that was set in makeBlock
-    return term.kind === 'return' && term.value === null;
-}
-function computeReachable(blocks, entry) {
-    const reachable = new Set();
-    const queue = [entry];
-    while (queue.length > 0) {
-        const id = queue.shift();
-        if (reachable.has(id))
-            continue;
-        reachable.add(id);
-        const block = blocks.find(b => b.id === id);
-        if (block) {
-            for (const t of getTermTargets(block.term)) {
-                if (!reachable.has(t))
-                    queue.push(t);
-            }
-        }
-    }
-    return reachable;
-}
-function computePreds(blocks) {
-    // Clear all preds
-    for (const b of blocks)
-        b.preds = [];
-    for (const b of blocks) {
-        const targets = getTermTargets(b.term);
-        for (const t of targets) {
-            const target = blocks.find(bb => bb.id === t);
-            if (target && !target.preds.includes(b.id)) {
-                target.preds.push(b.id);
-            }
-        }
-    }
-}
-function getTermTargets(term) {
-    switch (term.kind) {
-        case 'jump': return [term.target];
-        case 'branch': return [term.then, term.else];
-        case 'return': return [];
-        default: return [];
-    }
-}
-// ---------------------------------------------------------------------------
-// Block / statement lowering
-// ---------------------------------------------------------------------------
-function lowerBlock(stmts, ctx, scope) {
-    for (const stmt of stmts) {
-        lowerStmt(stmt, ctx, scope);
-    }
-}
-function lowerStmt(stmt, ctx, scope) {
-    switch (stmt.kind) {
-        case 'let': {
-            if (stmt.init.kind === 'struct_lit') {
-                // Struct literal: create per-field temps
-                const typeName = (stmt.type?.kind === 'struct') ? stmt.type.name : '__anon';
-                const fieldTemps = new Map();
-                for (const field of stmt.init.fields) {
-                    const val = lowerExpr(field.value, ctx, scope);
-                    const t = ctx.freshTemp();
-                    ctx.emit({ kind: 'copy', dst: t, src: val });
-                    fieldTemps.set(field.name, t);
-                }
-                ctx.structVars.set(stmt.name, { typeName, fields: fieldTemps });
-            }
-            else if (stmt.type?.kind === 'struct') {
-                // Struct-typed let with non-literal init (e.g., call returning struct)
-                const fields = ctx.structDefs.get(stmt.type.name);
-                if (fields) {
-                    lowerExpr(stmt.init, ctx, scope);
-                    // Copy from return field slots into struct variable temps
-                    const fieldTemps = new Map();
-                    for (const fieldName of fields) {
-                        const t = ctx.freshTemp();
-                        ctx.emit({ kind: 'copy', dst: t, src: { kind: 'temp', name: `__rf_${fieldName}` } });
-                        fieldTemps.set(fieldName, t);
-                    }
-                    ctx.structVars.set(stmt.name, { typeName: stmt.type.name, fields: fieldTemps });
-                }
-                else {
-                    const valOp = lowerExpr(stmt.init, ctx, scope);
-                    const t = ctx.freshTemp();
-                    ctx.emit({ kind: 'copy', dst: t, src: valOp });
-                    scope.set(stmt.name, t);
-                }
-            }
-            else {
-                const valOp = lowerExpr(stmt.init, ctx, scope);
-                const t = ctx.freshTemp();
-                ctx.emit({ kind: 'copy', dst: t, src: valOp });
-                scope.set(stmt.name, t);
-            }
-            break;
-        }
-        case 'expr': {
-            lowerExpr(stmt.expr, ctx, scope);
-            break;
-        }
-        case 'return': {
-            if (stmt.value?.kind === 'struct_lit') {
-                // Struct return — copy each field to return field slots
-                for (const field of stmt.value.fields) {
-                    const val = lowerExpr(field.value, ctx, scope);
-                    ctx.emit({ kind: 'copy', dst: `__rf_${field.name}`, src: val });
-                }
-                ctx.terminate({ kind: 'return', value: null });
-            }
-            else {
-                const val = stmt.value ? lowerExpr(stmt.value, ctx, scope) : null;
-                ctx.terminate({ kind: 'return', value: val });
-            }
-            // Create a dead block for any subsequent statements
-            const dead = ctx.newBlock('post_ret');
-            ctx.switchTo(dead);
-            break;
-        }
-        case 'break': {
-            const loop = ctx.currentLoop();
-            if (!loop)
-                throw new Error('break outside loop');
-            ctx.terminate({ kind: 'jump', target: loop.exit });
-            const dead = ctx.newBlock('post_break');
-            ctx.switchTo(dead);
-            break;
-        }
-        case 'continue': {
-            const loop = ctx.currentLoop();
-            if (!loop)
-                throw new Error('continue outside loop');
-            ctx.terminate({ kind: 'jump', target: loop.continueTo });
-            const dead = ctx.newBlock('post_continue');
-            ctx.switchTo(dead);
-            break;
-        }
-        case 'if': {
-            const condOp = lowerExpr(stmt.cond, ctx, scope);
-            const thenBlock = ctx.newBlock('then');
-            const mergeBlock = ctx.newBlock('merge');
-            const elseBlock = stmt.else_ ? ctx.newBlock('else') : mergeBlock;
-            ctx.terminate({ kind: 'branch', cond: condOp, then: thenBlock.id, else: elseBlock.id });
-            // Then branch
-            ctx.switchTo(thenBlock);
-            lowerBlock(stmt.then, ctx, new Map(scope));
-            if (isPlaceholderTerm(ctx.current().term)) {
-                ctx.terminate({ kind: 'jump', target: mergeBlock.id });
-            }
-            // Else branch
-            if (stmt.else_) {
-                ctx.switchTo(elseBlock);
-                lowerBlock(stmt.else_, ctx, new Map(scope));
-                if (isPlaceholderTerm(ctx.current().term)) {
-                    ctx.terminate({ kind: 'jump', target: mergeBlock.id });
-                }
-            }
-            ctx.switchTo(mergeBlock);
-            break;
-        }
-        case 'while': {
-            const headerBlock = ctx.newBlock('loop_header');
-            const bodyBlock = ctx.newBlock('loop_body');
-            const exitBlock = ctx.newBlock('loop_exit');
-            // If there's a step block (for/for_range), create a latch block that
-            // executes the step and then jumps to the header. Continue targets the
-            // latch so the increment always runs.
-            let latchBlock = null;
-            if (stmt.step && stmt.step.length > 0) {
-                latchBlock = ctx.newBlock('loop_latch');
-            }
-            const continueTarget = latchBlock ? latchBlock.id : headerBlock.id;
-            // Jump from current block to header
-            ctx.terminate({ kind: 'jump', target: headerBlock.id });
-            // Header: evaluate condition
-            ctx.switchTo(headerBlock);
-            const condOp = lowerExpr(stmt.cond, ctx, scope);
-            ctx.terminate({ kind: 'branch', cond: condOp, then: bodyBlock.id, else: exitBlock.id });
-            // Body
-            ctx.switchTo(bodyBlock);
-            ctx.pushLoop(headerBlock.id, exitBlock.id, continueTarget);
-            lowerBlock(stmt.body, ctx, new Map(scope));
-            ctx.popLoop();
-            if (isPlaceholderTerm(ctx.current().term)) {
-                ctx.terminate({ kind: 'jump', target: continueTarget });
-            }
-            // Latch block (step): execute increment, then jump to header
-            if (latchBlock && stmt.step) {
-                ctx.switchTo(latchBlock);
-                lowerBlock(stmt.step, ctx, new Map(scope));
-                if (isPlaceholderTerm(ctx.current().term)) {
-                    ctx.terminate({ kind: 'jump', target: headerBlock.id });
-                }
-            }
-            ctx.switchTo(exitBlock);
-            break;
-        }
-        case 'foreach': {
-            // foreach is MC-specific entity iteration — lower to call_context
-            // For now, extract body into a helper and emit call_context
-            const helperName = `${ctx.getFnName()}__foreach_${ctx.freshTemp()}`;
-            const subcommands = [];
-            // The iterable should be a selector expression
-            if (stmt.iterable.kind === 'selector') {
-                subcommands.push({ kind: 'as', selector: stmt.iterable.raw });
-            }
-            if (stmt.executeContext === '@s') {
-                subcommands.push({ kind: 'at_self' });
-            }
-            // Build helper function body as MIR
-            const helperCtx = new FnContext(ctx.getNamespace(), helperName, ctx.structDefs, ctx.implMethods);
-            const helperScope = new Map(scope);
-            lowerBlock(stmt.body, helperCtx, helperScope);
-            if (isPlaceholderTerm(helperCtx.current().term)) {
-                helperCtx.terminate({ kind: 'return', value: null });
-            }
-            const helperReachable = computeReachable(helperCtx.blocks, 'entry');
-            const helperBlocks = helperCtx.blocks.filter(b => helperReachable.has(b.id));
-            computePreds(helperBlocks);
-            ctx.helperFunctions.push({
-                name: helperName,
-                params: [],
-                blocks: helperBlocks,
-                entry: 'entry',
-                isMacro: false,
-            });
-            ctx.emit({ kind: 'call_context', fn: helperName, subcommands });
-            break;
-        }
-        case 'execute': {
-            // Extract body into a helper function, emit call_context
-            const helperName = `${ctx.getFnName()}__exec_${ctx.freshTemp()}`;
-            const subcommands = stmt.subcommands.map(lowerExecuteSubcmd);
-            const helperCtx = new FnContext(ctx.getNamespace(), helperName, ctx.structDefs, ctx.implMethods);
-            const helperScope = new Map(scope);
-            lowerBlock(stmt.body, helperCtx, helperScope);
-            if (isPlaceholderTerm(helperCtx.current().term)) {
-                helperCtx.terminate({ kind: 'return', value: null });
-            }
-            const execReachable = computeReachable(helperCtx.blocks, 'entry');
-            const execBlocks = helperCtx.blocks.filter(b => execReachable.has(b.id));
-            computePreds(execBlocks);
-            ctx.helperFunctions.push({
-                name: helperName,
-                params: [],
-                blocks: execBlocks,
-                entry: 'entry',
-                isMacro: false,
-            });
-            ctx.emit({ kind: 'call_context', fn: helperName, subcommands });
-            break;
-        }
-        case 'match': {
-            // Lower match as chained if/else
-            const matchVal = lowerExpr(stmt.expr, ctx, scope);
-            const mergeBlock = ctx.newBlock('match_merge');
-            for (let i = 0; i < stmt.arms.length; i++) {
-                const arm = stmt.arms[i];
-                if (arm.pattern === null) {
-                    // Default arm — just emit the body
-                    lowerBlock(arm.body, ctx, new Map(scope));
-                    if (isPlaceholderTerm(ctx.current().term)) {
-                        ctx.terminate({ kind: 'jump', target: mergeBlock.id });
-                    }
-                }
-                else {
-                    const patOp = lowerExpr(arm.pattern, ctx, scope);
-                    const cmpTemp = ctx.freshTemp();
-                    ctx.emit({ kind: 'cmp', dst: cmpTemp, op: 'eq', a: matchVal, b: patOp });
-                    const armBody = ctx.newBlock('match_arm');
-                    const nextArm = ctx.newBlock('match_next');
-                    ctx.terminate({ kind: 'branch', cond: { kind: 'temp', name: cmpTemp }, then: armBody.id, else: nextArm.id });
-                    ctx.switchTo(armBody);
-                    lowerBlock(arm.body, ctx, new Map(scope));
-                    if (isPlaceholderTerm(ctx.current().term)) {
-                        ctx.terminate({ kind: 'jump', target: mergeBlock.id });
-                    }
-                    ctx.switchTo(nextArm);
-                }
-            }
-            // If no default arm matched, jump to merge
-            if (isPlaceholderTerm(ctx.current().term)) {
-                ctx.terminate({ kind: 'jump', target: mergeBlock.id });
-            }
-            ctx.switchTo(mergeBlock);
-            break;
-        }
-        case 'raw': {
-            // Raw commands are opaque at MIR level — emit as a call to a synthetic raw function
-            // For now, pass through as a call with no args (will be handled in LIR)
-            ctx.emit({ kind: 'call', dst: null, fn: `__raw:${stmt.cmd}`, args: [] });
-            break;
-        }
-        default: {
-            const _exhaustive = stmt;
-            throw new Error(`Unknown HIR statement kind: ${_exhaustive.kind}`);
-        }
-    }
-}
-// ---------------------------------------------------------------------------
-// Expression lowering → produces an Operand (temp or const)
-// ---------------------------------------------------------------------------
-function lowerExpr(expr, ctx, scope) {
-    switch (expr.kind) {
-        case 'int_lit':
-            return { kind: 'const', value: expr.value };
-        case 'float_lit':
-            // float is ×1000 fixed-point in RedScript
-            return { kind: 'const', value: expr.value };
-        case 'byte_lit':
-        case 'short_lit':
-        case 'long_lit':
-        case 'double_lit':
-            return { kind: 'const', value: expr.value };
-        case 'bool_lit': {
-            return { kind: 'const', value: expr.value ? 1 : 0 };
-        }
-        case 'struct_lit': {
-            // Struct literal in expression context (not let/return — those handle it directly).
-            // Lower each field value but return a placeholder since the struct
-            // is tracked via structVars at the statement level.
-            for (const field of expr.fields) {
-                lowerExpr(field.value, ctx, scope);
-            }
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'const', dst: t, value: 0 });
-            return { kind: 'temp', name: t };
-        }
-        case 'str_lit':
-        case 'range_lit':
-        case 'array_lit':
-        case 'rel_coord':
-        case 'local_coord':
-        case 'mc_name':
-        case 'blockpos':
-        case 'selector':
-        case 'str_interp':
-        case 'f_string':
-        case 'is_check':
-        case 'lambda': {
-            // MC-specific / complex types — opaque at MIR level
-            // Emit as const 0 placeholder; these are handled in LIR lowering
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'const', dst: t, value: 0 });
-            return { kind: 'temp', name: t };
-        }
-        case 'ident': {
-            const temp = scope.get(expr.name);
-            if (temp)
-                return { kind: 'temp', name: temp };
-            // Unresolved ident — could be a global or external reference
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'copy', dst: t, src: { kind: 'const', value: 0 } });
-            scope.set(expr.name, t);
-            return { kind: 'temp', name: t };
-        }
-        case 'binary': {
-            // Handle short-circuit && and ||
-            if (expr.op === '&&') {
-                return lowerShortCircuitAnd(expr, ctx, scope);
-            }
-            if (expr.op === '||') {
-                return lowerShortCircuitOr(expr, ctx, scope);
-            }
-            const left = lowerExpr(expr.left, ctx, scope);
-            const right = lowerExpr(expr.right, ctx, scope);
-            const t = ctx.freshTemp();
-            // Map HIR binary ops to MIR instructions
-            const arithmeticOps = {
-                '+': 'add', '-': 'sub', '*': 'mul', '/': 'div', '%': 'mod',
-            };
-            const cmpOps = {
-                '==': 'eq', '!=': 'ne', '<': 'lt', '<=': 'le', '>': 'gt', '>=': 'ge',
-            };
-            if (expr.op in arithmeticOps) {
-                ctx.emit({ kind: arithmeticOps[expr.op], dst: t, a: left, b: right });
-            }
-            else if (expr.op in cmpOps) {
-                ctx.emit({ kind: 'cmp', dst: t, op: cmpOps[expr.op], a: left, b: right });
-            }
-            else {
-                throw new Error(`Unknown binary op: ${expr.op}`);
-            }
-            return { kind: 'temp', name: t };
-        }
-        case 'unary': {
-            const operand = lowerExpr(expr.operand, ctx, scope);
-            const t = ctx.freshTemp();
-            if (expr.op === '-') {
-                ctx.emit({ kind: 'neg', dst: t, src: operand });
-            }
-            else if (expr.op === '!') {
-                ctx.emit({ kind: 'not', dst: t, src: operand });
-            }
-            return { kind: 'temp', name: t };
-        }
-        case 'assign': {
-            const val = lowerExpr(expr.value, ctx, scope);
-            // Reuse the existing temp for this variable so that updates inside
-            // if/while bodies are visible to outer code (we target mutable
-            // scoreboard slots, not true SSA registers).
-            const existing = scope.get(expr.target);
-            const t = existing ?? ctx.freshTemp();
-            ctx.emit({ kind: 'copy', dst: t, src: val });
-            scope.set(expr.target, t);
-            return val;
-        }
-        case 'member_assign': {
-            const val = lowerExpr(expr.value, ctx, scope);
-            // Struct field assignment: v.x = val → copy val to v's x temp
-            if (expr.obj.kind === 'ident') {
-                const sv = ctx.structVars.get(expr.obj.name);
-                if (sv) {
-                    const fieldTemp = sv.fields.get(expr.field);
-                    if (fieldTemp) {
-                        ctx.emit({ kind: 'copy', dst: fieldTemp, src: val });
-                        return val;
-                    }
-                }
-            }
-            return val;
-        }
-        case 'member': {
-            // Struct field access: v.x → return v's x temp
-            if (expr.obj.kind === 'ident') {
-                const sv = ctx.structVars.get(expr.obj.name);
-                if (sv) {
-                    const fieldTemp = sv.fields.get(expr.field);
-                    if (fieldTemp)
-                        return { kind: 'temp', name: fieldTemp };
-                }
-            }
-            // Fallback: opaque
-            const obj = lowerExpr(expr.obj, ctx, scope);
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'copy', dst: t, src: obj });
-            return { kind: 'temp', name: t };
-        }
-        case 'index': {
-            const obj = lowerExpr(expr.obj, ctx, scope);
-            const idx = lowerExpr(expr.index, ctx, scope);
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'copy', dst: t, src: obj });
-            return { kind: 'temp', name: t };
-        }
-        case 'call': {
-            // Handle builtin calls → raw MC commands
-            if (macro_1.BUILTIN_SET.has(expr.fn)) {
-                const cmd = formatBuiltinCall(expr.fn, expr.args, ctx.currentMacroParams);
-                ctx.emit({ kind: 'call', dst: null, fn: `__raw:${cmd}`, args: [] });
-                const t = ctx.freshTemp();
-                ctx.emit({ kind: 'const', dst: t, value: 0 });
-                return { kind: 'temp', name: t };
-            }
-            // Check for struct instance method call: parser desugars v.method() → call('method', [v, ...])
-            if (expr.args.length > 0 && expr.args[0].kind === 'ident') {
-                const sv = ctx.structVars.get(expr.args[0].name);
-                if (sv) {
-                    const methodInfo = ctx.implMethods.get(sv.typeName)?.get(expr.fn);
-                    if (methodInfo?.hasSelf) {
-                        // Build args: self fields first, then remaining explicit args
-                        const fields = ctx.structDefs.get(sv.typeName) ?? [];
-                        const selfArgs = fields.map(f => {
-                            const temp = sv.fields.get(f);
-                            return temp ? { kind: 'temp', name: temp } : { kind: 'const', value: 0 };
-                        });
-                        const explicitArgs = expr.args.slice(1).map(a => lowerExpr(a, ctx, scope));
-                        const allArgs = [...selfArgs, ...explicitArgs];
-                        const t = ctx.freshTemp();
-                        ctx.emit({ kind: 'call', dst: t, fn: `${sv.typeName}::${expr.fn}`, args: allArgs });
-                        return { kind: 'temp', name: t };
-                    }
-                }
-            }
-            // Check if calling a macro function → emit call_macro
-            const targetMacro = ctx.macroInfo.get(expr.fn);
-            if (targetMacro) {
-                const args = expr.args.map(a => lowerExpr(a, ctx, scope));
-                const targetParams = ctx.fnParamInfo.get(expr.fn) ?? [];
-                const macroArgs = [];
-                for (let i = 0; i < targetParams.length && i < args.length; i++) {
-                    const paramName = targetParams[i].name;
-                    if (targetMacro.macroParams.has(paramName)) {
-                        const paramTypeName = targetMacro.paramTypes.get(paramName) ?? 'int';
-                        const isFloat = paramTypeName === 'float';
-                        macroArgs.push({
-                            name: paramName,
-                            value: args[i],
-                            type: isFloat ? 'double' : 'int',
-                            scale: isFloat ? 0.01 : 1,
-                        });
-                    }
-                }
-                const t = ctx.freshTemp();
-                ctx.emit({ kind: 'call_macro', dst: t, fn: expr.fn, args: macroArgs });
-                return { kind: 'temp', name: t };
-            }
-            const args = expr.args.map(a => lowerExpr(a, ctx, scope));
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'call', dst: t, fn: expr.fn, args });
-            return { kind: 'temp', name: t };
-        }
-        case 'invoke': {
-            // Check for struct method call: v.method(args)
-            if (expr.callee.kind === 'member' && expr.callee.obj.kind === 'ident') {
-                const sv = ctx.structVars.get(expr.callee.obj.name);
-                if (sv) {
-                    const methodInfo = ctx.implMethods.get(sv.typeName)?.get(expr.callee.field);
-                    if (methodInfo?.hasSelf) {
-                        // Build args: self fields first, then explicit args
-                        const fields = ctx.structDefs.get(sv.typeName) ?? [];
-                        const selfArgs = fields.map(f => {
-                            const temp = sv.fields.get(f);
-                            return temp ? { kind: 'temp', name: temp } : { kind: 'const', value: 0 };
-                        });
-                        const explicitArgs = expr.args.map(a => lowerExpr(a, ctx, scope));
-                        const allArgs = [...selfArgs, ...explicitArgs];
-                        const t = ctx.freshTemp();
-                        ctx.emit({ kind: 'call', dst: t, fn: `${sv.typeName}::${expr.callee.field}`, args: allArgs });
-                        return { kind: 'temp', name: t };
-                    }
-                }
-            }
-            // Fallback: generic invoke
-            const calleeOp = lowerExpr(expr.callee, ctx, scope);
-            const args = expr.args.map(a => lowerExpr(a, ctx, scope));
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'call', dst: t, fn: '__invoke', args: [calleeOp, ...args] });
-            return { kind: 'temp', name: t };
-        }
-        case 'static_call': {
-            const args = expr.args.map(a => lowerExpr(a, ctx, scope));
-            const t = ctx.freshTemp();
-            ctx.emit({ kind: 'call', dst: t, fn: `${expr.type}::${expr.method}`, args });
-            return { kind: 'temp', name: t };
-        }
-        default: {
-            const _exhaustive = expr;
-            throw new Error(`Unknown HIR expression kind: ${_exhaustive.kind}`);
-        }
-    }
-}
-// ---------------------------------------------------------------------------
-// Short-circuit lowering
-// ---------------------------------------------------------------------------
-function lowerShortCircuitAnd(expr, ctx, scope) {
-    // a && b → if(a) { b } else { 0 }
-    const left = lowerExpr(expr.left, ctx, scope);
-    const result = ctx.freshTemp();
-    const evalRight = ctx.newBlock('and_right');
-    const merge = ctx.newBlock('and_merge');
-    const falseBlock = ctx.newBlock('and_false');
-    ctx.terminate({ kind: 'branch', cond: left, then: evalRight.id, else: falseBlock.id });
-    ctx.switchTo(evalRight);
-    const right = lowerExpr(expr.right, ctx, scope);
-    ctx.emit({ kind: 'copy', dst: result, src: right });
-    ctx.terminate({ kind: 'jump', target: merge.id });
-    ctx.switchTo(falseBlock);
-    ctx.emit({ kind: 'const', dst: result, value: 0 });
-    ctx.terminate({ kind: 'jump', target: merge.id });
-    ctx.switchTo(merge);
-    return { kind: 'temp', name: result };
-}
-function lowerShortCircuitOr(expr, ctx, scope) {
-    // a || b → if(a) { 1 } else { b }
-    const left = lowerExpr(expr.left, ctx, scope);
-    const result = ctx.freshTemp();
-    const trueBlock = ctx.newBlock('or_true');
-    const evalRight = ctx.newBlock('or_right');
-    const merge = ctx.newBlock('or_merge');
-    ctx.terminate({ kind: 'branch', cond: left, then: trueBlock.id, else: evalRight.id });
-    ctx.switchTo(trueBlock);
-    ctx.emit({ kind: 'const', dst: result, value: 1 });
-    ctx.terminate({ kind: 'jump', target: merge.id });
-    ctx.switchTo(evalRight);
-    const right = lowerExpr(expr.right, ctx, scope);
-    ctx.emit({ kind: 'copy', dst: result, src: right });
-    ctx.terminate({ kind: 'jump', target: merge.id });
-    ctx.switchTo(merge);
-    return { kind: 'temp', name: result };
-}
-// ---------------------------------------------------------------------------
-// Execute subcommand lowering
-// ---------------------------------------------------------------------------
-function lowerExecuteSubcmd(sub) {
-    switch (sub.kind) {
-        case 'as':
-            return { kind: 'as', selector: selectorToString(sub.selector) };
-        case 'at':
-            return { kind: 'at', selector: selectorToString(sub.selector) };
-        case 'positioned':
-            return { kind: 'positioned', x: sub.x, y: sub.y, z: sub.z };
-        case 'rotated':
-            return { kind: 'rotated', yaw: sub.yaw, pitch: sub.pitch };
-        case 'in':
-            return { kind: 'in', dimension: sub.dimension };
-        case 'anchored':
-            return { kind: 'anchored', anchor: sub.anchor };
-        case 'positioned_as':
-            return { kind: 'at', selector: selectorToString(sub.selector) };
-        case 'rotated_as':
-            return { kind: 'rotated', yaw: '0', pitch: '0' };
-        case 'facing':
-            return { kind: 'positioned', x: sub.x, y: sub.y, z: sub.z };
-        case 'facing_entity':
-            return { kind: 'at', selector: selectorToString(sub.selector) };
-        case 'align':
-            return { kind: 'positioned', x: '0', y: '0', z: '0' };
-        case 'on':
-            return { kind: 'at_self' };
-        case 'summon':
-            return { kind: 'at_self' };
-        case 'if_entity':
-        case 'unless_entity':
-        case 'if_block':
-        case 'unless_block':
-        case 'if_score':
-        case 'unless_score':
-        case 'if_score_range':
-        case 'unless_score_range':
-        case 'store_result':
-        case 'store_success':
-            // These are condition subcommands — pass through as-is for now
-            return { kind: 'at_self' };
-        default: {
-            const _exhaustive = sub;
-            throw new Error(`Unknown execute subcommand kind: ${_exhaustive.kind}`);
-        }
-    }
-}
-function selectorToString(sel) {
-    // EntitySelector has kind like '@a', '@e', '@s', etc.
-    // Filters are key=value pairs that become [key=value,key=value]
-    if (!sel.filters || Object.keys(sel.filters).length === 0) {
-        return sel.kind;
-    }
-    const parts = [];
-    for (const [key, value] of Object.entries(sel.filters)) {
-        if (typeof value === 'object' && value !== null && !Array.isArray(value)) {
-            // Range filter: { min, max } → key=min..max
-            const rangeObj = value;
-            if (rangeObj.min !== undefined && rangeObj.max !== undefined) {
-                parts.push(`${key}=${rangeObj.min}..${rangeObj.max}`);
-            }
-            else if (rangeObj.max !== undefined) {
-                parts.push(`${key}=..${rangeObj.max}`);
-            }
-            else if (rangeObj.min !== undefined) {
-                parts.push(`${key}=${rangeObj.min}..`);
-            }
-        }
-        else {
-            parts.push(`${key}=${value}`);
-        }
-    }
-    return `${sel.kind}[${parts.join(',')}]`;
-}
-// ---------------------------------------------------------------------------
-// Builtin call formatting → raw MC command strings
-// ---------------------------------------------------------------------------
-const MACRO_SENTINEL = '\x01';
-/**
- * Format a builtin call as a raw MC command string.
- * If any argument uses a macro param, the command is prefixed with \x01
- * (converted to $ in LIR emission).
- */
-function formatBuiltinCall(fn, args, macroParams) {
-    const fmtArgs = args.map(a => exprToCommandArg(a, macroParams));
-    const strs = fmtArgs.map(a => a.str);
-    const hasMacro = fmtArgs.some(a => a.isMacro);
-    let cmd;
-    switch (fn) {
-        case 'summon': {
-            const [type, x, y, z, nbt] = strs;
-            const pos = [x ?? '~', y ?? '~', z ?? '~'].join(' ');
-            cmd = nbt ? `summon ${type} ${pos} ${nbt}` : `summon ${type} ${pos}`;
-            break;
-        }
-        case 'particle': {
-            const [name, x, y, z, ...rest] = strs;
-            const pos = [x ?? '~', y ?? '~', z ?? '~'].join(' ');
-            const extra = rest.filter(v => v !== undefined);
-            cmd = extra.length > 0 ? `particle ${name} ${pos} ${extra.join(' ')}` : `particle ${name} ${pos}`;
-            break;
-        }
-        case 'setblock': {
-            const [x, y, z, block] = strs;
-            cmd = `setblock ${x} ${y} ${z} ${block}`;
-            break;
-        }
-        case 'fill': {
-            const [x1, y1, z1, x2, y2, z2, block] = strs;
-            cmd = `fill ${x1} ${y1} ${z1} ${x2} ${y2} ${z2} ${block}`;
-            break;
-        }
-        case 'say':
-            cmd = `say ${strs[0] ?? ''}`;
-            break;
-        case 'tell':
-        case 'tellraw':
-            cmd = `tellraw ${strs[0]} {"text":"${strs[1]}"}`;
-            break;
-        case 'title':
-            cmd = `title ${strs[0]} title {"text":"${strs[1]}"}`;
-            break;
-        case 'actionbar':
-            cmd = `title ${strs[0]} actionbar {"text":"${strs[1]}"}`;
-            break;
-        case 'subtitle':
-            cmd = `title ${strs[0]} subtitle {"text":"${strs[1]}"}`;
-            break;
-        case 'title_times':
-            cmd = `title ${strs[0]} times ${strs[1]} ${strs[2]} ${strs[3]}`;
-            break;
-        case 'announce':
-            cmd = `tellraw @a {"text":"${strs[0]}"}`;
-            break;
-        case 'give': {
-            const nbt = strs[3] ? strs[3] : '';
-            cmd = `give ${strs[0]} ${strs[1]}${nbt} ${strs[2] ?? '1'}`;
-            break;
-        }
-        case 'kill':
-            cmd = `kill ${strs[0] ?? '@s'}`;
-            break;
-        case 'effect':
-            cmd = `effect give ${strs[0]} ${strs[1]} ${strs[2] ?? '30'} ${strs[3] ?? '0'}`;
-            break;
-        case 'effect_clear':
-            cmd = strs[1] ? `effect clear ${strs[0]} ${strs[1]}` : `effect clear ${strs[0]}`;
-            break;
-        case 'playsound':
-            cmd = ['playsound', ...strs].filter(Boolean).join(' ');
-            break;
-        case 'clear':
-            cmd = `clear ${strs[0]} ${strs[1] ?? ''}`.trim();
-            break;
-        case 'weather':
-            cmd = `weather ${strs[0]}`;
-            break;
-        case 'time_set':
-            cmd = `time set ${strs[0]}`;
-            break;
-        case 'time_add':
-            cmd = `time add ${strs[0]}`;
-            break;
-        case 'gamerule':
-            cmd = `gamerule ${strs[0]} ${strs[1]}`;
-            break;
-        case 'tag_add':
-            cmd = `tag ${strs[0]} add ${strs[1]}`;
-            break;
-        case 'tag_remove':
-            cmd = `tag ${strs[0]} remove ${strs[1]}`;
-            break;
-        case 'kick':
-            cmd = `kick ${strs[0]} ${strs[1] ?? ''}`.trim();
-            break;
-        case 'clone':
-            cmd = `clone ${strs.join(' ')}`;
-            break;
-        case 'difficulty':
-            cmd = `difficulty ${strs[0]}`;
-            break;
-        case 'xp_add':
-            cmd = `xp add ${strs[0]} ${strs[1]} ${strs[2] ?? 'points'}`;
-            break;
-        case 'xp_set':
-            cmd = `xp set ${strs[0]} ${strs[1]} ${strs[2] ?? 'points'}`;
-            break;
-        default: cmd = `${fn} ${strs.join(' ')}`;
-    }
-    return hasMacro ? `${MACRO_SENTINEL}${cmd}` : cmd;
-}
-/** Convert an HIR expression to its MC command string representation */
-function exprToCommandArg(expr, macroParams) {
-    switch (expr.kind) {
-        case 'int_lit': return { str: String(expr.value), isMacro: false };
-        case 'float_lit': return { str: String(expr.value), isMacro: false };
-        case 'byte_lit': return { str: String(expr.value), isMacro: false };
-        case 'short_lit': return { str: String(expr.value), isMacro: false };
-        case 'long_lit': return { str: String(expr.value), isMacro: false };
-        case 'double_lit': return { str: String(expr.value), isMacro: false };
-        case 'bool_lit': return { str: expr.value ? 'true' : 'false', isMacro: false };
-        case 'str_lit': return { str: expr.value, isMacro: false };
-        case 'mc_name': return { str: expr.value, isMacro: false };
-        case 'selector': return { str: expr.raw, isMacro: false };
-        case 'ident':
-            if (macroParams.has(expr.name))
-                return { str: `$(${expr.name})`, isMacro: true };
-            return { str: expr.name, isMacro: false };
-        case 'local_coord': {
-            const prefix = expr.value[0]; // ^
-            const rest = expr.value.slice(1);
-            if (rest && /^[a-zA-Z_]\w*$/.test(rest) && macroParams.has(rest)) {
-                return { str: `${prefix}$(${rest})`, isMacro: true };
-            }
-            return { str: expr.value, isMacro: false };
-        }
-        case 'rel_coord': {
-            const prefix = expr.value[0]; // ~
-            const rest = expr.value.slice(1);
-            if (rest && /^[a-zA-Z_]\w*$/.test(rest) && macroParams.has(rest)) {
-                return { str: `${prefix}$(${rest})`, isMacro: true };
-            }
-            return { str: expr.value, isMacro: false };
-        }
-        case 'unary':
-            if (expr.op === '-' && expr.operand.kind === 'float_lit') {
-                return { str: String(-expr.operand.value), isMacro: false };
-            }
-            if (expr.op === '-' && expr.operand.kind === 'int_lit') {
-                return { str: String(-expr.operand.value), isMacro: false };
-            }
-            return { str: '~', isMacro: false };
-        default:
-            return { str: '~', isMacro: false };
-    }
-}
-//# sourceMappingURL=lower.js.map