@scriptc/compiler 0.2.6 → 0.2.8

package/dist/backend/llvm/nullable-fields.test.js

@@ -0,0 +1,48 @@
+import { expect, test } from "vitest";
+import { NullableRefFields } from "./nullable-fields.js";
+const loc = { file: "nullable.ts", start: 0, end: 0 };
+const node = { kind: "object", className: "Node" };
+const union = (id) => ({ kind: "union", unionId: id });
+const unions = new Map([
+    ["orNull", [{ kind: "nullT" }, node]],
+    ["orUndefined", [node, { kind: "undefinedT" }]],
+    ["both", [{ kind: "nullT" }, { kind: "undefinedT" }, node]],
+    ["orNumber", [node, { kind: "f64" }]],
+    ["runtimeArm", [{ kind: "nullT" }, { kind: "object", className: "%Error" }]],
+    ["recordArm", [{ kind: "nullT" }, { kind: "record", shapeId: "r" }]],
+].map(([id, arms]) => [id, { id, arms }]));
+const cls = (name, fields, runtime = false) => ({
+    name,
+    loc,
+    fields: fields.map(([fieldName, type]) => ({ name: fieldName, type })),
+    ...(runtime ? { runtime: true } : {}),
+});
+test("only one unit arm plus one emitted class arm uses pointer storage", () => {
+    const fields = new NullableRefFields([
+        cls("Node", [
+            ["next", union("orNull")],
+            ["prev", union("orUndefined")],
+            ["both", union("both")],
+            ["num", union("orNumber")],
+            ["err", union("runtimeArm")],
+            ["rec", union("recordArm")],
+            ["plain", node],
+            ["%hidden", union("orNull")],
+        ]),
+        cls("%Error", [["next", union("orNull")]], true),
+    ], unions);
+    expect(fields.get("Node", "next")).toEqual({
+        unionId: "orNull",
+        refTag: 1,
+        unitTag: 0,
+        arm: node,
+    });
+    expect(fields.get("Node", "prev")).toMatchObject({ refTag: 0, unitTag: 1 });
+    for (const field of ["both", "num", "err", "rec", "plain", "%hidden", "missing"])
+        expect(fields.get("Node", field)).toBeNull();
+    // Runtime classes keep their C layouts.
+    expect(fields.get("%Error", "next")).toBeNull();
+    expect(fields.storageType("Node", "next", union("orNull"))).toEqual(node);
+    expect(fields.storageType("Node", "num", union("orNumber"))).toEqual(union("orNumber"));
+});
+//# sourceMappingURL=nullable-fields.test.js.map

package/dist/backend/llvm/nullable-fields.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-fields.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/nullable-fields.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,KAAK,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAElB;IACE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC/C,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC5E,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;CAEvE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAgB,CAAC,CAAC,CACxD,CAAC;AACF,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAA0B,EAAE,OAAO,GAAG,KAAK,EAAc,EAAE,CACpF,CAAC;IACC,IAAI;IACJ,GAAG;IACH,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACtC,CAA0B,CAAC;AAE9B,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAClC;QACE,GAAG,CAAC,MAAM,EAAE;YACV,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzB,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;YAC9B,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;YAC1B,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;YAC5B,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3B,CAAC,OAAO,EAAE,IAAI,CAAC;YACf,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;SAC7B,CAAC;QACF,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;KACjD,EACD,MAAM,CACP,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACzC,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;QACV,GAAG,EAAE,IAAI;KACV,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,wCAAwC;IACxC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/nullable-unions.d.ts

