@scriptc/compiler 0.3.2 → 0.3.3

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

@@ -0,0 +1,134 @@
+/* Inline scalar-union fields. A record or class field typed as a scalar
+ * union (every arm a number, a boolean or a unit value, such as
+ * `number | undefined`) stores its tag and payload bits in the object itself
+ * instead of pointing at a `%ScrUnion` box. The slot owns nothing: building
+ * such an object allocates no per-field box, and retain, release, trace and
+ * teardown skip the field. An optional property's ABSENT state is the
+ * undefined arm's tag with ABSENT_FIELD_PAYLOAD bits, the same bits as the
+ * absent sentinel.
+ *
+ * Consumers that need a union value read the pair into a private stack box
+ * (projections and helper walkers, which only borrow) or a fresh heap box
+ * (owned values). Stores copy the tag and bits of any union value. */
+import { isUnitType } from "../../ir/ir.js";
+/** The in-struct type of an inline field: tag, then the payload bits of
+ * the `%ScrUnion` box it replaces (the register pair of a scalar union
+ * result). */
+export const INLINE_UNION_FIELD = "{ i32, i64 }";
+/** Every arm is a number, a boolean or a unit value. */
+export function isScalarUnionDef(def) {
+    return (def !== undefined &&
+        def.arms.every((arm) => arm.kind === "f64" || arm.kind === "bool" || isUnitType(arm)));
+}
+/** Which struct fields store their union inline. Record fields qualify by
+ * type alone. Class fields qualify the same way unless the hierarchy's root
+ * is a runtime class (its C layout and helpers own the slots) or the field
+ * is internal ('%'-prefixed): the decision depends only on what a subclass
+ * shares with its bases, so inherited fields keep one layout. */
+export class InlineUnionFields {
+    unions;
+    cache = new Map();
+    classes = new Map();
+    constructor(unions, classes = []) {
+        this.unions = unions;
+        for (const cls of classes)
+            this.classes.set(cls.name, cls);
+    }
+    /** A class field stores its scalar union inline. */
+    classField(className, field) {
+        let cls = this.classes.get(className);
+        if (!cls || field.startsWith("%"))
+            return false;
+        const type = cls.fields.find((f) => f.name === field)?.type;
+        if (!type || !this.record(type))
+            return false;
+        while (cls.base !== undefined) {
+            const base = this.classes.get(cls.base);
+            if (!base)
+                return false;
+            cls = base;
+        }
+        return cls.runtime !== true;
+    }
+    /** A record field of this type stores its tag and bits inline. */
+    record(type) {
+        if (type.kind !== "union")
+            return false;
+        let inline = this.cache.get(type.unionId);
+        if (inline === undefined) {
+            inline = isScalarUnionDef(this.unions.get(type.unionId));
+            this.cache.set(type.unionId, inline);
+        }
+        return inline;
+    }
+}
+/** The tag and payload bits of an inline field slot. */
+export function loadInlineUnion(B, slot) {
+    const tagPtr = B.tmp(), bitsPtr = B.tmp(), tag = B.tmp(), bits = B.tmp();
+    B.line(`${tagPtr} = getelementptr inbounds ${INLINE_UNION_FIELD}, ptr ${slot}, i32 0, i32 0`);
+    B.line(`${tag} = load i32, ptr ${tagPtr}`);
+    B.line(`${bitsPtr} = getelementptr inbounds ${INLINE_UNION_FIELD}, ptr ${slot}, i32 0, i32 1`);
+    B.line(`${bits} = load i64, ptr ${bitsPtr}`);
+    return { tag, bits };
+}
+export function storeInlineUnion(B, slot, tag, bits) {
+    const tagPtr = B.tmp(), bitsPtr = B.tmp();
+    B.line(`${tagPtr} = getelementptr inbounds ${INLINE_UNION_FIELD}, ptr ${slot}, i32 0, i32 0`);
+    B.line(`store i32 ${tag}, ptr ${tagPtr}`);
+    B.line(`${bitsPtr} = getelementptr inbounds ${INLINE_UNION_FIELD}, ptr ${slot}, i32 0, i32 1`);
+    B.line(`store i64 ${bits}, ptr ${bitsPtr}`);
+}
+/** The tag and payload bits of a `%ScrUnion` box. A NULL box (the dummy
+ * value of an expression that left a pending exception) reads `none`, the
+ * module's zeroed box; the pending check unwinds before anything observes
+ * it. */
+export function unionBoxBits(B, box, none) {
+    const isNull = B.tmp(), source = B.tmp(), tagPtr = B.tmp(), bitsPtr = B.tmp(), tag = B.tmp(), bits = B.tmp();
+    B.line(`${isNull} = icmp eq ptr ${box}, null`);
+    B.line(`${source} = select i1 ${isNull}, ptr ${none}, ptr ${box}`);
+    B.line(`${tagPtr} = getelementptr inbounds %ScrUnion, ptr ${source}, i64 0, i32 1`);
+    B.line(`${tag} = load i32, ptr ${tagPtr}`);
+    B.line(`${bitsPtr} = getelementptr inbounds %ScrUnion, ptr ${source}, i64 0, i32 5`);
+    B.line(`${bits} = load i64, ptr ${bitsPtr}`);
+    return { tag, bits };
+}
+/** The bits of an ordinary union value read from a slot that may hold the
+ * ABSENT state: the undefined arm's payload is zero. */
+export function presentBits(B, tag, bits, undefinedTag) {
+    if (undefinedTag < 0)
+        return bits;
+    const isUndef = B.tmp(), out = B.tmp();
+    B.line(`${isUndef} = icmp eq i32 ${tag}, ${undefinedTag}`);
+    B.line(`${out} = select i1 ${isUndef}, i64 0, i64 ${bits}`);
+    return out;
+}
+/** A private stack box holding `tag` and `bits`. It may only be borrowed:
+ * nothing may retain, release or store it. Its immortal count makes a
+ * stray retain or release a no-op. */
+export function stackUnionBox(B, sizeType, tag, bits) {
+    const box = B.slot();
+    B.entryAllocas.push(`${box} = alloca %ScrUnion`);
+    const tagPtr = B.tmp(), bitsPtr = B.tmp();
+    B.line(`store ${sizeType} -1, ptr ${box}`);
+    B.line(`${tagPtr} = getelementptr inbounds %ScrUnion, ptr ${box}, i64 0, i32 1`);
+    B.line(`store i32 ${tag}, ptr ${tagPtr}`);
+    B.line(`${bitsPtr} = getelementptr inbounds %ScrUnion, ptr ${box}, i64 0, i32 5`);
+    B.line(`store i64 ${bits}, ptr ${bitsPtr}`);
+    return box;
+}
+/** Text-template form for helpers written as raw LLVM lines: copy the tag
+ * and bits of the non-NULL union box `box` into the inline slot `slot`,
+ * with temps named after `out`. */
+export function inlineUnionCopyLines(box, slot, out) {
+    return [
+        `  ${out}.tp = getelementptr inbounds %ScrUnion, ptr ${box}, i64 0, i32 1`,
+        `  ${out}.tag = load i32, ptr ${out}.tp`,
+        `  ${out}.bp = getelementptr inbounds %ScrUnion, ptr ${box}, i64 0, i32 5`,
+        `  ${out}.bits = load i64, ptr ${out}.bp`,
+        `  ${out}.stp = getelementptr inbounds ${INLINE_UNION_FIELD}, ptr ${slot}, i32 0, i32 0`,
+        `  store i32 ${out}.tag, ptr ${out}.stp`,
+        `  ${out}.sbp = getelementptr inbounds ${INLINE_UNION_FIELD}, ptr ${slot}, i32 0, i32 1`,
+        `  store i64 ${out}.bits, ptr ${out}.sbp`,
+    ];
+}
+//# sourceMappingURL=inline-unions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inline-unions.js","sourceRoot":"","sources":["../../../src/backend/llvm/inline-unions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;sEAWsE;AACtE,OAAO,EAAE,UAAU,EAAiD,MAAM,gBAAgB,CAAC;AAG3F;;cAEc;AACd,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAEjD,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAAC,GAA2B;IAC1D,OAAO,CACL,GAAG,KAAK,SAAS;QACjB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CACtF,CAAC;AACJ,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,OAAO,iBAAiB;IAKT,MAAM;IAJR,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACnC,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAEzD,YACmB,MAAuC,EACxD,OAAO,GAA0B,EAAE;sBADlB,MAAM;QAGvB,KAAK,MAAM,GAAG,IAAI,OAAO;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7D,CAAC;IAED,oDAAoD;IACpD,UAAU,CAAC,SAAiB,EAAE,KAAa;QACzC,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC;QAC5D,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9C,OAAO,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACxB,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,OAAO,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC;IAC9B,CAAC;IAED,kEAAkE;IAClE,MAAM,CAAC,IAAY;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YACzD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,wDAAwD;AACxD,MAAM,UAAU,eAAe,CAAC,CAAe,EAAE,IAAY;IAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,6BAA6B,kBAAkB,SAAS,IAAI,gBAAgB,CAAC,CAAC;IAC9F,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,6BAA6B,kBAAkB,SAAS,IAAI,gBAAgB,CAAC,CAAC;IAC/F,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,OAAO,EAAE,CAAC,CAAC;IAC7C,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAe,EAAE,IAAY,EAAE,GAAW,EAAE,IAAY;IACvF,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,6BAA6B,kBAAkB,SAAS,IAAI,gBAAgB,CAAC,CAAC;IAC9F,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,6BAA6B,kBAAkB,SAAS,IAAI,gBAAgB,CAAC,CAAC;IAC/F,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,OAAO,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED;;;SAGS;AACT,MAAM,UAAU,YAAY,CAC1B,CAAe,EACf,GAAW,EACX,IAAY;IAEZ,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,GAAG,QAAQ,CAAC,CAAC;IAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,MAAM,SAAS,IAAI,SAAS,GAAG,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,4CAA4C,MAAM,gBAAgB,CAAC,CAAC;IACpF,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,4CAA4C,MAAM,gBAAgB,CAAC,CAAC;IACrF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,OAAO,EAAE,CAAC,CAAC;IAC7C,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvB,CAAC;AAED;wDACwD;AACxD,MAAM,UAAU,WAAW,CACzB,CAAe,EACf,GAAW,EACX,IAAY,EACZ,YAAoB;IAEpB,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,GAAG,KAAK,YAAY,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,OAAO,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC5D,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;sCAEsC;AACtC,MAAM,UAAU,aAAa,CAC3B,CAAe,EACf,QAAuB,EACvB,GAAW,EACX,IAAY;IAEZ,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,qBAAqB,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,YAAY,GAAG,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IACjF,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IAClF,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,OAAO,EAAE,CAAC,CAAC;IAC5C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;mCAEmC;AACnC,MAAM,UAAU,oBAAoB,CAAC,GAAW,EAAE,IAAY,EAAE,GAAW;IACzE,OAAO;QACL,KAAK,GAAG,+CAA+C,GAAG,gBAAgB;QAC1E,KAAK,GAAG,wBAAwB,GAAG,KAAK;QACxC,KAAK,GAAG,+CAA+C,GAAG,gBAAgB;QAC1E,KAAK,GAAG,yBAAyB,GAAG,KAAK;QACzC,KAAK,GAAG,iCAAiC,kBAAkB,SAAS,IAAI,gBAAgB;QACxF,eAAe,GAAG,aAAa,GAAG,MAAM;QACxC,KAAK,GAAG,iCAAiC,kBAAkB,SAAS,IAAI,gBAAgB;QACxF,eAAe,GAAG,cAAc,GAAG,MAAM;KAC1C,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/inline-unions.test.d.ts

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

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

