@scriptc/compiler 0.2.4 → 0.2.6

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

@@ -0,0 +1,87 @@
+import {} from "../../ir/ir.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "../../ir/traverse.js";
+import { F64_INF, f64Lit } from "./common.js";
+/** A local used exclusively for scalar indexing needs no copied bytes.
+ * Snapshot the receiver and normalized bounds at its initializer, including
+ * side effects in the bounds. Escapes, captures, writes, suspension, and all
+ * other string consumers keep the ordinary materialized representation. */
+export function findScalarStringSlices(fn, lifetimes) {
+    const slices = new Map();
+    if (fn.async || fn.generator)
+        return slices;
+    const bindings = lifetimes.bindings.get(fn.name);
+    everyStmtList(fn.body, {
+        expr: () => true,
+        stmt: (stmt) => {
+            if (stmt.kind === "varDecl" &&
+                bindings?.has(stmt.localId) &&
+                stmt.init?.kind === "strIntrinsic" &&
+                (stmt.init.method === "slice" || stmt.init.method === "substring"))
+                slices.set(stmt.localId, stmt.init);
+            return true;
+        },
+    });
+    if (slices.size === 0)
+        return slices;
+    const invalid = new Set();
+    function expr(value) {
+        if (value.kind === "strIntrinsic" &&
+            (value.method === "length" || value.method === "charCodeAt") &&
+            value.receiver.kind === "varRef" &&
+            slices.has(value.receiver.localId)) {
+            value.args.forEach(expr);
+            return true;
+        }
+        if (value.kind === "varRef" && slices.has(value.localId))
+            invalid.add(value.localId);
+        if (value.kind === "closure" || value.kind === "classRef")
+            for (const id of value.captures ?? [])
+                invalid.add(id);
+        return everyExprChild(value, expr, stmt);
+    }
+    function stmt(value) {
+        return everyStmtChild(value, expr, stmt);
+    }
+    fn.body.forEach(stmt);
+    for (const id of invalid)
+        slices.delete(id);
+    return slices;
+}
+/** Own the original string for the complete local scope. A later append
+ * cannot mutate it in place, even when the original binding was unique. */
+export function emitStringSliceSnapshot(host, slice) {
+    const B = host.B;
+    const source = host.emitExpr(slice.receiver);
+    const args = slice.args.map((arg) => host.emitExpr(arg));
+    const sourceSlot = B.slot(), range = B.slot();
+    B.entryAllocas.push(`${sourceSlot} = alloca ptr`, `${range} = alloca { ${host.sizeType}, ${host.sizeType}, i32 }`);
+    B.line(`store ptr ${source.name}, ptr ${sourceSlot}`);
+    host.declare("declare void @scr_str_slice_range(ptr, double, double, i1 zeroext, ptr)");
+    B.line(`call void @scr_str_slice_range(ptr ${source.name}, double ${args[0]?.name ?? f64Lit(0)}, double ${args[1]?.name ?? F64_INF}, i1 ${slice.method === "substring" ? "true" : "false"}, ptr ${range})`);
+    host.moveTemp(source);
+    return { source: sourceSlot, range };
+}
+export function emitStringSliceRead(host, value) {
+    if (value.receiver.kind !== "varRef")
+        return null;
+    const snapshot = host.stringSlices.get(value.receiver.localId);
+    if (!snapshot)
+        return null;
+    const B = host.B;
+    if (value.method === "length") {
+        const pointer = B.tmp(), length = B.tmp(), number = B.tmp();
+        B.line(`${pointer} = getelementptr inbounds { ${host.sizeType}, ${host.sizeType}, i32 }, ptr ${snapshot.range}, i32 0, i32 1`);
+        B.line(`${length} = load ${host.sizeType}, ptr ${pointer}`);
+        B.line(`${number} = uitofp ${host.sizeType} ${length} to double`);
+        return { name: number, type: value.type };
+    }
+    if (value.method !== "charCodeAt")
+        return null;
+    const index = value.args[0] ? host.emitExpr(value.args[0]) : { name: f64Lit(0) };
+    const source = B.tmp(), result = B.tmp();
+    B.line(`${source} = load ptr, ptr ${snapshot.source}`);
+    host.declare("declare double @scr_str_slice_char_code_at(ptr, ptr, double)");
+    B.line(`${result} = call double @scr_str_slice_char_code_at(ptr ${source}, ptr ${snapshot.range}, double ${index.name})`);
+    return { name: result, type: value.type };
+}
+//# sourceMappingURL=string-slices.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"string-slices.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-slices.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6C,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAM9C;;;2EAG2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,EAAc,EACd,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACjD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC3B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;gBAClC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;gBAElE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,SAAS,IAAI,CAAC,KAAa;QACzB,IACE,KAAK,CAAC,IAAI,KAAK,cAAc;YAC7B,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC;YAC5D,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAChC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAClC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YACvD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,SAAS,IAAI,CAAC,KAAa;QACzB,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD;2EAC2E;AAC3E,MAAM,UAAU,uBAAuB,CACrC,IAAwB,EACxB,KAAY;IAEZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,EAAE,EACzB,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,CAAC,CAAC,YAAY,CAAC,IAAI,CACjB,GAAG,UAAU,eAAe,EAC5B,GAAG,KAAK,eAAe,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,SAAS,CAChE,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,IAAI,SAAS,UAAU,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,yEAAyE,CAAC,CAAC;IACxF,CAAC,CAAC,IAAI,CACJ,sCAAsC,MAAM,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,SAAS,KAAK,GAAG,CACpM,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAwB,EAAE,KAAY;IACxE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,+BAA+B,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,gBAAgB,QAAQ,CAAC,KAAK,gBAAgB,CACvH,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,OAAO,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,aAAa,IAAI,CAAC,QAAQ,IAAI,MAAM,YAAY,CAAC,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,8DAA8D,CAAC,CAAC;IAC7E,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,kDAAkD,MAAM,SAAS,QAAQ,CAAC,KAAK,YAAY,KAAK,CAAC,IAAI,GAAG,CAClH,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAC5C,CAAC"}

