@scriptc/compiler 0.3.0 → 0.3.1

package/dist/backend/llvm/int32-abi.js

@@ -0,0 +1,62 @@
+import { everyStmtList } from "../../ir/traverse.js";
+/** Suffix of a function's i32 entry symbol. The ordinary symbol stays a
+ * double-ABI wrapper around it. */
+export const INT32_ABI_SUFFIX = ".i32";
+/** Functions whose direct calls pass int32 parameters and results in
+ * integer registers.
+ *
+ * A parameter qualifies when analyzeInt32Slots proved its incoming value
+ * an int32 at every call site (it only does so for functions reached by
+ * direct calls alone, never as values, through virtual dispatch or from
+ * the runtime) or an Int32 contract pins it. A result qualifies when every
+ * return is proven an int32. The proofs exclude -0, NaN and fractions, so
+ * the i32 converts back to the same double. A parameter that a number
+ * (not i32) result returns as is, like `n` in `n < 2 ? n : fib(n - 1) +
+ * fib(n - 2)`, keeps its double: the incoming double is that result, where
+ * an i32 would add a conversion to the path that returns it.
+ *
+ * Only direct `call` and `new` sites use the i32 entry. Every other way to
+ * reach the function (closure and virtual-dispatch entries, constructor
+ * thunks, adapters, the runtime) keeps the double-ABI symbol, which becomes
+ * a thin wrapper that converts and calls the i32 entry. Async functions and
+ * generators keep their own entries; library builds (no slot facts) and
+ * debug builds (numbers stay doubles for the debugger) select none. */
+export function findInt32Abis(mod, slots) {
+    const result = new Map();
+    for (const fn of mod.functions) {
+        if (fn.async || fn.generator || fn.captures !== undefined || !slots.called.has(fn.name))
+            continue;
+        const ret = fn.returnType.kind === "f64" && slots.hasReturn(fn.name);
+        let params = fn.params.map((param) => param.type.kind === "f64" && slots.hasParam(fn.name, param.localId));
+        if (!ret && params.includes(true)) {
+            const returned = returnedLocals(fn);
+            params = params.map((i32, index) => i32 && !returned.has(fn.params[index].localId));
+        }
+        if (ret || params.includes(true))
+            result.set(fn.name, { params, result: ret });
+    }
+    return result;
+}
+/** Locals some `return` hands back as its value (directly or as an arm of
+ * a conditional). */
+function returnedLocals(fn) {
+    const result = new Set();
+    const value = (e) => {
+        if (e.kind === "varRef")
+            result.add(e.localId);
+        else if (e.kind === "ternary") {
+            value(e.then);
+            value(e.else_);
+        }
+    };
+    everyStmtList(fn.body, {
+        stmt: (s) => {
+            if (s.kind === "return" && s.value)
+                value(s.value);
+            return true;
+        },
+        expr: () => true,
+    });
+    return result;
+}
+//# sourceMappingURL=int32-abi.js.map

