@scriptc/compiler 0.2.10 → 0.3.1

package/dist/ir/function-references.d.ts

@@ -0,0 +1,12 @@
+import type { IrExpr, IrModule } from "./ir.js";
+/** The function an expression names as a value rather than as a direct
+ * call's callee: a closure's code, or the union→union retag helper an
+ * `orDefault` hands its left box to. These are the only expression fields
+ * that hold a module function's name besides `call.callee`
+ * (function-references.test.ts classifies every string field of the IR). */
+export declare function exprFunctionReference(expr: IrExpr): string | undefined;
+/** Functions the module's metadata names: the entry, library exports and
+ * the class prototype helpers the runtime calls. Class methods and
+ * constructors follow the `%<class>.<method>` convention instead of being
+ * named here; callers that need them derive them from `mod.classes`. */
+export declare function moduleFunctionReferences(mod: IrModule): string[];

package/dist/ir/function-references.js

@@ -0,0 +1,29 @@
+/** The function an expression names as a value rather than as a direct
+ * call's callee: a closure's code, or the union→union retag helper an
+ * `orDefault` hands its left box to. These are the only expression fields
+ * that hold a module function's name besides `call.callee`
+ * (function-references.test.ts classifies every string field of the IR). */
+export function exprFunctionReference(expr) {
+    if (expr.kind === "closure")
+        return expr.fnName;
+    if (expr.kind === "orDefault")
+        return expr.retag;
+    return undefined;
+}
+/** Functions the module's metadata names: the entry, library exports and
+ * the class prototype helpers the runtime calls. Class methods and
+ * constructors follow the `%<class>.<method>` convention instead of being
+ * named here; callers that need them derive them from `mod.classes`. */
+export function moduleFunctionReferences(mod) {
+    const names = [mod.entry];
+    for (const entry of mod.lib?.exports ?? [])
+        names.push(entry.fnName);
+    for (const cls of mod.classes ?? []) {
+        if (cls.prototypeDataHelper !== undefined)
+            names.push(cls.prototypeDataHelper);
+        if (cls.instancePrototypeHelper !== undefined)
+            names.push(cls.instancePrototypeHelper);
+    }
+    return names;
+}
+//# sourceMappingURL=function-references.js.map

package/dist/ir/function-references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-references.js","sourceRoot":"","sources":["../../src/ir/function-references.ts"],"names":[],"mappings":"AAEA;;;;4EAI4E;AAC5E,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;wEAGwE;AACxE,MAAM,UAAU,wBAAwB,CAAC,GAAa;IACpD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,GAAG,EAAE,OAAO,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAC/E,IAAI,GAAG,CAAC,uBAAuB,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/ir/function-references.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/ir/function-references.test.js

