@scriptc/compiler 0.3.6 → 0.4.1

package/dist/backend/llvm/narrow-guards.js

@@ -0,0 +1,215 @@
+/* Runtime guards for checker-proven narrowings.
+ *
+ * `unionNarrow`, `downcast` and `caughtNarrow` extract a payload whose arm,
+ * class or kind TypeScript's control-flow narrowing proved. Emitted code
+ * verifies that proof once at the narrowing site: the tag, class interval or
+ * caught kind is compared and a mismatch stops the program through the
+ * runtime trap funnel instead of reading the payload as the wrong type. The
+ * frontend lowers every narrowing it knows it cannot prove through checked
+ * extraction, which throws the catchable TypeError, so a failing guard means
+ * either a compiler bug or a program whose hand-written type predicate or
+ * assertion function (`x is T`, `asserts x is T`) lied about a value's type:
+ * TypeScript trusts those claims without checking them. The guard aborts
+ * rather than unwinding through code that assumed the extraction could not
+ * throw. The guards are cheap: one load and compare per site, which LLVM
+ * folds where an identical test already dominates. */
+import { InternalCompilerError } from "../../errors.js";
+import { classMembershipIntervals } from "./classes.js";
+import { vAdapters } from "./shapes.js";
+const NARROW_GUARD_HINT = " (a type predicate or assertion may be wrong)\n";
+export const NARROW_GUARD_MESSAGES = {
+    union: `scriptc: a narrowed value does not have the type its narrowing proved${NARROW_GUARD_HINT}`,
+    downcast: `scriptc: a narrowed object is not an instance of the class its narrowing proved${NARROW_GUARD_HINT}`,
+    caught: `scriptc: a narrowed catch binding does not have the type its narrowing proved${NARROW_GUARD_HINT}`,
+};
+/** Continues in a fresh block where `ok` holds; otherwise traps with the
+ * message for `kind`. */
+export function emitNarrowGuard(host, ok, kind) {
+    const B = host.B;
+    host.declare(`declare i1 @llvm.expect.i1(i1, i1)`);
+    host.declare(`declare void @scr_trap(ptr)`);
+    const expected = B.tmp();
+    B.line(`${expected} = call i1 @llvm.expect.i1(i1 ${ok}, i1 true)`);
+    const pass = B.newLabel("narrow.ok");
+    const fail = B.newLabel("narrow.bad");
+    B.condBr(expected, pass, fail);
+    B.startBlock(fail);
+    B.line(`call void @scr_trap(ptr ${host.cstr(NARROW_GUARD_MESSAGES[kind])})`);
+    B.terminate("unreachable");
+    B.startBlock(pass);
+}
+/** Verifies that the union value `unionName` holds arm `tag`. A two-arm
+ * union holds it exactly when it does not hold the other arm; testing the
+ * other arm lets LLVM fold the guard under a dominating `!== other` test as
+ * well as under `=== tag` (a tag outside the arms is not a union value). */
+export function emitUnionNarrowGuard(host, unionName, unionId, tag) {
+    const ok = host.B.tmp();
+    const actual = host.unionTag(unionName, unionId);
+    if (host.unionsById.get(unionId)?.arms.length === 2)
+        host.B.line(`${ok} = icmp ne i32 ${actual}, ${1 - tag}`);
+    else
+        host.B.line(`${ok} = icmp eq i32 ${actual}, ${tag}`);
+    emitNarrowGuard(host, ok, "union");
+}
+/** The i1 `instanceof` test of the borrowed object `objName`, statically a
+ * `staticClassName`, against `targetClassName`'s preorder intervals. */
+export function emitClassMembership(host, objName, staticClassName, targetClassName, comment) {
+    const B = host.B;
+    const target = host.classMetaOf(targetClassName);
+    const pre = host.loadVtPre(objName, staticClassName);
+    let result;
+    for (const interval of classMembershipIntervals(host.classMeta, target.def.name)) {
+        const ge = B.tmp(), le = B.tmp(), test = B.tmp();
+        B.line(`${ge} = icmp uge ${host.sizeType} ${pre}, ${interval.pre}`);
+        B.line(`${le} = icmp ule ${host.sizeType} ${pre}, ${interval.post}`);
+        B.line(`${test} = and i1 ${ge}, ${le} ; ${comment}`);
+        if (result === undefined)
+            result = test;
+        else {
+            const combined = B.tmp();
+            B.line(`${combined} = or i1 ${result}, ${test}`);
+            result = combined;
+        }
+    }
+    return result;
+}
+/** Verifies that the borrowed object `objName` is a `targetClassName`. */
+export function emitDowncastGuard(host, objName, staticClassName, targetClassName) {
+    const ok = emitClassMembership(host, objName, staticClassName, targetClassName, `downcast ${targetClassName}`);
+    emitNarrowGuard(host, ok, "downcast");
+}
+/** The i1 `e instanceof C` test of the borrowed catch snapshot `caught`.
+ * Hierarchy classes compare the OBJ payload's vtable preorder; standalone
+ * class payloads have no vtable word, so their retain adapter identifies
+ * the exact native layout. */
+export function emitCaughtInstanceof(host, caught, className) {
+    const B = host.B;
+    const target = host.classMetaOf(className);
+    const intervals = classMembershipIntervals(host.classMeta, target.def.name);
+    if (target.idInRc)
+        return emitCaughtClassIdInstanceof(host, caught, target, intervals);
+    if (!target.hierarchy) {
+        const adapterSlot = B.tmp();
+        const adapter = B.tmp();
+        B.line(`${adapterSlot} = getelementptr inbounds %ScrCaught, ptr ${caught}, i64 0, i32 5`);
+        B.line(`${adapter} = load ptr, ptr ${adapterSlot}`);
+        let result;
+        for (const candidate of host.classMeta.values()) {
+            if (candidate.hierarchy ||
+                !intervals.some((range) => range.pre <= candidate.pre && candidate.pre <= range.post))
+                continue;
+            const rc = vAdapters(host.shapeHost, { kind: "object", className: candidate.def.name });
+            const matches = B.tmp();
+            B.line(`${matches} = icmp eq ptr ${adapter}, ${rc.retain}`);
+            if (result === undefined)
+                result = matches;
+            else {
+                const joined = B.tmp();
+                B.line(`${joined} = or i1 ${result}, ${matches}`);
+                result = joined;
+            }
+        }
+        if (result === undefined)
+            throw new InternalCompilerError("empty standalone class membership");
+        return result;
+    }
+    host.declare(`declare zeroext i1 @scr_caught_instanceof(ptr, ${host.sizeType}, ${host.sizeType})`);
+    let result;
+    for (const interval of intervals) {
+        const test = B.tmp();
+        B.line(`${test} = call zeroext i1 @scr_caught_instanceof(ptr ${caught}, ${host.sizeType} ${interval.pre}, ${host.sizeType} ${interval.post})`);
+        if (result === undefined)
+            result = test;
+        else {
+            const combined = B.tmp();
+            B.line(`${combined} = or i1 ${result}, ${test}`);
+            result = combined;
+        }
+    }
+    if (result === undefined)
+        throw new InternalCompilerError("empty class membership");
+    return result;
+}
+/** `e instanceof C` for a class whose instances keep their class id in
+ * the rc word (classes.ts LlClassMeta.idInRc). They are thrown as REF
+ * payloads, like standalone class instances: the retain adapter names the
+ * hierarchy (the adapter of whichever static class threw), and the payload's
+ * class id is tested against the intervals. */
+function emitCaughtClassIdInstanceof(host, caught, target, intervals) {
+    const B = host.B;
+    const kp = B.tmp(), kind = B.tmp(), isRef = B.tmp(), adapterSlot = B.tmp(), adapter = B.tmp();
+    B.line(`${kp} = getelementptr inbounds %ScrCaught, ptr ${caught}, i64 0, i32 1`);
+    B.line(`${kind} = load i32, ptr ${kp}`);
+    B.line(`${isRef} = icmp eq i32 ${kind}, ${CAUGHT_REF_KIND}`);
+    B.line(`${adapterSlot} = getelementptr inbounds %ScrCaught, ptr ${caught}, i64 0, i32 5`);
+    B.line(`${adapter} = load ptr, ptr ${adapterSlot}`);
+    let anyAdapter;
+    for (const m of host.classMeta.values()) {
+        if (m.root !== target.root)
+            continue;
+        const rc = vAdapters(host.shapeHost, { kind: "object", className: m.def.name });
+        const matches = B.tmp();
+        B.line(`${matches} = icmp eq ptr ${adapter}, ${rc.retain}`);
+        if (anyAdapter === undefined)
+            anyAdapter = matches;
+        else {
+            const joined = B.tmp();
+            B.line(`${joined} = or i1 ${anyAdapter}, ${matches}`);
+            anyAdapter = joined;
+        }
+    }
+    const inHierarchy = B.tmp();
+    B.line(`${inHierarchy} = and i1 ${isRef}, ${anyAdapter}`);
+    const test = B.newLabel("caught.class"), join = B.newLabel("caught.class.done"), from = B.currentLabel();
+    B.condBr(inHierarchy, test, join);
+    B.startBlock(test);
+    const payloadSlot = B.tmp(), payload = B.tmp();
+    B.line(`${payloadSlot} = getelementptr inbounds %ScrCaught, ptr ${caught}, i64 0, i32 4`);
+    B.line(`${payload} = load ptr, ptr ${payloadSlot}`);
+    const pre = host.loadVtPre(payload, target.def.name);
+    let result;
+    for (const interval of intervals) {
+        const ge = B.tmp(), le = B.tmp(), t = B.tmp();
+        B.line(`${ge} = icmp uge ${host.sizeType} ${pre}, ${interval.pre}`);
+        B.line(`${le} = icmp ule ${host.sizeType} ${pre}, ${interval.post}`);
+        B.line(`${t} = and i1 ${ge}, ${le}`);
+        if (result === undefined)
+            result = t;
+        else {
+            const combined = B.tmp();
+            B.line(`${combined} = or i1 ${result}, ${t}`);
+            result = combined;
+        }
+    }
+    if (result === undefined)
+        throw new InternalCompilerError("empty class membership");
+    const tested = B.currentLabel();
+    B.br(join);
+    B.startBlock(join);
+    const out = B.tmp();
+    B.line(`${out} = phi i1 [ false, %${from} ], [ ${result}, %${tested} ]`);
+    return out;
+}
+/** SCR_EXC_REF (scr_exception.h). */
+const CAUGHT_REF_KIND = 4;
+/** SCR_EXC_F64 = 1, SCR_EXC_BOOL = 2, SCR_EXC_STR = 3 (scr_exception.h). */
+export const CAUGHT_SCALAR_KINDS = { f64: 1, bool: 2, string: 3 };
+/** Verifies that the borrowed catch snapshot `caught` holds a value of the
+ * narrowed type: a scalar's kind tag, or an object's class. */
+export function emitCaughtNarrowGuard(host, caught, type) {
+    const B = host.B;
+    let ok;
+    if (type.kind === "object") {
+        ok = emitCaughtInstanceof(host, caught, type.className);
+    }
+    else {
+        const kp = B.tmp();
+        const k = B.tmp();
+        ok = B.tmp();
+        B.line(`${kp} = getelementptr inbounds %ScrCaught, ptr ${caught}, i64 0, i32 1`);
+        B.line(`${k} = load i32, ptr ${kp}`);
+        B.line(`${ok} = icmp eq i32 ${k}, ${CAUGHT_SCALAR_KINDS[type.kind]}`);
+    }
+    emitNarrowGuard(host, ok, "caught");
+}
+//# sourceMappingURL=narrow-guards.js.map