package/dist/backend/llvm/int32-abi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"int32-abi.js","sourceRoot":"","sources":["../../../src/backend/llvm/int32-abi.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AASrD;mCACmC;AACnC,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEvC;;;;;;;;;;;;;;;;;;uEAkBuE;AACvE,MAAM,UAAU,aAAa,CAAC,GAAa,EAAE,KAAiB;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YACrF,SAAS;QACX,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACrE,IAAI,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CACxB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAC/E,CAAC;QACF,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YACpC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;qBACqB;AACrB,SAAS,cAAc,CAAC,EAAc;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAQ,EAAE;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;aAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACd,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK;gBAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/backend/llvm/int32-abi.test.d.ts

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

package/dist/backend/llvm/int32-abi.test.js

@@ -0,0 +1,107 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, STRING, VOID, funcOf, } from "../../ir/ir.js";
+import { validateModule } from "../../ir/validate.js";
+import { emitLlvmModule } from "./emitter.js";
+const loc = { file: "int32-abi.ts", start: 0, end: 0 };
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const ref = (localId) => ({ kind: "varRef", localId, type: F64, loc });
+const bin = (op, left, right) => ({
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: F64,
+    loc,
+});
+const call = (callee, args, type = F64) => ({
+    kind: "call",
+    callee,
+    args,
+    type,
+    loc,
+});
+const stmt = (expr) => ({ kind: "exprStmt", expr, loc });
+const ret = (value) => ({ kind: "return", value, loc });
+function fn(name, params, body, returnType = F64) {
+    return {
+        name,
+        params: params.map((id) => ({ localId: id, name: id, type: F64 })),
+        locals: params.map((id) => ({ id, name: id, type: F64, mutable: true })),
+        returnType,
+        body,
+        loc,
+    };
+}
+function module() {
+    return {
+        irVersion: 16,
+        sourceFile: loc.file,
+        entry: "main",
+        functions: [
+            fn("main", [], [
+                stmt(call("mix", [num(3), num(4)])),
+                stmt(call("half", [num(6)])),
+                stmt(call("bits", [num(5)])),
+                stmt({ kind: "closure", fnName: "bits", captures: [], type: funcOf([F64], F64), loc }),
+                stmt(call("checked", [num(2)])),
+                stmt(call("leaf", [num(9)])),
+            ], VOID),
+            // int32 parameters and result.
+            fn("mix", ["h", "i"], [ret(bin("|", bin("^", ref("h"), ref("i")), num(0)))]),
+            // int32 parameter, number result.
+            fn("half", ["n"], [ret(bin("*", ref("n"), num(0.5)))]),
+            // Escapes as a value: its parameter is unknown, its result int32.
+            fn("bits", ["n"], [ret(bin("|", ref("n"), num(0)))]),
+            // Returns its parameter as a number result: the parameter stays double.
+            fn("leaf", ["n"], [
+                {
+                    kind: "if",
+                    cond: { kind: "bin", op: "<", left: ref("n"), right: num(2), type: BOOL, loc },
+                    then: [ret(ref("n"))],
+                    else_: [ret(bin("*", ref("n"), num(0.5)))],
+                    loc,
+                },
+            ]),
+            // A throwing call inside an i32 body.
+            fn("checked", ["n"], [stmt(call("throws", [], VOID)), ret(bin("|", ref("n"), num(1)))]),
+            fn("throws", [], [{ kind: "throw", value: { kind: "strLit", value: "no", type: STRING, loc }, loc }], VOID),
+        ],
+    };
+}
+function define(llvm, symbol) {
+    const escaped = symbol.replace(/\./g, "\\.");
+    return new RegExp(`^define internal [^\\n]*@${escaped}\\([^]*?^}`, "m").exec(llvm)[0];
+}
+test("int32 parameters and results use an i32 entry on direct calls", () => {
+    const mod = module();
+    expect(validateModule(mod)).toEqual([]);
+    const llvm = emitLlvmModule(mod);
+    expect(llvm).toMatch(/define internal i32 @sc_f_mix\.i32\(i32 %p_\w+\.i32, i32 %p_\w+\.i32\)/);
+    expect(llvm).toMatch(/define internal double @sc_f_half\.i32\(i32 %p_\w+\.i32\)/);
+    expect(llvm).toMatch(/define internal i32 @sc_f_bits\.i32\(double %p_\w+\)/);
+    const main = define(llvm, "sc_f_main");
+    expect(main).toContain("call i32 @sc_f_mix.i32(i32 3, i32 4)");
+    expect(main).toContain("call double @sc_f_half.i32(i32 6)");
+    expect(main).toContain("call i32 @sc_f_bits.i32(double ");
+    expect(main).toContain("call double @sc_f_leaf(double ");
+    expect(llvm).not.toContain("@sc_f_leaf.i32");
+    // The closure keeps the double-ABI symbol, a wrapper around the i32 entry.
+    expect(llvm).not.toMatch(/ptr @sc_f_bits\.i32\b/);
+    const wrapper = define(llvm, "sc_f_mix");
+    expect(wrapper).toContain("define internal double @sc_f_mix(double %p0, double %p1)");
+    expect(wrapper).toContain("%a0 = fptosi double %p0 to i32");
+    expect(wrapper).toContain("%r = call i32 @sc_f_mix.i32(i32 %a0, i32 %a1)");
+    expect(wrapper).toContain("%d = sitofp i32 %r to double");
+    // The exceptional exit of an i32 body returns an i32.
+    const checked = define(llvm, "sc_f_checked.i32");
+    expect(checked).toContain("ret i32 0");
+    expect(checked).not.toContain("ret double");
+});
+test("debug builds keep the double ABI", () => {
+    const llvm = emitLlvmModule(module(), {
+        debugSources: new Map([[loc.file, "function main() {}"]]),
+    });
+    expect(llvm).not.toContain(".i32(");
+    expect(llvm).toMatch(/define internal double @sc_f_mix\(double %p_\w+, double %p_\w+\)/);
+});
+//# sourceMappingURL=int32-abi.test.js.map

