@scriptc/compiler 0.2.6 → 0.2.8

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

@@ -0,0 +1,116 @@
+import { boolLit, varRef } from "../../ir/build.js";
+import { BOOL, DYN_HANDLE_KINDS, isUnitType, typeEquals, typeKey, } from "../../ir/ir.js";
+import { unionComparison } from "./union-comparison.js";
+const IDENTITY_KINDS = new Set([
+    "array",
+    "map",
+    "set",
+    "regex",
+    "url",
+    "object",
+    "record",
+    "symbol",
+    "bytes",
+    "promise",
+    "func",
+    "classval",
+    "moduleNs",
+]);
+function atomicEquality(lowerer, left, right, sameValue, loc) {
+    const a = left.type, b = right.type;
+    if ([a.kind, b.kind].some((kind) => kind === "dyn" || kind === "jsval" || kind === "caught" || kind === "void"))
+        return null;
+    if (isUnitType(a) || isUnitType(b))
+        return boolLit(a.kind === b.kind, loc);
+    if (a.kind === "object" && b.kind === "object" && !typeEquals(a, b)) {
+        if (lowerer.isSubclassOf(a.className, b.className))
+            left = lowerer.upcastTo(left, b.className);
+        else if (lowerer.isSubclassOf(b.className, a.className))
+            right = lowerer.upcastTo(right, a.className);
+        else
+            return boolLit(false, loc);
+    }
+    if (a.kind !== b.kind) {
+        // A structural record can represent a class view. A different layout
+        // cannot prove that the original JavaScript identities are disjoint.
+        if ((a.kind === "record" && b.kind === "object") ||
+            (a.kind === "object" && b.kind === "record"))
+            return null;
+        return boolLit(false, loc);
+    }
+    if (a.kind === "string")
+        return { kind: "strEq", left, right, negated: false, type: BOOL, loc };
+    if (a.kind === "bigint")
+        return { kind: "libCall", fn: "bigint.eq", args: [left, right], type: BOOL, loc };
+    if (a.kind === "f64" && sameValue)
+        return { kind: "libCall", fn: "num.sameValue", args: [left, right], type: BOOL, loc };
+    if (a.kind === "f64" ||
+        a.kind === "bool" ||
+        a.kind === "func" ||
+        a.kind === "classval" ||
+        a.kind === "moduleNs" ||
+        ((IDENTITY_KINDS.has(a.kind) || DYN_HANDLE_KINDS.has(a.kind)) &&
+            typeEquals(left.type, right.type)))
+        return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+    return null;
+}
+/** Related class arms can store the same object under different tags, so
+ * comparing a union's tags and payloads alone can miss an identity. */
+export function tagEqualityMayMissAlias(lowerer, type) {
+    const arms = type.kind === "union" ? lowerer.unions.get(type.unionId)?.arms : null;
+    return (arms?.some((arm, index) => arm.kind === "object" &&
+        arms
+            .slice(index + 1)
+            .some((other) => other.kind === "object" &&
+            (lowerer.isSubclassOf(arm.className, other.className) ||
+                lowerer.isSubclassOf(other.className, arm.className)))) ?? false);
+}
+/** Strict/SameValue comparison across independently represented unions.
+ * Parameters preserve left-to-right evaluation and reuse native payloads;
+ * equality must never allocate a width copy or adapt a callback signature. */
+export function lowerUnionEquality(lowerer, left, right, negated, sameValue, loc) {
+    if (left.type.kind !== "union" && right.type.kind !== "union")
+        return null;
+    // Unit comparisons are handled before this path, including their effects.
+    if (isUnitType(left.type) || isUnitType(right.type))
+        return null;
+    // Ordinary same-layout unions keep the compact tag comparison.
+    if (typeEquals(left.type, right.type) && !tagEqualityMayMissAlias(lowerer, left.type))
+        return null;
+    // So does a plain operand that is already one of a comparable union's arms.
+    const union = left.type.kind === "union" ? left.type : right.type;
+    const plain = left.type.kind === "union" ? right.type : left.type;
+    if (union.kind === "union" &&
+        plain.kind !== "union" &&
+        !tagEqualityMayMissAlias(lowerer, union) &&
+        lowerer.eqComparableUnion(union.unionId) &&
+        lowerer.unions.get(union.unionId)?.arms.some((arm) => typeEquals(arm, plain)))
+        return null;
+    const key = `${lowerer.unions.revision}:${typeKey(left.type)}:${typeKey(right.type)}:${sameValue}`;
+    let name = lowerer.equalityHelpers.get(key);
+    if (!name) {
+        const a = varRef("left.0", left.type, loc), b = varRef("right.0", right.type, loc);
+        const result = unionComparison(lowerer, a, b, (x, y) => atomicEquality(lowerer, x, y, sameValue, loc), loc);
+        if (!result)
+            return null;
+        name = `%value.eq.${lowerer.equalityHelpers.size}`;
+        lowerer.equalityHelpers.set(key, name);
+        lowerer.liftedFns.push({
+            name,
+            params: [
+                { localId: "left.0", name: "left", type: left.type },
+                { localId: "right.0", name: "right", type: right.type },
+            ],
+            locals: [
+                { id: "left.0", name: "left", type: left.type, mutable: false },
+                { id: "right.0", name: "right", type: right.type, mutable: false },
+            ],
+            returnType: BOOL,
+            body: [{ kind: "return", value: result, loc }],
+            loc,
+        });
+    }
+    const result = { kind: "call", callee: name, args: [left, right], type: BOOL, loc };
+    return negated ? { kind: "unary", op: "!", operand: result, type: BOOL, loc } : result;
+}
+//# sourceMappingURL=strict-equality.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strict-equality.js","sourceRoot":"","sources":["../../../src/frontend/lowering/strict-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,IAAI,EACJ,gBAAgB,EAIhB,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,OAAO;IACP,KAAK;IACL,KAAK;IACL,OAAO;IACP,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,SAAkB,EAClB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EACjB,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IACjB,IACE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACnB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CACrF;QAED,OAAO,IAAI,CAAC;IACd,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;aAC1F,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YACrD,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;;YAC1C,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,qEAAqE;QACrE,qEAAqE;QACrE,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAE5C,OAAO,IAAI,CAAC;QACd,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChG,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrB,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;IACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACxF,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,OAAO,CACL,IAAI,EAAE,IAAI,CACR,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACb,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI;aACD,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;aAChB,IAAI,CACH,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;gBACnD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAC1D,CACN,IAAI,KAAK,CACX,CAAC;AACJ,CAAC;AAED;;8EAE8E;AAC9E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,SAAkB,EAClB,GAAW;IAEX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3E,0EAA0E;IAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,+DAA+D;IAC/D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAClE,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC;QACxC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC;QACxC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAE7E,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;IACnG,IAAI,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EACxC,CAAC,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,eAAe,CAC5B,OAAO,EACP,CAAC,EACD,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,EACvD,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,GAAG,aAAa,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;QACnD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;gBACpD,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;aACxD;YACD,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC/D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;aACnE;YACD,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC9C,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5F,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACzF,CAAC"}

