@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/lowering/receiver-returns.js

@@ -0,0 +1,134 @@
+import { VOID } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { everyStmtList, transformStmtList } from "../../ir/traverse.js";
+const DISPATCH_PREFIX = "%dyn.class.call.";
+const BOX_EXACT_PREFIX = "%dyn.class.boxExact:";
+/** The name of a method's copy that returns nothing. */
+function receiverCopyName(method) {
+    return `%dyn.class.receiver:${method.slice(1)}`;
+}
+export function returnDispatchReceivers(lowerer, functions) {
+    const byName = new Map(functions.map((fn) => [fn.name, fn]));
+    const copies = new Map();
+    const copyOf = (name) => {
+        const known = copies.get(name);
+        if (known !== undefined)
+            return known;
+        const method = byName.get(name);
+        const copy = method && returnsReceiver(lowerer, method) ? receiverCopy(method) : null;
+        copies.set(name, copy);
+        if (copy)
+            functions.push(copy);
+        return copy;
+    };
+    for (const helper of functions) {
+        if (!helper.name.startsWith(DISPATCH_PREFIX))
+            continue;
+        const receiver = helper.params[0]?.localId;
+        if (receiver === undefined || !normalizedOnly(helper, receiver))
+            continue;
+        for (const stmt of helper.body) {
+            if (stmt.kind !== "if" || stmt.then.length !== 1)
+                continue;
+            const only = stmt.then[0];
+            if (only.kind !== "return" || only.value === null || only.value.kind !== "call")
+                continue;
+            const call = only.value;
+            if (!receiverArgument(call.args[0], receiver))
+                continue;
+            const copy = copyOf(call.callee);
+            if (!copy)
+                continue;
+            stmt.then = [
+                {
+                    kind: "exprStmt",
+                    expr: { ...call, callee: copy.name, type: VOID },
+                    loc: only.loc,
+                },
+                { kind: "return", value: varRef(receiver, only.value.type, only.loc), loc: only.loc },
+            ];
+        }
+    }
+    // A direct call whose result nothing reads (`builder.set(1);` in typed
+    // code) needs no capsule at all.
+    for (const fn of [...functions]) {
+        everyStmtList(fn.body, {
+            stmt: (s) => {
+                if (s.kind === "exprStmt" && s.expr.kind === "call") {
+                    const copy = copyOf(s.expr.callee);
+                    if (copy)
+                        s.expr = { ...s.expr, callee: copy.name, type: VOID };
+                }
+                return true;
+            },
+            expr: () => true,
+        });
+    }
+}
+/** The helper's receiver is assigned only by its normalization, so it is
+ * the capsule of the instance's own class wherever a branch reads it. */
+function normalizedOnly(helper, receiver) {
+    return everyStmtList(helper.body, {
+        stmt: (s) => !((s.kind === "assign" || s.kind === "forOf") &&
+            s.localId === receiver &&
+            !(s.kind === "assign" &&
+                s.value.kind === "call" &&
+                s.value.callee === "%dyn.class.normalize")),
+        expr: (e) => !((e.kind === "assignExpr" || e.kind === "incDec") && e.localId === receiver),
+    });
+}
+/** `dynCheck(receiver)`, possibly upcast to the method's class. */
+function receiverArgument(arg, receiver) {
+    if (arg?.kind === "upcast")
+        arg = arg.value;
+    return arg?.kind === "dynCheck" && arg.value.kind === "varRef" && arg.value.localId === receiver;
+}
+/** Whether every path of a synchronous method returns `this` boxed at its
+ * exact class. */
+function returnsReceiver(lowerer, fn) {
+    if (fn.async !== undefined || fn.generator !== undefined)
+        return false;
+    if (fn.captures?.length || fn.classCaptures?.length)
+        return false;
+    if (fn.returnType.kind !== "dyn")
+        return false;
+    const self = fn.params[0];
+    if (self?.type.kind !== "object" || self.name !== "this")
+        return false;
+    const last = fn.body[fn.body.length - 1];
+    if (last?.kind !== "return")
+        return false;
+    const isSelf = (value) => {
+        if (value === null)
+            return false;
+        if (value.kind === "call" && value.callee.startsWith(BOX_EXACT_PREFIX))
+            return thisRef(value.args[0], self.localId);
+        // Without exact boxing the capsule names the static class, which is
+        // the instance's own class only when nothing extends it.
+        if (value.kind === "dynFrom" && value.liveRef === undefined && value.fnName === undefined) {
+            const className = self.type.kind === "object" ? self.type.className : "";
+            return (thisRef(value.value, self.localId) &&
+                (lowerer.classes.get(className)?.subclasses.length ?? 1) === 0);
+        }
+        return false;
+    };
+    return everyStmtList(fn.body, {
+        stmt: (s) => s.kind !== "return" || isSelf(s.value),
+        expr: () => true,
+    });
+}
+function thisRef(value, thisId) {
+    return value?.kind === "varRef" && value.localId === thisId;
+}
+/** A copy of `method` whose returns return nothing. */
+function receiverCopy(method) {
+    const copy = structuredClone(method);
+    copy.name = receiverCopyName(method.name);
+    copy.returnType = VOID;
+    copy.body = transformStmtList(copy.body, {
+        stmt: (s) => (s.kind === "return" ? { ...s, value: null } : s),
+        expr: (e) => e,
+    });
+    return copy;
+}
+//# sourceMappingURL=receiver-returns.js.map

