psyq-asm 0.0.1

package/dist/asm/hazards.js

@@ -0,0 +1,196 @@
+// SPDX-License-Identifier: MIT
+/**
+ * The nop pass: where ASPSX 2.81 inserts nops (docs/ASPSX-2.81.md, "Hazard
+ * nops"). Rules, after maspsx:
+ *
+ * - H1: after every branch and jump under `.set reorder`.
+ * - H2: after a load, when the next instruction's first word reads the loaded
+ *   register. A `div`/`rem` expansion's final mflo/mfhi counts as a load.
+ * - H3: between mflo/mfhi and the next mult/div there must be two instructions.
+ * - H4: after mfc2/cfc2, like H2, when enabled.
+ *
+ * The pass works on the expanded stream, so "the next instruction" is always
+ * the first word of the next group: a macro that starts with `lui $at` does not
+ * read the loaded register, while a one-word `$gp`-relative rewrite may.
+ * Nops are anchored exactly where maspsx places them, because anchoring decides
+ * which address a label between the two instructions receives.
+ */
+import { hazardReadsOf, registersOf } from '../isa/instruction.js';
+import { ISA_ROWS } from '../isa/table.js';
+/** The first row of the table is `sll`, whose all-zero word is the nop. */
+const SLL = ISA_ROWS[0];
+function nopWord(origin, note) {
+    return {
+        row: SLL,
+        args: [
+            { slot: 'rd', value: { kind: 'gpr', number: 0 } },
+            { slot: 'rt', value: { kind: 'gpr', number: 0 } },
+            { slot: 'sa', value: { kind: 'value', expr: { kind: 'number', value: 0 } } },
+        ],
+        origin,
+        note,
+    };
+}
+/** A group's first and last words (a nop for the never-produced empty group). */
+export function endsOf(group) {
+    const { words } = group;
+    const fallback = nopWord('instruction', 'empty group');
+    return [words[0] ?? fallback, words[words.length - 1] ?? fallback];
+}
+/** A word with only its register fields filled in: enough to ask the table about register use. */
+function registerWord(word) {
+    let bits = word.row.value;
+    for (const { slot, value } of word.args) {
+        if (value.kind === 'gpr')
+            bits |= value.number << (slot === 'rd' ? 11 : slot === 'rs' ? 21 : 16);
+        else if (value.kind === 'mem')
+            bits |= value.base << 21;
+    }
+    return bits >>> 0;
+}
+function readsOf(word) {
+    return hazardReadsOf(word.row, registerWord(word));
+}
+function writesOf(word) {
+    return registersOf(word.row.writes, registerWord(word));
+}
+function nop(near, origin, note) {
+    return {
+        kind: 'group',
+        line: near.line,
+        column: near.column,
+        section: near.section,
+        reorder: near.reorder,
+        words: [nopWord(origin, note)],
+    };
+}
+/**
+ * The next `count` groups after `from`, looking past `.set` options and
+ * transparent labels and stopping at any other item, as maspsx's lookahead
+ * does.
+ */
+function following(items, from, count) {
+    const found = [];
+    let noreorderAt;
+    for (const [offset, item] of items.slice(from + 1).entries()) {
+        if (found.length === count)
+            break;
+        const index = from + 1 + offset;
+        if (item.kind === 'set') {
+            if (item.option === 'noreorder' && noreorderAt === undefined)
+                noreorderAt = index;
+            continue;
+        }
+        // VERIFY-21: every transparent label, `L`-prefixed debugging markers
+        // included, stays before a nop inserted ahead of the next group; maspsx
+        // leaves `L` markers after it. The difference is invisible at -g0.
+        if (item.kind === 'label' && item.transparent)
+            continue;
+        if (item.kind !== 'group')
+            break;
+        found.push({ group: item, index, noreorderAt });
+        noreorderAt = undefined;
+    }
+    return found;
+}
+function isMultiplyOrDivide(group) {
+    const hazard = endsOf(group)[0].row.hazard;
+    return hazard === 'mult' || hazard === 'div';
+}
+/**
+ * H3 after an mflo/mfhi (maspsx `_handle_mflo_mfhi`). Returns true when the
+ * rule took charge of what follows, which suppresses the load-delay check of a
+ * div expansion.
+ */
+function multiplyGap(items, index, producer, insert) {
+    const [first, second] = following(items, index, 2);
+    if (first === undefined)
+        return false;
+    const tail = endsOf(producer)[1].row.mnemonic;
+    const gap = () => nop(producer, 'hilo-gap-nop', `a mult or div may not start within two instructions of ${tail}`);
+    if (isMultiplyOrDivide(first.group)) {
+        insert(first.index, gap());
+        insert(first.index, gap());
+        return true;
+    }
+    if (second === undefined || !isMultiplyOrDivide(second.group))
+        return false;
+    const between = endsOf(first.group)[0];
+    // Another mflo/mfhi in between restarts the count.
+    if (between.row.hazard === 'mflo')
+        return false;
+    if (first.group.macro === 'li') {
+        if (first.group.words.length === 1)
+            insert(first.index + 1, gap());
+        return true;
+    }
+    if (first.noreorderAt !== undefined) {
+        insert(first.noreorderAt, gap());
+        return true;
+    }
+    if (producer.divMove !== undefined && readsOf(between).includes(producer.divMove)) {
+        insert(first.index, gap());
+        return true;
+    }
+    if (between.row.hazard === 'branch' || between.row.hazard === 'jump') {
+        // Under reorder, the branch's own delay-slot nop fills the gap.
+        if (!first.group.reorder)
+            insert(first.index + 1, gap());
+        return true;
+    }
+    // A multi-word expansion fills the gap, as a two-word li does.
+    if (first.group.words.length > 1)
+        return true;
+    insert(second.index, gap());
+    return true;
+}
+/** The register whose load makes the next instruction wait, if any. */
+function delayedRegister(group, options) {
+    if (group.divMove !== undefined)
+        return { register: group.divMove, origin: 'load-delay-nop' };
+    const tail = endsOf(group)[1];
+    const [written] = writesOf(tail);
+    if (written === undefined)
+        return undefined;
+    if (tail.row.hazard === 'load')
+        return { register: written, origin: 'load-delay-nop' };
+    if (tail.row.hazard === 'cop-from' && options.copMoveDelayNop) {
+        return { register: written, origin: 'cop-delay-nop' };
+    }
+    return undefined;
+}
+/** Insert the nops ASPSX 2.81 would, returning a new stream. */
+export function insertNops(items, options) {
+    const inserts = new Map();
+    const insert = (before, group) => {
+        inserts.set(before, [...(inserts.get(before) ?? []), group]);
+    };
+    items.forEach((item, index) => {
+        if (item.kind !== 'group')
+            return;
+        const tail = endsOf(item)[1];
+        const { hazard, mnemonic } = tail.row;
+        if ((hazard === 'branch' || hazard === 'jump') && item.reorder) {
+            insert(index + 1, nop(item, 'branch-delay-nop', `the delay slot of ${mnemonic} under .set reorder`));
+        }
+        if (hazard === 'mflo' && multiplyGap(items, index, item, insert))
+            return;
+        // A load under .set noreorder is left alone.
+        const delayed = item.reorder || tail.row.hazard !== 'load' ? delayedRegister(item, options) : undefined;
+        const [next] = following(items, index, 1);
+        if (delayed === undefined || next === undefined)
+            return;
+        // A multiply-gap nop already in front of the reader serves as the delay too.
+        if (inserts.has(next.index))
+            return;
+        const reader = endsOf(next.group)[0];
+        if (!readsOf(reader).includes(delayed.register))
+            return;
+        insert(next.index, nop(item, delayed.origin, `$${String(delayed.register)} is written by ${mnemonic} and read by ${reader.row.mnemonic}`));
+    });
+    return [
+        ...items.flatMap((item, index) => [...(inserts.get(index) ?? []), item]),
+        ...(inserts.get(items.length) ?? []),
+    ];
+}
+//# sourceMappingURL=hazards.js.map