@@ -0,0 +1,276 @@
+import { expect, test } from "vitest";
+import { exprFunctionReference, moduleFunctionReferences } from "./function-references.js";
+import { functionCallFacts } from "./int32-slots.js";
+import { F64, VOID, } from "./ir.js";
+import { everyStmtList } from "./traverse.js";
+const EXPR_FIELDS = {
+    numLit: { spelling: "other" },
+    strLit: { value: "other" },
+    moduleNsRef: { moduleId: "other" },
+    varRef: { localId: "other" },
+    incDec: { localId: "other" },
+    fieldIncDec: { className: "other", field: "other" },
+    assignExpr: { localId: "other" },
+    orDefault: { retag: "reference" },
+    optChain: { id: "other" },
+    chainRecv: { id: "other" },
+    regexLit: { pattern: "other", flags: "other" },
+    templateStrings: { key: "other", "cooked[]": "other" },
+    call: { callee: "callee" },
+    ffiCall: { import: "other" },
+    closure: { fnName: "reference", "captures[]": "other" },
+    new: { className: "other" },
+    classRef: { className: "other", "captures[]": "other" },
+    instanceOf: { className: "other" },
+    virtualCall: { className: "other", method: "method" },
+    fieldGet: { className: "other", field: "other" },
+    recordLit: { "fields[].name": "other" },
+    recordClone: { "overrides[].name": "other" },
+    recordGet: { shapeId: "other", field: "other" },
+    recordKeyGet: { shapeId: "other" },
+    dynFrom: { fnName: "other" },
+    dynCall: { calleeName: "other", "spreads[].what": "other" },
+    dynInvoke: { method: "other", calleeName: "other" },
+    dynHasKey: { key: "other" },
+    dynDestrCheck: { spelling: "other", firstProp: "other" },
+    dynIterN: { notIterableMessage: "other" },
+    recordOvfKeys: { shapeId: "other" },
+    recordOvfHas: { shapeId: "other" },
+    recordHas: { shapeId: "other", field: "other" },
+    fieldAbsent: { unionId: "other" },
+    unionWrap: { unionId: "other" },
+    unionRetype: { unionId: "other", fromId: "other" },
+    unionFuncEq: { unionId: "other" },
+    caughtTest: { className: "other" },
+    caughtCheck: { className: "other" },
+    unionNarrow: { unionId: "other" },
+    unionDisc: { unionId: "other", field: "other" },
+    unionKeyGet: { unionId: "other" },
+    unionIsTag: { unionId: "other" },
+    unionEq: { unionId: "other" },
+    jsonStringify: { indent: "other" },
+};
+const STMT_FIELDS = {
+    varDecl: { localId: "other" },
+    assign: { localId: "other" },
+    while: { "labels[]": "other" },
+    doWhile: { "labels[]": "other" },
+    switch: { "labels[]": "other" },
+    for: { "labels[]": "other" },
+    forOf: { localId: "other", "labels[]": "other" },
+    fieldSet: { className: "other", field: "other" },
+    recordSet: { shapeId: "other", field: "other" },
+    recordKeySet: { shapeId: "other" },
+    recordKeyDelete: { shapeId: "other" },
+    break: { label: "other" },
+    continue: { label: "other" },
+    block: { "labels[]": "other" },
+    runtimeFence: { code: "other", message: "other" },
+    rethrow: { localId: "other" },
+    tryCatch: { catchLocalId: "other" },
+};
+const TYPE_FIELDS = {
+    object: { className: "other" },
+    record: { shapeId: "other" },
+    classval: { className: "other" },
+    moduleNs: { moduleId: "other" },
+    union: { unionId: "other" },
+};
+const FUNCTION_FIELDS = {
+    name: "other",
+    sourceName: "other",
+    asyncCacheGlobal: "other",
+    asyncCycleCacheGlobal: "other",
+    "params[].name": "other",
+    "params[].localId": "other",
+    "locals[].name": "other",
+    "locals[].id": "other",
+    "captures[].name": "other",
+    "captures[].localId": "other",
+    "classCaptures[].name": "other",
+    "classCaptures[].localId": "other",
+};
+const MODULE_FIELDS = {
+    sourceFile: "other",
+    entry: "reference",
+    "classes[].name": "other",
+    "classes[].base": "other",
+    "classes[].jsName": "other",
+    "classes[].genericOf": "other",
+    "classes[].baseValueGlobal": "other",
+    "classes[].prototypeDataHelper": "reference",
+    "classes[].instancePrototypeHelper": "reference",
+    "classes[].localCaptures[].name": "other",
+    "classes[].localCaptures[].localId": "other",
+    "classes[].symbolFields[].field": "other",
+    "classes[].symbolFields[].globalId": "other",
+    "classes[].fields[].name": "other",
+    "classes[].methods[]": "method",
+    "classes[].abstractMethods[]": "method",
+    "globals[].id": "other",
+    "globals[].name": "other",
+    "globals[].initFlag": "other",
+    "records[].id": "other",
+    "records[].fields[].name": "other",
+    "records[].declaredOrder[]": "other",
+    "unions[].id": "other",
+    "unions[].discriminant.field": "other",
+    "unions[].discriminant.cases[].values[]": "other",
+    "ffiImports[].name": "other",
+    "ffiImports[].symbol": "other",
+    "ffiImports[].library": "other",
+    "ffiImports[].callbackTarget": "other",
+    "ffiImports[].params[].context": "other",
+    "ffiImports[].params[].callback.id": "other",
+    "ffiImports[].params[].callback.release": "other",
+    "ffiImports[].params[].callback.params[].context": "other",
+    "lib.profileName": "other",
+    "lib.prefix": "other",
+    "lib.initSymbol": "other",
+    "lib.sinkRegisterSymbol": "other",
+    "lib.collectSymbol": "other",
+    "lib.resultResetSymbol": "other",
+    "lib.callbackRegisterSymbol": "other",
+    "lib.callbacks[].name": "other",
+    "lib.callbacks[].unregisteredTrap": "other",
+    "lib.exports[].symbol": "other",
+    "lib.exports[].fnName": "reference",
+    "lib.exports[].inboundBytesTrap": "other",
+    "lib.exports[].inboundIntTrap": "other",
+    "lib.trapOverlays[].code": "other",
+    "lib.trapOverlays[].teaching": "other",
+    "lib.trapOverlays[].remediation": "other",
+    "lib.identity.buildIdSymbol": "other",
+    "lib.identity.abiVersionSymbol": "other",
+    "lib.identity.buildId": "other",
+    "contracts.int32Fields[]": "other",
+    "contracts.int32Params[]": "other",
+    "contracts.int32Returns[]": "fact",
+    "contracts.int32Locals[]": "other",
+    "contracts.noThrow[]": "fact",
+    "contracts.acyclic[]": "other",
+    "contracts.immortalGlobals[]": "other",
+    "contracts.programLifetime[]": "other",
+};
+const loc = { file: "references.ts", start: 0, end: 0 };
+const TARGET = "%m0.target";
+const target = {
+    name: TARGET,
+    params: [{ localId: "n", name: "n", type: F64 }],
+    locals: [{ id: "n", name: "n", type: F64, mutable: true }],
+    returnType: VOID,
+    body: [],
+    loc,
+};
+const entry = (body = []) => ({
+    name: "%main",
+    params: [],
+    locals: [],
+    returnType: VOID,
+    body,
+    loc,
+});
+const module = (body = []) => ({
+    irVersion: 16,
+    sourceFile: loc.file,
+    entry: "%main",
+    functions: [target, entry(body)],
+});
+const exprStmt = (expr) => ({ kind: "exprStmt", expr, loc });
+/** A module whose only mention of TARGET, other than its definition, is
+ * through the given reference field. */
+const REFERENCE_FIXTURES = {
+    "closure.fnName": () => module([
+        exprStmt({
+            kind: "closure",
+            fnName: TARGET,
+            captures: [],
+            type: { kind: "func", params: [F64], ret: VOID },
+            loc,
+        }),
+    ]),
+    "orDefault.retag": () => module([
+        exprStmt({
+            kind: "orDefault",
+            left: { kind: "numLit", value: 0, type: F64, loc },
+            right: { kind: "numLit", value: 1, type: F64, loc },
+            retag: TARGET,
+            type: F64,
+            loc,
+        }),
+    ]),
+    entry: () => ({ ...module(), entry: TARGET }),
+    "classes[].prototypeDataHelper": () => ({
+        ...module(),
+        classes: [{ name: "%m0.Cell", fields: [], prototypeDataHelper: TARGET, loc }],
+    }),
+    "classes[].instancePrototypeHelper": () => ({
+        ...module(),
+        classes: [{ name: "%m0.Cell", fields: [], instancePrototypeHelper: TARGET, loc }],
+    }),
+    "lib.exports[].fnName": () => ({
+        ...module(),
+        lib: {
+            profileName: "references",
+            prefix: "ref_",
+            initSymbol: "ref_init",
+            sinkRegisterSymbol: "ref_sink",
+            collectSymbol: null,
+            resultResetSymbol: null,
+            threadInstances: false,
+            exports: [{ symbol: "ref_target", fnName: TARGET, params: ["f64"], returns: "void" }],
+            trapOverlays: [],
+        },
+    }),
+};
+function referencesOf(mod) {
+    const names = new Set(moduleFunctionReferences(mod));
+    for (const fn of mod.functions)
+        everyStmtList(fn.body, {
+            expr: (expr) => {
+                const name = exprFunctionReference(expr);
+                if (name !== undefined)
+                    names.add(name);
+                return true;
+            },
+            stmt: () => true,
+        });
+    return names;
+}
+const referencePaths = (table, prefix) => Object.entries(table).flatMap(([key, value]) => typeof value === "string"
+    ? value === "reference"
+        ? [prefix + key]
+        : []
+    : referencePaths(value, `${key}.`));
+test("every IR field that can name a function has a reference fixture", () => {
+    const references = [
+        ...referencePaths(EXPR_FIELDS, ""),
+        ...referencePaths(STMT_FIELDS, ""),
+        ...referencePaths(TYPE_FIELDS, ""),
+        ...referencePaths(FUNCTION_FIELDS, "functions[]."),
+        ...referencePaths(MODULE_FIELDS, ""),
+    ];
+    expect(references.sort()).toEqual(Object.keys(REFERENCE_FIXTURES).sort());
+});
+test.each(Object.keys(REFERENCE_FIXTURES))("%s escapes its function", (path) => {
+    const mod = REFERENCE_FIXTURES[path]();
+    expect(referencesOf(mod).has(TARGET)).toBe(true);
+    const facts = functionCallFacts(mod, new Map(), (name) => [name]);
+    expect(facts.valueEscaped.has(TARGET)).toBe(true);
+});
+test("direct calls and look-alike strings do not escape a function", () => {
+    const mod = module([
+        exprStmt({ kind: "call", callee: TARGET, args: [], type: VOID, loc }),
+        exprStmt({ kind: "strLit", value: TARGET, type: { kind: "string" }, loc }),
+        exprStmt({
+            kind: "dynFrom",
+            value: { kind: "numLit", value: 0, type: F64, loc },
+            fnName: TARGET,
+            type: { kind: "dyn" },
+            loc,
+        }),
+    ]);
+    expect(referencesOf(mod).has(TARGET)).toBe(false);
+    expect(functionCallFacts(mod, new Map(), (name) => [name]).valueEscaped.has(TARGET)).toBe(false);
+});
+//# sourceMappingURL=function-references.test.js.map

