@scriptc/compiler 0.1.2 → 0.1.4

package/dist/frontend/lowering/abstract-equality.js

@@ -0,0 +1,250 @@
+import { InternalCompilerError } from "../../errors.js";
+import { BOOL, DYN_HANDLE_KINDS, F64, isUnitType, typeEquals } from "../../ir/ir.js";
+import { boolLit, numLit, varRef } from "../../ir/build.js";
+/**
+ * The engine-free part of ECMAScript Abstract Equality Comparison.
+ *
+ * Every primitive pair is exact, including StringToNumber,
+ * StringToBigInt, Boolean-to-number recursion, and BigInt/Number's
+ * mathematical comparison. Object-to-primitive coercion stays outside
+ * this helper: user-defined valueOf/toString methods can execute arbitrary
+ * JavaScript, so a static build must keep that form fenced. Object pairs
+ * with one exact representation compare by identity, as == and === agree
+ * there.
+ */
+const IDENTITY_KINDS = new Set([
+    "array",
+    "bytes",
+    "map",
+    "set",
+    "object",
+    "record",
+    "promise",
+    "symbol",
+    "classval",
+    "moduleNs",
+]);
+const PRIMITIVE_KINDS = new Set([
+    "f64",
+    "string",
+    "bool",
+    "bigint",
+    "symbol",
+]);
+function supportsPair(lowerer, left, right) {
+    if (left.kind === "union") {
+        const def = lowerer.unions.get(left.unionId);
+        return def !== undefined && def.arms.every((arm) => supportsPair(lowerer, arm, right));
+    }
+    if (right.kind === "union") {
+        const def = lowerer.unions.get(right.unionId);
+        return def !== undefined && def.arms.every((arm) => supportsPair(lowerer, left, arm));
+    }
+    if (isUnitType(left) || isUnitType(right)) {
+        const other = isUnitType(left) ? right : left;
+        return other.kind !== "dyn" && other.kind !== "jsval" && other.kind !== "caught" && other.kind !== "void";
+    }
+    if (PRIMITIVE_KINDS.has(left.kind) && PRIMITIVE_KINDS.has(right.kind))
+        return true;
+    if (left.kind === "func" && right.kind === "func")
+        return true;
+    if (IDENTITY_KINDS.has(left.kind) && typeEquals(left, right))
+        return true;
+    if (DYN_HANDLE_KINDS.has(left.kind) && typeEquals(left, right))
+        return true;
+    if (left.kind === "object" && right.kind === "object") {
+        return lowerer.isSubclassOf(left.className, right.className) || lowerer.isSubclassOf(right.className, left.className);
+    }
+    return false;
+}
+function boolAsNumber(value, loc) {
+    return {
+        kind: "ternary",
+        cond: value,
+        then: numLit(1, loc),
+        else_: numLit(0, loc),
+        type: F64,
+        loc,
+    };
+}
+function numericEq(left, right, nanEqualsNan, loc) {
+    const ordinary = { kind: "bin", op: "===", left, right, type: BOOL, loc };
+    if (!nanEqualsNan)
+        return ordinary;
+    return {
+        kind: "logical",
+        op: "||",
+        left: ordinary,
+        right: {
+            kind: "logical",
+            op: "&&",
+            left: { kind: "libCall", fn: "num.isNaN", args: [left], type: BOOL, loc },
+            right: { kind: "libCall", fn: "num.isNaN", args: [right], type: BOOL, loc },
+            type: BOOL,
+            loc,
+        },
+        type: BOOL,
+        loc,
+    };
+}
+function primitivePair(lowerer, left, right, nanEqualsNan, loc) {
+    if (isUnitType(left.type) || isUnitType(right.type)) {
+        return boolLit(isUnitType(left.type) && isUnitType(right.type), loc);
+    }
+    if (left.type.kind === "object" && right.type.kind === "object") {
+        if (typeEquals(left.type, right.type)) {
+            return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+        }
+        if (lowerer.isSubclassOf(left.type.className, right.type.className)) {
+            return { kind: "bin", op: "===", left: lowerer.upcastTo(left, right.type.className), right, type: BOOL, loc };
+        }
+        if (lowerer.isSubclassOf(right.type.className, left.type.className)) {
+            return { kind: "bin", op: "===", left, right: lowerer.upcastTo(right, left.type.className), type: BOOL, loc };
+        }
+    }
+    if (left.type.kind === right.type.kind) {
+        switch (left.type.kind) {
+            case "f64":
+                return numericEq(left, right, nanEqualsNan, loc);
+            case "string":
+                return { kind: "strEq", negated: false, left, right, type: BOOL, loc };
+            case "bool":
+                return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+            case "bigint":
+                return { kind: "libCall", fn: "bigint.eq", args: [left, right], type: BOOL, loc };
+            case "symbol":
+            case "array":
+            case "bytes":
+            case "map":
+            case "set":
+            case "record":
+            case "promise":
+            case "classval":
+            case "moduleNs":
+                return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+            default:
+                break;
+        }
+    }
+    if (left.type.kind === "func" && right.type.kind === "func") {
+        return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+    }
+    if (DYN_HANDLE_KINDS.has(left.type.kind) && typeEquals(left.type, right.type)) {
+        return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+    }
+    // Boolean first recurses as ToNumber(boolean), per ECMA-262 7.2.13.
+    if (left.type.kind === "bool")
+        return primitivePair(lowerer, boolAsNumber(left, loc), right, nanEqualsNan, loc);
+    if (right.type.kind === "bool")
+        return primitivePair(lowerer, left, boolAsNumber(right, loc), nanEqualsNan, loc);
+    // Symbols never equal a different primitive type. Object/symbol would
+    // require ToPrimitive and was rejected by supportsPair.
+    if (left.type.kind === "symbol" || right.type.kind === "symbol")
+        return boolLit(false, loc);
+    if (left.type.kind === "f64" && right.type.kind === "string") {
+        const parsed = { kind: "libCall", fn: "num.fromString", args: [right], type: F64, loc };
+        return numericEq(left, parsed, false, loc);
+    }
+    if (left.type.kind === "string" && right.type.kind === "f64") {
+        const parsed = { kind: "libCall", fn: "num.fromString", args: [left], type: F64, loc };
+        return numericEq(parsed, right, false, loc);
+    }
+    if (left.type.kind === "bigint" && right.type.kind === "string") {
+        return { kind: "libCall", fn: "bigint.eqString", args: [left, right], type: BOOL, loc };
+    }
+    if (left.type.kind === "string" && right.type.kind === "bigint") {
+        return { kind: "libCall", fn: "bigint.eqString", args: [right, left], type: BOOL, loc };
+    }
+    if (left.type.kind === "bigint" && right.type.kind === "f64") {
+        const cmp = { kind: "libCall", fn: "bigint.cmpNumber", args: [left, right], type: F64, loc };
+        return { kind: "bin", op: "===", left: cmp, right: numLit(0, loc), type: BOOL, loc };
+    }
+    if (left.type.kind === "f64" && right.type.kind === "bigint") {
+        const cmp = { kind: "libCall", fn: "bigint.cmpNumber", args: [right, left], type: F64, loc };
+        return { kind: "bin", op: "===", left: cmp, right: numLit(0, loc), type: BOOL, loc };
+    }
+    throw new InternalCompilerError(`abstract equality reached an unplanned pair ${left.type.kind}/${right.type.kind}`);
+}
+function pairExpr(lowerer, left, right, nanEqualsNan, loc) {
+    if (left.type.kind === "union") {
+        const unionId = left.type.unionId;
+        const def = lowerer.unions.get(unionId);
+        if (!def || def.arms.length === 0)
+            throw new InternalCompilerError(`abstract equality over unknown union ${unionId}`);
+        const branch = (tag) => {
+            const arm = def.arms[tag];
+            if (!arm)
+                throw new InternalCompilerError(`abstract equality union ${unionId} lacks tag ${tag}`);
+            return pairExpr(lowerer, { kind: "unionNarrow", unionId, tag, value: left, type: arm, loc }, right, nanEqualsNan, loc);
+        };
+        let out = branch(def.arms.length - 1);
+        for (let tag = def.arms.length - 2; tag >= 0; tag--) {
+            out = {
+                kind: "ternary",
+                cond: { kind: "unionIsTag", unionId, tag, negated: false, value: left, type: BOOL, loc },
+                then: branch(tag),
+                else_: out,
+                type: BOOL,
+                loc,
+            };
+        }
+        return out;
+    }
+    if (right.type.kind === "union") {
+        const unionId = right.type.unionId;
+        const def = lowerer.unions.get(unionId);
+        if (!def || def.arms.length === 0)
+            throw new InternalCompilerError(`abstract equality over unknown union ${unionId}`);
+        const branch = (tag) => {
+            const arm = def.arms[tag];
+            if (!arm)
+                throw new InternalCompilerError(`abstract equality union ${unionId} lacks tag ${tag}`);
+            return pairExpr(lowerer, left, { kind: "unionNarrow", unionId, tag, value: right, type: arm, loc }, nanEqualsNan, loc);
+        };
+        let out = branch(def.arms.length - 1);
+        for (let tag = def.arms.length - 2; tag >= 0; tag--) {
+            out = {
+                kind: "ternary",
+                cond: { kind: "unionIsTag", unionId, tag, negated: false, value: right, type: BOOL, loc },
+                then: branch(tag),
+                else_: out,
+                type: BOOL,
+                loc,
+            };
+        }
+        return out;
+    }
+    return primitivePair(lowerer, left, right, nanEqualsNan, loc);
+}
+export function abstractEqualitySupported(lowerer, left, right) {
+    return supportsPair(lowerer, left, right);
+}
+export function abstractEqualityExpr(lowerer, left, right, loc, nanEqualsNan = false) {
+    if (!supportsPair(lowerer, left.type, right.type)) {
+        throw new InternalCompilerError(`abstract equality expression built for unsupported ${left.type.kind}/${right.type.kind} pair`);
+    }
+    return pairExpr(lowerer, left, right, nanEqualsNan, loc);
+}
+/** Evaluate both operands once, left-to-right, then compare their stable values. */
+export function lowerAbstractEquality(lowerer, left, right, negated, loc) {
+    if (!supportsPair(lowerer, left.type, right.type))
+        return null;
+    const stmts = [];
+    const stable = (value, name) => {
+        if (isUnitType(value.type)) {
+            if (value.kind !== "unitLit")
+                stmts.push({ kind: "exprStmt", expr: value, loc });
+            return { kind: "unitLit", unit: value.type.kind === "nullT" ? "null" : "undefined", type: value.type, loc };
+        }
+        const local = lowerer.declareHiddenLocal(name, value.type);
+        stmts.push({ kind: "varDecl", localId: local.id, init: value, loc });
+        return varRef(local.id, value.type, loc);
+    };
+    const a = stable(left, "%looseA");
+    const b = stable(right, "%looseB");
+    let result = pairExpr(lowerer, a, b, false, loc);
+    if (negated)
+        result = { kind: "unary", op: "!", operand: result, type: BOOL, loc };
+    return stmts.length === 0 ? result : { kind: "seqExpr", stmts, result, type: BOOL, loc };
+}
+//# sourceMappingURL=abstract-equality.js.map