package/dist/asm/hazards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hazards.js","sourceRoot":"","sources":["../../src/asm/hazards.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAS3C,2EAA2E;AAC3E,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;AAExB,SAAS,OAAO,CAAC,MAAsB,EAAE,IAAY;IACnD,OAAO;QACL,GAAG,EAAE,GAAG;QACR,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;YACjD,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;YACjD,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE;SAC7E;QACD,MAAM;QACN,IAAI;KACL,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACvD,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC;AACrE,CAAC;AAED,kGAAkG;AAClG,SAAS,YAAY,CAAC,IAAiB;IACrC,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;IAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YACtB,IAAI,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aACpE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,OAAO,CAAC,IAAiB;IAChC,OAAO,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,QAAQ,CAAC,IAAiB;IACjC,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,GAAG,CAAC,IAAW,EAAE,MAAsB,EAAE,IAAY;IAC5D,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;KAC/B,CAAC;AACJ,CAAC;AASD;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAsB,EAAE,IAAY,EAAE,KAAa;IACpE,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,WAA+B,CAAC;IACpC,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;YAAE,MAAM;QAClC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,WAAW,KAAK,SAAS;gBAAE,WAAW,GAAG,KAAK,CAAC;YAClF,SAAS;QACX,CAAC;QACD,qEAAqE;QACrE,wEAAwE;QACxE,mEAAmE;QACnE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,WAAW;YAAE,SAAS;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;QAChD,WAAW,GAAG,SAAS,CAAC;IAC1B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAY;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;IAC3C,OAAO,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,KAAK,CAAC;AAC/C,CAAC;AAID;;;;GAIG;AACH,SAAS,WAAW,CAClB,KAAsB,EACtB,KAAa,EACb,QAAe,EACf,MAAc;IAEd,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC9C,MAAM,GAAG,GAAG,GAAU,EAAE,CACtB,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,0DAA0D,IAAI,EAAE,CAAC,CAAC;IAElG,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE5E,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,mDAAmD;IACnD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACrE,gEAAgE;QAChE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO;YAAE,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,+DAA+D;IAC/D,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uEAAuE;AACvE,SAAS,eAAe,CACtB,KAAY,EACZ,OAAsB;IAEtB,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC9F,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IACvF,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC9D,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IACxD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,UAAU,CAAC,KAAsB,EAAE,OAAsB;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3C,MAAM,MAAM,GAAW,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC;IAEF,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC;QAEtC,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC/D,MAAM,CACJ,KAAK,GAAG,CAAC,EACT,GAAG,CAAC,IAAI,EAAE,kBAAkB,EAAE,qBAAqB,QAAQ,qBAAqB,CAAC,CAClF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,KAAK,MAAM,IAAI,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;YAAE,OAAO;QAEzE,6CAA6C;QAC7C,MAAM,OAAO,GACX,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1C,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QACxD,6EAA6E;QAC7E,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO;QACpC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,OAAO;QACxD,MAAM,CACJ,IAAI,CAAC,KAAK,EACV,GAAG,CACD,IAAI,EACJ,OAAO,CAAC,MAAM,EACd,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,QAAQ,gBAAgB,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,CAC5F,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACxE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;KACrC,CAAC;AACJ,CAAC"}

