@scriptc/compiler 0.4.5 → 0.4.6

package/dist/ir/inline-arrays.test.js

@@ -0,0 +1,225 @@
+import { expect, test } from "vitest";
+import { inlineArrayReads, planInlineArrays } from "./inline-arrays.js";
+import { F64, VOID, } from "./ir.js";
+const loc = { file: "inline-arrays.ts", start: 0, end: 0 };
+const obj = (className) => ({ kind: "object", className });
+const ITEMS = { kind: "array", elem: obj("Item") };
+const ref = (localId, type) => ({ loc, kind: "varRef", localId, type });
+const set = (target, className, field, value) => ({
+    loc,
+    kind: "fieldSet",
+    obj: target,
+    className,
+    field,
+    value,
+});
+const get = (target, className, field, type) => ({
+    loc,
+    kind: "fieldGet",
+    obj: target,
+    className,
+    field,
+    type,
+});
+const fn = (name, params, body, locals = []) => ({
+    loc,
+    name,
+    params: params.map((p) => ({ localId: p.id, name: p.id, type: p.type })),
+    locals: [...params, ...locals].map((l) => ({
+        id: l.id,
+        name: l.id,
+        type: l.type,
+        mutable: "mutable" in l ? l.mutable === true : false,
+    })),
+    returnType: VOID,
+    body,
+});
+const cls = (name, fields, base) => ({
+    loc,
+    name,
+    ...(base ? { base } : {}),
+    fields: fields.map(([field, type]) => ({ name: field, type })),
+});
+const listFields = [
+    ["pos", F64],
+    ["items", ITEMS],
+];
+const listCtor = fn("%List.constructor", [
+    { id: "this", type: obj("List") },
+    { id: "pos", type: F64 },
+    { id: "items", type: ITEMS },
+], [
+    set(ref("this", obj("List")), "List", "pos", ref("pos", F64)),
+    set(ref("this", obj("List")), "List", "items", ref("items", ITEMS)),
+]);
+// `class Flagged extends List { constructor(items, flags, pos) { super(pos, items) } }`.
+const flaggedCtor = fn("%Flagged.constructor", [
+    { id: "this", type: obj("Flagged") },
+    { id: "nodes", type: ITEMS },
+    { id: "flags", type: F64 },
+    { id: "pos", type: F64 },
+], [
+    {
+        loc,
+        kind: "exprStmt",
+        expr: {
+            loc,
+            kind: "call",
+            callee: "%List.constructor",
+            args: [
+                { loc, kind: "upcast", value: ref("this", obj("Flagged")), type: obj("List") },
+                ref("pos", F64),
+                ref("nodes", ITEMS),
+            ],
+            type: VOID,
+        },
+    },
+    set(ref("this", obj("Flagged")), "Flagged", "flags", ref("flags", F64)),
+]);
+const itemCtor = fn("%Item.constructor", [{ id: "this", type: obj("Item") }], []);
+const mod = (functions, extra = []) => ({
+    irVersion: 17,
+    sourceFile: "inline-arrays.ts",
+    entry: "%main",
+    classes: [
+        cls("Item", []),
+        cls("List", listFields),
+        cls("Flagged", [...listFields, ["flags", F64]], "List"),
+        ...extra,
+    ],
+    functions: [fn("%main", [], []), itemCtor, listCtor, flaggedCtor, ...functions],
+    records: [],
+    unions: [],
+    globals: [],
+    contracts: { programLifetime: ["Item", "List"], inlineArrays: ["List\0items"] },
+});
+const lifetime = (name) => name === "Item" || name === "List" || name === "Flagged";
+test("a subtree is planned with the argument each class takes its length from", () => {
+    const plan = planInlineArrays(mod([]), lifetime);
+    expect(plan.rejected).toEqual([]);
+    expect(plan.classes.get("List")).toMatchObject({ field: "items", fieldIndex: 1, lengthArg: 1 });
+    // Flagged passes its first parameter where List takes the array.
+    expect(plan.classes.get("Flagged")).toMatchObject({ fieldIndex: 1, lengthArg: 0 });
+});
+test("other writes, class values and dynamic values keep an ordinary field", () => {
+    const conditional = mod([]);
+    conditional.functions = conditional.functions.map((f) => f.name !== "%List.constructor"
+        ? f
+        : {
+            ...f,
+            body: [
+                {
+                    loc,
+                    kind: "if",
+                    cond: { loc, kind: "boolLit", value: true, type: { kind: "bool" } },
+                    then: [set(ref("this", obj("List")), "List", "items", ref("items", ITEMS))],
+                    else_: null,
+                },
+            ],
+        });
+    expect(planInlineArrays(conditional, lifetime).rejected[0]?.reason).toContain("conditionally");
+    const rewritten = mod([
+        fn("%List.reset", [
+            { id: "this", type: obj("List") },
+            { id: "other", type: ITEMS },
+        ], [set(ref("this", obj("List")), "List", "items", ref("other", ITEMS))]),
+    ]);
+    expect(planInlineArrays(rewritten, lifetime).rejected[0]?.reason).toContain("outside the constructor");
+    const value = mod([
+        fn("%use", [], [
+            {
+                loc,
+                kind: "exprStmt",
+                expr: { loc, kind: "classRef", className: "Flagged", type: { kind: "dyn" } },
+            },
+        ]),
+    ]);
+    expect(planInlineArrays(value, lifetime).rejected[0]?.reason).toContain("used as a value");
+    const dynamic = mod([
+        fn("%show", [{ id: "list", type: obj("List") }], [
+            {
+                loc,
+                kind: "exprStmt",
+                expr: { loc, kind: "dynFrom", value: ref("list", obj("List")), type: { kind: "dyn" } },
+            },
+        ]),
+    ]);
+    expect(planInlineArrays(dynamic, lifetime).rejected[0]?.reason).toContain("dynamic value");
+});
+test("an alias that only indexes the field reads the field", () => {
+    const read = {
+        loc,
+        kind: "arrayGet",
+        arr: ref("nodes", ITEMS),
+        index: { loc, kind: "numLit", value: 0, type: F64 },
+        type: obj("Item"),
+    };
+    const sum = fn("%sum", [{ id: "list", type: obj("List") }], [
+        {
+            loc,
+            kind: "varDecl",
+            localId: "nodes",
+            init: get(ref("list", obj("List")), "List", "items", ITEMS),
+        },
+        { loc, kind: "exprStmt", expr: read },
+        {
+            loc,
+            kind: "exprStmt",
+            expr: {
+                loc,
+                kind: "arrIntrinsic",
+                method: "length",
+                receiver: ref("nodes", ITEMS),
+                args: [],
+                type: F64,
+            },
+        },
+    ], [{ id: "nodes", type: ITEMS }]);
+    const m = mod([sum]);
+    const out = inlineArrayReads(m, planInlineArrays(m, lifetime)).functions.find((f) => f.name === "%sum");
+    const text = JSON.stringify(out.body);
+    // The alias is gone: its reads read the field through the parameter.
+    expect(text).not.toContain('"localId":"nodes"');
+    expect(text).toContain('"kind":"fieldGet"');
+    expect(out.body[0]).toMatchObject({ kind: "block", body: [] });
+});
+test("an alias that escapes stays an array local", () => {
+    const sum = fn("%keep", [{ id: "list", type: obj("List") }], [
+        {
+            loc,
+            kind: "varDecl",
+            localId: "nodes",
+            init: get(ref("list", obj("List")), "List", "items", ITEMS),
+        },
+        { loc, kind: "return", value: ref("nodes", ITEMS) },
+    ], [{ id: "nodes", type: ITEMS }]);
+    const m = mod([sum]);
+    const out = inlineArrayReads(m, planInlineArrays(m, lifetime));
+    expect(out.functions.find((f) => f.name === "%keep")).toBe(sum);
+});
+test("new evaluates its arguments into locals before allocating", () => {
+    const literal = { loc, kind: "arrayLit", elems: [], type: ITEMS };
+    const build = fn("%build", [], [
+        {
+            loc,
+            kind: "exprStmt",
+            expr: {
+                loc,
+                kind: "new",
+                className: "List",
+                args: [{ loc, kind: "numLit", value: 1, type: F64 }, literal],
+                type: obj("List"),
+            },
+        },
+    ]);
+    const m = mod([build]);
+    const out = inlineArrayReads(m, planInlineArrays(m, lifetime)).functions.find((f) => f.name === "%build");
+    const stmt = out.body[0];
+    expect(stmt.expr.kind).toBe("seqExpr");
+    const seq = stmt.expr;
+    expect(seq.stmts.map((s) => s.kind)).toEqual(["varDecl", "varDecl"]);
+    const made = seq.result;
+    expect(made.args.every((a) => a.kind === "varRef")).toBe(true);
+    expect(out.locals.filter((l) => l.id.startsWith("%inl.arg"))).toHaveLength(2);
+});
+//# sourceMappingURL=inline-arrays.test.js.map