package/dist/backend/llvm/narrow-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrow-guards.js","sourceRoot":"","sources":["../../../src/backend/llvm/narrow-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;sDAcsD;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,wBAAwB,EAAoB,MAAM,cAAc,CAAC;AAE1E,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,MAAM,iBAAiB,GAAG,iDAAiD,CAAC;AAE5E,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,KAAK,EAAE,wEAAwE,iBAAiB,EAAE;IAClG,QAAQ,EAAE,kFAAkF,iBAAiB,EAAE;IAC/G,MAAM,EAAE,gFAAgF,iBAAiB,EAAE;CACnG,CAAC;AAEX;yBACyB;AACzB,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,EAAU,EACV,IAAwC;IAExC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,iCAAiC,EAAE,YAAY,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACtC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,2BAA2B,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7E,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,SAAiB,EACjB,OAAe,EACf,GAAW;IAEX,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;QACjD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,MAAM,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC;;QACtD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC;IAC1D,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,OAAe,EACf,eAAuB,EACvB,eAAuB,EACvB,OAAe;IAEf,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACrD,IAAI,MAA0B,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EACZ,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,IAAI,CAAC,QAAQ,IAAI,GAAG,KAAK,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;QACpE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,IAAI,CAAC,QAAQ,IAAI,GAAG,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,EAAE,KAAK,EAAE,MAAM,OAAO,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,GAAG,IAAI,CAAC;aACnC,CAAC;YACJ,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,YAAY,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YACjD,MAAM,GAAG,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,MAAO,CAAC;AACjB,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,OAAe,EACf,eAAuB,EACvB,eAAuB;IAEvB,MAAM,EAAE,GAAG,mBAAmB,CAC5B,IAAI,EACJ,OAAO,EACP,eAAe,EACf,eAAe,EACf,YAAY,eAAe,EAAE,CAC9B,CAAC;IACF,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AACxC,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,MAAc,EACd,SAAiB;IAEjB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,MAAM;QAAE,OAAO,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACvF,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,6CAA6C,MAAM,gBAAgB,CAAC,CAAC;QAC1F,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,WAAW,EAAE,CAAC,CAAC;QACpD,IAAI,MAA0B,CAAC;QAC/B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAChD,IACE,SAAS,CAAC,SAAS;gBACnB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,SAAS,CAAC,GAAG,IAAI,SAAS,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC;gBAErF,SAAS;YACX,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACxF,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,OAAO,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5D,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,GAAG,OAAO,CAAC;iBACtC,CAAC;gBACJ,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,MAAM,KAAK,OAAO,EAAE,CAAC,CAAC;gBAClD,MAAM,GAAG,MAAM,CAAC;YAClB,CAAC;QACH,CAAC;QACD,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,CAAC,CAAC;QAC/F,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,OAAO,CACV,kDAAkD,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,GAAG,CACrF,CAAC;IACF,IAAI,MAA0B,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CACJ,GAAG,IAAI,iDAAiD,MAAM,KAAK,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,KAAK,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,GAAG,CACvI,CAAC;QACF,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,GAAG,IAAI,CAAC;aACnC,CAAC;YACJ,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,YAAY,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YACjD,MAAM,GAAG,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IACD,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;IACpF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;+CAI+C;AAC/C,SAAS,2BAA2B,CAClC,IAAwB,EACxB,MAAc,EACd,MAAmB,EACnB,SAA0C;IAE1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,6CAA6C,MAAM,gBAAgB,CAAC,CAAC;IACjF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,IAAI,KAAK,eAAe,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,6CAA6C,MAAM,gBAAgB,CAAC,CAAC;IAC1F,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,WAAW,EAAE,CAAC,CAAC;IACpD,IAAI,UAA8B,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YAAE,SAAS;QACrC,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAChF,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,OAAO,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5D,IAAI,UAAU,KAAK,SAAS;YAAE,UAAU,GAAG,OAAO,CAAC;aAC9C,CAAC;YACJ,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,UAAU,KAAK,OAAO,EAAE,CAAC,CAAC;YACtD,UAAU,GAAG,MAAM,CAAC;QACtB,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,aAAa,KAAK,KAAK,UAAW,EAAE,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EACrC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EACtC,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;IAC1B,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,EACzB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,6CAA6C,MAAM,gBAAgB,CAAC,CAAC;IAC1F,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,WAAW,EAAE,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,MAA0B,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EACZ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACd,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,IAAI,CAAC,QAAQ,IAAI,GAAG,KAAK,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;QACpE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,IAAI,CAAC,QAAQ,IAAI,GAAG,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,GAAG,CAAC,CAAC;aAChC,CAAC;YACJ,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,YAAY,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;YAC9C,MAAM,GAAG,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IACD,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;IAChC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,uBAAuB,IAAI,SAAS,MAAM,MAAM,MAAM,IAAI,CAAC,CAAC;IACzE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qCAAqC;AACrC,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B,4EAA4E;AAC5E,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAW,CAAC;AAE3E;+DAC+D;AAC/D,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,MAAc,EACd,IAAiF;IAEjF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,EAAU,CAAC;IACf,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACb,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,6CAA6C,MAAM,gBAAgB,CAAC,CAAC;QACjF,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;QACrC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;AACtC,CAAC"}

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