package/dist/asm/layout.d.ts

@@ -0,0 +1,17 @@
+import type { FunctionRange, Section } from '../public-types.js';
+import type { Diagnostics } from './diagnostics.js';
+import { type LabelLocation } from './relocations.js';
+import type { Item } from './stream.js';
+import type { SymbolTable } from './symbols.js';
+export interface Layout {
+    readonly sections: readonly Section[];
+    readonly labels: ReadonlyMap<string, LabelLocation>;
+    readonly functions: readonly FunctionRange[];
+}
+/**
+ * VERIFY-5: alignment of a `.comm`/`.lcomm` allocation when none is given, from
+ * its size (maspsx aligns `.sbss` entries this way).
+ */
+export declare function commonAlignment(size: number, explicit: number | undefined): number;
+export declare function layout(items: readonly Item[], symbols: SymbolTable, gpSize: number, diagnostics: Diagnostics): Layout;
+//# sourceMappingURL=layout.d.ts.map

package/dist/asm/layout.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.d.ts","sourceRoot":"","sources":["../../src/asm/layout.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,aAAa,EAAqB,OAAO,EAAc,MAAM,oBAAoB,CAAC;AAChG,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EAIL,KAAK,aAAa,EAEnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAS,IAAI,EAAe,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACpD,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;CAC9C;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAKlF;AAoQD,wBAAgB,MAAM,CACpB,KAAK,EAAE,SAAS,IAAI,EAAE,EACtB,OAAO,EAAE,WAAW,EACpB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,GACvB,MAAM,CAGR"}