package/dist/ir/inline-arrays.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inline-arrays.test.js","sourceRoot":"","sources":["../../src/ir/inline-arrays.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EACL,GAAG,EACH,IAAI,GAOL,MAAM,SAAS,CAAC;AAEjB,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC3D,MAAM,GAAG,GAAG,CAAC,SAAiB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;AAC3E,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;AAC3D,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAChG,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAE,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACxF,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,MAAM;IACX,SAAS;IACT,KAAK;IACL,KAAK;CACN,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAE,KAAa,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;IACvF,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,MAAM;IACX,SAAS;IACT,KAAK;IACL,IAAI;CACL,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CACT,IAAY,EACZ,MAAsC,EACtC,IAAc,EACd,MAAM,GAAsD,EAAE,EAClD,EAAE,CAAC,CAAC;IAChB,GAAG;IACH,IAAI;IACJ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,EAAE;QACV,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK;KACrD,CAAC,CAAC;IACH,UAAU,EAAE,IAAI;IAChB,IAAI;CACL,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAA0B,EAAE,IAAa,EAAc,EAAE,CAAC,CAAC;IACpF,GAAG;IACH,IAAI;IACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;CAC/D,CAAC,CAAC;AACH,MAAM,UAAU,GAAuB;IACrC,CAAC,KAAK,EAAE,GAAG,CAAC;IACZ,CAAC,OAAO,EAAE,KAAK,CAAC;CACjB,CAAC;AACF,MAAM,QAAQ,GAAG,EAAE,CACjB,mBAAmB,EACnB;IACE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;IACjC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;IACxB,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;CAC7B,EACD;IACE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7D,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;CACpE,CACF,CAAC;AACF,yFAAyF;AACzF,MAAM,WAAW,GAAG,EAAE,CACpB,sBAAsB,EACtB;IACE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE;IACpC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;IAC5B,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;IAC1B,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;CACzB,EACD;IACE;QACE,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,GAAG;YACH,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,mBAAmB;YAC3B,IAAI,EAAE;gBACJ,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBAC9E,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC;gBACf,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;aACpB;YACD,IAAI,EAAE,IAAI;SACX;KACF;IACD,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;CACxE,CACF,CAAC;AACF,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAClF,MAAM,GAAG,GAAG,CAAC,SAAuB,EAAE,KAAK,GAAiB,EAAE,EAAY,EAAE,CAAC,CAAC;IAC5E,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,kBAAkB;IAC9B,KAAK,EAAE,OAAO;IACd,OAAO,EAAE;QACP,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QACf,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;QACvB,GAAG,CAAC,SAAS,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;QACvD,GAAG,KAAK;KACT;IACD,SAAS,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;IAC/E,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC,aAAa,CAAC,EAAE;CAChF,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,SAAS,CAAC;AAE3D,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IAChG,iEAAiE;IACjE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,WAAW,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,WAAW,CAAC,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtD,CAAC,CAAC,IAAI,KAAK,mBAAmB;QAC5B,CAAC,CAAC,CAAC;QACH,CAAC,CAAC;YACE,GAAG,CAAC;YACJ,IAAI,EAAE;gBACJ;oBACE,GAAG;oBACH,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;oBACnE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;oBAC3E,KAAK,EAAE,IAAI;iBACZ;aACF;SACF,CACN,CAAC;IACF,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAE/F,MAAM,SAAS,GAAG,GAAG,CAAC;QACpB,EAAE,CACA,aAAa,EACb;YACE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACjC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;SAC7B,EACD,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CACtE;KACF,CAAC,CAAC;IACH,MAAM,CAAC,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CACzE,yBAAyB,CAC1B,CAAC;IAEF,MAAM,KAAK,GAAG,GAAG,CAAC;QAChB,EAAE,CACA,MAAM,EACN,EAAE,EACF;YACE;gBACE,GAAG;gBACH,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;aAC7E;SACF,CACF;KACF,CAAC,CAAC;IACH,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAE3F,MAAM,OAAO,GAAG,GAAG,CAAC;QAClB,EAAE,CACA,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EACnC;YACE;gBACE,GAAG;gBACH,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;aACvF;SACF,CACF;KACF,CAAC,CAAC;IACH,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;AAC7F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,IAAI,GAAW;QACnB,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;QACxB,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;QACnD,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC;KAClB,CAAC;IACF,MAAM,GAAG,GAAG,EAAE,CACZ,MAAM,EACN,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EACnC;QACE;YACE,GAAG;YACH,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;SAC5D;QACD,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE;QACrC;YACE,GAAG;YACH,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,GAAG;gBACH,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;gBAC7B,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;aACV;SACF;KACF,EACD,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAC/B,CAAC;IACF,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAC3E,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CACxB,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,qEAAqE;IACrE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC5C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACtD,MAAM,GAAG,GAAG,EAAE,CACZ,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EACnC;QACE;YACE,GAAG;YACH,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;SAC5D;QACD,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;KACpD,EACD,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAC/B,CAAC;IACF,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,OAAO,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1E,MAAM,KAAK,GAAG,EAAE,CACd,QAAQ,EACR,EAAE,EACF;QACE;YACE,GAAG;YACH,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,GAAG;gBACH,IAAI,EAAE,KAAK;gBACX,SAAS,EAAE,MAAM;gBACjB,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC;gBAC7D,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC;aAClB;SACF;KACF,CACF,CAAC;IACF,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACvB,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAC3E,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC1B,CAAC;IACH,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAkC,CAAC;IAC1D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAoC,CAAC;IACtD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,GAAG,CAAC,MAAkC,CAAC;IACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC"}