package/dist/backend/llvm/int32-abi.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"int32-abi.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/int32-abi.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,IAAI,EACJ,MAAM,GAKP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACvD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,GAAG,GAAG,CAAC,EAAmB,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACzE,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAE,IAAI,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,MAAM;IACZ,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACzE,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxE,SAAS,EAAE,CAAC,IAAY,EAAE,MAAgB,EAAE,IAAc,EAAE,UAAU,GAAG,GAAG;IAC1E,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,UAAU;QACV,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,MAAM;IACb,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,SAAS,EAAE;YACT,EAAE,CACA,MAAM,EACN,EAAE,EACF;gBACE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;gBACtF,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC7B,EACD,IAAI,CACL;YACD,+BAA+B;YAC/B,EAAE,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5E,kCAAkC;YAClC,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,kEAAkE;YAClE,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,wEAAwE;YACxE,EAAE,CACA,MAAM,EACN,CAAC,GAAG,CAAC,EACL;gBACE;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9E,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;oBACrB,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC1C,GAAG;iBACJ;aACF,CACF;YACD,sCAAsC;YACtC,EAAE,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,EAAE,CACA,QAAQ,EACR,EAAE,EACF,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EACnF,IAAI,CACL;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,MAAc;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,OAAO,IAAI,MAAM,CAAC,4BAA4B,OAAO,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,wEAAwE,CAAC,CAAC;IAC/F,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,2DAA2D,CAAC,CAAC;IAClF,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC/D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAC5D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACzD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7C,2EAA2E;IAC3E,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,0DAA0D,CAAC,CAAC;IACtF,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;IAC5D,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC;IAC3E,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAC1D,sDAAsD;IACtD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACjD,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE;QACpC,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC;KAC1D,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,kEAAkE,CAAC,CAAC;AAC3F,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/int32-locals.d.ts

@@ -0,0 +1,30 @@
+import type { IrExpr, IrFunction } from "../../ir/ir.js";
+import { type IntegerRange, type IntegerRanges, type IntegerSlotFacts } from "../../ir/integer-ranges.js";
+/** How an int32-stored local holds its value: the i32 bits of an int32
+ * (`signed`) or of a uint32, and the range every write lands in. */
+export interface Int32Local {
+    signed: boolean;
+    range: IntegerRange;
+    /** A parameter the body never writes: its incoming double is still
+     * its value, so reads use it instead of widening the i32 again. */
+    incoming?: boolean;
+}
+/** Number locals whose every write is an exact int32 (or every write an
+ * exact uint32), so an i32 slot can be their only storage. A read widens
+ * the i32 back to the same double, which is exact because the range
+ * analysis never proves -0, NaN or a fraction; integer consumers take the
+ * i32 directly, and no double is carried through loops.
+ *
+ * A write qualifies through its proven range (analyzeIntegerRanges), or,
+ * for an Int32 contract local, through the contract, which checked every
+ * write with the same analysis. `++`/`--` qualify through the range of the
+ * value they write. A parameter also needs a proof for its incoming value
+ * (every call site, or its contract). For-of and catch bindings, captured,
+ * boxed and TDZ locals keep their ordinary storage, as do async functions
+ * and generators, whose locals live in frames the range analysis does not
+ * follow (it proves nothing there). `excluded` names further locals the
+ * caller reads through other storage. */
+export declare function findInt32Locals(fn: IrFunction, ranges: IntegerRanges, facts: IntegerSlotFacts, excluded: ReadonlySet<string>): {
+    locals: Map<string, Int32Local>;
+    values: ReadonlySet<IrExpr>;
+};