package/dist/asm/layout.js

@@ -0,0 +1,257 @@
+// SPDX-License-Identifier: MIT
+/**
+ * Layout: pass A assigns every label its section offset (after expansion and
+ * nop insertion have fixed each group's size, and after `.comm` allocation);
+ * pass B resolves operands and encodes words into section buffers.
+ */
+import { encode } from '../isa/encode.js';
+import { isError, resolveArg, resolveData, } from './relocations.js';
+import { SectionBuilder } from './sections.js';
+/**
+ * VERIFY-5: alignment of a `.comm`/`.lcomm` allocation when none is given, from
+ * its size (maspsx aligns `.sbss` entries this way).
+ */
+export function commonAlignment(size, explicit) {
+    if (explicit !== undefined)
+        return explicit;
+    if (size >= 8)
+        return 8;
+    if (size >= 4)
+        return 4;
+    return size >= 2 ? 2 : 1;
+}
+function padding(offset, alignment) {
+    return (alignment - (offset % alignment)) % alignment;
+}
+/** Commons no larger than the -G threshold go to `.sbss`, the rest to `.bss`. */
+function commonSection(size, gpSize) {
+    return gpSize > 0 && size <= gpSize ? '.sbss' : '.bss';
+}
+function contentSize(directive) {
+    switch (directive.kind) {
+        case 'values':
+            return directive.unit * directive.values.length;
+        case 'bytes':
+            return directive.bytes.length;
+        case 'space':
+            return directive.size;
+        default:
+            return 0;
+    }
+}
+function assignLabels(items, symbols, gpSize) {
+    const sizes = new Map();
+    const labels = new Map();
+    const at = (section) => sizes.get(section) ?? 0;
+    const bind = (name, location) => {
+        if (!labels.has(name))
+            labels.set(name, location);
+    };
+    let section = '.text';
+    for (const item of items) {
+        if (item.kind === 'label') {
+            bind(item.name, { section, offset: at(section) });
+        }
+        else if (item.kind === 'group') {
+            sizes.set(item.section, at(item.section) + 4 * item.words.length);
+        }
+        else if (item.kind === 'directive') {
+            const d = item.directive;
+            if (d.kind === 'section')
+                section = d.name;
+            else if (d.kind === 'align')
+                sizes.set(section, at(section) + padding(at(section), 2 ** d.power));
+            else
+                sizes.set(section, at(section) + contentSize(d));
+        }
+    }
+    for (const common of symbols.commons.values()) {
+        const target = commonSection(common.size, gpSize);
+        const offset = at(target) + padding(at(target), commonAlignment(common.size, common.align));
+        bind(common.name, { section: target, offset });
+        sizes.set(target, offset + common.size);
+    }
+    return labels;
+}
+function originOf(group, word) {
+    return {
+        line: group.line,
+        kind: word.origin,
+        ...(group.macro === undefined || word.origin !== 'macro' ? {} : { macro: group.macro }),
+        ...(word.note === undefined ? {} : { note: word.note }),
+    };
+}
+class Emitter {
+    labels;
+    symbols;
+    gpSize;
+    diagnostics;
+    builders = new Map();
+    functions = [];
+    open;
+    section = '.text';
+    constructor(labels, symbols, gpSize, diagnostics) {
+        this.labels = labels;
+        this.symbols = symbols;
+        this.gpSize = gpSize;
+        this.diagnostics = diagnostics;
+    }
+    builder(name) {
+        let builder = this.builders.get(name);
+        if (builder === undefined) {
+            builder = new SectionBuilder(name);
+            this.builders.set(name, builder);
+        }
+        return builder;
+    }
+    run(items) {
+        for (const item of items) {
+            if (item.kind === 'label')
+                this.builder(this.section);
+            else if (item.kind === 'group')
+                this.group(item);
+            else if (item.kind === 'directive')
+                this.directive(item.directive, item);
+        }
+        if (this.open !== undefined) {
+            this.diagnostics.warning({ line: this.open.line }, 'function-mismatch', `.ent ${this.open.name} has no matching .end.`);
+        }
+        for (const common of this.symbols.commons.values()) {
+            const builder = this.builder(commonSection(common.size, this.gpSize));
+            const align = commonAlignment(common.size, common.align);
+            builder.pad(padding(builder.offset, align) + common.size, { line: 1, kind: 'data' });
+        }
+        return {
+            sections: [...this.builders.values()].map((b) => b.finish()),
+            labels: this.labels,
+            functions: this.functions,
+        };
+    }
+    group(group) {
+        const builder = this.builder(group.section);
+        for (const word of group.words) {
+            const offset = builder.offset;
+            const ctx = { labels: this.labels, section: group.section, offset };
+            const operands = [];
+            const relocations = [];
+            let failed = false;
+            for (const { slot, value } of word.args) {
+                const resolved = resolveArg(slot, value, ctx);
+                if (isError(resolved)) {
+                    this.diagnostics.error(group, resolved.code, `${word.row.mnemonic}: ${resolved.message}`);
+                    failed = true;
+                    break;
+                }
+                operands.push(resolved.value);
+                if (resolved.relocation !== undefined)
+                    relocations.push(resolved.relocation);
+            }
+            const encoded = failed ? 0 : encode({ mnemonic: word.row.mnemonic, operands });
+            for (const relocation of relocations)
+                builder.relocations.push({ offset, ...relocation });
+            builder.pushWord(encoded, originOf(group, word));
+        }
+    }
+    directive(d, at) {
+        const origin = { line: at.line, kind: 'data' };
+        switch (d.kind) {
+            case 'section':
+                this.section = d.name;
+                this.builder(d.name);
+                break;
+            case 'align': {
+                const builder = this.builder(this.section);
+                builder.pad(padding(builder.offset, 2 ** d.power), { line: at.line, kind: 'align' });
+                break;
+            }
+            case 'space':
+                this.builder(this.section).pad(d.size, origin);
+                break;
+            case 'bytes':
+            case 'values':
+                this.data(d, at, origin);
+                break;
+            case 'ent':
+                if (this.open !== undefined) {
+                    this.diagnostics.warning(at, 'function-mismatch', `.ent ${d.name} appears before .end ${this.open.name}.`);
+                }
+                this.open = {
+                    name: d.name,
+                    line: at.line,
+                    start: Math.floor(this.builder('.text').offset / 4),
+                };
+                break;
+            case 'end':
+                this.end(d, at);
+                break;
+            case 'frame':
+            case 'mask':
+            case 'fmask':
+                if (this.open === undefined) {
+                    this.diagnostics.warning(at, 'function-mismatch', `.${d.kind} appears outside a function.`);
+                }
+                else if (d.kind === 'frame') {
+                    this.open.frame = { reg: d.reg, size: d.size, returnReg: d.returnReg };
+                }
+                else {
+                    this.open[d.kind] = { bits: d.bits, offset: d.offset };
+                }
+                break;
+            default:
+                break;
+        }
+    }
+    data(d, at, origin) {
+        const builder = this.builder(this.section);
+        if (builder.kind === 'bss') {
+            this.diagnostics.error(at, 'invalid-directive', `${this.section} can only reserve space, not hold data.`);
+            return;
+        }
+        if (d.kind === 'bytes') {
+            builder.pushBytes(d.bytes, origin);
+            return;
+        }
+        for (const expr of d.values) {
+            const offset = builder.offset;
+            const resolved = resolveData(d.unit, expr, {
+                labels: this.labels,
+                section: this.section,
+                offset,
+            });
+            const bytes = new Uint8Array(d.unit);
+            if (isError(resolved)) {
+                this.diagnostics.error(at, resolved.code, resolved.message);
+            }
+            else {
+                for (let i = 0; i < d.unit; i++)
+                    bytes[i] = (resolved.value >>> (8 * i)) & 0xff;
+                if (resolved.relocation !== undefined)
+                    builder.relocations.push({ offset, ...resolved.relocation });
+            }
+            builder.pushBytes(bytes, origin);
+        }
+    }
+    end(d, at) {
+        const open = this.open;
+        this.open = undefined;
+        if (open === undefined || (d.name !== undefined && d.name !== open.name)) {
+            const name = d.name === undefined ? '.end' : `.end ${d.name}`;
+            this.diagnostics.warning(at, 'function-mismatch', `${name} does not close an open .ent.`);
+            return;
+        }
+        this.functions.push({
+            name: open.name,
+            section: '.text',
+            start: open.start,
+            end: Math.floor(this.builder('.text').offset / 4),
+            ...(open.frame === undefined ? {} : { frame: open.frame }),
+            ...(open.mask === undefined ? {} : { mask: open.mask }),
+            ...(open.fmask === undefined ? {} : { fmask: open.fmask }),
+        });
+    }
+}
+export function layout(items, symbols, gpSize, diagnostics) {
+    const labels = assignLabels(items, symbols, gpSize);
+    return new Emitter(labels, symbols, gpSize, diagnostics).run(items);
+}
+//# sourceMappingURL=layout.js.map

