@scriptc/compiler 0.4.5 → 0.4.6

package/dist/backend/llvm/wrapping-sums.d.ts

@@ -1,7 +1,7 @@
 import type { IrExpr, IrFunction } from "../../ir/ir.js";
 import { type IntegerRange } from "../../ir/integer-ranges.js";
 import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
-import type { LlInteger } from "./integer-values.js";
+import { type LlInteger } from "./integer-values.js";
 /** Marks the `+`, `-` and `*` operands whose number only reaches
  * ToInt32/ToUint32 consumers (`| 0`, the other bitwise operators,
  * `Math.imul`, `Math.clz32`), directly or through further sums and
@@ -11,8 +11,9 @@ export declare function markWrappingOperands(host: LlvmEmitterContext, ...operan
 /** The values an f64 expression can have when each one is an exact integer
  * (never -0) or NaN: proven ranges, safe integer literals, NaN-coded reads
  * of integer typed-array elements and of Int32[] elements, `charCodeAt`,
- * and sums and differences of those whose every integer result is still
- * exact in a double. */
+ * and sums, differences and products of those whose every integer result
+ * is a safe integer, which the double holds exactly. A product that can be
+ * -0 (a zero times a negative) has no range. */
 export declare function integerOrNaNRange(host: LlvmEmitterContext, e: IrExpr): IntegerRange | null;
 /** An index that is an exact integer or NaN (`integerOrNaNRange`): the integer as an i64, and an
  * i1 that is false when the index is NaN. An index check then needs no round trip through a double:
@@ -30,11 +31,30 @@ export declare function integerOrNaNIndex(host: LlvmEmitterContext, value: LlVal
  * low halves is the converted exact result; a NaN operand makes the result
  * NaN, which converts to 0. A product is exact when the operands' magnitude
  * bounds multiply to at most 2^53; it may be -0 (`0 * -1`), which converts
- * to 0 like the integer 0. Returns undefined, emitting nothing, for any
- * other expression. */
+ * to 0 like the integer 0. Returns the converted result with its ordered
+ * bit (`true` when no operand can be NaN), or undefined, emitting nothing,
+ * for any other expression. */
 export declare function emitWrappingSum(host: LlvmEmitterContext, e: IrExpr & {
     kind: "bin";
-}, l: LlValue, r: LlValue, li: LlInteger | null, ri: LlInteger | null): string | undefined;
+}, l: LlValue, r: LlValue, li: LlInteger | null, ri: LlInteger | null): {
+    uint32: string;
+    ordered: string;
+} | undefined;
+/** The integer of `left op right` (`+`, `-` or `*`) and its ordered bit
+ * when the expression is an exact integer or NaN (`integerOrNaNRange`) and
+ * each operand carries an integer: its exact integer, or its `nanInteger`
+ * and ordered bit. The result is NaN exactly when an operand is, and the i64
+ * arithmetic of the operands' integers is the result's integer otherwise:
+ * the range keeps it within the safe integers. While an operand is NaN its
+ * integer is 0 or another integer of these forms, so the i64 arithmetic
+ * stays within range either way. Undefined, emitting nothing, for any other
+ * expression. */
+export declare function emitNanArithmetic(host: LlvmEmitterContext, e: IrExpr & {
+    kind: "bin";
+}, l: LlValue, r: LlValue, li: LlInteger | null, ri: LlInteger | null): {
+    nanInteger: string;
+    ordered: string;
+} | undefined;
 /** The number locals of `fn` that only hold exact integers (never -0) or NaN, with the range of
  * those integers: locals declared once with an initializer, neither parameters nor captured or
  * boxed, whose initializer and every later write `integerOrNaNRange` covers. A local joins once

package/dist/backend/llvm/wrapping-sums.js

@@ -1,5 +1,6 @@
 import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
 import { integerArithmeticRange } from "../../ir/integer-ranges.js";
+import { widenInteger } from "./integer-values.js";
 /** Marks the `+`, `-` and `*` operands whose number only reaches
  * ToInt32/ToUint32 consumers (`| 0`, the other bitwise operators,
  * `Math.imul`, `Math.clz32`), directly or through further sums and
@@ -18,8 +19,9 @@ export function markWrappingOperands(host, ...operands) {
 /** The values an f64 expression can have when each one is an exact integer
  * (never -0) or NaN: proven ranges, safe integer literals, NaN-coded reads
  * of integer typed-array elements and of Int32[] elements, `charCodeAt`,
- * and sums and differences of those whose every integer result is still
- * exact in a double. */
+ * and sums, differences and products of those whose every integer result
+ * is a safe integer, which the double holds exactly. A product that can be
+ * -0 (a zero times a negative) has no range. */
 export function integerOrNaNRange(host, e) {
     if (e.type.kind !== "f64")
         return null;
@@ -47,7 +49,7 @@ export function integerOrNaNRange(host, e) {
         return { min: 0, max: 65535 };
     if (e.kind === "varRef")
         return host.integerOrNaNLocals.get(e.localId) ?? null;
-    if (e.kind === "bin" && (e.op === "+" || e.op === "-")) {
+    if (e.kind === "bin" && (e.op === "+" || e.op === "-" || e.op === "*")) {
         const left = integerOrNaNRange(host, e.left);
         const right = left && integerOrNaNRange(host, e.right);
         return right ? integerArithmeticRange(e.op, left, right) : null;
@@ -63,10 +65,16 @@ export function integerOrNaNIndex(host, value, expr) {
     const range = expr ? integerOrNaNRange(host, expr) : null;
     if (!range)
         return null;
+    // A value that carries its integer and ordered bit needs no conversion.
+    if (value.nanInteger !== undefined && value.ordered !== undefined)
+        return { wide: value.nanInteger, ordered: value.ordered };
     const B = host.B;
-    const ordered = B.tmp();
     const wide = B.tmp();
-    B.line(`${ordered} = fcmp ord double ${value.name}, 0.0`);
+    let ordered = value.ordered;
+    if (ordered === undefined) {
+        ordered = B.tmp();
+        B.line(`${ordered} = fcmp ord double ${value.name}, 0.0`);
+    }
     if (value.uint32 !== undefined && range.min >= 0 && range.max <= 4294967295) {
         B.line(`${wide} = zext i32 ${value.uint32} to i64`);
     }
@@ -101,9 +109,15 @@ function wrappingOperand(host, value, integer, range) {
         return { low, valid: null };
     }
     // The number is an exact integer or NaN, and its ToUint32 view is the
-    // integer's low 32 bits or 0. An ordered compare tells the two apart.
-    const valid = B.tmp();
-    B.line(`${valid} = fcmp ord double ${value.name}, 0.0`);
+    // integer's low 32 bits or 0. Its ordered bit, or an ordered compare,
+    // tells the two apart.
+    let valid = value.ordered ?? null;
+    if (valid === "true")
+        valid = null;
+    else if (valid === null) {
+        valid = B.tmp();
+        B.line(`${valid} = fcmp ord double ${value.name}, 0.0`);
+    }
     if (value.uint32 !== undefined)
         return { low: value.uint32, valid };
     // Without a view, convert once. The conversion of NaN is poison, but the
@@ -126,8 +140,9 @@ function wrappingOperand(host, value, integer, range) {
  * low halves is the converted exact result; a NaN operand makes the result
  * NaN, which converts to 0. A product is exact when the operands' magnitude
  * bounds multiply to at most 2^53; it may be -0 (`0 * -1`), which converts
- * to 0 like the integer 0. Returns undefined, emitting nothing, for any
- * other expression. */
+ * to 0 like the integer 0. Returns the converted result with its ordered
+ * bit (`true` when no operand can be NaN), or undefined, emitting nothing,
+ * for any other expression. */
 export function emitWrappingSum(host, e, l, r, li, ri) {
     if ((e.op !== "+" && e.op !== "-" && e.op !== "*") || !host.wrappingSums.has(e))
         return undefined;
@@ -146,14 +161,51 @@ export function emitWrappingSum(host, e, l, r, li, ri) {
     B.line(`${sum} = ${e.op === "+" ? "add" : e.op === "-" ? "sub" : "mul"} i32 ${left.low}, ${right.low}`);
     let valid = left.valid ?? right.valid;
     if (valid === null)
-        return sum;
+        return { uint32: sum, ordered: "true" };
     if (left.valid && right.valid) {
         valid = B.tmp();
         B.line(`${valid} = and i1 ${left.valid}, ${right.valid}`);
     }
     const out = B.tmp();
     B.line(`${out} = select i1 ${valid}, i32 ${sum}, i32 0`);
-    return out;
+    return { uint32: out, ordered: valid };
+}
+/** The integer of `left op right` (`+`, `-` or `*`) and its ordered bit
+ * when the expression is an exact integer or NaN (`integerOrNaNRange`) and
+ * each operand carries an integer: its exact integer, or its `nanInteger`
+ * and ordered bit. The result is NaN exactly when an operand is, and the i64
+ * arithmetic of the operands' integers is the result's integer otherwise:
+ * the range keeps it within the safe integers. While an operand is NaN its
+ * integer is 0 or another integer of these forms, so the i64 arithmetic
+ * stays within range either way. Undefined, emitting nothing, for any other
+ * expression. */
+export function emitNanArithmetic(host, e, l, r, li, ri) {
+    if (e.op !== "+" && e.op !== "-" && e.op !== "*")
+        return undefined;
+    const operand = (value, integer) => {
+        if (integer)
+            return { integer: widenInteger(host, integer), ordered: "true" };
+        if (value.nanInteger === undefined || value.ordered === undefined)
+            return null;
+        return { integer: value.nanInteger, ordered: value.ordered };
+    };
+    if ((!li && l.nanInteger === undefined) || (!ri && r.nanInteger === undefined))
+        return undefined;
+    if (!integerOrNaNRange(host, e))
+        return undefined;
+    const left = operand(l, li);
+    const right = left && operand(r, ri);
+    if (!right)
+        return undefined;
+    const B = host.B;
+    const nanInteger = B.tmp();
+    B.line(`${nanInteger} = ${e.op === "+" ? "add" : e.op === "-" ? "sub" : "mul"} i64 ${left.integer}, ${right.integer}`);
+    let ordered = left.ordered === "true" ? right.ordered : left.ordered;
+    if (left.ordered !== "true" && right.ordered !== "true") {
+        ordered = B.tmp();
+        B.line(`${ordered} = and i1 ${left.ordered}, ${right.ordered}`);
+    }
+    return { nanInteger, ordered };
 }
 /** Whether every product of a value in `left` and one in `right` is an
  * integer of magnitude below 2^53, which the double product holds exactly.

package/dist/backend/llvm/wrapping-sums.js.map

@@ -1 +1 @@
-{"version":3,"file":"wrapping-sums.js","sourceRoot":"","sources":["../../../src/backend/llvm/wrapping-sums.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAqB,MAAM,4BAA4B,CAAC;AAIvF;;;;wBAIwB;AACxB,MAAM,UAAU,oBAAoB,CAAC,IAAwB,EAAE,GAAG,QAAkB;IAClF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,EAAE,KAAK,GAAG,CAAC;YAC5F,SAAS;QACX,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAC5E,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/B,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED;;;;wBAIwB;AACxB,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,CAAS;IACnE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC7D,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE;YAChC,CAAC,CAAC,IAAI,CAAC;IACX,IACE,CAAC,CAAC,IAAI,KAAK,gBAAgB;QAC3B,CAAC,CAAC,MAAM,KAAK,KAAK;QAClB,CAAC,CAAC,UAAU,KAAK,IAAI;QACrB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAEhC,OAAO,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACtD,sEAAsE;IACtE,gDAAgD;IAChD,IACE,CAAC,CAAC,IAAI,KAAK,cAAc;QACzB,CAAC,CAAC,MAAM,KAAK,WAAW;QACxB,IAAI,CAAC,aAAa,KAAK,IAAI;QAC3B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QAE9B,OAAO,cAAc,CAAC,GAAI,CAAC;IAC7B,8CAA8C;IAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAC1F,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,IAAI,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACvD,OAAO,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,EAAE,IAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;+BAI+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,KAAc,EACd,IAAwB;IAExB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,sBAAsB,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC;IACtD,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7F,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC;IACtD,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,cAAc,GAA0C;IAC5D,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;IACxB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;IACzB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;IAC3B,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE;IAC3B,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE;IAChC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;IAChC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE;CAC3C,CAAC;AAEF;wCACwC;AACxC,SAAS,eAAe,CACtB,IAAwB,EACxB,KAAc,EACd,OAAyB,EACzB,KAAmB;IAEnB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACtE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,OAAO,CAAC,IAAI,SAAS,CAAC,CAAC;QACpD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,sEAAsE;IACtE,sEAAsE;IACtE,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;IACxD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IACpE,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QACxD,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACxD,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QACvD,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,IAAI,SAAS,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC;AAED;;;;;;;;uBAQuB;AACvB,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,CAA2B,EAC3B,CAAU,EACV,CAAU,EACV,EAAoB,EACpB,EAAoB;IAEpB,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClG,MAAM,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,SAAS,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACnF,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,IACE,CAAC,CAAC,EAAE,KAAK,GAAG;QACV,CAAC,CAAC,CAAC,YAAY,CAAC,SAAU,EAAE,UAAU,CAAC;QACvC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,EAAE,SAAU,EAAE,UAAU,CAAC;QAEzD,OAAO,SAAS,CAAC;IACnB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,SAAU,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CACJ,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,EAAE,CAChG,CAAC;IACF,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC;IACtC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC;IAC/B,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,KAAK,SAAS,GAAG,SAAS,CAAC,CAAC;IACzD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;4CAI4C;AAC5C,SAAS,YAAY,CAAC,IAAkB,EAAE,KAAmB;IAC3D,MAAM,SAAS,GAAG,CAAC,KAAmB,EAAU,EAAE,CAChD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AACtD,CAAC;AAED;;;;wFAIwF;AACxF,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,EAAc;IAEd,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvE,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpF,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,EAAU,EAAQ,EAAE;QAChC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACtB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAa,EAAQ,EAAE;QAChD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;YACtB,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,SAAS,QAAQ,CAAC,CAAS;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;aAClD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC9C,OAAO,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,SAAS,QAAQ,CAAC,CAAS;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;aAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;iBAC3D,CAAC;gBACJ,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACxB,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;aAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY;YAAE,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACvE,OAAO,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;QAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrC,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC;IACzC,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC;IAChC,IAAI,CAAC;QACH,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,OAAO,MAAM,EAAE,CAAC;YACd,MAAM,GAAG,KAAK,CAAC;YACf,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBAClC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACjD,IAAI,KAAK,GAAwB,IAAI,CAAC;gBACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;wBAClB,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;oBACD,KAAK;wBACH,KAAK,KAAK,IAAI;4BACZ,CAAC,CAAC,IAAI;4BACN,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnF,CAAC;gBACD,IAAI,KAAK,KAAK,IAAI;oBAAE,SAAS;gBAC7B,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACrB,MAAM,GAAG,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,kBAAkB,GAAG,QAAQ,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"wrapping-sums.js","sourceRoot":"","sources":["../../../src/backend/llvm/wrapping-sums.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAqB,MAAM,4BAA4B,CAAC;AAEvF,OAAO,EAAE,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AAEnE;;;;wBAIwB;AACxB,MAAM,UAAU,oBAAoB,CAAC,IAAwB,EAAE,GAAG,QAAkB;IAClF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,EAAE,KAAK,GAAG,CAAC;YAC5F,SAAS;QACX,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAC5E,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/B,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED;;;;;gDAKgD;AAChD,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,CAAS;IACnE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC7D,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE;YAChC,CAAC,CAAC,IAAI,CAAC;IACX,IACE,CAAC,CAAC,IAAI,KAAK,gBAAgB;QAC3B,CAAC,CAAC,MAAM,KAAK,KAAK;QAClB,CAAC,CAAC,UAAU,KAAK,IAAI;QACrB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAEhC,OAAO,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACtD,sEAAsE;IACtE,gDAAgD;IAChD,IACE,CAAC,CAAC,IAAI,KAAK,cAAc;QACzB,CAAC,CAAC,MAAM,KAAK,WAAW;QACxB,IAAI,CAAC,aAAa,KAAK,IAAI;QAC3B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QAE9B,OAAO,cAAc,CAAC,GAAI,CAAC;IAC7B,8CAA8C;IAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAC1F,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,IAAI,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACvD,OAAO,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,EAAE,IAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;+BAI+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,KAAc,EACd,IAAwB;IAExB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,wEAAwE;IACxE,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;QAC/D,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,IAAI,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC5B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,sBAAsB,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC;IACtD,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7F,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC;IACtD,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,cAAc,GAA0C;IAC5D,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;IACxB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;IACzB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;IAC3B,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE;IAC3B,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE;IAChC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;IAChC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE;CAC3C,CAAC;AAEF;wCACwC;AACxC,SAAS,eAAe,CACtB,IAAwB,EACxB,KAAc,EACd,OAAyB,EACzB,KAAmB;IAEnB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACtE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,OAAO,CAAC,IAAI,SAAS,CAAC,CAAC;QACpD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,sEAAsE;IACtE,sEAAsE;IACtE,uBAAuB;IACvB,IAAI,KAAK,GAAkB,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC;IACjD,IAAI,KAAK,KAAK,MAAM;QAAE,KAAK,GAAG,IAAI,CAAC;SAC9B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACxB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IACpE,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;QACxD,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACxD,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QACvD,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,IAAI,SAAS,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC;AAED;;;;;;;;;+BAS+B;AAC/B,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,CAA2B,EAC3B,CAAU,EACV,CAAU,EACV,EAAoB,EACpB,EAAoB;IAEpB,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClG,MAAM,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,SAAS,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACnF,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,IACE,CAAC,CAAC,EAAE,KAAK,GAAG;QACV,CAAC,CAAC,CAAC,YAAY,CAAC,SAAU,EAAE,UAAU,CAAC;QACvC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,EAAE,SAAU,EAAE,UAAU,CAAC;QAEzD,OAAO,SAAS,CAAC;IACnB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,SAAU,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CACJ,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,EAAE,CAChG,CAAC;IACF,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC;IACtC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC5D,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,KAAK,SAAS,GAAG,SAAS,CAAC,CAAC;IACzD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;iBAQiB;AACjB,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,CAA2B,EAC3B,CAAU,EACV,CAAU,EACV,EAAoB,EACpB,EAAoB;IAEpB,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG;QAAE,OAAO,SAAS,CAAC;IACnE,MAAM,OAAO,GAAG,CACd,KAAc,EACd,OAAyB,EACoB,EAAE;QAC/C,IAAI,OAAO;YAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC9E,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC/E,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAC/D,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACjG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,IAAI,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,CAAC,CAAC,IAAI,CACJ,GAAG,UAAU,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAChH,CAAC;IACF,IAAI,OAAO,GAAG,IAAK,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAK,CAAC,OAAO,CAAC;IACvE,IAAI,IAAK,CAAC,OAAO,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QACzD,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,IAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACjC,CAAC;AAED;;;;4CAI4C;AAC5C,SAAS,YAAY,CAAC,IAAkB,EAAE,KAAmB;IAC3D,MAAM,SAAS,GAAG,CAAC,KAAmB,EAAU,EAAE,CAChD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AACtD,CAAC;AAED;;;;wFAIwF;AACxF,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,EAAc;IAEd,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvE,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpF,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,EAAU,EAAQ,EAAE;QAChC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACtB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAa,EAAQ,EAAE;QAChD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;YACtB,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,SAAS,QAAQ,CAAC,CAAS;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;aAClD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC9C,OAAO,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,SAAS,QAAQ,CAAC,CAAS;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;aAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;iBAC3D,CAAC;gBACJ,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACxB,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;aAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY;YAAE,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACvE,OAAO,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;QAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrC,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC;IACzC,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC;IAChC,IAAI,CAAC;QACH,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,OAAO,MAAM,EAAE,CAAC;YACd,MAAM,GAAG,KAAK,CAAC;YACf,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBAClC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACjD,IAAI,KAAK,GAAwB,IAAI,CAAC;gBACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;wBAClB,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;oBACD,KAAK;wBACH,KAAK,KAAK,IAAI;4BACZ,CAAC,CAAC,IAAI;4BACN,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnF,CAAC;gBACD,IAAI,KAAK,KAAK,IAAI;oBAAE,SAAS;gBAC7B,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACrB,MAAM,GAAG,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,kBAAkB,GAAG,QAAQ,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/backend/loop-polls.d.ts

@@ -14,7 +14,9 @@ export declare function loopTestsEveryIteration(loop: Loop, tested: (call: IrExp
 /** True when the body of `loop`, outside its nested loops and closures,
  * reads or writes a typed-array element: the loops whose cancellation poll
  * the emitter moves between blocks of iterations, so that LLVM can
- * vectorize them. Other loops keep the budget in their body, which costs
- * less in a loop of a few iterations. */
+ * vectorize them. Outside another loop, other loops keep the budget in
+ * their body, which costs less in a loop of a few iterations. */
 export declare function loopAccessesTypedArrays(loop: Loop): boolean;
+/** Whether `body` holds a loop outside its closures. */
+export declare function containsLoop(body: readonly IrStmt[]): boolean;
 export {};

package/dist/backend/loop-polls.js

@@ -101,8 +101,8 @@ export function loopTestsEveryIteration(loop, tested) {
 /** True when the body of `loop`, outside its nested loops and closures,
  * reads or writes a typed-array element: the loops whose cancellation poll
  * the emitter moves between blocks of iterations, so that LLVM can
- * vectorize them. Other loops keep the budget in their body, which costs
- * less in a loop of a few iterations. */
+ * vectorize them. Outside another loop, other loops keep the budget in
+ * their body, which costs less in a loop of a few iterations. */
 export function loopAccessesTypedArrays(loop) {
     const inExpr = (e) => {
         if (e.kind === "bytesIntrinsic" && e.method === "get")
@@ -122,4 +122,13 @@ export function loopAccessesTypedArrays(loop) {
     };
     return loop.body.some(inStmt);
 }
+/** Whether `body` holds a loop outside its closures. */
+export function containsLoop(body) {
+    const inStmt = (s) => s.kind === "while" ||
+        s.kind === "doWhile" ||
+        s.kind === "for" ||
+        s.kind === "forOf" ||
+        !everyStmtChild(s, () => true, (child) => !inStmt(child));
+    return body.some(inStmt);
+}
 //# sourceMappingURL=loop-polls.js.map

package/dist/backend/loop-polls.js.map

@@ -1 +1 @@
-{"version":3,"file":"loop-polls.js","sourceRoot":"","sources":["../../src/backend/loop-polls.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAInE;0DAC0D;AAC1D,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,MAAM;IACN,KAAK;IACL,aAAa;IACb,WAAW;IACX,KAAK;IACL,OAAO;IACP,QAAQ;IACR,WAAW;IACX,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,aAAa;IACb,UAAU;IACV,WAAW;IACX,QAAQ;IACR,UAAU;IACV,WAAW;IACX,aAAa;IACb,SAAS;CACV,CAAC,CAAC;AAEH;WACW;AACX,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,SAAS;IACT,QAAQ;IACR,UAAU;IACV,UAAU;IACV,UAAU;IACV,UAAU;IACV,WAAW;IACX,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH;;;;;;;qEAOqE;AACrE,MAAM,UAAU,uBAAuB,CAAC,IAAU,EAAE,MAAiC;IACnF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAW,EAAE;QACvC,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EACtC,GAAG,EAAE,CAAC,IAAI,CACX,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,kBAAkB,GAAG,CAAC,CAAS,EAAW,EAAE;QAChD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EACtC,GAAG,EAAE,CAAC,IAAI,CACX,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC1C,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,MAAe,EAAW,EAAE;QACxD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,KAAK,GACT,MAAM;YACN,CAAC,CAAC,IAAI,KAAK,OAAO;YAClB,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,KAAK,KAAK;YAChB,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QACrB,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,GAAG,EAAE,CAAC,IAAI,EACV,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAC9C,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,kBAAkB,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACzC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;yCAIyC;AACzC,MAAM,UAAU,uBAAuB,CAAC,IAAU;IAChD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACnE,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EACnC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CACpC,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QACvC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YACtF,OAAO,KAAK,CAAC;QACf,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EACnC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CACpC,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC"}
+{"version":3,"file":"loop-polls.js","sourceRoot":"","sources":["../../src/backend/loop-polls.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAInE;0DAC0D;AAC1D,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,MAAM;IACN,KAAK;IACL,aAAa;IACb,WAAW;IACX,KAAK;IACL,OAAO;IACP,QAAQ;IACR,WAAW;IACX,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,aAAa;IACb,UAAU;IACV,WAAW;IACX,QAAQ;IACR,UAAU;IACV,WAAW;IACX,aAAa;IACb,SAAS;CACV,CAAC,CAAC;AAEH;WACW;AACX,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,SAAS;IACT,QAAQ;IACR,UAAU;IACV,UAAU;IACV,UAAU;IACV,UAAU;IACV,WAAW;IACX,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH;;;;;;;qEAOqE;AACrE,MAAM,UAAU,uBAAuB,CAAC,IAAU,EAAE,MAAiC;IACnF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAW,EAAE;QACvC,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EACtC,GAAG,EAAE,CAAC,IAAI,CACX,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,kBAAkB,GAAG,CAAC,CAAS,EAAW,EAAE;QAChD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EACtC,GAAG,EAAE,CAAC,IAAI,CACX,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC1C,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,MAAe,EAAW,EAAE;QACxD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,KAAK,GACT,MAAM;YACN,CAAC,CAAC,IAAI,KAAK,OAAO;YAClB,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,KAAK,KAAK;YAChB,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QACrB,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,GAAG,EAAE,CAAC,IAAI,EACV,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAC9C,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,kBAAkB,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACzC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,uBAAuB,CAAC,IAAU;IAChD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACnE,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EACnC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CACpC,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QACvC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YACtF,OAAO,KAAK,CAAC;QACf,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EACnC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CACpC,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,YAAY,CAAC,IAAuB;IAClD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CACpC,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,cAAc,CACb,CAAC,EACD,GAAG,EAAE,CAAC,IAAI,EACV,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAC1B,CAAC;IACJ,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC3B,CAAC"}

package/dist/backend/mangle.d.ts

@@ -96,11 +96,6 @@ export declare function mangleGenDrop(fnName: string): string;
 /** The never-started return() hook of a generator that closes its source
  * argument (an iterator helper). */
 export declare function mangleGenSourceClose(fnName: string): string;
-/** Emitted ref-kind resolve thunk, interned per inner-type key. */
-export declare function mangleResolveThunk(n: number): string;
-/** Emitted generator-resume result builder (the IteratorResult record),
- * interned per generator-type key. */
-export declare function mangleGenResThunk(n: number): string;
 /** Emitted Promise.race fulfillment adapter (entry inner type → result
  * inner type), interned per type pair. */
 export declare function mangleRaceThunk(n: number): string;

package/dist/backend/mangle.js

@@ -208,15 +208,6 @@ export function mangleGenDrop(fnName) {
 export function mangleGenSourceClose(fnName) {
     return `sc_gc_${sanitize(fnName)}`;
 }
-/** Emitted ref-kind resolve thunk, interned per inner-type key. */
-export function mangleResolveThunk(n) {
-    return `sc_rslv_${n}`;
-}
-/** Emitted generator-resume result builder (the IteratorResult record),
- * interned per generator-type key. */
-export function mangleGenResThunk(n) {
-    return `sc_gres_${n}`;
-}
 /** Emitted Promise.race fulfillment adapter (entry inner type → result
  * inner type), interned per type pair. */
 export function mangleRaceThunk(n) {

package/dist/backend/mangle.js.map

@@ -1 +1 @@
-{"version":3,"file":"mangle.js","sourceRoot":"","sources":["../../src/backend/mangle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C;;;;;;;;;;;GAWG;AAEH,SAAS,QAAQ,CAAC,IAAY,EAAE,QAAQ,GAAG,KAAK;IAC9C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM;YACJ,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ;gBACtB,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;oBACxB,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC;oBAC3B,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;oBAC1B,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC;oBAC5B,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;IACpC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AAClC,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,SAAS,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED;kDACkD;AAClD,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,QAAQ,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACpC,CAAC;AAED;wDACwD;AACxD,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,QAAQ,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,UAAU,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACzC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,cAAc,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,SAAiB;IAC3C,wEAAwE;IACxE,wEAAwE;IACxE,OAAO,UAAU,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;AAC/C,CAAC;AACD;;;gEAGgE;AAChE,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,OAAO,WAAW,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD;yDACyD;AACzD,MAAM,UAAU,cAAc,CAAC,aAAqB;IAClD,OAAO,UAAU,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD;2EAC2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;;;gDAGgD;AAChD,MAAM,UAAU,aAAa,CAAC,aAAqB;IACjD,OAAO,UAAU,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD;;;;;uDAKuD;AACvD,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,UAAU,GAAG,CAAC;IACzD,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACnG,CAAC;AACD;;iCAEiC;AACjC,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,MAAc;IAC/D,OAAO,SAAS,QAAQ,CAAC,GAAG,SAAS,IAAI,MAAM,EAAE,CAAC,EAAE,CAAC;AACvD,CAAC;AACD;;mEAEmE;AACnE,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,YAAY,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,OAAO,WAAW,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,eAAe,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;uEACuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;gFACgF;AAChF,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,OAAO,QAAQ,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;2CAC2C;AAC3C,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;wEACwE;AACxE,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;;8CAE8C;AAC9C,MAAM,UAAU,0BAA0B,CAAC,MAAc;IACvD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;+EAC+E;AAC/E,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;;;yBAGyB;AACzB,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;oCACoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;sCACsC;AACtC,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;0CAC0C;AAC1C,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;oCACoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;iEACiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;eAEe;AACf,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;qEACqE;AACrE,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;2CAC2C;AAC3C,MAAM,UAAU,uBAAuB,CAAC,CAAS;IAC/C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;8BAE8B;AAC9B,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;gDACgD;AAChD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oCAEoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;;oBAGoB;AACpB,MAAM,UAAU,0BAA0B,CAAC,CAAS;IAClD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oBAEoB;AACpB,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,CAAS;IAC7C,OAAO,iBAAiB,CAAC,EAAE,CAAC;AAC9B,CAAC;AAED;;0CAE0C;AAC1C,MAAM,UAAU,wBAAwB,CAAC,CAAS;IAChD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AAED;;kDAEkD;AAClD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED;;iCAEiC;AACjC,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC"}
+{"version":3,"file":"mangle.js","sourceRoot":"","sources":["../../src/backend/mangle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C;;;;;;;;;;;GAWG;AAEH,SAAS,QAAQ,CAAC,IAAY,EAAE,QAAQ,GAAG,KAAK;IAC9C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM;YACJ,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ;gBACtB,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;oBACxB,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC;oBAC3B,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;oBAC1B,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC;oBAC5B,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;IACpC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AAClC,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,SAAS,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED;kDACkD;AAClD,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,QAAQ,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACpC,CAAC;AAED;wDACwD;AACxD,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,QAAQ,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,UAAU,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACzC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,cAAc,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,SAAiB;IAC3C,wEAAwE;IACxE,wEAAwE;IACxE,OAAO,UAAU,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;AAC/C,CAAC;AACD;;;gEAGgE;AAChE,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,OAAO,WAAW,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD;yDACyD;AACzD,MAAM,UAAU,cAAc,CAAC,aAAqB;IAClD,OAAO,UAAU,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD;2EAC2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;;;gDAGgD;AAChD,MAAM,UAAU,aAAa,CAAC,aAAqB;IACjD,OAAO,UAAU,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD;;;;;uDAKuD;AACvD,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,UAAU,GAAG,CAAC;IACzD,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACnG,CAAC;AACD;;iCAEiC;AACjC,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,MAAc;IAC/D,OAAO,SAAS,QAAQ,CAAC,GAAG,SAAS,IAAI,MAAM,EAAE,CAAC,EAAE,CAAC;AACvD,CAAC;AACD;;mEAEmE;AACnE,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,YAAY,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,OAAO,WAAW,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,eAAe,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;uEACuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;gFACgF;AAChF,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,OAAO,QAAQ,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;2CAC2C;AAC3C,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;wEACwE;AACxE,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;;8CAE8C;AAC9C,MAAM,UAAU,0BAA0B,CAAC,MAAc;IACvD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;+EAC+E;AAC/E,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;;;yBAGyB;AACzB,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;oCACoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;0CAC0C;AAC1C,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;oCACoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;iEACiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;eAEe;AACf,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;qEACqE;AACrE,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;2CAC2C;AAC3C,MAAM,UAAU,uBAAuB,CAAC,CAAS;IAC/C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;8BAE8B;AAC9B,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;gDACgD;AAChD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oCAEoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;;oBAGoB;AACpB,MAAM,UAAU,0BAA0B,CAAC,CAAS;IAClD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oBAEoB;AACpB,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,CAAS;IAC7C,OAAO,iBAAiB,CAAC,EAAE,CAAC;AAC9B,CAAC;AAED;;0CAE0C;AAC1C,MAAM,UAAU,wBAAwB,CAAC,CAAS;IAChD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AAED;;kDAEkD;AAClD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED;;iCAEiC;AACjC,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC"}

package/dist/backend/may-throw.d.ts

@@ -36,7 +36,11 @@ export type MayThrowReason = {
  * and generator bodies keep the conservative answer: a termination request
  * and a generator's `.return()` unwind through `catch`. */
 export declare function computeMayThrow(mod: IrModule, options?: {
-    stackChecks?: boolean;
+    /** Native stack checks: true for the functions that check on entry (one
+     * per call cycle, see stackCheckedFunctions); "everyCycleMember" for a
+     * model in which every function on a cycle checks, which answers a
+     * superset that does not depend on that choice. */
+    stackChecks?: boolean | "everyCycleMember";
     explain?: boolean;
     /** computePublishedTypes(mod), when the caller already has it. */
     published?: ReturnType<typeof computePublishedTypes>;
@@ -67,12 +71,9 @@ export declare function workerTerminationPolls(mod: IrModule, nodes?: IrNodeInde
     entry: Set<string>;
     polls: Set<string>;
 };
-/** The functions that can take part in unbounded recursion, which check the
- * native stack guard on entry: every function on a cycle of the call graph.
- * Direct edges are calls, constructions and virtual dispatch. A function
- * containing any operation that can reenter scriptc code other than through
- * those edges (an indirect call, a callback-taking or dynamic operation, a
- * library call; see boundedNode) also reaches every function that such an
- * operation can invoke: closure targets and class members. Non-recursive
- * functions, including leaf callbacks, stay check-free. */
+/** The functions that check the native stack guard on entry: one function
+ * of every cycle of the call graph (stackCheckGraph), which bounds every
+ * unbounded recursion, since its frames repeat the cycle's guarded function
+ * again and again. Non-recursive functions, including leaf callbacks, stay
+ * check-free. See cycleGuards for the choice. */
 export declare function stackCheckedFunctions(mod: IrModule, nodes?: IrNodeIndex): Set<string>;