@@ -9,6 +9,7 @@ import { type IrClassDef, type IrModule, type IrType, type IrUnionDef } from "..
  * every container, field, capture, parameter, and return slot holds the
  * plain pointer. Every other union keeps the tagged `%ScrUnion` box. */
 export interface NullableUnion {
+    repr: "single";
     unionId: string;
     refTag: number;
     /** The unit arm NULL encodes. */
@@ -16,8 +17,47 @@ export interface NullableUnion {
     /** 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;
+    /** One of NullableRefArm. Typed as the plain IrType so the self-hosted
+     * frontend keeps IrType's structurally identical arms one record shape
+     * (a PointerUnion arm holding the narrowed intersection would split them). */
+    arm: IrType;
 }
+/** A union of two or more record arms and at most two unit arms (`A | B`,
+ * `A | B | undefined`, discriminated unions of object literals) whose
+ * VALUES are the record pointer itself, like a NullableUnion: NULL is the
+ * unit arm (`undefined` when both exist, NULLABLE_NULL is then `null`).
+ * Every record shape that is an arm of such a union is a TAGGED shape: its
+ * struct carries the shape's module-wide number in a hidden `i32` word
+ * right after the reference count (struct index 1), stored by every
+ * allocation, so the arm of a pointer is that word mapped through the
+ * union's arm table (the per-union `@sc_stag.<id>` helper). Records share
+ * one retain; release and trace dispatch on the arm. */
+export interface ShapeUnion {
+    repr: "shapes";
+    unionId: string;
+    /** The unit arm NULL encodes; -1 when the union has no unit arm. */
+    unitTag: number;
+    /** The `null` arm of a two-unit-arm union, encoded by NULLABLE_NULL;
+     * -1 otherwise. */
+    nullTag: number;
+    /** The record arms in tag order. */
+    arms: readonly {
+        tag: number;
+        shapeId: string;
+    }[];
+}
+/** A union whose values are plain pointers (no `%ScrUnion` box). */
+export type PointerUnion = NullableUnion | ShapeUnion;
+/** The struct index of a tagged record shape's hidden shape-number word. */
+export declare 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 declare function shapeWordHeader(sizeType: "i32" | "i64"): string;
+/** The per-union helper mapping a shape-union value to its tag. */
+export declare function shapeTagFn(unionId: string): string;
+/** The per-union release and trace dispatchers of a shape union. */
+export declare function shapeReleaseFn(unionId: string): string;
+export declare function shapeTraceFn(unionId: string): string;
 /** 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";
@@ -43,23 +83,41 @@ export type NullableRefArm = {
     kind: "array" | "map" | "set";
 });
 /** The arm is a JS object: always truthy, compared by identity. */
-export declare function isObjectArm(nullable: NullableUnion): boolean;
+export declare function isObjectArm(nullable: PointerUnion): 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;
+    /** 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). */
+    private readonly shapeNumbers;
     /** 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;
+    /** `shapes`: allow shape unions (debug builds keep boxes, whose
+     * debug-info layouts describe every arm). */
+    constructor(mod: IrModule, shapes?: boolean);
+    get(unionId: string): PointerUnion | null;
+    of(type: IrType): PointerUnion | null;
+    /** The single-reference-arm form only (shape unions answer null). */
+    single(unionId: string): NullableUnion | null;
+    /** The shape-union form only. */
+    shapes(unionId: string): ShapeUnion | null;
+    /** Every shape union, in module order. */
+    allShapeUnions(): ShapeUnion[];
+    /** The module-wide number a tagged record shape stores in its shape
+     * word, or 0 for shapes that carry none. */
+    shapeNumber(shapeId: string): number;
+    /** The struct index of a record shape's first declared field: 2 for
+     * tagged shapes (after the shape word), 1 otherwise. */
+    fieldBase(shapeId: string): number;
     has(unionId: string): boolean;
     get size(): number;
-    /** The reference arm of every nullable union, by union id. */
+    /** The reference arm of every single-arm 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)

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,7 +158,7 @@ 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))
@@ -100,6 +171,32 @@ function nullableShape(def, emittedClasses, records) {
         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;AAcrD,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;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;;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;
@@ -29,6 +33,9 @@ export interface PublishClassInfo {
     post: number;
     /** A runtime-provided root class (errors, emitters, streams). */
     runtimeRooted: boolean;
+    /** Instances keep their class id in the rc word (classes.ts
+     * LlClassMeta.idInRc). */
+    idInRc: boolean;
     /** The class's own and inherited fields: GEP index and storage type. */
     fields: {
         name: string;