@scriptc/compiler 0.4.5 → 0.4.6

package/dist/ir/loop-entry-ranges.test.js

@@ -0,0 +1,191 @@
+import { expect, test } from "vitest";
+import { analyzeIntegerRangeFacts } from "./integer-ranges.js";
+import { findLoopEntryVersions, LOOP_ENTRY_RANGE } from "./loop-entry-ranges.js";
+import { BOOL, BYTES_U8, F64 } from "./ir.js";
+const loc = { file: "test.ts", start: 0, end: 0 };
+const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
+const ref = (localId) => ({ loc, kind: "varRef", localId, type: F64 });
+const bin = (op, left, right) => ({
+    loc,
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: F64,
+});
+const condition = (op, left, right) => ({
+    loc,
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: BOOL,
+});
+const set = (localId, value) => ({ loc, kind: "assign", localId, value });
+const bump = (localId) => ({
+    loc,
+    kind: "exprStmt",
+    expr: { loc, kind: "incDec", op: "+", prefix: false, localId, type: F64 },
+});
+const observe = (value) => ({ loc, kind: "exprStmt", expr: value });
+const fn = (body, locals) => ({
+    loc,
+    name: "f",
+    params: [],
+    returnType: F64,
+    locals: locals.map((id) => ({ id, name: id, type: F64, mutable: true })),
+    body,
+});
+/** base = unknown; breaks = unknown; count = 0; i = 0;
+ * while (i < 300) { ...extra; i++; count++; last = (count + base - breaks) % 8;
+ *   if (last === 0) breaks++; }
+ * observe(base) */
+function lineBreaks(extra = [], locals = []) {
+    const remainder = bin("%", bin("-", bin("+", ref("count"), ref("base")), ref("breaks")), num(8));
+    const after = ref("base");
+    const loop = {
+        loc,
+        kind: "while",
+        cond: condition("<", ref("i"), num(300)),
+        body: [
+            ...extra,
+            bump("i"),
+            bump("count"),
+            set("last", remainder),
+            {
+                loc,
+                kind: "if",
+                cond: condition("===", ref("last"), num(0)),
+                then: [bump("breaks")],
+                else_: null,
+            },
+        ],
+    };
+    const f = fn([
+        set("base", ref("unknown")),
+        set("breaks", ref("unknown")),
+        set("count", num(0)),
+        set("i", num(0)),
+        set("last", num(1)),
+        loop,
+        observe(after),
+    ], ["base", "breaks", "count", "i", "last", ...locals]);
+    return { f, loop, remainder, after };
+}
+test("versions a while loop whose remainder reads locals without entry facts", () => {
+    const { f, loop, remainder } = lineBreaks();
+    const facts = analyzeIntegerRangeFacts(f);
+    expect(facts.ranges.get(remainder)).toBeFalsy();
+    const version = findLoopEntryVersions(f, facts).get(loop);
+    expect(version).toBeDefined();
+    expect([...version.entry]).toEqual([
+        ["base", LOOP_ENTRY_RANGE],
+        ["breaks", LOOP_ENTRY_RANGE],
+    ]);
+    // The dividend is an exact integer; `%` itself is modeled only for
+    // non-negative dividends.
+    const dividend = remainder.left;
+    expect(version.ranges.get(dividend)).toBeDefined();
+    // The loop's counters, `breaks` among them, are bounded in the copy.
+    expect(version.loopRanges?.get("breaks")).toEqual({
+        min: LOOP_ENTRY_RANGE.min,
+        max: LOOP_ENTRY_RANGE.max + 300,
+    });
+});
+test("the entry test covers only the locals the remainder depends on", () => {
+    // acc = acc + scale reads two more locals without facts.
+    const { f, loop } = lineBreaks([set("acc", bin("+", ref("acc"), ref("scale")))], ["acc", "scale"]);
+    f.body.unshift(set("acc", ref("unknown")), set("scale", ref("unknown")));
+    const version = findLoopEntryVersions(f, analyzeIntegerRangeFacts(f)).get(loop);
+    expect([...version.entry.keys()]).toEqual(["base", "breaks"]);
+});
+test("assumed facts do not leave the loop", () => {
+    const { f, loop, after } = lineBreaks();
+    const assumed = new Map([[loop, new Map([["base", LOOP_ENTRY_RANGE]])]]);
+    expect(analyzeIntegerRangeFacts(f, {}, assumed).ranges.get(after)).toBeFalsy();
+});
+test("loops without a remainder the assumption proves keep one copy", () => {
+    // A local the loop makes fractional, a product without a remainder, and a
+    // remainder the function already proves.
+    const fractional = lineBreaks([set("base", bin("+", ref("base"), num(0.5)))]);
+    expect(findLoopEntryVersions(fractional.f, analyzeIntegerRangeFacts(fractional.f)).size).toBe(0);
+    const product = {
+        loc,
+        kind: "while",
+        cond: condition("<", ref("i"), num(300)),
+        body: [set("acc", bin("*", ref("acc"), ref("scale"))), bump("i")],
+    };
+    const products = fn([set("acc", ref("unknown")), set("scale", ref("unknown")), set("i", num(0)), product], ["acc", "scale", "i"]);
+    expect(findLoopEntryVersions(products, analyzeIntegerRangeFacts(products)).size).toBe(0);
+    const proven = {
+        loc,
+        kind: "while",
+        cond: condition("<", ref("i"), num(300)),
+        body: [set("acc", bin("%", ref("i"), num(7))), bump("i")],
+    };
+    const known = fn([set("acc", ref("unknown")), set("i", num(0)), proven], ["acc", "i"]);
+    expect(findLoopEntryVersions(known, analyzeIntegerRangeFacts(known)).size).toBe(0);
+});
+const step = (localId) => ({
+    loc,
+    kind: "incDec",
+    op: "+",
+    prefix: false,
+    localId,
+    type: F64,
+});
+const bytes = (localId) => ({ loc, kind: "varRef", localId, type: BYTES_U8 });
+/** i = unknown; o = unknown; line = unknown;
+ * for (let j = 0; j < line; j = j + 1) out[o++] = src[i++];
+ * observe(o) */
+function cursors(init) {
+    const read = {
+        loc,
+        kind: "bytesIntrinsic",
+        method: "get",
+        receiver: bytes("src"),
+        args: [step("i")],
+        type: F64,
+    };
+    const store = { loc, kind: "bytesSet", arr: bytes("out"), index: step("o"), value: read };
+    const loop = {
+        loc,
+        kind: "for",
+        init: init ?? { loc, kind: "varDecl", localId: "j", init: num(0) },
+        cond: condition("<", ref("j"), ref("line")),
+        update: set("j", bin("+", ref("j"), num(1))),
+        body: [store],
+    };
+    const after = ref("o");
+    const f = fn([
+        set("i", ref("unknown")),
+        set("o", ref("unknown")),
+        set("line", ref("unknown")),
+        loop,
+        observe(after),
+    ], ["i", "o", "line", "j", "unknown"]);
+    f.locals.push({ id: "src", name: "src", type: BYTES_U8, mutable: false }, { id: "out", name: "out", type: BYTES_U8, mutable: false });
+    return { f, loop, store, read, after };
+}
+test("versions a for loop on the positions it advances and the passes it runs", () => {
+    const { f, loop, store, read, after } = cursors();
+    const facts = analyzeIntegerRangeFacts(f);
+    expect(facts.ranges.get(store.index)).toBeNull();
+    const version = findLoopEntryVersions(f, facts).get(loop);
+    expect([...version.entry.keys()].sort()).toEqual(["i", "line", "o"]);
+    // Every pass advances each position once, and the passes stay below `line`.
+    expect(version.loopRanges?.get("o")).toEqual({
+        min: LOOP_ENTRY_RANGE.min,
+        max: 2 * LOOP_ENTRY_RANGE.max,
+    });
+    expect(version.ranges.get(store.index)).toBeDefined();
+    expect(version.ranges.get(read.args[0])).toBeDefined();
+    // No fact leaves the loop.
+    expect(version.ranges.has(after)).toBe(false);
+});
+test("leaves a for loop whose initializer writes an advanced position as it is", () => {
+    const init = { loc, kind: "assign", localId: "o", value: num(0) };
+    const { f, loop } = cursors(init);
+    expect(findLoopEntryVersions(f, analyzeIntegerRangeFacts(f)).has(loop)).toBe(false);
+});
+//# sourceMappingURL=loop-entry-ranges.test.js.map