package/dist/frontend/lowering/abstract-equality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abstract-equality.js","sourceRoot":"","sources":["../../../src/frontend/lowering/abstract-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAkC,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACrH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG5D;;;;;;;;;;GAUG;AAEH,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,OAAO;IACP,OAAO;IACP,KAAK;IACL,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,eAAe,GAAgC,IAAI,GAAG,CAAC;IAC3D,KAAK;IACL,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAY,EAAE,KAAa;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9C,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;IAC5G,CAAC;IAED,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtD,OAAO,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,GAAW;IAC9C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;QACrB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,KAAa,EAAE,YAAqB,EAAE,GAAW;IAChF,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClF,IAAI,CAAC,YAAY;QAAE,OAAO,QAAQ,CAAC;IACnC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACzE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC3E,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,YAAqB,EACrB,GAAW;IAEX,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACpE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChH,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACpE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACvC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,KAAK;gBACR,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACzE,KAAK,MAAM;gBACT,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACpF,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,QAAQ,CAAC;YACd,KAAK,SAAS,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU;gBACb,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,oEAAoE;IACpE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAChH,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAEjH,sEAAsE;IACtE,wDAAwD;IACxD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAE5F,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChG,OAAO,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC/F,OAAO,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrG,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrG,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,IAAI,qBAAqB,CAC7B,+CAA+C,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CACnF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,YAAqB,EACrB,GAAW;IAEX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;QAClC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,OAAO,EAAE,CAAC,CAAC;QACtH,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE;YACrC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,qBAAqB,CAAC,2BAA2B,OAAO,cAAc,GAAG,EAAE,CAAC,CAAC;YACjG,OAAO,QAAQ,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QACzH,CAAC,CAAC;QACF,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACpD,GAAG,GAAG;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxF,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;gBACjB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QACnC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,OAAO,EAAE,CAAC,CAAC;QACtH,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE;YACrC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,qBAAqB,CAAC,2BAA2B,OAAO,cAAc,GAAG,EAAE,CAAC,CAAC;YACjG,OAAO,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QACzH,CAAC,CAAC;QACF,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACpD,GAAG,GAAG;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzF,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;gBACjB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAAY,EAAE,KAAa;IACrF,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,GAAW,EACX,YAAY,GAAG,KAAK;IAEpB,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,qBAAqB,CAAC,sDAAsD,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC;IAClI,CAAC;IACD,OAAO,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;AAC3D,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,GAAW;IAEX,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE;QACrD,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACjF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9G,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACrE,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnC,IAAI,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,OAAO;QAAE,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC3F,CAAC"}