package/dist/ir/function-references.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-references.test.js","sourceRoot":"","sources":["../../src/ir/function-references.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,GAAG,EACH,IAAI,GAOL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AA0C9C,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC1B,WAAW,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IACnD,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,SAAS,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;IACjC,QAAQ,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IACzB,SAAS,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IAC1B,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC9C,eAAe,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACtD,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC1B,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,GAAG,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC3B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;IACrD,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE;IACvC,WAAW,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IAC5C,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE;IAC3D,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACnD,SAAS,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE;IAC3B,aAAa,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE;IACxD,QAAQ,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IACzC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACnC,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC/B,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;IAClD,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IACnC,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,aAAa,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;CACnC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAChC,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC/B,GAAG,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IAChD,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,eAAe,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACrC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE;IACjD,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE;CACpC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAChC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC/B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;CAC5B,CAAC;AAEF,MAAM,eAAe,GAAyD;IAC5E,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,OAAO;IACnB,gBAAgB,EAAE,OAAO;IACzB,qBAAqB,EAAE,OAAO;IAC9B,eAAe,EAAE,OAAO;IACxB,kBAAkB,EAAE,OAAO;IAC3B,eAAe,EAAE,OAAO;IACxB,aAAa,EAAE,OAAO;IACtB,iBAAiB,EAAE,OAAO;IAC1B,oBAAoB,EAAE,OAAO;IAC7B,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;CACnC,CAAC;AAEF,MAAM,aAAa,GAA4D;IAC7E,UAAU,EAAE,OAAO;IACnB,KAAK,EAAE,WAAW;IAClB,gBAAgB,EAAE,OAAO;IACzB,gBAAgB,EAAE,OAAO;IACzB,kBAAkB,EAAE,OAAO;IAC3B,qBAAqB,EAAE,OAAO;IAC9B,2BAA2B,EAAE,OAAO;IACpC,+BAA+B,EAAE,WAAW;IAC5C,mCAAmC,EAAE,WAAW;IAChD,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,QAAQ;IAC/B,6BAA6B,EAAE,QAAQ;IACvC,cAAc,EAAE,OAAO;IACvB,gBAAgB,EAAE,OAAO;IACzB,oBAAoB,EAAE,OAAO;IAC7B,cAAc,EAAE,OAAO;IACvB,yBAAyB,EAAE,OAAO;IAClC,2BAA2B,EAAE,OAAO;IACpC,aAAa,EAAE,OAAO;IACtB,6BAA6B,EAAE,OAAO;IACtC,wCAAwC,EAAE,OAAO;IACjD,mBAAmB,EAAE,OAAO;IAC5B,qBAAqB,EAAE,OAAO;IAC9B,sBAAsB,EAAE,OAAO;IAC/B,6BAA6B,EAAE,OAAO;IACtC,+BAA+B,EAAE,OAAO;IACxC,mCAAmC,EAAE,OAAO;IAC5C,wCAAwC,EAAE,OAAO;IACjD,iDAAiD,EAAE,OAAO;IAC1D,iBAAiB,EAAE,OAAO;IAC1B,YAAY,EAAE,OAAO;IACrB,gBAAgB,EAAE,OAAO;IACzB,wBAAwB,EAAE,OAAO;IACjC,mBAAmB,EAAE,OAAO;IAC5B,uBAAuB,EAAE,OAAO;IAChC,4BAA4B,EAAE,OAAO;IACrC,sBAAsB,EAAE,OAAO;IAC/B,kCAAkC,EAAE,OAAO;IAC3C,sBAAsB,EAAE,OAAO;IAC/B,sBAAsB,EAAE,WAAW;IACnC,gCAAgC,EAAE,OAAO;IACzC,8BAA8B,EAAE,OAAO;IACvC,yBAAyB,EAAE,OAAO;IAClC,6BAA6B,EAAE,OAAO;IACtC,gCAAgC,EAAE,OAAO;IACzC,4BAA4B,EAAE,OAAO;IACrC,+BAA+B,EAAE,OAAO;IACxC,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;IAClC,yBAAyB,EAAE,OAAO;IAClC,0BAA0B,EAAE,MAAM;IAClC,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,MAAM;IAC7B,qBAAqB,EAAE,OAAO;IAC9B,6BAA6B,EAAE,OAAO;IACtC,6BAA6B,EAAE,OAAO;CACvC,CAAC;AAEF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxD,MAAM,MAAM,GAAG,YAAY,CAAC;AAC5B,MAAM,MAAM,GAAe;IACzB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1D,UAAU,EAAE,IAAI;IAChB,IAAI,EAAE,EAAE;IACR,GAAG;CACJ,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAa,EAAE,EAAc,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,OAAO;IACb,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAI,GAAa,EAAE,EAAY,EAAE,CAAC,CAAC;IACjD,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,GAAG,CAAC,IAAI;IACpB,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7E;wCACwC;AACxC,MAAM,kBAAkB,GAAmC;IACzD,gBAAgB,EAAE,GAAG,EAAE,CACrB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;YAChD,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,iBAAiB,EAAE,GAAG,EAAE,CACtB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAClD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC7C,+BAA+B,EAAE,GAAG,EAAE,CAAC,CAAC;QACtC,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAC9E,CAAC;IACF,mCAAmC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAClF,CAAC;IACF,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7B,GAAG,MAAM,EAAE;QACX,GAAG,EAAE;YACH,WAAW,EAAE,YAAY;YACzB,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,UAAU;YACtB,kBAAkB,EAAE,UAAU;YAC9B,aAAa,EAAE,IAAI;YACnB,iBAAiB,EAAE,IAAI;YACvB,eAAe,EAAE,KAAK;YACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YACrF,YAAY,EAAE,EAAE;SACjB;KACF,CAAC;CACH,CAAC;AAEF,SAAS,YAAY,CAAC,GAAa;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAY,EAAE,CACjE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAC7C,OAAO,KAAK,KAAK,QAAQ;IACvB,CAAC,CAAC,KAAK,KAAK,WAAW;QACrB,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC;QAChB,CAAC,CAAC,EAAE;IACN,CAAC,CAAC,cAAc,CAAC,KAAe,EAAE,GAAG,GAAG,GAAG,CAAC,CAC/C,CAAC;AAEJ,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,UAAU,GAAG;QACjB,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,GAAG,cAAc,CAAC,aAAa,EAAE,EAAE,CAAC;KACrC,CAAC;IACF,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC,IAAI,EAAE,EAAE;IAC7E,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAE,EAAE,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,CAAC;QACjB,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACrE,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC;QAC1E,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;YACrB,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC"}

