@scriptc/compiler 0.3.6 → 0.4.0

package/dist/backend/llvm/thread-slots.test.js

@@ -0,0 +1,110 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, STRING, VOID } from "../../ir/ir.js";
+import { validateModule } from "../../ir/validate.js";
+import { emitLlvmModule } from "./emitter.js";
+import { mangleClassStruct } from "../mangle.js";
+const loc = { file: "thread-slots.ts", start: 0, end: 1 };
+const slotsType = { kind: "object", className: "%ThreadSlots" };
+const node = { kind: "object", className: "Node" };
+const leaf = { kind: "object", className: "Leaf" };
+const plain = { kind: "object", className: "Plain" };
+const state = { kind: "object", className: "State" };
+const maybeState = { kind: "union", unionId: "u0" };
+/** A key hierarchy (Node, Leaf), a class that is not a key (Plain), and the
+ * value class (State), with `slots` a module global of the slots class. */
+function module(body) {
+    const cls = (name, fields, base) => ({
+        name,
+        ...(base !== undefined ? { base } : {}),
+        fields: fields.map(([field, type]) => ({ name: field, type })),
+        methods: [],
+        loc,
+    });
+    return {
+        irVersion: 17,
+        sourceFile: loc.file,
+        entry: "main",
+        threadSlotKeys: ["Node"],
+        globals: [
+            ["slots", slotsType],
+            ["node", node],
+            ["leaf", leaf],
+            ["plain", plain],
+            ["state", state],
+        ].map(([name, type]) => ({ id: `%g.${name}`, name, type, mutable: false })),
+        functions: [
+            {
+                name: "main",
+                params: [],
+                returnType: VOID,
+                locals: [],
+                body: body.map((expr) => ({ kind: "exprStmt", expr, loc })),
+                loc,
+            },
+        ],
+        classes: [
+            cls("%ThreadSlots", []),
+            cls("Node", [["name", STRING]]),
+            cls("Leaf", [
+                ["name", STRING],
+                ["weight", F64],
+            ], "Node"),
+            cls("Plain", [["name", STRING]]),
+            cls("State", [["count", F64]]),
+        ],
+        unions: [{ id: "u0", arms: [state, { kind: "undefinedT" }] }],
+    };
+}
+function body(llvm, name) {
+    const start = llvm.indexOf(`@${name}(`);
+    return start < 0 ? "" : llvm.slice(start, llvm.indexOf("\n}", start));
+}
+const intrinsic = (name, args, type) => ({ kind: "intrinsic", name, args, type, loc });
+const str = (value) => ({ kind: "strLit", value, type: STRING, loc });
+const global = (id, type) => ({ kind: "varRef", localId: `%g.${id}`, type, loc });
+const slots = global("slots", slotsType);
+const fresh = (type) => global(type.className.toLowerCase(), type);
+test("slots.get reads the slot word, the page and the entry inline", () => {
+    const calls = [
+        intrinsic("slots.get", [str("s"), slots, fresh(leaf)], maybeState),
+        intrinsic("slots.has", [str("s"), slots, fresh(node)], BOOL),
+        intrinsic("slots.set", [str("s"), slots, fresh(leaf), fresh(state)], VOID),
+        intrinsic("slots.delete", [str("t"), slots, fresh(node)], BOOL),
+    ];
+    expect(validateModule(module(calls))).toEqual([]);
+    const llvm = emitLlvmModule(module(calls), { pointerBits: 64 });
+    // The slot word sits after the header words of every hierarchy member.
+    expect(llvm).toMatch(new RegExp(`%${mangleClassStruct("Node")} = type \\{ i64, ptr, i32, ptr \\}`));
+    expect(llvm).toMatch(new RegExp(`%${mangleClassStruct("Leaf")} = type \\{ i64, ptr, i32, ptr, (i32|double) \\}`));
+    expect(llvm).toMatch(new RegExp(`%${mangleClassStruct("Plain")} = type \\{ i64, ptr \\}`));
+    // One block per family name.
+    expect(llvm).toMatch(/@sc_slots_0 = internal global \{ ptr, i32, i32, ptr, ptr \} zeroinitializer/);
+    expect(llvm).toMatch(/@sc_slots_1 = internal global \{ ptr, i32, i32, ptr, ptr \} zeroinitializer/);
+    const main = body(llvm, "sc_f_main");
+    expect(main).toMatch(/getelementptr inbounds %\S+, ptr %\S+, i64 0, i32 2\n {2}(%\S+) = load atomic i32, ptr %\S+ monotonic, align 4\n {2}%\S+ = lshr i32 \1, 10/);
+    expect(main).not.toMatch(/call ptr @scr_slots_get/);
+    expect(main).toMatch(/call void @scr_slots_set\(ptr @sc_slots_0, ptr %\S+, ptr %\S+, ptr %\S+, ptr @\S+\)/);
+    expect(main).toMatch(/call zeroext i1 @scr_slots_delete\(ptr @sc_slots_1, ptr %\S+\)/);
+});
+test("freeing a key releases its values when its slot word is set", () => {
+    const llvm = emitLlvmModule(module([intrinsic("slots.has", [str("s"), slots, fresh(node)], BOOL)]), { pointerBits: 64 });
+    expect(llvm).toMatch(/icmp ne i32 %tdw, 0\n {2}br i1 %tdw\.set, label %tdw\.forget/);
+    expect(llvm).toMatch(/call void @scr_slots_forget\(i32 %tdw\)/);
+});
+test("the validator checks ThreadSlots intrinsic operands", () => {
+    const bad = [
+        intrinsic("slots.get", [str("s"), slots], maybeState),
+        intrinsic("slots.has", [slots, slots, fresh(node)], BOOL),
+        intrinsic("slots.has", [str("s"), slots, fresh(plain)], BOOL),
+        intrinsic("slots.set", [str("s"), slots, fresh(node), { kind: "numLit", value: 1, type: F64, loc }], VOID),
+        intrinsic("slots.get", [str("s"), slots, fresh(node)], state),
+    ];
+    expect(validateModule(module(bad)).map((e) => e.message)).toEqual([
+        "in main: slots.get takes 3 arguments",
+        "in main: slots.has takes a name literal and a %ThreadSlots value",
+        "in main: slots.has key object:Plain is not a ThreadSlots key class",
+        "in main: slots.set value f64 is not a ThreadSlots value type",
+        "in main: slots.get has a V | undefined union type",
+    ]);
+});
+//# sourceMappingURL=thread-slots.test.js.map