package/dist/frontend/lowering/containers/bytes.d.ts

@@ -28,8 +28,4 @@ export declare function knownBufEncoding(name: string): string | undefined;
 /** The literal encoding argument of a Buffer surface, normalized — or a
  * fence when it isn't a literal alias Node knows. */
 export declare function bufEncoding(lowerer: Lowerer, what: string, encNode: ts.Expression): string;
-/** The Buffer statics — `Buffer.from(...)`, `Buffer.alloc(n)`,
-   * `Buffer.concat(list)`, `Buffer.isBuffer(x)` — on THE stdlib Buffer
-   * global (name + provenance; fallback and @types/node alike). Null when
-   * the callee isn't a Buffer-static access. */
 export declare function lowerBufferStaticCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;

package/dist/frontend/lowering/containers/bytes.js

@@ -1,5 +1,5 @@
 import * as ts from "../../ts7/adapter.js";
-import { BOOL, BYTES_U8, DYN, F64, STRING, UNDEFINED_T, VOID, arrayOf, bytesOf, typeEquals } from "../../../ir/ir.js";
+import { BIGINT_T, BOOL, BYTES_U8, DYN, F64, STRING, UNDEFINED_T, VOID, arrayOf, bytesOf, typeEquals } from "../../../ir/ir.js";
 import { locOf } from "../../program.js";
 import { dynUndefinedExpr, own } from "../lowerer.js";
 import { buildBytesSortFn } from "../lower-array-sort.js";
