@scriptc/compiler 0.3.6 → 0.4.1

package/dist/ir/array-length-stability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-length-stability.js","sourceRoot":"","sources":["../../src/ir/array-length-stability.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/D;uCACuC;AACvC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAS;IAC5C,QAAQ;IACR,WAAW;IACX,SAAS;IACT,SAAS;IACT,UAAU;IACV,aAAa;CACd,CAAC,CAAC;AAEH,yEAAyE;AACzE,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;AAExF;qEACqE;AACrE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AACpE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAE7D;sCACsC;AACtC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAS;IACxC,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,QAAQ;IACR,KAAK;IACL,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;IACR,UAAU;IACV,WAAW;IACX,aAAa;IACb,YAAY;IACZ,WAAW;IACX,WAAW;IACX,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAEH;kDACkD;AAClD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS;IACvC,SAAS;IACT,QAAQ;IACR,UAAU;IACV,IAAI;IACJ,OAAO;IACP,OAAO;IACP,UAAU;IACV,KAAK;IACL,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAEH;0DAC0D;AAC1D,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAS;IACjD,GAAG,qBAAqB;IACxB,MAAM;IACN,KAAK;IACL,OAAO;IACP,SAAS;IACT,QAAQ;IACR,MAAM;IACN,OAAO;CACR,CAAC,CAAC;AAEH;;;;uDAIuD;AACvD,MAAM,UAAU,wBAAwB,CAAC,EAAc;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC5E,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACtF,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,KAAoB,EAAW,EAAE,CAC9C,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAQ,EAAE;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7B,OAAO,IAAI,CAAC;YACd,KAAK,YAAY;gBACf,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7B,MAAM;YACR,KAAK,cAAc;gBACjB,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,MAAM;gBACrD,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACrB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACrB,OAAO,IAAI,CAAC;YACd,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,YAAY;gBACf,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAChB,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACd,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBACtD,IAAI,KAAK,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;qBACpC,IAAI,KAAK;oBAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7C,IAAI,KAAK;oBAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,UAAU;gBACb,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAChB,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACd,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACd,OAAO,IAAI,CAAC;YACd,KAAK,QAAQ;gBACX,IAAI,CAAC,CAAC,KAAK;oBAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,KAAK,OAAO,CAAC;YACb,KAAK,UAAU;gBACb,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;oBAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACrD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY;oBAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;gBAC/E,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpB,kEAAkE;IAClE,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzE,OAAO,UAAU,CAAC;AACpB,CAAC;AAaD;;;;;;;;;;;;qCAYqC;AACrC,MAAM,UAAU,oBAAoB,CAClC,KAAmC,EACnC,IAAqB,EACrB,MAAoC,EACpC,SAA8B;IAE9B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACpF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACjF,yEAAyE;IACzE,YAAY;IACZ,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE,CACtC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,QAAQ,IAAI,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC;IACrF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,QAAQ,CAAC;YACrC,KAAK,YAAY,CAAC;YAClB,KAAK,QAAQ;gBACX,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC9D,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,YAAY;gBACf,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1C,KAAK,cAAc;gBACjB,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3F,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACpD,KAAK,cAAc;gBACjB,OAAO,CACL,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;oBACpC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBACjC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAChB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CACnB,CAAC;YACJ,KAAK,gBAAgB,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBACpC,OAAO,CACL,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;oBACxE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAChB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CACnB,CAAC;YACJ,CAAC;YACD,KAAK,MAAM;gBACT,8DAA8D;gBAC9D,2DAA2D;gBAC3D,OAAO,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrE,KAAK,cAAc;gBACjB,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrF,KAAK,cAAc;gBACjB,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrF,KAAK,SAAS;gBACZ,OAAO,CACL,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;oBAC9C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CACnB,CAAC;YACJ,KAAK,WAAW;gBACd,OAAO,CACL,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAC7B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAC9B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;oBACZ,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CACd,CAAC;YACJ;gBACE,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACrC,MAAM;YACR,KAAK,UAAU;gBACb,OAAO,CACL,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;oBACd,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACxB,IAAI,CAAC,OAAO,KAAK,IAAI;wBACrB,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC;oBACtC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;oBACf,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;oBACb,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CACd,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC3C;gBACE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;QACpD,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC,CAAC,CAAC;AAC/F,CAAC"}

package/dist/ir/array-length-stability.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/ir/array-length-stability.test.js

@@ -0,0 +1,134 @@
+import { expect, test } from "vitest";
+import { findUnaliasedLocalArrays, preservesArrayLength } from "./array-length-stability.js";
+import { BOOL, F64, arrayOf, mapOf, setOf, } from "./ir.js";
+const loc = { file: "array-length-stability.ts", start: 0, end: 0 };
+const ARR = arrayOf(F64);
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const ref = (localId) => ({ kind: "varRef", localId, type: F64, loc });
+const arr = (localId) => ({ kind: "varRef", localId, type: ARR, loc });
+const method = (receiver, name, args = []) => ({
+    kind: "arrIntrinsic",
+    method: name,
+    receiver: arr(receiver),
+    args,
+    type: F64,
+    loc,
+});
+const length = (receiver) => method(receiver, "length");
+const read = (receiver, index) => method(receiver, "getNumber", [index]);
+const plus = (left, right) => ({
+    kind: "bin",
+    op: "+",
+    left,
+    right,
+    type: F64,
+    loc,
+});
+const stmt = (expr) => ({ kind: "exprStmt", expr, loc });
+const set = (receiver, index, value) => ({
+    kind: "arraySet",
+    arr: arr(receiver),
+    index,
+    value,
+    loc,
+});
+const cond = { kind: "bin", op: "<", left: ref("i"), right: length("a"), type: BOOL, loc };
+const sum = {
+    kind: "assign",
+    localId: "s",
+    value: plus(ref("s"), read("a", ref("i"))),
+    loc,
+};
+const locals = new Map([
+    ["i", { id: "i", name: "i", type: F64, mutable: true }],
+    ["s", { id: "s", name: "s", type: F64, mutable: true }],
+    ["a", { id: "a", name: "a", type: ARR, mutable: false }],
+    ["b", { id: "b", name: "b", type: ARR, mutable: false }],
+    ["out", { id: "out", name: "out", type: ARR, mutable: false }],
+]);
+const preserves = (body, inRange = "i", unaliased = new Set(), scope = locals) => preservesArrayLength([cond, ...body], { receiver: "a", inRange }, scope, unaliased);
+test("reads, local arithmetic and element writes at the in-range counter keep the length", () => {
+    expect(preserves([sum])).toBe(true);
+    expect(preserves([set("a", ref("i"), num(1)), set("b", ref("i"), read("a", ref("i")))])).toBe(true);
+    expect(preserves([stmt(method("a", "indexOf", [num(3)]))])).toBe(true);
+});
+test("writes past the counter, without an in-range counter, or to the counter can grow it", () => {
+    expect(preserves([set("a", plus(ref("i"), num(1)), num(1))])).toBe(false);
+    expect(preserves([set("b", ref("s"), num(1))])).toBe(false);
+    expect(preserves([set("a", ref("i"), num(1))], null)).toBe(false);
+    expect(preserves([{ kind: "assign", localId: "i", value: num(0), loc }, sum])).toBe(false);
+});
+test("resizing methods, length stores, calls and escapes refuse the proof", () => {
+    for (const name of ["push", "pop", "shift", "unshift", "splice", "fill"])
+        expect(preserves([stmt(method("a", name, [num(1)]))])).toBe(false);
+    // An unrelated array may alias the receiver.
+    expect(preserves([stmt(method("b", "push", [num(1)]))])).toBe(false);
+    expect(preserves([{ kind: "arraySetLength", arr: arr("a"), length: num(0), loc }])).toBe(false);
+    expect(preserves([{ kind: "arrayDelete", arr: arr("a"), index: ref("i"), loc }])).toBe(false);
+    expect(preserves([stmt({ kind: "call", callee: "f", args: [], type: F64, loc })])).toBe(false);
+    expect(preserves([stmt({ kind: "call", callee: "f", args: [arr("a")], type: F64, loc })])).toBe(false);
+    expect(preserves([{ kind: "varDecl", localId: "b", init: arr("a"), loc }])).toBe(false);
+    expect(preserves([{ kind: "assign", localId: "a", value: arr("b"), loc }])).toBe(false);
+});
+test("an unaliased local array other than the receiver may grow", () => {
+    const push = stmt(method("out", "push", [read("a", ref("i"))]));
+    expect(preserves([push], "i", new Set(["out"]))).toBe(true);
+    expect(preserves([set("out", ref("s"), num(1))], "i", new Set(["out"]))).toBe(true);
+    expect(preserves([push])).toBe(false);
+    // The receiver itself is never resized, even when no alias exists.
+    expect(preserves([stmt(method("a", "push", [num(1)]))], "i", new Set(["a"]))).toBe(false);
+});
+test("captured receivers have no local proof", () => {
+    const boxed = new Map(locals);
+    boxed.set("a", { ...locals.get("a"), boxed: true });
+    expect(preserves([sum], "i", new Set(), boxed)).toBe(false);
+});
+test("Map and Set reads and checked union extractions run no user code", () => {
+    const counts = { kind: "varRef", localId: "m", type: mapOf(F64, F64), loc };
+    const seen = { kind: "varRef", localId: "v", type: setOf(F64), loc };
+    const onMap = (name, args) => ({ kind: "mapIntrinsic", method: name, receiver: counts, args, type: F64, loc });
+    const onSet = (name, args) => ({ kind: "setIntrinsic", method: name, receiver: seen, args, type: BOOL, loc });
+    const call = (callee) => ({
+        kind: "call",
+        callee,
+        args: [ref("s")],
+        type: F64,
+        loc,
+    });
+    const key = read("a", ref("i"));
+    expect(preserves([stmt(onMap("has", [key])), stmt(onMap("get", [key])), stmt(onMap("size", []))])).toBe(true);
+    expect(preserves([stmt(onSet("has", [key])), stmt(onSet("size", []))])).toBe(true);
+    expect(preserves([stmt(call("%union.narrow.0"))])).toBe(true);
+    // Writes release replaced values; other calls run user code.
+    expect(preserves([stmt(onMap("set", [key, num(1)]))])).toBe(false);
+    expect(preserves([stmt(onSet("add", [key]))])).toBe(false);
+    expect(preserves([stmt(call("g"))])).toBe(false);
+});
+function fn(body, params = []) {
+    return {
+        loc,
+        name: "f",
+        params: params.map((localId) => ({ localId, type: ARR })),
+        returnType: ARR,
+        locals: [...locals.values()],
+        body,
+    };
+}
+const fresh = { kind: "arrayLit", elems: [], type: ARR, loc };
+test("fresh local arrays read only as receivers have no alias", () => {
+    const body = [
+        { kind: "varDecl", localId: "out", init: fresh, loc },
+        stmt(method("out", "push", [num(1)])),
+        { kind: "return", value: arr("out"), loc },
+    ];
+    expect([...findUnaliasedLocalArrays(fn(body))]).toEqual(["out"]);
+    // Parameters, copies into another binding, and arguments escape.
+    expect(findUnaliasedLocalArrays(fn(body, ["out"])).size).toBe(0);
+    const copied = [...body, { kind: "varDecl", localId: "b", init: arr("out"), loc }];
+    expect(findUnaliasedLocalArrays(fn(copied)).has("out")).toBe(false);
+    const passed = [...body, stmt({ kind: "call", callee: "g", args: [arr("out")], type: F64, loc })];
+    expect(findUnaliasedLocalArrays(fn(passed)).has("out")).toBe(false);
+    const rebound = [...body, { kind: "assign", localId: "out", value: arr("a"), loc }];
+    expect(findUnaliasedLocalArrays(fn(rebound)).has("out")).toBe(false);
+});
+//# sourceMappingURL=array-length-stability.test.js.map