package/dist/ir/loop-entry-ranges.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-entry-ranges.test.js","sourceRoot":"","sources":["../../src/ir/loop-entry-ranges.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACjF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAA6C,MAAM,SAAS,CAAC;AAEzF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,GAAG,GAAG,CAAC,EAAyB,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAC/E,GAAG;IACH,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,SAAS,GAAG,CAAC,EAAe,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAC3E,GAAG;IACH,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,IAAI;CACX,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AAClG,MAAM,IAAI,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;IACzC,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;CAC1E,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AACpF,MAAM,EAAE,GAAG,CAAC,IAAc,EAAE,MAAgB,EAAc,EAAE,CAAC,CAAC;IAC5D,GAAG;IACH,IAAI,EAAE,GAAG;IACT,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,GAAG;IACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACxE,IAAI;CACL,CAAC,CAAC;AAEH;;;mBAGmB;AACnB,SAAS,UAAU,CAAC,KAAK,GAAa,EAAE,EAAE,MAAM,GAAa,EAAE;IAC7D,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAW;QACnB,GAAG;QACH,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,EAAE;YACJ,GAAG,KAAK;YACR,IAAI,CAAC,GAAG,CAAC;YACT,IAAI,CAAC,OAAO,CAAC;YACb,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;YACtB;gBACE,GAAG;gBACH,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC3C,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACtB,KAAK,EAAE,IAAI;aACZ;SACF;KACF,CAAC;IACF,MAAM,CAAC,GAAG,EAAE,CACV;QACE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3B,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAC7B,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChB,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI;QACJ,OAAO,CAAC,KAAK,CAAC;KACf,EACD,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,CACpD,CAAC;IACF,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAChD,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9B,MAAM,CAAC,CAAC,GAAG,OAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;QAClC,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAC1B,CAAC,QAAQ,EAAE,gBAAgB,CAAC;KAC7B,CAAC,CAAC;IACH,mEAAmE;IACnE,0BAA0B;IAC1B,MAAM,QAAQ,GAAI,SAA8C,CAAC,IAAI,CAAC;IACtE,MAAM,CAAC,OAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,qEAAqE;IACrE,MAAM,CAAC,OAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;QACjD,GAAG,EAAE,gBAAgB,CAAC,GAAG;QACzB,GAAG,EAAE,gBAAgB,CAAC,GAAG,GAAG,GAAG;KAChC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,yDAAyD;IACzD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,UAAU,CAC5B,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAChD,CAAC,KAAK,EAAE,OAAO,CAAC,CACjB,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,CAAC,CAAC,GAAG,OAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;IAC/C,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,UAAU,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,0EAA0E;IAC1E,yCAAyC;IACzC,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,EAAE,wBAAwB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,OAAO,GAAW;QACtB,GAAG;QACH,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;KAClE,CAAC;IACF,MAAM,QAAQ,GAAG,EAAE,CACjB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EACrF,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CACtB,CAAC;IACF,MAAM,CAAC,qBAAqB,CAAC,QAAQ,EAAE,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,MAAM,GAAW;QACrB,GAAG;QACH,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;KAC1D,CAAC;IACF,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;IACzC,GAAG;IACH,IAAI,EAAE,QAAQ;IACd,EAAE,EAAE,GAAG;IACP,MAAM,EAAE,KAAK;IACb,OAAO;IACP,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAE9F;;gBAEgB;AAChB,SAAS,OAAO,CAAC,IAAa;IAC5B,MAAM,IAAI,GAAW;QACnB,GAAG;QACH,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC;QACtB,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,EAAE,GAAG;KACV,CAAC;IACF,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAClG,MAAM,IAAI,GAAW;QACnB,GAAG;QACH,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,IAAI,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QAClE,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,EAAE,CAAC,KAAK,CAAC;KACd,CAAC;IACF,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,EAAE,CACV;QACE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACxB,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACxB,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI;QACJ,OAAO,CAAC,KAAK,CAAC;KACf,EACD,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,CACnC,CAAC;IACF,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,EAC1D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAC3D,CAAC;IACF,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IAClD,MAAM,KAAK,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAE,KAA+C,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5F,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAC3D,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,4EAA4E;IAC5E,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;QAC3C,GAAG,EAAE,gBAAgB,CAAC,GAAG;QACzB,GAAG,EAAE,CAAC,GAAG,gBAAgB,CAAC,GAAG;KAC9B,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAE,KAA+C,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACjG,MAAM,CACJ,OAAO,CAAC,MAAM,CAAC,GAAG,CAAE,IAAoD,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CACnF,CAAC,WAAW,EAAE,CAAC;IAChB,2BAA2B;IAC3B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,IAAI,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,qBAAqB,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACtF,CAAC,CAAC,CAAC"}