@@ -439,6 +439,26 @@ export function lowerBytesMethodCall(lowerer, call, access) {
         if (bufMethod)
             return bufMethod;
     }
+    const bigKind = own(BUF_BIGINT_METHODS, name);
+    if (bigKind !== undefined && declOnBuffer && receiverIr.elem === "u8") {
+        const write = name.startsWith("write");
+        const required = write ? 1 : 0;
+        if (nArgs < required || nArgs > required + 1) {
+            lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
+        }
+        const receiver = lowerer.lowerExpr(access.expression);
+        const offsetNode = call.arguments[required];
+        const offset = offsetNode
+            ? lowerer.lowerExprExpecting(offsetNode, F64)
+            : { kind: "numLit", value: 0, type: F64, loc };
+        const sign = { kind: "boolLit", value: bigKind.sign, type: BOOL, loc };
+        const le = { kind: "boolLit", value: bigKind.le, type: BOOL, loc };
+        if (!write) {
+            return { kind: "libCall", fn: "bigint.bufferRead", args: [receiver, offset, sign, le], type: BIGINT_T, loc };
+        }
+        const value = lowerer.lowerExprExpecting(call.arguments[0], BIGINT_T);
+        return { kind: "libCall", fn: "bigint.bufferWrite", args: [receiver, value, offset, sign, le], type: F64, loc };
+    }
     // The Buffer numeric read/write families — every fixed-width kind in
     // both endiannesses ("Uint" and "UInt" alike: Node aliases both), plus
     // the variable-width read/writeUIntLE quartet. The kind token rides as
