swf-toolkit 0.0.0-stage → 0.1.0

package/dist/cjs/decompiler/simulate.js

@@ -0,0 +1,591 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SimulationError = void 0;
+exports.simulate = simulate;
+const constants_js_1 = require("../abc/constants.js");
+const opcodes_js_1 = require("../abc/opcodes.js");
+const format_js_1 = require("../abc/pcode/format.js");
+const ast_js_1 = require("./ast.js");
+class SimulationError extends Error {
+}
+exports.SimulationError = SimulationError;
+/** Expressions that were duplicated with `dup` (shared across blocks of a method). */
+const duplicated = new WeakSet();
+const BINOPS = {
+    [opcodes_js_1.Op.add]: '+',
+    [opcodes_js_1.Op.add_i]: '+',
+    [opcodes_js_1.Op.subtract]: '-',
+    [opcodes_js_1.Op.subtract_i]: '-',
+    [opcodes_js_1.Op.multiply]: '*',
+    [opcodes_js_1.Op.multiply_i]: '*',
+    [opcodes_js_1.Op.divide]: '/',
+    [opcodes_js_1.Op.modulo]: '%',
+    [opcodes_js_1.Op.lshift]: '<<',
+    [opcodes_js_1.Op.rshift]: '>>',
+    [opcodes_js_1.Op.urshift]: '>>>',
+    [opcodes_js_1.Op.bitand]: '&',
+    [opcodes_js_1.Op.bitor]: '|',
+    [opcodes_js_1.Op.bitxor]: '^',
+    [opcodes_js_1.Op.equals]: '==',
+    [opcodes_js_1.Op.strictequals]: '===',
+    [opcodes_js_1.Op.lessthan]: '<',
+    [opcodes_js_1.Op.lessequals]: '<=',
+    [opcodes_js_1.Op.greaterthan]: '>',
+    [opcodes_js_1.Op.greaterequals]: '>=',
+    [opcodes_js_1.Op.instanceof]: 'instanceof',
+    [opcodes_js_1.Op.istypelate]: 'is',
+    [opcodes_js_1.Op.astypelate]: 'as',
+    [opcodes_js_1.Op.in]: 'in',
+};
+const CONDOPS = {
+    [opcodes_js_1.Op.ifeq]: ['==', false],
+    [opcodes_js_1.Op.ifne]: ['!=', false],
+    [opcodes_js_1.Op.iflt]: ['<', false],
+    [opcodes_js_1.Op.ifle]: ['<=', false],
+    [opcodes_js_1.Op.ifgt]: ['>', false],
+    [opcodes_js_1.Op.ifge]: ['>=', false],
+    [opcodes_js_1.Op.ifstricteq]: ['===', false],
+    [opcodes_js_1.Op.ifstrictne]: ['!==', false],
+    [opcodes_js_1.Op.ifnlt]: ['<', true],
+    [opcodes_js_1.Op.ifnle]: ['<=', true],
+    [opcodes_js_1.Op.ifngt]: ['>', true],
+    [opcodes_js_1.Op.ifnge]: ['>=', true],
+};
+const COERCE_TYPES = {
+    [opcodes_js_1.Op.coerce_a]: '*',
+    [opcodes_js_1.Op.coerce_s]: 'String',
+    [opcodes_js_1.Op.coerce_b]: 'Boolean',
+    [opcodes_js_1.Op.coerce_i]: 'int',
+    [opcodes_js_1.Op.coerce_u]: 'uint',
+    [opcodes_js_1.Op.coerce_d]: 'Number',
+    [opcodes_js_1.Op.coerce_o]: 'Object',
+    [opcodes_js_1.Op.convert_s]: 'String',
+    [opcodes_js_1.Op.convert_b]: 'Boolean',
+    [opcodes_js_1.Op.convert_i]: 'int',
+    [opcodes_js_1.Op.convert_u]: 'uint',
+    [opcodes_js_1.Op.convert_d]: 'Number',
+    [opcodes_js_1.Op.convert_o]: 'Object',
+};
+function slotName(traits, abc, slot) {
+    const t = traits.find((x) => (x.kind === constants_js_1.TraitKind.Slot || x.kind === constants_js_1.TraitKind.Const || x.kind === constants_js_1.TraitKind.Class || x.kind === constants_js_1.TraitKind.Function) && x.id === slot);
+    return t ? abc.multinameName(t.name) : undefined;
+}
+/** Simulates `insns` with the given entry stack, appending statements to `out`. */
+function simulate(ctx, insns, entryStack, out) {
+    const { abc, scope } = ctx;
+    const stack = [...entryStack];
+    const pop = () => {
+        const v = stack.pop();
+        if (!v)
+            throw new SimulationError('Stack underflow');
+        return v;
+    };
+    const popN = (n) => {
+        const xs = [];
+        for (let i = 0; i < n; i++)
+            xs.push(pop());
+        return xs.reverse();
+    };
+    const emit = (s) => {
+        out.push(s);
+    };
+    /** Builds the member expression for a multiname operand, popping runtime parts. */
+    const member = (obj, mnIndex, popObj) => {
+        const m = abc.multinames[mnIndex];
+        let nameExpr;
+        let nsExpr;
+        if (m) {
+            switch (m.kind) {
+                case constants_js_1.MultinameKind.RTQNameL:
+                case constants_js_1.MultinameKind.RTQNameLA:
+                    nameExpr = pop();
+                    nsExpr = pop();
+                    break;
+                case constants_js_1.MultinameKind.MultinameL:
+                case constants_js_1.MultinameKind.MultinameLA:
+                    nameExpr = pop();
+                    break;
+                case constants_js_1.MultinameKind.RTQName:
+                case constants_js_1.MultinameKind.RTQNameA:
+                    nsExpr = pop();
+                    break;
+            }
+        }
+        const target = popObj ? pop() : (obj ?? { k: 'global' });
+        const attr = !!m && [constants_js_1.MultinameKind.QNameA, constants_js_1.MultinameKind.RTQNameA, constants_js_1.MultinameKind.RTQNameLA, constants_js_1.MultinameKind.MultinameA, constants_js_1.MultinameKind.MultinameLA].includes(m.kind);
+        if (nameExpr)
+            return { k: 'index', obj: target, index: nameExpr, attr };
+        if (m && (m.kind === constants_js_1.MultinameKind.QName || m.kind === constants_js_1.MultinameKind.QNameA)) {
+            const ns = abc.namespaces[m.ns];
+            if (ns && ns.kind === constants_js_1.NamespaceKind.Namespace) {
+                const uri = abc.strings[ns.name] ?? '';
+                // Hide AS3 builtin and interface ("pkg:Interface") namespaces.
+                if (uri !== 'http://adobe.com/AS3/2006/builtin' && !/^[\w.$]*:[\w$]+$/.test(uri)) {
+                    return { k: 'member', obj: target, name: abc.multinameName(mnIndex), attr, ns: nsLabel(uri) };
+                }
+            }
+        }
+        if (nsExpr) {
+            const ns = nsExpr.k === 'name' ? nsExpr.name : nsExpr.k === 'member' && nsExpr.obj.k !== 'findprop' ? undefined : nsExpr.k === 'member' ? nsExpr.name : undefined;
+            return { k: 'member', obj: target, name: abc.multinameName(mnIndex), attr, ns: ns ?? '*' };
+        }
+        return { k: 'member', obj: target, name: abc.multinameName(mnIndex), attr };
+    };
+    /** Simplify `findprop(x).x` → `x`. */
+    const access = (e) => {
+        if (e.k === 'member' && (e.obj.k === 'findprop' || e.obj.k === 'global') && !e.ns)
+            return { k: 'name', name: e.name };
+        return e;
+    };
+    /** Assignment with dup / postfix handling. */
+    const assign = (target, value, isLocalReg) => {
+        // Value duplicated on the stack: the remaining copies now equal the target.
+        let dup = false;
+        const bare = value.k === 'coerce' ? stripCoerceLocal(value) : value;
+        for (let i = 0; i < stack.length; i++) {
+            if (stack[i] === value || stack[i] === bare) {
+                stack[i] = target;
+                dup = true;
+            }
+        }
+        // Postfix: old value still on the stack, new value = old ± 1.
+        const v = value.k === 'coerce' ? value.e : value;
+        if (!dup && v.k === 'binary' && (v.op === '+' || v.op === '-') && v.b.k === 'lit' && v.b.v === 1 && (0, ast_js_1.exprEquals)(v.a, target)) {
+            const idx = stack.findIndex((s) => (0, ast_js_1.exprEquals)(s, target));
+            if (idx >= 0) {
+                stack[idx] = { k: 'postfix', op: v.op === '+' ? '++' : '--', e: target };
+                return;
+            }
+        }
+        if (isLocalReg !== undefined) {
+            // Old value of the register still referenced on the stack: freeze it.
+            for (let i = 0; i < stack.length; i++) {
+                if ((0, ast_js_1.readsLocal)(stack[i], isLocalReg) && stack[i] !== target) {
+                    // Cannot express safely; keep textual order (rare in compiler output).
+                }
+            }
+        }
+        emit({ k: 'expr', e: { k: 'assign', target, v: value } });
+    };
+    const getLocal = (reg) => {
+        if (reg === 0)
+            return { k: 'this' };
+        return ctx.specialRegs.get(reg) ?? { k: 'local', reg };
+    };
+    const setLocal = (reg, value) => {
+        if (value.k === 'activation' || value.k === 'catchscope' || value.k === 'findprop' || value.k === 'global') {
+            ctx.specialRegs.set(reg, value);
+            return;
+        }
+        ctx.specialRegs.delete(reg);
+        assign({ k: 'local', reg }, value, reg);
+    };
+    const resolveSlot = (obj, slot) => {
+        switch (obj.k) {
+            case 'activation': {
+                const n = slotName(ctx.activationTraits, abc, slot);
+                return n ? { k: 'name', name: n } : { k: 'slot', obj, slot };
+            }
+            case 'catchscope':
+                return { k: 'name', name: ctx.catchNames.get(obj.index) ?? `e${obj.index}` };
+            case 'global': {
+                const n = slotName(ctx.globalTraits, abc, slot);
+                return n ? { k: 'name', name: n } : { k: 'slot', obj, slot };
+            }
+            case 'this': {
+                const n = slotName(ctx.thisTraits, abc, slot);
+                return n ? { k: 'member', obj, name: n } : { k: 'slot', obj, slot };
+            }
+            default:
+                return { k: 'slot', obj, slot };
+        }
+    };
+    for (let pc = 0; pc < insns.length; pc++) {
+        const ins = insns[pc];
+        const a = ins.args;
+        const op = ins.op;
+        const bin = BINOPS[op];
+        if (bin) {
+            const b = pop();
+            const x = pop();
+            stack.push({ k: 'binary', op: bin, a: x, b });
+            continue;
+        }
+        const coerceType = COERCE_TYPES[op];
+        if (coerceType) {
+            stack.push({ k: 'coerce', type: coerceType, e: pop() });
+            continue;
+        }
+        switch (op) {
+            case opcodes_js_1.Op.nop:
+            case opcodes_js_1.Op.label:
+            case opcodes_js_1.Op.bkpt:
+            case opcodes_js_1.Op.debugline:
+            case opcodes_js_1.Op.debugfile:
+            case opcodes_js_1.Op.bkptline:
+            case opcodes_js_1.Op.timestamp:
+            case opcodes_js_1.Op.kill:
+                break;
+            case opcodes_js_1.Op.debug:
+                if (a[0] === 1 && a[1])
+                    ctx.regNames.set((a[2] ?? 0) + 1, abc.strings[a[1]] ?? '');
+                break;
+            case opcodes_js_1.Op.throw:
+                return { stack, term: { k: 'throw', e: pop() } };
+            case opcodes_js_1.Op.returnvoid:
+                return { stack, term: { k: 'return' } };
+            case opcodes_js_1.Op.returnvalue:
+                return { stack, term: { k: 'return', e: pop() } };
+            case opcodes_js_1.Op.jump:
+                return { stack, term: { k: 'jump' } };
+            case opcodes_js_1.Op.iftrue:
+                return { stack, term: { k: 'cond', c: pop() } };
+            case opcodes_js_1.Op.iffalse:
+                return { stack, term: { k: 'cond', c: (0, ast_js_1.not)(pop()) } };
+            case opcodes_js_1.Op.lookupswitch:
+                return { stack, term: { k: 'switch', e: pop() } };
+            case opcodes_js_1.Op.getsuper: {
+                const m = member(null, a[0], true);
+                stack.push(m.k === 'member' ? { ...m, obj: { k: 'super' } } : m);
+                break;
+            }
+            case opcodes_js_1.Op.setsuper: {
+                const v = pop();
+                const m = member(null, a[0], true);
+                assign(m.k === 'member' ? { ...m, obj: { k: 'super' } } : m, v);
+                break;
+            }
+            case opcodes_js_1.Op.dxns:
+                emit({ k: 'comment', text: `default xml namespace = ${JSON.stringify(abc.strings[a[0]] ?? '')}` });
+                break;
+            case opcodes_js_1.Op.dxnslate:
+                emit({ k: 'comment', text: 'default xml namespace = <runtime>' });
+                pop();
+                break;
+            case opcodes_js_1.Op.pushwith:
+                scope.push(pop());
+                emit({ k: 'comment', text: 'with(...) scope begins' });
+                break;
+            case opcodes_js_1.Op.pushscope:
+                scope.push(pop());
+                break;
+            case opcodes_js_1.Op.popscope:
+                scope.pop();
+                break;
+            case opcodes_js_1.Op.nextname:
+            case opcodes_js_1.Op.nextvalue: {
+                const idx = pop();
+                const obj = pop();
+                stack.push({ k: 'next', value: op === opcodes_js_1.Op.nextvalue, obj, idx });
+                break;
+            }
+            case opcodes_js_1.Op.hasnext: {
+                const idx = pop();
+                const obj = pop();
+                stack.push({ k: 'hasnext', obj, idx });
+                break;
+            }
+            case opcodes_js_1.Op.hasnext2:
+                stack.push({ k: 'hasnext2', objReg: a[0], idxReg: a[1] });
+                break;
+            case opcodes_js_1.Op.pushnull:
+                stack.push((0, ast_js_1.lit)(null));
+                break;
+            case opcodes_js_1.Op.pushundefined:
+                stack.push((0, ast_js_1.lit)(undefined));
+                break;
+            case opcodes_js_1.Op.pushtrue:
+                stack.push((0, ast_js_1.lit)(true));
+                break;
+            case opcodes_js_1.Op.pushfalse:
+                stack.push((0, ast_js_1.lit)(false));
+                break;
+            case opcodes_js_1.Op.pushnan:
+                stack.push((0, ast_js_1.lit)(NaN));
+                break;
+            case opcodes_js_1.Op.pushbyte:
+            case opcodes_js_1.Op.pushshort:
+                stack.push((0, ast_js_1.lit)(a[0]));
+                break;
+            case opcodes_js_1.Op.pushstring:
+                stack.push((0, ast_js_1.lit)(abc.strings[a[0]] ?? ''));
+                break;
+            case opcodes_js_1.Op.pushint:
+                stack.push((0, ast_js_1.lit)(abc.ints[a[0]] ?? 0));
+                break;
+            case opcodes_js_1.Op.pushuint:
+                stack.push((0, ast_js_1.lit)(abc.uints[a[0]] ?? 0));
+                break;
+            case opcodes_js_1.Op.pushdouble:
+                stack.push((0, ast_js_1.lit)(abc.doubles[a[0]] ?? NaN));
+                break;
+            case opcodes_js_1.Op.pushnamespace:
+                stack.push((0, ast_js_1.raw)((0, format_js_1.formatNamespace)(abc, a[0])));
+                break;
+            case opcodes_js_1.Op.pop: {
+                const v = pop();
+                // A duplicated value has already been consumed elsewhere (e.g. by a branch).
+                if ((0, ast_js_1.hasSideEffects)(v) && !duplicated.has(v))
+                    emit({ k: 'expr', e: v });
+                break;
+            }
+            case opcodes_js_1.Op.dup: {
+                const v = pop();
+                duplicated.add(v);
+                stack.push(v, v);
+                break;
+            }
+            case opcodes_js_1.Op.swap: {
+                const x = pop();
+                const y = pop();
+                stack.push(x, y);
+                break;
+            }
+            case opcodes_js_1.Op.li8:
+            case opcodes_js_1.Op.li16:
+            case opcodes_js_1.Op.li32:
+            case opcodes_js_1.Op.lf32:
+            case opcodes_js_1.Op.lf64:
+            case opcodes_js_1.Op.sxi1:
+            case opcodes_js_1.Op.sxi8:
+            case opcodes_js_1.Op.sxi16:
+                stack.push({ k: 'call', fn: (0, ast_js_1.raw)((0, opcodes_js_1.opInfo)(op).name), args: [pop()] });
+                break;
+            case opcodes_js_1.Op.si8:
+            case opcodes_js_1.Op.si16:
+            case opcodes_js_1.Op.si32:
+            case opcodes_js_1.Op.sf32:
+            case opcodes_js_1.Op.sf64: {
+                const addr = pop();
+                const v = pop();
+                emit({ k: 'expr', e: { k: 'call', fn: (0, ast_js_1.raw)((0, opcodes_js_1.opInfo)(op).name), args: [v, addr] } });
+                break;
+            }
+            case opcodes_js_1.Op.newfunction:
+                stack.push({ k: 'function', methodIndex: a[0] });
+                break;
+            case opcodes_js_1.Op.call: {
+                const args = popN(a[0]);
+                pop(); // receiver
+                const fn = pop();
+                stack.push({ k: 'call', fn, args });
+                break;
+            }
+            case opcodes_js_1.Op.construct: {
+                const args = popN(a[0]);
+                stack.push({ k: 'new', ctor: pop(), args });
+                break;
+            }
+            case opcodes_js_1.Op.callmethod: {
+                const args = popN(a[1]);
+                const obj = pop();
+                stack.push({ k: 'call', fn: { k: 'member', obj, name: `/*method#${a[0]}*/` }, args });
+                break;
+            }
+            case opcodes_js_1.Op.callstatic: {
+                const args = popN(a[1]);
+                pop();
+                stack.push({ k: 'call', fn: (0, ast_js_1.raw)(`/*static method ${a[0]}*/`), args });
+                break;
+            }
+            case opcodes_js_1.Op.callsuper:
+            case opcodes_js_1.Op.callsupervoid: {
+                const args = popN(a[1]);
+                const m = member(null, a[0], true);
+                const call = { k: 'call', fn: m.k === 'member' ? { ...m, obj: { k: 'super' } } : m, args };
+                if (op === opcodes_js_1.Op.callsupervoid)
+                    emit({ k: 'expr', e: call });
+                else
+                    stack.push(call);
+                break;
+            }
+            case opcodes_js_1.Op.callproperty:
+            case opcodes_js_1.Op.callproplex:
+            case opcodes_js_1.Op.callpropvoid: {
+                const args = popN(a[1]);
+                const call = { k: 'call', fn: access(member(null, a[0], true)), args };
+                if (op === opcodes_js_1.Op.callpropvoid)
+                    emit({ k: 'expr', e: call });
+                else
+                    stack.push(call);
+                break;
+            }
+            case opcodes_js_1.Op.constructsuper: {
+                const args = popN(a[0]);
+                pop();
+                emit({ k: 'expr', e: { k: 'call', fn: { k: 'super' }, args } });
+                break;
+            }
+            case opcodes_js_1.Op.constructprop: {
+                const args = popN(a[1]);
+                stack.push({ k: 'new', ctor: access(member(null, a[0], true)), args });
+                break;
+            }
+            case opcodes_js_1.Op.applytype: {
+                const params = popN(a[0]);
+                stack.push({ k: 'applytype', base: pop(), params });
+                break;
+            }
+            case opcodes_js_1.Op.newobject: {
+                const flat = popN(a[0] * 2);
+                const props = [];
+                for (let i = 0; i < flat.length; i += 2)
+                    props.push([flat[i], flat[i + 1]]);
+                stack.push({ k: 'object', props });
+                break;
+            }
+            case opcodes_js_1.Op.newarray:
+                stack.push({ k: 'array', items: popN(a[0]) });
+                break;
+            case opcodes_js_1.Op.newactivation:
+                stack.push({ k: 'activation' });
+                break;
+            case opcodes_js_1.Op.newclass:
+                pop();
+                stack.push({ k: 'name', name: abc.multinameName(abc.instances[a[0]]?.name ?? 0) });
+                break;
+            case opcodes_js_1.Op.getdescendants: {
+                const m = member(null, a[0], true);
+                stack.push(m.k === 'member' ? { k: 'descendants', obj: m.obj, name: m.name } : m);
+                break;
+            }
+            case opcodes_js_1.Op.newcatch:
+                stack.push({ k: 'catchscope', index: a[0] });
+                break;
+            case opcodes_js_1.Op.findpropstrict:
+            case opcodes_js_1.Op.findproperty: {
+                const m = member({ k: 'global' }, a[0], false);
+                ctx.useName(a[0]);
+                stack.push(m.k === 'member' ? { k: 'findprop', name: m.name } : { k: 'global' });
+                break;
+            }
+            case opcodes_js_1.Op.finddef:
+                ctx.useName(a[0]);
+                stack.push({ k: 'findprop', name: abc.multinameName(a[0]) });
+                break;
+            case opcodes_js_1.Op.getlex:
+                ctx.useName(a[0]);
+                stack.push({ k: 'name', name: abc.multinameName(a[0]) });
+                break;
+            case opcodes_js_1.Op.setproperty:
+            case opcodes_js_1.Op.initproperty: {
+                const v = pop();
+                assign(access(member(null, a[0], true)), v);
+                break;
+            }
+            case opcodes_js_1.Op.getproperty:
+                stack.push(access(member(null, a[0], true)));
+                break;
+            case opcodes_js_1.Op.deleteproperty:
+                stack.push({ k: 'unary', op: 'delete', e: access(member(null, a[0], true)) });
+                break;
+            case opcodes_js_1.Op.getlocal:
+                stack.push(getLocal(a[0]));
+                break;
+            case opcodes_js_1.Op.getlocal0:
+            case opcodes_js_1.Op.getlocal1:
+            case opcodes_js_1.Op.getlocal2:
+            case opcodes_js_1.Op.getlocal3:
+                stack.push(getLocal(op - opcodes_js_1.Op.getlocal0));
+                break;
+            case opcodes_js_1.Op.setlocal:
+                setLocal(a[0], pop());
+                break;
+            case opcodes_js_1.Op.setlocal0:
+            case opcodes_js_1.Op.setlocal1:
+            case opcodes_js_1.Op.setlocal2:
+            case opcodes_js_1.Op.setlocal3:
+                setLocal(op - opcodes_js_1.Op.setlocal0, pop());
+                break;
+            case opcodes_js_1.Op.getglobalscope:
+                stack.push({ k: 'global' });
+                break;
+            case opcodes_js_1.Op.getscopeobject:
+                stack.push(scope[a[0]] ?? { k: 'global' });
+                break;
+            case opcodes_js_1.Op.getouterscope:
+                stack.push({ k: 'global' });
+                break;
+            case opcodes_js_1.Op.getslot:
+                stack.push(resolveSlot(pop(), a[0]));
+                break;
+            case opcodes_js_1.Op.setslot: {
+                const v = pop();
+                const obj = pop();
+                const target = resolveSlot(obj, a[0]);
+                if (obj.k === 'catchscope' && v.k === 'name' && target.k === 'name' && v.name === target.name)
+                    break;
+                assign(target, v);
+                break;
+            }
+            case opcodes_js_1.Op.getglobalslot:
+                stack.push(resolveSlot({ k: 'global' }, a[0]));
+                break;
+            case opcodes_js_1.Op.setglobalslot:
+                assign(resolveSlot({ k: 'global' }, a[0]), pop());
+                break;
+            case opcodes_js_1.Op.esc_xelem:
+            case opcodes_js_1.Op.esc_xattr:
+            case opcodes_js_1.Op.checkfilter:
+                break; // value passes through
+            case opcodes_js_1.Op.coerce:
+                stack.push({ k: 'coerce', type: ctx.typeName(a[0]), e: pop() });
+                break;
+            case opcodes_js_1.Op.astype:
+                stack.push({ k: 'binary', op: 'as', a: pop(), b: { k: 'name', name: ctx.typeName(a[0]) } });
+                break;
+            case opcodes_js_1.Op.istype:
+                stack.push({ k: 'binary', op: 'is', a: pop(), b: { k: 'name', name: ctx.typeName(a[0]) } });
+                break;
+            case opcodes_js_1.Op.negate:
+            case opcodes_js_1.Op.negate_i:
+                stack.push({ k: 'unary', op: '-', e: pop() });
+                break;
+            case opcodes_js_1.Op.increment:
+            case opcodes_js_1.Op.increment_i:
+                stack.push({ k: 'binary', op: '+', a: pop(), b: (0, ast_js_1.lit)(1) });
+                break;
+            case opcodes_js_1.Op.decrement:
+            case opcodes_js_1.Op.decrement_i:
+                stack.push({ k: 'binary', op: '-', a: pop(), b: (0, ast_js_1.lit)(1) });
+                break;
+            case opcodes_js_1.Op.inclocal:
+            case opcodes_js_1.Op.inclocal_i:
+                emit({ k: 'expr', e: { k: 'postfix', op: '++', e: getLocal(a[0]) } });
+                break;
+            case opcodes_js_1.Op.declocal:
+            case opcodes_js_1.Op.declocal_i:
+                emit({ k: 'expr', e: { k: 'postfix', op: '--', e: getLocal(a[0]) } });
+                break;
+            case opcodes_js_1.Op.typeof:
+                stack.push({ k: 'unary', op: 'typeof', e: pop() });
+                break;
+            case opcodes_js_1.Op.not:
+                stack.push((0, ast_js_1.not)(pop()));
+                break;
+            case opcodes_js_1.Op.bitnot:
+                stack.push({ k: 'unary', op: '~', e: pop() });
+                break;
+            default: {
+                const cond = CONDOPS[op];
+                if (cond) {
+                    const b = pop();
+                    const x = pop();
+                    const c = { k: 'binary', op: cond[0], a: x, b };
+                    return { stack, term: { k: 'cond', c: cond[1] ? { k: 'unary', op: '!', e: c } : c } };
+                }
+                throw new SimulationError(`Unsupported instruction ${(0, opcodes_js_1.opInfo)(op)?.name ?? op}`);
+            }
+        }
+    }
+    return { stack, term: { k: 'fall' } };
+}
+function stripCoerceLocal(e) {
+    while (e.k === 'coerce')
+        e = e.e;
+    return e;
+}
+function nsLabel(uri) {
+    const tail = uri.split(/[/:]/).filter(Boolean).pop() ?? 'ns';
+    return /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(tail) ? tail : 'ns';
+}

