psyq-asm 0.0.1

package/dist/asm/directives.d.ts

@@ -0,0 +1,67 @@
+import type { Diagnostics, Position } from './diagnostics.js';
+import { type Expr } from './operands.js';
+export type Directive = {
+    readonly kind: 'section';
+    readonly name: string;
+} | {
+    readonly kind: 'align';
+    readonly power: number;
+} | {
+    readonly kind: 'globl';
+    readonly name: string;
+} | {
+    readonly kind: 'extern';
+    readonly name: string;
+    readonly size?: number;
+} | {
+    readonly kind: 'common';
+    readonly name: string;
+    readonly size: number;
+    readonly align?: number;
+    readonly local: boolean;
+} | {
+    readonly kind: 'values';
+    readonly unit: 1 | 2 | 4;
+    readonly values: readonly Expr[];
+} | {
+    readonly kind: 'bytes';
+    readonly bytes: Uint8Array;
+} | {
+    readonly kind: 'space';
+    readonly size: number;
+} | {
+    readonly kind: 'ent';
+    readonly name: string;
+} | {
+    readonly kind: 'end';
+    readonly name?: string;
+} | {
+    readonly kind: 'frame';
+    readonly reg: number;
+    readonly size: number;
+    readonly returnReg: number;
+} | {
+    readonly kind: 'mask' | 'fmask';
+    readonly bits: number;
+    readonly offset: number;
+} | {
+    readonly kind: 'set';
+    readonly option: string;
+}
+/**
+ * Accepted and ignored. `transparent` directives are invisible to the nop
+ * pass's lookahead, as they are to maspsx's (`.loc` and COFF debugging
+ * records); the others end the lookahead.
+ */
+ | {
+    readonly kind: 'ignored';
+    readonly transparent: boolean;
+};
+/** Decode the C-style escapes of a `.ascii` string body into bytes. */
+export declare function decodeString(body: string): number[];
+/**
+ * Recognize a directive and parse its arguments. Problems are reported to
+ * `diagnostics` and yield `undefined`.
+ */
+export declare function interpretDirective(name: string, text: string, at: Position, diagnostics: Diagnostics): Directive | undefined;
+//# sourceMappingURL=directives.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"directives.d.ts","sourceRoot":"","sources":["../../src/asm/directives.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE9D,OAAO,EAA2B,KAAK,IAAI,EAAE,MAAM,eAAe,CAAC;AAEnE,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1E;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GACvF;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAChD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACnD;;;;GAIG;GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;CAAE,CAAC;AAwFhE,uEAAuE;AACvE,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAyBnD;AA8JD;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,QAAQ,EACZ,WAAW,EAAE,WAAW,GACvB,SAAS,GAAG,SAAS,CASvB"}

package/dist/asm/directives.js