package/dist/backend/llvm/int32-locals.js

@@ -0,0 +1,95 @@
+import { integerArithmeticRange, withinInt32, withinUint32, } from "../../ir/integer-ranges.js";
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+/** Number locals whose every write is an exact int32 (or every write an
+ * exact uint32), so an i32 slot can be their only storage. A read widens
+ * the i32 back to the same double, which is exact because the range
+ * analysis never proves -0, NaN or a fraction; integer consumers take the
+ * i32 directly, and no double is carried through loops.
+ *
+ * A write qualifies through its proven range (analyzeIntegerRanges), or,
+ * for an Int32 contract local, through the contract, which checked every
+ * write with the same analysis. `++`/`--` qualify through the range of the
+ * value they write. A parameter also needs a proof for its incoming value
+ * (every call site, or its contract). For-of and catch bindings, captured,
+ * boxed and TDZ locals keep their ordinary storage, as do async functions
+ * and generators, whose locals live in frames the range analysis does not
+ * follow (it proves nothing there). `excluded` names further locals the
+ * caller reads through other storage. */
+export function findInt32Locals(fn, ranges, facts, excluded) {
+    const result = new Map();
+    // The written values the proof covers; the emitter stores no other.
+    const values = new Set();
+    if (fn.async || fn.generator || ranges.size === 0)
+        return { locals: result, values };
+    const captured = new Set([...(fn.captures ?? []), ...(fn.classCaptures ?? [])].map((c) => c.localId));
+    const contract = (id) => facts.locals?.(id) ?? null;
+    const writes = new Map();
+    for (const local of fn.locals) {
+        if (local.type.kind !== "f64" || local.boxed || local.tdz)
+            continue;
+        if (captured.has(local.id) || excluded.has(local.id))
+            continue;
+        writes.set(local.id, []);
+    }
+    const params = new Set();
+    for (const param of fn.params) {
+        const list = writes.get(param.localId);
+        if (!list)
+            continue;
+        list.push(facts.params?.get(param.localId) ?? contract(param.localId));
+        params.add(param.localId);
+    }
+    const write = (id, range, value) => {
+        const list = writes.get(id);
+        if (!list)
+            return;
+        list.push(range ?? contract(id));
+        if (value)
+            values.add(value);
+    };
+    const expr = (node) => {
+        if (node.kind === "assignExpr")
+            write(node.localId, ranges.get(node.value), node.value);
+        else if (node.kind === "incDec") {
+            // The analysis records the value the expression yields: the new
+            // value for prefix forms, the old one for postfix forms.
+            const yielded = ranges.get(node) ?? null;
+            write(node.localId, yielded && !node.prefix
+                ? integerArithmeticRange(node.op, yielded, { min: 1, max: 1 })
+                : yielded, node);
+        }
+        return everyExprChild(node, expr, stmt);
+    };
+    const stmt = (node) => {
+        if (node.kind === "varDecl") {
+            if (node.init)
+                write(node.localId, ranges.get(node.init), node.init);
+        }
+        else if (node.kind === "assign")
+            write(node.localId, ranges.get(node.value), node.value);
+        else if (node.kind === "forOf")
+            writes.get(node.localId)?.push(null);
+        else if (node.kind === "tryCatch" && node.catchLocalId)
+            writes.get(node.catchLocalId)?.push(null);
+        return everyStmtChild(node, expr, stmt);
+    };
+    fn.body.every(stmt);
+    for (const [id, list] of writes) {
+        // An unwritten local is never read as a number.
+        if (list.length === 0 || list.some((range) => range === null))
+            continue;
+        const range = { min: Infinity, max: -Infinity };
+        for (const write of list) {
+            range.min = Math.min(range.min, write.min);
+            range.max = Math.max(range.max, write.max);
+        }
+        if (!withinInt32(range) && !withinUint32(range))
+            continue;
+        const local = { signed: withinInt32(range), range };
+        if (params.has(id) && list.length === 1)
+            local.incoming = true;
+        result.set(id, local);
+    }
+    return { locals: result, values };
+}
+//# sourceMappingURL=int32-locals.js.map