package/dist/frontend/lowering/string-index-bounds.d.ts

@@ -0,0 +1,36 @@
+import * as ts from "../ts7/adapter.js";
+export declare class StringIndexBounds {
+    private readonly symbolAt;
+    private readonly declarationOf;
+    private readonly isString;
+    private readonly proofs;
+    private readonly bindings;
+    private readonly indexFacts;
+    private readonly identifiers;
+    constructor(symbolAt: (node: ts.Node) => ts.Symbol | null, declarationOf: (symbol: ts.Symbol) => ts.Node | undefined, isString: (node: ts.Expression) => boolean);
+    /** True when `read` (an element access on a string receiver) is proven
+     * to name an existing code unit. */
+    inBounds(read: ts.ElementAccessExpression): boolean;
+    private prove;
+    private namesIn;
+    /** Every write of a block-scoped local or parameter, or null for any
+     * other binding (module imports, var, class members, ...). */
+    private binding;
+    private scanBinding;
+    private valueFacts;
+    /** `text.length` on a string binding: its symbol, else null. */
+    private lengthOf;
+    private indexFactsOf;
+    /** `text.length`, or a const binding initialized from it while `text`
+     * itself is never reassigned. */
+    private isLength;
+    /** `text.length - k` for an integer k >= 1. */
+    private isLengthMinusOne;
+    private isIndex;
+    /** Does `cond` evaluating to `truthy` establish the bound? The index is
+     * an integer and lengths are numbers, so a false comparison is its
+     * negation. */
+    private holds;
+    /** Find a guard establishing `bound` that still holds at `read`. */
+    private guarded;
+}