package/dist/ir/array-length-stability.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-length-stability.test.js","sourceRoot":"","sources":["../../src/ir/array-length-stability.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EACL,IAAI,EACJ,GAAG,EACH,OAAO,EACP,KAAK,EACL,KAAK,GAKN,MAAM,SAAS,CAAC;AAEjB,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AACzB,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,MAAM,GAAG,CACb,QAAgB,EAChB,IAAyD,EACzD,IAAI,GAAa,EAAE,EACX,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAU,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AACxE,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAU,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACjG,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,KAAK;IACX,EAAE,EAAE,GAAG;IACP,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACzE,MAAM,GAAG,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK;IACL,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACnG,MAAM,GAAG,GAAW;IAClB,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,GAAG;IACZ,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,GAAG;CACJ,CAAC;AACF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB;IACtC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CAC/D,CAAC,CAAC;AACH,MAAM,SAAS,GAAG,CAChB,IAAc,EACd,OAAO,GAAkB,GAAG,EAC5B,SAAS,GAAwB,IAAI,GAAG,EAAE,EAC1C,KAAK,GAAG,MAAM,EACL,EAAE,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AAElG,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;IAC9F,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC3F,IAAI,CACL,CAAC;IACF,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;IAC/F,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAU;QAC/E,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,6CAA6C;IAC7C,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChG,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9F,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/F,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7F,KAAK,CACN,CAAC;IACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,mEAAmE;IACnE,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;IACpF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;IAC7E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAc,EAAU,EAAE,CACrD,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAW,CAAC;IAC7F,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAc,EAAU,EAAE,CACrD,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAW,CAAC;IAC5F,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,MAAM,CACJ,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,6DAA6D;IAC7D,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,SAAS,EAAE,CAAC,IAAc,EAAE,MAAM,GAAa,EAAE;IAC/C,OAAO;QACL,GAAG;QACH,IAAI,EAAE,GAAG;QACT,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5B,IAAI;KACS,CAAC;AAClB,CAAC;AACD,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAEtE,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;QACrD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE;KAC3C,CAAC;IACF,MAAM,CAAC,CAAC,GAAG,wBAAwB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,iEAAiE;IACjE,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAY,CAAC,CAAC;IAC7F,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClG,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAY,CAAC,CAAC;IAC9F,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC"}

package/dist/ir/build.d.ts