package/dist/backend/llvm/int32-locals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"int32-locals.js","sourceRoot":"","sources":["../../../src/backend/llvm/int32-locals.ts"],"names":[],"mappings":"AACA,OAAO,EACL,sBAAsB,EACtB,WAAW,EACX,YAAY,GAIb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAYtE;;;;;;;;;;;;;;yCAcyC;AACzC,MAAM,UAAU,eAAe,CAC7B,EAAc,EACd,MAAqB,EACrB,KAAuB,EACvB,QAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,oEAAoE;IACpE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrF,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC5E,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAuB,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;IACjF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;YAAE,SAAS;QACpE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QAC/D,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAsC,EAAE,KAAc,EAAQ,EAAE;QACzF,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,IAAI,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;aACnF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,gEAAgE;YAChE,yDAAyD;YACzD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;YACzC,KAAK,CACH,IAAI,CAAC,OAAO,EACZ,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM;gBACrB,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;gBAC9D,CAAC,CAAC,OAAO,EACX,IAAI,CACL,CAAC;QACJ,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;aACtF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;aAChE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,YAAY;YACpD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC;IACF,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpB,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QAChC,gDAAgD;QAChD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;YAAE,SAAS;QACxE,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,IAAsB,EAAE,CAAC;YAC3C,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3C,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,SAAS;QAC1D,MAAM,KAAK,GAAe,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;QAChE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;QAC/D,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC"}

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

@@ -7,4 +7,8 @@ export type LlInteger = NonNullable<LlValue["integer"]>;
  * are reused only when the range proves they have not lost high bits. */
 export declare function exactInteger(host: LlvmEmitterContext, value: LlValue, expr?: IrExpr): LlInteger | null;
 export declare function widenInteger(host: LlvmEmitterContext, value: LlInteger): string;
+/** The i32 of an integer whose range is within int32. */
+export declare function narrowInteger(host: LlvmEmitterContext, value: LlInteger): string;
+/** `integerNumber` for an i32 whose range is within int32. */
+export declare function int32Number(host: LlvmEmitterContext, name: string, range: IntegerRange, type: IrType): LlValue;
 export declare function integerNumber(host: LlvmEmitterContext, name: string, range: IntegerRange, type: IrType): LlValue;

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