package/dist/asm/layout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.js","sourceRoot":"","sources":["../../src/asm/layout.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B;;;;GAIG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAI1C,OAAO,EACL,OAAO,EACP,UAAU,EACV,WAAW,GAGZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAU/C;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,QAA4B;IACxE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACxB,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACxB,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,OAAO,CAAC,MAAc,EAAE,SAAiB;IAChD,OAAO,CAAC,SAAS,GAAG,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC;AACxD,CAAC;AAED,iFAAiF;AACjF,SAAS,aAAa,CAAC,IAAY,EAAE,MAAc;IACjD,OAAO,MAAM,GAAG,CAAC,IAAI,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAAC,SAAoB;IACvC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;QAClD,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;QAChC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,IAAI,CAAC;QACxB;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,KAAsB,EACtB,OAAoB,EACpB,MAAc;IAEd,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,EAAE,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,QAAuB,EAAQ,EAAE;QAC3D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC,CAAC;IACF,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACjC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;iBACtC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBACzB,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;;gBAClE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5F,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY,EAAE,IAAiB;IAC/C,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QACvF,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAWD,MAAM,OAAO;IAOQ;IACA;IACA;IACA;IATF,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC7C,SAAS,GAAoB,EAAE,CAAC;IACzC,IAAI,CAA2B;IAC/B,OAAO,GAAG,OAAO,CAAC;IAE1B,YACmB,MAA0C,EAC1C,OAAoB,EACpB,MAAc,EACd,WAAwB;QAHxB,WAAM,GAAN,MAAM,CAAoC;QAC1C,YAAO,GAAP,OAAO,CAAa;QACpB,WAAM,GAAN,MAAM,CAAQ;QACd,gBAAW,GAAX,WAAW,CAAa;IACxC,CAAC;IAEI,OAAO,CAAC,IAAY;QAC1B,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,GAAG,CAAC,KAAsB;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;iBACjD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;iBAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,WAAW,CAAC,OAAO,CACtB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EACxB,mBAAmB,EACnB,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,wBAAwB,CAC/C,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACnD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YAC5D,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,KAAY;QACxB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,MAAM,GAAG,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAc,EAAE,CAAC;YAC/B,MAAM,WAAW,GAAsB,EAAE,CAAC;YAC1C,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC9C,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;oBAC1F,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAC9B,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS;oBAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC/E,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAoB,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC3F,KAAK,MAAM,UAAU,IAAI,WAAW;gBAAE,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;YAC1F,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAEO,SAAS,CAAC,CAAY,EAAE,EAAoC;QAClE,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC3D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS;gBACZ,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;gBACtB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACrB,MAAM;YACR,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC3C,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBACrF,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC/C,MAAM;YACR,KAAK,OAAO,CAAC;YACb,KAAK,QAAQ;gBACX,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;gBACzB,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC5B,IAAI,CAAC,WAAW,CAAC,OAAO,CACtB,EAAE,EACF,mBAAmB,EACnB,QAAQ,CAAC,CAAC,IAAI,wBAAwB,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CACxD,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,IAAI,GAAG;oBACV,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;iBACpD,CAAC;gBACF,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAChB,MAAM;YACR,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO;gBACV,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC5B,IAAI,CAAC,WAAW,CAAC,OAAO,CACtB,EAAE,EACF,mBAAmB,EACnB,IAAI,CAAC,CAAC,IAAI,8BAA8B,CACzC,CAAC;gBACJ,CAAC;qBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;gBACzE,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzD,CAAC;gBACD,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAEO,IAAI,CACV,CAAmD,EACnD,EAAoC,EACpC,MAAkB;QAElB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,EAAE,EACF,mBAAmB,EACnB,GAAG,IAAI,CAAC,OAAO,yCAAyC,CACzD,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACnC,OAAO;QACT,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE;gBACzC,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,MAAM;aACP,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACN,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE;oBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;gBAChF,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS;oBACnC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAEO,GAAG,CAAC,CAAsC,EAAE,EAAoC;QACtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE,mBAAmB,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;YAC1F,OAAO;QACT,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;YACvD,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;SAC3D,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,UAAU,MAAM,CACpB,KAAsB,EACtB,OAAoB,EACpB,MAAc,EACd,WAAwB;IAExB,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACpD,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC"}