@@ -0,0 +1,68 @@
+import { type IrClassDef, type IrModule, type IrType, type IrUnionDef } from "../../ir/ir.js";
+/** A union of exactly one reference arm and one or two unit arms
+ * (`C | undefined`, `C | null`, `C | null | undefined`) whose VALUES are
+ * the reference pointer itself: NULL is the unit arm (`undefined` when both
+ * unit arms exist, where the module's immortal NULLABLE_NULL sentinel is
+ * `null`), anything else is the reference arm's instance. No union box
+ * ever exists for such a type: wraps move the payload, narrowing borrows
+ * it, retain/release/trace are the arm's NULL-tolerant entry points, and
+ * every container, field, capture, parameter, and return slot holds the
+ * plain pointer. Every other union keeps the tagged `%ScrUnion` box. */
+export interface NullableUnion {
+    unionId: string;
+    refTag: number;
+    /** The unit arm NULL encodes. */
+    unitTag: number;
+    /** The `null` arm of a two-unit-arm union, encoded by NULLABLE_NULL;
+     * -1 when the union has one unit arm. */
+    nullTag: number;
+    arm: NullableRefArm;
+}
+/** The module-scope immortal sentinel standing for `null` in a
+ * `C | null | undefined` union (NULL is `undefined` there). */
+export declare const NULLABLE_NULL = "@sc_nullable_null";
+/** The module-scope immortal sentinel standing for the ABSENT state of a
+ * nullable union's record field slot (an omitted optional property). */
+export declare const NULLABLE_ABSENT = "@sc_nullable_absent";
+/** The reference arms whose instances are never NULL. Class and record
+ * entry points all tolerate NULL; strings, arrays, maps and sets retain
+ * through a NULL-skipping wrapper (shapes.ts). Object arms are always truthy and compare by
+ * identity; string arms are truthy when non-empty and compare bytes. */
+export type NullableRefArm = {
+    kind: "object";
+    className: string;
+} | {
+    kind: "record";
+    shapeId: string;
+} | {
+    kind: "string";
+} | (IrType & {
+    kind: "array" | "map" | "set";
+});
+/** The arm is a JS object: always truthy, compared by identity. */
+export declare function isObjectArm(nullable: NullableUnion): boolean;
+/** The representation decision for every union of one module. It is a
+ * pure function of the module, so serialized-IR and in-memory emission
+ * agree. */
+export declare class NullableUnions {
+    private readonly byId;
+    /** NULL-skipping retain wrappers requested so far: symbol → inner retain
+     * call target. The emitter defines each once. */
+    readonly retainWrappers: Map<string, string>;
+    /** Some nullable union encodes `null` with NULLABLE_NULL. */
+    readonly usesNullSentinel: boolean;
+    constructor(mod: IrModule);
+    get(unionId: string): NullableUnion | null;
+    of(type: IrType): NullableUnion | null;
+    has(unionId: string): boolean;
+    get size(): number;
+    /** The reference arm of every nullable union, by union id. */
+    armTypes(): Map<string, IrType>;
+    /** The union table restricted to tagged-box unions: the stack-box
+     * optimizations (stack wraps, stack map/array reads, local union storage)
+     * only apply to boxes. */
+    boxedUnions(unions: ReadonlyMap<string, IrUnionDef>): Map<string, IrUnionDef>;
+}
+/** Emitted classes keyed by name, for callers that only hold the class
+ * list (nullable class fields). */
+export declare function emittedClassNames(classes: readonly IrClassDef[]): Set<string>;

package/dist/backend/llvm/nullable-unions.js

@@ -0,0 +1,132 @@
+import { isUnitType, } from "../../ir/ir.js";
+import { everyModuleNode } from "../../ir/traverse.js";
+/** The module-scope immortal sentinel standing for `null` in a
+ * `C | null | undefined` union (NULL is `undefined` there). */
+export const NULLABLE_NULL = "@sc_nullable_null";
+/** The module-scope immortal sentinel standing for the ABSENT state of a
+ * nullable union's record field slot (an omitted optional property). */
+export const NULLABLE_ABSENT = "@sc_nullable_absent";
+/** The arm is a JS object: always truthy, compared by identity. */
+export function isObjectArm(nullable) {
+    return nullable.arm.kind !== "string";
+}
+/** The representation decision for every union of one module. It is a
+ * pure function of the module, so serialized-IR and in-memory emission
+ * agree. */
+export class NullableUnions {
+    byId = new Map();
+    /** NULL-skipping retain wrappers requested so far: symbol → inner retain
+     * call target. The emitter defines each once. */
+    retainWrappers = new Map();
+    /** Some nullable union encodes `null` with NULLABLE_NULL. */
+    usesNullSentinel = false;
+    constructor(mod) {
+        const emitted = new Set();
+        for (const cls of mod.classes ?? [])
+            if (!cls.runtime)
+                emitted.add(cls.name);
+        const records = new Set();
+        for (const shape of mod.records ?? [])
+            records.add(shape.id);
+        const boxed = boxedUnionIds(mod);
+        for (const def of mod.unions ?? []) {
+            if (boxed.has(def.id))
+                continue;
+            const nullable = nullableShape(def, emitted, records);
+            if (!nullable)
+                continue;
+            this.byId.set(def.id, nullable);
+            if (nullable.nullTag >= 0)
+                this.usesNullSentinel = true;
+        }
+    }
+    get(unionId) {
+        return this.byId.get(unionId) ?? null;
+    }
+    of(type) {
+        return type.kind === "union" ? this.get(type.unionId) : null;
+    }
+    has(unionId) {
+        return this.byId.has(unionId);
+    }
+    get size() {
+        return this.byId.size;
+    }
+    /** The reference arm of every nullable union, by union id. */
+    armTypes() {
+        const result = new Map();
+        for (const [id, nullable] of this.byId)
+            result.set(id, nullable.arm);
+        return result;
+    }
+    /** The union table restricted to tagged-box unions: the stack-box
+     * optimizations (stack wraps, stack map/array reads, local union storage)
+     * only apply to boxes. */
+    boxedUnions(unions) {
+        const result = new Map();
+        for (const [id, def] of unions)
+            if (!this.byId.has(id))
+                result.set(id, def);
+        return result;
+    }
+}
+function nullableShape(def, emittedClasses, records) {
+    const units = def.arms.filter(isUnitType).length;
+    if (units < 1 || units > 2 || def.arms.length !== units + 1)
+        return null;
+    const refTag = def.arms.findIndex((arm) => !isUnitType(arm));
+    let unitTag, nullTag;
+    if (units === 1) {
+        unitTag = def.arms.findIndex(isUnitType);
+        nullTag = -1;
+    }
+    else {
+        unitTag = def.arms.findIndex((arm) => arm.kind === "undefinedT");
+        nullTag = def.arms.findIndex((arm) => arm.kind === "nullT");
+        if (unitTag < 0 || nullTag < 0)
+            return null;
+    }
+    const arm = def.arms[refTag];
+    const base = { unionId: def.id, refTag, unitTag, nullTag };
+    if (arm.kind === "object" && emittedClasses.has(arm.className))
+        return { ...base, arm: { kind: "object", className: arm.className } };
+    if (arm.kind === "record" && records.has(arm.shapeId))
+        return { ...base, arm: { kind: "record", shapeId: arm.shapeId } };
+    if (arm.kind === "string")
+        return { ...base, arm: { kind: "string" } };
+    if (arm.kind === "array" || arm.kind === "map" || arm.kind === "set")
+        return { ...base, arm };
+    return null;
+}
+/** Unions the runtime itself inspects as tagged boxes keep that
+ * representation: Map keys and Set elements hash and compare union keys by
+ * tag and payload inside the C map. */
+function boxedUnionIds(mod) {
+    const boxed = new Set();
+    const mark = (t) => {
+        if (t.kind === "union")
+            boxed.add(t.unionId);
+    };
+    everyModuleNode(mod, {
+        expr: () => true,
+        stmt: () => true,
+        type: (t) => {
+            if (t.kind === "map")
+                mark(t.key);
+            else if (t.kind === "set")
+                mark(t.elem);
+            return true;
+        },
+    });
+    return boxed;
+}
+/** Emitted classes keyed by name, for callers that only hold the class
+ * list (nullable class fields). */
+export function emittedClassNames(classes) {
+    const names = new Set();
+    for (const cls of classes)
+        if (!cls.runtime)
+            names.add(cls.name);
+    return names;
+}
+//# sourceMappingURL=nullable-unions.js.map

