@scriptc/compiler 0.3.5 → 0.4.0

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

@@ -1,5 +1,23 @@
 import { isUnitType, } from "../../ir/ir.js";
 import { everyModuleNode } from "../../ir/traverse.js";
+/** The struct index of a tagged record shape's hidden shape-number word. */
+export const SHAPE_WORD_INDEX = 1;
+/** The LLVM type through which any tagged record's shape word is read
+ * (the reference count, then the word). */
+export function shapeWordHeader(sizeType) {
+    return `{ ${sizeType}, i32 }`;
+}
+/** The per-union helper mapping a shape-union value to its tag. */
+export function shapeTagFn(unionId) {
+    return `@sc_stag.${unionId.replace(/[^A-Za-z0-9_.]/g, "_")}`;
+}
+/** The per-union release and trace dispatchers of a shape union. */
+export function shapeReleaseFn(unionId) {
+    return `@sc_srelease.${unionId.replace(/[^A-Za-z0-9_.]/g, "_")}`;
+}
+export function shapeTraceFn(unionId) {
+    return `@sc_strace.${unionId.replace(/[^A-Za-z0-9_.]/g, "_")}`;
+}
 /** 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";
@@ -8,19 +26,25 @@ export const NULLABLE_NULL = "@sc_nullable_null";
 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";
+    return nullable.repr === "shapes" || 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();
+    /** Tagged record shapes (arms of a shape union) by their module-wide
+     * shape number (2 and up: 0 and 1 are the unit encodings' pseudo
+     * numbers, never stored). */
+    shapeNumbers = 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) {
+    /** `shapes`: allow shape unions (debug builds keep boxes, whose
+     * debug-info layouts describe every arm). */
+    constructor(mod, shapes = true) {
         const emitted = new Set();
         for (const cls of mod.classes ?? [])
             if (!cls.runtime)
@@ -29,15 +53,33 @@ export class NullableUnions {
         for (const shape of mod.records ?? [])
             records.add(shape.id);
         const boxed = boxedUnionIds(mod);
+        // Shape unions stay out of library builds (their host ABI marshals
+        // boxes) and of programs with lifetime regions (whose walks report a
+        // reference slot by its type's release entry point).
+        const allowShapes = shapes && mod.lib === undefined && mod.lifetimeRegions !== true;
+        // A record that is an arm of a boxed union never becomes a shape
+        // union's arm: conversions between unions over the same records then
+        // keep one representation.
+        const boxedRecords = new Set();
+        for (const def of mod.unions ?? [])
+            if (boxed.has(def.id))
+                for (const arm of def.arms)
+                    if (arm.kind === "record")
+                        boxedRecords.add(arm.shapeId);
         for (const def of mod.unions ?? []) {
             if (boxed.has(def.id))
                 continue;
-            const nullable = nullableShape(def, emitted, records);
+            const nullable = nullableShape(def, emitted, records) ??
+                (allowShapes ? shapeUnion(def, records, boxedRecords) : null);
             if (!nullable)
                 continue;
             this.byId.set(def.id, nullable);
             if (nullable.nullTag >= 0)
                 this.usesNullSentinel = true;
+            if (nullable.repr === "shapes")
+                for (const arm of nullable.arms)
+                    if (!this.shapeNumbers.has(arm.shapeId))
+                        this.shapeNumbers.set(arm.shapeId, this.shapeNumbers.size + 2);
         }
     }
     get(unionId) {
@@ -46,17 +88,46 @@ export class NullableUnions {
     of(type) {
         return type.kind === "union" ? this.get(type.unionId) : null;
     }
+    /** The single-reference-arm form only (shape unions answer null). */
+    single(unionId) {
+        const nullable = this.byId.get(unionId);
+        return nullable?.repr === "single" ? nullable : null;
+    }
+    /** The shape-union form only. */
+    shapes(unionId) {
+        const nullable = this.byId.get(unionId);
+        return nullable?.repr === "shapes" ? nullable : null;
+    }
+    /** Every shape union, in module order. */
+    allShapeUnions() {
+        const out = [];
+        for (const nullable of this.byId.values())
+            if (nullable.repr === "shapes")
+                out.push(nullable);
+        return out;
+    }
+    /** The module-wide number a tagged record shape stores in its shape
+     * word, or 0 for shapes that carry none. */
+    shapeNumber(shapeId) {
+        return this.shapeNumbers.get(shapeId) ?? 0;
+    }
+    /** The struct index of a record shape's first declared field: 2 for
+     * tagged shapes (after the shape word), 1 otherwise. */
+    fieldBase(shapeId) {
+        return this.shapeNumbers.has(shapeId) ? 2 : 1;
+    }
     has(unionId) {
         return this.byId.has(unionId);
     }
     get size() {
         return this.byId.size;
     }
-    /** The reference arm of every nullable union, by union id. */
+    /** The reference arm of every single-arm nullable union, by union id. */
     armTypes() {
         const result = new Map();
         for (const [id, nullable] of this.byId)
-            result.set(id, nullable.arm);
+            if (nullable.repr === "single")
+                result.set(id, nullable.arm);
         return result;
     }
     /** The union table restricted to tagged-box unions: the stack-box
@@ -87,17 +158,45 @@ function nullableShape(def, emittedClasses, records) {
             return null;
     }
     const arm = def.arms[refTag];
-    const base = { unionId: def.id, refTag, unitTag, nullTag };
+    const base = { repr: "single", 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 === "stats")
+        return { ...base, arm: { kind: "stats" } };
     if (arm.kind === "array" || arm.kind === "map" || arm.kind === "set")
         return { ...base, arm };
     return null;
 }
+/** Two or more emitted record arms and at most two unit arms (both:
+ * undefined and null). */
+function shapeUnion(def, records, boxedRecords) {
+    const units = def.arms.filter(isUnitType).length;
+    if (units > 2 || def.arms.length - units < 2)
+        return null;
+    const arms = [];
+    for (let tag = 0; tag < def.arms.length; tag++) {
+        const arm = def.arms[tag];
+        if (isUnitType(arm))
+            continue;
+        if (arm.kind !== "record" || !records.has(arm.shapeId) || boxedRecords.has(arm.shapeId))
+            return null;
+        arms.push({ tag, shapeId: arm.shapeId });
+    }
+    let unitTag = -1, nullTag = -1;
+    if (units === 1)
+        unitTag = def.arms.findIndex(isUnitType);
+    else if (units === 2) {
+        unitTag = def.arms.findIndex((arm) => arm.kind === "undefinedT");
+        nullTag = def.arms.findIndex((arm) => arm.kind === "nullT");
+        if (unitTag < 0 || nullTag < 0)
+            return null;
+    }
+    return { repr: "shapes", unionId: def.id, unitTag, nullTag, arms };
+}
 /** 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. */

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

@@ -1 +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"}
+{"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;AAmDvD,4EAA4E;AAC5E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAElC;2CAC2C;AAC3C,MAAM,UAAU,eAAe,CAAC,QAAuB;IACrD,OAAO,KAAK,QAAQ,SAAS,CAAC;AAChC,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,UAAU,CAAC,OAAe;IACxC,OAAO,YAAY,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,gBAAgB,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,EAAE,CAAC;AACnE,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,OAAO,cAAc,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,EAAE,CAAC;AACjE,CAAC;AAED;+DAC+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,mBAAmB,CAAC;AAEjD;wEACwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAcrD,mEAAmE;AACnE,MAAM,UAAU,WAAW,CAAC,QAAsB;IAChD,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;AACtE,CAAC;AAED;;YAEY;AACZ,MAAM,OAAO,cAAc;IACR,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IACxD;;iCAE6B;IACZ,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1D;qDACiD;IACxC,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,6DAA6D;IACpD,gBAAgB,GAAY,KAAK,CAAC;IAE3C;iDAC6C;IAC7C,YAAY,GAAa,EAAE,MAAM,GAAG,IAAI;QACtC,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,mEAAmE;QACnE,qEAAqE;QACrE,qDAAqD;QACrD,MAAM,WAAW,GAAG,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,eAAe,KAAK,IAAI,CAAC;QACpF,iEAAiE;QACjE,qEAAqE;QACrE,2BAA2B;QAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE;YAChC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI;oBAAE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzF,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,GACZ,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC;gBACpC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChE,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;YACxD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC5B,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI;oBAC7B,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBACrC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACvE,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,qEAAqE;IACrE,MAAM,CAAC,OAAe;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,QAAQ,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,CAAC;IAED,iCAAiC;IACjC,MAAM,CAAC,OAAe;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,QAAQ,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,CAAC;IAED,0CAA0C;IAC1C,cAAc;QACZ,MAAM,GAAG,GAAiB,EAAE,CAAC;QAC7B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;YAAE,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9F,OAAO,GAAG,CAAC;IACb,CAAC;IAED;gDAC4C;IAC5C,WAAW,CAAC,OAAe;QACzB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED;4DACwD;IACxD,SAAS,CAAC,OAAe;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,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,yEAAyE;IACzE,QAAQ;QACN,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI;YACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/D,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,IAAI,EAAE,QAAiB,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACpF,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;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;IACrE,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;0BAC0B;AAC1B,SAAS,UAAU,CACjB,GAAe,EACf,OAA4B,EAC5B,YAAiC;IAEjC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC;IACjD,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,IAAI,GAAuC,EAAE,CAAC;IACpD,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YACrF,OAAO,IAAI,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,CAAC,EACd,OAAO,GAAG,CAAC,CAAC,CAAC;IACf,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;SACrD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACrB,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,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACrE,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/nullable-unions.test.d.ts

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

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

@@ -0,0 +1,65 @@
+import { expect, test } from "vitest";
+import { F64, NULL_T, UNDEFINED_T, } from "../../ir/ir.js";
+import { NullableUnions } from "./nullable-unions.js";
+const loc = { file: "nullable-unions.ts", start: 0, end: 0 };
+const a = { kind: "record", shapeId: "a" };
+const b = { kind: "record", shapeId: "b" };
+const c = { kind: "record", shapeId: "c" };
+function module(unions, extra = {}) {
+    return {
+        irVersion: 17,
+        sourceFile: loc.file,
+        entry: "main",
+        records: ["a", "b", "c"].map((id) => ({ id, fields: [{ name: id, type: F64 }] })),
+        unions,
+        functions: [],
+        ...extra,
+    };
+}
+test("unions of two or more records become shape unions", () => {
+    const unions = new NullableUnions(module([
+        { id: "ab", arms: [a, b] },
+        { id: "abu", arms: [a, UNDEFINED_T, b] },
+        { id: "abnu", arms: [a, b, NULL_T, UNDEFINED_T] },
+        { id: "af", arms: [a, F64] },
+        { id: "au", arms: [a, UNDEFINED_T] },
+    ]));
+    expect(unions.shapes("ab")).toMatchObject({ unitTag: -1, nullTag: -1 });
+    expect(unions.shapes("abu")).toMatchObject({ unitTag: 1, nullTag: -1 });
+    expect(unions.shapes("abnu")).toMatchObject({ unitTag: 3, nullTag: 2 });
+    expect(unions.shapes("abnu")?.arms).toEqual([
+        { tag: 0, shapeId: "a" },
+        { tag: 1, shapeId: "b" },
+    ]);
+    // A scalar arm keeps the box; one record arm is a single-arm nullable.
+    expect(unions.get("af")).toBeNull();
+    expect(unions.single("au")).not.toBeNull();
+    expect(unions.shapes("au")).toBeNull();
+    // Tagged shapes number from 2 and move their fields after the word.
+    expect([unions.shapeNumber("a"), unions.shapeNumber("b"), unions.shapeNumber("c")]).toEqual([
+        2, 3, 0,
+    ]);
+    expect([unions.fieldBase("a"), unions.fieldBase("c")]).toEqual([2, 1]);
+    expect(unions.boxedUnions(new Map([["af", { id: "af", arms: [a, F64] }]])).size).toBe(1);
+});
+test("records of runtime-inspected unions keep every union over them boxed", () => {
+    const set = { kind: "set", elem: { kind: "union", unionId: "ab" } };
+    const unions = new NullableUnions(module([
+        { id: "ab", arms: [a, b] },
+        { id: "abu", arms: [a, b, UNDEFINED_T] },
+        { id: "bc", arms: [b, c] },
+        { id: "ac", arms: [a, c] },
+    ], { globals: [{ id: "%g.s", name: "s", type: set, mutable: false }] }));
+    expect(unions.get("ab")).toBeNull();
+    expect(unions.get("abu")).toBeNull();
+    expect(unions.get("bc")).toBeNull();
+    expect(unions.get("ac")).toBeNull();
+    expect(unions.shapeNumber("c")).toBe(0);
+});
+test("library, lifetime-region and debug builds keep record unions boxed", () => {
+    const unions = [{ id: "ab", arms: [a, b] }];
+    expect(new NullableUnions(module(unions), false).get("ab")).toBeNull();
+    expect(new NullableUnions(module(unions, { lifetimeRegions: true })).get("ab")).toBeNull();
+    expect(new NullableUnions(module(unions)).shapes("ab")).not.toBeNull();
+});
+//# sourceMappingURL=nullable-unions.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-unions.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/nullable-unions.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,GAAG,EACH,MAAM,EACN,WAAW,GAIZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC7D,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACnD,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACnD,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAEnD,SAAS,MAAM,CAAC,MAAoB,EAAE,KAAK,GAAsB,EAAE;IACjE,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM;QACN,SAAS,EAAE,EAAE;QACb,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,MAAM,GAAG,IAAI,cAAc,CAC/B,MAAM,CAAC;QACL,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QAC1B,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE;QACxC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QAC5B,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE;KACrC,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC;QAC1C,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE;QACxB,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE;KACzB,CAAC,CAAC;IACH,uEAAuE;IACvE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvC,oEAAoE;IACpE,MAAM,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC1F,CAAC,EAAE,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,cAAc,CAC/B,MAAM,CACJ;QACE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QAC1B,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE;QACxC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QAC1B,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;KAC3B,EACD,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CACpE,CACF,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvE,MAAM,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3F,MAAM,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;AACzE,CAAC,CAAC,CAAC"}

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

@@ -16,6 +16,10 @@ export interface PublishHost {
     readonly inlineUnions: InlineUnionFields;
     /** The nullable-pointer representation of a union, when it has one. */
     nullableArm(t: IrType): IrType | null;
+    /** The union's values are tagged record pointers (nullable-unions.ts). */
+    shapeUnion(t: IrType): boolean;
+    /** The struct index of a record shape's first field. */
+    fieldBase(shapeId: string): number;
     /** Class layout: hierarchy membership, preorder interval, field slots
      * (with their storage types), runtime roots. */
     classInfo(className: string): PublishClassInfo;

package/dist/backend/llvm/publish.js

@@ -1,6 +1,7 @@
 import { mapOf, STRING, typeKey } from "../../ir/ir.js";
 import { mangleClassStruct, mangleRecordStruct } from "../mangle.js";
 import { FN_ATTRS } from "./shapes.js";
+import { shapeTagFn } from "./nullable-unions.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;
@@ -142,6 +143,16 @@ export class PublishWalkers {
                 if (def.arms.some((arm) => scalarRefusal(arm)))
                     throw new LlvmUnsupportedError(`publish of ${typeKey(t)}`, loc);
                 const live = arms.flatMap((a) => (a.fn === null ? [] : [{ tag: a.tag, fn: a.fn }]));
+                if (this.host.shapeUnion(t)) {
+                    // The value is the record itself (or a unit encoding): no box to
+                    // mark; the arm's walker marks and walks the record.
+                    const lines = [head, `entry:`];
+                    lines.push(`  %tag = call i32 ${shapeTagFn(t.unionId)}(ptr %o)`, `  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 ${a.fn}(ptr %o, ptr %ctx)`, `  br label %done`);
+                    lines.push(`done:`, `  ret void`, `}`);
+                    return lines;
+                }
                 const lines = [
                     head,
                     `entry:`,
@@ -163,15 +174,16 @@ export class PublishWalkers {
                 const shape = this.host.recordsById.get(t.shapeId);
                 if (!shape)
                     throw new LlvmUnsupportedError(`publish of an unknown record ${t.shapeId}`, loc);
+                const base = this.host.fieldBase(shape.id);
                 const members = [
                     ...shape.fields.flatMap((f, i) => this.host.inlineUnions.record(f.type)
                         ? []
-                        : [{ name: f.name, index: i + 1, type: f.type }]),
+                        : [{ name: f.name, index: i + base, type: f.type }]),
                     ...(shape.indexValue
                         ? [
                             {
                                 name: "[key: string]",
-                                index: shape.fields.length + 1,
+                                index: shape.fields.length + base,
                                 type: mapOf(STRING, shape.indexValue),
                             },
                         ]

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

@@ -1 +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;AAEvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAoCxD,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,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBACpF,MAAM,KAAK,GAAG;oBACZ,IAAI;oBACJ,QAAQ;oBACR,mEAAmE;oBACnE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,CAAC;oBACvC,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,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,EACxC,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,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/B,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;wBACnC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CACnD;oBACD,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;IAED;;;;;;;+CAO2C;IACnC,SAAS,CAAC,GAAY,EAAE,IAAY;QAC1C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC;YACvC,MAAM,IAAI,yDAAyD,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,SAAS,IAAI,GAAG;YACzG,YAAY,IAAI,4BAA4B;SAC7C,CAAC;QACF,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAY,EAAY,EAAE,CAAC;YACtD,MAAM,IAAI,iDAAiD,IAAI,EAAE;YACjE,MAAM,IAAI,WAAW,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,GAAG;SAClE,CAAC;QACF,MAAM,KAAK,GAAG;YACZ,iBAAiB,CAAC,UAAU;YAC5B,qBAAqB,CAAC,WAAW;YACjC,0CAA0C;YAC1C,QAAQ;YACR,wDAAwD;YACxD,gCAAgC;YAChC,mCAAmC;YACnC,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;YACtB,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACnB,uBAAuB,CAAC,kBAAkB;YAC1C,gCAAgC;SACjC,CAAC;QACF,IAAI,EAAE,GAAG,OAAO,CAAC;QACjB,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAChB,uEAAuE;YACvE,KAAK,CAAC,IAAI,CAAC,2CAA2C,EAAE,iCAAiC,CAAC,CAAC;YAC3F,EAAE,GAAG,OAAO,CAAC;QACf,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,8BAA8B,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3F,IAAI,GAAG,GAAG,GAAG,CAAC;QACd,IAAI,GAAG,EAAE,CAAC;YACR,mEAAmE;YACnE,kCAAkC;YAClC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;YACxD,KAAK,CAAC,IAAI,CACR,sDAAsD,EACtD,iCAAiC,EACjC,mCAAmC,EACnC,2CAA2C,EAC3C,QAAQ,EACR,6CAA6C,EAC7C,2BAA2B,EAC3B,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EACrB,oBAAoB,CAAC,aAAa,EAClC,WAAW,CAAC,yBAAyB,EACrC,kBAAkB,EAClB,OAAO,EACP,oDAAoD,CACrD,CAAC;YACF,GAAG,GAAG,OAAO,CAAC;QAChB,CAAC;QACD,KAAK,CAAC,IAAI,CACR,wDAAwD,EACxD,gCAAgC,EAChC,gEAAgE,CAAC,WAAW,EAC5E,yBAAyB,EACzB,2EAA2E,EAC3E,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,4BAA4B,EAC/E,+BAA+B,EAC/B,4EAA4E,EAC5E,eAAe,GAAG,cAAc,EAChC,qBAAqB,CAAC,cAAc,EACpC,WAAW,CAAC,2BAA2B,EACvC,WAAW,CAAC,aAAa,EACzB,kBAAkB,CACnB,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;0EAGsE;IAC9D,IAAI,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,kBAAkB,CAAC,QAAQ;YACvC,gBAAgB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,EAAE;YAC1D,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,WAAW,IAAI,SAAS,CAAC,EAAE;YACrC,cAAc,EAAE,cAAc,IAAI,OAAO,EAAE,MAAM;YACjD,oBAAoB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,EAAE;YAC9D,OAAO,EAAE,GAAG;YACZ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5B,qBAAqB,EAAE,EAAE;YACzB,SAAS,EAAE,GAAG;SACf,CAAC;IACJ,CAAC;IAED;;6EAEyE;IACjE,SAAS,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;QACjD,IAAI,EAAE,KAAK,eAAe,CAAC,MAAM;YAAE,OAAO,CAAC,eAAe,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;QACpF,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7B,OAAO;YACL,UAAU,EAAE,gDAAgD;YAC5D,SAAS,EAAE,WAAW,CAAC,cAAc,EAAE,EAAE;YACzC,UAAU,EAAE,gDAAgD;YAC5D,SAAS,EAAE,WAAW,CAAC,cAAc,EAAE,EAAE;YACzC,UAAU,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;YAClD,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,EAAE;YACxD,OAAO,EAAE,GAAG;YACZ,2CAA2C,CAAC,SAAS,EAAE,GAAG;YAC1D,qBAAqB,EAAE,EAAE;YACzB,OAAO,EAAE,GAAG;YACZ,SAAS,EAAE,uBAAuB;YAClC,UAAU,EAAE,mDAAmD,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE;YACnF,eAAe,CAAC,cAAc,EAAE,EAAE;YAClC,YAAY,EAAE,oDAAoD,EAAE,gBAAgB;YACpF,eAAe,EAAE,gBAAgB,EAAE,EAAE;YACrC,aAAa,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK;YACzC,WAAW,CAAC,YAAY,EAAE,cAAc,EAAE,EAAE;SAC7C,CAAC;IACJ,CAAC;IAEO,UAAU,CAChB,IAAY,EACZ,MAAc,EACd,MAAe,EACf,OAAwD,EACxD,IAAY,EACZ,GAAW;QAEX,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;QACpF,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,MAAM,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAChH,OAAO,CAAC,sBAAsB,CAAC,EAAE,EACjC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CACnC,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"}
+{"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,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAwCxD,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,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBACpF,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,iEAAiE;oBACjE,qDAAqD;oBACrD,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;oBAC/B,KAAK,CAAC,IAAI,CACR,qBAAqB,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EACpD,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,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,EAAE,eAAe,CAAC,CAAC,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,CAAC;oBAC1F,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;oBACvC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,MAAM,KAAK,GAAG;oBACZ,IAAI;oBACJ,QAAQ;oBACR,mEAAmE;oBACnE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,CAAC;oBACvC,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,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,EACxC,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,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC3C,MAAM,OAAO,GAAG;oBACd,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/B,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;wBACnC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CACtD;oBACD,GAAG,CAAC,KAAK,CAAC,UAAU;wBAClB,CAAC,CAAC;4BACE;gCACE,IAAI,EAAE,eAAe;gCACrB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI;gCACjC,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;IAED;;;;;;;+CAO2C;IACnC,SAAS,CAAC,GAAY,EAAE,IAAY;QAC1C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC;YACvC,MAAM,IAAI,yDAAyD,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,SAAS,IAAI,GAAG;YACzG,YAAY,IAAI,4BAA4B;SAC7C,CAAC;QACF,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAY,EAAY,EAAE,CAAC;YACtD,MAAM,IAAI,iDAAiD,IAAI,EAAE;YACjE,MAAM,IAAI,WAAW,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,GAAG;SAClE,CAAC;QACF,MAAM,KAAK,GAAG;YACZ,iBAAiB,CAAC,UAAU;YAC5B,qBAAqB,CAAC,WAAW;YACjC,0CAA0C;YAC1C,QAAQ;YACR,wDAAwD;YACxD,gCAAgC;YAChC,mCAAmC;YACnC,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;YACtB,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACnB,uBAAuB,CAAC,kBAAkB;YAC1C,gCAAgC;SACjC,CAAC;QACF,IAAI,EAAE,GAAG,OAAO,CAAC;QACjB,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAChB,uEAAuE;YACvE,KAAK,CAAC,IAAI,CAAC,2CAA2C,EAAE,iCAAiC,CAAC,CAAC;YAC3F,EAAE,GAAG,OAAO,CAAC;QACf,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,8BAA8B,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3F,IAAI,GAAG,GAAG,GAAG,CAAC;QACd,IAAI,GAAG,EAAE,CAAC;YACR,mEAAmE;YACnE,kCAAkC;YAClC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;YACxD,KAAK,CAAC,IAAI,CACR,sDAAsD,EACtD,iCAAiC,EACjC,mCAAmC,EACnC,2CAA2C,EAC3C,QAAQ,EACR,6CAA6C,EAC7C,2BAA2B,EAC3B,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EACrB,oBAAoB,CAAC,aAAa,EAClC,WAAW,CAAC,yBAAyB,EACrC,kBAAkB,EAClB,OAAO,EACP,oDAAoD,CACrD,CAAC;YACF,GAAG,GAAG,OAAO,CAAC;QAChB,CAAC;QACD,KAAK,CAAC,IAAI,CACR,wDAAwD,EACxD,gCAAgC,EAChC,gEAAgE,CAAC,WAAW,EAC5E,yBAAyB,EACzB,2EAA2E,EAC3E,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,4BAA4B,EAC/E,+BAA+B,EAC/B,4EAA4E,EAC5E,eAAe,GAAG,cAAc,EAChC,qBAAqB,CAAC,cAAc,EACpC,WAAW,CAAC,2BAA2B,EACvC,WAAW,CAAC,aAAa,EACzB,kBAAkB,CACnB,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;0EAGsE;IAC9D,IAAI,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,kBAAkB,CAAC,QAAQ;YACvC,gBAAgB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,EAAE;YAC1D,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,WAAW,IAAI,SAAS,CAAC,EAAE;YACrC,cAAc,EAAE,cAAc,IAAI,OAAO,EAAE,MAAM;YACjD,oBAAoB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,EAAE;YAC9D,OAAO,EAAE,GAAG;YACZ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5B,qBAAqB,EAAE,EAAE;YACzB,SAAS,EAAE,GAAG;SACf,CAAC;IACJ,CAAC;IAED;;6EAEyE;IACjE,SAAS,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;QACjD,IAAI,EAAE,KAAK,eAAe,CAAC,MAAM;YAAE,OAAO,CAAC,eAAe,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;QACpF,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7B,OAAO;YACL,UAAU,EAAE,gDAAgD;YAC5D,SAAS,EAAE,WAAW,CAAC,cAAc,EAAE,EAAE;YACzC,UAAU,EAAE,gDAAgD;YAC5D,SAAS,EAAE,WAAW,CAAC,cAAc,EAAE,EAAE;YACzC,UAAU,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;YAClD,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,EAAE;YACxD,OAAO,EAAE,GAAG;YACZ,2CAA2C,CAAC,SAAS,EAAE,GAAG;YAC1D,qBAAqB,EAAE,EAAE;YACzB,OAAO,EAAE,GAAG;YACZ,SAAS,EAAE,uBAAuB;YAClC,UAAU,EAAE,mDAAmD,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE;YACnF,eAAe,CAAC,cAAc,EAAE,EAAE;YAClC,YAAY,EAAE,oDAAoD,EAAE,gBAAgB;YACpF,eAAe,EAAE,gBAAgB,EAAE,EAAE;YACrC,aAAa,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK;YACzC,WAAW,CAAC,YAAY,EAAE,cAAc,EAAE,EAAE;SAC7C,CAAC;IACJ,CAAC;IAEO,UAAU,CAChB,IAAY,EACZ,MAAc,EACd,MAAe,EACf,OAAwD,EACxD,IAAY,EACZ,GAAW;QAEX,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;QACpF,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,MAAM,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAChH,OAAO,CAAC,sBAAsB,CAAC,EAAE,EACjC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CACnC,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/publish.test.js

@@ -5,7 +5,7 @@ const loc = { file: "publish-walkers.ts", start: 0, end: 1 };
 const node = { kind: "object", className: "Node" };
 const kids = { kind: "array", elem: node };
 const mod = {
-    irVersion: 16,
+    irVersion: 17,
     sourceFile: loc.file,
     entry: "main",
     functions: [

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

@@ -0,0 +1,31 @@
+import type { LlEmitter } from "./emitter.js";
+import { type IrExpr } from "../../ir/ir.js";
+import type { LlValue } from "./expr-context.js";
+/** Read a receiver whose value is consumed immediately by a field or tag
+ * load. No user code may run between this read and its consumer. Locals
+ * and their projections already have an owner; other expressions keep
+ * their ordinary statement-frame ownership. The caller must retain any
+ * reference result before evaluating another expression. */
+export declare function emitReadReceiver(emitter: LlEmitter, e: IrExpr): LlValue;
+/** A local stable binding keeps its value alive while later arguments
+ * and the callee execute. A proven local union box cannot escape or be
+ * rebound during a call; its independent payload owner keeps it alive.
+ * Other writable bindings need an owned snapshot. */
+export declare function canBorrowCallArgument(emitter: LlEmitter, value: IrExpr): boolean;
+export declare function canBorrowReceiver(emitter: LlEmitter, e: IrExpr): boolean;
+/** Functions returning a walk of their borrowed parameters return it
+ * without a reference (+0) from their borrowing body; direct callers
+ * either consume it as a receiver/walk or retain it at once, and the owned
+ * adapter retains before releasing its parameters. Candidates preserve
+ * every heap edge (so the result stays reachable from the arguments),
+ * borrow every reference parameter and return plain pointers. The set
+ * grows to a fixpoint because a call to a borrowed-return function with
+ * walk arguments is itself a walk; walk facts are then recomputed with
+ * the final set, admitting only parameters whose convention borrows. */
+export declare function analyzeBorrowedReturns(emitter: LlEmitter): void;
+export declare function fieldAliasMetadata(emitter: LlEmitter): string[];
+/** A private stack union source with an independently owned payload. */
+export declare function canStackReceiver(emitter: LlEmitter, e: IrExpr): boolean;
+/** True for union sources that emitReadReceiver can produce as a private
+ * stack box with an independently owned payload (no heap union). */
+export declare function isStackUnionSource(emitter: LlEmitter, e: IrExpr): boolean;