package/dist/cjs/decompiler/structure.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Control-flow structuring: rebuilds if/else, loops, switch and try/catch
+ * from the CFG, using dominator / post-dominator information.
+ */
+import type { Stmt } from './ast.js';
+import { type Cfg } from './cfg.js';
+import { type MethodContext } from './simulate.js';
+export declare class Structurer {
+    private readonly ctx;
+    private readonly cfg;
+    private visited;
+    private loops;
+    private labelCounter;
+    private tries;
+    /** Labels of loop statements that need one, keyed by LoopCtx. */
+    private loopStmts;
+    constructor(ctx: MethodContext, cfg: Cfg);
+    run(): Stmt[];
+    /**
+     * If block `id` only evaluates a condition on top of `stack` (no statements,
+     * stack unchanged afterwards), returns that condition.
+     */
+    private blockIsEmptyCondition;
+    /** Collapses short-circuit conditions (`a && b`, `a || b`) starting at a conditional block. */
+    private collapse;
+    private mergeOf;
+    /** Follows blocks that only contain `label` / `jump` / `nop` to their destination. */
+    private resolveTrivial;
+    /** Statement for jumping to `target` from inside the current constructs, or null. */
+    private jumpStmt;
+    private loopLabel;
+    private seq;
+    private evalCond;
+    private evalPath;
+    private emitLoop;
+    /**
+     * Natural loop body plus dead-end blocks (return/throw paths) dominated by
+     * the header: those are syntactically inside the loop even though they
+     * never branch back.
+     */
+    private loopRegion;
+    /** Header condition for blocks that only compute a condition from scratch (e.g. hasnext2). */
+    private pureHeaderCondition;
+    private switchFollow;
+    private reaches;
+    private emitSwitch;
+    private emitTry;
+}