package/dist/backend/llvm/nullable-unions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-unions.js","sourceRoot":"","sources":["../../../src/backend/llvm/nullable-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,GAKX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAsBvD;+DAC+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,mBAAmB,CAAC;AAEjD;wEACwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAYrD,mEAAmE;AACnE,MAAM,UAAU,WAAW,CAAC,QAAuB;IACjD,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;AACxC,CAAC;AAED;;YAEY;AACZ,MAAM,OAAO,cAAc;IACR,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD;qDACiD;IACxC,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,6DAA6D;IACpD,gBAAgB,GAAY,KAAK,CAAC;IAE3C,YAAY,GAAa;QACvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACnC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAChC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAChC,IAAI,QAAQ,CAAC,OAAO,IAAI,CAAC;gBAAE,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,GAAG,CAAC,OAAe;QACjB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IACxC,CAAC;IAED,EAAE,CAAC,IAAY;QACb,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,CAAC;IAED,GAAG,CAAC,OAAe;QACjB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,8DAA8D;IAC9D,QAAQ;QACN,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACrE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;8BAE0B;IAC1B,WAAW,CAAC,MAAuC;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC7C,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC5E,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,SAAS,aAAa,CACpB,GAAe,EACf,cAAmC,EACnC,OAA4B;IAE5B,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC;IACjD,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,IAAI,OAAe,EAAE,OAAe,CAAC;IACrC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,OAAO,GAAG,CAAC,CAAC,CAAC;IACf,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACjE,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAC5D,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAC9C,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC3D,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5D,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC;IACxE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QACnD,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACpE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IACvE,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;IAC9F,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;uCAEuC;AACvC,SAAS,aAAa,CAAC,GAAa;IAClC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC,CAAC;IACF,eAAe,CAAC,GAAG,EAAE;QACnB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;iBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;mCACmC;AACnC,MAAM,UAAU,iBAAiB,CAAC,OAA8B;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,IAAI,CAAC,GAAG,CAAC,OAAO;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/backend/llvm/publish.d.ts

