@scriptc/compiler 0.4.2 → 0.4.4

package/dist/ir/parameter-versions.js

@@ -0,0 +1,300 @@
+import { analyzeInt32Slots } from "./int32-slots.js";
+import { BOOL, F64 } from "./ir.js";
+import { reparseStmt } from "./serialize.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "./traverse.js";
+const MAX_FUNCTION_NODES = 2048;
+const MAX_VERSIONS = 16;
+function size(fn) {
+    let nodes = 0;
+    everyStmtList(fn.body, {
+        stmt: () => ++nodes <= MAX_FUNCTION_NODES,
+        expr: () => ++nodes <= MAX_FUNCTION_NODES,
+    });
+    return nodes;
+}
+/** The function a direct call or construction runs, if any. */
+function callee(e) {
+    if (e.kind === "call")
+        return e.callee;
+    if (e.kind === "new")
+        return `%${e.className}.constructor`;
+    return null;
+}
+/** Direct call and construction sites of each function in the module. */
+function callSites(mod) {
+    const sites = new Map();
+    for (const fn of mod.functions)
+        everyStmtList(fn.body, {
+            stmt: () => true,
+            expr: (e) => {
+                const name = callee(e);
+                if (name !== null)
+                    sites.set(name, (sites.get(name) ?? 0) + 1);
+                return true;
+            },
+        });
+    return sites;
+}
+/** Expressions and statements of a callee that LLVM inlines at any number
+ * of call sites: scalar arithmetic and reads, no calls or allocations. */
+const SIMPLE_EXPRESSIONS = new Set([
+    "varRef",
+    "numLit",
+    "boolLit",
+    "bin",
+    "unary",
+    "logical",
+    "ternary",
+    "toBool",
+    "incDec",
+    "assignExpr",
+    "arrayGet",
+    "fieldGet",
+    "recordGet",
+    "unionNarrow",
+    "unionIsTag",
+]);
+const SIMPLE_STATEMENTS = new Set([
+    "varDecl",
+    "assign",
+    "exprStmt",
+    "if",
+    "block",
+    "return",
+]);
+function simple(fn) {
+    return ((fn.returnType.kind === "f64" || fn.returnType.kind === "bool") &&
+        everyStmtList(fn.body, {
+            stmt: (s) => SIMPLE_STATEMENTS.has(s.kind),
+            expr: (e) => SIMPLE_EXPRESSIONS.has(e.kind),
+        }));
+}
+/** Whether a copy of `fn` would cost a callee its only call site. LLVM
+ * inlines a function called once wherever its size allows; with a second
+ * site, both calls can stay out of line, with the records and arguments
+ * they pass built in memory. A callee that only computes a number or a
+ * boolean from scalar reads inlines either way. A function calling itself
+ * would also dispatch on every call. */
+function keepsSingleBody(fn, sites, functions) {
+    return !everyStmtList(fn.body, {
+        stmt: () => true,
+        expr: (e) => {
+            const name = callee(e);
+            if (name === null)
+                return true;
+            if (name === fn.name)
+                return false;
+            if (sites.get(name) !== 1)
+                return true;
+            const target = functions.get(name);
+            return target !== undefined && simple(target);
+        },
+    });
+}
+/** Statements and expressions of a loop whose work is numeric: arithmetic,
+ * element and field reads and writes, `Math` calls and calls of simple
+ * functions. Loops that allocate, build strings or call other code gain
+ * little from an integer bound and would only grow the copy. */
+const NUMERIC_STATEMENTS = new Set([
+    ...SIMPLE_STATEMENTS,
+    "for",
+    "while",
+    "doWhile",
+    "break",
+    "continue",
+    "arraySet",
+    "fieldSet",
+]);
+const NUMERIC_EXPRESSIONS = new Set([...SIMPLE_EXPRESSIONS, "arrayHas", "arrayState"]);
+function numericLoop(loop, functions) {
+    const expr = (e) => {
+        let allowed = NUMERIC_EXPRESSIONS.has(e.kind);
+        if (e.kind === "call") {
+            const target = functions.get(e.callee);
+            allowed = target !== undefined && simple(target);
+        }
+        else if (e.kind === "libCall")
+            allowed = e.fn.startsWith("math.");
+        else if (e.kind === "arrIntrinsic")
+            allowed = e.method === "length";
+        return allowed && everyExprChild(e, expr, stmt);
+    };
+    const stmt = (s) => NUMERIC_STATEMENTS.has(s.kind) && everyStmtChild(s, expr, stmt);
+    return stmt(loop);
+}
+/** Number parameters of `fn` that bound one of its numeric loops: read in
+ * the loop's condition or in its `for` initializer. */
+function loopBounds(fn, functions) {
+    const params = new Set(fn.params.filter((param) => param.type.kind === "f64").map((param) => param.localId));
+    const result = new Set();
+    if (params.size === 0)
+        return result;
+    const reads = (e) => {
+        if (e.kind === "varRef" && params.has(e.localId))
+            result.add(e.localId);
+        return everyExprChild(e, reads, readsStmt);
+    };
+    const readsStmt = (s) => everyStmtChild(s, reads, readsStmt);
+    everyStmtList(fn.body, {
+        stmt: (s) => {
+            if (s.kind !== "for" && s.kind !== "while" && s.kind !== "doWhile")
+                return true;
+            if (!numericLoop(s, functions))
+                return true;
+            if (s.cond)
+                reads(s.cond);
+            if (s.kind === "for" && s.init)
+                readsStmt(s.init);
+            return true;
+        },
+        expr: () => true,
+    });
+    return result;
+}
+/** Versions of functions whose number parameters bound their loops.
+ *
+ * A parameter that every call site proves an int32 already reaches the
+ * function's i32 entry (int32-abi.ts). One that some caller passes as an
+ * unproven number (a value read from a message, a field, a parse) keeps
+ * its double, so the loops it bounds compare a counter with a double and
+ * the values derived from it stay doubles.
+ *
+ * A parameter qualifies when it bounds a numeric loop (`numericLoop`).
+ * Such a function gets a copy of its body under a new name, and its own
+ * body starts by calling the copy when every such parameter holds an
+ * int32: `(p | 0) === p` (an integer in the int32 range, not NaN) and not
+ * -0 (`1 / p` is not -Infinity). The copy then receives `p | 0`, which is
+ * the same double, so it computes what the body would; its only caller
+ * proves the parameter an int32, so it gets the i32 entry. Other values
+ * run the body as before.
+ *
+ * Only plain synchronous functions qualify: not class members, no
+ * captures, not the module entry, not dynamic-tier, at most
+ * MAX_FUNCTION_NODES nodes, not calling themselves, and not holding the
+ * only call site of another function (`keepsSingleBody`). The caller
+ * skips modules that observe call stacks, where the copy's frame could be
+ * seen. */
+export function versionLoopBoundParameters(mod, symbolName = (name) => name) {
+    const candidates = [];
+    const sites = callSites(mod);
+    const functions = new Map(mod.functions.map((fn) => [fn.name, fn]));
+    const members = new Set((mod.classes ?? []).flatMap((cls) => cls.methods ?? []));
+    for (const fn of mod.functions) {
+        if (
+        // Constructors, methods and accessors (`%C.m`) and generated helper
+        // families (`%arr.map_…`) keep their single body.
+        fn.name.includes(".") ||
+            members.has(fn.name) ||
+            fn.async ||
+            fn.generator ||
+            fn.captures !== undefined ||
+            fn.classCaptures?.length ||
+            fn.tier === "dynamic" ||
+            fn.name === mod.entry)
+            continue;
+        const params = loopBounds(fn, functions);
+        const locals = new Map(fn.locals.map((local) => [local.id, local]));
+        for (const id of params) {
+            const local = locals.get(id);
+            if (!local || local.boxed || local.tdz)
+                params.delete(id);
+        }
+        if (params.size === 0 || size(fn) > MAX_FUNCTION_NODES || keepsSingleBody(fn, sites, functions))
+            continue;
+        candidates.push({ fn, params });
+    }
+    if (candidates.length === 0)
+        return mod;
+    const slots = analyzeInt32Slots(mod);
+    const names = new Set(mod.functions.map((fn) => symbolName(fn.name)));
+    const replaced = new Map();
+    const added = [];
+    for (const { fn, params } of candidates) {
+        if (added.length >= MAX_VERSIONS)
+            break;
+        const unproven = fn.params.filter((param) => params.has(param.localId) && !slots.hasParam(fn.name, param.localId));
+        if (unproven.length === 0)
+            continue;
+        let name = `${fn.name}.int32Params`;
+        while (names.has(symbolName(name)))
+            name += "_";
+        names.add(symbolName(name));
+        const { ownsPrototype: _ownsPrototype, ...implementation } = fn;
+        added.push({ ...implementation, name, body: fn.body.map(reparseStmt) });
+        const loc = fn.body[0]?.loc ?? { file: mod.sourceFile, start: 0, end: 0 };
+        const read = (localId) => ({ kind: "varRef", localId, type: F64, loc });
+        const int32 = (localId) => ({
+            kind: "bin",
+            op: "|",
+            left: read(localId),
+            right: { kind: "numLit", value: 0, type: F64, loc },
+            type: F64,
+            loc,
+        });
+        let test = null;
+        for (const param of unproven) {
+            const exact = {
+                kind: "bin",
+                op: "===",
+                left: int32(param.localId),
+                right: read(param.localId),
+                type: BOOL,
+                loc,
+            };
+            const notNegativeZero = {
+                kind: "bin",
+                op: "!==",
+                left: {
+                    kind: "bin",
+                    op: "/",
+                    left: { kind: "numLit", value: 1, type: F64, loc },
+                    right: read(param.localId),
+                    type: F64,
+                    loc,
+                },
+                right: { kind: "numLit", value: -Infinity, type: F64, loc },
+                type: BOOL,
+                loc,
+            };
+            const both = {
+                kind: "logical",
+                op: "&&",
+                left: exact,
+                right: notNegativeZero,
+                type: BOOL,
+                loc,
+            };
+            test =
+                test === null
+                    ? both
+                    : { kind: "logical", op: "&&", left: test, right: both, type: BOOL, loc };
+        }
+        const versioned = new Set(unproven.map((param) => param.localId));
+        const call = {
+            kind: "call",
+            callee: name,
+            args: fn.params.map((param) => versioned.has(param.localId)
+                ? int32(param.localId)
+                : { kind: "varRef", localId: param.localId, type: param.type, loc }),
+            type: fn.returnType,
+            loc,
+        };
+        const run = fn.returnType.kind === "void"
+            ? [
+                { kind: "exprStmt", expr: call, loc },
+                { kind: "return", value: null, loc },
+            ]
+            : [{ kind: "return", value: call, loc }];
+        replaced.set(fn, {
+            ...fn,
+            body: [{ kind: "if", cond: test, then: run, else_: null, loc }, ...fn.body],
+        });
+    }
+    if (added.length === 0)
+        return mod;
+    return {
+        ...mod,
+        functions: [...mod.functions.map((fn) => replaced.get(fn) ?? fn), ...added],
+    };
+}
+//# sourceMappingURL=parameter-versions.js.map