package/dist/ir/int32-slots.d.ts

@@ -63,6 +63,9 @@ export declare class Int32Slots {
     private readonly pinned;
     /** Int32 contract locals (`function\0localId`) and globals (`\0id`). */
     private readonly int32Locals;
+    /** Module globals of type number whose every write the fixpoint proved
+     * an int32 (`global:` keys). */
+    private readonly globals;
     /** Number-array slots whose arrays hold only int32 elements (Int32[]
      * contracts, IrContracts.int32Elements keys). */
     private readonly int32Elements;
@@ -100,6 +103,9 @@ export declare class Int32Slots {
     pin(key: string): void;
     isPinnedField(family: string): boolean;
     addInt32Local(key: string): void;
+    addGlobal(id: string): void;
+    hasGlobal(id: string): boolean;
+    dropGlobal(id: string): boolean;
     addInt32Elements(key: string): void;
     dropInt32Elements(key: string): boolean;
     hasInt32ElementSlot(key: string): boolean;

package/dist/ir/int32-slots.js

@@ -89,6 +89,9 @@ export class Int32Slots {
     pinned = new Set();
     /** Int32 contract locals (`function\0localId`) and globals (`\0id`). */
     int32Locals = new Set();
+    /** Module globals of type number whose every write the fixpoint proved
+     * an int32 (`global:` keys). */
+    globals = new Set();
     /** Number-array slots whose arrays hold only int32 elements (Int32[]
      * contracts, IrContracts.int32Elements keys). */
     int32Elements = new Set();
@@ -138,6 +141,7 @@ export class Int32Slots {
             this.paramFacts.size === 0 &&
             this.boxes.size === 0 &&
             this.int32Locals.size === 0 &&
+            this.globals.size === 0 &&
             this.int32Elements.size === 0)
             return {};
         const level = (key) => this.nonNegative.has(key) ? NON_NEGATIVE_INT32_RANGE : INT32_RANGE;
@@ -149,10 +153,12 @@ export class Int32Slots {
                 return group !== null && this.boxes.has(group) ? level(`box:${group}`) : null;
             },
         };
-        if (this.int32Locals.size > 0)
+        if (this.int32Locals.size > 0 || this.globals.size > 0)
             result.locals = (localId) => this.int32Locals.has(`${fnName}\0${localId}`) || this.int32Locals.has(`\0${localId}`)
                 ? INT32_RANGE
-                : null;
+                : this.globals.has(localId)
+                    ? level(`global:${localId}`)
+                    : null;
         if (this.int32Elements.size > 0) {
             result.elements = (arr) => this.hasInt32Elements(fnName, arr);
             if (this.narrowedReads)
@@ -214,6 +220,16 @@ export class Int32Slots {
     addInt32Local(key) {
         this.int32Locals.add(key);
     }
+    addGlobal(id) {
+        this.globals.add(id);
+    }
+    hasGlobal(id) {
+        return this.globals.has(id);
+    }
+    dropGlobal(id) {
+        this.nonNegative.delete(`global:${id}`);
+        return this.globals.delete(id);
+    }
     addInt32Elements(key) {
         this.int32Elements.add(key);
     }
@@ -344,6 +360,7 @@ export class Int32Slots {
             reasons: [...this.reasons],
             pinned: [...this.pinned],
             int32Locals: [...this.int32Locals],
+            globals: [...this.globals],
             int32Elements: [...this.int32Elements],
             pinViolations: this.pinViolations,
             nonNegative: [...this.nonNegative],
@@ -381,6 +398,8 @@ export class Int32Slots {
             slots.pinned.add(key);
         for (const key of data.int32Locals)
             slots.int32Locals.add(key);
+        for (const id of data.globals)
+            slots.globals.add(id);
         for (const key of data.int32Elements)
             slots.int32Elements.add(key);
         slots.pinViolations.push(...data.pinViolations);
@@ -408,6 +427,7 @@ export class Int32Slots {
             `called ${sorted(this.called)}`,
             `pinned ${sorted(this.pinned)}`,
             `int32Locals ${sorted(this.int32Locals)}`,
+            `globals ${sorted(this.globals)}`,
             `int32Elements ${sorted(this.int32Elements)}`,
             `nonNegative ${sorted(this.nonNegative)}`,
             `pinViolations ${sorted(this.pinViolations)}`,
@@ -484,6 +504,10 @@ const DYN_READ_ONLY = new Set([
     "dyn.bagGet",
     "dyn.bitwise",
     "dyn.compare",
+    // Adoption reads the native value it was built into and turns shared
+    // source nodes into capsules of it; it stores no property into a capsule.
+    "dyn.declAdopt",
+    "dyn.adoptShared",
     "dyn.forInKeyStrings",
     "dyn.forInKeys",
     "dyn.forInStable",
@@ -539,6 +563,19 @@ const DYN_READ_ONLY = new Set([
     "buffer.poolFromDynRange",
     "insp.dyn",
     "insp.dynS",
+    // util.format and util.inspect over checked values: the inspect walk and
+    // the format conversions read them; insp.registerCustom keeps a class's
+    // custom inspect thunk in the runtime's registry.
+    "insp.customIsSelf",
+    "insp.customResult",
+    "insp.format",
+    "insp.formatList",
+    "insp.formatPrimitives",
+    "insp.formatSpecifiesDyn",
+    "insp.formatWithOptions",
+    "insp.inspect",
+    "insp.registerCustom",
+    "insp.dynFormatS",
     "insp.dynHidden",
     // The dynamic-tier operators run their dyn twins (scr_js_value.c); the
     // conversions move a value between dyn and jsval, and js.toF64 is
@@ -1154,6 +1191,9 @@ export function analyzeInt32Slots(mod, inputs = {}) {
     };
     const boxedReads = [];
     const incrementedFamilies = [];
+    // Bindings written by `++`/`--` or bound by for-of and catch: a module
+    // global among them is no candidate.
+    const unstableGlobals = new Set();
     for (const fn of mod.functions) {
         for (const local of fn.locals)
             if (local.boxed) {
@@ -1208,14 +1248,20 @@ export function analyzeInt32Slots(mod, inputs = {}) {
                 else if (e.kind === "classRef")
                     for (const id of e.captures ?? [])
                         unstableBoxes.add(boxKey(fn.name, id));
-                else if (e.kind === "incDec")
+                else if (e.kind === "incDec") {
                     unstableBoxes.add(boxKey(fn.name, e.localId));
+                    unstableGlobals.add(e.localId);
+                }
             },
             stmt: (s) => {
-                if (s.kind === "forOf")
+                if (s.kind === "forOf") {
                     unstableBoxes.add(boxKey(fn.name, s.localId));
-                if (s.kind === "tryCatch" && s.catchLocalId)
+                    unstableGlobals.add(s.localId);
+                }
+                if (s.kind === "tryCatch" && s.catchLocalId) {
                     unstableBoxes.add(boxKey(fn.name, s.catchLocalId));
+                    unstableGlobals.add(s.catchLocalId);
+                }
             },
         });
         if (read.size > 0)
@@ -1325,6 +1371,44 @@ export function analyzeInt32Slots(mod, inputs = {}) {
             if (group !== null)
                 reads(`box:${group}`, fn.name);
         }
+    /* ── module globals ── */
+    // A module global of type number is a candidate when its module's
+    // initializer assigns it at its top level or in an unlabeled block there
+    // (the declaration's initializer, which runs before any read that does
+    // not throw) and no other write is outside the assignments the fixpoint
+    // checks. Globals with a TDZ sentinel or a cycle's initialization flag,
+    // and globals an Int32 contract already covers, keep their ordinary facts.
+    const initialized = new Set();
+    const initializers = (body) => {
+        for (const s of body) {
+            if (s.kind === "assign")
+                initialized.add(s.localId);
+            else if (s.kind === "block" && !s.labels?.length)
+                initializers(s.body);
+        }
+    };
+    for (const fn of mod.functions)
+        if (fn.name.startsWith("%init"))
+            initializers(fn.body);
+    for (const global of mod.globals ?? []) {
+        if (global.type.kind !== "f64" ||
+            global.tdz ||
+            global.initFlag !== undefined ||
+            !initialized.has(global.id) ||
+            unstableGlobals.has(global.id) ||
+            contracts?.int32Locals?.includes(`\0${global.id}`))
+            continue;
+        slots.addGlobal(global.id);
+        slots.assumeNonNegative(`global:${global.id}`);
+    }
+    const dropGlobal = (id, why) => {
+        reason(`global:${id}`, why);
+        return slots.dropGlobal(id);
+    };
+    for (const [fn, read] of boxedReads)
+        for (const localId of read)
+            if (slots.hasGlobal(localId))
+                reads(`global:${localId}`, fn.name);
     for (const family of incrementedFamilies)
         dropFamily(family, "++/-- on the field");
     /* ── the optimistic fixpoint ── */
@@ -1363,7 +1447,7 @@ export function analyzeInt32Slots(mod, inputs = {}) {
         eachNodeOfKinds(fn, candidateWrites, (node) => {
             switch (node.kind) {
                 case "assign":
-                    found = box(node.localId);
+                    found = box(node.localId) || slots.hasGlobal(node.localId);
                     break;
                 case "varDecl":
                     found = node.init !== null && box(node.localId);
@@ -1383,7 +1467,7 @@ export function analyzeInt32Slots(mod, inputs = {}) {
                     found = candidateArgs(functions.get(`%${node.className}.constructor`), node.args.length, 1);
                     break;
                 case "assignExpr":
-                    found = box(node.localId);
+                    found = box(node.localId) || slots.hasGlobal(node.localId);
                     break;
             }
             return !found;
@@ -1456,6 +1540,41 @@ export function analyzeInt32Slots(mod, inputs = {}) {
             continue;
         }
         const int32 = (e) => withinInt32(ranges.get(e));
+        // The range of an exact integer that may also be NaN: an element read
+        // of a candidate through `getNumber` (`a[k]!` in arithmetic, NaN for a
+        // missing element), and `+`, `-` and `*` over such values and integers.
+        // A checked store widens the array at a NaN like at any value that is
+        // not an int32.
+        const integerOrNaN = (e) => {
+            const range = ranges.get(e);
+            if (range)
+                return range;
+            if (e.kind === "numLit")
+                return Number.isInteger(e.value) ? { min: e.value, max: e.value } : null;
+            if (e.kind === "arrIntrinsic" && e.method === "getNumber" && e.receiver.kind === "varRef")
+                return slots.hasInt32ElementSlot(int32ArraySlot(int32ArrayKey(fn.name, e.receiver.localId)))
+                    ? INT32_RANGE
+                    : null;
+            if (e.kind !== "bin" || (e.op !== "+" && e.op !== "-" && e.op !== "*"))
+                return null;
+            const left = integerOrNaN(e.left);
+            const right = left && integerOrNaN(e.right);
+            if (!left || !right)
+                return null;
+            const bounds = e.op === "+"
+                ? [left.min + right.min, left.max + right.max]
+                : e.op === "-"
+                    ? [left.min - right.max, left.max - right.min]
+                    : [
+                        left.min * right.min,
+                        left.min * right.max,
+                        left.max * right.min,
+                        left.max * right.max,
+                    ];
+            const min = Math.min(...bounds);
+            const max = Math.max(...bounds);
+            return Math.abs(min) < 2 ** 53 && Math.abs(max) < 2 ** 53 ? { min, max } : null;
+        };
         // Every element stored into an int32 array candidate must be an int32
         // under the facts that assume the candidates' own elements are; a
         // failing store drops its array's element facts, and the function is
@@ -1490,6 +1609,10 @@ export function analyzeInt32Slots(mod, inputs = {}) {
                 const key = int32ArrayKey(fn.name, id);
                 if (!slots.hasInt32ElementSlot(int32ArraySlot(key)) || values.every(int32))
                     continue;
+                // Checked stores serve a lone local: its allocations are the only
+                // arrays it holds. Its stores are judged under the element facts
+                // the ranges were computed with.
+                const checkable = values.every((value) => int32(value) || integerOrNaN(value) !== null);
                 // The array's group drops together: every function reading a
                 // member is analyzed again without its facts.
                 const group = arrayGroups.group.get(key) ?? [key];
@@ -1504,16 +1627,10 @@ export function analyzeInt32Slots(mod, inputs = {}) {
                     else
                         requeue(member.slice(0, member.indexOf("\0")));
                 }
-                // Checked stores serve a lone local: its allocations are the only
-                // arrays it holds.
-                const checkable = (value) => {
-                    const range = ranges.get(value);
-                    return int32(value) || range != null;
-                };
                 if (group.length === 1 &&
                     !key.startsWith("\0") &&
                     !params.has(id) &&
-                    values.every(checkable) &&
+                    checkable &&
                     checkableInt32Allocations(fn, id))
                     slots.checkedInt32Arrays.add(key);
                 else {
@@ -1602,10 +1719,29 @@ export function analyzeInt32Slots(mod, inputs = {}) {
             else if (dropBox(group, `write in ${fn.name} is not int32`))
                 invalidate(`box:${group}`);
         };
+        // An integer literal is its own range, also where the analysis proves
+        // nothing (an async module initializer).
+        const globalWrite = (localId, value) => {
+            if (!slots.hasGlobal(localId))
+                return;
+            const key = `global:${localId}`;
+            const range = ranges.get(value) ??
+                (value.kind === "numLit" && Number.isSafeInteger(value.value) && !Object.is(value.value, -0)
+                    ? { min: value.value, max: value.value }
+                    : null);
+            if (!withinInt32(range)) {
+                if (dropGlobal(localId, `write in ${fn.name} is not int32`))
+                    invalidate(key);
+            }
+            else if (range.min < 0 && slots.demote(key))
+                invalidate(key);
+        };
         walkFunction(fn, nodes?.scan(CANDIDATE_WRITE_KINDS), {
             stmt: (s) => {
-                if (s.kind === "assign")
+                if (s.kind === "assign") {
                     boxWrite(s.localId, s.value);
+                    globalWrite(s.localId, s.value);
+                }
                 else if (s.kind === "varDecl" && s.init)
                     boxWrite(s.localId, s.init);
                 if (s.kind === "fieldSet") {
@@ -1634,8 +1770,10 @@ export function analyzeInt32Slots(mod, inputs = {}) {
                     args(functions.get(e.callee), e.args, 0);
                 else if (e.kind === "new")
                     args(functions.get(`%${e.className}.constructor`), e.args, 1);
-                else if (e.kind === "assignExpr")
+                else if (e.kind === "assignExpr") {
                     boxWrite(e.localId, e.value);
+                    globalWrite(e.localId, e.value);
+                }
             },
         });
         provenByFunction.set(fn.name, proven);