@@ -0,0 +1,254 @@
+// SPDX-License-Identifier: MIT
+/** Directive recognition and argument parsing (see docs/ASPSX-2.81.md, "Directives"). */
+import { parseRegister } from '../isa/registers.js';
+import { splitTopLevel } from './lexer.js';
+import { parseExpr, parseInteger } from './operands.js';
+const SECTIONS = new Set(['.text', '.data', '.rdata', '.sdata', '.sbss', '.bss']);
+const SET_OPTIONS = new Set([
+    'reorder',
+    'noreorder',
+    'macro',
+    'nomacro',
+    'at',
+    'noat',
+    'volatile',
+    'novolatile',
+]);
+const TRANSPARENT_DEBUG = new Set(['.stabs', '.stabn', '.stabd', '.def', '.begin', '.bend']);
+const OPAQUE_DEBUG = new Set(['.type', '.size', '.val', '.scl', '.endef', '.dim', '.tag', '.line']);
+const SYMBOL_NAME = /^[A-Za-z_.$][A-Za-z0-9_.$]*$/;
+/**
+ * Largest `.space` or `.comm` size accepted: 16 MiB, eight times a PlayStation's
+ * main memory. A bound keeps a malformed size from exhausting memory.
+ */
+const MAX_RESERVATION = 0x1000000;
+/** Internal: a malformed directive, turned into a diagnostic by `interpretDirective`. */
+class DirectiveError extends Error {
+    code;
+    constructor(message, code = 'invalid-directive') {
+        super(message);
+        this.code = code;
+    }
+}
+function args(text) {
+    return text === '' ? [] : splitTopLevel(text, ',').map((p) => p.text.trim());
+}
+function expectCount(name, list, min, max) {
+    if (list.length < min || list.length > max) {
+        const range = min === max ? String(min) : `${String(min)} to ${String(max)}`;
+        throw new DirectiveError(`${name} takes ${range} argument${max === 1 ? '' : 's'}, not ${String(list.length)}.`);
+    }
+}
+function symbolArg(name, text) {
+    const t = String(text);
+    if (!SYMBOL_NAME.test(t))
+        throw new DirectiveError(`${name}: ${JSON.stringify(t)} is not a symbol name.`);
+    return t;
+}
+function integerArg(name, text, min, max) {
+    const parsed = parseInteger(String(text));
+    if (!parsed.ok)
+        throw new DirectiveError(`${name}: ${parsed.message}`, parsed.code === 'invalid-operand' ? 'invalid-directive' : parsed.code);
+    if (parsed.value < min || parsed.value > max) {
+        throw new DirectiveError(`${name}: ${String(parsed.value)} is outside ${String(min)} to ${String(max)}.`, 'immediate-out-of-range');
+    }
+    return parsed.value;
+}
+function registerArg(name, text) {
+    const n = parseRegister(String(text));
+    if (n === undefined)
+        throw new DirectiveError(`${name}: ${JSON.stringify(String(text))} is not a register.`);
+    return n;
+}
+const SIMPLE_ESCAPES = {
+    n: 10,
+    t: 9,
+    r: 13,
+    b: 8,
+    f: 12,
+    v: 11,
+    '\\': 92,
+    '"': 34,
+    "'": 39,
+};
+/** Decode the C-style escapes of a `.ascii` string body into bytes. */
+export function decodeString(body) {
+    const bytes = [];
+    const encoder = new TextEncoder();
+    for (let i = 0; i < body.length; i++) {
+        const c = String(body[i]);
+        if (c !== '\\') {
+            bytes.push(...encoder.encode(c));
+            continue;
+        }
+        const rest = body.slice(i + 1);
+        const octal = /^[0-7]{1,3}/.exec(rest);
+        const hex = /^x([0-9a-fA-F]+)/.exec(rest);
+        if (octal !== null) {
+            bytes.push(Number.parseInt(octal[0], 8) & 0xff);
+            i += octal[0].length;
+        }
+        else if (hex !== null) {
+            bytes.push(Number.parseInt(String(hex[1]), 16) & 0xff);
+            i += hex[0].length;
+        }
+        else {
+            const next = rest.charAt(0);
+            bytes.push(SIMPLE_ESCAPES[next] ?? next.charCodeAt(0));
+            i += 1;
+        }
+    }
+    return bytes;
+}
+function stringsArg(name, text) {
+    const list = args(text);
+    if (list.length === 0)
+        throw new DirectiveError(`${name} needs at least one argument.`);
+    return list.flatMap((item) => {
+        if (item.length < 2 || !item.startsWith('"') || !item.endsWith('"')) {
+            throw new DirectiveError(`${name}: ${item} is not a quoted string.`);
+        }
+        return decodeString(item.slice(1, -1));
+    });
+}
+function valuesArg(name, text, unit) {
+    const list = args(text);
+    if (list.length === 0)
+        throw new DirectiveError(`${name} needs at least one argument.`);
+    return list.map((item) => {
+        const parsed = parseExpr(item);
+        if (!parsed.ok)
+            throw new DirectiveError(`${name}: ${parsed.message}`, parsed.code === 'invalid-operand' ? 'invalid-directive' : parsed.code);
+        if (unit !== 4 && parsed.value.kind !== 'number') {
+            throw new DirectiveError(`${name} can hold only numbers; use .word for ${item}.`, 'unsupported-syntax');
+        }
+        return parsed.value;
+    });
+}
+function interpret(name, text, at, diagnostics) {
+    if (SECTIONS.has(name)) {
+        expectCount(name, args(text), 0, 0);
+        return { kind: 'section', name };
+    }
+    switch (name) {
+        case '.section': {
+            const section = text.split(/[\s,]/, 1).join('');
+            if (section === '')
+                throw new DirectiveError('.section needs a section name.');
+            return { kind: 'section', name: section };
+        }
+        case '.align': {
+            const list = args(text);
+            expectCount(name, list, 1, 1);
+            return { kind: 'align', power: integerArg(name, list[0], 0, 15) };
+        }
+        case '.globl':
+        case '.global': {
+            const list = args(text);
+            expectCount(name, list, 1, 1);
+            return { kind: 'globl', name: symbolArg(name, list[0]) };
+        }
+        case '.extern': {
+            const list = args(text);
+            expectCount(name, list, 1, 2);
+            const symbol = symbolArg(name, list[0]);
+            return list.length === 2
+                ? { kind: 'extern', name: symbol, size: integerArg(name, list[1], 0, 0x7fffffff) }
+                : { kind: 'extern', name: symbol };
+        }
+        case '.comm':
+        case '.lcomm': {
+            const list = args(text);
+            expectCount(name, list, 2, 3);
+            const base = {
+                kind: 'common',
+                name: symbolArg(name, list[0]),
+                size: integerArg(name, list[1], 0, MAX_RESERVATION),
+                local: name === '.lcomm',
+            };
+            return list.length === 3 ? { ...base, align: integerArg(name, list[2], 1, 0x8000) } : base;
+        }
+        case '.word':
+            return { kind: 'values', unit: 4, values: valuesArg(name, text, 4) };
+        case '.half':
+        case '.short':
+            return { kind: 'values', unit: 2, values: valuesArg(name, text, 2) };
+        case '.byte':
+            return { kind: 'values', unit: 1, values: valuesArg(name, text, 1) };
+        case '.ascii':
+            return { kind: 'bytes', bytes: Uint8Array.from(stringsArg(name, text)) };
+        case '.asciiz':
+            return { kind: 'bytes', bytes: Uint8Array.from([...stringsArg(name, text), 0]) };
+        case '.space':
+        case '.skip': {
+            const list = args(text);
+            expectCount(name, list, 1, 1);
+            return { kind: 'space', size: integerArg(name, list[0], 0, MAX_RESERVATION) };
+        }
+        case '.ent': {
+            const list = args(text);
+            expectCount(name, list, 1, 1);
+            return { kind: 'ent', name: symbolArg(name, list[0]) };
+        }
+        case '.end': {
+            const list = args(text);
+            expectCount(name, list, 0, 1);
+            return list.length === 1 ? { kind: 'end', name: symbolArg(name, list[0]) } : { kind: 'end' };
+        }
+        case '.frame': {
+            const list = args(text);
+            expectCount(name, list, 3, 3);
+            return {
+                kind: 'frame',
+                reg: registerArg(name, list[0]),
+                size: integerArg(name, list[1], 0, 0x7fffffff),
+                returnReg: registerArg(name, list[2]),
+            };
+        }
+        case '.mask':
+        case '.fmask': {
+            const list = args(text);
+            expectCount(name, list, 2, 2);
+            return {
+                kind: name === '.mask' ? 'mask' : 'fmask',
+                bits: integerArg(name, list[0], -0x80000000, 0xffffffff) >>> 0,
+                offset: integerArg(name, list[1], -0x80000000, 0x7fffffff),
+            };
+        }
+        case '.set': {
+            const option = text.trim();
+            if (!SET_OPTIONS.has(option)) {
+                diagnostics.warning(at, 'ignored-directive', `.set ${option} is not a known option and is ignored.`);
+            }
+            return { kind: 'set', option };
+        }
+        case '.file':
+            return { kind: 'ignored', transparent: false };
+        case '.loc':
+            return { kind: 'ignored', transparent: true };
+        default:
+            break;
+    }
+    if (TRANSPARENT_DEBUG.has(name) || OPAQUE_DEBUG.has(name)) {
+        diagnostics.warnOnce('debug-directives', at, 'ignored-directive', `debugging directives such as ${name} are ignored.`);
+        return { kind: 'ignored', transparent: TRANSPARENT_DEBUG.has(name) };
+    }
+    diagnostics.error(at, 'unknown-directive', `unknown directive ${name}.`);
+    return undefined;
+}
+/**
+ * Recognize a directive and parse its arguments. Problems are reported to
+ * `diagnostics` and yield `undefined`.
+ */
+export function interpretDirective(name, text, at, diagnostics) {
+    try {
+        return interpret(name, text, at, diagnostics);
+    }
+    catch (error) {
+        // `interpret` throws nothing but DirectiveError: argument parsing is pure.
+        const failure = error;
+        diagnostics.error(at, failure.code, failure.message);
+        return undefined;
+    }
+}
+//# sourceMappingURL=directives.js.map

