@scriptc/compiler 0.4.3 → 0.4.5

package/dist/backend/llvm/string-slices.test.js

@@ -1,7 +1,7 @@
 import { expect, test } from "vitest";
-import { BOOL, F64, STRING, VOID } from "../../ir/ir.js";
+import { BOOL, F64, STRING, VOID, } from "../../ir/ir.js";
 import { analyzeCallLifetimes } from "./call-lifetimes.js";
-import { findLentStringParameters, findScalarStringSlices, findScratchStringSlices, } from "./string-slices.js";
+import { findLentRecordFields, findLentStringParameters, findRecordFieldProducers, findScalarStringSlices, findScratchStringSlices, } from "./string-slices.js";
 const loc = { file: "slices.ts", start: 0, end: 0 };
 const ref = (id) => ({ kind: "varRef", localId: id, type: STRING, loc });
 function fixture() {
@@ -137,7 +137,12 @@ function lending(body) {
 function scratch(fn, extra = []) {
     const functions = new Map([fn, ...extra].map((f) => [f.name, f]));
     const lifetimes = analyzeCallLifetimes(functions);
-    return findScratchStringSlices(fn, lifetimes, findScalarStringSlices(fn, lifetimes), findLentStringParameters(functions, lifetimes));
+    const strings = findLentStringParameters(functions, lifetimes);
+    return findScratchStringSlices(fn, lifetimes, findScalarStringSlices(fn, lifetimes), {
+        strings,
+        records: findLentRecordFields(functions, lifetimes, strings),
+        producers: findRecordFieldProducers(functions),
+    });
 }
 test("slices read only by lending consumers use a stack buffer", () => {
     const inline = slice("source", 0, 3);
@@ -232,4 +237,178 @@ test("helper parameters read only by lending consumers accept stack slices", ()
     const all = new Map([fn, ...functions].map((f) => [f.name, f]));
     expect([...findLentStringParameters(all, analyzeCallLifetimes(all)).keys()]).toEqual(["isGet"]);
 });
+const TOKEN = { kind: "record", shapeId: "token" };
+const record = (id) => ({ kind: "varRef", localId: id, type: TOKEN, loc });
+const textOf = (obj) => ({
+    kind: "recordGet",
+    obj,
+    shapeId: "token",
+    field: "text",
+    type: STRING,
+    loc,
+});
+const lengthOf = (receiver) => ({
+    kind: "strIntrinsic",
+    method: "length",
+    receiver,
+    args: [],
+    type: F64,
+    loc,
+});
+const tokenLit = (text) => ({
+    kind: "recordLit",
+    fields: [
+        { name: "text", value: text },
+        { name: "pos", value: { kind: "numLit", value: 1, type: F64, loc } },
+    ],
+    type: TOKEN,
+    loc,
+});
+const keepIn = (value) => ({
+    kind: "exprStmt",
+    expr: { kind: "arrayLit", elems: [value], type: { kind: "array", elem: STRING }, loc },
+    loc,
+});
+/** A function of one record parameter `t`. */
+function recordHelper(name, body) {
+    return {
+        name,
+        params: [{ localId: "t", name: "t", type: TOKEN }],
+        locals: [{ id: "t", name: "t", type: TOKEN, mutable: false }],
+        returnType: F64,
+        loc,
+        body,
+    };
+}
+/** `make(text)` returns `{ text, pos: 1 }`; `twice` also reads its parameter elsewhere. */
+function producerHelper(name, extra = []) {
+    return {
+        name,
+        params: [{ localId: "text", name: "text", type: STRING }],
+        locals: [{ id: "text", name: "text", type: STRING, mutable: false }],
+        returnType: TOKEN,
+        loc,
+        body: [...extra, { kind: "return", value: tokenLit(ref("text")), loc }],
+    };
+}
+function containing(init, declare, uses) {
+    const fn = lending([
+        { kind: "varDecl", localId: "word", init, loc },
+        { kind: "varDecl", localId: "tok", init: declare, loc },
+        ...uses,
+    ]);
+    fn.locals.push({ id: "tok", name: "tok", type: TOKEN, mutable: false });
+    return fn;
+}
+const reads = recordHelper("reads", [
+    { kind: "return", value: lengthOf(textOf(record("t"))), loc },
+]);
+const keepsText = recordHelper("keepsText", [
+    keepIn(textOf(record("t"))),
+    { kind: "return", value: { kind: "numLit", value: 0, type: F64, loc }, loc },
+]);
+const escapes = recordHelper("escapes", [
+    {
+        kind: "exprStmt",
+        expr: { kind: "arrayLit", elems: [record("t")], type: { kind: "array", elem: TOKEN }, loc },
+        loc,
+    },
+    { kind: "return", value: { kind: "numLit", value: 0, type: F64, loc }, loc },
+]);
+const passCall = (callee, arg) => ({
+    kind: "exprStmt",
+    expr: { kind: "call", callee, args: [arg], type: F64, loc },
+    loc,
+});
+test("a slice stored in a record that is only projected uses a stack buffer", () => {
+    const helpers = [reads, keepsText, escapes, producerHelper("make")];
+    for (const declare of [tokenLit(ref("word")), callOf("make", ref("word"))]) {
+        if (declare.kind === "call")
+            declare.type = TOKEN;
+        const init = slice("source", 1, 5);
+        const fn = containing(init, declare, [
+            { kind: "exprStmt", expr: equals(textOf(record("tok"))), loc },
+            passCall("reads", record("tok")),
+        ]);
+        expect(scratch(fn, helpers).has(init)).toBe(true);
+    }
+    const all = new Map(helpers.map((f) => [f.name, f]));
+    const lifetimes = analyzeCallLifetimes(all);
+    const lent = findLentRecordFields(all, lifetimes, findLentStringParameters(all, lifetimes));
+    expect(lent.get("reads")?.get(0)).toEqual(new Set());
+    expect(lent.get("keepsText")?.get(0)).toEqual(new Set(["text"]));
+    expect(lent.has("escapes")).toBe(false);
+    expect(findRecordFieldProducers(all).get("make")).toEqual(new Map([[0, "text"]]));
+});
+test.each([
+    "kept-field",
+    "returned",
+    "kept-by-callee",
+    "escapes-callee",
+    "captured",
+    "producer-reuse",
+    "producer-capture",
+])("a slice stored in a record that may be kept (%s) stays owned", (reason) => {
+    // The factory also stores a closure over its text parameter.
+    const capturing = producerHelper("capturing");
+    const literal = capturing.body[0].value;
+    literal.fields.push({
+        name: "get",
+        value: { kind: "closure", fnName: "get", captures: ["text"], type: F64, loc },
+    });
+    const helpers = [
+        reads,
+        keepsText,
+        escapes,
+        producerHelper("make"),
+        producerHelper("twice", [keepIn(ref("text"))]),
+        capturing,
+    ];
+    const init = slice("source", 1, 5);
+    const declare = reason === "producer-reuse"
+        ? callOf("twice", ref("word"))
+        : reason === "producer-capture"
+            ? callOf("capturing", ref("word"))
+            : tokenLit(ref("word"));
+    if (declare.kind === "call")
+        declare.type = TOKEN;
+    const uses = [{ kind: "exprStmt", expr: equals(textOf(record("tok"))), loc }];
+    if (reason === "kept-field")
+        uses.push(keepIn(textOf(record("tok"))));
+    if (reason === "returned")
+        uses.push({ kind: "return", value: record("tok"), loc });
+    if (reason === "kept-by-callee")
+        uses.push(passCall("keepsText", record("tok")));
+    if (reason === "escapes-callee")
+        uses.push(passCall("escapes", record("tok")));
+    const fn = containing(init, declare, uses);
+    if (reason === "captured")
+        fn.locals.find((l) => l.id === "tok").boxed = true;
+    expect(scratch(fn, helpers).has(init)).toBe(false);
+});
+test("searches of string arrays lend their needle", () => {
+    const keywords = {
+        kind: "varRef",
+        localId: "keywords",
+        type: { kind: "array", elem: STRING },
+        loc,
+    };
+    const classify = helper("classify", [
+        {
+            kind: "return",
+            value: {
+                kind: "arrIntrinsic",
+                method: "includes",
+                receiver: keywords,
+                args: [ref("text")],
+                type: BOOL,
+                loc,
+            },
+            loc,
+        },
+    ]);
+    const init = slice("source", 0, 3);
+    const fn = lending([{ kind: "exprStmt", expr: callOf("classify", init), loc }]);
+    expect(scratch(fn, [classify]).has(init)).toBe(true);
+});
 //# sourceMappingURL=string-slices.test.js.map

package/dist/backend/llvm/string-slices.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-slices.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-slices.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,gBAAgB,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACzF,SAAS,OAAO;IACd,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;YAC7D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;SAC5D;QACD,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,WAAW;oBACnB,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;oBACvB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;KACF,CAAC;AACJ,CAAC;AACD,SAAS,KAAK,CAAC,EAAc;IAC3B,OAAO,sBAAsB,CAAC,EAAE,EAAE,oBAAoB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AACD,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACX,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,QAAQ;QACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC1D,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC,CACpE,gCAAgC,EAChC,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC;IAClE,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QACpB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,IAAI,MAAM,KAAK,gBAAgB;QAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CACF,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC/C;IACD,IAAI,EAAE,MAAM;IACZ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,KAAK;IACd,IAAI;IACJ,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,SAAS;IACf,EAAE,EAAE,gBAAgB;IACpB,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO,CAAC,IAAc;IAC7B,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3D;QACD,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AACD,SAAS,OAAO,CAAC,EAAc,EAAE,KAAK,GAAiB,EAAE;IACvD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAClD,OAAO,uBAAuB,CAC5B,EAAE,EACF,SAAS,EACT,sBAAsB,CAAC,EAAE,EAAE,SAAS,CAAC,EACrC,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,CAC/C,CAAC;AACJ,CAAC;AACD,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;QACpD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;KACpD,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CACnE,iDAAiD,EACjD,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;KACrD,CAAC,CAAC;IACH,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,IAAI,MAAM,KAAK,QAAQ;QACrB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBACtD,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;gBAClB,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,gBAAgB;QAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACxC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC,CACF,CAAC;AACF,SAAS,MAAM,CAAC,IAAY,EAAE,IAAc;IAC1C,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACpE,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AACD,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACvD,IAAI,EAAE,MAAM;IACZ,MAAM;IACN,IAAI,EAAE,CAAC,GAAG,CAAC;IACX,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE;QAChC;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzB,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE;QAC9B;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;YAC5F,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KAClF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE;QACtD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,CAAC,GAAG,wBAAwB,CAAC,GAAG,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC"}
+{"version":3,"file":"string-slices.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-slices.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACzF,SAAS,OAAO;IACd,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;YAC7D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;SAC5D;QACD,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,WAAW;oBACnB,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;oBACvB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;KACF,CAAC;AACJ,CAAC;AACD,SAAS,KAAK,CAAC,EAAc;IAC3B,OAAO,sBAAsB,CAAC,EAAE,EAAE,oBAAoB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AACD,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACX,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,QAAQ;QACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC1D,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC,CACpE,gCAAgC,EAChC,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC;IAClE,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QACpB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,IAAI,MAAM,KAAK,gBAAgB;QAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CACF,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC/C;IACD,IAAI,EAAE,MAAM;IACZ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,KAAK;IACd,IAAI;IACJ,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,SAAS;IACf,EAAE,EAAE,gBAAgB;IACpB,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO,CAAC,IAAc;IAC7B,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3D;QACD,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AACD,SAAS,OAAO,CAAC,EAAc,EAAE,KAAK,GAAiB,EAAE;IACvD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC/D,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,sBAAsB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE;QACnF,OAAO;QACP,OAAO,EAAE,oBAAoB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC;QAC5D,SAAS,EAAE,wBAAwB,CAAC,SAAS,CAAC;KAC/C,CAAC,CAAC;AACL,CAAC;AACD,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;QACpD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;KACpD,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CACnE,iDAAiD,EACjD,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;KACrD,CAAC,CAAC;IACH,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,IAAI,MAAM,KAAK,QAAQ;QACrB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBACtD,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;gBAClB,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,gBAAgB;QAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACxC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC,CACF,CAAC;AACF,SAAS,MAAM,CAAC,IAAY,EAAE,IAAc;IAC1C,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACpE,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AACD,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACvD,IAAI,EAAE,MAAM;IACZ,MAAM;IACN,IAAI,EAAE,CAAC,GAAG,CAAC;IACX,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE;QAChC;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzB,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE;QAC9B;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;YAC5F,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KAClF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE;QACtD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,CAAC,GAAG,wBAAwB,CAAC,GAAG,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC3D,MAAM,MAAM,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAC3F,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;IACvC,IAAI,EAAE,WAAW;IACjB,GAAG;IACH,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,MAAM;IACZ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,QAAgB,EAAU,EAAE,CAAC,CAAC;IAC9C,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,QAAQ;IAChB,QAAQ;IACR,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;IAC1C,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE;QACN,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;KACrE;IACD,IAAI,EAAE,KAAK;IACX,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACzC,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;IACtF,GAAG;CACJ,CAAC,CAAC;AACH,8CAA8C;AAC9C,SAAS,YAAY,CAAC,IAAY,EAAE,IAAc;IAChD,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAClD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC7D,UAAU,EAAE,GAAG;QACf,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AACD,2FAA2F;AAC3F,SAAS,cAAc,CAAC,IAAY,EAAE,KAAK,GAAa,EAAE;IACxD,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACpE,UAAU,EAAE,KAAK;QACjB,GAAG;QACH,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;KACxE,CAAC;AACJ,CAAC;AACD,SAAS,UAAU,CAAC,IAAY,EAAE,OAAe,EAAE,IAAc;IAC/D,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;QACvD,GAAG,IAAI;KACR,CAAC,CAAC;IACH,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACxE,OAAO,EAAE,CAAC;AACZ,CAAC;AACD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE;IAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;CAC9D,CAAC,CAAC;AACH,MAAM,SAAS,GAAG,YAAY,CAAC,WAAW,EAAE;IAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;CAC7E,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,EAAE;IACtC;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE;QAC3F,GAAG;KACJ;IACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;CAC7E,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;IAC3D,GAAG;CACJ,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE;YACnC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;YAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,EAAE,SAAS,EAAE,wBAAwB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5F,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IACrD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,YAAY;IACZ,UAAU;IACV,gBAAgB;IAChB,gBAAgB;IAChB,UAAU;IACV,gBAAgB;IAChB,kBAAkB;CACnB,CAAC,CAAC,8DAA8D,EAAE,CAAC,MAAM,EAAE,EAAE;IAC5E,6DAA6D;IAC7D,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAiC,CAAC,KAElE,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QAClB,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC9E,CAAC,CAAC;IACH,MAAM,OAAO,GAAG;QACd,KAAK;QACL,SAAS;QACT,OAAO;QACP,cAAc,CAAC,MAAM,CAAC;QACtB,cAAc,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9C,SAAS;KACV,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,OAAO,GACX,MAAM,KAAK,gBAAgB;QACzB,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC,CAAC,MAAM,KAAK,kBAAkB;YAC7B,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC;IAClD,MAAM,IAAI,GAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACxF,IAAI,MAAM,KAAK,YAAY;QAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,MAAM,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,IAAI,MAAM,KAAK,gBAAgB;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,MAAM,KAAK,gBAAgB;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,MAAM,KAAK,UAAU;QAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAC/E,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;IACvD,MAAM,QAAQ,GAAW;QACvB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,UAAU;QACnB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;QACrC,GAAG;KACJ,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE;QAClC;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,UAAU;gBAClB,QAAQ,EAAE,QAAQ;gBAClB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACnB,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/string-unit-versions.d.ts

@@ -0,0 +1,11 @@
+import type { IrExpr, IrModule, IrStmt } from "../../ir/ir.js";
+/** The module's functions a units version may call: synchronous
+ * functions without captures whose bodies use only unit-safe operations,
+ * read no string, and call only such functions. */
+export declare function unitSafeFunctions(mod: IrModule): ReadonlySet<string>;
+/** The `length` reads of the binding `receiver` in a loop whose every
+ * part is unit-safe, reading only charCodeAt and length of `receiver` and
+ * calling only `safe` functions; null for any other loop. */
+export declare function unitSafeLoop(loop: IrStmt & {
+    kind: "for" | "while";
+}, receiver: string, safe: ReadonlySet<string>): ReadonlySet<IrExpr> | null;

package/dist/backend/llvm/string-unit-versions.js

@@ -0,0 +1,191 @@
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+/* Loop versions over the UTF-16 units of a string that is not ASCII.
+ *
+ * The runtime publishes the receiver of an indexed scan with its UTF-16
+ * units (ScrStrScan, string-reads.ts), and drops them when the string is
+ * released or appended to in place, or when its index entry is evicted:
+ * the runtime indexes another non-ASCII string. A loop version's string
+ * receiver is a binding the loop does not write, which keeps it alive and
+ * unappended for the whole loop. Its fast copy over units therefore only
+ * needs a body that indexes no other string: the operations below, and
+ * calls of functions made of the same operations without string reads
+ * (`unitSafeFunctions`). */
+const ARRAY_METHODS = new Set(["push", "pop", "length"]);
+/* The typed-array and Buffer methods a units copy may run: those that
+ * call no program code and read no checked-dynamic value or string. A
+ * comparator sort (sortCompare) calls back into the program, and a copy
+ * from a checked-dynamic source (setFromDyn) reads its elements through
+ * getters; either can index another string, which evicts the receiver's
+ * units while the loop reads them. */
+const UNIT_SAFE_BYTES_METHODS = new Set([
+    "buffer",
+    "length",
+    "byteLength",
+    "byteOffset",
+    "get",
+    "slice",
+    "subarray",
+    "copyWithin",
+    "sortNumeric",
+    "toReversed",
+    "with",
+    "toArray",
+    "setFrom",
+    "readNum",
+    "writeNum",
+    "readNumVar",
+    "writeNumVar",
+    "equals",
+    "compareBuf",
+    "indexOfNum",
+    "lastIndexOfNum",
+    "includesNum",
+    "indexOfElem",
+    "lastIndexOfElem",
+    "includesElem",
+    "fill",
+    "fillNum",
+    "fillElem",
+    "copy",
+    "swap16",
+    "swap32",
+    "swap64",
+    "dataViewNew",
+    "dvGetUint8",
+    "dvGetInt8",
+    "dvGetUint16",
+    "dvGetInt16",
+    "dvGetUint32",
+    "dvGetInt32",
+    "dvGetFloat16",
+    "dvGetFloat32",
+    "dvGetFloat64",
+    "dvGetBigUint64Number",
+    "dvGetBigInt64Number",
+    "dvSetUint8",
+    "dvSetInt8",
+    "dvSetUint16",
+    "dvSetInt16",
+    "dvSetUint32",
+    "dvSetInt32",
+    "dvSetFloat16",
+    "dvSetFloat32",
+    "dvSetFloat64",
+]);
+/** Whether `e` (or statement `s`) uses only operations that index no
+ * string: numbers, booleans, locals, records and class fields, typed
+ * arrays, number arrays and Math. `reads` admits the string reads a
+ * version covers; `calls` the callees. */
+function unitSafe(node, reads, calls) {
+    const expr = (e) => {
+        switch (e.kind) {
+            case "varRef":
+            case "numLit":
+            case "boolLit":
+            case "bin":
+            case "unary":
+            case "logical":
+            case "ternary":
+            case "toBool":
+            case "seqExpr":
+            case "assignExpr":
+            case "incDec":
+            case "recordGet":
+            case "fieldGet":
+                break;
+            case "bytesIntrinsic":
+                if (!UNIT_SAFE_BYTES_METHODS.has(e.method))
+                    return false;
+                break;
+            case "arrayGet":
+                if (e.type.kind !== "f64" && e.type.kind !== "bool")
+                    return false;
+                break;
+            case "arrIntrinsic": {
+                // Growing or shrinking an array of numbers allocates; it reads no
+                // string.
+                const array = e.receiver.type;
+                if (!ARRAY_METHODS.has(e.method) ||
+                    array.kind !== "array" ||
+                    (array.elem.kind !== "f64" && array.elem.kind !== "bool"))
+                    return false;
+                break;
+            }
+            case "libCall":
+                if (!e.fn.startsWith("math."))
+                    return false;
+                break;
+            case "call":
+                if (!calls(e.callee))
+                    return false;
+                break;
+            case "strIntrinsic":
+                if (!reads(e))
+                    return false;
+                break;
+            default:
+                return false;
+        }
+        return everyExprChild(e, expr, stmt);
+    };
+    const stmt = (s) => {
+        switch (s.kind) {
+            case "varDecl":
+            case "assign":
+            case "exprStmt":
+            case "if":
+            case "block":
+            case "while":
+            case "doWhile":
+            case "for":
+            case "break":
+            case "continue":
+            case "return":
+            case "recordSet":
+            case "fieldSet":
+            case "bytesSet":
+                break;
+            default:
+                return false;
+        }
+        return everyStmtChild(s, expr, stmt);
+    };
+    return "e" in node ? expr(node.e) : stmt(node.s);
+}
+/** The module's functions a units version may call: synchronous
+ * functions without captures whose bodies use only unit-safe operations,
+ * read no string, and call only such functions. */
+export function unitSafeFunctions(mod) {
+    const candidates = new Map(mod.functions
+        .filter((fn) => !fn.async && !fn.generator && !(fn.captures?.length ?? 0))
+        .map((fn) => [fn.name, fn]));
+    const safe = new Set(candidates.keys());
+    for (let settled = false; !settled;) {
+        settled = true;
+        for (const name of safe) {
+            const fn = candidates.get(name);
+            const ok = fn.body.every((s) => unitSafe({ s }, () => false, (callee) => safe.has(callee)));
+            if (!ok) {
+                safe.delete(name);
+                settled = false;
+            }
+        }
+    }
+    return safe;
+}
+/** The `length` reads of the binding `receiver` in a loop whose every
+ * part is unit-safe, reading only charCodeAt and length of `receiver` and
+ * calling only `safe` functions; null for any other loop. */
+export function unitSafeLoop(loop, receiver, safe) {
+    const lengths = new Set();
+    const reads = (e) => {
+        if (e.receiver.kind !== "varRef" || e.receiver.localId !== receiver)
+            return false;
+        if (e.method === "length")
+            lengths.add(e);
+        return e.method === "charCodeAt" || e.method === "length";
+    };
+    const calls = (callee) => safe.has(callee);
+    return unitSafe({ s: loop }, reads, calls) ? lengths : null;
+}
+//# sourceMappingURL=string-unit-versions.js.map

package/dist/backend/llvm/string-unit-versions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-unit-versions.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-unit-versions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtE;;;;;;;;;;4BAU4B;AAE5B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEzD;;;;;sCAKsC;AACtC,MAAM,uBAAuB,GAAwC,IAAI,GAAG,CAAC;IAC3E,QAAQ;IACR,QAAQ;IACR,YAAY;IACZ,YAAY;IACZ,KAAK;IACL,OAAO;IACP,UAAU;IACV,YAAY;IACZ,aAAa;IACb,YAAY;IACZ,MAAM;IACN,SAAS;IACT,SAAS;IACT,SAAS;IACT,UAAU;IACV,YAAY;IACZ,aAAa;IACb,QAAQ;IACR,YAAY;IACZ,YAAY;IACZ,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,iBAAiB;IACjB,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU;IACV,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,YAAY;IACZ,WAAW;IACX,aAAa;IACb,YAAY;IACZ,aAAa;IACb,YAAY;IACZ,cAAc;IACd,cAAc;IACd,cAAc;IACd,sBAAsB;IACtB,qBAAqB;IACrB,YAAY;IACZ,WAAW;IACX,aAAa;IACb,YAAY;IACZ,aAAa;IACb,YAAY;IACZ,cAAc;IACd,cAAc;IACd,cAAc;CACf,CAAC,CAAC;AAEH;;;0CAG0C;AAC1C,SAAS,QAAQ,CACf,IAAmC,EACnC,KAAwD,EACxD,KAAkC;IAElC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,SAAS,CAAC;YACf,KAAK,KAAK,CAAC;YACX,KAAK,OAAO,CAAC;YACb,KAAK,SAAS,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ,CAAC;YACd,KAAK,SAAS,CAAC;YACf,KAAK,YAAY,CAAC;YAClB,KAAK,QAAQ,CAAC;YACd,KAAK,WAAW,CAAC;YACjB,KAAK,UAAU;gBACb,MAAM;YACR,KAAK,gBAAgB;gBACnB,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACzD,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAClE,MAAM;YACR,KAAK,cAAc,EAAE,CAAC;gBACpB,kEAAkE;gBAClE,UAAU;gBACV,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC9B,IACE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC5B,KAAK,CAAC,IAAI,KAAK,OAAO;oBACtB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;oBAEzD,OAAO,KAAK,CAAC;gBACf,MAAM;YACR,CAAC;YACD,KAAK,SAAS;gBACZ,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC5C,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACnC,MAAM;YACR,KAAK,cAAc;gBACjB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC5B,MAAM;YACR;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ,CAAC;YACd,KAAK,UAAU,CAAC;YAChB,KAAK,IAAI,CAAC;YACV,KAAK,OAAO,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,SAAS,CAAC;YACf,KAAK,KAAK,CAAC;YACX,KAAK,OAAO,CAAC;YACb,KAAK,UAAU,CAAC;YAChB,KAAK,QAAQ,CAAC;YACd,KAAK,WAAW,CAAC;YACjB,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU;gBACb,MAAM;YACR;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,OAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;mDAEmD;AACnD,MAAM,UAAU,iBAAiB,CAAC,GAAa;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,GAAG,CAAC,SAAS;SACV,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;SACzE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAC9B,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,KAAK,IAAI,OAAO,GAAG,KAAK,EAAE,CAAC,OAAO,GAAG,CAAC;QACpC,OAAO,GAAG,IAAI,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACjC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7B,QAAQ,CACN,EAAE,CAAC,EAAE,EACL,GAAG,EAAE,CAAC,KAAK,EACX,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAC7B,CACF,CAAC;YACF,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,GAAG,KAAK,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;6DAE6D;AAC7D,MAAM,UAAU,YAAY,CAC1B,IAAwC,EACxC,QAAgB,EAChB,IAAyB;IAEzB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,CAAoC,EAAW,EAAE;QAC9D,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAClF,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;IAC5D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC"}

package/dist/backend/llvm/string-unit-versions.test.d.ts

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

package/dist/backend/llvm/string-unit-versions.test.js

@@ -0,0 +1,117 @@
+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 { unitSafeFunctions, unitSafeLoop } from "./string-unit-versions.js";
+async function lower(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-unit-versions-"));
+    try {
+        const entry = join(dir, "main.ts");
+        const outPath = join(dir, "main.ir.json");
+        await writeFile(entry, source);
+        const result = await compile(entry, { outDir: dir, outPath, outputKind: "ir" });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((d) => `${d.code}: ${d.message}`).join("\n"));
+        return deserializeModule(await readFile(outPath, "utf8"));
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+const loopOf = (mod, name) => mod.functions.find((f) => f.name === name).body.find((s) => s.kind === "for");
+test("loops over a string's units call only functions that read no string", async () => {
+    const mod = await lower(`
+function lower(c: number): boolean {
+  return c >= 97 && c <= 122;
+}
+function word(c: number): boolean {
+  return lower(c) || (c >= 48 && c <= 57) || Math.abs(c - 200) < 50;
+}
+function codeOf(t: string, i: number): number {
+  return t.charCodeAt(i);
+}
+function viaCodeOf(t: string): number {
+  return codeOf(t, 0);
+}
+function words(s: string): number {
+  let n = 0;
+  const starts = [0];
+  for (let i = 0; i < s.length; i++) {
+    if (word(s.charCodeAt(i))) n++;
+    else starts.push(i);
+  }
+  return n + starts.length;
+}
+function pairs(s: string, t: string): number {
+  let n = 0;
+  for (let i = 0; i < s.length; i++) n += s.charCodeAt(i) + codeOf(t, i);
+  return n;
+}
+function both(s: string, t: string): number {
+  let n = 0;
+  for (let i = 0; i < s.length; i++) n += s.charCodeAt(i) + t.charCodeAt(i);
+  return n;
+}
+function concatenates(s: string): string {
+  let out = "";
+  for (let i = 0; i < s.length; i++) if (s.charCodeAt(i) === 32) out += "-";
+  return out;
+}
+console.log(words("ab c"), pairs("ab", "cd"), both("ab", "cd"), concatenates("a b"), viaCodeOf("x"));
+`);
+    const safe = unitSafeFunctions(mod);
+    expect(safe.has("lower")).toBe(true);
+    expect(safe.has("word")).toBe(true);
+    // A string read, directly or through a call, makes a function unsafe.
+    expect(safe.has("codeOf")).toBe(false);
+    expect(safe.has("viaCodeOf")).toBe(false);
+    const param = (fn, index = 0) => mod.functions.find((f) => f.name === fn).params[index].localId;
+    // A unit-safe loop answers its receiver's length reads: here the
+    // condition's `s.length`.
+    const lengths = unitSafeLoop(loopOf(mod, "words"), param("words"), safe);
+    expect(lengths?.size).toBe(1);
+    expect([...lengths].every((e) => e.kind === "strIntrinsic" && e.method === "length")).toBe(true);
+    expect(unitSafeLoop(loopOf(mod, "pairs"), param("pairs"), safe)).toBeNull();
+    expect(unitSafeLoop(loopOf(mod, "both"), param("both"), safe)).toBeNull();
+    expect(unitSafeLoop(loopOf(mod, "concatenates"), param("concatenates"), safe)).toBeNull();
+});
+test("loops that sort with a comparator or copy an untyped source get no units copy", async () => {
+    // Either can run program code that indexes other strings, which evicts
+    // the receiver's units while the loop reads them.
+    const mod = await lower(`
+function sorts(s: string, values: Float64Array, compare: (a: number, b: number) => number): number {
+  let n = 0;
+  for (let i = 0; i < s.length; i++) {
+    n += s.charCodeAt(i);
+    if (i === 3) values.sort(compare);
+  }
+  return n;
+}
+function copies(s: string, values: Float64Array, source: any): number {
+  let n = 0;
+  for (let i = 0; i < s.length; i++) {
+    n += s.charCodeAt(i);
+    if (i === 3) values.set(source);
+  }
+  return n;
+}
+function sortsNumbers(s: string, values: Float64Array): number {
+  let n = 0;
+  for (let i = 0; i < s.length; i++) {
+    n += s.charCodeAt(i);
+    if (i === 3) values.sort();
+  }
+  return n;
+}
+const values = new Float64Array([2, 1]);
+console.log(sorts("abcdef", values, (a, b) => a - b), copies("abcdef", values, [4, 3]), sortsNumbers("abcdef", values));
+`);
+    const safe = unitSafeFunctions(mod);
+    const param = (fn) => mod.functions.find((f) => f.name === fn).params[0].localId;
+    expect(unitSafeLoop(loopOf(mod, "sorts"), param("sorts"), safe)).toBeNull();
+    expect(unitSafeLoop(loopOf(mod, "copies"), param("copies"), safe)).toBeNull();
+    // A numeric sort calls no program code.
+    expect(unitSafeLoop(loopOf(mod, "sortsNumbers"), param("sortsNumbers"), safe)).not.toBeNull();
+});
+//# sourceMappingURL=string-unit-versions.test.js.map

package/dist/backend/llvm/string-unit-versions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-unit-versions.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-unit-versions.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;AAE5D,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE5E,KAAK,UAAU,KAAK,CAAC,MAAc;IACjC,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,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC1C,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,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAChF,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,OAAO,iBAAiB,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAa,EAAE,IAAY,EAA4B,EAAE,CACvE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAE5E,CAAC;AAEJ,IAAI,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;IACrF,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsCzB,CAAC,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,sEAAsE;IACtE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAE1C,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAK,GAAG,CAAC,EAAU,EAAE,CAC9C,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAE,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,OAAO,CAAC;IACnE,iEAAiE;IACjE,0BAA0B;IAC1B,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,CAAC,GAAG,OAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5E,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1E,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,KAAK,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC5F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;IAC/F,uEAAuE;IACvE,kDAAkD;IAClD,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2BzB,CAAC,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAU,EAAE,CACnC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;IAC/D,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5E,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9E,wCAAwC;IACxC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,KAAK,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;AAChG,CAAC,CAAC,CAAC"}

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

@@ -1,5 +1,8 @@
-import type { IrModule } from "../../ir/ir.js";
+import { type IrModule } from "../../ir/ir.js";
 /** Test helper: a Set of each union keeps it a tagged `%ScrUnion` box (Set
  * elements are runtime-inspected boxes), so stack-box tests exercise the
- * paths that nullable-pointer unions (nullable-unions.ts) bypass. */
+ * paths that nullable-pointer unions (nullable-unions.ts) bypass. A union of
+ * records alone is a Set element by record identity, so for those the Set
+ * holds a companion union with a number arm, which keeps the records out of
+ * every shape union. */
 export declare function keepUnionsBoxed(mod: IrModule): IrModule;

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

@@ -1,13 +1,29 @@
+import { F64 } from "../../ir/ir.js";
 /** Test helper: a Set of each union keeps it a tagged `%ScrUnion` box (Set
  * elements are runtime-inspected boxes), so stack-box tests exercise the
- * paths that nullable-pointer unions (nullable-unions.ts) bypass. */
+ * paths that nullable-pointer unions (nullable-unions.ts) bypass. A union of
+ * records alone is a Set element by record identity, so for those the Set
+ * holds a companion union with a number arm, which keeps the records out of
+ * every shape union. */
 export function keepUnionsBoxed(mod) {
-    const keep = (mod.unions ?? []).map((union) => ({
-        id: `%g.keep.${union.id}`,
-        name: `keep_${union.id}`,
-        type: { kind: "set", elem: { kind: "union", unionId: union.id } },
-        mutable: false,
-    }));
-    return { ...mod, globals: [...(mod.globals ?? []), ...keep] };
+    const companions = [];
+    const keep = (mod.unions ?? []).map((union) => {
+        let elem = union.id;
+        if (union.arms.every((arm) => arm.kind === "record")) {
+            elem = `%keep.${union.id}`;
+            companions.push({ id: elem, arms: [...union.arms, F64] });
+        }
+        return {
+            id: `%g.keep.${union.id}`,
+            name: `keep_${union.id}`,
+            type: { kind: "set", elem: { kind: "union", unionId: elem } },
+            mutable: false,
+        };
+    });
+    return {
+        ...mod,
+        unions: [...(mod.unions ?? []), ...companions],
+        globals: [...(mod.globals ?? []), ...keep],
+    };
 }
 //# sourceMappingURL=test-boxed-unions.js.map