@@ -0,0 +1,124 @@
+import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { expect, test } from "vitest";
+import { compile, deserializeModule } from "../../index.js";
+import { validateModule } from "../../ir/validate.js";
+import { emitLlvmModule } from "./emitter.js";
+import { InlineUnionFields, isScalarUnionDef } from "./inline-unions.js";
+async function moduleFor(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-inline-unions-"));
+    try {
+        const entry = join(dir, "main.ts"), output = join(dir, "main.ir.json");
+        await writeFile(entry, source);
+        const result = await compile(entry, { outDir: dir, outPath: output, outputKind: "ir" });
+        if (!result.ok)
+            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;
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+/** The body of a source function: its borrowing or i32 entry when it has one. */
+function body(ir, name) {
+    return new RegExp(`^define internal [^\\n]*@sc_b?f_${name}(?:\\.i32)?\\([^]*?^}`, "m").exec(ir)[0];
+}
+const SAMPLES = `
+interface Sample { v: number | undefined; w: number | undefined; label: string }
+const kept: Sample[] = [];
+export function sum(a: number[]): number {
+  let s = 0;
+  for (let i = 0; i < a.length; i++) {
+    const v = a[i];
+    const w = a[i + 1];
+    const o = { v, w };
+    s += (o.v ?? 0) + (o.w ?? 0);
+  }
+  return s;
+}
+export function keep(a: number[], i: number): number {
+  const o: Sample = { v: a[i], w: undefined, label: "k" };
+  kept.push(o);
+  o.w = o.v;
+  return kept.length;
+}
+console.log(sum([1, 2, 3]), keep([4], 0), kept);
+`;
+test("scalar-union record fields store their tag and bits inline", async () => {
+    const mod = await moduleFor(SAMPLES);
+    const ir = emitLlvmModule(mod);
+    // Both shapes lay out each union field as a { tag, bits } pair.
+    expect(ir).toMatch(/%sc_rs_\w+ = type \{ i64, \{ i32, i64 \}, \{ i32, i64 \} \}/);
+    expect(ir).toMatch(/%sc_rs_\w+ = type \{ i64, ptr, \{ i32, i64 \}, \{ i32, i64 \} \}/);
+    // The projected record and its union locals build no union boxes; the
+    // record itself lives in frame storage.
+    const sum = body(ir, "sum");
+    expect(sum).not.toMatch(/@scr_union_new_/);
+    expect(sum).not.toMatch(/@sc_rnew_/);
+    expect(sum).not.toMatch(/@scr_union_(retain|release)/);
+    // A stored record still allocates, but its fields own nothing.
+    const keep = body(ir, "keep");
+    expect(keep).toMatch(/call ptr @sc_rnew_/);
+    expect(keep).not.toMatch(/@scr_union_new_/);
+    const destroy = /^define internal void @sc_rrelease_r\d+_destroy\([^]*?^}/m.exec(ir)?.[0] ?? "";
+    expect(destroy).not.toContain("scr_union_release");
+});
+const PROBES = `
+class Probe {
+  x: number | undefined;
+  hit: boolean | undefined;
+  constructor(x: number | undefined) {
+    if (x !== undefined) this.x = x;
+  }
+}
+export function probe(a: number[]): number {
+  let s = 0;
+  for (let i = 0; i < a.length; i++) {
+    const p = new Probe(a[i + 1]);
+    s += (p.x ?? 0) + (p.hit === undefined ? 1 : 0);
+  }
+  return s;
+}
+console.log(probe([1, 2, 3]));
+`;
+test("class fields store inline and projected instances live in frame storage", async () => {
+    const ir = emitLlvmModule(await moduleFor(PROBES));
+    expect(ir).toMatch(/%sc_o_Probe = type \{ i64, \{ i32, i64 \}, \{ i32, i64 \} \}/);
+    const probe = body(ir, "probe");
+    expect(probe).toMatch(/alloca %sc_o_Probe, align 8/);
+    expect(probe).not.toMatch(/@sc_new_Probe/);
+    // The constructor argument is a stack copy, not a heap box.
+    expect(probe).not.toMatch(/@scr_union_new_/);
+    // Fields the constructor may leave unset start at the undefined tag.
+    expect(probe).toContain("store %sc_o_Probe zeroinitializer");
+    expect(probe).toMatch(/getelementptr inbounds %sc_o_Probe, ptr %\w+, i64 0, i32 2, i32 0/);
+});
+test("only unions of numbers, booleans and unit values store inline", () => {
+    const unions = new Map([
+        ["u0", { id: "u0", arms: [{ kind: "f64" }, { kind: "undefinedT" }] }],
+        ["u1", { id: "u1", arms: [{ kind: "bool" }, { kind: "nullT" }] }],
+        [
+            "u2",
+            {
+                id: "u2",
+                arms: [
+                    { kind: "f64" },
+                    { kind: "bool" },
+                    { kind: "undefinedT" },
+                ],
+            },
+        ],
+        ["u3", { id: "u3", arms: [{ kind: "string" }, { kind: "undefinedT" }] }],
+    ]);
+    const inline = new InlineUnionFields(unions);
+    expect(inline.record({ kind: "union", unionId: "u0" })).toBe(true);
+    expect(inline.record({ kind: "union", unionId: "u1" })).toBe(true);
+    expect(inline.record({ kind: "union", unionId: "u2" })).toBe(true);
+    expect(inline.record({ kind: "union", unionId: "u3" })).toBe(false);
+    expect(inline.record({ kind: "f64" })).toBe(false);
+    expect(isScalarUnionDef(undefined)).toBe(false);
+});
+//# sourceMappingURL=inline-unions.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inline-unions.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/inline-unions.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,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEzE,KAAK,UAAU,SAAS,CAAC,MAAc;IACrC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;IACpE,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,MAAM,CAAC;IAChB,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,iFAAiF;AACjF,SAAS,IAAI,CAAC,EAAU,EAAE,IAAY;IACpC,OAAO,IAAI,MAAM,CAAC,mCAAmC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CACzF,EAAE,CACF,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,OAAO,GAAG;;;;;;;;;;;;;;;;;;;;CAoBf,CAAC;AAEF,IAAI,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;IAC5E,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/B,gEAAgE;IAChE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,6DAA6D,CAAC,CAAC;IAClF,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,kEAAkE,CAAC,CAAC;IACvF,sEAAsE;IACtE,wCAAwC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACrC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACvD,+DAA+D;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,2DAA2D,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;CAiBd,CAAC;AAEF,IAAI,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;IACzF,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,8DAA8D,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAChC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACrD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC3C,4DAA4D;IAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC7C,qEAAqE;IACrE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,mEAAmE,CAAC,CAAC;AAC7F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC;QACrB,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAc,EAAE,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,CAAC,EAAE,CAAC;QACvF,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,CAAC,EAAE,CAAC;QACnF;YACE,IAAI;YACJ;gBACE,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,KAAc,EAAE;oBACxB,EAAE,IAAI,EAAE,MAAe,EAAE;oBACzB,EAAE,IAAI,EAAE,YAAqB,EAAE;iBAChC;aACF;SACF;QACD,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,CAAC,EAAE,CAAC;KAC3F,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/integer-remainder.d.ts

@@ -1,3 +1,4 @@
+import { type IrExpr } from "../../ir/ir.js";
 import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
 import { type LlInteger } from "./integer-values.js";
 /** Integer proofs exclude negative zero and stay inside the exact-number
@@ -7,12 +8,34 @@ import { type LlInteger } from "./integer-values.js";
 export declare function emitSignedIntegerRemainder(host: LlvmEmitterContext, left: LlValue, dividend: LlInteger, divisor: LlInteger): LlValue | null;
 /** JS `%` with an inline integer path for operands that are not both
  * proven integers with a nonzero divisor. At run time the dividend must be
- * an integer of magnitude <= 2^53 and the divisor a nonzero integer; then
+ * an integer from -2^62 up to but not including 2^62 and the divisor a
+ * nonzero integer; then
  * i64 `srem` is exact (no INT64_MIN / -1 overflow is possible), takes the
  * dividend's sign like JS, and an exact zero takes the dividend's sign
- * (`-4 % 2` and `-0 % 3` are -0). A divisor that passes the round trip
- * with magnitude above 2^53 exceeds the dividend's, so `srem` returns the
- * dividend exactly as JS does. Everything else (fractions, NaN, ±Infinity,
- * zero divisors, huge dividends) takes the floating remainder, unchanged.
+ * (`-4 % 2` and `-0 % 3` are -0). The remainder of two doubles is itself a
+ * double, so its conversion back is exact, including for dividends above
+ * 2^53 (every double there is an integer). A divisor that passes the round
+ * trip with magnitude above 2^62 exceeds the dividend's, so `srem` returns
+ * the dividend exactly as JS does. Everything else (fractions, NaN,
+ * ±Infinity, zero divisors, huge dividends) takes the floating remainder,
+ * unchanged.
  * Returns null when the divisor is the constant zero (always NaN). */
 export declare function emitCheckedRemainder(host: LlvmEmitterContext, left: LlValue, right: LlValue, dividend: LlInteger | null, divisor: LlInteger | null): LlValue | null;
+/** The value of a divisor known at compile time: a number literal, its
+ * negation, `2 ** k` for an integer literal k from 0 to 1023 (exactly 2^k),
+ * or an integer whose proven range is a single value. */
+export declare function constantDivisor(expr: IrExpr, integer: LlInteger | null): number | null;
+/** JS `%` by a constant divisor whose magnitude c is a power of two of at
+ * least 1, as `x - trunc(x / c) * c`, which is exact for every double x.
+ * When |x| < c the quotient's magnitude is below 1 and truncates to zero,
+ * so the result is x. Otherwise x / c is a normal double and exact, and
+ * the truncated quotient times c is a multiple of c of magnitude at most
+ * |x|, also exact. When c is below x's ulp, x is itself a multiple of c and
+ * the difference is zero; otherwise both terms are multiples of x's ulp and
+ * the difference, smaller than c, is exact. ±Infinity gives the default
+ * NaN of `Infinity - Infinity`, the NaN fmod also returns for it, and a NaN
+ * dividend propagates. A zero difference takes the dividend's sign
+ * (`-4 % 2` and `-0 % 1` are -0). The divisor's sign does not change the
+ * result. Returns null for any other divisor; a power of two below 1 keeps
+ * frem, because x / c can overflow. */
+export declare function emitPowerOfTwoRemainder(host: LlvmEmitterContext, left: LlValue, divisor: number): LlValue | null;

package/dist/backend/llvm/integer-remainder.js

@@ -1,6 +1,7 @@
 import { F64 } from "../../ir/ir.js";
 import { f64Lit } from "./common.js";
 import { integerNumber, widenInteger } from "./integer-values.js";
+import { emitTruncF64 } from "./trunc.js";
 /** Integer proofs exclude negative zero and stay inside the exact-number
  * range, so signed i64 division cannot overflow. A possibly zero divisor
  * keeps floating remainder. Negative multiples must still produce -0;
@@ -23,13 +24,15 @@ export function emitSignedIntegerRemainder(host, left, dividend, divisor) {
     B.line(`${result} = select i1 ${zero}, double ${signedZero}, double ${number}`);
     return { name: result, type: F64 };
 }
-const EXACT = 2 ** 53;
+/** 2^62, the bound on dividends the inline integer path accepts, as an
+ * i64 literal (`String(2 ** 62)` rounds its digits). */
+const DIVIDEND_LIMIT = "4611686018427387904";
 /** Convert an unproven double to a candidate i64. `freeze` keeps NaN and
  * out-of-range conversions from producing poison; the returned condition
  * is the exact round trip, so it rejects every non-integer. Integral
  * doubles inside the i64 range convert exactly; a passing value outside
  * it (|x| >= 2^63) can only pair with a frozen integer of magnitude above
- * 2^53. `-0` converts to 0 and passes. */
+ * 2^62. `-0` converts to 0 and passes. */
 function candidateInteger(host, value) {
     const B = host.B;
     const raw = B.tmp(), integer = B.tmp(), back = B.tmp(), exact = B.tmp();
@@ -41,13 +44,17 @@ function candidateInteger(host, value) {
 }
 /** JS `%` with an inline integer path for operands that are not both
  * proven integers with a nonzero divisor. At run time the dividend must be
- * an integer of magnitude <= 2^53 and the divisor a nonzero integer; then
+ * an integer from -2^62 up to but not including 2^62 and the divisor a
+ * nonzero integer; then
  * i64 `srem` is exact (no INT64_MIN / -1 overflow is possible), takes the
  * dividend's sign like JS, and an exact zero takes the dividend's sign
- * (`-4 % 2` and `-0 % 3` are -0). A divisor that passes the round trip
- * with magnitude above 2^53 exceeds the dividend's, so `srem` returns the
- * dividend exactly as JS does. Everything else (fractions, NaN, ±Infinity,
- * zero divisors, huge dividends) takes the floating remainder, unchanged.
+ * (`-4 % 2` and `-0 % 3` are -0). The remainder of two doubles is itself a
+ * double, so its conversion back is exact, including for dividends above
+ * 2^53 (every double there is an integer). A divisor that passes the round
+ * trip with magnitude above 2^62 exceeds the dividend's, so `srem` returns
+ * the dividend exactly as JS does. Everything else (fractions, NaN,
+ * ±Infinity, zero divisors, huge dividends) takes the floating remainder,
+ * unchanged.
  * Returns null when the divisor is the constant zero (always NaN). */
 export function emitCheckedRemainder(host, left, right, dividend, divisor) {
     if (divisor && divisor.range.min === 0 && divisor.range.max === 0)
@@ -60,8 +67,9 @@ export function emitCheckedRemainder(host, left, right, dividend, divisor) {
     else {
         const [integer, exact] = candidateInteger(host, left.name);
         const biased = B.tmp(), inRange = B.tmp();
-        B.line(`${biased} = add i64 ${integer}, ${EXACT}`);
-        B.line(`${inRange} = icmp ule i64 ${biased}, ${2 * EXACT}`);
+        // -2^62 <= integer < 2^62: the biased value is nonnegative.
+        B.line(`${biased} = add i64 ${integer}, ${DIVIDEND_LIMIT}`);
+        B.line(`${inRange} = icmp sge i64 ${biased}, 0`);
         conditions.push(exact, inRange);
         x = integer;
     }
@@ -114,4 +122,67 @@ export function emitCheckedRemainder(host, left, right, dividend, divisor) {
     B.line(`${result} = phi double [ ${fastValue}, %${fast} ], [ ${floating}, %${slow} ]`);
     return { name: result, type: F64 };
 }
+/** The value of a divisor known at compile time: a number literal, its
+ * negation, `2 ** k` for an integer literal k from 0 to 1023 (exactly 2^k),
+ * or an integer whose proven range is a single value. */
+export function constantDivisor(expr, integer) {
+    if (integer && integer.range.min === integer.range.max)
+        return integer.range.min;
+    if (expr.kind === "numLit")
+        return expr.value;
+    if (expr.kind === "unary" && expr.op === "-") {
+        const value = constantDivisor(expr.operand, null);
+        return value === null ? null : -value;
+    }
+    if (expr.kind === "bin" &&
+        expr.op === "**" &&
+        expr.left.kind === "numLit" &&
+        expr.left.value === 2 &&
+        expr.right.kind === "numLit" &&
+        Number.isInteger(expr.right.value) &&
+        expr.right.value >= 0 &&
+        expr.right.value <= 1023)
+        return 2 ** expr.right.value;
+    return null;
+}
+/** Whether `value` is a power of two of at least 1. */
+function isPowerOfTwo(value) {
+    if (!Number.isFinite(value) || value < 1)
+        return false;
+    let power = 1;
+    while (power < value)
+        power *= 2;
+    return power === value;
+}
+/** JS `%` by a constant divisor whose magnitude c is a power of two of at
+ * least 1, as `x - trunc(x / c) * c`, which is exact for every double x.
+ * When |x| < c the quotient's magnitude is below 1 and truncates to zero,
+ * so the result is x. Otherwise x / c is a normal double and exact, and
+ * the truncated quotient times c is a multiple of c of magnitude at most
+ * |x|, also exact. When c is below x's ulp, x is itself a multiple of c and
+ * the difference is zero; otherwise both terms are multiples of x's ulp and
+ * the difference, smaller than c, is exact. ±Infinity gives the default
+ * NaN of `Infinity - Infinity`, the NaN fmod also returns for it, and a NaN
+ * dividend propagates. A zero difference takes the dividend's sign
+ * (`-4 % 2` and `-0 % 1` are -0). The divisor's sign does not change the
+ * result. Returns null for any other divisor; a power of two below 1 keeps
+ * frem, because x / c can overflow. */
+export function emitPowerOfTwoRemainder(host, left, divisor) {
+    const magnitude = Math.abs(divisor);
+    if (!isPowerOfTwo(magnitude))
+        return null;
+    const B = host.B;
+    const c = f64Lit(magnitude);
+    const quotient = B.tmp();
+    B.line(`${quotient} = fdiv double ${left.name}, ${c}`);
+    const whole = emitTruncF64(host, quotient);
+    const multiple = B.tmp(), difference = B.tmp(), zero = B.tmp(), signedZero = B.tmp(), result = B.tmp();
+    host.declare("declare double @llvm.copysign.f64(double, double)");
+    B.line(`${multiple} = fmul double ${whole}, ${c}`);
+    B.line(`${difference} = fsub double ${left.name}, ${multiple}`);
+    B.line(`${zero} = fcmp oeq double ${difference}, ${f64Lit(0)}`);
+    B.line(`${signedZero} = call double @llvm.copysign.f64(double ${f64Lit(0)}, double ${left.name})`);
+    B.line(`${result} = select i1 ${zero}, double ${signedZero}, double ${difference}`);
+    return { name: result, type: F64 };
+}
 //# sourceMappingURL=integer-remainder.js.map

package/dist/backend/llvm/integer-remainder.js.map

@@ -1 +1 @@
-{"version":3,"file":"integer-remainder.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-remainder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AAErC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AAElF;;;wDAGwD;AACxD,MAAM,UAAU,0BAA0B,CACxC,IAAwB,EACxB,IAAa,EACb,QAAmB,EACnB,OAAkB;IAElB,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAC1C,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EACzC,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QACzB,OAAO,aAAa,CAClB,IAAI,EACJ,SAAS,EACT;YACE,GAAG,EAAE,CAAC;YACN,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,QAAQ,CAAC,KAAK,CAAC,GAAG,EAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CACvE;SACF,EACD,GAAG,CACJ,CAAC;IACJ,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;AAEtB;;;;;0CAK0C;AAC1C,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAa;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,OAAO,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;IACvD,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;sEASsE;AACtE,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,IAAa,EACb,KAAc,EACd,QAA0B,EAC1B,OAAyB;IAEzB,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,CAAS,CAAC;IACd,IAAI,QAAQ;QAAE,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;SAC1C,CAAC;QACJ,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,mBAAmB,MAAM,KAAK,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,CAAS,CAAC;IACd,IAAI,OAAO,EAAE,CAAC;QACZ,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,OAAO,KAAK,CAAC,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,EAAE,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACpC,EAAE,GAAG,CAAC,CAAC;IACT,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,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,SAAS,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,IAAI,SAAS,GAAG,MAAM,CAAC;IACvB,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,SAAS,MAAM,IAAI,SAAS,QAAQ,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC"}
+{"version":3,"file":"integer-remainder.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-remainder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAe,MAAM,gBAAgB,CAAC;AAElD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C;;;wDAGwD;AACxD,MAAM,UAAU,0BAA0B,CACxC,IAAwB,EACxB,IAAa,EACb,QAAmB,EACnB,OAAkB;IAElB,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAC1C,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EACzC,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QACzB,OAAO,aAAa,CAClB,IAAI,EACJ,SAAS,EACT;YACE,GAAG,EAAE,CAAC;YACN,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,QAAQ,CAAC,KAAK,CAAC,GAAG,EAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CACvE;SACF,EACD,GAAG,CACJ,CAAC;IACJ,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED;wDACwD;AACxD,MAAM,cAAc,GAAG,qBAAqB,CAAC;AAE7C;;;;;0CAK0C;AAC1C,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAa;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,OAAO,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;IACvD,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;sEAasE;AACtE,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,IAAa,EACb,KAAc,EACd,QAA0B,EAC1B,OAAyB;IAEzB,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,CAAS,CAAC;IACd,IAAI,QAAQ;QAAE,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;SAC1C,CAAC;QACJ,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,4DAA4D;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,OAAO,KAAK,cAAc,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,mBAAmB,MAAM,KAAK,CAAC,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,CAAS,CAAC;IACd,IAAI,OAAO,EAAE,CAAC;QACZ,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,OAAO,KAAK,CAAC,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,EAAE,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACpC,EAAE,GAAG,CAAC,CAAC;IACT,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,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,SAAS,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,IAAI,SAAS,GAAG,MAAM,CAAC;IACvB,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,SAAS,MAAM,IAAI,SAAS,QAAQ,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED;;yDAEyD;AACzD,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAyB;IACrE,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,KAAK;QACnB,IAAI,CAAC,EAAE,KAAK,IAAI;QAChB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC5B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI;QAExB,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC/B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uDAAuD;AACvD,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,KAAK;QAAE,KAAK,IAAI,CAAC,CAAC;IACjC,OAAO,KAAK,KAAK,KAAK,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;uCAYuC;AACvC,MAAM,UAAU,uBAAuB,CACrC,IAAwB,EACxB,IAAa,EACb,OAAe;IAEf,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EACtB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,IAAI,CACJ,GAAG,UAAU,4CAA4C,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,IAAI,GAAG,CAC3F,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,YAAY,UAAU,YAAY,UAAU,EAAE,CAAC,CAAC;IACpF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC"}