@@ -0,0 +1,58 @@
+import type { IrClassDef, IrRecordShape, IrType, IrUnionDef, SrcLoc } from "../../ir/ir.js";
+export interface PublishHost {
+    declare(decl: string): void;
+    /** An interned NUL-terminated constant. */
+    cstr(text: string): string;
+    readonly sizeType: "i32" | "i64";
+    readonly tracedShapes: ReadonlySet<string>;
+    readonly unionsById: ReadonlyMap<string, IrUnionDef>;
+    readonly recordsById: ReadonlyMap<string, IrRecordShape>;
+    /** The nullable-pointer representation of a union, when it has one. */
+    nullableArm(t: IrType): IrType | null;
+    /** Class layout: hierarchy membership, preorder interval, field slots
+     * (with their storage types), runtime roots. */
+    classInfo(className: string): PublishClassInfo;
+    /** Every class whose preorder number lies in [pre, post]. */
+    classesInInterval(pre: number, post: number): string[];
+}
+export interface PublishClassInfo {
+    def: IrClassDef;
+    hierarchy: boolean;
+    pre: number;
+    post: number;
+    /** A runtime-provided root class (errors, emitters, streams). */
+    runtimeRooted: boolean;
+    /** The class's own and inherited fields: GEP index and storage type. */
+    fields: {
+        name: string;
+        index: number;
+        type: IrType;
+    }[];
+}
+export declare class PublishWalkers {
+    private readonly host;
+    private readonly walkers;
+    private readonly defsOut;
+    private counter;
+    constructor(host: PublishHost);
+    /** The definitions emitted so far (module-level LLVM text). */
+    defs(): string[];
+    /** Lines publishing the value `v` (an LLVM ptr of static type `t`), or
+     * none for types that hold no references. */
+    emitPublish(v: string, t: IrType, loc: SrcLoc): string[];
+    /** The walker symbol for values of type `t` (null: nothing to walk). */
+    walker(t: IrType, path: string, loc: SrcLoc): string | null;
+    private readonly refusals;
+    /** A walker that refuses the publish when a value is actually present:
+     * the Node.js implementation's TypeError, plus the static path for
+     * SCRIPTC_PUBLISH_TRACE. */
+    private refusal;
+    private declareRuntime;
+    /** `define` lines for the walker `sym` of `t`. */
+    private body;
+    /** A class walker: the class itself, or a dispatch over every class of
+     * its subtree when it belongs to a hierarchy. */
+    private classBody;
+    private concreteClassBody;
+    private objectBody;
+}

package/dist/backend/llvm/publish.js