package/dist/frontend/lowering/receiver-returns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"receiver-returns.js","sourceRoot":"","sources":["../../../src/frontend/lowering/receiver-returns.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAGxE,MAAM,eAAe,GAAG,kBAAkB,CAAC;AAC3C,MAAM,gBAAgB,GAAG,sBAAsB,CAAC;AAEhD,wDAAwD;AACxD,SAAS,gBAAgB,CAAC,MAAc;IACtC,OAAO,uBAAuB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,SAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAqB,EAAE;QACjD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtF,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvB,IAAI,IAAI;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,SAAS;QACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC;YAAE,SAAS;QAC1E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;YACxB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;gBAAE,SAAS;YACxD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,CAAC,IAAI,GAAG;gBACV;oBACE,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;oBAChD,GAAG,EAAE,IAAI,CAAC,GAAG;iBACd;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;aACtF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,uEAAuE;IACvE,iCAAiC;IACjC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC;QAChC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACpD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACnC,IAAI,IAAI;wBAAE,CAAC,CAAC,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAClE,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;yEACyE;AACzE,SAAS,cAAc,CAAC,MAAkB,EAAE,QAAgB;IAC1D,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE;QAChC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACV,CAAC,CACC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;YAC3C,CAAC,CAAC,OAAO,KAAK,QAAQ;YACtB,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,QAAQ;gBACnB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;gBACvB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,sBAAsB,CAC1C,CACF;QACH,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC;KAC3F,CAAC,CAAC;AACL,CAAC;AAED,mEAAmE;AACnE,SAAS,gBAAgB,CAAC,GAAuB,EAAE,QAAgB;IACjE,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ;QAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IAC5C,OAAO,GAAG,EAAE,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC;AACnG,CAAC;AAED;kBACkB;AAClB,SAAS,eAAe,CAAC,OAAgB,EAAE,EAAc;IACvD,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC,aAAa,EAAE,MAAM;QAAE,OAAO,KAAK,CAAC;IAClE,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACvE,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,KAAoB,EAAW,EAAE;QAC/C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACjC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC;YACpE,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,oEAAoE;QACpE,yDAAyD;QACzD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1F,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,OAAO,CACL,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;gBAClC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAC/D,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,OAAO,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QAC5B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QACnD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,KAAyB,EAAE,MAAc;IACxD,OAAO,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC;AAC9D,CAAC;AAED,uDAAuD;AACvD,SAAS,YAAY,CAAC,MAAkB;IACtC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;IACvB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE;QACvC,IAAI,EAAE,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KACf,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/record-inherited.d.ts

@@ -0,0 +1,26 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Object.prototype's methods a record answers from its prototype. */
+export declare const RECORD_INHERITED_METHODS: ReadonlySet<string>;
+/** A keyed record read (`r[k]`, `r["toString"]`) whose miss answers the
+ * inherited Object.prototype method for those names. Hits keep the
+ * ordinary read; only the miss path tests the key. `bound`: the read is
+ * the callee of a call (`r[k](…)`, `r[k]?.(…)`), whose `this` is the
+ * record; any other read yields the method as a plain value, whose calls
+ * see an undefined `this` as in Node. */
+export declare function withInheritedMethods(lowerer: Lowerer, read: IrExpr & {
+    kind: "recordKeyGet";
+}, litKey: string | null, bound: boolean): IrExpr;
+/** `r.toString()`, `r.hasOwnProperty(k)` and the other Object.prototype
+ * methods called by name on a typed record (the checker resolved the
+ * member to Object.prototype's). Null for other calls. */
+export declare function lowerRecordInheritedCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `r.toString` and the other Object.prototype methods read by name (not
+ * called) on an index-signature record: an own entry of the member's
+ * function type when the record holds one, else the built-in as a plain
+ * function value. An own entry of another type than the member's (a
+ * function of another signature) throws the checked-conversion TypeError:
+ * the program's types claimed the member. Null when the checker's member
+ * type is not a function. */
+export declare function lowerRecordInheritedMember(lowerer: Lowerer, receiver: IrExpr, expr: ts.PropertyAccessExpression): IrExpr | null;