package/dist/backend/llvm/thread-slots.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thread-slots.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/thread-slots.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,gBAAgB,CAAC;AAClG,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC1D,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC;AACxE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAC7D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAC7D,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAE5D;2EAC2E;AAC3E,SAAS,MAAM,CAAC,IAAc;IAC5B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAA0B,EAAE,IAAa,EAAE,EAAE,CAAC,CAAC;QACxE,IAAI;QACJ,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,OAAO,EAAE,EAAE;QACX,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,cAAc,EAAE,CAAC,MAAM,CAAC;QACxB,OAAO,EAAE;YACP,CAAC,OAAO,EAAE,SAAS,CAAC;YACpB,CAAC,MAAM,EAAE,IAAI,CAAC;YACd,CAAC,MAAM,EAAE,IAAI,CAAC;YACd,CAAC,OAAO,EAAE,KAAK,CAAC;YAChB,CAAC,OAAO,EAAE,KAAK,CAAC;SACjB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,IAAc,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACrF,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,EAAE;gBACV,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,EAAE;gBACV,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACpE,GAAG;aACJ;SACF;QACD,OAAO,EAAE;YACP,GAAG,CAAC,cAAc,EAAE,EAAE,CAAC;YACvB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/B,GAAG,CACD,MAAM,EACN;gBACE,CAAC,MAAM,EAAE,MAAM,CAAC;gBAChB,CAAC,QAAQ,EAAE,GAAG,CAAC;aAChB,EACD,MAAM,CACP;YACD,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;SAC/B;QACD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;KACvC,CAAC;AAC3B,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;IACxC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAc,EAAE,IAAY,EAAU,EAAE,CACvE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAW,CAAC;AAC3D,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,IAAY,EAAU,EAAE,CAClD,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAW,CAAC;AACjE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AACzC,MAAM,KAAK,GAAG,CAAC,IAAiC,EAAU,EAAE,CAC1D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,CAAC;AAE7C,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,KAAK,GAAG;QACZ,SAAS,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC;QAClE,SAAS,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC;QAC5D,SAAS,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;QAC1E,SAAS,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC;KAChE,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAChE,uEAAuE;IACvE,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,IAAI,MAAM,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAC9E,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,IAAI,MAAM,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,kDAAkD,CAAC,CAC5F,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,iBAAiB,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,CAAC;IAC3F,6BAA6B;IAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,6EAA6E,CAC9E,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,6EAA6E,CAC9E,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,4IAA4I,CAC7I,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACpD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,qFAAqF,CACtF,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,gEAAgE,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,IAAI,GAAG,cAAc,CACzB,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EACtE,EAAE,WAAW,EAAE,EAAE,EAAE,CACpB,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,8DAA8D,CAAC,CAAC;IACrF,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;AAClE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,GAAG,GAAG;QACV,SAAS,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,UAAU,CAAC;QACrD,SAAS,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC;QACzD,SAAS,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;QAC7D,SAAS,CACP,WAAW,EACX,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAC5E,IAAI,CACL;QACD,SAAS,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC;KAC9D,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QAChE,sCAAsC;QACtC,kEAAkE;QAClE,oEAAoE;QACpE,8DAA8D;QAC9D,mDAAmD;KACpD,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/union-repr.d.ts