@@ -31,6 +31,12 @@ export function exactInteger(host, value, expr) {
     if (value.uint32 !== undefined && range.min >= -2147483648 && range.max <= 2147483647) {
         return { name: value.uint32, type: "i32", signed: true, range };
     }
+    if (range.min >= -2147483648 && range.max <= 2147483647) {
+        // An int32 conversion lets LLVM fold it with an int32 source's sitofp.
+        const name = host.B.tmp();
+        host.B.line(`${name} = fptosi double ${value.name} to i32`);
+        return { name, type: "i32", signed: true, range };
+    }
     const name = host.B.tmp();
     host.B.line(`${name} = fptosi double ${value.name} to i64`);
     return { name, type: "i64", signed: true, range };
@@ -42,11 +48,34 @@ export function widenInteger(host, value) {
     host.B.line(`${wide} = ${value.signed ? "sext" : "zext"} i32 ${value.name} to i64`);
     return wide;
 }
+/** The i32 of an integer whose range is within int32. */
+export function narrowInteger(host, value) {
+    if (value.type === "i32")
+        return value.name;
+    const narrow = host.B.tmp();
+    host.B.line(`${narrow} = trunc i64 ${value.name} to i32`);
+    return narrow;
+}
+/** `integerNumber` for an i32 whose range is within int32. */
+export function int32Number(host, name, range, type) {
+    const number = host.B.tmp();
+    host.B.line(`${number} = sitofp i32 ${name} to double`);
+    return { name: number, type, uint32: name, integer: { name, type: "i32", signed: true, range } };
+}
 export function integerNumber(host, name, range, type) {
     const number = host.B.tmp();
     const uint32 = host.B.tmp();
-    host.B.line(`${number} = sitofp i64 ${name} to double`);
     host.B.line(`${uint32} = trunc i64 ${name} to i32`);
+    // A proven int32 converts from its low half. The value is the same, but
+    // LLVM folds `fptosi (sitofp i32 x)` back to x, also through the phis of
+    // loop-carried locals (whose other incoming values are int32 too, such as
+    // `x | 0`), while a 64-bit source is not known to convert exactly. So a
+    // counter written `i = (i + 1) | 0` stays an integer instead of taking a
+    // double round trip on every iteration.
+    const int32 = range.min >= -2147483648 && range.max <= 2147483647;
+    host.B.line(int32
+        ? `${number} = sitofp i32 ${uint32} to double`
+        : `${number} = sitofp i64 ${name} to double`);
     return { name: number, type, uint32, integer: { name, type: "i64", signed: true, range } };
 }
 //# sourceMappingURL=integer-values.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"integer-values.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-values.ts"],"names":[],"mappings":"AAMA;;yEAEyE;AACzE,MAAM,UAAU,YAAY,CAC1B,IAAwB,EACxB,KAAc,EACd,IAAa;IAEb,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzD,OAAO,KAAK;YACV,CAAC,CAAC;gBACE,GAAG,KAAK,CAAC,OAAO;gBAChB,KAAK,EAAE;oBACL,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;oBACjD,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;iBAClD;aACF;YACH,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC;YACtB,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE;SAC5C,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QACtF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAClE,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC5D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAwB,EAAE,KAAgB;IACrE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,QAAQ,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACpF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAwB,EACxB,IAAY,EACZ,KAAmB,EACnB,IAAY;IAEZ,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,IAAI,YAAY,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,SAAS,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;AAC7F,CAAC"}
+{"version":3,"file":"integer-values.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-values.ts"],"names":[],"mappings":"AAMA;;yEAEyE;AACzE,MAAM,UAAU,YAAY,CAC1B,IAAwB,EACxB,KAAc,EACd,IAAa;IAEb,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzD,OAAO,KAAK;YACV,CAAC,CAAC;gBACE,GAAG,KAAK,CAAC,OAAO;gBAChB,KAAK,EAAE;oBACL,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;oBACjD,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;iBAClD;aACF;YACH,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC;YACtB,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE;SAC5C,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QACtF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QACxD,uEAAuE;QACvE,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpD,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC5D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAwB,EAAE,KAAgB;IACrE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,QAAQ,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACpF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,aAAa,CAAC,IAAwB,EAAE,KAAgB;IACtE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,WAAW,CACzB,IAAwB,EACxB,IAAY,EACZ,KAAmB,EACnB,IAAY;IAEZ,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,IAAI,YAAY,CAAC,CAAC;IACxD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAwB,EACxB,IAAY,EACZ,KAAmB,EACnB,IAAY;IAEZ,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,SAAS,CAAC,CAAC;IACpD,wEAAwE;IACxE,yEAAyE;IACzE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,wCAAwC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,CAAC;IAClE,IAAI,CAAC,CAAC,CAAC,IAAI,CACT,KAAK;QACH,CAAC,CAAC,GAAG,MAAM,iBAAiB,MAAM,YAAY;QAC9C,CAAC,CAAC,GAAG,MAAM,iBAAiB,IAAI,YAAY,CAC/C,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;AAC7F,CAAC"}

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

@@ -3,5 +3,12 @@ import type { IrFunction } from "../../ir/ir.js";
  * consumers in loops can reuse it. The number remains authoritative for floating
  * arithmetic, signed zero, returns and zero-iteration loops. Only explicit
  * local stores maintain these views; captures and implicit binders stay on
- * the ordinary path. No range or integer assumption is made about inputs. */
+ * the ordinary path. No range or integer assumption is made about inputs.
+ *
+ * A declared local that only ever holds bitwise results (`c = units[i] | 0`)
+ * also gets a view when a loop compares it: its stores already have the
+ * integer, and compares of the view stay integer compares. Without it each
+ * compare converts the stored number back, and LLVM moves that number's
+ * conversion into the join of a NaN-coded typed-array read (`phi [sitofp x,
+ * 0.0]`), where nothing folds it back to the integer. */
 export declare function findIntegerViews(fn: IrFunction): Set<string>;

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

