@scriptc/compiler 0.3.1 → 0.3.2

package/dist/frontend/lowering/regex-span-reads.d.ts

@@ -0,0 +1,12 @@
+import { type IrFunction } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Captures that need no string. An execGroups or matchGroups result
+ * (execResultCaptureMask's const binding) whose capture k is read only by
+ * strict comparisons with a string literal, Number() and parseInt() lets
+ * the runtime keep capture k as a span of the subject: those reads become
+ * regex.groupEquals/groupNumber/groupParseInt and the match becomes
+ * execSpans (or matchGroups) with the lazy mask. The pass reads the
+ * lowered IR, so it sees every read: any other read of capture k keeps k a
+ * string, and any use of the binding it cannot attribute to a capture
+ * leaves the whole result unchanged. */
+export declare function foldRegexSpanReads(lowerer: Lowerer, fn: IrFunction): void;

package/dist/frontend/lowering/regex-span-reads.js

@@ -0,0 +1,164 @@
+import { numLit } from "../../ir/build.js";
+import { BOOL, F64, STRING, typeKey, } from "../../ir/ir.js";
+import { everyExprChild, everyStmtChild, transformStmtList } from "../../ir/traverse.js";
+/** Captures that need no string. An execGroups or matchGroups result
+ * (execResultCaptureMask's const binding) whose capture k is read only by
+ * strict comparisons with a string literal, Number() and parseInt() lets
+ * the runtime keep capture k as a span of the subject: those reads become
+ * regex.groupEquals/groupNumber/groupParseInt and the match becomes
+ * execSpans (or matchGroups) with the lazy mask. The pass reads the
+ * lowered IR, so it sees every read: any other read of capture k keeps k a
+ * string, and any use of the binding it cannot attribute to a capture
+ * leaves the whole result unchanged. */
+export function foldRegexSpanReads(lowerer, fn) {
+    const candidates = new Map();
+    const assigned = new Set();
+    const findStmt = (stmt) => {
+        // A non-literal receiver is saved first: the call is a sequence result.
+        const init = stmt.kind !== "varDecl" ? null : stmt.init?.kind === "seqExpr" ? stmt.init.result : stmt.init;
+        if (stmt.kind === "varDecl" &&
+            init?.kind === "regexIntrinsic" &&
+            (init.method === "execGroups" || init.method === "matchGroups")) {
+            candidates.set(stmt.localId, {
+                match: init,
+                folds: new Map(),
+                strings: new Set(),
+                rejected: candidates.has(stmt.localId),
+            });
+        }
+        if (stmt.kind === "assign")
+            assigned.add(stmt.localId);
+        return everyStmtChild(stmt, findExpr, findStmt);
+    };
+    const findExpr = (expr) => everyExprChild(expr, findExpr, findStmt);
+    fn.body.every(findStmt);
+    if (candidates.size === 0)
+        return;
+    for (const id of assigned)
+        candidates.delete(id);
+    const stringIndexHelper = lowerer.arrHofHelpers.get(`idxOr:${typeKey(STRING)}`);
+    /** `m[k]` as lowered: the optional element read of the narrowed result
+     * (or, for `m[k]!`, the dense read). */
+    const captureRead = (expr) => {
+        let result;
+        let index;
+        if (expr.kind === "call" && expr.callee === stringIndexHelper && expr.args.length === 2)
+            [result, index] = expr.args;
+        else if (expr.kind === "arrayGet")
+            ({ arr: result, index } = expr);
+        else
+            return null;
+        if (result?.kind !== "unionNarrow" ||
+            result.value.kind !== "varRef" ||
+            index?.kind !== "numLit" ||
+            !Number.isInteger(index.value) ||
+            index.value < 0 ||
+            index.value >= 53)
+            return null;
+        return { local: result.value.localId, use: { index: index.value, result } };
+    };
+    /** The capture read a foldable consumer takes, and its other operands. */
+    const foldable = (expr) => {
+        if (expr.kind === "unionEq" && !expr.sameValue) {
+            if (isLiteral(expr.right))
+                return { read: expr.left, rest: [] };
+            if (isLiteral(expr.left))
+                return { read: expr.right, rest: [] };
+            return null;
+        }
+        if (expr.kind === "libCall" &&
+            expr.fn === "dyn.numberConstructor" &&
+            expr.args[0]?.kind === "dynFrom")
+            return { read: expr.args[0].value, rest: [] };
+        if (expr.kind === "call" &&
+            expr.args.length === 2 &&
+            expr.args[0].type.kind === "union" &&
+            expr.callee === lowerer.valueHelpers.get(`parseInt.optional:${expr.args[0].type.unionId}`))
+            return { read: expr.args[0], rest: [expr.args[1]] };
+        return null;
+    };
+    const visitExpr = (expr, parent) => {
+        const fold = foldable(expr);
+        const folded = fold && fold.read.kind === "call" ? captureRead(fold.read) : null;
+        const candidate = folded && candidates.get(folded.local);
+        if (fold && folded && candidate) {
+            candidate.folds.set(expr, folded.use);
+            for (const operand of fold.rest)
+                visitExpr(operand, expr);
+            return true;
+        }
+        const read = captureRead(expr);
+        const reader = read && candidates.get(read.local);
+        if (read && reader) {
+            reader.strings.add(read.use.index);
+            return true;
+        }
+        if (expr.kind === "varRef") {
+            const use = candidates.get(expr.localId);
+            // Null tests are the only other use the binding may have.
+            if (use && parent?.kind !== "unionIsTag")
+                use.rejected = true;
+            return true;
+        }
+        return everyExprChild(expr, (child) => visitExpr(child, expr), (stmt) => visitStmt(stmt));
+    };
+    const visitStmt = (stmt) => everyStmtChild(stmt, (child) => visitExpr(child, null), visitStmt);
+    fn.body.every(visitStmt);
+    const rewrites = new Map();
+    for (const candidate of candidates.values()) {
+        if (candidate.rejected)
+            continue;
+        let lazy = 0;
+        const lazyIndices = new Set();
+        for (const use of candidate.folds.values()) {
+            if (!candidate.strings.has(use.index) && !lazyIndices.has(use.index)) {
+                lazyIndices.add(use.index);
+                lazy += 2 ** use.index;
+            }
+        }
+        if (lazy === 0)
+            continue;
+        for (const [consumer, use] of candidate.folds) {
+            if (lazyIndices.has(use.index))
+                rewrites.set(consumer, spanRead(consumer, use));
+        }
+        const { match } = candidate;
+        const mask = match.args[1];
+        rewrites.set(match, {
+            ...match,
+            method: match.method === "matchGroups" ? "matchGroups" : "execSpans",
+            args: [match.args[0], mask, numLit(lazy, match.loc)],
+        });
+    }
+    if (rewrites.size === 0)
+        return;
+    fn.body = transformStmtList(fn.body, {
+        stmt: (stmt) => stmt,
+        expr: (expr) => rewrites.get(expr) ?? expr,
+    });
+}
+function isLiteral(expr) {
+    return expr.kind === "unionWrap" && expr.value.kind === "strLit";
+}
+/** The span form of a foldable consumer of `use`. */
+function spanRead(consumer, use) {
+    const loc = consumer.loc;
+    const capture = [use.result, numLit(use.index, loc)];
+    if (consumer.kind === "unionEq") {
+        const literal = isLiteral(consumer.right) ? consumer.right : consumer.left;
+        const value = literal.value;
+        const test = {
+            kind: "libCall",
+            fn: "regex.groupEquals",
+            args: [...capture, value],
+            type: BOOL,
+            loc,
+        };
+        return consumer.negated ? { kind: "unary", op: "!", operand: test, type: BOOL, loc } : test;
+    }
+    if (consumer.kind === "libCall")
+        return { kind: "libCall", fn: "regex.groupNumber", args: capture, type: F64, loc };
+    const radix = consumer.args[1];
+    return { kind: "libCall", fn: "regex.groupParseInt", args: [...capture, radix], type: F64, loc };
+}
+//# sourceMappingURL=regex-span-reads.js.map

package/dist/frontend/lowering/regex-span-reads.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex-span-reads.js","sourceRoot":"","sources":["../../../src/frontend/lowering/regex-span-reads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EAIN,OAAO,GACR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAmBzF;;;;;;;;wCAQwC;AACxC,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,EAAc;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE;QACzC,wEAAwE;QACxE,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAChG,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,EAAE,IAAI,KAAK,gBAAgB;YAC/B,CAAC,IAAI,CAAC,MAAM,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,CAAC,EAC/D,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE;gBAC3B,KAAK,EAAE,IAAI;gBACX,KAAK,EAAE,IAAI,GAAG,EAAE;gBAChB,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;aACvC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrF,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxB,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAClC,KAAK,MAAM,EAAE,IAAI,QAAQ;QAAE,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAEjD,MAAM,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChF;4CACwC;IACxC,MAAM,WAAW,GAAG,CAAC,IAAY,EAA6C,EAAE;QAC9E,IAAI,MAA0B,CAAC;QAC/B,IAAI,KAAyB,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACrF,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;aACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;;YAC9D,OAAO,IAAI,CAAC;QACjB,IACE,MAAM,EAAE,IAAI,KAAK,aAAa;YAC9B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC9B,KAAK,EAAE,IAAI,KAAK,QAAQ;YACxB,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,KAAK,CAAC,KAAK,GAAG,CAAC;YACf,KAAK,CAAC,KAAK,IAAI,EAAE;YAEjB,OAAO,IAAI,CAAC;QACd,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;IAC9E,CAAC,CAAC;IACF,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,CAAC,IAAY,EAA2C,EAAE;QACzE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YAChE,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YAChE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,EAAE,KAAK,uBAAuB;YACnC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;YAEhC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAChD,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACnC,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,qBAAqB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAE3F,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,MAAqB,EAAW,EAAE;QACjE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjF,MAAM,SAAS,GAAG,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,IAAI,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;YAChC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACtC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI;gBAAE,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzC,0DAA0D;YAC1D,IAAI,GAAG,IAAI,MAAM,EAAE,IAAI,KAAK,YAAY;gBAAE,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,cAAc,CACnB,IAAI,EACJ,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EACjC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAC1B,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAW,EAAE,CAC1C,cAAc,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IACrE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAEzB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,SAAS,CAAC,QAAQ;YAAE,SAAS;QACjC,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC3B,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC;YACzB,CAAC;QACH,CAAC;QACD,IAAI,IAAI,KAAK,CAAC;YAAE,SAAS;QACzB,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YAC9C,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC5B,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE;YAClB,GAAG,KAAK;YACR,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW;YACpE,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;SACtD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAChC,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;QACnC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;QACpB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI;KAC3C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AACnE,CAAC;AAED,qDAAqD;AACrD,SAAS,QAAQ,CAAC,QAAgB,EAAE,GAAe;IACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC;IACzB,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACrD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC3E,MAAM,KAAK,GAAI,OAA0C,CAAC,KAAK,CAAC;QAChE,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,mBAAmB;YACvB,IAAI,EAAE,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC;YACzB,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC7B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrF,MAAM,KAAK,GAAI,QAAsC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC/D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnG,CAAC"}

package/dist/frontend/lowering/surfaces.js

@@ -492,7 +492,7 @@ export const STR_METHODS = {
     // regexIntrinsic). The optional limit is completed to 2^32-1 by the
     // lowering so the IR/runtime always see the spec's effective value.
     // Empty separator splits per UTF-16 code unit —
-    // astral halves become U+FFFD (SEMANTICS.md divergence 2, the same
+    // astral halves become lone surrogates.
     split: { method: "split", result: arrayOf(STRING), minArgs: 0, maxArgs: 2 },
     // Padding completes omitted lengths and fill strings in its lowering.
     padStart: { method: "padStart", result: STRING, minArgs: 0, maxArgs: 2 },
@@ -501,10 +501,8 @@ export const STR_METHODS = {
     toLowerCase: { method: "toLowerCase", result: STRING, minArgs: 0, maxArgs: 0 },
     toUpperCase: { method: "toUpperCase", result: STRING, minArgs: 0, maxArgs: 0 },
     normalize: { method: "normalize", result: STRING, minArgs: 0, maxArgs: 1 },
-    // The ES2024 well-formedness pair — no-ops over the runtime's
-    // well-formed storage (constant true / the identity, per spec on
-    // well-formed input; where Node would answer false the program already
-    // diverged at the string's creation, SEMANTICS.md 2).
+    // The ES2024 well-formedness pair: whether the string holds a lone
+    // surrogate, and the copy with each one replaced by U+FFFD.
     isWellFormed: { method: "isWellFormed", result: BOOL, minArgs: 0, maxArgs: 0 },
     toWellFormed: { method: "toWellFormed", result: STRING, minArgs: 0, maxArgs: 0 },
 };
@@ -789,6 +787,17 @@ const PATH_MODULE_FNS = {
         result: STRING,
         valueParams: [{ mode: "required", type: STRING }],
     },
+    matchesGlob: {
+        fn: "path.matchesGlob",
+        params: [STRING, STRING],
+        result: BOOL,
+        valueParams: exactValueParams(STRING, STRING),
+    },
+    // Special-cased (lowerPathParseCall / lowerPathFormatCall): the
+    // ParsedPath record and the pathObject argument follow the call site's
+    // mapped shapes.
+    parse: { fn: "path.parse", params: [STRING], result: VOID },
+    format: { fn: "path.format", params: [], result: STRING },
 };
 /** The win32 twins (scr_path.c's Node-v24 path.win32 port, byte-for-byte):
  * "path/win32" everywhere, and the bare-module table when the build
@@ -857,6 +866,17 @@ const PATH_WIN32_MODULE_FNS = {
         result: STRING,
         valueParams: [{ mode: "required", type: STRING }],
     },
+    matchesGlob: {
+        fn: "path.win32MatchesGlob",
+        params: [STRING, STRING],
+        result: BOOL,
+        valueParams: exactValueParams(STRING, STRING),
+    },
+    // Special-cased (lowerPathParseCall / lowerPathFormatCall): the
+    // ParsedPath record and the pathObject argument follow the call site's
+    // mapped shapes.
+    parse: { fn: "path.win32Parse", params: [STRING], result: VOID },
+    format: { fn: "path.win32Format", params: [], result: STRING },
 };
 export const BUILTIN_MODULE_FNS = {
     fs: {
@@ -1136,6 +1156,28 @@ export const BUILTIN_MODULE_FNS = {
             result: F64,
             valueParams: [],
         },
+        // os.arch() IS process.arch, like platform().
+        arch: { fn: "process.arch", params: [], result: STRING, valueParams: [] },
+        hostname: { fn: "os.hostname", params: [], result: STRING, valueParams: [] },
+        // uv_os_uname's machine and version fields, read once at module load
+        // in Node (they never change while a process runs).
+        machine: { fn: "os.machine", params: [], result: STRING, valueParams: [] },
+        version: { fn: "os.version", params: [], result: STRING, valueParams: [] },
+        endianness: { fn: "os.endianness", params: [], result: STRING, valueParams: [] },
+        freemem: { fn: "os.freemem", params: [], result: F64, valueParams: [] },
+        uptime: { fn: "os.uptime", params: [], result: F64, valueParams: [] },
+        loadavg: { fn: "os.loadavg", params: [], result: arrayOf(F64), valueParams: [] },
+        // An omitted (or undefined) pid is 0, the current process
+        // (lowerOsGetPriorityCall completes it).
+        getPriority: {
+            fn: "os.getPriority",
+            params: [F64],
+            result: F64,
+            valueParams: [{ mode: "optional", type: F64, defaultValue: 0 }],
+        },
+        // Special-cased (lowerOsCpusCall): the call site's CpuInfo[] assembles
+        // from one uv_cpu_info snapshot.
+        cpus: { fn: "os.cpusTake", params: [], result: VOID },
         // Entirely special-cased (lowerOsNetworkInterfacesCall): the result is
         // the call site's mapped Dict<NetworkInterfaceInfo[]> shape, verified
         // structurally there — this entry only routes the dispatch.
@@ -1305,6 +1347,53 @@ export const BUILTIN_MODULE_FNS = {
             result: STRING,
             valueParams: exactValueParams(DYN),
         },
+        // The function helpers take checked-dynamic arguments and answer native
+        // dyn functions, which a static function slot checks when it receives
+        // one (lowerUtilCallableCall in the util spoke).
+        inherits: {
+            fn: "util.inherits",
+            params: [DYN, DYN],
+            result: VOID,
+            valueParams: [
+                { mode: "required", type: DYN },
+                { mode: "required", type: DYN },
+            ],
+        },
+        deprecate: {
+            fn: "util.deprecate",
+            params: [DYN, DYN, DYN, DYN],
+            result: DYN,
+            valueParams: [
+                { mode: "required", type: DYN },
+                { mode: "required", type: DYN },
+                { mode: "optional", type: DYN, defaultValue: undefined },
+                { mode: "optional", type: DYN, defaultValue: undefined },
+            ],
+        },
+        callbackify: {
+            fn: "util.callbackify",
+            params: [DYN],
+            result: DYN,
+            valueParams: [{ mode: "required", type: DYN }],
+        },
+        debuglog: {
+            fn: "util.debuglog",
+            params: [DYN, DYN],
+            result: DYN,
+            valueParams: [
+                { mode: "required", type: DYN },
+                { mode: "optional", type: DYN, defaultValue: undefined },
+            ],
+        },
+        debug: {
+            fn: "util.debuglog",
+            params: [DYN, DYN],
+            result: DYN,
+            valueParams: [
+                { mode: "required", type: DYN },
+                { mode: "optional", type: DYN, defaultValue: undefined },
+            ],
+        },
     },
     // The util/types spoke supplies the probe name to the shared brand check.
     "util/types": {
@@ -1475,7 +1564,7 @@ export const BUILTIN_MODULE_CONSTS = {
     path: { sep: "/", delimiter: ":" },
     "path/posix": { sep: "/", delimiter: ":" },
     "path/win32": { sep: "\\", delimiter: ";" },
-    os: { EOL: "\n" },
+    os: { EOL: "\n", devNull: "/dev/null" },
     worker_threads: { isMainThread: true, threadId: 0 },
     cluster: { isPrimary: true, isMaster: true, isWorker: false },
 };
@@ -1550,6 +1639,8 @@ export const BUILTIN_MODULE_FN_ALIASES = {
     os: {
         // lowerOsUserInfoCall assembles the record from scalar libCalls.
         userInfo: ["os.userHomedir", "os.userShell"],
+        // lowerOsCpusCall reads the cpusTake snapshot through its accessors.
+        cpus: ["os.cpusModel", "os.cpusField"],
     },
 };
 export const AMBIENT_SURFACE_FNS = [
@@ -1944,13 +2035,22 @@ export const AMBIENT_SURFACE_FNS = [
         fns: ["tlsca.set"],
         note: "replaces the default set and the client trust anchors for the rest of the process",
     },
+    // os.constants is a VALUE read (lowerNamespaceBuiltinProperty and the
+    // named-import path): the platform's null-prototype constants object.
+    {
+        id: "node-builtin.os.constants",
+        kind: "node-builtin",
+        name: "os.constants",
+        fns: ["os.constants"],
+        note: "the platform's dlopen, errno, signals and priority groups; members a platform lacks read as undefined",
+    },
 ];
 /** The win32-target overrides of the bare modules' constants: path's
  * constants ARE the path/win32 namespace's, and os.EOL is CRLF (Node's
  * `isWindows ? '\r\n' : '\n'`). */
 const WIN32_TARGET_CONSTS = {
     path: BUILTIN_MODULE_CONSTS["path/win32"],
-    os: { EOL: "\r\n" },
+    os: { EOL: "\r\n", devNull: "\\\\.\\nul" },
 };
 /** BUILTIN_MODULE_FNS with the platform-conditional modules bound per
  * TARGET: a win32 triple compiles Node-on-Windows semantics — `path` is
@@ -2346,9 +2446,11 @@ export function stdlibMemberFence(lowerer, access) {
     }
     else if (container === "console") {
         hint =
-            "console.log/info/debug (stdout) and console.error/warn (stderr) are the supported " +
-                "console surface (arguments render with Node's console semantics: strings verbatim, " +
-                "everything else through the static util.inspect)";
+            "console.log/info/debug (stdout), console.error/warn (stderr), assert, count, " +
+                "countReset, dir, dirxml, group, groupCollapsed, groupEnd, table, time, timeEnd, " +
+                "timeLog, clear, profile, profileEnd, and timeStamp are the supported console surface " +
+                "(arguments render with Node's console semantics: strings verbatim, everything else " +
+                "through the static util.inspect)";
     }
     else if (container === "TextEncoder") {
         hint =