package/dist/backend/llvm/string-slices.test.d.ts

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

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

@@ -0,0 +1,98 @@
+import { expect, test } from "vitest";
+import { F64, STRING, VOID } from "../../ir/ir.js";
+import { analyzeCallLifetimes } from "./call-lifetimes.js";
+import { findScalarStringSlices } 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() {
+    return {
+        name: "scan",
+        params: [{ localId: "source", name: "source", type: STRING }],
+        locals: [
+            { id: "source", name: "source", type: STRING, mutable: true },
+            { id: "piece", name: "piece", type: STRING, mutable: true },
+        ],
+        returnType: VOID,
+        loc,
+        body: [
+            {
+                kind: "varDecl",
+                localId: "piece",
+                init: {
+                    kind: "strIntrinsic",
+                    method: "substring",
+                    receiver: ref("source"),
+                    args: [{ kind: "numLit", value: 1, type: F64, loc }],
+                    type: STRING,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "strIntrinsic",
+                    method: "length",
+                    receiver: ref("piece"),
+                    args: [],
+                    type: F64,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "strIntrinsic",
+                    method: "charCodeAt",
+                    receiver: ref("piece"),
+                    args: [{ kind: "numLit", value: 0, type: F64, loc }],
+                    type: F64,
+                    loc,
+                },
+                loc,
+            },
+        ],
+    };
+}
+function facts(fn) {
+    return findScalarStringSlices(fn, analyzeCallLifetimes(new Map([[fn.name, fn]])));
+}
+test("stable scalar-only slices keep their source and bounds instead of copied bytes", () => {
+    const fn = fixture();
+    expect([...facts(fn).keys()]).toEqual(["piece"]);
+    fn.body.push({
+        kind: "assign",
+        localId: "source",
+        value: { kind: "strLit", value: "new", type: STRING, loc },
+        loc,
+    });
+    expect([...facts(fn).keys()]).toEqual(["piece"]);
+});
+test.each(["escape", "capture", "write", "other-consumer", "suspend"])("%s needs a materialized string", (reason) => {
+    const fn = fixture();
+    const stmt = { kind: "return", value: ref("piece"), loc };
+    if (reason === "escape")
+        fn.body.push(stmt);
+    if (reason === "capture")
+        fn.locals[1].boxed = true;
+    if (reason === "write")
+        fn.body.push({ kind: "assign", localId: "piece", value: ref("source"), loc });
+    if (reason === "other-consumer")
+        fn.body.push({
+            kind: "exprStmt",
+            expr: {
+                kind: "strIntrinsic",
+                method: "trim",
+                receiver: ref("piece"),
+                args: [],
+                type: STRING,
+                loc,
+            },
+            loc,
+        });
+    if (reason === "suspend")
+        fn.async = true;
+    expect(facts(fn).size).toBe(0);
+});
+//# sourceMappingURL=string-slices.test.js.map

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