package/dist/asm/directives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"directives.js","sourceRoot":"","sources":["../../src/asm/directives.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,yFAAyF;AACzF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAa,MAAM,eAAe,CAAC;AAkCnE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAClF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC1B,SAAS;IACT,WAAW;IACX,OAAO;IACP,SAAS;IACT,IAAI;IACJ,MAAM;IACN,UAAU;IACV,YAAY;CACb,CAAC,CAAC;AACH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7F,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AACpG,MAAM,WAAW,GAAG,8BAA8B,CAAC;AAEnD;;;GAGG;AACH,MAAM,eAAe,GAAG,SAAS,CAAC;AAElC,yFAAyF;AACzF,MAAM,cAAe,SAAQ,KAAK;IACvB,IAAI,CAAwE;IAErF,YAAY,OAAe,EAAE,OAA+B,mBAAmB;QAC7E,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,IAAuB,EAAE,GAAW,EAAE,GAAW;IAClF,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,cAAc,CACtB,GAAG,IAAI,UAAU,KAAK,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CACtF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,IAAwB;IACvD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACtB,MAAM,IAAI,cAAc,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;IAClF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,IAAwB,EAAE,GAAW,EAAE,GAAW;IAClF,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,EAAE;QACZ,MAAM,IAAI,cAAc,CACtB,GAAG,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE,EAC5B,MAAM,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CACtE,CAAC;IACJ,IAAI,MAAM,CAAC,KAAK,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC;QAC7C,MAAM,IAAI,cAAc,CACtB,GAAG,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,MAAM,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,EAC/E,wBAAwB,CACzB,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,IAAwB;IACzD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,SAAS;QACjB,MAAM,IAAI,cAAc,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC1F,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,cAAc,GAAqC;IACvD,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,EAAE;IACL,IAAI,EAAE,EAAE;IACR,GAAG,EAAE,EAAE;IACP,GAAG,EAAE,EAAE;CACR,CAAC;AAEF,uEAAuE;AACvE,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YAChD,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACvB,CAAC;aAAM,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;YACvD,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,IAAY;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,GAAG,IAAI,+BAA+B,CAAC,CAAC;IACxF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACpE,MAAM,IAAI,cAAc,CAAC,GAAG,IAAI,KAAK,IAAI,0BAA0B,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,IAAY,EAAE,IAAe;IAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,GAAG,IAAI,+BAA+B,CAAC,CAAC;IACxF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACvB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,cAAc,CACtB,GAAG,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE,EAC5B,MAAM,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CACtE,CAAC;QACJ,IAAI,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjD,MAAM,IAAI,cAAc,CACtB,GAAG,IAAI,yCAAyC,IAAI,GAAG,EACvD,oBAAoB,CACrB,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAChB,IAAY,EACZ,IAAY,EACZ,EAAY,EACZ,WAAwB;IAExB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACnC,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChD,IAAI,OAAO,KAAK,EAAE;gBAAE,MAAM,IAAI,cAAc,CAAC,gCAAgC,CAAC,CAAC;YAC/E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE;gBAClF,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC;gBACnD,KAAK,EAAE,IAAI,KAAK,QAAQ;aAChB,CAAC;YACX,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7F,CAAC;QACD,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACvE,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACvE,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACvE,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE,CAAC;QAChF,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC/F,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC;gBAC9C,SAAS,EAAE,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;aACtC,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,OAAO;gBACL,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBACzC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC;gBAC9D,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;aAC3D,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC3B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,WAAW,CAAC,OAAO,CACjB,EAAE,EACF,mBAAmB,EACnB,QAAQ,MAAM,wCAAwC,CACvD,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACjC,CAAC;QACD,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACjD,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAChD;YACE,MAAM;IACV,CAAC;IACD,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,WAAW,CAAC,QAAQ,CAClB,kBAAkB,EAClB,EAAE,EACF,mBAAmB,EACnB,gCAAgC,IAAI,eAAe,CACpD,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACvE,CAAC;IACD,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,mBAAmB,EAAE,qBAAqB,IAAI,GAAG,CAAC,CAAC;IACzE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAY,EACZ,IAAY,EACZ,EAAY,EACZ,WAAwB;IAExB,IAAI,CAAC;QACH,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,2EAA2E;QAC3E,MAAM,OAAO,GAAG,KAAuB,CAAC;QACxC,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/asm/expand.d.ts

@@ -0,0 +1,21 @@
+import { type IsaRow } from '../isa/table.js';
+import type { SmallDataEntry } from '../public-types.js';
+import type { Diagnostics } from './diagnostics.js';
+import type { SourceOperand } from './operands.js';
+import type { Statement } from './parser.js';
+import type { Item, PendingArg, PendingWord } from './stream.js';
+export interface ExpandContext {
+    readonly gpSize: number;
+    readonly smallData: ReadonlyMap<string, SmallDataEntry>;
+    readonly partialDivExpansion: boolean;
+    readonly diagnostics: Diagnostics;
+}
+type Operands = readonly SourceOperand[];
+/** `li rd,value` as ASPSX 2.56 and later expand it. */
+export declare function loadImmediate(rd: number, n: number): PendingWord[];
+/** Match operands to a table row's syntax, or explain why they do not fit. */
+export declare function bindNative(row: IsaRow, given: Operands): PendingArg[] | string;
+/** Turn statements into the stream the nop and layout passes work on. */
+export declare function expand(statements: readonly Statement[], ctx: ExpandContext): Item[];
+export {};
+//# sourceMappingURL=expand.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expand.d.ts","sourceRoot":"","sources":["../../src/asm/expand.ts"],"names":[],"mappings":"AAOA,OAAO,EAAoB,KAAK,MAAM,EAAsB,MAAM,iBAAiB,CAAC;AACpF,OAAO,KAAK,EAAkB,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAQ,aAAa,EAAc,MAAM,eAAe,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,KAAK,EAAE,IAAI,EAAW,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG1E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACxD,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAGD,KAAK,QAAQ,GAAG,SAAS,aAAa,EAAE,CAAC;AA6JzC,uDAAuD;AACvD,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE,CAKlE;AA6TD,8EAA8E;AAC9E,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU,EAAE,GAAG,MAAM,CAsB9E;AAuBD,yEAAyE;AACzE,wBAAgB,MAAM,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,EAAE,CA8DnF"}