@@ -481,26 +501,20 @@ export function lowerBytesMethodCall(lowerer, call, access) {
     // typed arrays and Buffers). The multi-byte kinds take the optional
     // littleEndian bool (omitted = big-endian, the JS default). All THROW
     // Node's RangeError on a bad offset (may-throw seeds).
+    const dvBigGetter = own(DV_BIG_GETTERS, name);
+    if (dvBigGetter !== undefined && receiverIr.elem === "u8") {
+        if (nArgs < 1 || nArgs > 2)
+            lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
+        const receiver = lowerer.lowerExpr(access.expression);
+        const offset = lowerer.lowerExprExpecting(call.arguments[0], F64);
+        const sign = { kind: "boolLit", value: dvBigGetter.sign, type: BOOL, loc };
+        const le = call.arguments[1]
+            ? lowerer.lowerExprExpecting(call.arguments[1], BOOL)
+            : { kind: "boolLit", value: false, type: BOOL, loc };
+        return { kind: "libCall", fn: "bigint.dataViewGet", args: [receiver, offset, sign, le], type: BIGINT_T, loc };
+    }
     const dvGetter = own(DV_GETTERS, name);
     if (dvGetter !== undefined && receiverIr.elem === "u8") {
-        if (dvGetter.method === "dvGetBigUint64Number" || dvGetter.method === "dvGetBigInt64Number") {
-            // bigint values have no representation — only the COMPOSED
-            // `Number(view.getBigUint64/getBigInt64(...))` compiles (the
-            // randomBytesToString pattern): the 8-byte integer converts to
-            // double exactly as Number(bigint) would, and the bigint never
-            // exists as a value (the f64-typed intrinsic result IS what the
-            // identity Number(f64) lowering hands back).
-            const p = call.parent;
-            const composed = ts.isCallExpression(p) &&
-                p.arguments.length === 1 &&
-                p.arguments[0] === call &&
-                ts.isIdentifier(p.expression) &&
-                p.expression.text === "Number" &&
-                lowerer.isStdlibSymbol(lowerer.resolveValueSymbol(p.expression) ?? undefined);
-            if (!composed) {
-                lowerer.noLowering(`.${name} outside Number(...)`, call, `bigint values have no representation — Number(view.${name}(offset, littleEndian?)) is the lowered form`);
-            }
-        }
         const maxArgs = dvGetter.le ? 2 : 1;
         if (nArgs < 1 || nArgs > maxArgs) {
             lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
@@ -518,6 +532,17 @@ export function lowerBytesMethodCall(lowerer, call, access) {
     // representation and no composed form exists) — they keep the member
     // fence, as does setFloat16.
     const dvSetter = own(DV_SETTERS, name);
+    if ((name === "setBigUint64" || name === "setBigInt64") && receiverIr.elem === "u8") {
+        if (nArgs < 2 || nArgs > 3)
+            lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
+        const receiver = lowerer.lowerExpr(access.expression);
+        const offset = lowerer.lowerExprExpecting(call.arguments[0], F64);
+        const value = lowerer.lowerExprExpecting(call.arguments[1], BIGINT_T);
+        const le = call.arguments[2]
+            ? lowerer.lowerExprExpecting(call.arguments[2], BOOL)
+            : { kind: "boolLit", value: false, type: BOOL, loc };
+        return { kind: "libCall", fn: "bigint.dataViewSet", args: [receiver, offset, value, le], type: VOID, loc };
+    }
     if (dvSetter !== undefined && receiverIr.elem === "u8") {
         const maxArgs = dvSetter.le ? 3 : 2;
         if (nArgs < 2 || nArgs > maxArgs) {
@@ -592,6 +617,20 @@ const BUF_NUM_METHODS = (() => {
     }
     return out;
 })();
+const BUF_BIGINT_METHODS = {
+    readBigInt64BE: { sign: true, le: false },
+    readBigInt64LE: { sign: true, le: true },
+    readBigUInt64BE: { sign: false, le: false },
+    readBigUInt64LE: { sign: false, le: true },
+    readBigUint64BE: { sign: false, le: false },
+    readBigUint64LE: { sign: false, le: true },
+    writeBigInt64BE: { sign: true, le: false },
+    writeBigInt64LE: { sign: true, le: true },
+    writeBigUInt64BE: { sign: false, le: false },
+    writeBigUInt64LE: { sign: false, le: true },
+    writeBigUint64BE: { sign: false, le: false },
+    writeBigUint64LE: { sign: false, le: true },
+};
 /** The variable-width quartet (offset + byteLength) → sign/endian token. */
 const BUF_NUM_VAR_METHODS = {
     readUIntBE: "ube",
@@ -800,10 +839,13 @@ function lowerBufferInstanceMethod(lowerer, call, access, name, loc) {
     }
     return null;
 }
-/** The DataView getter surface by source name. `le` marks the multi-byte
- * kinds whose lib signature declares the optional littleEndian parameter
- * (the 8-bit getters take none). The Big pair only compiles composed
- * inside Number(...) — see the use site. */
+const DV_BIG_GETTERS = {
+    getBigInt64: { sign: true },
+    getBigUint64: { sign: false },
+};
+/** The number-returning DataView getter surface by source name. `le` marks
+ * the multi-byte kinds whose signature declares optional littleEndian;
+ * the BigInt pair routes through DV_BIG_GETTERS above. */
 const DV_GETTERS = {
     getUint8: { method: "dvGetUint8", le: false },
     getInt8: { method: "dvGetInt8", le: false },
@@ -813,8 +855,6 @@ const DV_GETTERS = {
     getInt32: { method: "dvGetInt32", le: true },
     getFloat32: { method: "dvGetFloat32", le: true },
     getFloat64: { method: "dvGetFloat64", le: true },
-    getBigUint64: { method: "dvGetBigUint64Number", le: true },
-    getBigInt64: { method: "dvGetBigInt64Number", le: true },
 };
 const DV_SETTERS = {
     setUint8: { method: "dvSetUint8", le: false },
@@ -830,6 +870,36 @@ const DV_SETTERS = {
    * `Buffer.concat(list)`, `Buffer.isBuffer(x)` — on THE stdlib Buffer
    * global (name + provenance; fallback and @types/node alike). Null when
    * the callee isn't a Buffer-static access. */
+function knownBufferProducer(lowerer, source, seen = new Set()) {
+    let node = source;
+    while (ts.isParenthesizedExpression(node) || ts.isAsExpression(node) || ts.isTypeAssertion(node))
+        node = node.expression;
+    if (ts.isIdentifier(node)) {
+        const symbol = lowerer.checker.getSymbolAtLocation(node);
+        if (!symbol || seen.has(symbol))
+            return false;
+        seen.add(symbol);
+        return lowerer.checker.declarationsOf(symbol).some((decl) => ts.isVariableDeclaration(decl) &&
+            ts.isVariableDeclarationList(decl.parent) &&
+            (decl.parent.flags & ts.NodeFlags.Const) !== 0 &&
+            decl.initializer !== undefined &&
+            knownBufferProducer(lowerer, decl.initializer, seen));
+    }
+    if (!ts.isCallExpression(node))
+        return false;
+    const callee = node.expression;
+    const bi = ts.isIdentifier(callee)
+        ? lowerer.builtinImportOf(callee)
+        : ts.isPropertyAccessExpression(callee)
+            ? lowerer.builtinMemberOf(callee)
+            : null;
+    if (bi?.module === "crypto" && (bi.member === "randomBytes" || bi.member === "pbkdf2Sync"))
+        return true;
+    if (!ts.isPropertyAccessExpression(callee) || callee.name.text !== "digest" || node.arguments.length !== 0)
+        return false;
+    const type = lowerer.mapTypeOf(lowerer.typeOf(callee.expression));
+    return type?.kind === "cryptoHash" || type?.kind === "cryptoHmac";
+}
 export function lowerBufferStaticCall(lowerer, call, access) {
     if (call.questionDotToken || access.questionDotToken)
         return null;
@@ -972,11 +1042,25 @@ export function lowerBufferStaticCall(lowerer, call, access) {
         // The type-predicate narrowing test. Lowered where it DECIDES
         // something: a union-typed argument with a Buffer arm becomes a
         // runtime tag test (tsc's narrowing then types the branches, the
-        // discriminated-union machinery). Statically-decided arguments are
-        // fenced — the answer is a constant, and the operand's evaluation
-        // would have to be discarded.
+        // discriminated-union machinery). Statically-decided arguments stay
+        // fenced except for standard-library calls (and const aliases of
+        // them) proven to return a real Buffer; those preserve evaluation and
+        // fold true even though Buffer and Uint8Array share one IR storage.
         if (args.length === 1 && !ts.isSpreadElement(args[0])) {
+            const source = args[0];
             const v = lowerer.lowerExpr(args[0]);
+            // The bytes IR intentionally unifies Buffer and Uint8Array storage,
+            // but these standard-library producers are known to return a real
+            // Node Buffer. Preserve source evaluation and fold the predicate.
+            if (knownBufferProducer(lowerer, source)) {
+                return {
+                    kind: "seqExpr",
+                    stmts: [{ kind: "exprStmt", expr: v, loc: v.loc }],
+                    result: { kind: "boolLit", value: true, type: BOOL, loc },
+                    type: BOOL,
+                    loc,
+                };
+            }
             if (v.type.kind === "union") {
                 const def = lowerer.unions.get(v.type.unionId);
                 const tag = def ? def.arms.findIndex((a) => a.kind === "bytes" && a.elem === "u8") : -1;