@@ -1,15 +1,15 @@
 import type { BlockBuilder } from "./blocks.js";
-import { type NullableUnion } from "./nullable-unions.js";
+import { type PointerUnion } from "./nullable-unions.js";
 /** The i32 tag of a union value. */
-export declare function emitUnionTag(B: BlockBuilder, nullable: NullableUnion | null, u: string): string;
+export declare function emitUnionTag(B: BlockBuilder, nullable: PointerUnion | null, u: string): string;
 /** i1: a nullable union value holds its reference arm (neither NULL nor
  * the `null` sentinel). */
-export declare function emitNullablePresent(B: BlockBuilder, nullable: NullableUnion, u: string): string;
+export declare function emitNullablePresent(B: BlockBuilder, nullable: PointerUnion, u: string): string;
 /** i1: a nullable union value holds the arm `tag` (`negated`: does not). */
-export declare function emitNullableIsTag(B: BlockBuilder, nullable: NullableUnion, u: string, tag: number, negated: boolean): string;
+export declare function emitNullableIsTag(B: BlockBuilder, nullable: PointerUnion, u: string, tag: number, negated: boolean): string;
 /** The BORROWED payload pointer of a reference arm. */
-export declare function emitUnionPeek(B: BlockBuilder, nullable: NullableUnion | null, u: string): string;
+export declare function emitUnionPeek(B: BlockBuilder, nullable: PointerUnion | null, u: string): string;
 /** Text-template forms for helpers written as raw LLVM lines: `%out`
  * receives the tag / payload of `u`. */
-export declare function unionTagLines(nullable: NullableUnion | null, u: string, out: string): string[];
-export declare function unionPeekLines(nullable: NullableUnion | null, u: string, out: string): string[];
+export declare function unionTagLines(nullable: PointerUnion | null, u: string, out: string): string[];
+export declare function unionPeekLines(nullable: PointerUnion | null, u: string, out: string): string[];

package/dist/backend/llvm/union-repr.js

