@scriptc/compiler 0.3.3 → 0.3.5

package/dist/backend/llvm/map-entry-fusion.js

@@ -0,0 +1,233 @@
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+import { borrowsMapReadInputs, borrowsMapMutationReceiver } from "./map-read-lifetimes.js";
+import { mapKeyAccess } from "./shapes.js";
+/** A typed string-keyed Map read/write with a scalar value. */
+function fusableOp(e, method) {
+    if (e.kind !== "mapIntrinsic" || e.method !== method)
+        return false;
+    const receiver = e.receiver.type;
+    if (receiver.kind !== "map")
+        return false;
+    if (receiver.value.kind !== "f64" && receiver.value.kind !== "bool")
+        return false;
+    if (mapKeyAccess(receiver.key) !== "str")
+        return false;
+    return method === "get" ? borrowsMapReadInputs(e) : borrowsMapMutationReceiver(e);
+}
+/** Expression kinds that run no user code and mutate no collection or
+ * reference (reads, scalar arithmetic, control within the expression, and
+ * compiler-resolved throws, which leave the statement). */
+const INERT_KINDS = new Set([
+    "numLit",
+    "strLit",
+    "boolLit",
+    "unitLit",
+    "varRef",
+    "bin",
+    "unary",
+    "toBool",
+    "logical",
+    "ternary",
+    "nullish",
+    "orDefault",
+    "strEq",
+    "unionIsTag",
+    "unionNarrow",
+    "recordGet",
+    "fieldGet",
+]);
+function inert(e, allowed) {
+    if (e === allowed)
+        return true;
+    if (e.kind === "mapIntrinsic") {
+        if (!borrowsMapReadInputs(e) || (e.method !== "get" && e.method !== "has"))
+            return false;
+    }
+    else if (e.kind === "libCall") {
+        if (e.fn !== "error.nodeThrow")
+            return false;
+    }
+    else if (!INERT_KINDS.has(e.kind))
+        return false;
+    return everyExprChild(e, (child) => inert(child, allowed), () => false);
+}
+/** Whether evaluating `e` always evaluates `target` (it is not behind a
+ * short-circuit or a conditional arm). */
+function alwaysEvaluates(e, target) {
+    if (e === target)
+        return true;
+    switch (e.kind) {
+        case "bin":
+            return alwaysEvaluates(e.left, target) || alwaysEvaluates(e.right, target);
+        case "unary":
+        case "toBool":
+            return alwaysEvaluates(e.operand, target);
+        case "logical":
+        case "nullish":
+        case "orDefault":
+            return alwaysEvaluates(e.left, target);
+        case "ternary":
+            return alwaysEvaluates(e.cond, target);
+        case "unionIsTag":
+        case "unionNarrow":
+            return alwaysEvaluates(e.value, target);
+        default:
+            return false;
+    }
+}
+/** The single fusable read of `key`'s map inside `e`, if exactly one. */
+function soleRead(e) {
+    let found = null;
+    let count = 0;
+    const visit = (node) => {
+        if (node.kind === "mapIntrinsic" && node.method === "get") {
+            count++;
+            if (fusableOp(node, "get"))
+                found = node;
+        }
+        return everyExprChild(node, visit, () => true);
+    };
+    visit(e);
+    return count === 1 ? found : null;
+}
+/** Same scalar value kind and key access on both sides. */
+function compatible(read, write) {
+    const r = read.receiver.type, w = write.receiver.type;
+    return (r.kind === "map" &&
+        w.kind === "map" &&
+        r.value.kind === w.value.kind &&
+        mapKeyAccess(r.key) === mapKeyAccess(w.key));
+}
+/** Find the fusable read/write pairs of one function. Coroutines keep their
+ * frames in their own storage and are left alone. */
+export function findMapEntryFusions(fn) {
+    const out = { reads: new Map(), writes: new Map() };
+    if (fn.async || fn.generator)
+        return out;
+    const pair = (read, write) => {
+        if (!compatible(read, write) || out.reads.has(read) || out.writes.has(write))
+            return;
+        const entry = { slots: null };
+        out.reads.set(read, entry);
+        out.writes.set(write, entry);
+    };
+    const writeOf = (s) => s?.kind === "exprStmt" && fusableOp(s.expr, "set") ? s.expr : null;
+    const visitList = (list) => {
+        for (let i = 0; i < list.length; i++) {
+            const s = list[i];
+            // m.set(k, ...m.get(k)...): the read is the only one and runs
+            // unconditionally after the receiver and key.
+            const single = writeOf(s);
+            if (single) {
+                const read = soleRead(single.args[1]);
+                if (read &&
+                    alwaysEvaluates(single.args[1], read) &&
+                    inert(single.receiver, null) &&
+                    inert(single.args[0], null) &&
+                    inert(single.args[1], read))
+                    pair(read, single);
+            }
+            // const cur = m.get(k); m.set(k, ...): the read is the declaration's
+            // whole initializer, and the write follows directly.
+            const value = s.kind === "varDecl" ? s.init : s.kind === "assign" && !s.initializes ? s.value : null;
+            const next = writeOf(list[i + 1]);
+            if (value &&
+                next &&
+                fusableOp(value, "get") &&
+                inert(value.receiver, null) &&
+                inert(value.args[0], null) &&
+                inert(next.receiver, null) &&
+                next.args.every((arg) => inert(arg, null)))
+                pair(value, next);
+        }
+        for (const s of list)
+            visitStmt(s);
+    };
+    const visitStmt = (s) => {
+        switch (s.kind) {
+            case "if":
+                visitList(s.then);
+                if (s.else_)
+                    visitList(s.else_);
+                return;
+            case "while":
+            case "doWhile":
+            case "forOf":
+            case "block":
+                visitList(s.body);
+                return;
+            case "for":
+                visitList(s.body);
+                return;
+            case "switch":
+                for (const c of s.cases)
+                    visitList(c.body);
+                return;
+            case "tryCatch":
+                visitList(s.tryBody);
+                if (s.catchBody)
+                    visitList(s.catchBody);
+                if (s.finallyBody)
+                    visitList(s.finallyBody);
+                return;
+            default:
+                everyStmtChild(s, () => true, (child) => (visitStmt(child), true));
+        }
+    };
+    visitList(fn.body);
+    return out;
+}
+/** After a fused read resolved `entry` for the string `key` in `map`: park
+ * all three for the paired write. */
+export function rememberMapEntry(host, read, map, key, entry) {
+    const pair = host.mapEntryFusion?.reads.get(read);
+    if (!pair)
+        return;
+    const B = host.B;
+    if (pair.slots === null) {
+        const slots = { map: B.slot(), key: B.slot(), entry: B.slot() };
+        B.entryAllocas.push(`${slots.map} = alloca ptr ; fused map read: map`, `${slots.key} = alloca ptr ; fused map read: key`, `${slots.entry} = alloca ptr ; fused map read: entry`, `store ptr null, ptr ${slots.entry}`);
+        pair.slots = slots;
+    }
+    const slots = pair.slots;
+    B.line(`store ptr ${map}, ptr ${slots.map}`);
+    B.line(`store ptr ${key}, ptr ${slots.key}`);
+    B.line(`store ptr ${entry}, ptr ${slots.entry}`);
+}
+/** Emit a fused write: overwrite the parked entry's value in place when it
+ * belongs to this map and key, else run `ordinary`. False when `write` is
+ * not fused or its read never parked an entry (emit the ordinary set). */
+export function emitFusedMapSet(host, write, map, key, value, ordinary) {
+    const slots = host.mapEntryFusion?.writes.get(write)?.slots;
+    if (!slots)
+        return false;
+    const B = host.B;
+    const parkedMap = B.tmp(), parkedKey = B.tmp(), entry = B.tmp(), sameMap = B.tmp(), sameKey = B.tmp(), found = B.tmp(), both = B.tmp(), reuse = B.tmp();
+    B.line(`${parkedMap} = load ptr, ptr ${slots.map}`);
+    B.line(`${parkedKey} = load ptr, ptr ${slots.key}`);
+    B.line(`${entry} = load ptr, ptr ${slots.entry}`);
+    // The entry is valid only between its read and this write.
+    B.line(`store ptr null, ptr ${slots.entry}`);
+    B.line(`${found} = icmp ne ptr ${entry}, null`);
+    B.line(`${sameMap} = icmp eq ptr ${parkedMap}, ${map}`);
+    B.line(`${sameKey} = icmp eq ptr ${parkedKey}, ${key}`);
+    B.line(`${both} = and i1 ${sameMap}, ${sameKey}`);
+    B.line(`${reuse} = select i1 ${found}, i1 ${both}, i1 false`);
+    const hit = B.newLabel("mapfuse.hit"), miss = B.newLabel("mapfuse.miss"), done = B.newLabel("mapfuse.done");
+    B.condBr(reuse, hit, miss);
+    B.startBlock(hit);
+    const slot = B.tmp(), bits = B.tmp();
+    B.line(`${slot} = getelementptr inbounds %ScrMapEntry, ptr ${entry}, i32 0, i32 1`);
+    if (value.access === "f64")
+        B.line(`${bits} = bitcast double ${value.name} to i64`);
+    else
+        B.line(`${bits} = zext i1 ${value.name} to i64`);
+    B.line(`store i64 ${bits}, ptr ${slot}`);
+    B.br(done);
+    B.startBlock(miss);
+    ordinary();
+    B.br(done);
+    B.startBlock(done);
+    return true;
+}
+//# sourceMappingURL=map-entry-fusion.js.map