@@ -0,0 +1,286 @@
+import { mapOf, STRING, typeKey } from "../../ir/ir.js";
+import { mangleClassStruct, mangleRecordStruct } from "../mangle.js";
+import { FN_ATTRS } from "./shapes.js";
+import { LlvmUnsupportedError } from "./unsupported.js";
+/** scr_pub_mark's object kinds (SCR_PUB_KIND_* in scr_runtime.h), for the RC audit. */
+const PUB_KIND_OBJECT = 4;
+const PUB_KIND_UNION = 5;
+const RUNTIME_WALKERS = {
+    string: "@scr_pub_str_fn",
+    bigint: "@scr_pub_leaf_fn",
+    dyn: "@scr_pub_dyn_fn",
+};
+export class PublishWalkers {
+    host;
+    walkers = new Map();
+    defsOut = [];
+    counter = 0;
+    constructor(host) {
+        this.host = host;
+    }
+    /** The definitions emitted so far (module-level LLVM text). */
+    defs() {
+        return this.defsOut;
+    }
+    /** Lines publishing the value `v` (an LLVM ptr of static type `t`), or
+     * none for types that hold no references. */
+    emitPublish(v, t, loc) {
+        const root = this.host.nullableArm(t) ?? t;
+        if (scalarRefusal(root)) {
+            // A Date (or process stream) is a scalar here, but Node.js refuses it.
+            this.host.declare(`declare void @scr_publish_refuse(ptr)`);
+            return [`  call void @scr_publish_refuse(ptr ${this.host.cstr(refusalMessage(root))})`];
+        }
+        const fn = this.walker(t, "the published value", loc);
+        if (fn === null)
+            return [];
+        this.host.declare(`declare void @scr_publish(ptr, ptr)`);
+        return [`  call void @scr_publish(ptr ${v}, ptr ${fn})`];
+    }
+    /** The walker symbol for values of type `t` (null: nothing to walk). */
+    walker(t, path, loc) {
+        const arm = this.host.nullableArm(t);
+        if (arm !== null)
+            return this.walker(arm, path, loc);
+        switch (t.kind) {
+            case "f64":
+            case "bool":
+            case "undefinedT":
+            case "nullT":
+            case "void":
+                return null;
+            case "string":
+            case "bigint":
+            case "dyn": {
+                const sym = RUNTIME_WALKERS[t.kind];
+                this.host.declare(`declare void ${sym}(ptr, ptr)`);
+                return sym;
+            }
+            case "object":
+            case "record":
+            case "array":
+            case "map":
+            case "set":
+            case "union":
+                break;
+            default:
+                return this.refusal(refusalMessage(t), `${typeKey(t)} at ${path}`);
+        }
+        const key = typeKey(t);
+        const known = this.walkers.get(key);
+        if (known !== undefined)
+            return known;
+        const sym = `@sc_pub_${this.counter++}`;
+        this.walkers.set(key, sym);
+        const body = this.body(t, sym, path, loc);
+        this.defsOut.push(...body, ``);
+        return sym;
+    }
+    refusals = new Map();
+    /** A walker that refuses the publish when a value is actually present:
+     * the Node.js implementation's TypeError, plus the static path for
+     * SCRIPTC_PUBLISH_TRACE. */
+    refusal(message, detail) {
+        const key = `${message}\0${detail}`;
+        const known = this.refusals.get(key);
+        if (known !== undefined)
+            return known;
+        const sym = `@sc_pub_${this.counter++}`;
+        this.refusals.set(key, sym);
+        this.host.declare(`declare void @scr_pub_refuse_at(ptr, ptr, ptr)`);
+        this.defsOut.push(`define internal void ${sym}(ptr %o, ptr %ctx) ${FN_ATTRS} { ; refuse ${llvmComment(detail)}`, `entry:`, `  call void @scr_pub_refuse_at(ptr %ctx, ptr ${this.host.cstr(message)}, ptr ${this.host.cstr(detail)})`, `  ret void`, `}`, ``);
+        return sym;
+    }
+    declareRuntime() {
+        this.host.declare(`declare zeroext i1 @scr_pub_mark(ptr, ptr, i1 zeroext, i32)`);
+        this.host.declare(`declare void @scr_pub_push(ptr, ptr, ptr)`);
+    }
+    /** `define` lines for the walker `sym` of `t`. */
+    body(t, sym, path, loc) {
+        this.declareRuntime();
+        const head = `define internal void ${sym}(ptr %o, ptr %ctx) ${FN_ATTRS} { ; publish ${llvmComment(typeKey(t))}`;
+        switch (t.kind) {
+            case "array": {
+                const elem = this.walker(t.elem, `${path}[element]`, loc);
+                if (scalarRefusal(t.elem))
+                    throw new LlvmUnsupportedError(`publish of ${typeKey(t)}`, loc);
+                this.host.declare(`declare void @scr_pub_arr(ptr, ptr, ptr)`);
+                return [
+                    head,
+                    `entry:`,
+                    `  call void @scr_pub_arr(ptr %o, ptr %ctx, ptr ${elem ?? "null"})`,
+                    `  ret void`,
+                    `}`,
+                ];
+            }
+            case "map":
+            case "set": {
+                const keyType = t.kind === "map" ? t.key : t.elem;
+                const k = this.walker(keyType, `${path}[key]`, loc);
+                const v = t.kind === "map" ? this.walker(t.value, `${path}[value]`, loc) : null;
+                if (scalarRefusal(keyType) || (t.kind === "map" && scalarRefusal(t.value)))
+                    throw new LlvmUnsupportedError(`publish of ${typeKey(t)}`, loc);
+                this.host.declare(`declare void @scr_pub_map(ptr, ptr, ptr, ptr)`);
+                return [
+                    head,
+                    `entry:`,
+                    `  call void @scr_pub_map(ptr %o, ptr %ctx, ptr ${k ?? "null"}, ptr ${v ?? "null"})`,
+                    `  ret void`,
+                    `}`,
+                ];
+            }
+            case "union": {
+                const def = this.host.unionsById.get(t.unionId);
+                if (!def)
+                    throw new LlvmUnsupportedError(`publish of an unknown union ${t.unionId}`, loc);
+                const arms = def.arms.map((arm, tag) => ({
+                    tag,
+                    fn: this.walker(arm, `${path} (as ${typeKey(arm)})`, loc),
+                }));
+                // Union arms are boxed pointers or plain scalars; a date arm would
+                // hold time-value bits that no walker may push.
+                if (def.arms.some((arm) => scalarRefusal(arm)))
+                    throw new LlvmUnsupportedError(`publish of ${typeKey(t)}`, loc);
+                const live = arms.filter((a) => a.fn !== null);
+                const lines = [
+                    head,
+                    `entry:`,
+                    // Union boxes always carry a collector header (scr_union_release).
+                    `  %m = call zeroext i1 @scr_pub_mark(ptr %ctx, ptr %o, i1 true, i32 ${PUB_KIND_UNION})`,
+                    `  br i1 %m, label %walk, label %done`,
+                    `walk:`,
+                ];
+                if (live.length === 0)
+                    lines.push(`  br label %done`);
+                else {
+                    lines.push(`  %tagp = getelementptr inbounds %ScrUnion, ptr %o, i64 0, i32 1`, `  %tag = load i32, ptr %tagp`, `  %slotp = getelementptr inbounds %ScrUnion, ptr %o, i64 0, i32 5`, `  %slot = load ptr, ptr %slotp`, `  switch i32 %tag, label %done [ ${live.map((a) => `i32 ${a.tag}, label %arm${a.tag}`).join(" ")} ]`);
+                    for (const a of live)
+                        lines.push(`arm${a.tag}:`, `  call void @scr_pub_push(ptr %ctx, ptr %slot, ptr ${a.fn})`, `  br label %done`);
+                }
+                lines.push(`done:`, `  ret void`, `}`);
+                return lines;
+            }
+            case "record": {
+                const shape = this.host.recordsById.get(t.shapeId);
+                if (!shape)
+                    throw new LlvmUnsupportedError(`publish of an unknown record ${t.shapeId}`, loc);
+                const members = [
+                    ...shape.fields.map((f, i) => ({ name: f.name, index: i + 1, type: f.type })),
+                    ...(shape.indexValue
+                        ? [
+                            {
+                                name: "[key: string]",
+                                index: shape.fields.length + 1,
+                                type: mapOf(STRING, shape.indexValue),
+                            },
+                        ]
+                        : []),
+                ];
+                return this.objectBody(head, mangleRecordStruct(shape.id), this.host.tracedShapes.has(`record:${shape.id}`), members, path, loc);
+            }
+            case "object":
+                return this.classBody(t.className, head, path, loc);
+            default:
+                throw new LlvmUnsupportedError(`publish of ${typeKey(t)}`, loc);
+        }
+    }
+    /** A class walker: the class itself, or a dispatch over every class of
+     * its subtree when it belongs to a hierarchy. */
+    classBody(className, head, path, loc) {
+        const info = this.host.classInfo(className);
+        if (!info.hierarchy)
+            return this.concreteClassBody(info, head, path, loc);
+        const members = this.host.classesInInterval(info.pre, info.post);
+        const cases = members.map((name) => {
+            const sub = this.host.classInfo(name);
+            const sym = `@sc_pub_${this.counter++}`;
+            const subHead = `define internal void ${sym}(ptr %o, ptr %ctx) ${FN_ATTRS} { ; publish class ${llvmComment(name)}`;
+            this.defsOut.push(...this.concreteClassBody(sub, subHead, `${path} (a ${name})`, loc), ``);
+            return { pre: sub.pre, sym, name };
+        });
+        const lines = [
+            head,
+            `entry:`,
+            `  %vtp = getelementptr inbounds ptr, ptr %o, i64 1`,
+            `  %vt = load ptr, ptr %vtp`,
+            `  %pre = load ${this.host.sizeType}, ptr %vt`,
+            `  switch ${this.host.sizeType} %pre, label %other [ ${cases.map((c) => `${this.host.sizeType} ${c.pre}, label %c${c.pre}`).join(" ")} ]`,
+        ];
+        for (const c of cases)
+            lines.push(`c${c.pre}: ; ${llvmComment(c.name)}`, `  call void ${c.sym}(ptr %o, ptr %ctx)`, `  ret void`);
+        lines.push(`other:`, `  unreachable`, `}`);
+        return lines;
+    }
+    concreteClassBody(info, head, path, loc) {
+        if (info.runtimeRooted) {
+            const refuse = this.refusal(info.def.name === "%Error" || info.def.base !== undefined
+                ? "Cannot publish a Error object"
+                : "Cannot publish this value", `${info.def.name} at ${path}`);
+            return [head, `entry:`, `  call void ${refuse}(ptr %o, ptr %ctx)`, `  ret void`, `}`];
+        }
+        return this.objectBody(head, mangleClassStruct(info.def.name), this.host.tracedShapes.has(`object:${info.def.name}`), info.fields, path, loc);
+    }
+    objectBody(head, struct, traced, members, path, loc) {
+        const lines = [
+            head,
+            `entry:`,
+            `  %m = call zeroext i1 @scr_pub_mark(ptr %ctx, ptr %o, i1 ${traced ? "true" : "false"}, i32 ${PUB_KIND_OBJECT})`,
+            `  br i1 %m, label %walk, label %done`,
+            `walk:`,
+        ];
+        let n = 0;
+        for (const member of members) {
+            const fn = this.walker(member.type, `${path}.${member.name}`, loc);
+            if (fn === null)
+                continue;
+            if (scalarRefusal(member.type)) {
+                // A scalar field (a date) always holds a value: refuse.
+                lines.push(`  call void ${fn}(ptr null, ptr %ctx) ; ${llvmComment(member.name)}`);
+                continue;
+            }
+            lines.push(`  %f${n} = getelementptr inbounds %${struct}, ptr %o, i64 0, i32 ${member.index}`, `  %v${n} = load ptr, ptr %f${n}`, `  call void @scr_pub_push(ptr %ctx, ptr %v${n}, ptr ${fn}) ; ${llvmComment(member.name)}`);
+            n++;
+        }
+        lines.push(`  br label %done`, `done:`, `  ret void`, `}`);
+        return lines;
+    }
+}
+/** Unpublishable types stored as scalars (dates are time values, process
+ * streams file descriptors): no pointer to push, and always a value. */
+function scalarRefusal(t) {
+    return t.kind === "date" || t.kind === "procStream";
+}
+/** The Node.js implementation's refusal for a value of type `t`. */
+function refusalMessage(t) {
+    switch (t.kind) {
+        case "func":
+            return "Cannot publish a function";
+        case "symbol":
+            return "Cannot publish a symbol";
+        case "regex":
+            return "Cannot publish a RegExp object";
+        case "date":
+            return "Cannot publish a Date object";
+        case "promise":
+            return "Cannot publish a Promise object";
+        case "bytes":
+            return `Cannot publish a ${BYTES_NAMES[t.elem] ?? "Uint8Array"} object`;
+        default:
+            return "Cannot publish this value";
+    }
+}
+const BYTES_NAMES = {
+    u8: "Uint8Array",
+    u8c: "Uint8ClampedArray",
+    i8: "Int8Array",
+    u16: "Uint16Array",
+    i16: "Int16Array",
+    u32: "Uint32Array",
+    i32: "Int32Array",
+    f32: "Float32Array",
+    f64: "Float64Array",
+};
+function llvmComment(text) {
+    return text.replace(/[\r\n]/g, " ");
+}
+//# sourceMappingURL=publish.js.map

