@scriptc/compiler 0.2.10 → 0.3.1

package/dist/backend/llvm/string-literal-equality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-literal-equality.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-literal-equality.ts"],"names":[],"mappings":"AAAA;;;4DAG4D;AAE5D;qDACqD;AACrD,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AASvC,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,KAAiB,EAAE,MAAc,EAAE,IAAY;IAC9E,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC;YACT,MAAM;YACN,IAAI,EAAE,IAAI,GAAG,CAAC;YACd,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC;SAC7C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;yEAGyE;AACzE,MAAM,UAAU,yBAAyB,CACvC,IAAY,EACZ,KAAiB,EACjB,OAAe,EACf,QAAuB,EACvB,KAAa;IAEb,MAAM,KAAK,GAAG;QACZ,8BAA8B,IAAI,YAAY,KAAK,IAAI;QACvD,QAAQ;QACR,iEAAiE;QACjE,iBAAiB,QAAQ,cAAc;QACvC,wBAAwB,QAAQ,UAAU,KAAK,CAAC,MAAM,EAAE;KACzD,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,2CAA2C,EAAE,QAAQ,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,MAAM,GAAG,oBAAoB,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,mDAAmD,OAAO,GAAG,EAAE,cAAc,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;QACtE,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,YAAY,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC1C,MAAM,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YACrD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,gDAAgD,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACxF,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,WAAW,IAAI,SAAS,OAAO,WAAW,CAAC,CAAC;YACnE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,UAAU,IAAI,MAAM,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACnE,IAAI,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC;gBACnB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,WAAW,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;gBACf,GAAG,GAAG,IAAI,CAAC;YACb,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,aAAa,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;gBACpD,GAAG,GAAG,KAAK,KAAK,EAAE,CAAC;YACrB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,KAAK,EAAE,cAAc,CAAC,CAAC;IAC9D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC;AACf,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 { littleEndianWord } from "./string-literal-equality.js";
 function integerLiteral(expr) {
     if (expr.kind === "numLit")
         return Number.isSafeInteger(expr.value) ? expr.value : null;
@@ -86,32 +87,77 @@ function emitStringSwitch(host, disc, cases, labels, fallback) {
             groups.set(length, (group = []));
         group.push({ value: test.value, label: labels[index] });
     }
-    if (seen.size < 4 || groups.size < 2)
+    if (seen.size < 2)
         return false;
+    // Strings are equal exactly when their UTF-8 bytes are (scr_str_eq): the
+    // byte length selects a group, and a group of literals up to eight bytes
+    // long selects by the bytes as one little-endian word.
     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"));
+    for (const [size, group] of groups) {
+        // The empty string is the only literal of length zero.
+        groupLabels.set(size, size === 0 ? group[0].label : 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) {
+        if (size === 0)
+            continue;
         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 @sc_str_eq(ptr ${disc.name}, ptr ${literal})`);
-            B.condBr(hit, item.label, next);
-            if (next !== fallback)
-                B.startBlock(next);
+        if (size <= 8) {
+            const type = `i${size * 8}`;
+            const data = B.tmp();
+            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.
+            const targets = new Map();
+            for (const item of group) {
+                const value = littleEndianWord(Buffer.from(item.value, "utf8"), 0, size);
+                if (!targets.has(value))
+                    targets.set(value, item.label);
+            }
+            B.terminate(`switch ${type} ${word}, label %${fallback} [ ${[...targets]
+                .map(([value, label]) => `${type} ${value}, label %${label}`)
+                .join(" ")} ]`);
+            continue;
+        }
+        // Longer literals select by their first eight bytes, then confirm the
+        // whole literal (the helper's repeated loads fold into this block's).
+        const data = B.tmp();
+        const word = B.tmp();
+        B.line(`${data} = getelementptr inbounds %ScrStr, ptr ${disc.name}, i32 1`);
+        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);
+            let same = prefixes.get(prefix);
+            if (same === undefined)
+                prefixes.set(prefix, (same = []));
+            same.push(item);
         }
+        const prefixLabels = [...prefixes.keys()].map(() => B.newLabel("sw.prefix"));
+        B.terminate(`switch i64 ${word}, label %${fallback} [ ${[...prefixes.keys()]
+            .map((prefix, index) => `i64 ${prefix}, label %${prefixLabels[index]}`)
+            .join(" ")} ]`);
+        [...prefixes.values()].forEach((same, prefixIndex) => {
+            B.startBlock(prefixLabels[prefixIndex]);
+            for (let index = 0; index < same.length; index++) {
+                const item = same[index];
+                const hit = B.tmp();
+                const next = index + 1 < same.length ? B.newLabel("sw.equal") : fallback;
+                B.line(`${hit} = call zeroext i1 ${host.literalEquals(item.value)}(ptr ${disc.name})`);
+                B.condBr(hit, item.label, next);
+                if (next !== fallback)
+                    B.startBlock(next);
+            }
+        });
     }
     return true;
 }

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;AAKjE,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,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,qCAAqC,IAAI,CAAC,IAAI,SAAS,OAAO,GAAG,CAAC,CAAC;YAChF,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,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,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"}

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

@@ -1,5 +1,5 @@
 import { expect, test } from "vitest";
-import { F64, STRING, VOID } from "../../ir/ir.js";
+import { BOOL, 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 });
@@ -10,7 +10,7 @@ function emit(type, tests, pointerBits = 64) {
 function emitWith(disc, tests, pointerBits = 64) {
     const type = disc.kind === "varRef" ? disc.type : F64;
     const mod = {
-        irVersion: 15,
+        irVersion: 16,
         sourceFile: loc.file,
         entry: "main",
         functions: [
@@ -36,7 +36,7 @@ function emitWith(disc, tests, pointerBits = 64) {
             },
         ],
     };
-    return /^define internal [^\n]*@sc_[bf]+_dispatch\([^]*?^}/m.exec(emitLlvmModule(mod, { pointerBits }))[0];
+    return /^define internal [^\n]*@sc_[bf]+_dispatch(?:\.i32)?\([^]*?^}/m.exec(emitLlvmModule(mod, { pointerBits }))[0];
 }
 test("integer dispatch round-trips a frozen conversion before selecting a native case", () => {
     for (const [values, bits] of [
@@ -86,16 +86,81 @@ test("noninteger literals and computed tests retain source-order comparisons", (
         expect(body.match(/fcmp oeq double/g)).toHaveLength(5);
     }
 });
-test("string dispatch uses target-width byte lengths and checks equality inside each group", () => {
+test("string dispatch selects by byte length, then by the bytes as one word", () => {
     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("_str_utf16_len");
-        expect(body.match(/call zeroext i1 @sc_str_eq/g)).toHaveLength(5);
-        const dispatch = body.split("\n").find((line) => line.includes(`switch i${bits}`));
+        // Every literal fits a word: no comparison calls at all.
+        expect(body).not.toContain("@sc_str_eq");
+        expect(body).not.toContain("@sc_streq_");
+        const lines = body.split("\n");
+        const dispatch = lines.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);
+        // "a" = 0x61; "é" = c3 a9; "😀" = f0 9f 98 80 and "tail" share one word switch.
+        expect(lines.find((line) => line.includes("switch i8 "))).toContain("i8 97, label");
+        expect(lines.find((line) => line.includes("switch i16 "))).toContain("i16 -22077, label");
+        const words = lines.find((line) => line.includes("switch i32 ") && line.includes("i32 1818845556"));
+        expect(words).toContain("i32 -2137481232, label");
     }
 });
+test("duplicate string labels keep the first destination", () => {
+    const body = emit(STRING, ["on", "off", "on"].map(string));
+    const words = body.split("\n").find((line) => line.includes("switch i16 "));
+    expect(words.match(/i16 28271, label/g)).toHaveLength(1);
+    expect(words).toContain("label %sw.c1 ");
+    expect(words).not.toContain("label %sw.c3 ");
+});
+test("long string labels select by their first word and confirm the rest inline", () => {
+    const long = "a-literal-longer-than-thirty-two-bytes-total";
+    const body = emit(STRING, ["functions", "functionz", "instanceof", long].map(string));
+    const lines = body.split("\n");
+    // "function" is the shared first word of both nine-byte labels.
+    const prefix = lines.find((line) => line.includes("switch i64 ") && line.includes("sw.prefix"));
+    expect(prefix.match(/i64 7957695015192261990, label/g)).toHaveLength(1);
+    expect(body.match(/call zeroext i1 @sc_streq_/g)).toHaveLength(4);
+    expect(body).not.toContain("@sc_str_eq");
+    const mod = emitLlvmModuleFor(["functions", long]);
+    const helper = (name) => new RegExp(`^define internal [^\\n]*@sc_streq_${name}(?:\\.i32)?\\([^]*?^}`, "m");
+    const short = helper("\\d+").exec(mod)[0];
+    expect(short).toContain("icmp eq i64 %len, 9");
+    expect(short).toContain("load i64, ptr %data, align 1");
+    expect(short).toContain("load i8, ptr %p1, align 1");
+    expect(short).not.toContain("@scr_str_eq");
+    expect(mod).toMatch(/icmp eq i64 %len, 44\n  br i1 %samelen, label %bytes, label %no\nbytes:\n  %eq = call zeroext i1 @scr_str_eq/);
+});
+function emitLlvmModuleFor(labels) {
+    const value = { kind: "varRef", localId: "value", type: STRING, loc };
+    const mod = {
+        irVersion: 16,
+        sourceFile: loc.file,
+        entry: "main",
+        functions: [
+            { name: "main", params: [], returnType: VOID, locals: [], body: [], loc },
+            ...labels.map((label, index) => ({
+                name: `equals${index}`,
+                params: [{ name: "value", localId: "value", type: STRING }],
+                returnType: BOOL,
+                locals: [{ id: "value", name: "value", type: STRING, mutable: false }],
+                loc,
+                body: [
+                    {
+                        kind: "return",
+                        value: {
+                            kind: "strEq",
+                            left: value,
+                            right: string(label),
+                            negated: false,
+                            type: BOOL,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+            })),
+        ],
+    };
+    return emitLlvmModule(mod);
+}
 //# sourceMappingURL=switch-dispatch.test.js.map

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

@@ -1 +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,OAAO,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAwB,EAAE,WAAW,GAAY,EAAE;IACjF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IACtD,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;wBACJ,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,iFAAiF,EAAE,GAAG,EAAE;IAC3F,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI;QAC3B,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;QACzC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;QACvC,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,EAAE,KAAK,CAAC;KAC7C,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,eAAe,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,qEAAqE;QACrE,sCAAsC;QACtC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACrE,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC3E,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7F,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,sEAAsE;IACtE,yBAAyB;IACzB,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;AAChD,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,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClE,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"}
+{"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,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,gBAAgB,CAAC;AAClG,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,OAAO,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAwB,EAAE,WAAW,GAAY,EAAE;IACjF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IACtD,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;wBACJ,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,+DAA+D,CAAC,IAAI,CACzE,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC,CACpC,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI;QAC3B,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;QACzC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;QACvC,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,EAAE,KAAK,CAAC;KAC7C,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,eAAe,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,qEAAqE;QACrE,sCAAsC;QACtC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACrE,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC3E,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7F,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,sEAAsE;IACtE,yBAAyB;IACzB,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;AAChD,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,uEAAuE,EAAE,GAAG,EAAE;IACjF,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,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC7C,yDAAyD;QACzD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAE,CAAC;QACzE,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;QAC7E,gFAAgF;QAChF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC1F,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CACtB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAC1E,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACpD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAE,CAAC;IAC7E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,IAAI,GAAG,8CAA8C,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,gEAAgE;IAChE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAE,CAAC;IACjG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,iBAAiB,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAC9B,IAAI,MAAM,CAAC,qCAAqC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACrD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CACjB,8GAA8G,CAC/G,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,SAAS,iBAAiB,CAAC,MAAgB;IACzC,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC9E,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,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,SAAS,KAAK,EAAE;gBACtB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC3D,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBACtE,GAAG;gBACH,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAiB;wBACvB,KAAK,EAAE;4BACL,IAAI,EAAE,OAAgB;4BACtB,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;4BACpB,OAAO,EAAE,KAAK;4BACd,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;aACF,CAAC,CAAC;SACJ;KACF,CAAC;IACF,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC"}

package/dist/backend/llvm/union-retype.test.d.ts

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

package/dist/backend/llvm/union-retype.test.js

@@ -0,0 +1,229 @@
+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, UNDEFINED_T, VOID, } from "../../ir/ir.js";
+import { validateModule } from "../../ir/validate.js";
+import { analyzeCallLifetimes } from "./call-lifetimes.js";
+import { emitLlvmModule } from "./emitter.js";
+import { keepUnionsBoxed } from "./test-boxed-unions.js";
+const loc = { file: "union-retype.ts", start: 0, end: 0 };
+const record = { kind: "record", shapeId: "cell" };
+const narrow = { kind: "union", unionId: "narrow" };
+const wide = { kind: "union", unionId: "wide" };
+const ref = (localId, type = narrow) => ({
+    kind: "varRef",
+    localId,
+    type,
+    loc,
+});
+const retype = (value) => ({
+    kind: "unionRetype",
+    fromId: "narrow",
+    unionId: "wide",
+    tags: [0, 1],
+    value,
+    type: wide,
+    loc,
+});
+function body(ir, name) {
+    const found = new RegExp(`^define internal [^\\n]*@${name}(?:\\.i32)?\\([^]*?^}`, "m").exec(ir);
+    expect(found, name).not.toBeNull();
+    return found[0];
+}
+/** `retag(u: narrow): wide` returning the same box, plus a caller that
+ * passes it a freshly wrapped record. */
+function fixture() {
+    const retag = {
+        name: "retag",
+        params: [{ localId: "u", name: "u", type: narrow }],
+        returnType: wide,
+        locals: [{ id: "u", name: "u", type: narrow, mutable: false }],
+        body: [{ kind: "return", value: retype(ref("u")), loc }],
+        loc,
+    };
+    const main = {
+        name: "main",
+        params: [],
+        returnType: VOID,
+        locals: [],
+        body: [
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "call",
+                    callee: "retag",
+                    args: [
+                        {
+                            kind: "unionWrap",
+                            unionId: "narrow",
+                            tag: 0,
+                            value: {
+                                kind: "recordLit",
+                                fields: [{ name: "x", value: { kind: "numLit", value: 1, type: F64, loc } }],
+                                type: record,
+                                loc,
+                            },
+                            type: narrow,
+                            loc,
+                        },
+                    ],
+                    type: wide,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    };
+    return {
+        irVersion: 16,
+        sourceFile: loc.file,
+        entry: "main",
+        records: [{ id: "cell", fields: [{ name: "x", type: F64 }] }],
+        unions: [
+            { id: "narrow", arms: [record, UNDEFINED_T, F64] },
+            { id: "wide", arms: [record, UNDEFINED_T, F64, { kind: "string" }] },
+        ],
+        functions: [main, retag],
+    };
+}
+function emit(mod) {
+    expect(validateModule(mod)).toEqual([]);
+    return emitLlvmModule(keepUnionsBoxed(mod), { pointerBits: 64 });
+}
+test("an identity retype retains the input box instead of allocating", () => {
+    const ir = emit(fixture());
+    const retag = body(ir, "sc_bf_retag");
+    expect(retag).toMatch(/call ptr @scr_union_retain/);
+    expect(retag).toMatch(/retype\.share\d+:\n {2}store ptr/);
+    // No cast caches these boxes: the flag is never set and folds to false.
+    expect(ir).toMatch(/^@sc_retype_guard_0 = internal global i8 0/m);
+    expect(retag).toContain("load i8, ptr @sc_retype_guard_0");
+    expect(ir).not.toMatch(/store i8 1, ptr @sc_retype_guard_0/);
+    // Only the rebuild path behind the flag can allocate.
+    const share = /retype\.share\d+:\n([^]*?)\n {2}br label/.exec(retag);
+    expect(share?.[1]).not.toMatch(/@scr_union_new/);
+});
+test("the retyped operand escapes, so no caller passes it a stack box", () => {
+    const mod = fixture();
+    const lifetimes = analyzeCallLifetimes(new Map(mod.functions.map((fn) => [fn.name, fn])));
+    expect(lifetimes.parameters.get("retag")?.has(0) ?? false).toBe(false);
+    // The same helper projecting its parameter instead accepts a stack box.
+    const projected = fixture();
+    projected.functions[1].body = [
+        {
+            kind: "return",
+            value: {
+                kind: "unionWrap",
+                unionId: "wide",
+                tag: 0,
+                value: {
+                    kind: "unionNarrow",
+                    unionId: "narrow",
+                    tag: 0,
+                    value: ref("u"),
+                    type: record,
+                    loc,
+                },
+                type: wide,
+                loc,
+            },
+            loc,
+        },
+    ];
+    const projectedLifetimes = analyzeCallLifetimes(new Map(projected.functions.map((fn) => [fn.name, fn])));
+    expect(projectedLifetimes.parameters.get("retag")?.has(0)).toBe(true);
+    const main = body(emit(mod), "sc_f_main");
+    expect(main).not.toContain("alloca %ScrUnion");
+    expect(main).toContain("@scr_union_new_ref");
+});
+test("a nullable-pointer source rebuilds the target box", () => {
+    const mod = fixture();
+    mod.unions[0] = { id: "narrow", arms: [record, UNDEFINED_T] };
+    const fn = mod.functions[1];
+    fn.body = [{ kind: "return", value: retype(ref("u")), loc }];
+    mod.functions[0].body = [];
+    expect(validateModule(mod)).toEqual([]);
+    // Only `wide` stays boxed: `narrow` keeps its nullable representation.
+    const ir = emitLlvmModule({
+        ...mod,
+        globals: [
+            {
+                id: "%g.keep.wide",
+                name: "keep_wide",
+                type: { kind: "set", elem: wide },
+                mutable: false,
+            },
+        ],
+    }, { pointerBits: 64 });
+    const retag = body(ir, "sc_bf_retag");
+    expect(retag).toContain("@scr_union_new_ref(i32 0");
+    expect(retag).not.toContain("retype.share");
+});
+async function llvmFor(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-union-retype-"));
+    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, ir: emitLlvmModule(module) };
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+const VISITOR = `
+type Num = { kind: "num"; value: number };
+type Neg = { kind: "neg"; operand: Expr };
+type Add = { kind: "add"; left: Expr; right: Expr };
+type Expr = Num | Neg | Add;
+type Leaf = Add | Neg;
+function evaluate(e: Expr): number {
+  if (e.kind === "num") return e.value;
+  if (e.kind === "neg") return -evaluate(e.operand);
+  return evaluate(e.left) + evaluate(e.right);
+}
+function leafValue(l: Leaf): number {
+  return evaluate(l);
+}
+const n: Num = { kind: "num", value: 2 };
+const leaves: Leaf[] = [
+  { kind: "neg", operand: n },
+  { kind: "add", left: n, right: n },
+];
+let total = 0;
+for (const leaf of leaves) total += leafValue(leaf);
+console.log(total);
+`;
+test("lowered identity retags share the box", async () => {
+    const { module, ir } = await llvmFor(VISITOR);
+    const helpers = module.functions.filter((fn) => fn.name.startsWith("%union.retag."));
+    expect(helpers.length).toBeGreaterThan(0);
+    const shared = helpers.filter((fn) => fn.body.length === 1 &&
+        fn.body[0].kind === "return" &&
+        fn.body[0].value?.kind === "unionRetype");
+    expect(shared.length).toBeGreaterThan(0);
+    for (const helper of shared) {
+        const symbol = `sc_bf__x25_union_retag_${helper.name.slice("%union.retag.".length)}`;
+        const share = /retype\.share\d+:\n([^]*?)\n {2}br label/.exec(body(ir, symbol));
+        expect(share, symbol).not.toBeNull();
+        expect(share[1]).not.toMatch(/@scr_union_new/);
+    }
+});
+test("a union whose boxes a cast caches stops sharing them", async () => {
+    const { ir } = await llvmFor(`${VISITOR}
+const parsed = JSON.parse('{"kind":"neg","operand":{"kind":"num","value":3}}') as Leaf;
+console.log(leafValue(parsed));
+`);
+    // Caching a checked box sets its union's flag, which the retype reads.
+    const stored = /store i8 1, ptr (@sc_retype_guard_\d+)/.exec(ir);
+    expect(stored).not.toBeNull();
+    expect(ir).toContain(`load i8, ptr ${stored[1]}`);
+});
+//# sourceMappingURL=union-retype.test.js.map

package/dist/backend/llvm/union-retype.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-retype.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/union-retype.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,WAAW,EACX,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC1D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC5D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACxD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAW,MAAM,EAAU,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACzC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,MAAM;IACf,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,KAAK;IACL,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AAEH,SAAS,IAAI,CAAC,EAAU,EAAE,IAAY;IACpC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,4BAA4B,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnC,OAAO,KAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED;yCACyC;AACzC,SAAS,OAAO;IACd,MAAM,KAAK,GAAe;QACxB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACxD,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,EAAE;QACV,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,QAAQ;4BACjB,GAAG,EAAE,CAAC;4BACN,KAAK,EAAE;gCACL,IAAI,EAAE,WAAW;gCACjB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;gCAC5E,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;4BACD,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;qBACF;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE;YAClD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;SACrE;QACD,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,GAAa;IACzB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,OAAO,cAAc,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAC1D,wEAAwE;IACxE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IAC7D,sDAAsD;IACtD,MAAM,KAAK,GAAG,0CAA0C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,wEAAwE;IACxE,MAAM,SAAS,GAAG,OAAO,EAAE,CAAC;IAC5B,SAAS,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG;QAC7B;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,MAAM;gBACf,GAAG,EAAE,CAAC;gBACN,KAAK,EAAE;oBACL,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,QAAQ;oBACjB,GAAG,EAAE,CAAC;oBACN,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;oBACf,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,IAAI,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CACxD,CAAC;IACF,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,MAAO,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;IAC/D,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7D,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,uEAAuE;IACvE,MAAM,EAAE,GAAG,cAAc,CACvB;QACE,GAAG,GAAG;QACN,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,cAAc;gBAClB,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;gBACjC,OAAO,EAAE,KAAK;aACf;SACF;KACF,EACD,EAAE,WAAW,EAAE,EAAE,EAAE,CACpB,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,KAAK,UAAU,OAAO,CAAC,MAAc;IACnC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACnE,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,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;IAChD,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG;;;;;;;;;;;;;;;;;;;;;;CAsBf,CAAC;AAEF,IAAI,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;IACvD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAC3B,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACpB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ;QAC7B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,IAAI,KAAK,aAAa,CAC5C,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,0BAA0B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;IACtE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,OAAO,CAAC,GAAG,OAAO;;;CAGxC,CAAC,CAAC;IACD,uEAAuE;IACvE,MAAM,MAAM,GAAG,wCAAwC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,gBAAgB,MAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/wrapping-sums.d.ts

@@ -0,0 +1,17 @@
+import type { IrExpr } from "../../ir/ir.js";
+import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+import type { LlInteger } from "./integer-values.js";
+/** Marks the `+` and `-` operands whose number only reaches ToInt32/ToUint32
+ * consumers (`| 0`, the other bitwise operators, `Math.imul`, `Math.clz32`),
+ * directly or through further sums, in the emitter's `wrappingSums`. Called
+ * by the consumer before its operands emit. */
+export declare function markWrappingOperands(host: LlvmEmitterContext, ...operands: IrExpr[]): void;
+/** ToUint32 of `left op right` (`+` or `-`) in 32-bit arithmetic when the
+ * expression only reaches ToInt32/ToUint32 consumers and both operands are
+ * exact integers or NaN with an exact result. Both conversions are
+ * arithmetic mod 2^32, so the wrapping i32 sum of the operands' low halves
+ * is the converted exact sum; a NaN operand makes the sum NaN, which
+ * converts to 0. Returns undefined, emitting nothing, for any other sum. */
+export declare function emitWrappingSum(host: LlvmEmitterContext, e: IrExpr & {
+    kind: "bin";
+}, l: LlValue, r: LlValue, li: LlInteger | null, ri: LlInteger | null): string | undefined;