package/dist/backend/llvm/map-entry-fusion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"map-entry-fusion.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-entry-fusion.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAC3F,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAe3C,+DAA+D;AAC/D,SAAS,SAAS,CAAC,CAAS,EAAE,MAAqB;IACjD,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAClF,IAAI,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACvD,OAAO,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED;;2DAE2D;AAC3D,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,QAAQ;IACR,KAAK;IACL,OAAO;IACP,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;IACT,WAAW;IACX,OAAO;IACP,YAAY;IACZ,aAAa;IACb,WAAW;IACX,UAAU;CACX,CAAC,CAAC;AAEH,SAAS,KAAK,CAAC,CAAS,EAAE,OAAsB;IAC9C,IAAI,CAAC,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC9B,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3F,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,KAAK,iBAAiB;YAAE,OAAO,KAAK,CAAC;IAC/C,CAAC;SAAM,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,OAAO,cAAc,CACnB,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAChC,GAAG,EAAE,CAAC,KAAK,CACZ,CAAC;AACJ,CAAC;AAED;0CAC0C;AAC1C,SAAS,eAAe,CAAC,CAAS,EAAE,MAAc;IAChD,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7E,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5C,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1C;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,QAAQ,CAAC,CAAS;IACzB,IAAI,KAAK,GAAiB,IAAI,CAAC;IAC/B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC1D,KAAK,EAAE,CAAC;YACR,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QAC3C,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,CAAC,CAAC;IACT,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACpC,CAAC;AAED,2DAA2D;AAC3D,SAAS,UAAU,CAAC,IAAW,EAAE,KAAY;IAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAC1B,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC1B,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI;QAC7B,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,mBAAmB,CAAC,EAAc;IAChD,MAAM,GAAG,GAAmB,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACpE,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,GAAG,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,IAAW,EAAE,KAAY,EAAQ,EAAE;QAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QACrF,MAAM,KAAK,GAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5C,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3B,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,CAAqB,EAAgB,EAAE,CACtD,CAAC,EAAE,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACrE,MAAM,SAAS,GAAG,CAAC,IAAuB,EAAQ,EAAE;QAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACnB,8DAA8D;YAC9D,8CAA8C;YAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;gBACvC,IACE,IAAI;oBACJ,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC;oBACtC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC;oBAC5B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC;oBAC5B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC;oBAE5B,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACvB,CAAC;YACD,qEAAqE;YACrE,qDAAqD;YACrD,MAAM,KAAK,GACT,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;YACzF,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,IACE,KAAK;gBACL,IAAI;gBACJ,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;gBACvB,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC;gBAC3B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAE1C,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAQ,EAAE;QACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,IAAI;gBACP,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClB,IAAI,CAAC,CAAC,KAAK;oBAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAChC,OAAO;YACT,KAAK,OAAO,CAAC;YACb,KAAK,SAAS,CAAC;YACf,KAAK,OAAO,CAAC;YACb,KAAK,OAAO;gBACV,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,KAAK;gBACR,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,QAAQ;gBACX,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;oBAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3C,OAAO;YACT,KAAK,UAAU;gBACb,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACrB,IAAI,CAAC,CAAC,SAAS;oBAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBACxC,IAAI,CAAC,CAAC,WAAW;oBAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBAC5C,OAAO;YACT;gBACE,cAAc,CACZ,CAAC,EACD,GAAG,EAAE,CAAC,IAAI,EACV,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CACpC,CAAC;QACN,CAAC;IACH,CAAC,CAAC;IACF,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,gBAAgB,CAC9B,IAAwB,EACxB,IAAY,EACZ,GAAW,EACX,GAAW,EACX,KAAa;IAEb,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChE,CAAC,CAAC,YAAY,CAAC,IAAI,CACjB,GAAG,KAAK,CAAC,GAAG,qCAAqC,EACjD,GAAG,KAAK,CAAC,GAAG,qCAAqC,EACjD,GAAG,KAAK,CAAC,KAAK,uCAAuC,EACrD,uBAAuB,KAAK,CAAC,KAAK,EAAE,CACrC,CAAC;QACF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AACnD,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,KAAa,EACb,GAAW,EACX,GAAW,EACX,KAA+C,EAC/C,QAAoB;IAEpB,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IAC5D,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,oBAAoB,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,oBAAoB,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAClD,2DAA2D;IAC3D,CAAC,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,SAAS,KAAK,GAAG,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,SAAS,KAAK,GAAG,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,OAAO,KAAK,OAAO,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,KAAK,QAAQ,IAAI,YAAY,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,EACnC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EACjC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACpC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,KAAK,gBAAgB,CAAC,CAAC;IACpF,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;QAAE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qBAAqB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;;QAC/E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,QAAQ,EAAE,CAAC;IACX,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/backend/llvm/map-entry-fusion.test.d.ts

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