package/dist/asm/lexer.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Lines to statement text: comments stripped, `;`-separated statements split,
+ * `#APP`/`#NO_APP` inline-assembly regions flagged. Works on CRLF or LF input
+ * and keeps the original line and column of every piece.
+ */
+/** One statement's text with its source position. */
+export interface SourcePiece {
+    readonly line: number;
+    readonly column: number;
+    readonly text: string;
+    /** Between `#APP` and `#NO_APP`: inline assembly from a C macro. */
+    readonly inlineAsm: boolean;
+}
+export interface Part {
+    readonly text: string;
+    readonly start: number;
+}
+/** Split `text` at `separator` wherever it is outside double quotes and parentheses. */
+export declare function splitTopLevel(text: string, separator: string): Part[];
+/** Remove a `#` comment, leaving `#` inside string literals alone. */
+export declare function stripComment(text: string): string;
+export declare function lex(source: string): SourcePiece[];
+//# sourceMappingURL=lexer.d.ts.map

package/dist/asm/lexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../src/asm/lexer.ts"],"names":[],"mappings":"AACA;;;;GAIG;AAEH,qDAAqD;AACrD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,wFAAwF;AACxF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,CAuBrE;AAED,sEAAsE;AACtE,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAcjD;AAED,wBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,EAAE,CAqBjD"}