@@ -0,0 +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,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,gBAAgB,CAAC;AAC9F,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,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"}

package/dist/backend/llvm/switch-dispatch.d.ts

@@ -0,0 +1,9 @@
+import type { IrStmt } from "../../ir/ir.js";
+import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+type SwitchCase = Extract<IrStmt, {
+    kind: "switch";
+}>["cases"][number];
+/** Only literal cases can reorder their comparisons. Bodies still use the
+ * emitter's shared scope, cleanup, default placement and fallthrough. */
+export declare function emitLiteralSwitch(host: LlvmEmitterContext, disc: LlValue, cases: readonly SwitchCase[], labels: readonly string[], fallback: string): boolean;
+export {};

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

@@ -0,0 +1,114 @@
+import { f64Lit } from "./common.js";
+function integerLiteral(expr) {
+    if (expr.kind === "numLit")
+        return Number.isSafeInteger(expr.value) ? expr.value : null;
+    if (expr.kind === "unary" && expr.op === "-") {
+        const value = integerLiteral(expr.operand);
+        return value === null ? null : -value;
+    }
+    return null;
+}
+function emitIntegerSwitch(host, disc, cases, labels, fallback) {
+    const targets = new Map();
+    let min = Infinity;
+    let max = -Infinity;
+    for (let index = 0; index < cases.length; index++) {
+        const test = cases[index].test;
+        if (test === null)
+            continue;
+        const value = integerLiteral(test);
+        if (value === null)
+            return false;
+        // Strict equality chooses the first matching case, including -0/0.
+        if (!targets.has(value))
+            targets.set(value, labels[index]);
+        min = Math.min(min, value);
+        max = Math.max(max, value);
+    }
+    if (targets.size < 4)
+        return false;
+    const B = host.B;
+    const unsigned = min >= 0 && max > 2147483647 && max <= 4294967295;
+    const bits = unsigned || (min >= -2147483648 && max <= 2147483647) ? "i32" : "i64";
+    const low = B.tmp();
+    const high = B.tmp();
+    const inside = B.tmp();
+    const convert = B.newLabel("sw.convert");
+    const dispatch = B.newLabel("sw.integer");
+    B.line(`${low} = fcmp oge double ${disc.name}, ${f64Lit(min)}`);
+    B.line(`${high} = fcmp ole double ${disc.name}, ${f64Lit(max)}`);
+    B.line(`${inside} = and i1 ${low}, ${high}`);
+    B.condBr(inside, convert, fallback);
+    B.startBlock(convert);
+    const integer = B.tmp();
+    const restored = B.tmp();
+    const exact = B.tmp();
+    // Ordered range checks dominate conversion: NaN and out-of-range values
+    // must not produce poison. The round trip rejects fractional inputs.
+    B.line(`${integer} = ${unsigned ? "fptoui" : "fptosi"} double ${disc.name} to ${bits}`);
+    B.line(`${restored} = ${unsigned ? "uitofp" : "sitofp"} ${bits} ${integer} to double`);
+    B.line(`${exact} = fcmp oeq double ${disc.name}, ${restored}`);
+    B.condBr(exact, dispatch, fallback);
+    B.startBlock(dispatch);
+    B.terminate(`switch ${bits} ${integer}, label %${fallback} [ ${[...targets]
+        .map(([value, label]) => `${bits} ${value}, label %${label}`)
+        .join(" ")} ]`);
+    return true;
+}
+function emitStringSwitch(host, disc, cases, labels, fallback) {
+    const groups = new Map();
+    const seen = new Set();
+    for (let index = 0; index < cases.length; index++) {
+        const test = cases[index].test;
+        if (test === null)
+            continue;
+        if (test.kind !== "strLit")
+            return false;
+        if (seen.has(test.value))
+            continue;
+        seen.add(test.value);
+        const length = Buffer.byteLength(test.value, "utf8");
+        let group = groups.get(length);
+        if (group === undefined)
+            groups.set(length, (group = []));
+        group.push({ value: test.value, label: labels[index] });
+    }
+    if (seen.size < 4 || groups.size < 2)
+        return false;
+    const B = host.B;
+    const pointer = B.tmp();
+    const length = B.tmp();
+    B.line(`${pointer} = getelementptr inbounds ${host.sizeType}, ptr ${disc.name}, i32 1`);
+    B.line(`${length} = load ${host.sizeType}, ptr ${pointer}`);
+    const groupLabels = new Map();
+    for (const size of groups.keys())
+        groupLabels.set(size, B.newLabel("sw.length"));
+    B.terminate(`switch ${host.sizeType} ${length}, label %${fallback} [ ${[...groupLabels]
+        .map(([size, label]) => `${host.sizeType} ${size}, label %${label}`)
+        .join(" ")} ]`);
+    host.declare("declare zeroext i1 @scr_str_eq(ptr, ptr)");
+    for (const [size, group] of groups) {
+        B.startBlock(groupLabels.get(size));
+        for (let index = 0; index < group.length; index++) {
+            const item = group[index];
+            const literal = host.internLiteral(item.value);
+            const hit = B.tmp();
+            const next = index + 1 < group.length ? B.newLabel("sw.equal") : fallback;
+            B.line(`${hit} = call zeroext i1 @scr_str_eq(ptr ${disc.name}, ptr ${literal})`);
+            B.condBr(hit, item.label, next);
+            if (next !== fallback)
+                B.startBlock(next);
+        }
+    }
+    return true;
+}
+/** Only literal cases can reorder their comparisons. Bodies still use the
+ * emitter's shared scope, cleanup, default placement and fallthrough. */
+export function emitLiteralSwitch(host, disc, cases, labels, fallback) {
+    if (disc.type.kind === "f64")
+        return emitIntegerSwitch(host, disc, cases, labels, fallback);
+    if (disc.type.kind === "string")
+        return emitStringSwitch(host, disc, cases, labels, fallback);
+    return false;
+}
+//# sourceMappingURL=switch-dispatch.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"switch-dispatch.js","sourceRoot":"","sources":["../../../src/backend/llvm/switch-dispatch.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAKrC,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,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,QAAQ,GAAG,GAAG,IAAI,CAAC,IAAI,GAAG,GAAG,UAAU,IAAI,GAAG,IAAI,UAAU,CAAC;IACnE,MAAM,IAAI,GAAG,QAAQ,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACnF,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,aAAa,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACtB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,wEAAwE;IACxE,qEAAqE;IACrE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,WAAW,IAAI,CAAC,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;IACxF,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,MAAM,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,IAAI,OAAO,YAAY,CAAC,CAAC;IACvF,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,CAAC,CAAC,SAAS,CACT,UAAU,IAAI,IAAI,OAAO,YAAY,QAAQ,MAAM,CAAC,GAAG,OAAO,CAAC;SAC5D,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,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnD,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,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;QAAE,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,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,IAAI,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;QACrC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sCAAsC,IAAI,CAAC,IAAI,SAAS,OAAO,GAAG,CAAC,CAAC;YACjF,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,QAAQ;gBAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,IAAa,EACb,KAA4B,EAC5B,MAAyB,EACzB,QAAgB;IAEhB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5F,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/switch-dispatch.test.d.ts

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

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

