@scriptc/compiler 0.4.2 → 0.4.3

package/dist/ir/js-ic.test.js

@@ -100,6 +100,99 @@ test("property helpers whose class branches only test capsules are cache sites",
     expect(sites.site("%dyn.class.property.0")).toEqual({ kind: "get", key: "x" });
     expect(sites.site("%dyn.class.property.1")).toEqual({ kind: "set", key: "y" });
 });
+test("bags converted between dyn and jsval are still the receiver", () => {
+    // A program that declares a class returns its bags as jsvals, and the
+    // helpers read them through js.toDyn.
+    const toDyn = (value) => ({
+        kind: "libCall",
+        fn: "js.toDyn",
+        args: [value],
+        type: DYN,
+        loc,
+    });
+    const fromDyn = (value) => ({
+        kind: "libCall",
+        fn: "js.fromDyn",
+        args: [value],
+        type: { kind: "jsval" },
+        loc,
+    });
+    const jsvalBag = helper("%dyn.class.readPropertiesOrEmpty.js", ["v"], [capsuleBranch("v"), ret(fromDyn(ref("v")))]);
+    const staticBag = helper("%dyn.class.staticProperties", ["v"], [ret(ref("v"))]);
+    const getter = getHelper("%dyn.class.property.0", "x", [capsuleBranch("p.0")], call(staticBag.name, toDyn(call(jsvalBag.name, ref("p.0")))));
+    const setter = setHelper("%dyn.class.property.1", "y");
+    const write = setter.body[0];
+    const keySet = write.expr;
+    keySet.args[0] = toDyn(call(jsvalBag.name, ref("p.0")));
+    // A converted value that is not the receiver stays a helper call.
+    const foreign = getHelper("%dyn.class.property.2", "x", [], toDyn(fromDyn({ kind: "dynObjLit", type: DYN, loc })));
+    const sites = sitesOf(jsvalBag, staticBag, getter, setter, foreign);
+    expect(sites.site("%dyn.class.property.0")).toEqual({ kind: "get", key: "x" });
+    expect(sites.site("%dyn.class.property.1")).toEqual({ kind: "set", key: "y" });
+    expect(sites.site("%dyn.class.property.2")).toBeNull();
+});
+test("a bag helper may first rebind its parameter to a bag of it", () => {
+    // Programs with subclasses normalize the value before the class branches.
+    const normalize = helper("%dyn.class.normalize", ["v"], [capsuleBranch("v"), ret(ref("v"))]);
+    const rebind = (value) => ({ kind: "assign", localId: "v", value, loc });
+    const normalized = helper("%dyn.class.readPropertiesOrEmpty.normalized", ["v"], [rebind(call(normalize.name, ref("v"))), capsuleBranch("v"), ret(ref("v"))]);
+    const replaced = helper("%dyn.class.readPropertiesOrEmpty.replaced", ["v"], [rebind({ kind: "dynObjLit", type: DYN, loc }), ret(ref("v"))]);
+    const sites = sitesOf(normalize, normalized, replaced, getHelper("%dyn.class.property.0", "x", [], call(normalized.name, ref("p.0"))), getHelper("%dyn.class.property.1", "x", [], call(replaced.name, ref("p.0"))), 
+    // The property helper itself normalizes its receiver first, too.
+    getHelper("%dyn.class.property.2", "x", [
+        { kind: "assign", localId: "p.0", value: call(normalize.name, ref("p.0")), loc },
+        capsuleBranch("p.0"),
+    ]));
+    expect(sites.site("%dyn.class.property.0")).toEqual({ kind: "get", key: "x" });
+    expect(sites.site("%dyn.class.property.1")).toBeNull();
+    expect(sites.site("%dyn.class.property.2")).toEqual({ kind: "get", key: "x" });
+});
+test("keyed helpers may test capsules between the key's coercion and the read", () => {
+    const read = (object, key) => ({
+        kind: "libCall",
+        fn: "js.fromDyn",
+        args: [{ kind: "dynKeyGet", value: object, key: ref(key), type: DYN, loc }],
+        type: { kind: "jsval" },
+        loc,
+    });
+    const guard = (test, tested, object) => ({
+        kind: "if",
+        cond: { kind: "dynTest", test, value: ref(tested), type: BOOL, loc },
+        then: [ret(read(object, "p.key"))],
+        else_: null,
+        loc,
+    });
+    const keyed = (name, between) => helper(name, ["p.0", "p.key"], [
+        capsuleBranch("p.0"),
+        guard("symbol", "p.key", call(identityBag.name, ref("p.0"))),
+        guard("nullish", "p.0", ref("p.0")),
+        {
+            kind: "varDecl",
+            localId: "key.string",
+            init: {
+                kind: "libCall",
+                fn: "dyn.toStringCoerce",
+                args: [ref("p.key")],
+                type: STRING,
+                loc,
+            },
+            loc,
+        },
+        ...between,
+        ret(read(call(identityBag.name, ref("p.0")), "key.string")),
+    ], ["key.string"]);
+    const errorBranch = {
+        kind: "if",
+        cond: { kind: "dynTest", test: "error", value: ref("p.0"), type: BOOL, loc },
+        then: [ret(ref("p.0"))],
+        else_: null,
+        loc,
+    };
+    const sites = sitesOf(keyed("%dyn.class.computed.0", []), keyed("%dyn.class.computed.1", [capsuleBranch("p.0"), capsuleBranch("p.0", "dyn.classIs")]), keyed("%dyn.class.computed.2", [errorBranch]));
+    expect(sites.site("%dyn.class.computed.0")).toEqual({ kind: "keyed" });
+    expect(sites.site("%dyn.class.computed.1")).toEqual({ kind: "keyed" });
+    expect(sites.site("%dyn.class.computed.2")).toBeNull();
+});
 test("any other prefix or tail keeps the helper call", () => {
     const errorBranch = {
         kind: "if",
@@ -145,4 +238,99 @@ test("a function holds a site when it calls a classified helper or dispatches a
     expect(hasJsIcSite({ ...invoker, name: "%init.0" }, sites)).toBe(false);
     expect(hasJsIcSite({ ...caller, name: "%init.0" }, sites)).toBe(true);
 });
+test("bag helpers that exit early for values no class branch matches are still the receiver", () => {
+    /** `if (!<test>(v)) return <value>`: the class tables' early exit. */
+    const exit = (test, value, negated = true) => ({
+        kind: "if",
+        cond: {
+            kind: "dynTest",
+            test,
+            ...(negated ? { negated: true } : {}),
+            value: ref("v"),
+            type: BOOL,
+            loc,
+        },
+        then: [ret(value)],
+        else_: null,
+        loc,
+    });
+    const guarded = (name, first) => helper(name, ["v"], [first, capsuleBranch("v"), ret(ref("v"))]);
+    const readBag = guarded("%dyn.class.readPropertiesOrEmpty", exit("classCapsule", ref("v")));
+    const writeBag = guarded("%dyn.class.properties", exit("classCapsule", ref("v")));
+    const staticBag = guarded("%dyn.class.staticProperties", exit("funcKind", ref("v")));
+    const getter = getHelper("%dyn.class.property.0", "x", [], call(staticBag.name, call(readBag.name, ref("p.0"))));
+    const setter = setHelper("%dyn.class.property.1", "y");
+    // An exit that returns another value, or a test that is not negated,
+    // makes the bag differ from the receiver.
+    const otherExit = guarded("%dyn.class.other", exit("classCapsule", { kind: "dynObjLit", type: DYN, loc }));
+    const positive = guarded("%dyn.class.positive", exit("classCapsule", ref("v"), false));
+    const otherGetter = getHelper("%dyn.class.property.2", "x", [], call(otherExit.name, ref("p.0")));
+    const positiveGetter = getHelper("%dyn.class.property.3", "x", [], call(positive.name, ref("p.0")));
+    const sites = new JsIcSites({
+        functions: [
+            readBag,
+            writeBag,
+            staticBag,
+            otherExit,
+            positive,
+            getter,
+            setter,
+            otherGetter,
+            positiveGetter,
+        ],
+    });
+    expect(sites.site("%dyn.class.property.0")).toEqual({ kind: "get", key: "x" });
+    expect(sites.site("%dyn.class.property.1")).toEqual({ kind: "set", key: "y" });
+    expect(sites.site("%dyn.class.property.2")).toBeNull();
+    expect(sites.site("%dyn.class.property.3")).toBeNull();
+});
+test("helpers that answer plain values first with the same operation are cache sites", () => {
+    const negated = (test) => ({
+        kind: "dynTest",
+        test,
+        negated: true,
+        value: ref("p.0"),
+        type: BOOL,
+        loc,
+    });
+    const exit = (body, test = negated("classCapsule")) => ({
+        kind: "if",
+        cond: test,
+        then: [{ kind: "if", cond: negated("funcKind"), then: body, else_: null, loc }],
+        else_: null,
+        loc,
+    });
+    const store = (key) => [
+        {
+            kind: "exprStmt",
+            expr: {
+                kind: "libCall",
+                fn: "dyn.keySet",
+                args: [ref("p.0"), str(key), ref("p.1")],
+                type: VOID,
+                loc,
+            },
+            loc,
+        },
+        ret(null),
+    ];
+    const load = (key) => [
+        ret({ kind: "dynKeyGet", value: ref("p.0"), key: str(key), type: DYN, loc }),
+    ];
+    const sites = sitesOf(setHelper("%dyn.class.property.0", "x", [exit(store("x")), capsuleBranch("p.0")]), getHelper("%dyn.class.property.1", "x", [exit(load("x")), capsuleBranch("p.0")]), 
+    // An exit for another key, or one plain values do not take.
+    setHelper("%dyn.class.property.2", "x", [exit(store("y"))]), setHelper("%dyn.class.property.3", "x", [
+        exit(store("x"), {
+            kind: "dynTest",
+            test: "classCapsule",
+            value: ref("p.0"),
+            type: BOOL,
+            loc,
+        }),
+    ]));
+    expect(sites.site("%dyn.class.property.0")).toEqual({ kind: "set", key: "x" });
+    expect(sites.site("%dyn.class.property.1")).toEqual({ kind: "get", key: "x" });
+    expect(sites.site("%dyn.class.property.2")).toBeNull();
+    expect(sites.site("%dyn.class.property.3")).toBeNull();
+});
 //# sourceMappingURL=js-ic.test.js.map

package/dist/ir/js-ic.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"js-ic.test.js","sourceRoot":"","sources":["../../src/ir/js-ic.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,SAAS,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACnD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,IAAI,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC7F,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,MAAM;IACZ,MAAM;IACN,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAE/E,SAAS,MAAM,CAAC,IAAY,EAAE,MAAgB,EAAE,IAAc,EAAE,MAAM,GAAa,EAAE;IACnF,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACzF,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,aAAa,CAAC,KAAa,EAAE,EAAE,GAAG,gBAAgB;IACzD,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,EAAsB;YAC1B,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GAAG,MAAM,CACxB,kCAAkC,EAClC,CAAC,GAAG,CAAC,EACL,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,SAAS,SAAS,CAAC,IAAY,EAAE,GAAW,EAAE,MAAM,GAAa,EAAE,EAAE,GAAY;IAC/E,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,OAAO,MAAM,CACX,IAAI,EACJ,CAAC,KAAK,CAAC,EACP;QACE,GAAG,MAAM;QACT,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE;QAC3F,GAAG,CAAC;YACF,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC/E,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACzE,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;wBACpC,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YACvB,GAAG;SACJ,CAAC;KACH,EACD,CAAC,OAAO,CAAC,CACV,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,GAAW,EAAE,MAAM,GAAa,EAAE;IACjE,OAAO;QACL,GAAG,MAAM,CACP,IAAI,EACJ,CAAC,KAAK,EAAE,KAAK,CAAC,EACd;YACE,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,YAAY;oBAChB,IAAI,EAAE,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;oBACvE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD,GAAG,CAAC,IAAI,CAAC;SACV,CACF;QACD,UAAU,EAAE,IAAI;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,MAAM,CAAC,uBAAuB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/F,SAAS,OAAO,CAAC,GAAG,SAAuB;IACzC,OAAO,IAAI,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,KAAK,GAAG,OAAO,CACnB,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACtC,aAAa,CAAC,KAAK,CAAC;QACpB,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC;KACpC,CAAC,EACF,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,CACrF,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,WAAW,GAAW;QAC1B,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC5E,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;IACF,sEAAsE;IACtE,MAAM,SAAS,GAAG,SAAS,CAAC,uBAAuB,EAAE,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAChF,uDAAuD;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChG,kDAAkD;IAClD,MAAM,MAAM,GAAG,EAAE,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,MAAM,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,MAAM,CACpB,GAAG,EACH,CAAC,GAAG,CAAC,EACL;QACE,GAAG,CAAC;YACF,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;YACd,MAAM,EAAE,GAAG;YACX,UAAU,EAAE,KAAK;YACjB,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CACF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,mEAAmE;IACnE,mDAAmD;IACnD,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"js-ic.test.js","sourceRoot":"","sources":["../../src/ir/js-ic.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,SAAS,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACnD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,IAAI,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC7F,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,MAAM;IACZ,MAAM;IACN,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAE/E,SAAS,MAAM,CAAC,IAAY,EAAE,MAAgB,EAAE,IAAc,EAAE,MAAM,GAAa,EAAE;IACnF,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACzF,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,aAAa,CAAC,KAAa,EAAE,EAAE,GAAG,gBAAgB;IACzD,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,EAAsB;YAC1B,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GAAG,MAAM,CACxB,kCAAkC,EAClC,CAAC,GAAG,CAAC,EACL,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,SAAS,SAAS,CAAC,IAAY,EAAE,GAAW,EAAE,MAAM,GAAa,EAAE,EAAE,GAAY;IAC/E,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,OAAO,MAAM,CACX,IAAI,EACJ,CAAC,KAAK,CAAC,EACP;QACE,GAAG,MAAM;QACT,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE;QAC3F,GAAG,CAAC;YACF,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC/E,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACzE,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;wBACpC,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YACvB,GAAG;SACJ,CAAC;KACH,EACD,CAAC,OAAO,CAAC,CACV,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,GAAW,EAAE,MAAM,GAAa,EAAE;IACjE,OAAO;QACL,GAAG,MAAM,CACP,IAAI,EACJ,CAAC,KAAK,EAAE,KAAK,CAAC,EACd;YACE,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,YAAY;oBAChB,IAAI,EAAE,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;oBACvE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD,GAAG,CAAC,IAAI,CAAC;SACV,CACF;QACD,UAAU,EAAE,IAAI;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,MAAM,CAAC,uBAAuB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/F,SAAS,OAAO,CAAC,GAAG,SAAuB;IACzC,OAAO,IAAI,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,KAAK,GAAG,OAAO,CACnB,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACtC,aAAa,CAAC,KAAK,CAAC;QACpB,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC;KACpC,CAAC,EACF,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,CACrF,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,sEAAsE;IACtE,sCAAsC;IACtC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACvB,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,CACrB,qCAAqC,EACrC,CAAC,GAAG,CAAC,EACL,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAC7C,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,6BAA6B,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,SAAS,CACtB,uBAAuB,EACvB,GAAG,EACH,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EACtB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAC7D,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAA0C,CAAC;IACtE,MAAM,MAAM,GAAG,KAAK,CAAC,IAA4C,CAAC;IAClE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACxD,kEAAkE;IAClE,MAAM,OAAO,GAAG,SAAS,CACvB,uBAAuB,EACvB,GAAG,EACH,EAAE,EACF,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAY,CAAC,CAAC,CAChE,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,0EAA0E;IAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IACzF,MAAM,UAAU,GAAG,MAAM,CACvB,6CAA6C,EAC7C,CAAC,GAAG,CAAC,EACL,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAC5E,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CACrB,2CAA2C,EAC3C,CAAC,GAAG,CAAC,EACL,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAY,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CACzE,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CACnB,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAC9E,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5E,iEAAiE;IACjE,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACtC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE;QAChF,aAAa,CAAC,KAAK,CAAC;KACrB,CAAC,CACH,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC3E,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACvB,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAA0B,EAAE,MAAc,EAAE,MAAc,EAAU,EAAE,CAAC,CAAC;QACrF,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACpE,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAClC,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,OAAiB,EAAc,EAAE,CAC5D,MAAM,CACJ,IAAI,EACJ,CAAC,KAAK,EAAE,OAAO,CAAC,EAChB;QACE,aAAa,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,YAAY;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,oBAAoB;gBACxB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACpB,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ;QACD,GAAG,OAAO;QACV,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;KAC5D,EACD,CAAC,YAAY,CAAC,CACf,CAAC;IACJ,MAAM,WAAW,GAAW;QAC1B,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC5E,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CACnB,KAAK,CAAC,uBAAuB,EAAE,EAAE,CAAC,EAClC,KAAK,CAAC,uBAAuB,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EAC3F,KAAK,CAAC,uBAAuB,EAAE,CAAC,WAAW,CAAC,CAAC,CAC9C,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,WAAW,GAAW;QAC1B,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC5E,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;IACF,sEAAsE;IACtE,MAAM,SAAS,GAAG,SAAS,CAAC,uBAAuB,EAAE,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAChF,uDAAuD;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChG,kDAAkD;IAClD,MAAM,MAAM,GAAG,EAAE,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,MAAM,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,MAAM,CACpB,GAAG,EACH,CAAC,GAAG,CAAC,EACL;QACE,GAAG,CAAC;YACF,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;YACd,MAAM,EAAE,GAAG;YACX,UAAU,EAAE,KAAK;YACjB,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CACF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,mEAAmE;IACnE,mDAAmD;IACnD,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uFAAuF,EAAE,GAAG,EAAE;IACjG,sEAAsE;IACtE,MAAM,IAAI,GAAG,CAAC,IAAiC,EAAE,KAAa,EAAE,OAAO,GAAG,IAAI,EAAU,EAAE,CAAC,CAAC;QAC1F,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,IAAI;YACJ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;YACf,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE,CAC1D,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,kCAAkC,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,QAAQ,GAAG,OAAO,CAAC,uBAAuB,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,SAAS,GAAG,OAAO,CAAC,6BAA6B,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,SAAS,CACtB,uBAAuB,EACvB,GAAG,EACH,EAAE,EACF,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CACrD,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACvD,qEAAqE;IACrE,0CAA0C;IAC1C,MAAM,SAAS,GAAG,OAAO,CACvB,kBAAkB,EAClB,IAAI,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAY,CAAC,CACtE,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,qBAAqB,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACvF,MAAM,WAAW,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,cAAc,GAAG,SAAS,CAC9B,uBAAuB,EACvB,GAAG,EACH,EAAE,EACF,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAChC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,SAAS,CAAC;QAC1B,SAAS,EAAE;YACT,OAAO;YACP,QAAQ;YACR,SAAS;YACT,SAAS;YACT,QAAQ;YACR,MAAM;YACN,MAAM;YACN,WAAW;YACX,cAAc;SACf;KACF,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,OAAO,GAAG,CAAC,IAAiC,EAAU,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;QACjB,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,CAAC,IAAc,EAAE,IAAI,GAAW,OAAO,CAAC,cAAc,CAAC,EAAU,EAAE,CAAC,CAAC;QAChF,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/E,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,GAAW,EAAY,EAAE,CAAC;QACvC;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;gBACxC,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;QACD,GAAG,CAAC,IAAI,CAAC;KACV,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,GAAW,EAAY,EAAE,CAAC;QACtC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;KAC7E,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CACnB,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EACjF,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAChF,4DAA4D;IAC5D,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAC3D,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACtC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;YACf,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;YACjB,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;KACH,CAAC,CACH,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzD,CAAC,CAAC,CAAC"}

package/dist/ir/node-index.d.ts

@@ -0,0 +1,57 @@
+import type { IrExpr, IrFunction, IrModule, IrStmt, IrType } from "./ir.js";
+/** An expression or statement kind. The two sets of kinds are disjoint. */
+export type IrNodeKind = IrExpr["kind"] | IrStmt["kind"];
+/** Every expression and statement of each function body of a module, in
+ * the order everyStmtList visits them (a node before its children), with
+ * a kind code per node and, per function, the set of kinds present.
+ *
+ * The bodies must not change while the index is in use. Its owner (the
+ * LLVM emitter) builds it before its analyses run; no later pass rewrites
+ * a recorded body in place, and a rewritten copy of a function is walked. */
+export declare class IrNodeIndex {
+    /** Every type object the typed module traversal (everyModuleNode)
+     * reaches, nested ones included, each once. */
+    readonly types: readonly IrType[];
+    private readonly nodes;
+    private readonly codes;
+    private readonly kindCodes;
+    /** By function object: an analysis may see a rewritten copy of a
+     * function under the same name, whose nodes are not recorded here. */
+    private readonly functionIndex;
+    /** nodes[starts[i]] .. nodes[starts[i + 1] - 1] belong to function i. */
+    private readonly starts;
+    /** Per function, eight words of kind-present bits. */
+    private readonly present;
+    /** By the kind list (or excluded set) a scan was made from. */
+    private readonly scans;
+    /** By kind code: 1 for statement kinds. */
+    private readonly statements;
+    constructor(mod: IrModule);
+    /** A scan for the nodes of `kinds`, for eachNodeOfKinds. Pass a
+     * constant list: scans are kept by the list's identity. */
+    scan(kinds: readonly IrNodeKind[]): IrKindScan;
+    /** A scan for every expression. */
+    expressions(): IrKindScan;
+    /** A scan for the nodes of every kind but those in `excluded`. Pass a
+     * constant set: scans are kept by the set's identity. */
+    scanExcept(excluded: ReadonlySet<string>): IrKindScan;
+    private scanOf;
+    /** Calls `note` with each recorded node of `fn` whose kind `scan` names,
+     * in walk order, until it answers false. False (nothing called) when
+     * `fn` is not recorded. */
+    visit(fn: IrFunction, scan: IrKindScan, note: IrNodeNote): boolean;
+}
+/** Receives a node and whether it is a statement; false stops the visit. */
+export type IrNodeNote = (node: IrExpr | IrStmt, statement: boolean) => boolean | void;
+/** The kinds one analysis reads, resolved against one index. */
+export interface IrKindScan {
+    readonly index: IrNodeIndex;
+    readonly table: Uint8Array;
+    readonly words: Uint32Array;
+}
+/** Calls `note` for the nodes of `fn` in walk order (everyStmtList's)
+ * until it answers false: with `scan`, only those of its kinds, read from
+ * the index; without one (or for a function the index did not record),
+ * every node, by walking. `note` must ignore the kinds the scan does not
+ * name, so both answer the same. */
+export declare function eachNodeOfKinds(fn: IrFunction, scan: IrKindScan | undefined, note: IrNodeNote): void;

package/dist/ir/node-index.js

@@ -0,0 +1,215 @@
+/* One walk over a module's function bodies, recorded for analyses that
+ * only collect facts from nodes of a few kinds. Each such analysis used to
+ * walk every body itself; reading the recorded kind codes instead visits
+ * the same nodes in the same order without recursing through the tree. */
+import { InternalCompilerError } from "../errors.js";
+import { everyStmtList, everyTypeChild } from "./traverse.js";
+/** The code of a kind no node has: it matches no recorded node. */
+const ABSENT = 255;
+/** Every expression and statement of each function body of a module, in
+ * the order everyStmtList visits them (a node before its children), with
+ * a kind code per node and, per function, the set of kinds present.
+ *
+ * The bodies must not change while the index is in use. Its owner (the
+ * LLVM emitter) builds it before its analyses run; no later pass rewrites
+ * a recorded body in place, and a rewritten copy of a function is walked. */
+export class IrNodeIndex {
+    /** Every type object the typed module traversal (everyModuleNode)
+     * reaches, nested ones included, each once. */
+    types;
+    nodes = [];
+    codes;
+    kindCodes = new Map();
+    /** By function object: an analysis may see a rewritten copy of a
+     * function under the same name, whose nodes are not recorded here. */
+    functionIndex = new Map();
+    /** nodes[starts[i]] .. nodes[starts[i + 1] - 1] belong to function i. */
+    starts;
+    /** Per function, eight words of kind-present bits. */
+    present;
+    /** By the kind list (or excluded set) a scan was made from. */
+    scans = new Map();
+    /** By kind code: 1 for statement kinds. */
+    statements = new Uint8Array(256);
+    constructor(mod) {
+        const nodes = this.nodes;
+        const types = [];
+        const seenTypes = new Set();
+        // A type object's children never change: one visit covers its tree.
+        const addType = (type) => {
+            if (seenTypes.has(type))
+                return true;
+            seenTypes.add(type);
+            types.push(type);
+            return everyTypeChild(type, addType);
+        };
+        const statementKinds = new Set();
+        const visitor = {
+            expr: (node) => {
+                nodes.push(node);
+                addType(node.type);
+                return true;
+            },
+            stmt: (node) => {
+                nodes.push(node);
+                statementKinds.add(node.kind);
+                return true;
+            },
+        };
+        const functions = mod.functions;
+        this.starts = new Int32Array(functions.length + 1);
+        for (let f = 0; f < functions.length; f++) {
+            this.functionIndex.set(functions[f], f);
+            this.starts[f] = nodes.length;
+            everyStmtList(functions[f].body, visitor);
+        }
+        this.starts[functions.length] = nodes.length;
+        // The other type slots everyModuleNode visits.
+        for (const fn of functions) {
+            for (const param of fn.params)
+                addType(param.type);
+            addType(fn.returnType);
+            for (const local of fn.locals)
+                addType(local.type);
+            for (const capture of fn.captures ?? [])
+                addType(capture.type);
+            for (const capture of fn.classCaptures ?? [])
+                addType(capture.type);
+            if (fn.generator !== undefined) {
+                addType(fn.generator.yieldT);
+                addType(fn.generator.nextT);
+                addType(fn.generator.resultType);
+            }
+        }
+        for (const cls of mod.classes ?? []) {
+            for (const capture of cls.localCaptures ?? [])
+                addType(capture.type);
+            for (const field of cls.fields)
+                addType(field.type);
+        }
+        for (const global of mod.globals ?? [])
+            addType(global.type);
+        for (const record of mod.records ?? []) {
+            for (const field of record.fields)
+                addType(field.type);
+            if (record.indexValue !== undefined)
+                addType(record.indexValue);
+        }
+        for (const union of mod.unions ?? [])
+            for (const arm of union.arms)
+                addType(arm);
+        this.types = types;
+        const codes = new Uint8Array(nodes.length);
+        const present = new Uint32Array(functions.length * 8);
+        let previousKind = "";
+        let previousCode = ABSENT;
+        for (let f = 0; f < functions.length; f++) {
+            const end = this.starts[f + 1];
+            for (let i = this.starts[f]; i < end; i++) {
+                const kind = nodes[i].kind;
+                if (kind !== previousKind) {
+                    let code = this.kindCodes.get(kind);
+                    if (code === undefined) {
+                        code = this.kindCodes.size;
+                        if (code >= ABSENT)
+                            throw new InternalCompilerError("more IR node kinds than codes");
+                        this.kindCodes.set(kind, code);
+                    }
+                    previousKind = kind;
+                    previousCode = code;
+                }
+                codes[i] = previousCode;
+                present[f * 8 + (previousCode >>> 5)] |= 1 << (previousCode & 31);
+            }
+        }
+        this.codes = codes;
+        this.present = present;
+        for (const [kind, code] of this.kindCodes)
+            if (statementKinds.has(kind))
+                this.statements[code] = 1;
+    }
+    /** A scan for the nodes of `kinds`, for eachNodeOfKinds. Pass a
+     * constant list: scans are kept by the list's identity. */
+    scan(kinds) {
+        const known = this.scans.get(kinds);
+        if (known !== undefined)
+            return known;
+        const codes = [];
+        for (const kind of kinds) {
+            const code = this.kindCodes.get(kind);
+            if (code !== undefined)
+                codes.push(code);
+        }
+        return this.scanOf(kinds, codes);
+    }
+    /** A scan for every expression. */
+    expressions() {
+        const known = this.scans.get(this.statements);
+        if (known !== undefined)
+            return known;
+        const codes = [];
+        for (const code of this.kindCodes.values())
+            if (this.statements[code] === 0)
+                codes.push(code);
+        return this.scanOf(this.statements, codes);
+    }
+    /** A scan for the nodes of every kind but those in `excluded`. Pass a
+     * constant set: scans are kept by the set's identity. */
+    scanExcept(excluded) {
+        const known = this.scans.get(excluded);
+        if (known !== undefined)
+            return known;
+        const codes = [];
+        for (const [kind, code] of this.kindCodes)
+            if (!excluded.has(kind))
+                codes.push(code);
+        return this.scanOf(excluded, codes);
+    }
+    scanOf(key, codes) {
+        const table = new Uint8Array(256);
+        const words = new Uint32Array(8);
+        for (const code of codes) {
+            table[code] = 1;
+            words[code >>> 5] |= 1 << (code & 31);
+        }
+        const scan = { index: this, table, words };
+        this.scans.set(key, scan);
+        return scan;
+    }
+    /** Calls `note` with each recorded node of `fn` whose kind `scan` names,
+     * in walk order, until it answers false. False (nothing called) when
+     * `fn` is not recorded. */
+    visit(fn, scan, note) {
+        const f = this.functionIndex.get(fn);
+        if (f === undefined)
+            return false;
+        let any = 0;
+        for (let w = 0; w < 8; w++)
+            any |= this.present[f * 8 + w] & scan.words[w];
+        if (any === 0)
+            return true;
+        const { nodes, codes, statements } = this;
+        const table = scan.table;
+        const end = this.starts[f + 1];
+        for (let i = this.starts[f]; i < end; i++) {
+            const code = codes[i];
+            if (table[code] !== 0 && note(nodes[i], statements[code] !== 0) === false)
+                break;
+        }
+        return true;
+    }
+}
+/** Calls `note` for the nodes of `fn` in walk order (everyStmtList's)
+ * until it answers false: with `scan`, only those of its kinds, read from
+ * the index; without one (or for a function the index did not record),
+ * every node, by walking. `note` must ignore the kinds the scan does not
+ * name, so both answer the same. */
+export function eachNodeOfKinds(fn, scan, note) {
+    if (scan !== undefined && scan.index.visit(fn, scan, note))
+        return;
+    everyStmtList(fn.body, {
+        expr: (node) => note(node, false) !== false,
+        stmt: (node) => note(node, true) !== false,
+    });
+}
+//# sourceMappingURL=node-index.js.map

package/dist/ir/node-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-index.js","sourceRoot":"","sources":["../../src/ir/node-index.ts"],"names":[],"mappings":"AAAA;;;0EAG0E;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAK9D,mEAAmE;AACnE,MAAM,MAAM,GAAG,GAAG,CAAC;AAEnB;;;;;;6EAM6E;AAC7E,MAAM,OAAO,WAAW;IACtB;mDAC+C;IACtC,KAAK,CAAoB;IACjB,KAAK,GAAwB,EAAE,CAAC;IAChC,KAAK,CAAa;IAClB,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvD;0EACsE;IACrD,aAAa,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/D,yEAAyE;IACxD,MAAM,CAAa;IACpC,sDAAsD;IACrC,OAAO,CAAc;IACtC,+DAA+D;IAC9C,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IACvD,2CAA2C;IAC1B,UAAU,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;IAElD,YAAY,GAAa;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,oEAAoE;QACpE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE;YACxC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9B,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;QACF,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;YAC9B,aAAa,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QAC7C,+CAA+C;QAC/C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YACvB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/D,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACpE,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC7B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC5B,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACrE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;YAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7D,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE;YAAE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACjF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtD,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,IAAI,YAAY,GAAG,MAAM,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAChC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;gBAC5B,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC1B,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;wBAC3B,IAAI,IAAI,IAAI,MAAM;4BAAE,MAAM,IAAI,qBAAqB,CAAC,+BAA+B,CAAC,CAAC;wBACrF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACjC,CAAC;oBACD,YAAY,GAAG,IAAI,CAAC;oBACpB,YAAY,GAAG,IAAI,CAAC;gBACtB,CAAC;gBACD,KAAK,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC;gBACxB,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS;YACvC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IAED;+DAC2D;IAC3D,IAAI,CAAC,KAA4B;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,mCAAmC;IACnC,WAAW;QACT,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE;YAAE,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9F,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED;6DACyD;IACzD,UAAU,CAAC,QAA6B;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAEO,MAAM,CAAC,GAAW,EAAE,KAAwB;QAClD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,KAAK,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;+BAE2B;IAC3B,KAAK,CAAC,EAAc,EAAE,IAAgB,EAAE,IAAgB;QACtD,MAAM,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC7E,IAAI,GAAG,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK;gBAAE,MAAM;QACpF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAYD;;;;oCAIoC;AACpC,MAAM,UAAU,eAAe,CAC7B,EAAc,EACd,IAA4B,EAC5B,IAAgB;IAEhB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO;IACnE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,KAAK;QAC3C,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK;KAC3C,CAAC,CAAC;AACL,CAAC"}

package/dist/ir/paired-while-loops.d.ts

@@ -0,0 +1,25 @@
+import { type IrModule } from "./ir.js";
+/** Two-counter while loops run as two-counter for loops.
+ *
+ *   let lo = a, hi = b;
+ *   while (lo < hi) { ...; lo++; hi--; }
+ *
+ * runs as `for (let l = lo, h = hi; l < h; l++, h--) { ... }`, whose
+ * counters the backend stores as integers (matchIntegerPairedForLoop). The
+ * loop qualifies when:
+ * - its condition compares the two counters (`<`, `<=`, `>` or `>=`);
+ * - its body ends with one update of each counter;
+ * - no `continue` in the body binds to it (a for loop's `continue` runs the
+ *   update, a while loop's skips the body's last statements);
+ * - the function mentions neither counter outside the loop, except in one
+ *   declaration or as a parameter;
+ * - every entry starts from the declared or passed values: a declaration is
+ *   an earlier statement of the loop's own statement list, which runs before
+ *   each entry, and a loop over a parameter is in no other loop.
+ *
+ * The for loop's counters are new locals that start from the counters'
+ * values on entry, so the declarations stay where they are and nothing
+ * between them and the loop moves. The original counters are not read
+ * after the loop, so they need no final value. A loop that the paired match
+ * would refuse is left as it is. */
+export declare function runPairedWhileLoopsAsFor(mod: IrModule): IrModule;