@scriptc/compiler 0.3.1 → 0.3.3

package/dist/backend/llvm/stack-objects.test.js

@@ -0,0 +1,255 @@
+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 { F64, VOID, } from "../../ir/ir.js";
+import { validateModule } from "../../ir/validate.js";
+import { emitLlvmModule } from "./emitter.js";
+import { addRecordResultEntries, RESULT_ENTRY_PREFIX } from "./record-results.js";
+async function moduleFor(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-stack-objects-"));
+    try {
+        const entry = join(dir, "main.ts"), output = join(dir, "main.ir.json");
+        await writeFile(entry, source);
+        const result = await compile(entry, { outDir: dir, outPath: output, outputKind: "ir" });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((item) => `${item.code}: ${item.message}`).join("\n"));
+        const module = deserializeModule(await readFile(output, "utf8"));
+        expect(validateModule(module)).toEqual([]);
+        return module;
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+/** The body of a source function: its borrowing or i32 entry when it has one. */
+function body(ir, name) {
+    return new RegExp(`^define internal [^\\n]*@sc_b?f_${name}(?:\\.i32)?\\([^]*?^}`, "m").exec(ir)[0];
+}
+const VECTORS = `
+interface Vec { x: number; y: number }
+function add(a: Vec, b: Vec): Vec { return { x: a.x + b.x, y: a.y + b.y }; }
+function dot(a: Vec, b: Vec): number { return a.x * b.x + a.y * b.y; }
+function shortest(a: Vec): Vec { return a.x < a.y ? { x: a.x, y: 0 } : { x: 0, y: a.y }; }
+const kept: Vec[] = [];
+export function projected(n: number): number {
+  const p = { x: n, y: 1 };
+  const q = add(p, { x: 2, y: n });
+  return dot(q, p) + dot(shortest(q), q);
+}
+export function escaping(n: number): number {
+  const p = { x: n, y: 1 };
+  kept.push(p);
+  const q = add(p, p);
+  kept.push(q);
+  return q.x;
+}
+export function reassigned(n: number): number {
+  let p = { x: n, y: 0 };
+  for (let i = 0; i < n; i++) p = add(p, { x: 1, y: i });
+  return p.x + p.y;
+}
+console.log(projected(2), escaping(3), reassigned(4), kept.length);
+`;
+test("projection-only records live in frame storage and producers fill it", async () => {
+    const ir = emitLlvmModule(await moduleFor(VECTORS));
+    const projected = body(ir, "projected");
+    expect(projected).toMatch(/alloca %sc_rs_\w+, align 8/);
+    expect(projected).toContain("store i64 -1, ptr");
+    expect(projected).not.toMatch(/@sc_rnew_/);
+    expect(projected).toMatch(/call void @sc_\w*into_add\(/);
+    expect(projected).toMatch(/call void @sc_\w*into_shortest\(/);
+    // The result-slot entries are small and called per use: hinted inline.
+    expect(ir).toMatch(/^define internal void @sc_\w*into_add\([^)]*\) inlinehint /m);
+    expect(ir).toMatch(/^define internal void @sc_\w*into_shortest\([^)]*\) inlinehint /m);
+    // A literal stores every field: its storage is not zeroed first.
+    expect(projected).not.toContain("zeroinitializer");
+    // Stored values keep the heap path and the ordinary producer.
+    const escaping = body(ir, "escaping");
+    expect(escaping).toMatch(/call ptr @sc_rnew_/);
+    expect(escaping).toMatch(/call ptr @sc_\w*f_add\(/);
+    expect(escaping).not.toMatch(/alloca %sc_rs_/);
+});
+test("reassigned bindings build each value apart and copy it into their slot", async () => {
+    const ir = emitLlvmModule(await moduleFor(VECTORS));
+    const reassigned = body(ir, "reassigned");
+    expect(reassigned).not.toMatch(/@sc_rnew_/);
+    expect(reassigned).toMatch(/load %sc_rs_\w+, ptr %s\d+\n\s+store %sc_rs_\w+ %t\d+, ptr %s\d+/);
+});
+test("result-slot entries cover producers whose every return is fresh or a parameter", async () => {
+    const mod = await moduleFor(`
+interface Vec { x: number; y: number }
+function fresh(n: number): Vec { if (n > 1) return { x: n, y: n }; return { x: 0, y: 1 }; }
+function passthrough(v: Vec): Vec { return v; }
+function guarded(n: number): Vec { try { return { x: n, y: 0 }; } finally { console.log(n); } }
+console.log(fresh(1).x, passthrough({ x: 1, y: 2 }).y, guarded(3).x);
+`);
+    const entries = addRecordResultEntries(mod)
+        .functions.map((fn) => fn.name)
+        .filter((name) => name.startsWith(RESULT_ENTRY_PREFIX));
+    // A returned parameter of a shape nothing writes is copied; a return
+    // inside \`try\` keeps the ordinary function.
+    expect(entries).toEqual([`${RESULT_ENTRY_PREFIX}fresh`, `${RESULT_ENTRY_PREFIX}passthrough`]);
+});
+test("objects stay on the heap when their constructor or a method lets them escape", async () => {
+    const ir = emitLlvmModule(await moduleFor(`
+const seen: Tracked[] = [];
+class Tracked { id: number; constructor(id: number) { this.id = id; seen.push(this); } }
+class Plain {
+  a: number; b: number;
+  constructor(a: number, b: number) { this.a = a; this.b = b; }
+  sum(): number { return this.a + this.b; }
+  self(): Plain { return this; }
+}
+const selves: Plain[] = [];
+export function run(n: number): number {
+  const t = new Tracked(n);
+  const p = new Plain(n, 1);
+  const s = new Plain(n, 2);
+  selves.push(s.self());
+  return t.id + p.sum() + s.sum();
+}
+console.log(run(1), seen.length, selves.length);
+`));
+    const run = body(ir, "run");
+    expect(run.match(/alloca %sc_o_\w+, align 8/g)).toHaveLength(1);
+    expect(run).toContain("call ptr @sc_new_Tracked()");
+    expect(run).toContain("call ptr @sc_new_Plain()");
+});
+test("loop bindings are never reassigned into a fixed slot", () => {
+    const loc = { file: "loop.ts", start: 0, end: 0 };
+    const point = { kind: "record", shapeId: "point" };
+    const points = { kind: "array", elem: point };
+    const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+    const x = (obj) => ({
+        kind: "recordGet",
+        obj,
+        shapeId: "point",
+        field: "x",
+        type: F64,
+        loc,
+    });
+    const work = {
+        name: "work",
+        loc,
+        returnType: F64,
+        params: [{ localId: "items", name: "items", type: points }],
+        locals: [
+            { id: "items", name: "items", type: points, mutable: true },
+            { id: "total", name: "total", type: F64, mutable: true },
+            { id: "p", name: "p", type: point, mutable: true },
+        ],
+        body: [
+            {
+                kind: "varDecl",
+                localId: "total",
+                init: { kind: "numLit", value: 0, type: F64, loc },
+                loc,
+            },
+            {
+                kind: "forOf",
+                localId: "p",
+                iterable: ref("items", points),
+                body: [
+                    {
+                        kind: "assign",
+                        localId: "p",
+                        value: {
+                            kind: "recordLit",
+                            fields: [
+                                {
+                                    name: "x",
+                                    value: {
+                                        kind: "bin",
+                                        op: "+",
+                                        left: x(ref("p", point)),
+                                        right: { kind: "numLit", value: 10, type: F64, loc },
+                                        type: F64,
+                                        loc,
+                                    },
+                                },
+                            ],
+                            type: point,
+                            loc,
+                        },
+                        loc,
+                    },
+                    {
+                        kind: "assign",
+                        localId: "total",
+                        value: {
+                            kind: "bin",
+                            op: "+",
+                            left: ref("total", F64),
+                            right: x(ref("p", point)),
+                            type: F64,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                loc,
+            },
+            { kind: "return", value: ref("total", F64), loc },
+        ],
+    };
+    const mod = {
+        irVersion: 16,
+        sourceFile: loc.file,
+        entry: "main",
+        records: [{ id: "point", fields: [{ name: "x", type: F64 }] }],
+        functions: [{ name: "main", params: [], locals: [], body: [], returnType: VOID, loc }, work],
+    };
+    expect(validateModule(mod)).toEqual([]);
+    const ir = body(emitLlvmModule(mod), "work");
+    // The literal keeps its ordinary record; the binding is the element.
+    expect(ir).toContain("call ptr @sc_rnew_point()");
+    expect(ir).not.toMatch(/alloca %sc_rs_point/);
+});
+test("objects updated through their methods and parameters stay in frame storage", async () => {
+    const ir = emitLlvmModule(await moduleFor(`
+class Stats {
+  n = 0; sum = 0;
+  add(v: number): void { this.n++; this.sum += v; }
+  mean(): number { return this.sum / this.n; }
+}
+interface Cursor { pos: number }
+function advance(c: Cursor): void { c.pos += 2; }
+class Box { v: number; constructor(v: number) { this.v = v; } }
+export function run(k: number): number {
+  const s = new Stats();
+  for (let i = 0; i < k; i++) s.add(i);
+  const c: Cursor = { pos: k };
+  advance(c);
+  let b = new Box(1);
+  const old = b;
+  b = new Box(2);
+  return s.mean() + c.pos + old.v + b.v;
+}
+console.log(run(3));
+`));
+    const run = body(ir, "run");
+    expect(run).toMatch(/alloca %sc_o_Stats, align 8/);
+    expect(run).toMatch(/alloca %sc_rs_\w+, align 8/);
+    // An alias of a reassigned binding must keep seeing the old object.
+    expect(run).toContain("call ptr @sc_new_Box()");
+});
+test("producers returning a parameter copy it only for shapes nothing writes", async () => {
+    const mod = await moduleFor(`
+interface Vec { x: number; y: number }
+interface Cell { value: number }
+function pick(a: Vec, b: Vec, first: boolean): Vec { return first ? a : b; }
+function forward(v: Vec): Vec { return pick(v, { x: 0, y: 0 }, v.x > 0); }
+function same(c: Cell): Cell { return c; }
+const c: Cell = { value: 1 };
+same(c).value += 1;
+console.log(pick({ x: 1, y: 2 }, { x: 3, y: 4 }, true).y, forward({ x: 1, y: 1 }).x, c.value);
+`);
+    const entries = addRecordResultEntries(mod)
+        .functions.map((fn) => fn.name)
+        .filter((name) => name.startsWith(RESULT_ENTRY_PREFIX))
+        .sort();
+    expect(entries).toEqual([`${RESULT_ENTRY_PREFIX}forward`, `${RESULT_ENTRY_PREFIX}pick`]);
+});
+//# sourceMappingURL=stack-objects.test.js.map

package/dist/backend/llvm/stack-objects.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stack-objects.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/stack-objects.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EACL,GAAG,EACH,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAElF,KAAK,UAAU,SAAS,CAAC,MAAc;IACrC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACrC,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,SAAS,IAAI,CAAC,EAAU,EAAE,IAAY;IACpC,OAAO,IAAI,MAAM,CAAC,mCAAmC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CACzF,EAAE,CACF,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,OAAO,GAAG;;;;;;;;;;;;;;;;;;;;;;;;CAwBf,CAAC;AAEF,IAAI,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;IACrF,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACxC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IACxD,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACjD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACzD,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAC9D,uEAAuE;IACvE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,6DAA6D,CAAC,CAAC;IAClF,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,kEAAkE,CAAC,CAAC;IACvF,iEAAiE;IACjE,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACnD,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACtC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC/C,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACpD,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;IACxF,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IAC1C,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,kEAAkE,CAAC,CAAC;AACjG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;IAChG,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;;;;;;CAM7B,CAAC,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC;SACxC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;SAC9B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC1D,qEAAqE;IACrE,8CAA8C;IAC9C,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,mBAAmB,OAAO,EAAE,GAAG,mBAAmB,aAAa,CAAC,CAAC,CAAC;AAChG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;IAC9F,MAAM,EAAE,GAAG,cAAc,CACvB,MAAM,SAAS,CAAC;;;;;;;;;;;;;;;;;;CAkBnB,CAAC,CACC,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACpD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAClD,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC3D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChG,MAAM,CAAC,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,WAAW;QACjB,GAAG;QACH,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,GAAG;QACV,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,MAAM;QACZ,GAAG;QACH,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC3D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;YAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;YACxD,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE;SACnD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAClD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,GAAG;gBACZ,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC;gBAC9B,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,GAAG;wBACZ,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,MAAM,EAAE;gCACN;oCACE,IAAI,EAAE,GAAG;oCACT,KAAK,EAAE;wCACL,IAAI,EAAE,KAAK;wCACX,EAAE,EAAE,GAAG;wCACP,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;wCACxB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wCACpD,IAAI,EAAE,GAAG;wCACT,GAAG;qCACJ;iCACF;6BACF;4BACD,IAAI,EAAE,KAAK;4BACX,GAAG;yBACJ;wBACD,GAAG;qBACJ;oBACD;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,OAAO;wBAChB,KAAK,EAAE;4BACL,IAAI,EAAE,KAAK;4BACX,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC;4BACvB,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;4BACzB,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;SAClD;KACF,CAAC;IACF,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC9D,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;KAC7F,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7C,qEAAqE;IACrE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IAClD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;IAC5F,MAAM,EAAE,GAAG,cAAc,CACvB,MAAM,SAAS,CAAC;;;;;;;;;;;;;;;;;;;;CAoBnB,CAAC,CACC,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACnD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAClD,oEAAoE;IACpE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;IACxF,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;;;;;;;;;CAS7B,CAAC,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC;SACxC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;SAC9B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;SACtD,IAAI,EAAE,CAAC;IACV,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,mBAAmB,SAAS,EAAE,GAAG,mBAAmB,MAAM,CAAC,CAAC,CAAC;AAC3F,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/string-reads.d.ts

@@ -3,8 +3,11 @@ export declare const STRING_CHAR_CODE_AT_DECL = "declare double @scr_str_char_co
 /** Requests the integer-index helper below; an LLVM comment line among the
  * declarations, so it never declares anything itself. */
 export declare const STRING_CHAR_CODE_AT_INT_MARKER = "; uses @sc_str_char_code_at_int";
+/** The runtime's ScrStrScan record and the declaration naming it. */
+export declare function stringScanType(sz: string): string;
+export declare function stringScanDecl(sz: string): string;
 export interface StringReadHelper {
     decl: string;
-    define(sz: string, attrs: string): string[];
+    define(sz: string, attrs: string, scan: boolean): string[];
 }
 export declare const STRING_READ_HELPERS: readonly StringReadHelper[];

package/dist/backend/llvm/string-reads.js

@@ -9,10 +9,23 @@
  * semantics (surrogate halves, out-of-range NaN, fractional, negative and
  * NaN indices). On little-endian targets the bit is the sign bit of the
  * capacity word's low 32 bits on both i64 and i32 layouts.
+ *
+ * With `scan`, a string that is not proven ASCII is first compared with
+ * the runtime's published scan receiver (ScrStrScan, scr_runtime.h): the
+ * string an indexed scan converted to UTF-16 units, whose length and units
+ * then read inline. Only targets whose runtime state is not thread-local
+ * publish it to emitted code.
  */
 import { exactIndexLines } from "./common.js";
 export const STRING_UTF16_LEN_DECL = "declare double @scr_str_utf16_len(ptr)";
 export const STRING_CHAR_CODE_AT_DECL = "declare double @scr_str_char_code_at(ptr, double)";
+/** The runtime fallbacks are cold: both common cases read inline. They
+ * carry no
+ * memory restriction: a fallback can evict an index entry, which resets
+ * the published scan receiver (@scr_str_scan, read inline below) and frees
+ * its unit array, so every scan read after the call must reload. */
+const LENGTH_CALL_ATTRS = "cold nocallback nounwind willreturn";
+const READ_CALL_ATTRS = "cold nocallback nounwind willreturn";
 /** Requests the integer-index helper below; an LLVM comment line among the
  * declarations, so it never declares anything itself. */
 export const STRING_CHAR_CODE_AT_INT_MARKER = "; uses @sc_str_char_code_at_int";
@@ -30,34 +43,89 @@ function loadLength(sz) {
         `  %len = load ${sz}, ptr %len.p`,
     ];
 }
+/** The runtime's ScrStrScan record and the declaration naming it. */
+export function stringScanType(sz) {
+    return `{ ptr, ptr, ${sz} }`;
+}
+export function stringScanDecl(sz) {
+    return `@scr_str_scan = external global ${stringScanType(sz)}`;
+}
+/** The scan receiver test of `%s`: branches to `hit` with `%scan.n` (its
+ * unit count, as i64) and `%scan.units` loaded, else to `miss`. */
+function scanTest(sz, hit, miss) {
+    const type = stringScanType(sz);
+    return [
+        `  %scan.s = load ptr, ptr @scr_str_scan`,
+        `  %scan.same = icmp eq ptr %scan.s, %s`,
+        `  br i1 %scan.same, label %scan.load, label %${miss}`,
+        `scan.load:`,
+        `  %scan.up = getelementptr inbounds ${type}, ptr @scr_str_scan, i32 0, i32 1`,
+        `  %scan.units = load ptr, ptr %scan.up`,
+        `  %scan.np = getelementptr inbounds ${type}, ptr @scr_str_scan, i32 0, i32 2`,
+        `  %scan.nw = load ${sz}, ptr %scan.np`,
+        sz === "i64" ? `  %scan.n = add i64 %scan.nw, 0` : `  %scan.n = zext ${sz} %scan.nw to i64`,
+        `  br label %${hit}`,
+    ];
+}
+/** Read unit `%k` (i64, below %scan.n) of the scan receiver. */
+function scanRead() {
+    return [
+        `  %scan.p = getelementptr inbounds i16, ptr %scan.units, i64 %scan.k`,
+        `  %scan.unit = load i16, ptr %scan.p`,
+        `  %scan.d = uitofp i16 %scan.unit to double`,
+        `  ret double %scan.d`,
+    ];
+}
 export const STRING_READ_HELPERS = [
     {
         decl: STRING_UTF16_LEN_DECL,
-        define: (sz, attrs) => [
+        define: (sz, attrs, scan) => [
             `define internal double @sc_str_utf16_len(ptr %s) ${attrs} {`,
             `entry:`,
             ...asciiTest(),
-            `  br i1 %ascii, label %fast, label %slow`,
+            `  br i1 %ascii, label %fast, label %${scan ? "wide" : "slow"}`,
             `fast:`,
             ...loadLength(sz),
             `  %n = sitofp ${sz} %len to double`,
             `  ret double %n`,
+            ...(scan
+                ? [
+                    `wide:`,
+                    ...scanTest(sz, "scan.len", "slow"),
+                    `scan.len:`,
+                    `  %scan.dn = sitofp i64 %scan.n to double`,
+                    `  ret double %scan.dn`,
+                ]
+                : []),
             `slow:`,
-            `  %r = call double @scr_str_utf16_len(ptr %s)`,
+            `  %r = call double @scr_str_utf16_len(ptr %s) ${LENGTH_CALL_ATTRS}`,
             `  ret double %r`,
             `}`,
         ],
     },
     {
         decl: STRING_CHAR_CODE_AT_DECL,
-        define: (sz, attrs) => {
+        define: (sz, attrs, scan) => {
             let n = 0;
             const exactIndex = exactIndexLines("%i", "%len", sz, () => `%ix${n++}`);
+            const scanIndex = exactIndexLines("%i", "%scan.n", "i64", () => `%sx${n++}`);
             return [
                 `define internal double @sc_str_char_code_at(ptr %s, double %i) ${attrs} {`,
                 `entry:`,
                 ...asciiTest(),
-                `  br i1 %ascii, label %bounds, label %slow`,
+                `  br i1 %ascii, label %bounds, label %${scan ? "wide" : "slow"}`,
+                ...(scan
+                    ? [
+                        `wide:`,
+                        ...scanTest(sz, "scan.bounds", "slow"),
+                        `scan.bounds:`,
+                        ...scanIndex.lines.map((line) => `  ${line}`),
+                        `  br i1 ${scanIndex.ok}, label %scan.read, label %slow`,
+                        `scan.read:`,
+                        `  %scan.k = add i64 ${scanIndex.wide}, 0`,
+                        ...scanRead(),
+                    ]
+                    : []),
                 `bounds:`,
                 ...loadLength(sz),
                 ...exactIndex.lines.map((line) => `  ${line}`),
@@ -72,7 +140,7 @@ export const STRING_READ_HELPERS = [
                 `  %unit = uitofp i8 %byte to double`,
                 `  ret double %unit`,
                 `slow:`,
-                `  %r = call double @scr_str_char_code_at(ptr %s, double %i)`,
+                `  %r = call double @scr_str_char_code_at(ptr %s, double %i) ${READ_CALL_ATTRS}`,
                 `  ret double %r`,
                 `}`,
             ];
@@ -83,11 +151,23 @@ export const STRING_READ_HELPERS = [
         // counter, an int32 slot or local) needs no double round trip: one
         // unsigned compare rejects negative and out-of-range indices alike.
         decl: STRING_CHAR_CODE_AT_INT_MARKER,
-        define: (sz, attrs) => [
+        define: (sz, attrs, scan) => [
             `define internal double @sc_str_char_code_at_int(ptr %s, i64 %i) ${attrs} {`,
             `entry:`,
             ...asciiTest(),
-            `  br i1 %ascii, label %bounds, label %slow`,
+            `  br i1 %ascii, label %bounds, label %${scan ? "wide" : "slow"}`,
+            ...(scan
+                ? [
+                    `wide:`,
+                    ...scanTest(sz, "scan.bounds", "slow"),
+                    `scan.bounds:`,
+                    `  %scan.ok = icmp ult i64 %i, %scan.n`,
+                    `  br i1 %scan.ok, label %scan.read, label %slow`,
+                    `scan.read:`,
+                    `  %scan.k = add i64 %i, 0`,
+                    ...scanRead(),
+                ]
+                : []),
             `bounds:`,
             ...loadLength(sz),
             ...(sz === "i64" ? [] : [`  %len64 = zext ${sz} %len to i64`]),
@@ -101,7 +181,7 @@ export const STRING_READ_HELPERS = [
             `  ret double %unit`,
             `slow:`,
             `  %d = sitofp i64 %i to double`,
-            `  %r = call double @scr_str_char_code_at(ptr %s, double %d)`,
+            `  %r = call double @scr_str_char_code_at(ptr %s, double %d) ${READ_CALL_ATTRS}`,
             `  ret double %r`,
             `}`,
         ],

package/dist/backend/llvm/string-reads.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-reads.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-reads.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,CAAC,MAAM,qBAAqB,GAAG,wCAAwC,CAAC;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,mDAAmD,CAAC;AAC5F;yDACyD;AACzD,MAAM,CAAC,MAAM,8BAA8B,GAAG,iCAAiC,CAAC;AAEhF,wDAAwD;AACxD,SAAS,SAAS;IAChB,OAAO;QACL,gEAAgE;QAChE,6BAA6B;QAC7B,gCAAgC;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO;QACL,iEAAiE;QACjE,iBAAiB,EAAE,cAAc;KAClC,CAAC;AACJ,CAAC;AAOD,MAAM,CAAC,MAAM,mBAAmB,GAAgC;IAC9D;QACE,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACrB,oDAAoD,KAAK,IAAI;YAC7D,QAAQ;YACR,GAAG,SAAS,EAAE;YACd,0CAA0C;YAC1C,OAAO;YACP,GAAG,UAAU,CAAC,EAAE,CAAC;YACjB,iBAAiB,EAAE,iBAAiB;YACpC,iBAAiB;YACjB,OAAO;YACP,+CAA+C;YAC/C,iBAAiB;YACjB,GAAG;SACJ;KACF;IACD;QACE,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACpB,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YACxE,OAAO;gBACL,kEAAkE,KAAK,IAAI;gBAC3E,QAAQ;gBACR,GAAG,SAAS,EAAE;gBACd,4CAA4C;gBAC5C,SAAS;gBACT,GAAG,UAAU,CAAC,EAAE,CAAC;gBACjB,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC9C,WAAW,UAAU,CAAC,EAAE,4BAA4B;gBACpD,OAAO;gBACP,EAAE,KAAK,KAAK;oBACV,CAAC,CAAC,kBAAkB,UAAU,CAAC,IAAI,KAAK;oBACxC,CAAC,CAAC,oBAAoB,UAAU,CAAC,IAAI,OAAO,EAAE,EAAE;gBAClD,yDAAyD;gBACzD,gDAAgD,EAAE,KAAK;gBACvD,2BAA2B;gBAC3B,qCAAqC;gBACrC,oBAAoB;gBACpB,OAAO;gBACP,6DAA6D;gBAC7D,iBAAiB;gBACjB,GAAG;aACJ,CAAC;QACJ,CAAC;KACF;IACD;QACE,sEAAsE;QACtE,mEAAmE;QACnE,oEAAoE;QACpE,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACrB,mEAAmE,KAAK,IAAI;YAC5E,QAAQ;YACR,GAAG,SAAS,EAAE;YACd,4CAA4C;YAC5C,SAAS;YACT,GAAG,UAAU,CAAC,EAAE,CAAC;YACjB,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;YAC9D,4BAA4B,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC9D,uCAAuC;YACvC,OAAO;YACP,yDAAyD;YACzD,qDAAqD;YACrD,2BAA2B;YAC3B,qCAAqC;YACrC,oBAAoB;YACpB,OAAO;YACP,gCAAgC;YAChC,6DAA6D;YAC7D,iBAAiB;YACjB,GAAG;SACJ;KACF;CACF,CAAC"}
+{"version":3,"file":"string-reads.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-reads.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,CAAC,MAAM,qBAAqB,GAAG,wCAAwC,CAAC;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,mDAAmD,CAAC;AAC5F;;;;oEAIoE;AACpE,MAAM,iBAAiB,GAAG,qCAAqC,CAAC;AAChE,MAAM,eAAe,GAAG,qCAAqC,CAAC;AAC9D;yDACyD;AACzD,MAAM,CAAC,MAAM,8BAA8B,GAAG,iCAAiC,CAAC;AAEhF,wDAAwD;AACxD,SAAS,SAAS;IAChB,OAAO;QACL,gEAAgE;QAChE,6BAA6B;QAC7B,gCAAgC;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO;QACL,iEAAiE;QACjE,iBAAiB,EAAE,cAAc;KAClC,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,OAAO,eAAe,EAAE,IAAI,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,OAAO,mCAAmC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED;mEACmE;AACnE,SAAS,QAAQ,CAAC,EAAU,EAAE,GAAW,EAAE,IAAY;IACrD,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAChC,OAAO;QACL,yCAAyC;QACzC,wCAAwC;QACxC,gDAAgD,IAAI,EAAE;QACtD,YAAY;QACZ,uCAAuC,IAAI,mCAAmC;QAC9E,wCAAwC;QACxC,uCAAuC,IAAI,mCAAmC;QAC9E,qBAAqB,EAAE,gBAAgB;QACvC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,oBAAoB,EAAE,kBAAkB;QAC3F,eAAe,GAAG,EAAE;KACrB,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,SAAS,QAAQ;IACf,OAAO;QACL,sEAAsE;QACtE,sCAAsC;QACtC,6CAA6C;QAC7C,sBAAsB;KACvB,CAAC;AACJ,CAAC;AAOD,MAAM,CAAC,MAAM,mBAAmB,GAAgC;IAC9D;QACE,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;YAC3B,oDAAoD,KAAK,IAAI;YAC7D,QAAQ;YACR,GAAG,SAAS,EAAE;YACd,uCAAuC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE;YAC/D,OAAO;YACP,GAAG,UAAU,CAAC,EAAE,CAAC;YACjB,iBAAiB,EAAE,iBAAiB;YACpC,iBAAiB;YACjB,GAAG,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,OAAO;oBACP,GAAG,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC;oBACnC,WAAW;oBACX,2CAA2C;oBAC3C,uBAAuB;iBACxB;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;YACP,iDAAiD,iBAAiB,EAAE;YACpE,iBAAiB;YACjB,GAAG;SACJ;KACF;IACD;QACE,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YACxE,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7E,OAAO;gBACL,kEAAkE,KAAK,IAAI;gBAC3E,QAAQ;gBACR,GAAG,SAAS,EAAE;gBACd,yCAAyC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE;gBACjE,GAAG,CAAC,IAAI;oBACN,CAAC,CAAC;wBACE,OAAO;wBACP,GAAG,QAAQ,CAAC,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC;wBACtC,cAAc;wBACd,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;wBAC7C,WAAW,SAAS,CAAC,EAAE,iCAAiC;wBACxD,YAAY;wBACZ,uBAAuB,SAAS,CAAC,IAAI,KAAK;wBAC1C,GAAG,QAAQ,EAAE;qBACd;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,SAAS;gBACT,GAAG,UAAU,CAAC,EAAE,CAAC;gBACjB,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC9C,WAAW,UAAU,CAAC,EAAE,4BAA4B;gBACpD,OAAO;gBACP,EAAE,KAAK,KAAK;oBACV,CAAC,CAAC,kBAAkB,UAAU,CAAC,IAAI,KAAK;oBACxC,CAAC,CAAC,oBAAoB,UAAU,CAAC,IAAI,OAAO,EAAE,EAAE;gBAClD,yDAAyD;gBACzD,gDAAgD,EAAE,KAAK;gBACvD,2BAA2B;gBAC3B,qCAAqC;gBACrC,oBAAoB;gBACpB,OAAO;gBACP,+DAA+D,eAAe,EAAE;gBAChF,iBAAiB;gBACjB,GAAG;aACJ,CAAC;QACJ,CAAC;KACF;IACD;QACE,sEAAsE;QACtE,mEAAmE;QACnE,oEAAoE;QACpE,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;YAC3B,mEAAmE,KAAK,IAAI;YAC5E,QAAQ;YACR,GAAG,SAAS,EAAE;YACd,yCAAyC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE;YACjE,GAAG,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,OAAO;oBACP,GAAG,QAAQ,CAAC,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC;oBACtC,cAAc;oBACd,uCAAuC;oBACvC,iDAAiD;oBACjD,YAAY;oBACZ,2BAA2B;oBAC3B,GAAG,QAAQ,EAAE;iBACd;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,SAAS;YACT,GAAG,UAAU,CAAC,EAAE,CAAC;YACjB,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;YAC9D,4BAA4B,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC9D,uCAAuC;YACvC,OAAO;YACP,yDAAyD;YACzD,qDAAqD;YACrD,2BAA2B;YAC3B,qCAAqC;YACrC,oBAAoB;YACpB,OAAO;YACP,gCAAgC;YAChC,+DAA+D,eAAe,EAAE;YAChF,iBAAiB;YACjB,GAAG;SACJ;KACF;CACF,CAAC"}

package/dist/backend/llvm/switch-dispatch.js

@@ -1,5 +1,6 @@
 import { withinInt32 } from "../../ir/integer-ranges.js";
 import { exactInteger, widenInteger } from "./integer-values.js";
+import { wtf8Bytes } from "../literals.js";
 import { littleEndianWord } from "./string-literal-equality.js";
 function integerLiteral(expr) {
     if (expr.kind === "numLit")
@@ -115,11 +116,11 @@ function emitStringSwitch(host, disc, cases, labels, fallback) {
             const word = B.tmp();
             B.line(`${data} = getelementptr inbounds %ScrStr, ptr ${disc.name}, i32 1`);
             B.line(`${word} = load ${type}, ptr ${data}, align 1`);
-            // Distinct texts can share bytes (lone surrogates encode as U+FFFD);
-            // the first case keeps the word, as the comparison chain would.
+            // Duplicate case texts share a word; the first case keeps it, as the
+            // comparison chain would.
             const targets = new Map();
             for (const item of group) {
-                const value = littleEndianWord(Buffer.from(item.value, "utf8"), 0, size);
+                const value = littleEndianWord(wtf8Bytes(item.value), 0, size);
                 if (!targets.has(value))
                     targets.set(value, item.label);
             }
@@ -136,7 +137,7 @@ function emitStringSwitch(host, disc, cases, labels, fallback) {
         B.line(`${word} = load i64, ptr ${data}, align 1`);
         const prefixes = new Map();
         for (const item of group) {
-            const prefix = littleEndianWord(Buffer.from(item.value, "utf8"), 0, 8);
+            const prefix = littleEndianWord(wtf8Bytes(item.value), 0, 8);
             let same = prefixes.get(prefix);
             if (same === undefined)
                 prefixes.set(prefix, (same = []));

package/dist/backend/llvm/switch-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"switch-dispatch.js","sourceRoot":"","sources":["../../../src/backend/llvm/switch-dispatch.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAIhE,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACxF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAwB,EACxB,IAAa,EACb,QAA4B,EAC5B,KAA4B,EAC5B,MAAyB,EACzB,QAAgB;IAEhB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;IACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACjC,mEAAmE;QACnE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC;QAC5D,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3B,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,UAAU,IAAI,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACrE,IAAI,QAAgB,CAAC;IACrB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,IAAI,OAAO,EAAE,CAAC;QACZ,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,gBAAgB,IAAI,SAAS,CAAC,CAAC;QACjD,OAAO,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClE,CAAC;IACD,uEAAuE;IACvE,uEAAuE;IACvE,oEAAoE;IACpE,qEAAqE;IACrE,+CAA+C;IAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC1C,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,IAAI,CAAC,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,IAAI,IAAI,QAAQ,YAAY,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvB,OAAO,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,eAAe,CACtB,IAAwB,EACxB,IAAmB,EACnB,QAAgB,EAChB,OAAoC,EACpC,QAAgB;IAEhB,IAAI,CAAC,CAAC,CAAC,SAAS,CACd,UAAU,IAAI,IAAI,QAAQ,YAAY,QAAQ,MAAM,CAAC,GAAG,OAAO,CAAC;SAC7D,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;SAC5D,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAwB,EACxB,IAAa,EACb,KAA4B,EAC5B,MAAyB,EACzB,QAAgB;IAEhB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8C,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACnC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAE,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEhC,yEAAyE;IACzE,yEAAyE;IACzE,uDAAuD;IACvD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,6BAA6B,IAAI,CAAC,QAAQ,SAAS,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;IACxF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,OAAO,EAAE,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,uDAAuD;QACvD,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,CAAC,CAAC,SAAS,CACT,UAAU,IAAI,CAAC,QAAQ,IAAI,MAAM,YAAY,QAAQ,MAAM,CAAC,GAAG,WAAW,CAAC;SACxE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,YAAY,KAAK,EAAE,CAAC;SACnE,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,IAAI,IAAI,KAAK,CAAC;YAAE,SAAS;QACzB,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;QACrC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,0CAA0C,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;YAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,WAAW,IAAI,SAAS,IAAI,WAAW,CAAC,CAAC;YACvD,qEAAqE;YACrE,gEAAgE;YAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBACzE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,CAAC,CAAC,SAAS,CACT,UAAU,IAAI,IAAI,IAAI,YAAY,QAAQ,MAAM,CAAC,GAAG,OAAO,CAAC;iBACzD,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;iBAC5D,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;YACF,SAAS;QACX,CAAC;QACD,sEAAsE;QACtE,sEAAsE;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,0CAA0C,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,IAAI,WAAW,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8C,CAAC;QACvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACvE,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,SAAS,CACT,cAAc,IAAI,YAAY,QAAQ,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;aAC7D,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,MAAM,YAAY,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;aACvE,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;QACF,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;YACnD,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,WAAW,CAAE,CAAC,CAAC;YACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;gBAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACpB,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACzE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;gBACvF,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAChC,IAAI,IAAI,KAAK,QAAQ;oBAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,IAAa,EACb,QAA4B,EAC5B,KAA4B,EAC5B,MAAyB,EACzB,QAAgB;IAEhB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAC1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1E,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"switch-dispatch.js","sourceRoot":"","sources":["../../../src/backend/llvm/switch-dispatch.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAIhE,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACxF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAwB,EACxB,IAAa,EACb,QAA4B,EAC5B,KAA4B,EAC5B,MAAyB,EACzB,QAAgB;IAEhB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;IACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACjC,mEAAmE;QACnE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC;QAC5D,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3B,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,UAAU,IAAI,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACrE,IAAI,QAAgB,CAAC;IACrB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,IAAI,OAAO,EAAE,CAAC;QACZ,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,gBAAgB,IAAI,SAAS,CAAC,CAAC;QACjD,OAAO,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClE,CAAC;IACD,uEAAuE;IACvE,uEAAuE;IACvE,oEAAoE;IACpE,qEAAqE;IACrE,+CAA+C;IAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC1C,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,IAAI,CAAC,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,IAAI,IAAI,QAAQ,YAAY,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvB,OAAO,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,eAAe,CACtB,IAAwB,EACxB,IAAmB,EACnB,QAAgB,EAChB,OAAoC,EACpC,QAAgB;IAEhB,IAAI,CAAC,CAAC,CAAC,SAAS,CACd,UAAU,IAAI,IAAI,QAAQ,YAAY,QAAQ,MAAM,CAAC,GAAG,OAAO,CAAC;SAC7D,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;SAC5D,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAwB,EACxB,IAAa,EACb,KAA4B,EAC5B,MAAyB,EACzB,QAAgB;IAEhB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8C,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACnC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAE,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEhC,yEAAyE;IACzE,yEAAyE;IACzE,uDAAuD;IACvD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,6BAA6B,IAAI,CAAC,QAAQ,SAAS,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;IACxF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,OAAO,EAAE,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,uDAAuD;QACvD,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,CAAC,CAAC,SAAS,CACT,UAAU,IAAI,CAAC,QAAQ,IAAI,MAAM,YAAY,QAAQ,MAAM,CAAC,GAAG,WAAW,CAAC;SACxE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,YAAY,KAAK,EAAE,CAAC;SACnE,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,IAAI,IAAI,KAAK,CAAC;YAAE,SAAS;QACzB,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;QACrC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,0CAA0C,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;YAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,WAAW,IAAI,SAAS,IAAI,WAAW,CAAC,CAAC;YACvD,qEAAqE;YACrE,0BAA0B;YAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC/D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,CAAC,CAAC,SAAS,CACT,UAAU,IAAI,IAAI,IAAI,YAAY,QAAQ,MAAM,CAAC,GAAG,OAAO,CAAC;iBACzD,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;iBAC5D,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;YACF,SAAS;QACX,CAAC;QACD,sEAAsE;QACtE,sEAAsE;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,0CAA0C,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,IAAI,WAAW,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8C,CAAC;QACvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7D,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,SAAS,CACT,cAAc,IAAI,YAAY,QAAQ,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;aAC7D,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,MAAM,YAAY,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;aACvE,IAAI,CAAC,GAAG,CAAC,IAAI,CACjB,CAAC;QACF,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;YACnD,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,WAAW,CAAE,CAAC,CAAC;YACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;gBAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACpB,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACzE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;gBACvF,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAChC,IAAI,IAAI,KAAK,QAAQ;oBAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,IAAa,EACb,QAA4B,EAC5B,KAA4B,EAC5B,MAAyB,EACzB,QAAgB;IAEhB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAC1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1E,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -29,7 +29,14 @@ export declare class LlWalkers {
     /** The value-parameter LLVM type of a writer for `t`. */
     private valTy;
     private putc;
+    /** Fixed text and JSON tokens hold no lone surrogate, so they append
+     * without the builder's surrogate-pair seam check. */
     private puts;
+    /** Appends constant text: stored inline when it fits the buffer's spare
+     * capacity, else through `grow`, the runtime append that reallocates.
+     * ScrJsonBuf starts with { char *data; size_t len; size_t cap; }; an
+     * unallocated buffer has cap 0 and always takes the runtime append. */
+    private appendBytes;
     /** Appends a borrowed string, including embedded NUL bytes, in one write. */
     private putScrStr;
     /** A union value's tag (representation-aware: union-repr.ts). */
@@ -49,6 +56,12 @@ export declare class LlWalkers {
      * undefined-valued entries drop (the optional-field rule). */
     private emitOverflowEntries;
     private emitArrayWriter;
+    /** Writes the elements of an array whose indices below its length all
+     * hold values in dense storage straight from its 8-byte slots, borrowing
+     * each element (serialization runs no script code, so nothing can
+     * change the array), then branches to `finish`. Other arrays continue
+     * in the current block with the general element walk. */
+    private emitDenseArrayElements;
     private emitUnionWriter;
     /** The shared formatter borrows compact JSON and the frontend-resolved gap. */
     jsonIndentHelper(): string;