@@ -4,7 +4,14 @@ import { byteNumberAccess } from "../../ir/byte-numbers.js";
  * consumers in loops can reuse it. The number remains authoritative for floating
  * arithmetic, signed zero, returns and zero-iteration loops. Only explicit
  * local stores maintain these views; captures and implicit binders stay on
- * the ordinary path. No range or integer assumption is made about inputs. */
+ * the ordinary path. No range or integer assumption is made about inputs.
+ *
+ * A declared local that only ever holds bitwise results (`c = units[i] | 0`)
+ * also gets a view when a loop compares it: its stores already have the
+ * integer, and compares of the view stay integer compares. Without it each
+ * compare converts the stored number back, and LLVM moves that number's
+ * conversion into the join of a NaN-coded typed-array read (`phi [sitofp x,
+ * 0.0]`), where nothing folds it back to the integer. */
 export function findIntegerViews(fn) {
     const wanted = new Set();
     if (fn.async || fn.generator)
@@ -16,7 +23,23 @@ export function findIntegerViews(fn) {
         if (loopDepth > 0 && expr.kind === "varRef" && expr.type.kind === "f64")
             wanted.add(expr.localId);
     };
+    const declared = new Set();
+    const compared = new Set();
+    const nonBitwise = new Set(fn.params.map((p) => p.localId));
+    const stored = (localId, value) => {
+        if (!value || !bitwiseValue(value))
+            nonBitwise.add(localId);
+    };
     const expr = (node) => {
+        if (node.kind === "assignExpr")
+            stored(node.localId, node.value);
+        else if (node.kind === "incDec")
+            nonBitwise.add(node.localId);
+        else if (loopDepth > 0 && node.kind === "bin" && COMPARES.has(node.op)) {
+            for (const side of [node.left, node.right])
+                if (side.kind === "varRef" && side.type.kind === "f64")
+                    compared.add(side.localId);
+        }
         if (node.kind === "bin" &&
             (node.op === "&" ||
                 node.op === "|" ||
@@ -47,8 +70,13 @@ export function findIntegerViews(fn) {
             node.kind === "doWhile";
         if (loop)
             loopDepth++;
-        if (node.kind === "varDecl")
+        if (node.kind === "varDecl") {
             initialized.add(node.localId);
+            declared.add(node.localId);
+            stored(node.localId, node.init);
+        }
+        else if (node.kind === "assign")
+            stored(node.localId, node.value);
         if (node.kind === "forOf")
             excluded.add(node.localId);
         // Canonical induction is maintained separately by the loop emitter.
@@ -68,6 +96,9 @@ export function findIntegerViews(fn) {
     // A conversion observed only after a floating loop must not add work to
     // each iteration. Expression results still carry their existing views.
     fn.body.every(stmt);
+    for (const id of compared)
+        if (declared.has(id) && !nonBitwise.has(id))
+            wanted.add(id);
     const eligible = new Set(fn.locals
         .filter((local) => local.type.kind === "f64" &&
         !local.boxed &&
@@ -80,4 +111,18 @@ export function findIntegerViews(fn) {
             wanted.delete(id);
     return wanted;
 }
+const COMPARES = new Set(["===", "!==", "<", "<=", ">", ">="]);
+/** Whether a value is always a bitwise result, whose ToUint32 view is free. */
+function bitwiseValue(value) {
+    if (value.kind === "bin")
+        return (value.op === "&" ||
+            value.op === "|" ||
+            value.op === "^" ||
+            value.op === "<<" ||
+            value.op === ">>" ||
+            value.op === ">>>");
+    if (value.kind === "unary")
+        return value.op === "~";
+    return value.kind === "libCall" && (value.fn === "math.imul" || value.fn === "math.clz32");
+}
 //# sourceMappingURL=integer-views.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"integer-views.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-views.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D;;;;6EAI6E;AAC7E,MAAM,UAAU,gBAAgB,CAAC,EAAc;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC5E,CAAC;IACF,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,CAAC,IAAY,EAAQ,EAAE;QACrC,IAAI,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACrE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,IACE,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG;gBACd,IAAI,CAAC,EAAE,KAAK,GAAG;gBACf,IAAI,CAAC,EAAE,KAAK,GAAG;gBACf,IAAI,CAAC,EAAE,KAAK,IAAI;gBAChB,IAAI,CAAC,EAAE,KAAK,IAAI;gBAChB,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EACpB,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aACtE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,KAAK,YAAY,CAAC,EAAE,CAAC;YAC1F,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,OAAO,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,IAAI,CAAC;gBAC3D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC1B,IAAI,IAAI;YAAE,SAAS,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtD,oEAAoE;QACpE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1F,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAE5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI;YAAE,SAAS,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,wEAAwE;IACxE,uEAAuE;IACvE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,EAAE,CAAC,MAAM;SACN,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACzB,CAAC,KAAK,CAAC,KAAK;QACZ,CAAC,KAAK,CAAC,GAAG;QACV,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAC1B;SACA,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAC5B,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,MAAM;QAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"integer-views.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-views.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D;;;;;;;;;;;yDAWyD;AACzD,MAAM,UAAU,gBAAgB,CAAC,EAAc;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC5E,CAAC;IACF,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,CAAC,IAAY,EAAQ,EAAE;QACrC,IAAI,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACrE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,KAAgC,EAAQ,EAAE;QACzE,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;aAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aACzD,IAAI,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACvE,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;gBACxC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvF,CAAC;QACD,IACE,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG;gBACd,IAAI,CAAC,EAAE,KAAK,GAAG;gBACf,IAAI,CAAC,EAAE,KAAK,GAAG;gBACf,IAAI,CAAC,EAAE,KAAK,IAAI;gBAChB,IAAI,CAAC,EAAE,KAAK,IAAI;gBAChB,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EACpB,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aACtE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,KAAK,YAAY,CAAC,EAAE,CAAC;YAC1F,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,OAAO,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,IAAI,CAAC;gBAC3D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC1B,IAAI,IAAI;YAAE,SAAS,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtD,oEAAoE;QACpE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1F,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAE5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI;YAAE,SAAS,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,wEAAwE;IACxE,uEAAuE;IACvE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpB,KAAK,MAAM,EAAE,IAAI,QAAQ;QAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,EAAE,CAAC,MAAM;SACN,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACzB,CAAC,KAAK,CAAC,KAAK;QACZ,CAAC,KAAK,CAAC,GAAG;QACV,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAC1B;SACA,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAC5B,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,MAAM;QAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAE/D,+EAA+E;AAC/E,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QACtB,OAAO,CACL,KAAK,CAAC,EAAE,KAAK,GAAG;YAChB,KAAK,CAAC,EAAE,KAAK,GAAG;YAChB,KAAK,CAAC,EAAE,KAAK,GAAG;YAChB,KAAK,CAAC,EAAE,KAAK,IAAI;YACjB,KAAK,CAAC,EAAE,KAAK,IAAI;YACjB,KAAK,CAAC,EAAE,KAAK,KAAK,CACnB,CAAC;IACJ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC;IACpD,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,WAAW,IAAI,KAAK,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC;AAC7F,CAAC"}

package/dist/backend/llvm/lazy-captures.d.ts

@@ -7,7 +7,23 @@ import type { IrFunction } from "../../ir/ir.js";
 export declare class LazyCaptures {
     private readonly functions;
     private readonly unchanged;
+    private readonly stable;
+    private readonly once;
+    private sites;
     constructor(functions: ReadonlyMap<string, IrFunction>);
+    /** The captures of closure body `fnName` that hold one value for the
+     * closure's whole life: at every creation site the captured binding is
+     * a parameter that nothing rebinds (see parameters) or, through nesting,
+     * such a capture of the creating closure, and nothing rebinds the
+     * capture itself. The environment owns that value whenever the body
+     * runs, so the body may read it without a reference of its own. */
+    stableCaptures(fnName: string): Set<string>;
+    /** Boxed locals of `fn` (not parameters) bound by exactly one
+     * declaration that nothing else rebinds, here or in nested bodies. Each
+     * declaration fills a fresh box once, before any closure can capture it
+     * (TDZ bindings are excluded). */
+    private declaredOnce;
+    private creationSites;
     parameters(fn: IrFunction): Set<string>;
     /** The subset of `ids` rebound in `fn` or in any function that captures
      * one of them, directly or through further nesting. */