@@ -11,9 +11,9 @@ export declare function countedFor(loc: SrcLoc, bound: IrExpr, body: (index: IrE
  * A null dyn slot is an uninitialized trap, not JavaScript undefined. */
 export declare function dynUndefinedExpr(loc: SrcLoc): IrExpr;
 /** An always-throwing Node error with the replaced expression's type.
- * Kinds: 0 Error, 1 TypeError, 2 RangeError, 5 ReferenceError. An empty
+ * Kinds: 0 Error, 1 TypeError, 2 RangeError, 5 ReferenceError, 6 EvalError. An empty
  * code omits the error code property. */
-export declare function nodeThrowExpr(kind: 0 | 1 | 2 | 5, code: string, message: string, type: IrType, loc: SrcLoc): IrExpr;
+export declare function nodeThrowExpr(kind: 0 | 1 | 2 | 5 | 6, code: string, message: string, type: IrType, loc: SrcLoc): IrExpr;
 /** The location for a shared helper the lowering creates from its first
  * use. The helper is compiler code, not that use's source line: without a
  * source position it gets no debug info, so a breakpoint on the line stops

package/dist/ir/build.js

@@ -41,7 +41,7 @@ export function dynUndefinedExpr(loc) {
     };
 }
 /** An always-throwing Node error with the replaced expression's type.
- * Kinds: 0 Error, 1 TypeError, 2 RangeError, 5 ReferenceError. An empty
+ * Kinds: 0 Error, 1 TypeError, 2 RangeError, 5 ReferenceError, 6 EvalError. An empty
  * code omits the error code property. */
 export function nodeThrowExpr(kind, code, message, type, loc) {
     return {

package/dist/ir/build.js.map

@@ -1 +1 @@
-{"version":3,"file":"build.js","sourceRoot":"","sources":["../../src/ir/build.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,WAAW,EAIX,MAAM,GAEP,MAAM,SAAS,CAAC;AAEjB,MAAM,UAAU,MAAM,CAAC,OAAe,EAAE,IAAY,EAAE,GAAW;IAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,GAAW;IACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrD,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,KAAa,EAAE,IAAiC;IACtF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;QACpE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnF,GAAG;SACJ;QACD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;QACrE,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;yCAEyC;AACzC,MAAM,UAAU,aAAa,CAC3B,IAAmB,EACnB,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;SACtD;QACD,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;6BAG6B;AAC7B,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC"}
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../../src/ir/build.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,WAAW,EAIX,MAAM,GAEP,MAAM,SAAS,CAAC;AAEjB,MAAM,UAAU,MAAM,CAAC,OAAe,EAAE,IAAY,EAAE,GAAW;IAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,GAAW;IACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrD,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,KAAa,EAAE,IAAiC;IACtF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;QACpE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnF,GAAG;SACJ;QACD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;QACrE,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;yCAEyC;AACzC,MAAM,UAAU,aAAa,CAC3B,IAAuB,EACvB,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;SACtD;QACD,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;6BAG6B;AAC7B,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC"}

package/dist/ir/builtin-effects.js

@@ -8,12 +8,31 @@
 export const MAY_THROW_LIB_FNS = new Set([
     // Node's argument, cipher-name, IV, tag-length and key-length errors.
     "crypto.cipherNew",
+    // Node's curve, key, point, encoding and format errors.
+    "crypto.ecdhNew",
+    "crypto.ecdhConvertKey",
     // node:test's { timeout } and { concurrency } range checks.
     "test.register",
     "test.registerEmpty",
     "test.sub",
     "test.subEmpty",
     "test.suite",
+    // mock.timers: Node's ERR_INVALID_STATE and ERR_INVALID_ARG_VALUE, and
+    // the throws of the timer callbacks tick and runAll run.
+    "test.ctxSnapshot",
+    "test.fileSnapshot",
+    "test.snapshotSerialize",
+    "test.mockTimersEnable",
+    "test.mockTimersTick",
+    "test.mockTimersRunAll",
+    "test.mockTimersSetTime",
+    "test.ctxMockTimersEnable",
+    "test.ctxMockTimersTick",
+    "test.ctxMockTimersRunAll",
+    "test.ctxMockTimersSetTime",
+    "tp.schedulerWait",
+    "tp.schedulerWaitValue",
+    "tp.schedulerWaitSignal",
     "console.write",
     "console.label",
     "console.countReset",
@@ -22,8 +41,12 @@ export const MAY_THROW_LIB_FNS = new Set([
     "worker.new",
     "worker.data",
     "worker.parentPort",
+    "worker.resourceLimits",
     "worker.channel",
     "worker.receiveMessageOnPort",
+    "worker.setEnvironmentData",
+    "worker.getEnvironmentData",
+    "worker.broadcastChannel",
     "process.exit",
     "text.encodeInto",
     "buffer.isAscii",
@@ -32,11 +55,13 @@ export const MAY_THROW_LIB_FNS = new Set([
     "cp.spawnDynamic",
     "child.onDyn",
     "text.decoderEncoding",
+    "strdec.encoding",
     "dyn.construct",
     "dyn.reflectApply",
     "dyn.reflectGet",
     "dyn.usingMethod",
     "dyn.usingDispose",
+    "disposable.stackUseCallback",
     "dyn.reflectSet",
     "dyn.reflectDefine",
     "dyn.abstractEq",
@@ -51,12 +76,19 @@ export const MAY_THROW_LIB_FNS = new Set([
     "process.stdoutWriteBytes",
     "process.stderrWriteBytes",
     "procStream.write",
+    "child.stdioStream",
+    "stream.unboxDyn",
+    "stream.pipeDyn",
+    "stream.unpipeDyn",
     "weakMap.new",
     "weakSet.new",
     "dyn.fromEntries",
     "bytes.constructor",
     "bytes.instanceOf",
     "buffer.byteLenDyn",
+    "buffer.byteLenValue",
+    "buffer.allocValue",
+    "fs.realpathValue",
     "bytes.construct",
     "arrayBuffer.new",
     "sharedArrayBuffer.new",
@@ -71,6 +103,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "arrayBuffer.viewU8",
     "arrayBuffer.viewU32",
     "arrayBuffer.viewI32",
+    "arrayBuffer.viewF16",
     "arrayBuffer.viewF32",
     "arrayBuffer.viewF64",
     "arrayBuffer.viewDV",
@@ -93,6 +126,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "fetch.requestNew",
     "fetch.headersNew",
     "fetch.responseNew",
+    "fetch.responseJsonStatic",
     "fetch.abortTimeout",
     "fetch.abortAny",
     "abort.timeout",
@@ -106,11 +140,29 @@ export const MAY_THROW_LIB_FNS = new Set([
     "blob.new",
     "blob.fileNew",
     "blob.slice",
+    "wasm.compile",
+    "wasm.validate",
+    "wasm.instantiate",
+    "wasm.moduleNew",
+    "wasm.instanceNew",
+    "wasm.errorNew",
+    "wasm.memoryNew",
+    "wasm.tableNew",
+    "wasm.globalNew",
+    "wasm.withoutNew",
+    "wasm.moduleImports",
+    "wasm.moduleExports",
+    "wasm.moduleCustomSections",
+    "wasm.valueOf",
     "events.addAbortListener",
     "fetch.streamNew",
     "fetch.streamFrom",
     "num.toFixed",
+    "num.toPrecision",
+    "num.toExponentialDigits",
+    "str.localeCase",
     "num.toStringRadix",
+    "num.toStringRadixF64",
     "insp.jsonDyn",
     // diagnostics_channel: publish runs subscribers synchronously (a throw
     // propagates — the documented divergence from triggerUncaughtException);
@@ -140,6 +192,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "http.resWriteHeadDyn",
     "http.resSetHeaderDyn",
     "http.clientSignal",
+    "http.clientSignalCheck",
     "http.serverMaxHeaderSize",
     "http.clientMaxHeaderSize",
     "http.resAppendHeader",
@@ -231,6 +284,14 @@ export const MAY_THROW_LIB_FNS = new Set([
     // ("Invalid URL") or a non-http scheme (ERR_INVALID_PROTOCOL).
     "http.requestUrl",
     "http.requestUrlCb",
+    // The runtime options walk throws Node's validation errors and the
+    // fence for documented options it does not implement.
+    "http.requestDyn",
+    "http.requestDynCb",
+    "https.requestDyn",
+    "https.requestDynCb",
+    // address() of a Unix-socket server read as the AddressInfo record.
+    "net.serverAddressCheck",
     // The h2 client's throwing entries: connect on a bad/non-http
     // authority (ERR_INVALID_URL / ERR_INVALID_PROTOCOL), request on a
     // closed/destroyed session (ERR_HTTP2_INVALID_SESSION), setEncoding on
@@ -292,6 +353,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "stream.onDyn",
     "readable.resume",
     "readable.pipe",
+    "readable.pipeGeneral",
     "readable.unpipe",
     "writable.write",
     "writable.writeStr",
@@ -314,6 +376,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "process.kill",
     "process.killNum",
     "process.setExitCode",
+    "process.setExitCodeTracked",
     // Node's argument grammar throws ERR_INVALID_ARG_TYPE at the call.
     "process.emitWarning",
     // cpuUsage(prev)'s field validation: negative/non-finite prev fields
@@ -334,6 +397,8 @@ export const MAY_THROW_LIB_FNS = new Set([
     "perf.entries",
     "perf.clearMarks",
     "perf.clearMeasures",
+    // monitorEventLoopDelay's resolution: Node's ERR_OUT_OF_RANGE.
+    "perf.eldNew",
     // Non-TTY stdin: Node's stdin has no setRawMode member, so the call is
     // the exact catchable TypeError.
     "process.stdinSetRawMode",
@@ -351,6 +416,16 @@ export const MAY_THROW_LIB_FNS = new Set([
     "dyn.propertyKey",
     "dyn.toNumeric",
     "dyn.increment",
+    // The dynamic-tier operators run the same coercions (scr_js_value.c), and
+    // js.toF64 throws dynCheck's TypeError for a non-number.
+    "js.toF64",
+    "js.add",
+    "js.arithmetic",
+    "js.bitwise",
+    "js.compare",
+    "js.toNumeric",
+    "js.increment",
+    "js.toNumberCoerce",
     // Error messages use the same coercion protocol before installing cause.
     "error.newOptions",
     "error.ctorOptions",
@@ -360,6 +435,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "error.stack",
     "error.cause",
     "error.setCause",
+    "error.assign",
     "error.deleteCause",
     "dyn.objectTag",
     // Numeric coercion runs user valueOf/toString — throws propagate.
@@ -380,6 +456,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     // The caller's lookup runs synchronously inside the connect call — a
     // throw there propagates like Node's.
     "net.connectLookup",
+    "net.connectLookupDyn",
     "cp.execSync",
     "cp.execCapture",
     // The client request constructors validate the method token
@@ -406,6 +483,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "https.requestFn",
     "https.requestFnCb",
     "rl.question",
+    "rl.questionDyn",
     "rl.checkOptions",
     "rl.checkCompleter",
     "readable.fromArr",
@@ -428,6 +506,11 @@ export const MAY_THROW_LIB_FNS = new Set([
     "rl.resume",
     "rl.prompt",
     "rl.promptWith",
+    "rl.setPromptDyn",
+    "rl.getPrompt",
+    "rl.cursorPos",
+    "rl.inputFromDyn",
+    "rl.outputFromDyn",
     "rl.write",
     "rl.writeKey",
     "rl.cursor",
@@ -441,6 +524,8 @@ export const MAY_THROW_LIB_FNS = new Set([
     "json.stringifyReplacer",
     "json.stringifyValue",
     "date.nativeNew",
+    "date.nativeNewFields",
+    "date.nativeNewValue",
     "date.checkedValue",
     "util.parseArgs",
     "util.parseEnv",
@@ -453,6 +538,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "util.inherits",
     "util.deprecate",
     "util.callbackify",
+    "util.promisifyDyn",
     "util.debuglog",
     // The URI codecs throw the spec's URIError: decoding on bad hex/invalid
     // UTF-8 octets, encoding (and querystring.escape) on a lone surrogate.
@@ -462,6 +548,13 @@ export const MAY_THROW_LIB_FNS = new Set([
     "str.encodeUri",
     "qs.escape",
     "qs.stringify",
+    // node:punycode's RangeErrors (encode/toASCII only past 32-bit deltas)
+    // and String.fromCodePoint's for ucs2.encode.
+    "punycode.decode",
+    "punycode.encode",
+    "punycode.toASCII",
+    "punycode.toUnicode",
+    "punycode.ucs2Encode",
     // The base64 globals: atob/btoa throw the catchable DOMException
     // InvalidCharacterError on malformed input; the zero-argument form
     // always throws Node's TypeError [ERR_MISSING_ARGS].
@@ -500,6 +593,9 @@ export const MAY_THROW_LIB_FNS = new Set([
     "dyn.objCreateWithProperties",
     "dyn.getPrototype",
     "dyn.setPrototype",
+    // a proxy in the prototype chain can throw
+    "dyn.builtinInstanceOf",
+    "dyn.functionInstanceOf",
     "dyn.getOwnPropertyNames",
     "dyn.ownKeys",
     "dyn.getOwnPropertySymbols",
@@ -532,15 +628,21 @@ export const MAY_THROW_LIB_FNS = new Set([
     "dyn.propertyIsEnumerableComputed",
     // the destructuring pack throws V8's TypeError on non-iterable dyn kinds
     "dyn.iterPack",
+    "dyn.destructureRest",
     "dyn.arrayFromIterator",
     "dyn.iterator",
+    "dyn.asyncIteratorOpen",
     "dyn.iteratorResult",
     "dyn.iteratorStep",
     "dyn.mapSeedEntries",
     "dyn.mapSeedEntry",
     "dyn.freeze",
     "dyn.isFrozen",
+    "class.defineField",
+    "class.throwReadOnly",
+    "class.throwNotExtensible",
     "dyn.toString",
+    "dyn.valueOf",
     "string.fromCodePoint",
     "dyn.defineProps",
     "dyn.definePrototypeProps",
@@ -548,9 +650,13 @@ export const MAY_THROW_LIB_FNS = new Set([
     "dyn.bagSet",
     "dyn.defineProperty",
     "dyn.getOwnPropertyDescriptor",
+    "child.propsDefine",
+    "child.propsDescriptor",
+    "child.propsOnDyn",
     "dyn.arrayProtoCall",
     "process.chdir",
     "os.getPriority",
+    "os.setPriority",
     // Pattern length TypeError, brace-sequence RangeError, and the
     // SyntaxError of a segment regex invalid under the u flag.
     "path.matchesGlob",
@@ -638,6 +744,8 @@ export const MAY_THROW_LIB_FNS = new Set([
     "crypto.randomIntMax",
     "crypto.randomFillView",
     "crypto.randomFillViewRest",
+    "crypto.getRandomValues",
+    "crypto.getRandomValuesDyn",
     "crypto.randomFillSyncDyn",
     "crypto.randomFillCb",
     "crypto.randomFillCbDyn",
@@ -657,6 +765,8 @@ export const MAY_THROW_LIB_FNS = new Set([
     "crypto.scryptCb",
     "buffer.concat",
     "buffer.concatLen",
+    "buffer.concatDyn",
+    "buffer.concatLenDyn",
     "buffer.fromDyn",
     "buffer.fromStrChecked",
     "buffer.alloc",
@@ -667,6 +777,7 @@ export const MAY_THROW_LIB_FNS = new Set([
     "buffer.poolFromBytes",
     "buffer.poolFromArray",
     "buffer.poolFromDyn",
+    "buffer.poolFromDynRef",
     // The checked-dynamic compare/equals validators: Node's argument
     // ladders throw ERR_INVALID_ARG_TYPE / ERR_OUT_OF_RANGE catchably.
     "buffer.compareChk",
@@ -725,11 +836,16 @@ export const MAY_THROW_LIB_FNS = new Set([
     // Node's argument checks (ERR_INVALID_ARG_TYPE/VALUE, ERR_SOCKET_BAD_PORT).
     "dns.lookupDyn",
     "dns.lookupService",
+    "dns.promisesLookup",
+    "dns.promisesLookupService",
     "dns.setDefaultResultOrder",
     "net.connect",
     "net.connectCb",
     // resetAndDestroy on a TLS socket throws ERR_INVALID_HANDLE_TYPE.
     "net.sockResetAndDestroy",
+    // SocketAddress's option checks and parse()'s input check.
+    "net.socketAddressNew",
+    "net.socketAddressParse",
     // node:dgram state errors (Node throws synchronously): bind on a bound
     // socket, connect on a connected one, send/close/address on a closed or
     // never-bound one.

package/dist/ir/builtin-effects.js.map

@@ -1 +1 @@
-{"version":3,"file":"builtin-effects.js","sourceRoot":"","sources":["../../src/ir/builtin-effects.ts"],"names":[],"mappings":"AAEA;;;;;;mCAMmC;AACnC,MAAM,CAAC,MAAM,iBAAiB,GAAyB,IAAI,GAAG,CAAC;IAC7D,sEAAsE;IACtE,kBAAkB;IAClB,4DAA4D;IAC5D,eAAe;IACf,oBAAoB;IACpB,UAAU;IACV,eAAe;IACf,YAAY;IACZ,eAAe;IACf,eAAe;IACf,oBAAoB;IACpB,eAAe;IACf,gBAAgB;IAChB,YAAY;IACZ,aAAa;IACb,mBAAmB;IACnB,gBAAgB;IAChB,6BAA6B;IAC7B,cAAc;IACd,iBAAiB;IACjB,gBAAgB;IAChB,eAAe;IACf,kBAAkB;IAClB,iBAAiB;IACjB,aAAa;IACb,sBAAsB;IACtB,eAAe;IACf,kBAAkB;IAClB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,gBAAgB;IAChB,mBAAmB;IACnB,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,0BAA0B;IAC1B,kBAAkB;IAClB,cAAc;IACd,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,0BAA0B;IAC1B,0BAA0B;IAC1B,kBAAkB;IAClB,aAAa;IACb,aAAa;IACb,iBAAiB;IACjB,mBAAmB;IACnB,kBAAkB;IAClB,mBAAmB;IACnB,iBAAiB;IACjB,iBAAiB;IACjB,uBAAuB;IACvB,YAAY;IACZ,cAAc;IACd,gBAAgB;IAChB,8BAA8B;IAC9B,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,qBAAqB;IACrB,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,oBAAoB;IACpB,yBAAyB;IAEzB,cAAc;IACd,gBAAgB;IAChB,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,iBAAiB;IACjB,gBAAgB;IAChB,eAAe;IACf,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,oBAAoB;IACpB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,oBAAoB;IACpB,gBAAgB;IAChB,eAAe;IACf,WAAW;IACX,WAAW;IACX,iBAAiB;IACjB,YAAY;IACZ,kBAAkB;IAClB,sBAAsB;IACtB,YAAY;IACZ,UAAU;IACV,cAAc;IACd,YAAY;IACZ,yBAAyB;IACzB,iBAAiB;IACjB,kBAAkB;IAClB,aAAa;IACb,mBAAmB;IACnB,cAAc;IACd,uEAAuE;IACvE,yEAAyE;IACzE,wEAAwE;IACxE,4BAA4B;IAC5B,YAAY;IACZ,cAAc;IACd,gBAAgB;IAChB,kBAAkB;IAClB,oBAAoB;IACpB,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,6BAA6B;IAC7B,8BAA8B;IAC9B,kBAAkB;IAClB,mBAAmB;IACnB,8BAA8B;IAC9B,4BAA4B;IAC5B,gBAAgB;IAChB,SAAS;IACT,aAAa;IACb,kBAAkB;IAClB,kBAAkB;IAClB,sBAAsB;IACtB,sBAAsB;IACtB,mBAAmB;IACnB,0BAA0B;IAC1B,0BAA0B;IAC1B,sBAAsB;IACtB,uBAAuB;IACvB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,0BAA0B;IAC1B,uBAAuB;IACvB,6BAA6B;IAC7B,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,oBAAoB;IACpB,oBAAoB;IACpB,kBAAkB;IAClB,mEAAmE;IACnE,kEAAkE;IAClE,yBAAyB;IACzB,YAAY;IACZ,qBAAqB;IACrB,4BAA4B;IAC5B,gBAAgB;IAChB,uBAAuB;IACvB,uBAAuB;IACvB,yBAAyB;IACzB,6BAA6B;IAC7B,+BAA+B;IAC/B,aAAa;IACb,eAAe;IACf,iEAAiE;IACjE,mEAAmE;IACnE,kEAAkE;IAClE,SAAS;IACT,WAAW;IACX,WAAW;IACX,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,8DAA8D;IAC9D,cAAc;IACd,kBAAkB;IAClB,mBAAmB;IACnB,YAAY;IACZ,aAAa;IACb,uBAAuB;IACvB,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,gBAAgB;IAChB,mBAAmB;IACnB,kBAAkB;IAClB,oBAAoB;IACpB,uBAAuB;IACvB,oEAAoE;IACpE,mDAAmD;IACnD,sDAAsD;IACtD,oBAAoB;IACpB,sBAAsB;IACtB,uEAAuE;IACvE,sBAAsB;IACtB,mBAAmB;IACnB,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,qBAAqB;IACrB,sBAAsB;IACtB,gBAAgB;IAChB,mBAAmB;IACnB,oBAAoB;IACpB,wBAAwB;IACxB,eAAe;IACf,oBAAoB;IACpB,aAAa;IACb,gBAAgB;IAChB,kBAAkB;IAClB,qBAAqB;IACrB,mBAAmB;IACnB,wBAAwB;IACxB,yBAAyB;IACzB,mBAAmB;IACnB,kBAAkB;IAClB,uBAAuB;IACvB,gBAAgB;IAChB,mBAAmB;IACnB,qBAAqB;IACrB,qEAAqE;IACrE,+DAA+D;IAC/D,iBAAiB;IACjB,mBAAmB;IACnB,8DAA8D;IAC9D,mEAAmE;IACnE,uEAAuE;IACvE,oEAAoE;IACpE,mEAAmE;IACnE,6CAA6C;IAC7C,eAAe;IACf,iBAAiB;IACjB,sBAAsB;IACtB,yBAAyB;IACzB,qBAAqB;IACrB,mBAAmB;IACnB,wBAAwB;IACxB,iBAAiB;IACjB,oBAAoB;IACpB,sBAAsB;IACtB,mBAAmB;IACnB,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,uEAAuE;IACvE,oEAAoE;IACpE,iBAAiB;IACjB,oBAAoB;IACpB,iBAAiB;IACjB,oBAAoB;IACpB,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,mBAAmB;IACnB,uBAAuB;IACvB,0BAA0B;IAC1B,SAAS;IACT,SAAS;IACT,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,kBAAkB;IAClB,oBAAoB;IACpB,kBAAkB;IAClB,kBAAkB;IAClB,gBAAgB;IAChB,mBAAmB;IACnB,qBAAqB;IACrB,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,mBAAmB;IACnB,gBAAgB;IAChB,kBAAkB;IAClB,kBAAkB;IAClB,qBAAqB;IACrB,eAAe;IACf,kBAAkB;IAClB,cAAc;IACd,iBAAiB;IACjB,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IAChB,mBAAmB;IACnB,iBAAiB;IACjB,mBAAmB;IACnB,cAAc;IACd,iBAAiB;IACjB,gBAAgB;IAChB,mBAAmB;IACnB,sBAAsB;IACtB,mEAAmE;IACnE,wEAAwE;IACxE,gEAAgE;IAChE,gBAAgB;IAChB,uBAAuB;IACvB,qEAAqE;IACrE,wDAAwD;IACxD,kBAAkB;IAClB,oBAAoB;IACpB,cAAc;IACd,iBAAiB;IACjB,qBAAqB;IACrB,mEAAmE;IACnE,qBAAqB;IACrB,qEAAqE;IACrE,4DAA4D;IAC5D,yBAAyB;IACzB,kEAAkE;IAClE,iEAAiE;IACjE,aAAa;IACb,yBAAyB;IACzB,aAAa;IACb,iBAAiB;IACjB,iBAAiB;IACjB,mBAAmB;IACnB,qEAAqE;IACrE,6DAA6D;IAC7D,WAAW;IACX,cAAc;IACd,cAAc;IACd,iBAAiB;IACjB,oBAAoB;IACpB,uEAAuE;IACvE,iCAAiC;IACjC,yBAAyB;IACzB,qEAAqE;IACrE,uBAAuB;IACvB,yBAAyB;IACzB,oEAAoE;IACpE,4BAA4B;IAC5B,kBAAkB;IAClB,qEAAqE;IACrE,iBAAiB;IACjB,oEAAoE;IACpE,oBAAoB;IACpB,uBAAuB;IACvB,iBAAiB;IACjB,eAAe;IACf,eAAe;IACf,yEAAyE;IACzE,kBAAkB;IAClB,mBAAmB;IACnB,oBAAoB;IACpB,qBAAqB;IACrB,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,gBAAgB;IAChB,mBAAmB;IACnB,eAAe;IACf,kEAAkE;IAClE,uBAAuB;IACvB,uBAAuB;IACvB,oBAAoB;IACpB,SAAS;IACT,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,cAAc;IACd,wBAAwB;IACxB,kBAAkB;IAClB,gBAAgB;IAChB,YAAY;IACZ,QAAQ;IACR,YAAY;IACZ,qEAAqE;IACrE,sCAAsC;IACtC,mBAAmB;IACnB,aAAa;IACb,gBAAgB;IAChB,4DAA4D;IAC5D,kDAAkD;IAClD,2BAA2B;IAC3B,cAAc;IACd,gBAAgB;IAChB,kBAAkB;IAClB,oBAAoB;IACpB,sEAAsE;IACtE,qEAAqE;IACrE,2BAA2B;IAC3B,eAAe;IACf,mBAAmB;IACnB,qBAAqB;IACrB,oBAAoB;IACpB,sBAAsB;IACtB,eAAe;IACf,iBAAiB;IACjB,6DAA6D;IAC7D,oDAAoD;IACpD,kBAAkB;IAClB,oBAAoB;IACpB,iBAAiB;IACjB,mBAAmB;IACnB,aAAa;IACb,iBAAiB;IACjB,mBAAmB;IACnB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,wBAAwB;IACxB,kBAAkB;IAClB,uBAAuB;IACvB,gBAAgB;IAChB,mBAAmB;IACnB,oBAAoB;IACpB,iBAAiB;IACjB,iBAAiB;IACjB,iBAAiB;IACjB,qBAAqB;IACrB,2BAA2B;IAC3B,uBAAuB;IACvB,yBAAyB;IACzB,UAAU;IACV,WAAW;IACX,WAAW;IACX,eAAe;IACf,UAAU;IACV,aAAa;IACb,WAAW;IACX,QAAQ;IACR,iBAAiB;IACjB,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IAEhB,YAAY;IACZ,mBAAmB;IACnB,wBAAwB;IACxB,qBAAqB;IACrB,gBAAgB;IAChB,mBAAmB;IACnB,gBAAgB;IAChB,eAAe;IACf,yBAAyB;IACzB,4BAA4B;IAC5B,+BAA+B;IAC/B,wBAAwB;IACxB,gBAAgB;IAChB,kBAAkB;IAClB,eAAe;IACf,gBAAgB;IAChB,kBAAkB;IAClB,eAAe;IACf,wEAAwE;IACxE,uEAAuE;IACvE,wBAAwB;IACxB,eAAe;IACf,wBAAwB;IACxB,eAAe;IACf,WAAW;IACX,cAAc;IACd,iEAAiE;IACjE,mEAAmE;IACnE,qDAAqD;IACrD,UAAU;IACV,UAAU;IACV,gBAAgB;IAChB,oEAAoE;IACpE,mEAAmE;IACnE,kEAAkE;IAClE,0BAA0B;IAC1B,+DAA+D;IAC/D,kEAAkE;IAClE,oEAAoE;IACpE,mDAAmD;IACnD,qBAAqB;IACrB,kBAAkB;IAClB,uBAAuB;IACvB,2BAA2B;IAC3B,yDAAyD;IACzD,aAAa;IACb,eAAe;IACf,qBAAqB;IACrB,mBAAmB;IACnB,mBAAmB;IACnB,YAAY;IACZ,0BAA0B;IAC1B,YAAY;IACZ,wBAAwB;IACxB,gBAAgB;IAChB,oEAAoE;IACpE,iEAAiE;IACjE,oBAAoB;IACpB,wBAAwB;IACxB,eAAe;IACf,eAAe;IACf,6BAA6B;IAC7B,kBAAkB;IAClB,kBAAkB;IAClB,yBAAyB;IACzB,aAAa;IACb,2BAA2B;IAC3B,+BAA+B;IAC/B,uBAAuB;IACvB,kBAAkB;IAClB,UAAU;IACV,cAAc;IACd,eAAe;IACf,kBAAkB;IAClB,gBAAgB;IAChB,gBAAgB;IAChB,sEAAsE;IACtE,uDAAuD;IACvD,WAAW;IACX,sBAAsB;IACtB,kBAAkB;IAClB,uBAAuB;IACvB,YAAY;IACZ,oBAAoB;IACpB,mBAAmB;IACnB,uBAAuB;IACvB,4BAA4B;IAC5B,kBAAkB;IAClB,iBAAiB;IACjB,eAAe;IACf,uBAAuB;IACvB,oBAAoB;IACpB,oBAAoB;IACpB,kCAAkC;IAClC,yEAAyE;IACzE,cAAc;IACd,uBAAuB;IACvB,cAAc;IACd,oBAAoB;IACpB,kBAAkB;IAClB,oBAAoB;IACpB,kBAAkB;IAClB,YAAY;IACZ,cAAc;IACd,cAAc;IACd,sBAAsB;IACtB,iBAAiB;IACjB,0BAA0B;IAC1B,YAAY;IACZ,YAAY;IACZ,oBAAoB;IACpB,8BAA8B;IAC9B,oBAAoB;IACpB,eAAe;IACf,gBAAgB;IAChB,+DAA+D;IAC/D,2DAA2D;IAC3D,kBAAkB;IAClB,uBAAuB;IACvB,eAAe;IACf,qBAAqB;IACrB,iBAAiB;IACjB,uBAAuB;IACvB,iBAAiB;IACjB,kBAAkB;IAClB,mBAAmB;IACnB,cAAc;IACd,WAAW;IACX,cAAc;IACd,gBAAgB;IAChB,qBAAqB;IACrB,aAAa;IACb,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,SAAS;IACT,aAAa;IACb,SAAS;IACT,gBAAgB;IAChB,sBAAsB;IACtB,0BAA0B;IAC1B,0BAA0B;IAC1B,yBAAyB;IACzB,0BAA0B;IAC1B,sBAAsB;IACtB,qEAAqE;IACrE,2DAA2D;IAC3D,iBAAiB;IACjB,kBAAkB;IAClB,mBAAmB;IACnB,mBAAmB;IACnB,qBAAqB;IACrB,uEAAuE;IACvE,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,wBAAwB;IACxB,2BAA2B;IAC3B,wEAAwE;IACxE,uEAAuE;IACvE,gBAAgB;IAChB,cAAc;IACd,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,4BAA4B;IAC5B,oBAAoB;IACpB,sBAAsB;IACtB,wBAAwB;IACxB,gBAAgB;IAChB,mBAAmB;IACnB,wBAAwB;IACxB,mBAAmB;IACnB,qBAAqB;IACrB,sBAAsB;IACtB,wBAAwB;IACxB,sBAAsB;IACtB,wBAAwB;IACxB,iBAAiB;IACjB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,oBAAoB;IACpB,mBAAmB;IACnB,qBAAqB;IACrB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,oBAAoB;IACpB,wBAAwB;IACxB,2BAA2B;IAC3B,mBAAmB;IACnB,uBAAuB;IACvB,kBAAkB;IAClB,qBAAqB;IACrB,uBAAuB;IACvB,2BAA2B;IAC3B,0BAA0B;IAC1B,qBAAqB;IACrB,wBAAwB;IACxB,oBAAoB;IACpB,uBAAuB;IACvB,wBAAwB;IACxB,wBAAwB;IACxB,sBAAsB;IACtB,uBAAuB;IACvB,qBAAqB;IACrB,eAAe;IACf,sBAAsB;IACtB,iBAAiB;IACjB,aAAa;IACb,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,kBAAkB;IAClB,gBAAgB;IAChB,uBAAuB;IACvB,cAAc;IACd,oBAAoB;IACpB,wBAAwB;IACxB,oBAAoB;IACpB,2BAA2B;IAC3B,sBAAsB;IACtB,sBAAsB;IACtB,oBAAoB;IACpB,iEAAiE;IACjE,mEAAmE;IACnE,mBAAmB;IACnB,iBAAiB;IACjB,kBAAkB;IAClB,sBAAsB;IACtB,oBAAoB;IACpB,cAAc;IACd,eAAe;IACf,mBAAmB;IACnB,gBAAgB;IAChB,eAAe;IACf,iBAAiB;IACjB,cAAc;IACd,kBAAkB;IAClB,eAAe;IACf,YAAY;IACZ,kBAAkB;IAClB,oBAAoB;IACpB,oBAAoB;IACpB,uBAAuB;IACvB,oBAAoB;IACpB,qBAAqB;IACrB,mBAAmB;IACnB,0BAA0B;IAC1B,sBAAsB;IACtB,uBAAuB;IACvB,wBAAwB;IACxB,kBAAkB;IAClB,qBAAqB;IACrB,iBAAiB;IACjB,gBAAgB;IAChB,YAAY;IACZ,gBAAgB;IAChB,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,oBAAoB;IACpB,mBAAmB;IACnB,qBAAqB;IACrB,kBAAkB;IAClB,kBAAkB;IAClB,uBAAuB;IACvB,uBAAuB;IACvB,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,eAAe;IACf,eAAe;IACf,oBAAoB;IACpB,yEAAyE;IACzE,cAAc;IACd,YAAY;IACZ,4EAA4E;IAC5E,eAAe;IACf,mBAAmB;IACnB,2BAA2B;IAC3B,aAAa;IACb,eAAe;IACf,kEAAkE;IAClE,yBAAyB;IACzB,uEAAuE;IACvE,wEAAwE;IACxE,mBAAmB;IACnB,YAAY;IACZ,cAAc;IACd,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,eAAe;IACf,aAAa;IACb,eAAe;IACf,iEAAiE;IACjE,0BAA0B;IAC1B,oBAAoB;IACpB,cAAc;IACd,uBAAuB;IACvB,4BAA4B;IAC5B,6BAA6B;IAC7B,qBAAqB;IACrB,sBAAsB;IACtB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,wBAAwB;IACxB,yBAAyB;IACzB,kBAAkB;IAClB,uEAAuE;IACvE,0CAA0C;IAC1C,+DAA+D;IAC/D,uCAAuC;IACvC,WAAW;IACX,iBAAiB;IACjB,cAAc;IACd,iBAAiB;IACjB,cAAc;IACd,eAAe;IACf,cAAc;IACd,cAAc;IACd,oBAAoB;IACpB,mBAAmB;IACnB,wBAAwB;IACxB,qBAAqB;IACrB,uBAAuB;IACvB,0BAA0B;IAC1B,cAAc;IACd,mBAAmB;IACnB,gBAAgB;IAChB,mBAAmB;IACnB,uBAAuB;IACvB,oBAAoB;IACpB,iBAAiB;IACjB,0BAA0B;IAC1B,sBAAsB;IACtB,yBAAyB;IACzB,qBAAqB;IACrB,sBAAsB;IACtB,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,oBAAoB;IACpB,mBAAmB;IAEnB,2DAA2D;IAE3D,oEAAoE;IACpE,eAAe;IACf,cAAc;IACd,cAAc;IACd,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IAChB,qBAAqB;IACrB,sBAAsB;IACtB,6BAA6B;IAC7B,8BAA8B;IAC9B,kBAAkB;IAClB,oBAAoB;IACpB,cAAc;IACd,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,aAAa;IACb,cAAc;IACd,mBAAmB;IACnB,cAAc;IACd,eAAe;IACf,cAAc;IACd,kBAAkB;IAClB,kBAAkB;IAClB,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,cAAc;IACd,eAAe;IACf,aAAa;IACb,gBAAgB;IAChB,WAAW;IACX,iBAAiB;IACjB,eAAe;IACf,oBAAoB;IACpB,uBAAuB;IACvB,sBAAsB;IACtB,kBAAkB;IAClB,2BAA2B;IAC3B,aAAa;IACb,oBAAoB;IACpB,aAAa;IACb,cAAc;IACd,iBAAiB;IACjB,cAAc;IACd,UAAU;IACV,YAAY;IACZ,wBAAwB;IACxB,2BAA2B;IAC3B,sBAAsB;IACtB,yBAAyB;IACzB,oBAAoB;IACpB,uBAAuB;CACxB,CAAC,CAAC"}
+{"version":3,"file":"builtin-effects.js","sourceRoot":"","sources":["../../src/ir/builtin-effects.ts"],"names":[],"mappings":"AAEA;;;;;;mCAMmC;AACnC,MAAM,CAAC,MAAM,iBAAiB,GAAyB,IAAI,GAAG,CAAC;IAC7D,sEAAsE;IACtE,kBAAkB;IAClB,wDAAwD;IACxD,gBAAgB;IAChB,uBAAuB;IACvB,4DAA4D;IAC5D,eAAe;IACf,oBAAoB;IACpB,UAAU;IACV,eAAe;IACf,YAAY;IACZ,uEAAuE;IACvE,yDAAyD;IACzD,kBAAkB;IAClB,mBAAmB;IACnB,wBAAwB;IACxB,uBAAuB;IACvB,qBAAqB;IACrB,uBAAuB;IACvB,wBAAwB;IACxB,0BAA0B;IAC1B,wBAAwB;IACxB,0BAA0B;IAC1B,2BAA2B;IAC3B,kBAAkB;IAClB,uBAAuB;IACvB,wBAAwB;IACxB,eAAe;IACf,eAAe;IACf,oBAAoB;IACpB,eAAe;IACf,gBAAgB;IAChB,YAAY;IACZ,aAAa;IACb,mBAAmB;IACnB,uBAAuB;IACvB,gBAAgB;IAChB,6BAA6B;IAC7B,2BAA2B;IAC3B,2BAA2B;IAC3B,yBAAyB;IACzB,cAAc;IACd,iBAAiB;IACjB,gBAAgB;IAChB,eAAe;IACf,kBAAkB;IAClB,iBAAiB;IACjB,aAAa;IACb,sBAAsB;IACtB,iBAAiB;IACjB,eAAe;IACf,kBAAkB;IAClB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,6BAA6B;IAC7B,gBAAgB;IAChB,mBAAmB;IACnB,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,0BAA0B;IAC1B,kBAAkB;IAClB,cAAc;IACd,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,0BAA0B;IAC1B,0BAA0B;IAC1B,kBAAkB;IAClB,mBAAmB;IACnB,iBAAiB;IACjB,gBAAgB;IAChB,kBAAkB;IAClB,aAAa;IACb,aAAa;IACb,iBAAiB;IACjB,mBAAmB;IACnB,kBAAkB;IAClB,mBAAmB;IACnB,qBAAqB;IACrB,mBAAmB;IACnB,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;IACjB,uBAAuB;IACvB,YAAY;IACZ,cAAc;IACd,gBAAgB;IAChB,8BAA8B;IAC9B,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,qBAAqB;IACrB,qBAAqB;IACrB,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,oBAAoB;IACpB,yBAAyB;IAEzB,cAAc;IACd,gBAAgB;IAChB,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,iBAAiB;IACjB,gBAAgB;IAChB,eAAe;IACf,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,oBAAoB;IACpB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,0BAA0B;IAC1B,oBAAoB;IACpB,gBAAgB;IAChB,eAAe;IACf,WAAW;IACX,WAAW;IACX,iBAAiB;IACjB,YAAY;IACZ,kBAAkB;IAClB,sBAAsB;IACtB,YAAY;IACZ,UAAU;IACV,cAAc;IACd,YAAY;IACZ,cAAc;IACd,eAAe;IACf,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,eAAe;IACf,gBAAgB;IAChB,eAAe;IACf,gBAAgB;IAChB,iBAAiB;IACjB,oBAAoB;IACpB,oBAAoB;IACpB,2BAA2B;IAC3B,cAAc;IACd,yBAAyB;IACzB,iBAAiB;IACjB,kBAAkB;IAClB,aAAa;IACb,iBAAiB;IACjB,yBAAyB;IACzB,gBAAgB;IAChB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,uEAAuE;IACvE,yEAAyE;IACzE,wEAAwE;IACxE,4BAA4B;IAC5B,YAAY;IACZ,cAAc;IACd,gBAAgB;IAChB,kBAAkB;IAClB,oBAAoB;IACpB,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,6BAA6B;IAC7B,8BAA8B;IAC9B,kBAAkB;IAClB,mBAAmB;IACnB,8BAA8B;IAC9B,4BAA4B;IAC5B,gBAAgB;IAChB,SAAS;IACT,aAAa;IACb,kBAAkB;IAClB,kBAAkB;IAClB,sBAAsB;IACtB,sBAAsB;IACtB,mBAAmB;IACnB,wBAAwB;IACxB,0BAA0B;IAC1B,0BAA0B;IAC1B,sBAAsB;IACtB,uBAAuB;IACvB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,0BAA0B;IAC1B,uBAAuB;IACvB,6BAA6B;IAC7B,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,oBAAoB;IACpB,oBAAoB;IACpB,kBAAkB;IAClB,mEAAmE;IACnE,kEAAkE;IAClE,yBAAyB;IACzB,YAAY;IACZ,qBAAqB;IACrB,4BAA4B;IAC5B,gBAAgB;IAChB,uBAAuB;IACvB,uBAAuB;IACvB,yBAAyB;IACzB,6BAA6B;IAC7B,+BAA+B;IAC/B,aAAa;IACb,eAAe;IACf,iEAAiE;IACjE,mEAAmE;IACnE,kEAAkE;IAClE,SAAS;IACT,WAAW;IACX,WAAW;IACX,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,8DAA8D;IAC9D,cAAc;IACd,kBAAkB;IAClB,mBAAmB;IACnB,YAAY;IACZ,aAAa;IACb,uBAAuB;IACvB,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,gBAAgB;IAChB,mBAAmB;IACnB,kBAAkB;IAClB,oBAAoB;IACpB,uBAAuB;IACvB,oEAAoE;IACpE,mDAAmD;IACnD,sDAAsD;IACtD,oBAAoB;IACpB,sBAAsB;IACtB,uEAAuE;IACvE,sBAAsB;IACtB,mBAAmB;IACnB,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,qBAAqB;IACrB,sBAAsB;IACtB,gBAAgB;IAChB,mBAAmB;IACnB,oBAAoB;IACpB,wBAAwB;IACxB,eAAe;IACf,oBAAoB;IACpB,aAAa;IACb,gBAAgB;IAChB,kBAAkB;IAClB,qBAAqB;IACrB,mBAAmB;IACnB,wBAAwB;IACxB,yBAAyB;IACzB,mBAAmB;IACnB,kBAAkB;IAClB,uBAAuB;IACvB,gBAAgB;IAChB,mBAAmB;IACnB,qBAAqB;IACrB,qEAAqE;IACrE,+DAA+D;IAC/D,iBAAiB;IACjB,mBAAmB;IACnB,mEAAmE;IACnE,sDAAsD;IACtD,iBAAiB;IACjB,mBAAmB;IACnB,kBAAkB;IAClB,oBAAoB;IACpB,oEAAoE;IACpE,wBAAwB;IACxB,8DAA8D;IAC9D,mEAAmE;IACnE,uEAAuE;IACvE,oEAAoE;IACpE,mEAAmE;IACnE,6CAA6C;IAC7C,eAAe;IACf,iBAAiB;IACjB,sBAAsB;IACtB,yBAAyB;IACzB,qBAAqB;IACrB,mBAAmB;IACnB,wBAAwB;IACxB,iBAAiB;IACjB,oBAAoB;IACpB,sBAAsB;IACtB,mBAAmB;IACnB,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,uEAAuE;IACvE,oEAAoE;IACpE,iBAAiB;IACjB,oBAAoB;IACpB,iBAAiB;IACjB,oBAAoB;IACpB,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,mBAAmB;IACnB,uBAAuB;IACvB,0BAA0B;IAC1B,SAAS;IACT,SAAS;IACT,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,kBAAkB;IAClB,oBAAoB;IACpB,kBAAkB;IAClB,kBAAkB;IAClB,gBAAgB;IAChB,mBAAmB;IACnB,qBAAqB;IACrB,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,mBAAmB;IACnB,gBAAgB;IAChB,kBAAkB;IAClB,kBAAkB;IAClB,qBAAqB;IACrB,eAAe;IACf,kBAAkB;IAClB,cAAc;IACd,iBAAiB;IACjB,eAAe;IACf,sBAAsB;IACtB,iBAAiB;IACjB,gBAAgB;IAChB,mBAAmB;IACnB,iBAAiB;IACjB,mBAAmB;IACnB,cAAc;IACd,iBAAiB;IACjB,gBAAgB;IAChB,mBAAmB;IACnB,sBAAsB;IACtB,mEAAmE;IACnE,wEAAwE;IACxE,gEAAgE;IAChE,gBAAgB;IAChB,uBAAuB;IACvB,qEAAqE;IACrE,wDAAwD;IACxD,kBAAkB;IAClB,oBAAoB;IACpB,cAAc;IACd,iBAAiB;IACjB,qBAAqB;IACrB,4BAA4B;IAC5B,mEAAmE;IACnE,qBAAqB;IACrB,qEAAqE;IACrE,4DAA4D;IAC5D,yBAAyB;IACzB,kEAAkE;IAClE,iEAAiE;IACjE,aAAa;IACb,yBAAyB;IACzB,aAAa;IACb,iBAAiB;IACjB,iBAAiB;IACjB,mBAAmB;IACnB,qEAAqE;IACrE,6DAA6D;IAC7D,WAAW;IACX,cAAc;IACd,cAAc;IACd,iBAAiB;IACjB,oBAAoB;IACpB,+DAA+D;IAC/D,aAAa;IACb,uEAAuE;IACvE,iCAAiC;IACjC,yBAAyB;IACzB,qEAAqE;IACrE,uBAAuB;IACvB,yBAAyB;IACzB,oEAAoE;IACpE,4BAA4B;IAC5B,kBAAkB;IAClB,qEAAqE;IACrE,iBAAiB;IACjB,oEAAoE;IACpE,oBAAoB;IACpB,uBAAuB;IACvB,iBAAiB;IACjB,eAAe;IACf,eAAe;IACf,0EAA0E;IAC1E,yDAAyD;IACzD,UAAU;IACV,QAAQ;IACR,eAAe;IACf,YAAY;IACZ,YAAY;IACZ,cAAc;IACd,cAAc;IACd,mBAAmB;IACnB,yEAAyE;IACzE,kBAAkB;IAClB,mBAAmB;IACnB,oBAAoB;IACpB,qBAAqB;IACrB,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,mBAAmB;IACnB,eAAe;IACf,kEAAkE;IAClE,uBAAuB;IACvB,uBAAuB;IACvB,oBAAoB;IACpB,SAAS;IACT,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,cAAc;IACd,wBAAwB;IACxB,kBAAkB;IAClB,gBAAgB;IAChB,YAAY;IACZ,QAAQ;IACR,YAAY;IACZ,qEAAqE;IACrE,sCAAsC;IACtC,mBAAmB;IACnB,sBAAsB;IACtB,aAAa;IACb,gBAAgB;IAChB,4DAA4D;IAC5D,kDAAkD;IAClD,2BAA2B;IAC3B,cAAc;IACd,gBAAgB;IAChB,kBAAkB;IAClB,oBAAoB;IACpB,sEAAsE;IACtE,qEAAqE;IACrE,2BAA2B;IAC3B,eAAe;IACf,mBAAmB;IACnB,qBAAqB;IACrB,oBAAoB;IACpB,sBAAsB;IACtB,eAAe;IACf,iBAAiB;IACjB,6DAA6D;IAC7D,oDAAoD;IACpD,kBAAkB;IAClB,oBAAoB;IACpB,iBAAiB;IACjB,mBAAmB;IACnB,aAAa;IACb,gBAAgB;IAChB,iBAAiB;IACjB,mBAAmB;IACnB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,wBAAwB;IACxB,kBAAkB;IAClB,uBAAuB;IACvB,gBAAgB;IAChB,mBAAmB;IACnB,oBAAoB;IACpB,iBAAiB;IACjB,iBAAiB;IACjB,iBAAiB;IACjB,qBAAqB;IACrB,2BAA2B;IAC3B,uBAAuB;IACvB,yBAAyB;IACzB,UAAU;IACV,WAAW;IACX,WAAW;IACX,eAAe;IACf,iBAAiB;IACjB,cAAc;IACd,cAAc;IACd,iBAAiB;IACjB,kBAAkB;IAClB,UAAU;IACV,aAAa;IACb,WAAW;IACX,QAAQ;IACR,iBAAiB;IACjB,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IAEhB,YAAY;IACZ,mBAAmB;IACnB,wBAAwB;IACxB,qBAAqB;IACrB,gBAAgB;IAChB,sBAAsB;IACtB,qBAAqB;IACrB,mBAAmB;IACnB,gBAAgB;IAChB,eAAe;IACf,yBAAyB;IACzB,4BAA4B;IAC5B,+BAA+B;IAC/B,wBAAwB;IACxB,gBAAgB;IAChB,kBAAkB;IAClB,eAAe;IACf,gBAAgB;IAChB,kBAAkB;IAClB,mBAAmB;IACnB,eAAe;IACf,wEAAwE;IACxE,uEAAuE;IACvE,wBAAwB;IACxB,eAAe;IACf,wBAAwB;IACxB,eAAe;IACf,WAAW;IACX,cAAc;IACd,uEAAuE;IACvE,8CAA8C;IAC9C,iBAAiB;IACjB,iBAAiB;IACjB,kBAAkB;IAClB,oBAAoB;IACpB,qBAAqB;IACrB,iEAAiE;IACjE,mEAAmE;IACnE,qDAAqD;IACrD,UAAU;IACV,UAAU;IACV,gBAAgB;IAChB,oEAAoE;IACpE,mEAAmE;IACnE,kEAAkE;IAClE,0BAA0B;IAC1B,+DAA+D;IAC/D,kEAAkE;IAClE,oEAAoE;IACpE,mDAAmD;IACnD,qBAAqB;IACrB,kBAAkB;IAClB,uBAAuB;IACvB,2BAA2B;IAC3B,yDAAyD;IACzD,aAAa;IACb,eAAe;IACf,qBAAqB;IACrB,mBAAmB;IACnB,mBAAmB;IACnB,YAAY;IACZ,0BAA0B;IAC1B,YAAY;IACZ,wBAAwB;IACxB,gBAAgB;IAChB,oEAAoE;IACpE,iEAAiE;IACjE,oBAAoB;IACpB,wBAAwB;IACxB,eAAe;IACf,eAAe;IACf,6BAA6B;IAC7B,kBAAkB;IAClB,kBAAkB;IAClB,2CAA2C;IAC3C,uBAAuB;IACvB,wBAAwB;IACxB,yBAAyB;IACzB,aAAa;IACb,2BAA2B;IAC3B,+BAA+B;IAC/B,uBAAuB;IACvB,kBAAkB;IAClB,UAAU;IACV,cAAc;IACd,eAAe;IACf,kBAAkB;IAClB,gBAAgB;IAChB,gBAAgB;IAChB,sEAAsE;IACtE,uDAAuD;IACvD,WAAW;IACX,sBAAsB;IACtB,kBAAkB;IAClB,uBAAuB;IACvB,YAAY;IACZ,oBAAoB;IACpB,mBAAmB;IACnB,uBAAuB;IACvB,4BAA4B;IAC5B,kBAAkB;IAClB,iBAAiB;IACjB,eAAe;IACf,uBAAuB;IACvB,oBAAoB;IACpB,oBAAoB;IACpB,kCAAkC;IAClC,yEAAyE;IACzE,cAAc;IACd,qBAAqB;IACrB,uBAAuB;IACvB,cAAc;IACd,uBAAuB;IACvB,oBAAoB;IACpB,kBAAkB;IAClB,oBAAoB;IACpB,kBAAkB;IAClB,YAAY;IACZ,cAAc;IACd,mBAAmB;IACnB,qBAAqB;IACrB,0BAA0B;IAC1B,cAAc;IACd,aAAa;IACb,sBAAsB;IACtB,iBAAiB;IACjB,0BAA0B;IAC1B,YAAY;IACZ,YAAY;IACZ,oBAAoB;IACpB,8BAA8B;IAC9B,mBAAmB;IACnB,uBAAuB;IACvB,kBAAkB;IAClB,oBAAoB;IACpB,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,+DAA+D;IAC/D,2DAA2D;IAC3D,kBAAkB;IAClB,uBAAuB;IACvB,eAAe;IACf,qBAAqB;IACrB,iBAAiB;IACjB,uBAAuB;IACvB,iBAAiB;IACjB,kBAAkB;IAClB,mBAAmB;IACnB,cAAc;IACd,WAAW;IACX,cAAc;IACd,gBAAgB;IAChB,qBAAqB;IACrB,aAAa;IACb,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,SAAS;IACT,aAAa;IACb,SAAS;IACT,gBAAgB;IAChB,sBAAsB;IACtB,0BAA0B;IAC1B,0BAA0B;IAC1B,yBAAyB;IACzB,0BAA0B;IAC1B,sBAAsB;IACtB,qEAAqE;IACrE,2DAA2D;IAC3D,iBAAiB;IACjB,kBAAkB;IAClB,mBAAmB;IACnB,mBAAmB;IACnB,qBAAqB;IACrB,uEAAuE;IACvE,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,wBAAwB;IACxB,2BAA2B;IAC3B,wEAAwE;IACxE,uEAAuE;IACvE,gBAAgB;IAChB,cAAc;IACd,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,4BAA4B;IAC5B,oBAAoB;IACpB,sBAAsB;IACtB,wBAAwB;IACxB,gBAAgB;IAChB,mBAAmB;IACnB,wBAAwB;IACxB,mBAAmB;IACnB,qBAAqB;IACrB,sBAAsB;IACtB,wBAAwB;IACxB,sBAAsB;IACtB,wBAAwB;IACxB,iBAAiB;IACjB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,oBAAoB;IACpB,mBAAmB;IACnB,qBAAqB;IACrB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,sBAAsB;IACtB,oBAAoB;IACpB,wBAAwB;IACxB,2BAA2B;IAC3B,mBAAmB;IACnB,uBAAuB;IACvB,kBAAkB;IAClB,qBAAqB;IACrB,uBAAuB;IACvB,2BAA2B;IAC3B,wBAAwB;IACxB,2BAA2B;IAC3B,0BAA0B;IAC1B,qBAAqB;IACrB,wBAAwB;IACxB,oBAAoB;IACpB,uBAAuB;IACvB,wBAAwB;IACxB,wBAAwB;IACxB,sBAAsB;IACtB,uBAAuB;IACvB,qBAAqB;IACrB,eAAe;IACf,sBAAsB;IACtB,iBAAiB;IACjB,aAAa;IACb,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,kBAAkB;IAClB,kBAAkB;IAClB,qBAAqB;IACrB,gBAAgB;IAChB,uBAAuB;IACvB,cAAc;IACd,oBAAoB;IACpB,wBAAwB;IACxB,oBAAoB;IACpB,2BAA2B;IAC3B,sBAAsB;IACtB,sBAAsB;IACtB,oBAAoB;IACpB,uBAAuB;IACvB,iEAAiE;IACjE,mEAAmE;IACnE,mBAAmB;IACnB,iBAAiB;IACjB,kBAAkB;IAClB,sBAAsB;IACtB,oBAAoB;IACpB,cAAc;IACd,eAAe;IACf,mBAAmB;IACnB,gBAAgB;IAChB,eAAe;IACf,iBAAiB;IACjB,cAAc;IACd,kBAAkB;IAClB,eAAe;IACf,YAAY;IACZ,kBAAkB;IAClB,oBAAoB;IACpB,oBAAoB;IACpB,uBAAuB;IACvB,oBAAoB;IACpB,qBAAqB;IACrB,mBAAmB;IACnB,0BAA0B;IAC1B,sBAAsB;IACtB,uBAAuB;IACvB,wBAAwB;IACxB,kBAAkB;IAClB,qBAAqB;IACrB,iBAAiB;IACjB,gBAAgB;IAChB,YAAY;IACZ,gBAAgB;IAChB,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,oBAAoB;IACpB,mBAAmB;IACnB,qBAAqB;IACrB,kBAAkB;IAClB,kBAAkB;IAClB,uBAAuB;IACvB,uBAAuB;IACvB,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,eAAe;IACf,eAAe;IACf,oBAAoB;IACpB,yEAAyE;IACzE,cAAc;IACd,YAAY;IACZ,4EAA4E;IAC5E,eAAe;IACf,mBAAmB;IACnB,oBAAoB;IACpB,2BAA2B;IAC3B,2BAA2B;IAC3B,aAAa;IACb,eAAe;IACf,kEAAkE;IAClE,yBAAyB;IACzB,2DAA2D;IAC3D,sBAAsB;IACtB,wBAAwB;IACxB,uEAAuE;IACvE,wEAAwE;IACxE,mBAAmB;IACnB,YAAY;IACZ,cAAc;IACd,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,eAAe;IACf,aAAa;IACb,eAAe;IACf,iEAAiE;IACjE,0BAA0B;IAC1B,oBAAoB;IACpB,cAAc;IACd,uBAAuB;IACvB,4BAA4B;IAC5B,6BAA6B;IAC7B,qBAAqB;IACrB,sBAAsB;IACtB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,wBAAwB;IACxB,yBAAyB;IACzB,kBAAkB;IAClB,uEAAuE;IACvE,0CAA0C;IAC1C,+DAA+D;IAC/D,uCAAuC;IACvC,WAAW;IACX,iBAAiB;IACjB,cAAc;IACd,iBAAiB;IACjB,cAAc;IACd,eAAe;IACf,cAAc;IACd,cAAc;IACd,oBAAoB;IACpB,mBAAmB;IACnB,wBAAwB;IACxB,qBAAqB;IACrB,uBAAuB;IACvB,0BAA0B;IAC1B,cAAc;IACd,mBAAmB;IACnB,gBAAgB;IAChB,mBAAmB;IACnB,uBAAuB;IACvB,oBAAoB;IACpB,iBAAiB;IACjB,0BAA0B;IAC1B,sBAAsB;IACtB,yBAAyB;IACzB,qBAAqB;IACrB,sBAAsB;IACtB,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,oBAAoB;IACpB,mBAAmB;IAEnB,2DAA2D;IAE3D,oEAAoE;IACpE,eAAe;IACf,cAAc;IACd,cAAc;IACd,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IAChB,qBAAqB;IACrB,sBAAsB;IACtB,6BAA6B;IAC7B,8BAA8B;IAC9B,kBAAkB;IAClB,oBAAoB;IACpB,cAAc;IACd,eAAe;IACf,iBAAiB;IACjB,eAAe;IACf,aAAa;IACb,cAAc;IACd,mBAAmB;IACnB,cAAc;IACd,eAAe;IACf,cAAc;IACd,kBAAkB;IAClB,kBAAkB;IAClB,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,cAAc;IACd,eAAe;IACf,aAAa;IACb,gBAAgB;IAChB,WAAW;IACX,iBAAiB;IACjB,eAAe;IACf,oBAAoB;IACpB,uBAAuB;IACvB,sBAAsB;IACtB,kBAAkB;IAClB,2BAA2B;IAC3B,aAAa;IACb,oBAAoB;IACpB,aAAa;IACb,cAAc;IACd,iBAAiB;IACjB,cAAc;IACd,UAAU;IACV,YAAY;IACZ,wBAAwB;IACxB,2BAA2B;IAC3B,sBAAsB;IACtB,yBAAyB;IACzB,oBAAoB;IACpB,uBAAuB;CACxB,CAAC,CAAC"}