package/dist/asm/lexer.js

@@ -0,0 +1,81 @@
+// SPDX-License-Identifier: MIT
+/**
+ * Lines to statement text: comments stripped, `;`-separated statements split,
+ * `#APP`/`#NO_APP` inline-assembly regions flagged. Works on CRLF or LF input
+ * and keeps the original line and column of every piece.
+ */
+/** Split `text` at `separator` wherever it is outside double quotes and parentheses. */
+export function splitTopLevel(text, separator) {
+    const parts = [];
+    let depth = 0;
+    let inString = false;
+    let start = 0;
+    for (let i = 0; i < text.length; i++) {
+        const c = text[i];
+        if (inString) {
+            if (c === '\\')
+                i++;
+            else if (c === '"')
+                inString = false;
+        }
+        else if (c === '"') {
+            inString = true;
+        }
+        else if (c === '(') {
+            depth++;
+        }
+        else if (c === ')') {
+            depth = Math.max(0, depth - 1);
+        }
+        else if (c === separator && depth === 0) {
+            parts.push({ text: text.slice(start, i), start });
+            start = i + 1;
+        }
+    }
+    parts.push({ text: text.slice(start), start });
+    return parts;
+}
+/** Remove a `#` comment, leaving `#` inside string literals alone. */
+export function stripComment(text) {
+    let inString = false;
+    for (let i = 0; i < text.length; i++) {
+        const c = text[i];
+        if (inString) {
+            if (c === '\\')
+                i++;
+            else if (c === '"')
+                inString = false;
+        }
+        else if (c === '"') {
+            inString = true;
+        }
+        else if (c === '#') {
+            return text.slice(0, i);
+        }
+    }
+    return text;
+}
+export function lex(source) {
+    const pieces = [];
+    let inlineAsm = false;
+    source.split(/\r?\n/).forEach((raw, index) => {
+        const marker = raw.trim();
+        if (marker === '#APP') {
+            inlineAsm = true;
+            return;
+        }
+        if (marker === '#NO_APP') {
+            inlineAsm = false;
+            return;
+        }
+        for (const part of splitTopLevel(stripComment(raw), ';')) {
+            const text = part.text.trim();
+            if (text === '')
+                continue;
+            const leading = part.text.length - part.text.trimStart().length;
+            pieces.push({ line: index + 1, column: part.start + leading + 1, text, inlineAsm });
+        }
+    });
+    return pieces;
+}
+//# sourceMappingURL=lexer.js.map