package/dist/ir/initializer-bindings.test.js

@@ -35,7 +35,7 @@ function fixture() {
         ],
     };
     return {
-        irVersion: 15,
+        irVersion: 16,
         sourceFile: loc.file,
         entry: fn.name,
         functions: [fn],

package/dist/ir/int32-slots.d.ts

@@ -1,5 +1,5 @@
 import type { IrClassDef, IrExpr, IrModule } from "./ir.js";
-import { type IntegerSlotFacts } from "./integer-ranges.js";
+import { type IntegerRange, type IntegerSlotFacts } from "./integer-ranges.js";
 /** Whole-program int32 specialization of numeric storage.
  *
  * A class field typed `number` whose every write provably stores an int32
@@ -7,8 +7,9 @@ import { type IntegerSlotFacts } from "./integer-ranges.js";
  * stored as an i32: reading it back as a double is exact, so every program
  * observation is unchanged. The same proof seeds parameters of functions
  * that are only ever called directly (every call site passes an int32) and
- * results of functions whose every return is an int32. Parameter and result
- * ABIs stay double; only the facts reach the callee and the call sites.
+ * results of functions whose every return is an int32. The LLVM backend
+ * passes those parameters and results as i32 on direct calls
+ * (backend/llvm/int32-abi.ts); every other entry keeps the double ABI.
  *
  * The analysis is optimistic: every candidate slot starts as int32, each
  * function is analyzed by analyzeIntegerRanges under the current facts, and
@@ -20,7 +21,7 @@ import { type IntegerSlotFacts } from "./integer-ranges.js";
  * reach checked-dynamic code get live views whose runtime stores commit
  * back into the fields; a field of such a class stays a double when any
  * dynamic store in the program can name it (literal-keyed stores name one
- * property, every other store any property, islands everything). Classes
+ * property, every other store any property). Classes
  * with runtime-provided ancestors, generic families, fields under
  * `++`/`--`, and parameters of functions that escape as values, are
  * constructed through class values, or are virtual-dispatch targets are
@@ -43,6 +44,8 @@ export declare class Int32Slots {
     private readonly boxGroupOf;
     /** Field write values proven int32 by the final analysis. */
     readonly provenWrites: Set<IrExpr>;
+    /** Functions some IR `call` or `new` reaches directly. */
+    readonly called: Set<string>;
     /** Disqualified candidates and the first reason, for tests. */
     readonly reasons: Map<string, string>;
     /** Slots an Int32 contract pins (`field:`, `param:`, `ret:`, `box:` keys):
@@ -71,7 +74,7 @@ export declare class Int32Slots {
     addField(family: string): void;
     dropField(family: string): boolean;
     hasFamily(family: string): boolean;
-    addParam(fnName: string, localId: string): void;
+    addParam(fnName: string, localId: string, range?: IntegerRange): void;
     dropParam(fnName: string, localId: string): boolean;
     hasParam(fnName: string, localId: string): boolean;
     addReturn(fnName: string): void;
@@ -82,8 +85,8 @@ export declare class Int32Slots {
     get paramCount(): number;
 }
 /** The class field names that runtime stores through live dynamic views
- * (typed-ref capsules) can write: every name when `all` (islands, jsval
- * values, or a dynamic store whose key is not a literal), otherwise the
+ * (typed-ref capsules) can write: every name when `all` (a dynamic store
+ * whose key is not a literal), otherwise the
  * literal keys of `dyn.keySet`/`dyn.keyDelete`. A view commits a store back
  * into the instance's native field slots, which the IR does not show. */
 export declare function dynamicFieldStores(mod: IrModule, records?: Map<string, import("./ir.js").IrRecordShape>, unions?: Map<string, import("./ir.js").IrUnionDef>): {