@@ -0,0 +1,83 @@
+import { expect, test } from "vitest";
+import { F64, STRING, VOID } from "../../ir/ir.js";
+import { emitLlvmModule } from "./emitter.js";
+const loc = { file: "switch.ts", start: 0, end: 0 };
+const number = (value) => ({ kind: "numLit", value, type: F64, loc });
+const string = (value) => ({ kind: "strLit", value, type: STRING, loc });
+function emit(type, tests, pointerBits = 64) {
+    const mod = {
+        irVersion: 14,
+        sourceFile: loc.file,
+        entry: "main",
+        functions: [
+            { name: "main", params: [], returnType: VOID, locals: [], body: [], loc },
+            {
+                name: "dispatch",
+                params: [{ name: "value", localId: "value", type }],
+                returnType: F64,
+                locals: [{ id: "value", name: "value", type, mutable: false }],
+                loc,
+                body: [
+                    {
+                        kind: "switch",
+                        disc: { kind: "varRef", localId: "value", type, loc },
+                        cases: tests.map((test, index) => ({
+                            test,
+                            body: [{ kind: "return", value: number(index), loc }],
+                        })),
+                        loc,
+                    },
+                    { kind: "return", value: number(-1), loc },
+                ],
+            },
+        ],
+    };
+    return /^define internal [^\n]*@sc_[bf]+_dispatch\([^]*?^}/m.exec(emitLlvmModule(mod, { pointerBits }))[0];
+}
+test("integer dispatch guards range and fractions before selecting a native case", () => {
+    for (const [values, conversion, bits] of [
+        [[-2147483648, -1, 0, 2147483647], "fptosi", "i32"],
+        [[0, 1, 2147483648, 4294967295], "fptoui", "i32"],
+        [[-9007199254740991, -1, 0, 9007199254740991], "fptosi", "i64"],
+    ]) {
+        const body = emit(F64, values.map(number));
+        expect(body).toContain(`switch ${bits}`);
+        expect(body).toContain("fcmp oge double");
+        expect(body).toContain("fcmp ole double");
+        expect(body).toContain(`${conversion} double`);
+        expect(body).toContain("fcmp oeq double");
+        expect(body.indexOf("br i1")).toBeLessThan(body.indexOf(`${conversion} double`));
+    }
+});
+test("duplicate numeric labels keep the first destination and share zero", () => {
+    const body = emit(F64, [-0, 0, 1, 2, 3, 1].map(number));
+    const dispatch = body.split("\n").find((line) => line.includes("switch i32"));
+    expect(dispatch.match(/i32 0, label/g)).toHaveLength(1);
+    expect(dispatch.match(/i32 1, label/g)).toHaveLength(1);
+});
+test("noninteger literals and computed tests retain source-order comparisons", () => {
+    for (const extra of [
+        number(0.5),
+        number(NaN),
+        number(Infinity),
+        { kind: "bin", op: "+", left: number(9), right: number(0), type: F64, loc },
+    ]) {
+        const body = emit(F64, [number(1), number(2), number(3), number(4), extra]);
+        expect(body).not.toContain("switch i32");
+        expect(body).not.toContain("fptosi");
+        expect(body.match(/fcmp oeq double/g)).toHaveLength(5);
+    }
+});
+test("string dispatch uses target-width byte lengths and checks equality inside each group", () => {
+    for (const bits of [32, 64]) {
+        const body = emit(STRING, ["", "a", "é", "😀", "tail", "é"].map(string), bits);
+        expect(body).toContain(`load i${bits}, ptr`);
+        expect(body).toContain(`switch i${bits}`);
+        expect(body).not.toContain("scr_str_utf16_len");
+        expect(body.match(/call zeroext i1 @scr_str_eq/g)).toHaveLength(5);
+        const dispatch = body.split("\n").find((line) => line.includes(`switch i${bits}`));
+        expect(dispatch).toContain(`i${bits} 2, label`);
+        expect(dispatch.match(new RegExp(`i${bits} 4, label`, "g"))).toHaveLength(1);
+    }
+});
+//# sourceMappingURL=switch-dispatch.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"switch-dispatch.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/switch-dispatch.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAEzF,SAAS,IAAI,CAAC,IAAY,EAAE,KAAwB,EAAE,WAAW,GAAY,EAAE;IAC7E,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YACzE;gBACE,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBACnD,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBAC9D,GAAG;gBACH,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;wBACrD,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;4BACjC,IAAI;4BACJ,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;yBACtD,CAAC,CAAC;wBACH,GAAG;qBACJ;oBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;iBAC3C;aACF;SACF;KACF,CAAC;IACF,OAAO,qDAAqD,CAAC,IAAI,CAC/D,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC,CACpC,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI;QACvC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;QACnD,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;QACjD,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;KACvD,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAE,CAAC;IAC/E,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,KAAK,MAAM,KAAK,IAAI;QAClB,MAAM,CAAC,GAAG,CAAC;QACX,MAAM,CAAC,GAAG,CAAC;QACX,MAAM,CAAC,QAAQ,CAAC;QAChB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAY;KACtF,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAE,CAAC;QACpF,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,WAAW,CAAC,CAAC;QAChD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,IAAI,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/unsupported.js.map

