@scriptc/compiler 0.1.7 → 0.2.1

package/dist/ir/constant-tables.js

@@ -1,3 +1,4 @@
+import { everyExprChild, everyStmtChild } from "./traverse.js";
 const MAX_TABLE_ELEMENTS = 256;
 function literalNumber(expr) {
     if (expr.kind === "numLit")
@@ -33,61 +34,78 @@ export function findConstantNumericTables(mod) {
         return expr.kind === "varRef" && expr.type.kind === "array" && expr.type.elem.kind === "f64"
             ? candidates.get(expr.localId) : undefined;
     }
-    function visit(value) {
-        if (Array.isArray(value)) {
-            value.forEach(visit);
-            return;
-        }
-        if (value === null || typeof value !== "object")
-            return;
-        const node = value;
-        if (node["kind"] === "closure") {
-            for (const id of node.captures) {
-                const candidate = candidates.get(id);
-                if (candidate)
-                    candidate.rejected = true;
-            }
-        }
-        if (node["kind"] === "arrIntrinsic") {
-            const read = node;
-            const candidate = candidateFor(read.receiver);
-            if (candidate && ((read.method === "getNumber" && read.args.length === 1) ||
-                (read.method === "length" && read.args.length === 0))) {
-                if (read.method === "getNumber")
-                    candidate.reads++;
-                visit(read.args);
-                return;
-            }
-        }
-        if (node["kind"] === "arrayGet" || node["kind"] === "arrayHas" || node["kind"] === "arrayState") {
-            const read = node;
-            if (candidateFor(read.arr)) {
-                visit(read.index);
-                return;
+    function reject(id) {
+        const candidate = candidates.get(id);
+        if (candidate)
+            candidate.rejected = true;
+    }
+    function expr(node) {
+        switch (node.kind) {
+            case "closure":
+            case "classRef":
+                for (const id of node.captures ?? [])
+                    reject(id);
+                break;
+            case "arrIntrinsic": {
+                const candidate = candidateFor(node.receiver);
+                if (candidate && ((node.method === "getNumber" && node.args.length === 1) ||
+                    (node.method === "length" && node.args.length === 0))) {
+                    if (node.method === "getNumber")
+                        candidate.reads++;
+                    return node.args.every(expr);
+                }
+                break;
             }
+            case "arrayGet":
+            case "arrayHas":
+            case "arrayState":
+                if (candidateFor(node.arr))
+                    return expr(node.index);
+                break;
+            case "varRef":
+            case "assignExpr":
+            case "incDec":
+                reject(node.localId);
+                break;
         }
-        const candidate = typeof node["localId"] === "string" ? candidates.get(node["localId"]) : undefined;
-        if (candidate) {
-            if (node["kind"] === "assign" && ++candidate.writes === 1) {
-                const init = node["value"];
-                if (init.kind === "arrayLit" && !init.spreads?.length && init.elems.length > 0 && init.elems.length <= MAX_TABLE_ELEMENTS) {
-                    const values = init.elems.map(literalNumber);
-                    if (values.every((n) => n !== null))
-                        candidate.values = values;
+        return everyExprChild(node, expr, stmt);
+    }
+    function stmt(node) {
+        switch (node.kind) {
+            case "assign": {
+                const candidate = candidates.get(node.localId);
+                if (candidate) {
+                    candidate.writes++;
+                    if (candidate.writes === 1) {
+                        const init = node.value;
+                        if (init.kind === "arrayLit" && !init.spreads?.length && init.elems.length > 0 && init.elems.length <= MAX_TABLE_ELEMENTS) {
+                            const values = [];
+                            for (const elem of init.elems) {
+                                const value = literalNumber(elem);
+                                if (value !== null)
+                                    values.push(value);
+                            }
+                            if (values.length === init.elems.length)
+                                candidate.values = values;
+                        }
+                        if (candidate.values === null)
+                            candidate.rejected = true;
+                    }
+                    else
+                        candidate.rejected = true;
                 }
-                if (candidate.values === null)
-                    candidate.rejected = true;
+                break;
             }
-            else {
-                candidate.rejected = true;
-            }
-        }
-        for (const [key, child] of Object.entries(node)) {
-            if (key !== "type" && key !== "loc")
-                visit(child);
+            case "varDecl":
+            case "forOf":
+            case "rethrow":
+                reject(node.localId);
+                break;
         }
+        return everyStmtChild(node, expr, stmt);
     }
-    visit(mod.functions);
+    for (const fn of mod.functions)
+        fn.body.every(stmt);
     const tables = new Map();
     for (const [id, candidate] of candidates) {
         if (!candidate.rejected && candidate.writes === 1 && candidate.reads > 0 && candidate.values !== null) {

package/dist/ir/constant-tables.js.map

@@ -1 +1 @@
-{"version":3,"file":"constant-tables.js","sourceRoot":"","sources":["../../src/ir/constant-tables.ts"],"names":[],"mappings":"AAOA,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,KAAK,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;2EAU2E;AAC3E,MAAM,UAAU,yBAAyB,CAAC,GAAa;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyF,CAAC;IACpH,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvF,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAE5C,SAAS,YAAY,CAAC,IAAY;QAChC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC1F,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED,SAAS,KAAK,CAAC,KAAc;QAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAC3D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QACxD,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,MAAM,EAAE,IAAK,IAAqC,CAAC,QAAQ,EAAE,CAAC;gBACjE,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrC,IAAI,SAAS;oBAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,cAAc,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,IAAyC,CAAC;YACvD,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;gBACrE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;oBAAE,SAAS,CAAC,KAAK,EAAE,CAAC;gBACnD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO;YACT,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,YAAY,EAAE,CAAC;YAChG,MAAM,IAAI,GAAG,IAAiE,CAAC;YAC/E,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAC,OAAO;YAAC,CAAC;QAC5D,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpG,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAW,CAAC;gBACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,kBAAkB,EAAE,CAAC;oBAC1H,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;oBAC7C,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;wBAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC;gBAC9E,CAAC;gBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI;oBAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC3D,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACrB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACtG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"constant-tables.js","sourceRoot":"","sources":["../../src/ir/constant-tables.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAO/D,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,KAAK,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;2EAU2E;AAC3E,MAAM,UAAU,yBAAyB,CAAC,GAAa;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyF,CAAC;IACpH,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvF,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAE5C,SAAS,YAAY,CAAC,IAAY;QAChC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC1F,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED,SAAS,MAAM,CAAC,EAAU;QACxB,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,SAAS;YAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC3C,CAAC;IAED,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC;YAAC,KAAK,UAAU;gBAC7B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;oBAAE,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjD,MAAM;YACR,KAAK,cAAc,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC9C,IAAI,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;oBACrE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;wBAAE,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/B,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,UAAU,CAAC;YAAC,KAAK,UAAU,CAAC;YAAC,KAAK,YAAY;gBACjD,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpD,MAAM;YACR,KAAK,QAAQ,CAAC;YAAC,KAAK,YAAY,CAAC;YAAC,KAAK,QAAQ;gBAC7C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrB,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,SAAS,EAAE,CAAC;oBACd,SAAS,CAAC,MAAM,EAAE,CAAC;oBACnB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;wBACxB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,kBAAkB,EAAE,CAAC;4BAC1H,MAAM,MAAM,GAAa,EAAE,CAAC;4BAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gCAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gCAClC,IAAI,KAAK,KAAK,IAAI;oCAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BACzC,CAAC;4BACD,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;gCAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC;wBACrE,CAAC;wBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI;4BAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;oBAC3D,CAAC;;wBAAM,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACnC,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,SAAS,CAAC;YAAC,KAAK,OAAO,CAAC;YAAC,KAAK,SAAS;gBAC1C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrB,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACtG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/ir/constant-tables.test.js

@@ -11,7 +11,7 @@ const read = (index = num(0)) => ({ kind: "arrIntrinsic", method: "getNumber", r
 const expr = (value) => ({ kind: "exprStmt", expr: value, loc });
 function fixture() {
     return {
-        irVersion: 11, sourceFile: loc.file, entry: "main",
+        irVersion: 13, sourceFile: loc.file, entry: "main",
         globals: [{ id, name: "table", type, mutable: false }],
         functions: [{ name: "main", params: [], returnType: VOID, locals: [], body: [
                     { kind: "assign", localId: id, value: { kind: "arrayLit", elems: [num(2), num(-0), num(Infinity)], type, loc }, loc },

package/dist/ir/control-flow.d.ts

@@ -0,0 +1,6 @@
+import type { IrStmt, IrUnionDef } from "./ir.js";
+/** Conservative "all paths return" — mirrors what tsc already guarantees. */
+export declare function alwaysReturns(stmts: readonly IrStmt[], unions: ReadonlyMap<string, IrUnionDef>): boolean;
+/** Break at this level (not inside a nested loop or switch, whose bodies
+ * own their breaks). */
+export declare function containsBreak(stmts: readonly IrStmt[]): boolean;

package/dist/ir/control-flow.js

@@ -0,0 +1,142 @@
+/** Conservative "all paths return" — mirrors what tsc already guarantees. */
+export function alwaysReturns(stmts, unions) {
+    for (const s of stmts) {
+        switch (s.kind) {
+            case "return":
+                return true;
+            case "throw":
+            case "rethrow":
+            case "runtimeFence":
+                // Terminates the path like return: control unwinds (to a handler or
+                // out of the function), never falling off the end. tsc agrees —
+                // `function f(): T { throw x; }` typechecks without a return.
+                return true;
+            case "exprStmt":
+                // process.exit never returns (fflush + _Exit): the path terminates
+                // like a throw. Mirrors tsc's own never-based reachability, which
+                // accepted the function without a trailing return — the
+                // parseAsync().catch entry handler ends exactly this way.
+                if (s.expr.kind === "libCall" && s.expr.fn === "process.exit")
+                    return true;
+                break;
+            case "tryCatch":
+                // Normal completion requires the try body to complete normally (and
+                // the catch, when the try raised) — if both always terminate, so
+                // does the whole statement. Without a catch, an exception keeps
+                // propagating (never a normal completion), so the try body alone
+                // decides. A finally that always terminates (throw) also decides.
+                if (alwaysReturns(s.tryBody, unions) &&
+                    (s.catchBody === null || alwaysReturns(s.catchBody, unions))) {
+                    return true;
+                }
+                if (s.finallyBody && alwaysReturns(s.finallyBody, unions))
+                    return true;
+                break;
+            case "if":
+                if (s.else_ && alwaysReturns(s.then, unions) && alwaysReturns(s.else_, unions))
+                    return true;
+                break;
+            case "while":
+                // `while (true)` with no break never completes normally (tsc treats
+                // it the same way), so anything after it is unreachable.
+                if (s.cond.kind === "boolLit" && s.cond.value && !containsBreak(s.body))
+                    return true;
+                break;
+            case "for":
+                // `for (;;)` — no condition, or a literal-true one — with no break
+                // never completes normally either (the walk-up-until-root idiom:
+                // every exit is a return).
+                if ((s.cond === null || (s.cond.kind === "boolLit" && s.cond.value)) &&
+                    !containsBreak(s.body)) {
+                    return true;
+                }
+                break;
+            case "block":
+                if (alwaysReturns(s.body, unions))
+                    return true;
+                break;
+            case "doWhile":
+                // The body runs at least once: if it returns on all paths, so does
+                // the loop. `do {} while (true)` with no break never completes.
+                if (alwaysReturns(s.body, unions))
+                    return true;
+                if (s.cond.kind === "boolLit" && s.cond.value && !containsBreak(s.body))
+                    return true;
+                break;
+            case "switch": {
+                // A switch always returns when no case body ever breaks out, every
+                // possible entry point (any case) reaches a return, and dispatch
+                // cannot miss every case: either a default exists, or the switch is
+                // an EXHAUSTIVE discriminant switch — the discriminant is a
+                // `unionDisc` over a union with N arms, every test is a distinct
+                // literal, and there are at least N of them. (At least: several
+                // discriminant VALUES can share one deduped IR arm, e.g.
+                // `{op: 0; a} | {op: 2; a}` is one record shape.) The real
+                // exhaustiveness guarantee is tsc's — it accepted the function
+                // without a trailing return (trust-the-checker, like narrowing
+                // itself); this condition only keeps hand-written IR conservative.
+                // With no switch-level breaks, execution from case i runs bodies
+                // i..end as a straight line — check that flattened suffix.
+                const hasDefault = s.cases.some((c) => c.test === null);
+                const distinct = new Set();
+                let literalCount = 0;
+                for (const clause of s.cases) {
+                    const test = clause.test;
+                    if (test !== null && (test.kind === "numLit" || test.kind === "strLit" || test.kind === "boolLit")) {
+                        literalCount++;
+                        distinct.add(`${test.kind}:${String(test.value)}`);
+                    }
+                }
+                const exhaustive = !hasDefault &&
+                    s.disc.kind === "unionDisc" &&
+                    literalCount === s.cases.length &&
+                    distinct.size === s.cases.length &&
+                    s.cases.length >= (unions.get(s.disc.unionId)?.arms.length ?? Infinity);
+                if (!hasDefault && !exhaustive)
+                    break;
+                if (s.cases.some((c) => containsBreak(c.body)))
+                    break;
+                const bodies = s.cases.map((c) => c.body);
+                const everyEntryReturns = bodies.every((_, i) => alwaysReturns(bodies.slice(i).flat(), unions));
+                if (everyEntryReturns)
+                    return true;
+                break;
+            }
+            default:
+                break;
+        }
+    }
+    return false;
+}
+/** Break at this level (not inside a nested loop or switch, whose bodies
+ * own their breaks). */
+export function containsBreak(stmts) {
+    for (const s of stmts) {
+        switch (s.kind) {
+            case "break":
+                return true;
+            case "if":
+                if (containsBreak(s.then) || (s.else_ && containsBreak(s.else_)))
+                    return true;
+                break;
+            case "block":
+                if (containsBreak(s.body))
+                    return true;
+                break;
+            case "tryCatch":
+                // Plain try/catch does not capture breaks — a break inside binds to
+                // the enclosing loop/switch (finally-crossing jumps are rejected
+                // upstream, so reachable IR only has these in plain try/catch).
+                if (containsBreak(s.tryBody) ||
+                    (s.catchBody !== null && containsBreak(s.catchBody)) ||
+                    (s.finallyBody !== null && containsBreak(s.finallyBody))) {
+                    return true;
+                }
+                break;
+            default:
+                break; // while/for/doWhile/switch bodies own their breaks
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=control-flow.js.map

package/dist/ir/control-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-flow.js","sourceRoot":"","sources":["../../src/ir/control-flow.ts"],"names":[],"mappings":"AAEA,6EAA6E;AAC7E,MAAM,UAAU,aAAa,CAAC,KAAwB,EAAE,MAAuC;IAC7F,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC;YACd,KAAK,OAAO,CAAC;YACb,KAAK,SAAS,CAAC;YACf,KAAK,cAAc;gBACjB,oEAAoE;gBACpE,gEAAgE;gBAChE,8DAA8D;gBAC9D,OAAO,IAAI,CAAC;YACd,KAAK,UAAU;gBACb,mEAAmE;gBACnE,kEAAkE;gBAClE,wDAAwD;gBACxD,0DAA0D;gBAC1D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,cAAc;oBAAE,OAAO,IAAI,CAAC;gBAC3E,MAAM;YACR,KAAK,UAAU;gBACb,oEAAoE;gBACpE,iEAAiE;gBACjE,gEAAgE;gBAChE,iEAAiE;gBACjE,kEAAkE;gBAClE,IACE,aAAa,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC;oBAChC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,EAC5D,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,CAAC,CAAC,WAAW,IAAI,aAAa,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACvE,MAAM;YACR,KAAK,IAAI;gBACP,IAAI,CAAC,CAAC,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC5F,MAAM;YACR,KAAK,OAAO;gBACV,oEAAoE;gBACpE,yDAAyD;gBACzD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrF,MAAM;YACR,KAAK,KAAK;gBACR,mEAAmE;gBACnE,iEAAiE;gBACjE,2BAA2B;gBAC3B,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAChE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EACtB,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC/C,MAAM;YACR,KAAK,SAAS;gBACZ,mEAAmE;gBACnE,gEAAgE;gBAChE,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC/C,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrF,MAAM;YACR,KAAK,QAAQ,EAAE,CAAC;gBACd,mEAAmE;gBACnE,iEAAiE;gBACjE,oEAAoE;gBACpE,4DAA4D;gBAC5D,iEAAiE;gBACjE,gEAAgE;gBAChE,yDAAyD;gBACzD,2DAA2D;gBAC3D,+DAA+D;gBAC/D,+DAA+D;gBAC/D,mEAAmE;gBACnE,iEAAiE;gBACjE,2DAA2D;gBAC3D,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBACnC,IAAI,YAAY,GAAG,CAAC,CAAC;gBACrB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;oBACzB,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;wBACnG,YAAY,EAAE,CAAC;wBACf,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACrD,CAAC;gBACH,CAAC;gBACD,MAAM,UAAU,GACd,CAAC,UAAU;oBACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;oBAC3B,YAAY,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;oBAC/B,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;oBAChC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC;gBAC1E,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU;oBAAE,MAAM;gBACtC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAAE,MAAM;gBACtD,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC1C,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9C,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAC9C,CAAC;gBACF,IAAI,iBAAiB;oBAAE,OAAO,IAAI,CAAC;gBACnC,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wBACwB;AACxB,MAAM,UAAU,aAAa,CAAC,KAAwB;IACpD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC;YACd,KAAK,IAAI;gBACP,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC9E,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACvC,MAAM;YACR,KAAK,UAAU;gBACb,oEAAoE;gBACpE,iEAAiE;gBACjE,gEAAgE;gBAChE,IACE,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;oBACxB,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBACpD,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EACxD,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM;YACR;gBACE,MAAM,CAAC,mDAAmD;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/ir/control-flow.test.d.ts

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

package/dist/ir/control-flow.test.js

@@ -0,0 +1,113 @@
+import { describe, expect, test } from "vitest";
+import { boolLit, numLit, strLit, varRef } from "./build.js";
+import { alwaysReturns, containsBreak } from "./control-flow.js";
+import { BOOL, F64, STRING, VOID } from "./ir.js";
+const loc = { file: "control-flow.ts", start: 0, end: 1 };
+const ret = { kind: "return", value: numLit(0, loc), loc };
+const stop = { kind: "break", loc };
+const empty = { kind: "block", body: [], loc };
+const unions = new Map([
+    ["pair", { id: "pair", arms: [STRING, F64] }],
+]);
+const branch = (then, else_) => ({ kind: "if", cond: varRef("condition", BOOL, loc), then, else_, loc });
+const loop = (body) => ({ kind: "while", cond: boolLit(true, loc), body, loc });
+const guarded = (tryBody, catchBody, finallyBody) => ({ kind: "tryCatch", tryBody, catchBody, finallyBody, catchLocalId: null, loc });
+const disc = {
+    kind: "unionDisc", unionId: "pair", field: "kind",
+    value: varRef("value", { kind: "union", unionId: "pair" }, loc), type: STRING, loc,
+};
+function switchOf(cases, discriminator = disc) {
+    return { kind: "switch", disc: discriminator, cases, loc };
+}
+describe("return analysis", () => {
+    test("sequences terminate at a returning block or both conditional branches", () => {
+        expect(alwaysReturns([], unions)).toBe(false);
+        expect(alwaysReturns([empty, branch([ret], null)], unions)).toBe(false);
+        expect(alwaysReturns([empty, branch([ret], [ret])], unions)).toBe(true);
+        expect(alwaysReturns([{ kind: "block", body: [empty, ret], loc }], unions)).toBe(true);
+    });
+    test("throws, rethrows, fences, and process exit terminate", () => {
+        const terminating = [
+            { kind: "throw", value: strLit("failure", loc), loc },
+            { kind: "rethrow", localId: "caught", loc },
+            { kind: "runtimeFence", code: "SC1090", message: "unsupported", loc },
+            { kind: "exprStmt", expr: { kind: "libCall", fn: "process.exit", args: [numLit(1, loc)], type: VOID, loc }, loc },
+        ];
+        for (const statement of terminating)
+            expect(alwaysReturns([statement], unions)).toBe(true);
+        expect(alwaysReturns([{ kind: "exprStmt", expr: numLit(1, loc), loc }], unions)).toBe(false);
+    });
+    test("only literal unconditional loops establish termination", () => {
+        expect(alwaysReturns([loop([])], unions)).toBe(true);
+        expect(alwaysReturns([loop([stop])], unions)).toBe(false);
+        expect(alwaysReturns([{ kind: "while", cond: varRef("test", BOOL, loc), body: [ret], loc }], unions)).toBe(false);
+        expect(alwaysReturns([{ kind: "for", init: null, cond: null, update: null, body: [], loc }], unions)).toBe(true);
+        expect(alwaysReturns([{ kind: "for", init: null, cond: boolLit(false, loc), update: null, body: [], loc }], unions)).toBe(false);
+    });
+    test("do loops execute their returning body at least once", () => {
+        expect(alwaysReturns([{ kind: "doWhile", body: [ret], cond: boolLit(false, loc), loc }], unions)).toBe(true);
+        expect(alwaysReturns([{ kind: "doWhile", body: [], cond: boolLit(false, loc), loc }], unions)).toBe(false);
+        expect(alwaysReturns([{ kind: "doWhile", body: [stop], cond: boolLit(true, loc), loc }], unions)).toBe(false);
+    });
+    test("catch fallthrough is accounted for and terminating finally takes precedence", () => {
+        expect(alwaysReturns([guarded([ret], null, [])], unions)).toBe(true);
+        expect(alwaysReturns([guarded([ret], [], null)], unions)).toBe(false);
+        expect(alwaysReturns([guarded([ret], [ret], null)], unions)).toBe(true);
+        expect(alwaysReturns([guarded([], [], [ret])], unions)).toBe(true);
+        expect(alwaysReturns([guarded([], [ret], [])], unions)).toBe(false);
+    });
+});
+describe("switch coverage", () => {
+    test("fallthrough suffixes must terminate from every entry", () => {
+        const cases = [{ test: strLit("left", loc), body: [] }, { test: null, body: [ret] }];
+        expect(alwaysReturns([switchOf(cases)], unions)).toBe(true);
+        cases[1].body = [];
+        expect(alwaysReturns([switchOf(cases)], unions)).toBe(false);
+        cases[0].body = [ret];
+        expect(alwaysReturns([switchOf(cases)], unions)).toBe(false);
+    });
+    test("an exhaustive discriminant needs distinct literals and a known union", () => {
+        const cases = [{ test: strLit("left", loc), body: [ret] }, { test: strLit("right", loc), body: [ret] }];
+        expect(alwaysReturns([switchOf(cases)], unions)).toBe(true);
+        expect(alwaysReturns([switchOf(cases)], new Map())).toBe(false);
+        expect(alwaysReturns([switchOf(cases.slice(0, 1))], unions)).toBe(false);
+        expect(alwaysReturns([switchOf([cases[0], cases[0]])], unions)).toBe(false);
+        expect(alwaysReturns([switchOf(cases, varRef("text", STRING, loc))], unions)).toBe(false);
+    });
+    test("different literal kinds remain distinct and expression tests are not exhaustive", () => {
+        const cases = [{ test: numLit(1, loc), body: [ret] }, { test: strLit("1", loc), body: [ret] }];
+        expect(alwaysReturns([switchOf(cases)], unions)).toBe(true);
+        expect(alwaysReturns([switchOf([{ test: boolLit(true, loc), body: [ret] }, cases[0]])], unions)).toBe(true);
+        expect(alwaysReturns([switchOf([{ test: varRef("key", STRING, loc), body: [ret] }, cases[0]])], unions)).toBe(false);
+    });
+    test("a switch-owned break prevents an all-paths-return claim", () => {
+        const cases = [{ test: strLit("left", loc), body: [branch([stop], [ret])] }, { test: null, body: [ret] }];
+        expect(alwaysReturns([switchOf(cases)], unions)).toBe(false);
+        cases[0].body = [loop([stop]), ret];
+        expect(alwaysReturns([switchOf(cases)], unions)).toBe(true);
+    });
+});
+describe("break ownership", () => {
+    test("blocks and either conditional branch propagate breaks", () => {
+        expect(containsBreak([empty, branch([], [stop])])).toBe(true);
+        expect(containsBreak([{ kind: "block", body: [stop], loc }])).toBe(true);
+        expect(containsBreak([branch([ret], [ret])])).toBe(false);
+    });
+    test("try, catch, and finally bodies preserve the enclosing break target", () => {
+        expect(containsBreak([guarded([stop], null, null)])).toBe(true);
+        expect(containsBreak([guarded([], [stop], null)])).toBe(true);
+        expect(containsBreak([guarded([], null, [stop])])).toBe(true);
+        expect(containsBreak([guarded([], null, null)])).toBe(false);
+    });
+    test("nested loops and switches own their breaks", () => {
+        const nested = [
+            loop([stop]),
+            { kind: "for", init: null, cond: null, update: null, body: [stop], loc },
+            { kind: "doWhile", body: [stop], cond: boolLit(false, loc), loc },
+            switchOf([{ test: null, body: [stop] }]),
+        ];
+        expect(containsBreak(nested)).toBe(false);
+        expect(alwaysReturns([loop(nested)], unions)).toBe(true);
+    });
+});
+//# sourceMappingURL=control-flow.test.js.map

package/dist/ir/control-flow.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-flow.test.js","sourceRoot":"","sources":["../../src/ir/control-flow.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,SAAS,CAAC;AAE7F,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC1D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;AACnE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAC5C,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AACvD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB;IACzC,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;CAC9C,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,KAAsB,EAAU,EAAE,CAChE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAC3E,MAAM,IAAI,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClG,MAAM,OAAO,GAAG,CAAC,OAAiB,EAAE,SAA0B,EAAE,WAA4B,EAAU,EAAE,CACtG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,IAAI,GAAW;IACnB,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;IACjD,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;CACnF,CAAC;AACF,SAAS,QAAQ,CAAC,KAAgD,EAAE,aAAa,GAAG,IAAI;IACtF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC7D,CAAC;AAED,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,aAAa,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,WAAW,GAAa;YAC5B,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;YACrD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE;YAC3C,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE;YACrE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;SAClH,CAAC;QACF,KAAK,MAAM,SAAS,IAAI,WAAW;YAAE,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3F,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClH,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjH,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnI,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7G,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3G,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAChF,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxG,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9E,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;QAC3F,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/F,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7G,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1G,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAa;YACvB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YACZ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE;YACxE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;YACjE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzC,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/integer-loops.js

@@ -1,23 +1,12 @@
+import { everyStmtList } from "./traverse.js";
 /** True when a lowered subtree writes `localId`. Local ids are unique per
- * function, so a generic structured walk is sufficient and includes writes
+ * function, so typed traversal includes writes
  * nested in expressions, branches, nested loops, and try/finally bodies. */
-function writesLocal(value, localId) {
-    if (Array.isArray(value))
-        return value.some((item) => writesLocal(item, localId));
-    if (value === null || typeof value !== "object")
-        return false;
-    const node = value;
-    if ((node.kind === "assign" || node.kind === "assignExpr" || node.kind === "incDec") &&
-        node.localId === localId) {
-        return true;
-    }
-    for (const [key, child] of Object.entries(value)) {
-        if (key === "type" || key === "loc")
-            continue;
-        if (writesLocal(child, localId))
-            return true;
-    }
-    return false;
+function writesLocal(body, localId) {
+    return !everyStmtList(body, {
+        expr: (expr) => (expr.kind !== "assignExpr" && expr.kind !== "incDec") || expr.localId !== localId,
+        stmt: (stmt) => stmt.kind !== "assign" || stmt.localId !== localId,
+    });
 }
 function isUnitIncrement(update, localId) {
     // The frontend normally lowers `i++` to `i = i + 1` before backend

package/dist/ir/integer-loops.js.map

@@ -1 +1 @@
-{"version":3,"file":"integer-loops.js","sourceRoot":"","sources":["../../src/ir/integer-loops.ts"],"names":[],"mappings":"AAWA;;4EAE4E;AAC5E,SAAS,WAAW,CAAC,KAAc,EAAE,OAAe;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAClF,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAG,KAA8C,CAAC;IAC5D,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QAChF,IAAI,CAAC,OAAO,KAAK,OAAO,EACxB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK;YAAE,SAAS;QAC9C,IAAI,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB,EAAE,OAAe;IAC7D,mEAAmE;IACnE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC7B,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,OAAO;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QACvB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;QACrC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QACpC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,aAAa,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACvE,CAAC"}
+{"version":3,"file":"integer-loops.js","sourceRoot":"","sources":["../../src/ir/integer-loops.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAW9C;;4EAE4E;AAC5E,SAAS,WAAW,CAAC,IAAc,EAAE,OAAe;IAClD,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE;QAC1B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;QAClG,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;KACnE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB,EAAE,OAAe;IAC7D,mEAAmE;IACnE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC7B,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,OAAO;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QACvB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;QACrC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QACpC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,aAAa,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACvE,CAAC"}