@@ -1,7 +1,11 @@
-import { NULLABLE_NULL } from "./nullable-unions.js";
+import { NULLABLE_NULL, shapeTagFn } from "./nullable-unions.js";
 /** The i32 tag of a union value. */
 export function emitUnionTag(B, nullable, u) {
     const t = B.tmp();
+    if (nullable?.repr === "shapes") {
+        B.line(`${t} = call i32 ${shapeTagFn(nullable.unionId)}(ptr ${u})`);
+        return t;
+    }
     if (nullable) {
         const isNull = B.tmp();
         B.line(`${isNull} = icmp eq ptr ${u}, null`);
@@ -24,6 +28,11 @@ export function emitUnionTag(B, nullable, u) {
  * the `null` sentinel). */
 export function emitNullablePresent(B, nullable, u) {
     const present = B.tmp();
+    if (nullable.repr === "shapes" && nullable.unitTag < 0) {
+        // No unit arm: every value is a record (NULL only as a pending dummy).
+        B.line(`${present} = icmp ne ptr ${u}, null`);
+        return present;
+    }
     B.line(`${present} = icmp ne ptr ${u}, null`);
     if (nullable.nullTag < 0)
         return present;
@@ -34,7 +43,12 @@ export function emitNullablePresent(B, nullable, u) {
 }
 /** i1: a nullable union value holds the arm `tag` (`negated`: does not). */
 export function emitNullableIsTag(B, nullable, u, tag, negated) {
-    if (tag === nullable.refTag) {
+    if (nullable.repr === "shapes" && tag !== nullable.unitTag && tag !== nullable.nullTag) {
+        const actual = emitUnionTag(B, nullable, u), t = B.tmp();
+        B.line(`${t} = icmp ${negated ? "ne" : "eq"} i32 ${actual}, ${tag}`);
+        return t;
+    }
+    if (nullable.repr === "single" && tag === nullable.refTag) {
         const present = emitNullablePresent(B, nullable, u);
         if (!negated)
             return present;
@@ -60,6 +74,8 @@ export function emitUnionPeek(B, nullable, u) {
 /** Text-template forms for helpers written as raw LLVM lines: `%out`
  * receives the tag / payload of `u`. */
 export function unionTagLines(nullable, u, out) {
+    if (nullable?.repr === "shapes")
+        return [`  ${out} = call i32 ${shapeTagFn(nullable.unionId)}(ptr ${u})`];
     if (nullable && nullable.nullTag < 0)
         return [
             `  ${out}.isnull = icmp eq ptr ${u}, null`,

package/dist/backend/llvm/union-repr.js.map

@@ -1 +1 @@
-{"version":3,"file":"union-repr.js","sourceRoot":"","sources":["../../../src/backend/llvm/union-repr.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,aAAa,EAAsB,MAAM,sBAAsB,CAAC;AAEzE,oCAAoC;AACpC,MAAM,UAAU,YAAY,CAAC,CAAe,EAAE,QAA8B,EAAE,CAAS;IACrF,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;YACzB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,MAAM,SAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,kBAAkB,CAAC,KAAK,aAAa,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,gBAAgB,SAAS,SAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/F,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,MAAM,SAAS,QAAQ,CAAC,OAAO,SAAS,OAAO,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,4CAA4C,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;2BAC2B;AAC3B,MAAM,UAAU,mBAAmB,CAAC,CAAe,EAAE,QAAuB,EAAE,CAAS;IACrF,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,MAAM,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACxB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,CAAC,KAAK,aAAa,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,OAAO,KAAK,UAAU,EAAE,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,CAAe,EACf,QAAuB,EACvB,CAAS,EACT,GAAW,EACX,OAAgB;IAEhB,IAAI,GAAG,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,mBAAmB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,OAAO,OAAO,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,QAAQ,CAAC,CAAC;QACzC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,MAAM,GAAG,GAAG,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,aAAa,CAAC,CAAe,EAAE,QAA8B,EAAE,CAAS;IACtF,IAAI,QAAQ;QAAE,OAAO,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,4CAA4C,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;wCACwC;AACxC,MAAM,UAAU,aAAa,CAAC,QAA8B,EAAE,CAAS,EAAE,GAAW;IAClF,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC;QAClC,OAAO;YACL,KAAK,GAAG,yBAAyB,CAAC,QAAQ;YAC1C,KAAK,GAAG,gBAAgB,GAAG,gBAAgB,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE;SACtF,CAAC;IACJ,IAAI,QAAQ;QACV,OAAO;YACL,KAAK,GAAG,yBAAyB,CAAC,QAAQ;YAC1C,KAAK,GAAG,4BAA4B,CAAC,KAAK,aAAa,EAAE;YACzD,KAAK,GAAG,wBAAwB,GAAG,mBAAmB,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE;YAChG,KAAK,GAAG,gBAAgB,GAAG,gBAAgB,QAAQ,CAAC,OAAO,SAAS,GAAG,UAAU;SAClF,CAAC;IACJ,OAAO;QACL,KAAK,GAAG,8CAA8C,CAAC,gBAAgB;QACvE,KAAK,GAAG,oBAAoB,GAAG,IAAI;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAA8B,EAAE,CAAS,EAAE,GAAW;IACnF,yEAAyE;IACzE,IAAI,QAAQ;QAAE,OAAO,CAAC,KAAK,GAAG,4BAA4B,CAAC,SAAS,CAAC,CAAC;IACtE,OAAO;QACL,KAAK,GAAG,8CAA8C,CAAC,gBAAgB;QACvE,KAAK,GAAG,oBAAoB,GAAG,IAAI;KACpC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"union-repr.js","sourceRoot":"","sources":["../../../src/backend/llvm/union-repr.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,aAAa,EAAE,UAAU,EAAqB,MAAM,sBAAsB,CAAC;AAEpF,oCAAoC;AACpC,MAAM,UAAU,YAAY,CAAC,CAAe,EAAE,QAA6B,EAAE,CAAS;IACpF,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACpE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;YACzB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,MAAM,SAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,kBAAkB,CAAC,KAAK,aAAa,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,gBAAgB,SAAS,SAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/F,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,MAAM,SAAS,QAAQ,CAAC,OAAO,SAAS,OAAO,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,4CAA4C,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;2BAC2B;AAC3B,MAAM,UAAU,mBAAmB,CAAC,CAAe,EAAE,QAAsB,EAAE,CAAS;IACpF,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QACvD,uEAAuE;QACvE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC9C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,MAAM,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACxB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,CAAC,KAAK,aAAa,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,OAAO,KAAK,UAAU,EAAE,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,CAAe,EACf,QAAsB,EACtB,CAAS,EACT,GAAW,EACX,OAAgB;IAEhB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,KAAK,QAAQ,CAAC,OAAO,IAAI,GAAG,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;QACvF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EACzC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACd,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,QAAQ,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC;QACrE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,mBAAmB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,OAAO,OAAO,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,QAAQ,CAAC,CAAC;QACzC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,MAAM,GAAG,GAAG,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,aAAa,CAAC,CAAe,EAAE,QAA6B,EAAE,CAAS;IACrF,IAAI,QAAQ;QAAE,OAAO,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,4CAA4C,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;wCACwC;AACxC,MAAM,UAAU,aAAa,CAAC,QAA6B,EAAE,CAAS,EAAE,GAAW;IACjF,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ;QAC7B,OAAO,CAAC,KAAK,GAAG,eAAe,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3E,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC;QAClC,OAAO;YACL,KAAK,GAAG,yBAAyB,CAAC,QAAQ;YAC1C,KAAK,GAAG,gBAAgB,GAAG,gBAAgB,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE;SACtF,CAAC;IACJ,IAAI,QAAQ;QACV,OAAO;YACL,KAAK,GAAG,yBAAyB,CAAC,QAAQ;YAC1C,KAAK,GAAG,4BAA4B,CAAC,KAAK,aAAa,EAAE;YACzD,KAAK,GAAG,wBAAwB,GAAG,mBAAmB,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE;YAChG,KAAK,GAAG,gBAAgB,GAAG,gBAAgB,QAAQ,CAAC,OAAO,SAAS,GAAG,UAAU;SAClF,CAAC;IACJ,OAAO;QACL,KAAK,GAAG,8CAA8C,CAAC,gBAAgB;QACvE,KAAK,GAAG,oBAAoB,GAAG,IAAI;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAA6B,EAAE,CAAS,EAAE,GAAW;IAClF,yEAAyE;IACzE,IAAI,QAAQ;QAAE,OAAO,CAAC,KAAK,GAAG,4BAA4B,CAAC,SAAS,CAAC,CAAC;IACtE,OAAO;QACL,KAAK,GAAG,8CAA8C,CAAC,gBAAgB;QACvE,KAAK,GAAG,oBAAoB,GAAG,IAAI;KACpC,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/union-retype.test.js

@@ -78,7 +78,7 @@ function fixture() {
         loc,
     };
     return {
-        irVersion: 16,
+        irVersion: 17,
         sourceFile: loc.file,
         entry: "main",
         records: [{ id: "cell", fields: [{ name: "x", type: F64 }] }],
@@ -162,7 +162,9 @@ test("a nullable-pointer source rebuilds the target box", () => {
     expect(retag).toContain("@scr_union_new_ref(i32 0");
     expect(retag).not.toContain("retype.share");
 });
-async function llvmFor(source) {
+/** `boxed`: keep every union a tagged box (record unions otherwise become
+ * shape unions, which retype without any box). */
+async function llvmFor(source, boxed = true) {
     const dir = await mkdtemp(join(tmpdir(), "scriptc-union-retype-"));
     try {
         const entry = join(dir, "main.ts"), output = join(dir, "main.ir.json");
@@ -172,7 +174,7 @@ async function llvmFor(source) {
             throw new Error(result.diagnostics.map((item) => `${item.code}: ${item.message}`).join("\n"));
         const module = deserializeModule(await readFile(output, "utf8"));
         expect(validateModule(module)).toEqual([]);
-        return { module, ir: emitLlvmModule(module) };
+        return { module, ir: emitLlvmModule(boxed ? keepUnionsBoxed(module) : module) };
     }
     finally {
         await rm(dir, { recursive: true, force: true });
@@ -226,4 +228,16 @@ console.log(leafValue(parsed));
     expect(stored).not.toBeNull();
     expect(ir).toContain(`load i8, ptr ${stored[1]}`);
 });
+test("record unions retype as the record pointer itself", async () => {
+    const { module, ir } = await llvmFor(VISITOR, false);
+    const helpers = module.functions.filter((fn) => fn.name.startsWith("%union.retag."));
+    expect(helpers.length).toBeGreaterThan(0);
+    for (const helper of helpers) {
+        const symbol = `sc_bf__x25_union_retag_${helper.name.slice("%union.retag.".length)}`;
+        const retag = body(ir, symbol);
+        expect(retag).not.toMatch(/@scr_union_new|retype\.share|sc_retype_guard/);
+    }
+    // No record of the visitor is ever boxed.
+    expect(ir).not.toMatch(/call ptr @scr_union_new_ref/);
+});
 //# sourceMappingURL=union-retype.test.js.map

package/dist/backend/llvm/union-retype.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"union-retype.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/union-retype.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EACL,GAAG,EACH,WAAW,EACX,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC1D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC5D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACxD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAW,MAAM,EAAU,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACzC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,MAAM;IACf,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,KAAK;IACL,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AAEH,SAAS,IAAI,CAAC,EAAU,EAAE,IAAY;IACpC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,4BAA4B,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnC,OAAO,KAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED;yCACyC;AACzC,SAAS,OAAO;IACd,MAAM,KAAK,GAAe;QACxB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACxD,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,EAAE;QACV,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,QAAQ;4BACjB,GAAG,EAAE,CAAC;4BACN,KAAK,EAAE;gCACL,IAAI,EAAE,WAAW;gCACjB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;gCAC5E,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;4BACD,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;qBACF;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE;YAClD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;SACrE;QACD,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,GAAa;IACzB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,OAAO,cAAc,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAC1D,wEAAwE;IACxE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IAC7D,sDAAsD;IACtD,MAAM,KAAK,GAAG,0CAA0C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,wEAAwE;IACxE,MAAM,SAAS,GAAG,OAAO,EAAE,CAAC;IAC5B,SAAS,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG;QAC7B;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,MAAM;gBACf,GAAG,EAAE,CAAC;gBACN,KAAK,EAAE;oBACL,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,QAAQ;oBACjB,GAAG,EAAE,CAAC;oBACN,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;oBACf,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,IAAI,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CACxD,CAAC;IACF,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,MAAO,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;IAC/D,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7D,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,uEAAuE;IACvE,MAAM,EAAE,GAAG,cAAc,CACvB;QACE,GAAG,GAAG;QACN,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,cAAc;gBAClB,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;gBACjC,OAAO,EAAE,KAAK;aACf;SACF;KACF,EACD,EAAE,WAAW,EAAE,EAAE,EAAE,CACpB,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,KAAK,UAAU,OAAO,CAAC,MAAc;IACnC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACrC,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;IAChD,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG;;;;;;;;;;;;;;;;;;;;;;CAsBf,CAAC;AAEF,IAAI,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;IACvD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAC3B,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACpB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ;QAC7B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,IAAI,KAAK,aAAa,CAC5C,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,0BAA0B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;IACtE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,OAAO,CAAC,GAAG,OAAO;;;CAGxC,CAAC,CAAC;IACD,uEAAuE;IACvE,MAAM,MAAM,GAAG,wCAAwC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,gBAAgB,MAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC"}
+{"version":3,"file":"union-retype.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/union-retype.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EACL,GAAG,EACH,WAAW,EACX,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC1D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC5D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACxD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAW,MAAM,EAAU,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACzC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,MAAM;IACf,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,KAAK;IACL,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AAEH,SAAS,IAAI,CAAC,EAAU,EAAE,IAAY;IACpC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,4BAA4B,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnC,OAAO,KAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED;yCACyC;AACzC,SAAS,OAAO;IACd,MAAM,KAAK,GAAe;QACxB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACxD,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,EAAE;QACV,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,QAAQ;4BACjB,GAAG,EAAE,CAAC;4BACN,KAAK,EAAE;gCACL,IAAI,EAAE,WAAW;gCACjB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;gCAC5E,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;4BACD,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;qBACF;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE;YAClD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;SACrE;QACD,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,GAAa;IACzB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,OAAO,cAAc,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAC1D,wEAAwE;IACxE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IAC7D,sDAAsD;IACtD,MAAM,KAAK,GAAG,0CAA0C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,wEAAwE;IACxE,MAAM,SAAS,GAAG,OAAO,EAAE,CAAC;IAC5B,SAAS,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG;QAC7B;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,MAAM;gBACf,GAAG,EAAE,CAAC;gBACN,KAAK,EAAE;oBACL,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,QAAQ;oBACjB,GAAG,EAAE,CAAC;oBACN,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;oBACf,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,IAAI,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CACxD,CAAC;IACF,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,MAAO,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;IAC/D,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7D,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,uEAAuE;IACvE,MAAM,EAAE,GAAG,cAAc,CACvB;QACE,GAAG,GAAG;QACN,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,cAAc;gBAClB,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;gBACjC,OAAO,EAAE,KAAK;aACf;SACF;KACF,EACD,EAAE,WAAW,EAAE,EAAE,EAAE,CACpB,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH;kDACkD;AAClD,KAAK,UAAU,OAAO,CAAC,MAAc,EAAE,KAAK,GAAG,IAAI;IACjD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACrC,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAClF,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG;;;;;;;;;;;;;;;;;;;;;;CAsBf,CAAC;AAEF,IAAI,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;IACvD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAC3B,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACpB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ;QAC7B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,IAAI,KAAK,aAAa,CAC5C,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,0BAA0B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;IACtE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,OAAO,CAAC,GAAG,OAAO;;;CAGxC,CAAC,CAAC;IACD,uEAAuE;IACvE,MAAM,MAAM,GAAG,wCAAwC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,gBAAgB,MAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;IACnE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,0BAA0B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IAC5E,CAAC;IACD,0CAA0C;IAC1C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC"}

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

@@ -26,7 +26,6 @@ export declare class LlWalkers {
     readonly defs: string[];
     constructor(host: WalkerHost);
     private get S();
-    private abiOffset;
     /** The value-parameter LLVM type of a writer for `t`. */
     private valTy;
     private putc;
@@ -66,7 +65,8 @@ export declare class LlWalkers {
      * field and for internal '%'-fields. */
     private recordFieldWriter;
     /** Whether the walker for `t` can leave an exception pending: cyclic
-     * values, and records serialized through a kept checked source. */
+     * values, records serialized through a kept checked source, and
+     * checked-dynamic values (toJSON methods, getters, BigInts). */
     jsonWriteMayThrow(t: IrType, seen?: Set<string>): boolean;
     /** Overflow entries follow the declared fields, in JS OWN-KEY order
      * (scr_map_keys_js_order); keys escape like any JSON string;

package/dist/backend/llvm/walkers.js

@@ -7,6 +7,7 @@ import { mangleRecordStruct } from "../mangle.js";
 import { BlockBuilder } from "./blocks.js";
 import { llvmCommentText } from "./common.js";
 import { llFieldType, loadStructField, releaseSym, traceAdapter, } from "./shapes.js";
+import { disposeHookLoadLines, RECORD_SOURCES_GATE } from "./alloc.js";
 import { recordMayKeepSource, recordSourceFieldOrder } from "./record-sources.js";
 import { LlvmUnsupportedError } from "./unsupported.js";
 import { emitUnionPeek, emitUnionTag } from "./union-repr.js";
@@ -25,9 +26,6 @@ export class LlWalkers {
     get S() {
         return this.host.sizeType;
     }
-    abiOffset(native64, wasm32) {
-        return this.S === "i32" ? wasm32 : native64;
-    }
     /** The value-parameter LLVM type of a writer for `t`. */
     valTy(t) {
         return t.kind === "f64" ? "double" : t.kind === "bool" ? "i1" : "ptr";
@@ -147,10 +145,10 @@ export class LlWalkers {
                 B.line(`call void @scr_jb_put_json_str(ptr %b, ptr %v)`);
                 break;
             case "dyn":
-                // Overflow values under an `unknown` index signature: the checked-dynamic tree
-                // serializes itself (runtime walker). Bare stringify of dyn stays
-                // frontend-fenced; this writer is reachable only through overflow
-                // entries.
+                // A checked-dynamic value serializes itself (runtime walker).
+                // Bare stringify of dyn stays frontend-fenced, and overflow
+                // entries under an `unknown` index signature go through
+                // scr_jb_put_dyn_entry, which also runs the value's toJSON.
                 this.host.declare(`declare void @scr_jb_put_dyn(ptr, ptr)`);
                 B.line(`call void @scr_jb_put_dyn(ptr %b, ptr %v)`);
                 break;
@@ -200,7 +198,8 @@ export class LlWalkers {
         const shape = this.host.recordsById.get(shapeId);
         if (!shape)
             throw new InternalCompilerError(`llvm emitter bug: jsonStringify of unknown shape ${shapeId}`);
-        const fieldIndex = new Map(shape.fields.map((f, i) => [f.name, i + 1]));
+        const fieldBase = this.host.nullableUnions.fieldBase(shapeId);
+        const fieldIndex = new Map(shape.fields.map((f, i) => [f.name, i + fieldBase]));
         if (recordMayKeepSource(shape))
             this.emitRecordSourceWriter(B, shapeId);
         // CYCLE-CAPABLE shapes bracket the walk with the circular-detection
@@ -237,7 +236,11 @@ export class LlWalkers {
             throw new InternalCompilerError(`llvm emitter bug: declaredOrder of shape ${shapeId} omits a non-internal field`);
         }
         const byName = new Map(shape.fields.map((f) => [f.name, f]));
-        const emitFields = order.map((n) => byName.get(n)).filter((f) => f !== undefined);
+        // Function-valued properties are omitted, as JSON.stringify omits them.
+        const emitFields = order
+            .map((n) => byName.get(n))
+            .filter((f) => f !== undefined)
+            .filter((f) => f.type.kind !== "func");
         const droppable = emitFields.some((f) => undefinedArmTag(f.type, this.host.unionsById) >= 0) ||
             !!shape.indexValue;
         this.putc(B, "%b", "123"); // '{'
@@ -308,6 +311,25 @@ export class LlWalkers {
         const writer = this.recordFieldWriter(shapeId);
         const lSource = B.newLabel("jw.source");
         const lNative = B.newLabel("jw.native");
+        // Only a program that can keep record sources looks one up (the gate
+        // folds to a constant), and only once one was kept: keeping a source
+        // installs the dispose hook, so a NULL hook means the table is empty.
+        const lHooked = B.newLabel("jw.hooked");
+        const kept = B.tmp();
+        B.line(`${kept} = load i1, ptr ${RECORD_SOURCES_GATE}`);
+        B.condBr(kept, lHooked, lNative);
+        B.startBlock(lHooked);
+        const hook = B.tmp();
+        const hookLines = disposeHookLoadLines(host, hook);
+        if (hookLines !== null) {
+            const lProbe = B.newLabel("jw.probe");
+            for (const line of hookLines)
+                B.line(line.trimStart());
+            const installed = B.tmp();
+            B.line(`${installed} = icmp ne ptr ${hook}, null`);
+            B.condBr(installed, lProbe, lNative);
+            B.startBlock(lProbe);
+        }
         if (traceAdapter(host, { kind: "record", shapeId }) === null) {
             // One lookup: the runtime writes the record when it kept a source.
             host.declare(`declare zeroext i1 @scr_jb_try_record_source(ptr, ptr, ptr)`);
@@ -347,7 +369,8 @@ export class LlWalkers {
             throw new InternalCompilerError(`llvm emitter bug: field writer of unknown shape ${shapeId}`);
         const name = `sc_jwf_${this.recordFieldWriters.size}`;
         this.recordFieldWriters.set(shapeId, name);
-        const fieldIndex = new Map(shape.fields.map((f, i) => [f.name, i + 1]));
+        const fieldBase = this.host.nullableUnions.fieldBase(shapeId);
+        const fieldIndex = new Map(shape.fields.map((f, i) => [f.name, i + fieldBase]));
         const byName = new Map(shape.fields.map((f) => [f.name, f]));
         const cyclic = traceAdapter(this.host, { kind: "record", shapeId }) !== null;
         const order = recordSourceFieldOrder(shape);
@@ -358,7 +381,8 @@ export class LlWalkers {
         order.forEach((fieldName, i) => {
             B.startBlock(labels[i]);
             const f = byName.get(fieldName);
-            if (fieldName.startsWith("%")) {
+            // Internal fields stay hidden; function-valued properties are omitted.
+            if (fieldName.startsWith("%") || f.type.kind === "func") {
                 B.terminate("ret i1 false");
                 return;
             }
@@ -391,11 +415,14 @@ export class LlWalkers {
         return name;
     }
     /** Whether the walker for `t` can leave an exception pending: cyclic
-     * values, and records serialized through a kept checked source. */
+     * values, records serialized through a kept checked source, and
+     * checked-dynamic values (toJSON methods, getters, BigInts). */
     jsonWriteMayThrow(t, seen = new Set()) {
         if (traceAdapter(this.host, t) !== null)
             return true;
         switch (t.kind) {
+            case "dyn":
+                return true;
             case "array":
                 return this.jsonWriteMayThrow(t.elem, seen);
             case "union":
@@ -424,8 +451,17 @@ export class LlWalkers {
         const host = this.host;
         const ovfp = B.tmp();
         const ovf = B.tmp();
-        B.line(`${ovfp} = getelementptr inbounds %${mangleRecordStruct(shape.id)}, ptr %v, i64 0, i32 ${shape.fields.length + 1}`);
+        B.line(`${ovfp} = getelementptr inbounds %${mangleRecordStruct(shape.id)}, ptr %v, i64 0, i32 ${shape.fields.length + this.host.nullableUnions.fieldBase(shape.id)}`);
         B.line(`${ovf} = load ptr, ptr ${ovfp} ; overflow map`);
+        if (iv.kind === "dyn") {
+            // The runtime writes every entry with JSON.stringify's member rules:
+            // each value's toJSON runs with its key before the entry is dropped
+            // or written, and containers below it join the circular-structure
+            // stack. It may leave an exception pending.
+            host.declare(`declare void @scr_jb_put_dyn_entries(ptr, ptr, ptr, ptr)`);
+            B.line(`call void @scr_jb_put_dyn_entries(ptr %b, ptr %v, ptr ${ovf}, ptr ${first})`);
+            return;
+        }
         host.declare(`declare ptr @scr_map_keys_js_order(ptr)`);
         host.declare(`declare double @scr_arr_len(ptr)`);
         host.declare(`declare ptr @scr_arr_get_ref(ptr, double)`);
@@ -463,20 +499,9 @@ export class LlWalkers {
                 B.line(`${val} = call ptr @scr_map_get_str_ref(ptr ${ovf}, ptr ${k}) ; value (+1)`);
             }
             // Undefined-valued entries drop, exactly the optional-field rule: a
-            // dyn value whose dyn kind follows its size_t RC word (enum
-            // member 6 — scr_runtime.h's ScrDynKind), or a union holding its
-            // undefined arm.
+            // union holding its undefined arm.
             let skipUndef = null;
-            if (iv.kind === "dyn") {
-                const kp = B.tmp();
-                const kd = B.tmp();
-                const isu = B.tmp();
-                B.line(`${kp} = getelementptr inbounds i8, ptr ${val}, i64 ${this.abiOffset(8, 4)} ; ->kind`);
-                B.line(`${kd} = load i32, ptr ${kp}`);
-                B.line(`${isu} = icmp eq i32 ${kd}, 6 ; SCR_DYN_UNDEF (NULL is 0 — null members DO serialize)`);
-                skipUndef = isu;
-            }
-            else if (iv.kind === "union" && undefinedArmTag(iv, this.host.unionsById) >= 0) {
+            if (iv.kind === "union" && undefinedArmTag(iv, this.host.unionsById) >= 0) {
                 const tag = this.unionTag(B, val, iv.unionId);
                 const isu = B.tmp();
                 B.line(`${isu} = icmp eq i32 ${tag}, ${undefinedArmTag(iv, this.host.unionsById)}`);