package/dist/ir/parameter-versions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-versions.js","sourceRoot":"","sources":["../../src/ir/parameter-versions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,GAAG,EAA4D,MAAM,SAAS,CAAC;AAC9F,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9E,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAChC,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,SAAS,IAAI,CAAC,EAAc;IAC1B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,IAAI,kBAAkB;QACzC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,IAAI,kBAAkB;KAC1C,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC;IACvC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC;IAC3D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,GAAa;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;YAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,IAAI,KAAK,IAAI;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC/D,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,OAAO,KAAK,CAAC;AACf,CAAC;AAED;0EAC0E;AAC1E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS;IACzC,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,KAAK;IACL,OAAO;IACP,SAAS;IACT,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,UAAU;IACV,WAAW;IACX,aAAa;IACb,YAAY;CACb,CAAC,CAAC;AACH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAS;IACxC,SAAS;IACT,QAAQ;IACR,UAAU;IACV,IAAI;IACJ,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,SAAS,MAAM,CAAC,EAAc;IAC5B,OAAO,CACL,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC;QAC/D,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1C,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;SAC5C,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;wCAKwC;AACxC,SAAS,eAAe,CACtB,EAAc,EACd,KAAkC,EAClC,SAA0C;IAE1C,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QAC7B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,IAAI,IAAI,KAAK,EAAE,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACnC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;gEAGgE;AAChE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS;IACzC,GAAG,iBAAiB;IACpB,KAAK;IACL,OAAO;IACP,SAAS;IACT,OAAO;IACP,UAAU;IACV,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AACH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,kBAAkB,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;AAE/F,SAAS,WAAW,CAAC,IAAY,EAAE,SAA0C;IAC3E,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACvC,OAAO,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;aAC/D,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,GAAG,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;QACpE,OAAO,OAAO,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAClC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAClE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED;uDACuD;AACvD,SAAS,UAAU,CAAC,EAAc,EAAE,SAA0C;IAC5E,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CACrF,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACxE,OAAO,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC9E,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YAChF,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,IAAI,CAAC,CAAC,IAAI;gBAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI;gBAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;WAsBW;AACX,MAAM,UAAU,0BAA0B,CACxC,GAAa,EACb,UAAU,GAA6B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;IAErD,MAAM,UAAU,GAA8C,EAAE,CAAC;IACjE,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACjF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B;QACE,oEAAoE;QACpE,kDAAkD;QAClD,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YACpB,EAAE,CAAC,KAAK;YACR,EAAE,CAAC,SAAS;YACZ,EAAE,CAAC,QAAQ,KAAK,SAAS;YACzB,EAAE,CAAC,aAAa,EAAE,MAAM;YACxB,EAAE,CAAC,IAAI,KAAK,SAAS;YACrB,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,KAAK;YAErB,SAAS;QACX,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;gBAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,kBAAkB,IAAI,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC;YAC7F,SAAS;QACX,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACxC,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,IAAI,YAAY;YAAE,MAAM;QACxC,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAChF,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,IAAI,GAAG,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC;QACpC,OAAO,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,IAAI,IAAI,GAAG,CAAC;QAChD,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,GAAG,cAAc,EAAE,GAAG,EAAE,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACxF,MAAM,KAAK,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;YAC1C,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;YACnB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAW;gBACpB,IAAI,EAAE,KAAK;gBACX,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC1B,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;YACF,MAAM,eAAe,GAAW;gBAC9B,IAAI,EAAE,KAAK;gBACX,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE;oBACJ,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBAClD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;oBAC1B,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC3D,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;YACF,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,eAAe;gBACtB,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;YACF,IAAI;gBACF,IAAI,KAAK,IAAI;oBACX,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChF,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC1B,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;gBACtB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CACtE;YACD,IAAI,EAAE,EAAE,CAAC,UAAU;YACnB,GAAG;SACJ,CAAC;QACF,MAAM,GAAG,GACP,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;YAC3B,CAAC,CAAC;gBACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC;YACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7C,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE;YACf,GAAG,EAAE;YACL,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC;SAC7E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACnC,OAAO;QACL,GAAG,GAAG;QACN,SAAS,EAAE,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;KAC5E,CAAC;AACJ,CAAC"}