package/dist/backend/llvm/publish.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"publish.js","sourceRoot":"","sources":["../../../src/backend/llvm/publish.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AA8BxD,uFAAuF;AACvF,MAAM,eAAe,GAAG,CAAC,CAAC;AAC1B,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB,MAAM,eAAe,GAAG;IACtB,MAAM,EAAE,iBAAiB;IACzB,MAAM,EAAE,kBAAkB;IAC1B,GAAG,EAAE,iBAAiB;CACd,CAAC;AAEX,MAAM,OAAO,cAAc;IAKI,IAAI;IAJhB,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC3C,OAAO,GAAa,EAAE,CAAC;IAChC,OAAO,GAAG,CAAC,CAAC;IAEpB,YAA6B,IAAiB;oBAAjB,IAAI;IAAgB,CAAC;IAElD,+DAA+D;IAC/D,IAAI;QACF,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;iDAC6C;IAC7C,WAAW,CAAC,CAAS,EAAE,CAAS,EAAE,GAAW;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,uEAAuE;YACvE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;YAC3D,OAAO,CAAC,uCAAuC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,qBAAqB,EAAE,GAAG,CAAC,CAAC;QACtD,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACzD,OAAO,CAAC,gCAAgC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,wEAAwE;IACxE,MAAM,CAAC,CAAS,EAAE,IAAY,EAAE,GAAW;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACrD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,KAAK,CAAC;YACX,KAAK,MAAM,CAAC;YACZ,KAAK,YAAY,CAAC;YAClB,KAAK,OAAO,CAAC;YACb,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,GAAG,YAAY,CAAC,CAAC;gBACnD,OAAO,GAAG,CAAC;YACb,CAAC;YACD,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO,CAAC;YACb,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,OAAO;gBACV,MAAM;YACR;gBACE,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC;IAEgB,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtD;;gCAE4B;IACpB,OAAO,CAAC,OAAe,EAAE,MAAc;QAC7C,MAAM,GAAG,GAAG,GAAG,OAAO,KAAK,MAAM,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,gDAAgD,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO,CAAC,IAAI,CACf,wBAAwB,GAAG,sBAAsB,QAAQ,eAAe,WAAW,CAAC,MAAM,CAAC,EAAE,EAC7F,QAAQ,EACR,gDAAgD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EACzG,YAAY,EACZ,GAAG,EACH,EAAE,CACH,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,6DAA6D,CAAC,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;IACjE,CAAC;IAED,kDAAkD;IAC1C,IAAI,CAAC,CAAS,EAAE,GAAW,EAAE,IAAY,EAAE,GAAW;QAC5D,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,wBAAwB,GAAG,sBAAsB,QAAQ,gBAAgB,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChH,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC1D,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,oBAAoB,CAAC,cAAc,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBAC3F,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;gBAC9D,OAAO;oBACL,IAAI;oBACJ,QAAQ;oBACR,kDAAkD,IAAI,IAAI,MAAM,GAAG;oBACnE,YAAY;oBACZ,GAAG;iBACJ,CAAC;YACJ,CAAC;YACD,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAClD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,OAAO,EAAE,GAAG,CAAC,CAAC;gBACpD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAChF,IAAI,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACxE,MAAM,IAAI,oBAAoB,CAAC,cAAc,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBAClE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;gBACnE,OAAO;oBACL,IAAI;oBACJ,QAAQ;oBACR,kDAAkD,CAAC,IAAI,MAAM,SAAS,CAAC,IAAI,MAAM,GAAG;oBACpF,YAAY;oBACZ,GAAG;iBACJ,CAAC;YACJ,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAChD,IAAI,CAAC,GAAG;oBAAE,MAAM,IAAI,oBAAoB,CAAC,+BAA+B,CAAC,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;gBAC1F,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBACvC,GAAG;oBACH,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,QAAQ,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC;iBAC1D,CAAC,CAAC,CAAC;gBACJ,mEAAmE;gBACnE,gDAAgD;gBAChD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;oBAC5C,MAAM,IAAI,oBAAoB,CAAC,cAAc,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBAClE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;gBAC/C,MAAM,KAAK,GAAG;oBACZ,IAAI;oBACJ,QAAQ;oBACR,mEAAmE;oBACnE,uEAAuE,cAAc,GAAG;oBACxF,sCAAsC;oBACtC,OAAO;iBACR,CAAC;gBACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;qBACjD,CAAC;oBACJ,KAAK,CAAC,IAAI,CACR,kEAAkE,EAClE,8BAA8B,EAC9B,mEAAmE,EACnE,gCAAgC,EAChC,oCAAoC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CACtG,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,IAAI;wBAClB,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,CAAC,GAAG,GAAG,EACd,sDAAsD,CAAC,CAAC,EAAE,GAAG,EAC7D,kBAAkB,CACnB,CAAC;gBACN,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBACvC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACnD,IAAI,CAAC,KAAK;oBACR,MAAM,IAAI,oBAAoB,CAAC,gCAAgC,CAAC,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;gBACnF,MAAM,OAAO,GAAG;oBACd,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;oBAC7E,GAAG,CAAC,KAAK,CAAC,UAAU;wBAClB,CAAC,CAAC;4BACE;gCACE,IAAI,EAAE,eAAe;gCACrB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gCAC9B,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC;6BACtC;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC;gBACF,OAAO,IAAI,CAAC,UAAU,CACpB,IAAI,EACJ,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,EAC5B,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,EAAE,EAAE,CAAC,EAChD,OAAO,EACP,IAAI,EACJ,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACtD;gBACE,MAAM,IAAI,oBAAoB,CAAC,cAAc,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED;qDACiD;IACzC,SAAS,CAAC,SAAiB,EAAE,IAAY,EAAE,IAAY,EAAE,GAAW;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACjC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,wBAAwB,GAAG,sBAAsB,QAAQ,sBAAsB,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACnH,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,OAAO,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3F,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACrC,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG;YACZ,IAAI;YACJ,QAAQ;YACR,oDAAoD;YACpD,4BAA4B;YAC5B,iBAAiB,IAAI,CAAC,IAAI,CAAC,QAAQ,WAAW;YAC9C,YAAY,IAAI,CAAC,IAAI,CAAC,QAAQ,yBAAyB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI;SAC1I,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK;YACnB,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,CAAC,GAAG,OAAO,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EACrC,eAAe,CAAC,CAAC,GAAG,oBAAoB,EACxC,YAAY,CACb,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,EAAE,GAAG,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,iBAAiB,CACvB,IAAsB,EACtB,IAAY,EACZ,IAAY,EACZ,GAAW;QAEX,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;gBACvD,CAAC,CAAC,+BAA+B;gBACjC,CAAC,CAAC,2BAA2B,EAC/B,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,EAAE,CAC9B,CAAC;YACF,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,MAAM,oBAAoB,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CACpB,IAAI,EACJ,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAChC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EACrD,IAAI,CAAC,MAAM,EACX,IAAI,EACJ,GAAG,CACJ,CAAC;IACJ,CAAC;IAEO,UAAU,CAChB,IAAY,EACZ,MAAc,EACd,MAAe,EACf,OAAwD,EACxD,IAAY,EACZ,GAAW;QAEX,MAAM,KAAK,GAAG;YACZ,IAAI;YACJ,QAAQ;YACR,6DAA6D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,SAAS,eAAe,GAAG;YACjH,sCAAsC;YACtC,OAAO;SACR,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC;YACnE,IAAI,EAAE,KAAK,IAAI;gBAAE,SAAS;YAC1B,IAAI,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,wDAAwD;gBACxD,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,0BAA0B,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAClF,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,8BAA8B,MAAM,wBAAwB,MAAM,CAAC,KAAK,EAAE,EAClF,OAAO,CAAC,sBAAsB,CAAC,EAAE,EACjC,6CAA6C,CAAC,SAAS,EAAE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAC3F,CAAC;YACF,CAAC,EAAE,CAAC;QACN,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED;wEACwE;AACxE,SAAS,aAAa,CAAC,CAAS;IAC9B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;AACtD,CAAC;AAED,oEAAoE;AACpE,SAAS,cAAc,CAAC,CAAS;IAC/B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,2BAA2B,CAAC;QACrC,KAAK,QAAQ;YACX,OAAO,yBAAyB,CAAC;QACnC,KAAK,OAAO;YACV,OAAO,gCAAgC,CAAC;QAC1C,KAAK,MAAM;YACT,OAAO,8BAA8B,CAAC;QACxC,KAAK,SAAS;YACZ,OAAO,iCAAiC,CAAC;QAC3C,KAAK,OAAO;YACV,OAAO,oBAAoB,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,YAAY,SAAS,CAAC;QAC1E;YACE,OAAO,2BAA2B,CAAC;IACvC,CAAC;AACH,CAAC;AAED,MAAM,WAAW,GAA2B;IAC1C,EAAE,EAAE,YAAY;IAChB,GAAG,EAAE,mBAAmB;IACxB,EAAE,EAAE,WAAW;IACf,GAAG,EAAE,aAAa;IAClB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,aAAa;IAClB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,cAAc;IACnB,GAAG,EAAE,cAAc;CACpB,CAAC;AAEF,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AACtC,CAAC"}

package/dist/backend/llvm/rebound-parameters.d.ts

@@ -0,0 +1,12 @@
+import type { IrFunction, IrType } from "../../ir/ir.js";
+/** Parameters that keep the borrowed calling convention although the body
+ * rebinds them (`source = (source as LiteralType).regularType`). The
+ * incoming value stays the caller's borrow; every value the body assigns is
+ * owned through a separate owner slot, which each rebinding releases and
+ * replaces and which the function scope releases on every exit. Reads see
+ * the parameter slot, so whole-value uses retain as for any binding.
+ *
+ * Only plain statement assignments qualify: expression-position writes,
+ * loop and catch bindings, declarations and captures keep the ordinary
+ * owned parameter. Suspending bodies and environments use the owned ABI. */
+export declare function findReboundParameters(fn: IrFunction, plainReference: (type: IrType) => boolean, excluded: ReadonlySet<string>): ReadonlySet<string>;