@@ -1 +1 @@
-{"version":3,"file":"unsupported.js","sourceRoot":"","sources":["../../../src/backend/llvm/unsupported.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAElC,IAAI;IACJ,GAAG;IAFd,YACW,IAAY,EACZ,GAAY;QAErB,KAAK,CACH,yDAAyD,IAAI,GAAG,CACjE,CAAC;oBALO,IAAI;mBACJ,GAAG;QAKZ,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF"}
+{"version":3,"file":"unsupported.js","sourceRoot":"","sources":["../../../src/backend/llvm/unsupported.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAElC,IAAI;IACJ,GAAG;IAFd,YACW,IAAY,EACZ,GAAY;QAErB,KAAK,CAAC,yDAAyD,IAAI,GAAG,CAAC,CAAC;oBAH/D,IAAI;mBACJ,GAAG;QAGZ,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF"}

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

@@ -16,9 +16,7 @@ export interface WalkerHost extends ShapeHost {
 export declare class LlWalkers {
     private readonly host;
     private readonly jsonWriters;
-    private readonly unionToStrFns;
     private readonly unionJoinFns;
-    private indentFn;
     /** Emitted function definitions, in interning order. */
     readonly defs: string[];
     constructor(host: WalkerHost);
@@ -28,7 +26,7 @@ export declare class LlWalkers {
     private valTy;
     private putc;
     private puts;
-    /** Appends an ScrStr's bytes: for (j < s->len) putc(s->data[j]). */
+    /** Appends a borrowed string, including embedded NUL bytes, in one write. */
     private putScrStr;
     /** Loads a union box's tag. */
     private unionTag;
@@ -48,17 +46,9 @@ export declare class LlWalkers {
     private emitOverflowEntries;
     private emitArrayWriter;
     private emitUnionWriter;
-    /** `JSON.stringify(v, null, space)` as a REWRITE of the compact text —
-     * Node's gap algorithm exactly (see walkers.ts's sc_ji). The indent
-     * rides as a NUL-terminated constant + byte length. */
+    /** The shared formatter borrows compact JSON and the frontend-resolved gap. */
     jsonIndentHelper(): string;
-    /** The per-union ToString helper: unit arms return the interned
-     * "undefined"/"null" texts, string arms retain the payload, f64/bool
-     * arms format (String(x) semantics). Ref arms never arrive (frontend
-     * fence). Borrows the operand; the result is owned (+1). */
-    unionToStrHelper(unionId: string): string;
-    /** Array.prototype.join over union elements: undefined/null arms print
-     * EMPTY (exactly JS's join), every other arm goes through the per-union
-     * ToString walker. Borrows the array and separator; result +1. */
+    /** Joining scalar unions invokes no user code. Borrow each payload from
+     * the stable array and write it directly; nullish values remain empty. */
     unionJoinHelper(unionId: string): string;
 }