package/dist/ir/runtime-features.d.ts

@@ -1,5 +1,6 @@
 import type { IrClassDef, IrExpr, IrModule, IrRecordShape, IrType, IrUnionDef } from "./ir.js";
 import type { IrLibFn } from "./builtin-signatures.js";
+import { type IrNodeIndex } from "./node-index.js";
 /** The scr_bytes_dyn.c entry, one per method family, that a checked-dynamic
  * call of a Buffer.prototype method name routes to: the fixed-width reads and
  * writes (both "UInt" and "Uint" spellings), write, fill, toString, the
@@ -10,18 +11,23 @@ export declare const DYN_BUFFER_METHODS: ReadonlyMap<string, string>;
  * snapshot: callers may mutate an IR module between compilation passes. */
 /** The checked-dynamic undefined value (dynUndefinedExpr). */
 export declare function isDynUndefined(e: IrExpr): boolean;
-export declare function moduleRuntimeFeatures(mod: IrModule): RuntimeFeatures;
+/** With `nodes` (the module's node index), the scan reads the recorded
+ * expressions and types instead of walking the module. */
+export declare function moduleRuntimeFeatures(mod: IrModule, nodes?: IrNodeIndex): RuntimeFeatures;
 /** The module's record shapes, unions and class layouts by id. */
 interface TypeTables {
     records: Map<string, IrRecordShape>;
     unions: Map<string, IrUnionDef>;
     classes: Map<string, IrClassDef>;
     /** mentionsDgramSocket's carriers, computed on first use. */
-    dgramCarriers?: DgramCarriers;
+    dgramCarriers?: TypeCarriers;
+    /** mentionsTextCodec's and mentionsTextDecoder's carriers. */
+    textCodecCarriers?: TypeCarriers;
+    textDecoderCarriers?: TypeCarriers;
 }