package/dist/asm/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/asm/lexer.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B;;;;GAIG;AAgBH,wFAAwF;AACxF,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,SAAiB;IAC3D,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAC;iBACf,IAAI,CAAC,KAAK,GAAG;gBAAE,QAAQ,GAAG,KAAK,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAClD,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAC;iBACf,IAAI,CAAC,KAAK,GAAG;gBAAE,QAAQ,GAAG,KAAK,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,MAAc;IAChC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,SAAS,GAAG,IAAI,CAAC;YACjB,OAAO;QACT,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS,GAAG,KAAK,CAAC;YAClB,OAAO;QACT,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,IAAI,KAAK,EAAE;gBAAE,SAAS;YAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,GAAG,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/asm/object.d.ts

@@ -0,0 +1,6 @@
+import type { NormalizedAssembleOptions } from '../options.js';
+import type { AssembledObject, SmallDataEntry } from '../public-types.js';
+import type { Layout } from './layout.js';
+import { type SymbolTable } from './symbols.js';
+export declare function buildObject(options: NormalizedAssembleOptions, laidOut: Layout, table: SymbolTable, smallData: ReadonlyMap<string, SmallDataEntry>): AssembledObject;
+//# sourceMappingURL=object.d.ts.map

package/dist/asm/object.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../src/asm/object.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAe,MAAM,oBAAoB,CAAC;AACvF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAgB,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AA+B9D,wBAAgB,WAAW,CACzB,OAAO,EAAE,yBAAyB,EAClC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,WAAW,EAClB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GAC7C,eAAe,CAYjB"}