package/dist/ir/node-index.d.ts

@@ -43,6 +43,9 @@ export declare class IrNodeIndex {
      * constant set: scans are kept by the set's identity. */
     scanExcept(excluded: ReadonlySet<string>): IrKindScan;
     private scanOf;
+    /** The number of nodes recorded for `fn`, or undefined when `fn` is not
+     * recorded. */
+    nodeCount(fn: IrFunction): number | undefined;
     /** Calls `note` with each recorded node of `fn` whose kind `scan` names,
      * in walk order, until it answers false. False (nothing called) when
      * `fn` is not recorded. */

package/dist/ir/node-index.js

@@ -208,6 +208,12 @@ export class IrNodeIndex {
         this.scans.set(key, scan);
         return scan;
     }
+    /** The number of nodes recorded for `fn`, or undefined when `fn` is not
+     * recorded. */
+    nodeCount(fn) {
+        const f = this.functionIndex.get(fn);
+        return f === undefined ? undefined : this.starts[f + 1] - this.starts[f];
+    }
     /** Calls `note` with each recorded node of `fn` whose kind `scan` names,
      * in walk order, until it answers false. False (nothing called) when
      * `fn` is not recorded. */

package/dist/ir/node-index.js.map

@@ -1 +1 @@
-{"version":3,"file":"node-index.js","sourceRoot":"","sources":["../../src/ir/node-index.ts"],"names":[],"mappings":"AAAA;;;0EAG0E;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAK9D,mEAAmE;AACnE,MAAM,MAAM,GAAG,GAAG,CAAC;AAEnB;;;;;;6EAM6E;AAC7E,MAAM,OAAO,WAAW;IACtB;mDAC+C;IACtC,KAAK,CAAoB;IACjB,KAAK,GAAwB,EAAE,CAAC;IAChC,KAAK,CAAa;IAClB,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvD;0EACsE;IACrD,aAAa,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/D,yEAAyE;IACxD,MAAM,CAAa;IACpC,sDAAsD;IACrC,OAAO,CAAc;IACtC,+DAA+D;IAC9C,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IACvD,2CAA2C;IAC1B,UAAU,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;IAElD,YAAY,GAAa;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,oEAAoE;QACpE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE;YACxC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9B,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;QACF,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;YAC9B,aAAa,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QAC7C,+CAA+C;QAC/C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YACvB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/D,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACpE,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC7B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC5B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACrE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;YAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7D,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE;YAAE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACjF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtD,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,IAAI,YAAY,GAAG,MAAM,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAChC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;gBAC5B,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC1B,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;wBAC3B,IAAI,IAAI,IAAI,MAAM;4BAAE,MAAM,IAAI,qBAAqB,CAAC,+BAA+B,CAAC,CAAC;wBACrF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACjC,CAAC;oBACD,YAAY,GAAG,IAAI,CAAC;oBACpB,YAAY,GAAG,IAAI,CAAC;gBACtB,CAAC;gBACD,KAAK,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC;gBACxB,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS;YACvC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IAED;;;yBAGqB;IACrB,mBAAmB,CAAC,MAA2B;QAC7C,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAY,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,CAAC;IAED,4DAA4D;IAC5D,aAAa,CAAC,SAA4B;QACxC,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;gBACnD,MAAM,IAAI,qBAAqB,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC;YACpF,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAY,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC;IAED;+DAC2D;IAC3D,IAAI,CAAC,KAA4B;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,mCAAmC;IACnC,WAAW;QACT,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE;YAAE,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9F,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED;6DACyD;IACzD,UAAU,CAAC,QAA6B;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAEO,MAAM,CAAC,GAAW,EAAE,KAAwB;QAClD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,KAAK,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;+BAE2B;IAC3B,KAAK,CAAC,EAAc,EAAE,IAAgB,EAAE,IAAgB;QACtD,MAAM,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC7E,IAAI,GAAG,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK;gBAAE,MAAM;QACpF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAYD;;;;oCAIoC;AACpC,MAAM,UAAU,eAAe,CAC7B,EAAc,EACd,IAA4B,EAC5B,IAAgB;IAEhB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO;IACnE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,KAAK;QAC3C,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK;KAC3C,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"node-index.js","sourceRoot":"","sources":["../../src/ir/node-index.ts"],"names":[],"mappings":"AAAA;;;0EAG0E;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAK9D,mEAAmE;AACnE,MAAM,MAAM,GAAG,GAAG,CAAC;AAEnB;;;;;;6EAM6E;AAC7E,MAAM,OAAO,WAAW;IACtB;mDAC+C;IACtC,KAAK,CAAoB;IACjB,KAAK,GAAwB,EAAE,CAAC;IAChC,KAAK,CAAa;IAClB,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvD;0EACsE;IACrD,aAAa,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/D,yEAAyE;IACxD,MAAM,CAAa;IACpC,sDAAsD;IACrC,OAAO,CAAc;IACtC,+DAA+D;IAC9C,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IACvD,2CAA2C;IAC1B,UAAU,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;IAElD,YAAY,GAAa;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,oEAAoE;QACpE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE;YACxC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9B,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;QACF,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;YAC9B,aAAa,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QAC7C,+CAA+C;QAC/C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YACvB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/D,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACpE,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC7B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC5B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACrE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;YAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7D,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE;YAAE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACjF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtD,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,IAAI,YAAY,GAAG,MAAM,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAChC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;gBAC5B,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC1B,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;wBAC3B,IAAI,IAAI,IAAI,MAAM;4BAAE,MAAM,IAAI,qBAAqB,CAAC,+BAA+B,CAAC,CAAC;wBACrF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACjC,CAAC;oBACD,YAAY,GAAG,IAAI,CAAC;oBACpB,YAAY,GAAG,IAAI,CAAC;gBACtB,CAAC;gBACD,KAAK,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC;gBACxB,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS;YACvC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IAED;;;yBAGqB;IACrB,mBAAmB,CAAC,MAA2B;QAC7C,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAY,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,CAAC;IAED,4DAA4D;IAC5D,aAAa,CAAC,SAA4B;QACxC,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;gBACnD,MAAM,IAAI,qBAAqB,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC;YACpF,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAY,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC;IAED;+DAC2D;IAC3D,IAAI,CAAC,KAA4B;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,mCAAmC;IACnC,WAAW;QACT,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE;YAAE,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9F,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED;6DACyD;IACzD,UAAU,CAAC,QAA6B;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAEO,MAAM,CAAC,GAAW,EAAE,KAAwB;QAClD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,KAAK,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;mBACe;IACf,SAAS,CAAC,EAAc;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;IAC7E,CAAC;IAED;;+BAE2B;IAC3B,KAAK,CAAC,EAAc,EAAE,IAAgB,EAAE,IAAgB;QACtD,MAAM,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC7E,IAAI,GAAG,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK;gBAAE,MAAM;QACpF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAYD;;;;oCAIoC;AACpC,MAAM,UAAU,eAAe,CAC7B,EAAc,EACd,IAA4B,EAC5B,IAAgB;IAEhB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO;IACnE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,KAAK;QAC3C,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK;KAC3C,CAAC,CAAC;AACL,CAAC"}

package/dist/ir/numeric-call-specialization.d.ts

@@ -1,8 +1,11 @@
 import { type IrModule } from "./ir.js";
-/** Direct calls that already carry known numbers need no optional-parameter
- * boxes. Keep the ordinary function and its ABI for holes, undefined,
- * closures, exports and virtual dispatch. One bounded native variant per
- * function preserves the body, argument order and return representation;
- * mixed or unknown incoming values retain the original call. The backend
- * supplies its symbol spelling to avoid collisions after name mangling. */
+/** Direct calls that already carry known numbers or booleans, or that pass
+ * undefined to a parameter with a constant default, need no
+ * optional-parameter boxes. Keep the ordinary function and its ABI for
+ * other values, closures, exports and virtual dispatch. One native variant
+ * per function preserves the body, argument order and return
+ * representation; mixed or unknown incoming values retain the original
+ * call. An ordinary function no reference reaches after the rewrite is
+ * dropped. The variants share a node budget. The backend supplies its
+ * symbol spelling to avoid collisions after name mangling. */
 export declare function specializeNumericCalls(mod: IrModule, symbolName?: (name: string) => string): IrModule;

package/dist/ir/numeric-call-specialization.js

@@ -1,7 +1,10 @@
 import { BOOL, F64, } from "./ir.js";
+import { exprFunctionReference, moduleFunctionReferences } from "./function-references.js";
 import { everyStmtList, mapExprChildren, mapStmtChildren, transformStmtList } from "./traverse.js";
 const MAX_FUNCTION_NODES = 1024;
-const MAX_SPECIALIZATIONS = 32;
+/** The variants' bodies together: at least this many nodes, or a tenth of
+ * the module's. */
+const MIN_SPECIALIZATION_BUDGET = 32 * MAX_FUNCTION_NODES;
 function parameters(fn, unions) {
     if (fn.async || fn.generator || fn.captures !== undefined || fn.classCaptures?.length)
         return [];
@@ -10,11 +13,21 @@ function parameters(fn, unions) {
         if (param.type.kind !== "union")
             return;
         const arms = unions.get(param.type.unionId)?.arms;
-        if (arms?.length !== 2 || !arms.some((arm) => arm.kind === "undefinedT"))
+        if (arms?.length !== 2)
             return;
-        const tag = arms.findIndex((arm) => arm.kind === "f64");
-        if (tag >= 0)
-            result.push({ index, localId: param.localId, unionId: param.type.unionId, tag });
+        const undefinedTag = arms.findIndex((arm) => arm.kind === "undefinedT");
+        const tag = arms.findIndex((arm) => arm.kind === "f64" || arm.kind === "bool");
+        if (undefinedTag < 0 || tag < 0)
+            return;
+        result.push({
+            index,
+            localId: param.localId,
+            unionId: param.type.unionId,
+            tag,
+            arm: arms[tag].kind === "f64" ? F64 : BOOL,
+            undefinedTag,
+            fallback: null,
+        });
     });
     if (!result.length)
         return result;
@@ -22,20 +35,22 @@ function parameters(fn, unions) {
     if (fn.locals.some((local) => selected.has(local.id) && (local.boxed || local.tdz)))
         return [];
     let size = 0;
-    function numericWrite(id, value) {
+    function armWrite(id, value) {
         const param = selected.get(id);
         return (!param ||
             (value?.kind === "unionWrap" &&
                 value.unionId === param.unionId &&
                 value.tag === param.tag &&
-                value.value.type.kind === "f64"));
+                value.value.type.kind === param.arm.kind));
     }
+    // Reads of each parameter, and the reads inside a default's declaration.
+    const reads = new Map();
     const eligible = everyStmtList(fn.body, {
         stmt: (stmt) => {
             if (++size > MAX_FUNCTION_NODES)
                 return false;
             if (stmt.kind === "assign")
-                return numericWrite(stmt.localId, stmt.value);
+                return armWrite(stmt.localId, stmt.value);
             if (stmt.kind === "varDecl" || stmt.kind === "forOf")
                 return !selected.has(stmt.localId);
             return true;
@@ -43,8 +58,10 @@ function parameters(fn, unions) {
         expr: (expr) => {
             if (++size > MAX_FUNCTION_NODES)
                 return false;
+            if (expr.kind === "varRef" && selected.has(expr.localId))
+                reads.set(expr.localId, (reads.get(expr.localId) ?? 0) + 1);
             if (expr.kind === "assignExpr")
-                return numericWrite(expr.localId, expr.value);
+                return armWrite(expr.localId, expr.value);
             if (expr.kind === "incDec")
                 return !selected.has(expr.localId);
             if (expr.kind === "closure" || expr.kind === "classRef")
@@ -52,7 +69,38 @@ function parameters(fn, unions) {
             return true;
         },
     });
-    return eligible ? result : [];
+    if (!eligible)
+        return [];
+    // A default the lowering writes as the body's leading declarations:
+    // `x = isUndefined(param) ? <constant> : narrow(param)`. When those are the
+    // parameter's only two reads, passing the constant is the same as passing
+    // undefined.
+    for (const stmt of fn.body) {
+        if (stmt.kind !== "varDecl")
+            break;
+        const init = stmt.init;
+        if (init?.kind !== "ternary")
+            break;
+        const { cond, then, else_ } = init;
+        if (cond.kind !== "unionIsTag" || cond.negated || cond.value.kind !== "varRef")
+            break;
+        const param = selected.get(cond.value.localId);
+        if (!param ||
+            cond.unionId !== param.unionId ||
+            cond.tag !== param.undefinedTag ||
+            else_.kind !== "unionNarrow" ||
+            else_.tag !== param.tag ||
+            else_.value.kind !== "varRef" ||
+            else_.value.localId !== param.localId ||
+            reads.get(param.localId) !== 2 ||
+            !constantOf(then, param.arm))
+            break;
+        param.fallback = then;
+    }
+    return result;
+}
+function constantOf(expr, arm) {
+    return arm.kind === "f64" ? expr.kind === "numLit" : expr.kind === "boolLit";
 }
 function specializeBody(fn, slots) {
     const selected = new Map(slots.map((param) => [param.localId, param]));
@@ -75,7 +123,7 @@ function specializeBody(fn, slots) {
                             loc: expr.loc,
                         };
                     if (expr.tag === param.tag)
-                        return { ...expr.value, type: F64 };
+                        return { ...expr.value, type: param.arm };
                 }
             }
             if (expr.kind === "varRef") {
@@ -85,7 +133,7 @@ function specializeBody(fn, slots) {
                         kind: "unionWrap",
                         unionId: param.unionId,
                         tag: param.tag,
-                        value: { ...expr, type: F64 },
+                        value: { ...expr, type: param.arm },
                         type: expr.type,
                         loc: expr.loc,
                     };
@@ -97,7 +145,7 @@ function specializeBody(fn, slots) {
                         kind: "unionWrap",
                         unionId: param.unionId,
                         tag: param.tag,
-                        value: { ...expr, value: expr.value.value, type: F64 },
+                        value: { ...expr, value: expr.value.value, type: param.arm },
                         type: expr.type,
                         loc: expr.loc,
                     };
@@ -106,12 +154,47 @@ function specializeBody(fn, slots) {
         },
     });
 }
-/** Direct calls that already carry known numbers need no optional-parameter
- * boxes. Keep the ordinary function and its ABI for holes, undefined,
- * closures, exports and virtual dispatch. One bounded native variant per
- * function preserves the body, argument order and return representation;
- * mixed or unknown incoming values retain the original call. The backend
- * supplies its symbol spelling to avoid collisions after name mangling. */
+/** An argument the variant takes in place of a parameter's box: the
+ * wrapped number or boolean, the default's constant for an undefined, or a
+ * conditional choosing between two such arguments. */
+function nativeArgument(arg, param) {
+    if (arg?.kind === "ternary") {
+        const then = nativeArgument(arg.then, param);
+        const else_ = then && nativeArgument(arg.else_, param);
+        return else_ ? { ...arg, then: then, else_, type: param.arm } : null;
+    }
+    if (arg?.kind !== "unionWrap" || arg.unionId !== param.unionId)
+        return null;
+    if (arg.tag === param.tag && arg.value.type.kind === param.arm.kind)
+        return arg.value;
+    const fallback = param.fallback;
+    if (arg.tag === param.undefinedTag && arg.value.kind === "unitLit" && fallback !== null)
+        return { ...fallback, loc: arg.loc };
+    return null;
+}
+function countNodes(body) {
+    let size = 0;
+    everyStmtList(body, {
+        stmt: () => {
+            size++;
+            return true;
+        },
+        expr: () => {
+            size++;
+            return true;
+        },
+    });
+    return size;
+}
+/** Direct calls that already carry known numbers or booleans, or that pass
+ * undefined to a parameter with a constant default, need no
+ * optional-parameter boxes. Keep the ordinary function and its ABI for
+ * other values, closures, exports and virtual dispatch. One native variant
+ * per function preserves the body, argument order and return
+ * representation; mixed or unknown incoming values retain the original
+ * call. An ordinary function no reference reaches after the rewrite is
+ * dropped. The variants share a node budget. The backend supplies its
+ * symbol spelling to avoid collisions after name mangling. */
 export function specializeNumericCalls(mod, symbolName = (name) => name) {
     const unions = new Map(mod.unions?.map((union) => [union.id, union]));
     const candidates = new Map();
@@ -122,6 +205,10 @@ export function specializeNumericCalls(mod, symbolName = (name) => name) {
     }
     if (!candidates.size)
         return mod;
+    let moduleNodes = 0;
+    for (const fn of mod.functions)
+        moduleNodes += countNodes(fn.body);
+    let budget = Math.max(MIN_SPECIALIZATION_BUDGET, moduleNodes / 10);
     const names = new Set(mod.functions.map((fn) => symbolName(fn.name)));
     const variants = new Map();
     const pending = [];
@@ -131,13 +218,7 @@ export function specializeNumericCalls(mod, symbolName = (name) => name) {
         const candidate = candidates.get(expr.callee);
         if (!candidate || candidate.fn.name === mod.entry)
             return undefined;
-        return candidate.slots.every((param) => {
-            const arg = expr.args[param.index];
-            return (arg?.kind === "unionWrap" &&
-                arg.unionId === param.unionId &&
-                arg.tag === param.tag &&
-                arg.value.type.kind === "f64");
-        })
+        return candidate.slots.every((param) => nativeArgument(expr.args[param.index], param) !== null)
             ? candidate
             : undefined;
     }
@@ -151,29 +232,41 @@ export function specializeNumericCalls(mod, symbolName = (name) => name) {
         const { fn, slots } = candidate;
         let variant = variants.get(fn.name);
         if (!variant) {
-            if (variants.size >= MAX_SPECIALIZATIONS)
+            const body = specializeBody(fn, slots);
+            const size = countNodes(body);
+            if (size > budget)
                 return node;
+            budget -= size;
             let name = `${fn.name}.nativeNumber`;
             while (names.has(symbolName(name)))
                 name += "_";
             names.add(symbolName(name));
-            const ids = new Set(slots.map((param) => param.localId));
+            const types = new Map(slots.map((param) => [param.localId, param.arm]));
             const { ownsPrototype: _ownsPrototype, ...implementation } = fn;
             variant = {
                 ...implementation,
                 name,
-                params: fn.params.map((param) => ids.has(param.localId) ? { ...param, type: F64 } : param),
-                locals: fn.locals.map((local) => (ids.has(local.id) ? { ...local, type: F64 } : local)),
-                body: specializeBody(fn, slots),
+                params: fn.params.map((param) => {
+                    const type = types.get(param.localId);
+                    return type ? { ...param, type } : param;
+                }),
+                locals: fn.locals.map((local) => {
+                    const type = types.get(local.id);
+                    return type ? { ...local, type } : local;
+                }),
+                body,
             };
             variants.set(fn.name, variant);
             pending.push(variant);
         }
-        const indices = new Set(slots.map((param) => param.index));
+        const byIndex = new Map(slots.map((param) => [param.index, param]));
         return {
             ...node,
             callee: variant.name,
-            args: node.args.map((arg, index) => indices.has(index) && arg.kind === "unionWrap" ? arg.value : arg),
+            args: node.args.map((arg, index) => {
+                const param = byIndex.get(index);
+                return param ? nativeArgument(arg, param) : arg;
+            }),
         };
     }
     function rewriteStmt(stmt) {
@@ -193,6 +286,43 @@ export function specializeNumericCalls(mod, symbolName = (name) => name) {
         const fn = pending[i];
         functions.push(rewriteFunction(fn));
     }
-    return variants.size ? { ...mod, functions } : mod;
+    if (!variants.size)
+        return mod;
+    const unreferenced = unreferencedOriginals(mod, functions, variants);
+    return {
+        ...mod,
+        functions: unreferenced.size ? functions.filter((fn) => !unreferenced.has(fn.name)) : functions,
+    };
+}
+/** The ordinary functions of `variants` that nothing reaches any more: no
+ * call or function reference from another function, no module metadata
+ * names them, and they are not class members (which dispatch reaches by
+ * their `%<class>.<member>` names). A function's prototype is observable
+ * only through the function as a value, which is a reference. */
+function unreferencedOriginals(mod, functions, variants) {
+    const result = new Set();
+    const members = (mod.classes ?? []).map((cls) => `%${cls.name}.`);
+    for (const name of variants.keys())
+        if (!members.some((prefix) => name.startsWith(prefix)))
+            result.add(name);
+    for (const name of moduleFunctionReferences(mod))
+        result.delete(name);
+    if (!result.size)
+        return result;
+    for (const fn of functions)
+        everyStmtList(fn.body, {
+            stmt: () => true,
+            expr: (expr) => {
+                const name = expr.kind === "call"
+                    ? expr.callee
+                    : expr.kind === "new"
+                        ? `%${expr.className}.constructor`
+                        : exprFunctionReference(expr);
+                if (name !== undefined && name !== fn.name)
+                    result.delete(name);
+                return true;
+            },
+        });
+    return result;
 }
 //# sourceMappingURL=numeric-call-specialization.js.map