-/** The record shapes, unions and classes whose values carry a dgram socket
- * (directly or through other members), computed once per module. */
-interface DgramCarriers {
+/** The record shapes, unions and classes whose values carry a leaf type
+ * (directly or through other members), computed once per module and leaf. */
+interface TypeCarriers {
     records: Set<string>;
     unions: Set<string>;
     anyClass: boolean;
@@ -30,26 +36,32 @@ interface DgramCarriers {
 type LibCallNode = IrExpr & {
     kind: "libCall";
 };
+/** A condition over several nodes of the module (a WebCrypto call and an
+ * algorithm name): the scan's one walk shows it every expression, and the
+ * feature is set when `result` answers true after the walk. */
+interface RuleScan {
+    expr(node: IrExpr): void;
+    result(): boolean;
+}
 /** What makes a program need one optional runtime unit. The feature is set
  * when any condition holds: `initial` from the module's declarations, a
  * libCall named in `fns` or starting with one of `prefixes`, a libCall
- * `libCall` accepts, another expression node `expr` accepts, or a type
- * slot of one of the `types` kinds. A libCall or type that needs several
- * units appears in each unit's rule. */
+ * `libCall` accepts, another expression node `expr` accepts, a type slot of
+ * one of the `types` kinds, or a `scan` over the whole module. A libCall or
+ * type that needs several units appears in each unit's rule. */
 interface RuntimeFeatureRule {
     initial?: (mod: IrModule) => boolean;
+    scan?: () => RuleScan;
     fns?: readonly IrLibFn[];
     prefixes?: readonly string[];
     libCall?: (node: LibCallNode) => boolean;
     expr?: (node: IrExpr, tables: () => TypeTables) => boolean;
     types?: readonly IrType["kind"][];
 }
+/** The scr_dh.c entry points (the dh unit). */
+export declare const DH_LIB_FNS: ReadonlySet<IrLibFn>;
 /** The scr_pki.c entry points (the pki unit). */
 export declare const PKI_LIB_FNS: ReadonlySet<IrLibFn>;
-/** Whether a string literal in the module names Ed25519, without regard
- * to case ("ed25519" for node:crypto, "Ed25519" for WebCrypto): the
- * Ed25519 unit links then, alongside the pki unit. */
-export declare function moduleNamesEd25519(mod: IrModule): boolean;
 /** Whether the module calls WebCrypto and a string literal in it names one
  * of the asymmetric algorithms (matched without regard to case, as
  * normalizeAlgorithm matches names): scr_webcrypto_pki.c and the pki unit
@@ -84,6 +96,10 @@ declare const RUNTIME_FEATURE_RULES: {
      * a boxed function or record that carries one): scr_dgram_dyn.c over
      * the dgram unit. */
     dgramDyn: RuntimeFeatureRule;
+    /** A TextEncoder or TextDecoder record converts to or from an untyped
+     * value (its handle box, or a boxed function, record or collection that
+     * carries one): scr_text_codec_dyn.c. */
+    textCodecDyn: RuntimeFeatureRule;
     /** node:dns/promises: scr_dns_promises.c over the dgram unit. */
     dnsPromises: RuntimeFeatureRule;
     dynAsync: RuntimeFeatureRule;
@@ -105,6 +121,10 @@ declare const RUNTIME_FEATURE_RULES: {
     streamDyn: RuntimeFeatureRule;
     /** Own properties JavaScript adds to children (scr_dyn_handle_props.c). */
     handleProps: RuntimeFeatureRule;
+    /** The declaration-typed boundary's adoption (scr_decl_adopt.c): its
+     * casts, and closures boxed in a boundary program, which adopt their
+     * arguments. */
+    declAdopt: RuntimeFeatureRule;
     /** for await over checked-dynamic values (scr_dyn_for_await.c). */
     dynForAwait: RuntimeFeatureRule;
     /** Buffer.prototype methods called on checked-dynamic values
@@ -118,7 +138,8 @@ declare const RUNTIME_FEATURE_RULES: {
      * process-warning unit, and unknown encodings and formats render through
      * the inspect unit. */
     ecdh: RuntimeFeatureRule;
-    /** scr_dh.c over the mbedTLS archive; unknown encodings render through
+    /** scr_dh.c over the mbedTLS archive, also for checkPrime and
+     * generatePrime; unknown encodings and argument values render through
      * the inspect unit. */
     dh: RuntimeFeatureRule;
     emitter: RuntimeFeatureRule;