package/dist/backend/llvm/map-entry-fusion.test.js

@@ -0,0 +1,183 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, STRING, UNDEFINED_T, VOID, } from "../../ir/ir.js";
+import { validateModule } from "../../ir/validate.js";
+import { emitLlvmModule } from "./emitter.js";
+import { findMapEntryFusions } from "./map-entry-fusion.js";
+const loc = { file: "map-fusion.ts", start: 0, end: 1 };
+const optional = { kind: "union", unionId: "optional" };
+const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+function mapType(key, value) {
+    return { kind: "map", key, value };
+}
+function get(map, key) {
+    return { kind: "mapIntrinsic", method: "get", receiver: map, args: [key], type: optional, loc };
+}
+function set(map, key, value) {
+    return {
+        kind: "exprStmt",
+        loc,
+        expr: {
+            kind: "mapIntrinsic",
+            method: "set",
+            receiver: map,
+            args: [key, value],
+            type: VOID,
+            loc,
+        },
+    };
+}
+/** `(cur is undefined ? 0 : narrow(cur)) + 1` over the optional local. */
+function increment(value) {
+    const cur = ref("cur", optional);
+    if (value.kind === "bool")
+        return { kind: "boolLit", value: true, type: BOOL, loc };
+    return {
+        kind: "bin",
+        op: "+",
+        left: {
+            kind: "ternary",
+            cond: {
+                kind: "unionIsTag",
+                value: cur,
+                unionId: "optional",
+                tag: 1,
+                negated: false,
+                type: BOOL,
+                loc,
+            },
+            then: { kind: "numLit", value: 0, type: F64, loc },
+            else_: { kind: "unionNarrow", unionId: "optional", tag: 0, value: cur, type: F64, loc },
+            type: F64,
+            loc,
+        },
+        right: { kind: "numLit", value: 1, type: F64, loc },
+        type: F64,
+        loc,
+    };
+}
+function fixture(body, key = STRING, value = F64) {
+    const map = mapType(key, value);
+    const params = [
+        { localId: "map", name: "map", type: map },
+        { localId: "other", name: "other", type: map },
+        { localId: "key", name: "key", type: key },
+    ];
+    const work = {
+        name: "work",
+        params,
+        returnType: VOID,
+        loc,
+        locals: [
+            ...params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: true })),
+            { id: "cur", name: "cur", type: optional, mutable: false },
+        ],
+        body: body(ref("map", map), ref("key", key), ref("other", map)),
+    };
+    return {
+        irVersion: 16,
+        sourceFile: loc.file,
+        entry: "main",
+        unions: [{ id: "optional", arms: [value, UNDEFINED_T] }],
+        functions: [{ name: "main", params: [], locals: [], returnType: VOID, body: [], loc }, work],
+    };
+}
+const declare = (map, key) => ({
+    kind: "varDecl",
+    localId: "cur",
+    init: get(map, key),
+    loc,
+});
+function pairs(mod) {
+    return findMapEntryFusions(mod.functions[1]).writes.size;
+}
+function body(mod, bits = 64) {
+    expect(validateModule(mod)).toEqual([]);
+    const llvm = emitLlvmModule(mod, { pointerBits: bits });
+    return /^define internal [^\n]*@sc_(?:b)?f_work\([^]*?^}/m.exec(llvm)[0];
+}
+test("a read followed by a write of the same map pairs, and the write reuses the entry", () => {
+    for (const value of [F64, BOOL]) {
+        const mod = fixture((map, k) => [declare(map, k), set(map, k, increment(value))], STRING, value);
+        expect(pairs(mod)).toBe(1);
+        for (const bits of [32, 64]) {
+            const ir = body(mod, bits);
+            expect(ir).toContain("mapfuse.hit");
+            // The miss still inserts through the runtime.
+            expect(ir).toMatch(/call void @scr_map_set_str_(?:f64|bool)\(/);
+            expect(ir).toContain("@sc_map_entry_str(");
+        }
+    }
+});
+test("number keys keep the write-after-read lookup instead of pairing", () => {
+    // findReadNumberMapWrites stores such writes into the found entry through
+    // a read-only probe that LLVM merges with the read's.
+    const mod = fixture((map, k) => [declare(map, k), set(map, k, increment(F64))], F64, F64);
+    expect(pairs(mod)).toBe(0);
+    expect(body(mod)).not.toContain("mapfuse.hit");
+});
+test("the single-statement form pairs an unconditional nested read", () => {
+    const mod = fixture((map, k) => [
+        set(map, k, {
+            kind: "bin",
+            op: "+",
+            left: {
+                kind: "nullish",
+                left: get(map, k),
+                right: { kind: "numLit", value: 0, type: F64, loc },
+                type: F64,
+                loc,
+            },
+            right: { kind: "numLit", value: 1, type: F64, loc },
+            type: F64,
+            loc,
+        }),
+    ]);
+    expect(pairs(mod)).toBe(1);
+});
+test("reads behind a condition, intervening statements and other effects do not pair", () => {
+    // The read only runs on one arm.
+    const conditional = fixture((map, k) => [
+        set(map, k, {
+            kind: "ternary",
+            cond: { kind: "boolLit", value: true, type: BOOL, loc },
+            then: {
+                kind: "nullish",
+                left: get(map, k),
+                right: { kind: "numLit", value: 0, type: F64, loc },
+                type: F64,
+                loc,
+            },
+            else_: { kind: "numLit", value: 0, type: F64, loc },
+            type: F64,
+            loc,
+        }),
+    ]);
+    expect(pairs(conditional)).toBe(0);
+    // A mutation of any map between the read and the write.
+    const between = fixture((map, k, other) => [
+        declare(map, k),
+        set(other, k, { kind: "numLit", value: 1, type: F64, loc }),
+        set(map, k, increment(F64)),
+    ]);
+    expect(findMapEntryFusions(between.functions[1]).reads.size).toBe(1);
+    expect([...findMapEntryFusions(between.functions[1]).writes.keys()].map((w) => w.kind === "mapIntrinsic" && w.receiver.kind === "varRef" && w.receiver.localId)).toEqual(["other"]);
+    // A call in the written value may run arbitrary code.
+    const call = fixture((map, k) => [
+        declare(map, k),
+        set(map, k, { kind: "call", callee: "main", args: [], type: F64, loc }),
+    ]);
+    expect(pairs(call)).toBe(0);
+});
+test("writes to another map or key stay correct at run time", () => {
+    // The pairing is syntactic; identity checks decide reuse when it runs.
+    const mod = fixture((map, k, other) => [declare(map, k), set(other, k, increment(F64))]);
+    expect(pairs(mod)).toBe(1);
+    const ir = body(mod);
+    expect(ir).toMatch(/icmp eq ptr %\w+, %\w+/);
+    expect(ir).toContain("mapfuse.miss");
+});
+test("reference values never fuse", () => {
+    const mod = fixture((map, k) => [declare(map, k), set(map, k, { kind: "strLit", value: "x", type: STRING, loc })], STRING, STRING);
+    expect(pairs(mod)).toBe(0);
+});
+//# sourceMappingURL=map-entry-fusion.test.js.map

package/dist/backend/llvm/map-entry-fusion.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"map-entry-fusion.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-entry-fusion.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,WAAW,EACX,IAAI,GAML,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxD,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAChE,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAEhG,SAAS,OAAO,CAAC,GAAW,EAAE,KAAa;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,GAAG,CAAC,GAAW,EAAE,GAAW;IACnC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC;AAED,SAAS,GAAG,CAAC,GAAW,EAAE,GAAW,EAAE,KAAa;IAClD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,GAAG;QACH,IAAI,EAAE;YACJ,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;KACF,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpF,OAAO;QACL,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,GAAG;gBACV,OAAO,EAAE,UAAU;gBACnB,GAAG,EAAE,CAAC;gBACN,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAClD,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACvF,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACnD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,IAA2D,EAC3D,GAAG,GAAW,MAAM,EACpB,KAAK,GAAW,GAAG;IAEnB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG;QACb,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;QAC1C,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;QAC9C,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;KAC3C,CAAC;IACF,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,MAAM,EAAE;YACN,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACpF,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3D;QACD,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;KAChE,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;QACxD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,KAAK;IACd,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC;IACnB,GAAG;CACJ,CAAC,CAAC;AAEH,SAAS,KAAK,CAAC,GAAa;IAC1B,OAAO,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,IAAI,CAAC,GAAa,EAAE,IAAI,GAAY,EAAE;IAC7C,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,OAAO,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CACjB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAC5D,MAAM,EACN,KAAK,CACN,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;YACpC,8CAA8C;YAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;YAChE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,0EAA0E;IAC1E,sDAAsD;IACtD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1F,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE;YACV,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;gBACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACnD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,iCAAiC;IACjC,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACvD,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;gBACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACnD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,wDAAwD;IACxD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACzC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QACf,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC3D,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;KAC5B,CAAC,CAAC;IACH,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,CACJ,CAAC,GAAG,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAC/D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CACvF,CACF,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACrB,sDAAsD;IACtD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QACf,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;KACxE,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,uEAAuE;IACvE,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC7C,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACvC,MAAM,GAAG,GAAG,OAAO,CACjB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAC7F,MAAM,EACN,MAAM,CACP,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/map-number-lookup.d.ts

@@ -14,6 +14,7 @@ export declare function emitStringMapHas(host: LlvmEmitterContext, map: string,
 export declare function emitStringMapGetScalar(host: LlvmEmitterContext, map: string, key: string): {
     found: string;
     bits: string;
+    entry: string;
 };
 /** Map.get of a reference value: a +1 value, or null when absent — the
  * contract of scr_map_get_f64_ref. */
@@ -27,9 +28,14 @@ export declare function emitStringMapGetRef(host: LlvmEmitterContext, map: strin
 export declare function emitNumberMapGetScalar(host: LlvmEmitterContext, map: string, key: string): {
     found: string;
     bits: string;
+    entry: string;
 };
 /** Map.has / Set.has. */
 export declare function emitNumberMapHas(host: LlvmEmitterContext, map: string, key: string): string;
+/** Map.set / Set.add of a scalar value under a number key: a found entry
+ * takes the value in its slot (a Set entry's unit value is already there);
+ * a new key appends through `append`, the runtime set. */
+export declare function emitNumberMapSetScalar(host: LlvmEmitterContext, map: string, key: string, bits: string | null, append: () => void): void;
 /** Declared by the inline Map/Set iteration steps; its presence makes the
  * emitter define sc_map_iter_entry and sc_map_iter_count (emitter.ts). */
 export declare const MAP_ITER_DECL = "declare zeroext i1 @scr_map_iter_live(ptr, double)";

package/dist/backend/llvm/map-number-lookup.js

@@ -81,7 +81,7 @@ function emitMapEntryGetScalar(host, entry) {
     B.startBlock(join);
     const bits = B.tmp();
     B.line(`${bits} = phi i64 [ ${loaded}, %${hit} ], [ 0, %${miss} ]`);
-    return { found, bits };
+    return { found, bits, entry };
 }
 /** Map.has / Set.has. */
 export function emitNumberMapHas(host, map, key) {
@@ -90,6 +90,28 @@ export function emitNumberMapHas(host, map, key) {
     host.B.line(`${found} = icmp ne ptr ${entry}, null`);
     return found;
 }
+/** Map.set / Set.add of a scalar value under a number key: a found entry
+ * takes the value in its slot (a Set entry's unit value is already there);
+ * a new key appends through `append`, the runtime set. */
+export function emitNumberMapSetScalar(host, map, key, bits, append) {
+    const B = host.B;
+    const entry = emitNumberMapEntry(host, map, key);
+    const found = B.tmp();
+    B.line(`${found} = icmp ne ptr ${entry}, null`);
+    const hit = B.newLabel("mapn.set.hit"), miss = B.newLabel("mapn.set.miss"), join = B.newLabel("mapn.set.join");
+    B.condBr(found, hit, miss);
+    B.startBlock(hit);
+    if (bits !== null) {
+        const slot = B.tmp();
+        B.line(`${slot} = getelementptr inbounds %ScrMapEntry, ptr ${entry}, i32 0, i32 1`);
+        B.line(`store i64 ${bits}, ptr ${slot}`);
+    }
+    B.br(join);
+    B.startBlock(miss);
+    append();
+    B.br(join);
+    B.startBlock(join);
+}
 /** Declared by the inline Map/Set iteration steps; its presence makes the
  * emitter define sc_map_iter_entry and sc_map_iter_count (emitter.ts). */
 export const MAP_ITER_DECL = "declare zeroext i1 @scr_map_iter_live(ptr, double)";

package/dist/backend/llvm/map-number-lookup.js.map

@@ -1 +1 @@
-{"version":3,"file":"map-number-lookup.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-number-lookup.ts"],"names":[],"mappings":"AAyBA,MAAM,CAAC,MAAM,qBAAqB,GAAG,6CAA6C,CAAC;AAEnF,+EAA+E;AAC/E,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACnF,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,GAAG,YAAY,GAAG,GAAG,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,KAAa,EAAE,IAAY;IACrF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,KAAK,gBAAgB,CAAC,CAAC;IACpF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,WAAW,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;IAC/C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,0CAA0C,CAAC;AAEhF,wFAAwF;AACxF,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACnF,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC;IAC7E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACjF,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,GAAW,EACX,GAAW;IAEX,OAAO,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;sCACsC;AACtC,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,GAAW,EACX,GAAW,EACX,KAAa;IAEb,OAAO,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED;;sEAEsE;AACtE,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,GAAW,EACX,GAAW,EACX,KAAa;IAEb,OAAO,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,yEAAyE;AACzE,SAAS,kBAAkB,CAAC,IAAwB,EAAE,KAAa,EAAE,KAAa;IAChF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,QAAQ,MAAM,GAAG,gBAAgB,IAAI,IAAI,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,GAAW,EACX,GAAW;IAEX,OAAO,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,yEAAyE;AACzE,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,KAAa;IAEb,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,MAAM,MAAM,GAAG,aAAa,IAAI,IAAI,CAAC,CAAC;IACpE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,yBAAyB;AACzB,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACjF,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;0EAC0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,oDAAoD,CAAC;AAElF;2DAC2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW,EAAE,KAAa;IACnF,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sCAAsC,GAAG,YAAY,KAAK,GAAG,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW;IACpE,IAAI,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,0CAA0C,GAAG,GAAG,CAAC,CAAC;IACtE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW;IACpE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,yCAAyC,GAAG,GAAG,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;+EAI+E;AAC/E,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,GAAW,EACX,KAAa,EACb,KAAY,EACZ,MAA8B,EAC9B,IAAY,EACZ,OAAyC;IAEzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EACjC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAC/B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,KAAK,gBAAgB,KAAK,EAAE,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IAC5E,IAAI,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,MAAM,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,IAAI,EAAE,CAAC,CAAC;QAC1C,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,IAAI,KAAK,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,KAAK;YAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;IAChC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,WAAW,IAAI,KAAK,OAAO,CAAC,MAAM,QAAQ,GAAG,YAAY,KAAK,GAAG,CAAC,CAAC;IACrF,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,IAAI,MAAM,MAAM,MAAM,MAAM,SAAS,QAAQ,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"map-number-lookup.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-number-lookup.ts"],"names":[],"mappings":"AA2BA,MAAM,CAAC,MAAM,qBAAqB,GAAG,6CAA6C,CAAC;AAEnF,+EAA+E;AAC/E,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACnF,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,GAAG,YAAY,GAAG,GAAG,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,KAAa,EAAE,IAAY;IACrF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,KAAK,gBAAgB,CAAC,CAAC;IACpF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,WAAW,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;IAC/C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,0CAA0C,CAAC;AAEhF,wFAAwF;AACxF,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACnF,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC;IAC7E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACjF,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,GAAW,EACX,GAAW;IAEX,OAAO,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;sCACsC;AACtC,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,GAAW,EACX,GAAW,EACX,KAAa;IAEb,OAAO,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED;;sEAEsE;AACtE,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,GAAW,EACX,GAAW,EACX,KAAa;IAEb,OAAO,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,yEAAyE;AACzE,SAAS,kBAAkB,CAAC,IAAwB,EAAE,KAAa,EAAE,KAAa;IAChF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,QAAQ,MAAM,GAAG,gBAAgB,IAAI,IAAI,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,GAAW,EACX,GAAW;IAEX,OAAO,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,yEAAyE;AACzE,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,KAAa;IAEb,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,MAAM,MAAM,GAAG,aAAa,IAAI,IAAI,CAAC,CAAC;IACpE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED,yBAAyB;AACzB,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW,EAAE,GAAW;IACjF,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;0DAE0D;AAC1D,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,GAAW,EACX,GAAW,EACX,IAAmB,EACnB,MAAkB;IAElB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EACpC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,EAClC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IACrC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,KAAK,gBAAgB,CAAC,CAAC;QACpF,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,EAAE,CAAC;IACT,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED;0EAC0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,oDAAoD,CAAC;AAElF;2DAC2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW,EAAE,KAAa;IACnF,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sCAAsC,GAAG,YAAY,KAAK,GAAG,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW;IACpE,IAAI,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,0CAA0C,GAAG,GAAG,CAAC,CAAC;IACtE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,GAAW;IACpE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,yCAAyC,GAAG,GAAG,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;+EAI+E;AAC/E,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,GAAW,EACX,KAAa,EACb,KAAY,EACZ,MAA8B,EAC9B,IAAY,EACZ,OAAyC;IAEzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EACjC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAC/B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,KAAK,gBAAgB,KAAK,EAAE,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IAC5E,IAAI,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,MAAM,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,IAAI,EAAE,CAAC,CAAC;QAC1C,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,IAAI,KAAK,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,KAAK;YAAE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;IAChC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,WAAW,IAAI,KAAK,OAAO,CAAC,MAAM,QAAQ,GAAG,YAAY,KAAK,GAAG,CAAC,CAAC;IACrF,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,IAAI,MAAM,MAAM,MAAM,MAAM,SAAS,QAAQ,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/backend/llvm/map-number-lookup.test.js

@@ -65,15 +65,14 @@ function emitted(mod, bits) {
 }
 test("iteration steps read the entries array inline on both ABIs", () => {
     for (const bits of [32, 64]) {
-        const sz = bits === 64 ? "i64" : "i32";
         const { work, module } = emitted(fixture(STRING, F64, "value"), bits);
-        // Field 9 is the entry count and 13 the entries array; a zero hash
+        // Field 8 is the entry count and 11 the entries array; a zero hash
         // (entry field 2) marks a tombstone.
         expect(module).toMatch(/^define internal ptr @sc_map_iter_entry\(ptr %m, double %i\)/m);
-        expect(module).toContain(`getelementptr inbounds %ScrMapIx, ptr %m, i32 0, i32 9`);
-        expect(module).toContain(`getelementptr inbounds %ScrMapIx, ptr %m, i32 0, i32 13`);
+        expect(module).toContain(`getelementptr inbounds %ScrMapIx, ptr %m, i32 0, i32 8`);
+        expect(module).toContain(`getelementptr inbounds %ScrMapIx, ptr %m, i32 0, i32 11`);
         expect(module).toContain(`getelementptr inbounds %ScrMapEntry, ptr %e, i32 0, i32 2`);
-        expect(module).toContain(`%n = load ${sz}, ptr %np`);
+        expect(module).toContain(`%n = load i32, ptr %np`);
         // The walk's start comes from the runtime, which skips a deleted prefix.
         expect(work).toContain("call double @scr_map_iter_start(");
         expect(work).toContain("call double @sc_map_iter_count(");
@@ -99,4 +98,60 @@ test("string keys and reference values are retained inline, boolean slots compar
     expect(text).toContain("@scr_str_retain");
     expect(text).toContain("call ptr @scr_map_iter_val_ref(");
 });
+/** work(map, k): map.has(k) on a number-keyed map. */
+function lookupFixture() {
+    const map = { kind: "map", key: F64, value: F64 };
+    const params = [
+        { localId: "map", name: "map", type: map },
+        { localId: "k", name: "k", type: F64 },
+    ];
+    const has = {
+        kind: "mapIntrinsic",
+        method: "has",
+        receiver: ref("map", map),
+        args: [ref("k", F64)],
+        type: BOOL,
+        loc,
+    };
+    const work = {
+        name: "work",
+        params,
+        returnType: BOOL,
+        loc,
+        locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: true })),
+        body: [{ kind: "return", value: has, loc }],
+    };
+    return {
+        irVersion: 16,
+        sourceFile: loc.file,
+        entry: "main",
+        records: [],
+        unions: [],
+        functions: [{ name: "main", params: [], locals: [], returnType: VOID, body: [], loc }, work],
+    };
+}
+test("hashed number-key lookups probe inline and call the runtime only for wide tables", () => {
+    for (const bits of [32, 64]) {
+        const sz = bits === 64 ? "i64" : "i32";
+        const { work, module } = emitted(lookupFixture(), bits);
+        expect(work).toContain("call ptr @sc_map_entry_f64(");
+        const helper = /^define internal ptr @sc_map_entry_f64\(ptr %m, double %k\)[^]*?^}/m.exec(module)[0];
+        expect(helper).toContain("call ptr @sc_map_entry_f64_hashed(ptr %m, double %k)");
+        const hashed = /^define internal ptr @sc_map_entry_f64_hashed\(ptr %m, double %k\) noinline [^]*?^}/m.exec(module)[0];
+        // The SameValueZero key word (canonical NaN, +0 for -0) and the
+        // scr_key_mix multipliers 0xbf58476d1ce4e5b9 and 0x94d049bb133111eb.
+        expect(hashed).toContain("select i1 %nan, i64 9221120237041090560, i64 %kzb");
+        expect(hashed).toContain("mul i64 %x1, -4658895280553007687");
+        expect(hashed).toContain("mul i64 %x3, -7723592293110705685");
+        // Filter (field 10), small-map scan of the entry count (field 8), and
+        // compact buckets (fields 13 and 14) tagged with the hash's top byte.
+        expect(hashed).toContain("getelementptr inbounds %ScrMapIx, ptr %m, i32 0, i32 10");
+        expect(hashed).toContain(`load i32, ptr %nep`);
+        expect(hashed).toContain(`load i32, ptr %nbp`);
+        expect(hashed).toContain("getelementptr inbounds %ScrMapIx, ptr %m, i32 0, i32 14");
+        expect(hashed).toContain("and i32 %ht32, -16777216");
+        expect(hashed).toContain(`icmp ugt ${sz} %nb, 16777216`);
+        expect(hashed).toContain("call ptr @scr_map_entry_f64(ptr %m, double %k) memory(read) nounwind willreturn");
+    }
+});
 //# sourceMappingURL=map-number-lookup.test.js.map