@scriptc/compiler 0.3.0 → 0.3.1

package/dist/frontend/lowering/containers/string-replacement.js

@@ -1,10 +1,12 @@
 import * as ts from "../../ts7/adapter.js";
 import { BOOL, F64, REGEX, STRING, arrayOf, isUnitType, typeEquals, typeKey, } from "../../../ir/ir.js";
 import { numLit, strLit, varRef } from "../../../ir/build.js";
+import { InternalCompilerError } from "../../../errors.js";
 import { locOf } from "../../program.js";
 import { coerceStringSearchValue, defaultAfterUndefined, lowerStaticallyUndefinedArgument, } from "../optional-arguments.js";
 /** String search does not interpret regex syntax or capture substitutions.
- * The helper receives evaluated arguments and owns its chunks until join.
+ * A string replacement expands in one runtime pass; a callback runs through
+ * a helper that receives evaluated arguments and owns its chunks until join.
  * Callbacks see the original immutable subject and UTF-16 match offset. */
 export function lowerStringReplacement(lowerer, call, method, receiver, args) {
     if (args.length > 2 || args.some(ts.isSpreadElement)) {
@@ -82,12 +84,29 @@ export function lowerStringReplacement(lowerer, call, method, receiver, args) {
 }
 function lowerStringReplacementValues(lowerer, call, method, receiver, search, replacement) {
     const loc = locOf(call);
-    const callback = replacement.type.kind === "func" ? replacement.type : null;
+    if (replacement.type.kind === "string") {
+        // A replacement template expands in one runtime pass over the subject.
+        return {
+            kind: "libCall",
+            fn: "str.replaceLiteral",
+            args: [
+                receiver,
+                search,
+                replacement,
+                { kind: "boolLit", value: method === "replaceAll", type: BOOL, loc },
+            ],
+            type: STRING,
+            loc,
+        };
+    }
+    const callback = replacement.type;
+    if (callback.kind !== "func") {
+        throw new InternalCompilerError(`string .${method} replacement of type ${callback.kind}`);
+    }
     const full = [STRING, F64, STRING];
-    if (callback &&
-        (callback.ret.kind !== "string" ||
-            callback.params.length > full.length ||
-            !callback.params.every((type, index) => typeEquals(type, full[index])))) {
+    if (callback.ret.kind !== "string" ||
+        callback.params.length > full.length ||
+        !callback.params.every((type, index) => typeEquals(type, full[index]))) {
         lowerer.noLowering(`string .${method} callback signature`, call.arguments[1] ?? call, "use a callback returning string with a prefix of (match: string, offset: number, subject: string)");
     }
     const key = `str.${method}:${typeKey(replacement.type)}`;
@@ -105,21 +124,13 @@ function lowerStringReplacementValues(lowerer, call, method, receiver, search, r
         const chunksType = arrayOf(STRING);
         const chunks = varRef("chunks.0", chunksType, loc);
         const builder = stringBuilder(loc, chunks);
-        const value = callback
-            ? {
-                kind: "callValue",
-                callee: replace,
-                args: [needle, match, subject].slice(0, callback.params.length),
-                type: STRING,
-                loc,
-            }
-            : {
-                kind: "call",
-                callee: replacementTemplateHelper(lowerer, loc),
-                args: [subject, needle, replace, match],
-                type: STRING,
-                loc,
-            };
+        const value = {
+            kind: "callValue",
+            callee: replace,
+            args: [needle, match, subject].slice(0, callback.params.length),
+            type: STRING,
+            loc,
+        };
         const stop = { kind: "break", loc };
         const body = [
             builder.declare("chunks.0", { kind: "arrayLit", elems: [], type: chunksType, loc }),
@@ -196,121 +207,6 @@ function lowerStringReplacementValues(lowerer, call, method, receiver, search, r
     }
     return { kind: "call", callee: helper, args: [receiver, search, replacement], type: STRING, loc };
 }
-/** GetSubstitution with no captures: $$, $&, $`, and $' expand. Numeric
- * and named capture spellings remain literal. Scan dollar signs rather
- * than individual subject characters so ordinary Unicode text is intact. */
-function replacementTemplateHelper(lowerer, loc) {
-    const key = "str.replacementTemplate";
-    const previous = lowerer.valueHelpers.get(key);
-    if (previous)
-        return previous;
-    const name = `%str.template.${lowerer.valueHelpers.size}`;
-    lowerer.valueHelpers.set(key, name);
-    const subject = varRef("s.0", STRING, loc);
-    const needle = varRef("search.0", STRING, loc);
-    const template = varRef("template.0", STRING, loc);
-    const position = varRef("position.0", F64, loc);
-    const cursor = varRef("cursor.0", F64, loc);
-    const dollar = varRef("dollar.0", F64, loc);
-    const next = varRef("next.0", STRING, loc);
-    const chunksType = arrayOf(STRING);
-    const chunks = varRef("chunks.0", chunksType, loc);
-    const builder = stringBuilder(loc, chunks);
-    const expansions = [
-        ["$", strLit("$", loc)],
-        ["&", needle],
-        ["`", builder.slice(subject, numLit(0, loc), position)],
-        ["'", builder.slice(subject, builder.add(position, builder.length(needle)), undefined)],
-    ];
-    let selection = [builder.append(strLit("$", loc))];
-    for (let index = expansions.length - 1; index >= 0; index--) {
-        const [token, expansion] = expansions[index];
-        selection = [
-            {
-                kind: "if",
-                cond: {
-                    kind: "strEq",
-                    negated: false,
-                    left: next,
-                    right: strLit(token, loc),
-                    type: BOOL,
-                    loc,
-                },
-                then: [
-                    builder.append(expansion),
-                    builder.assign("cursor.0", builder.add(cursor, numLit(1, loc))),
-                ],
-                else_: selection,
-                loc,
-            },
-        ];
-    }
-    const params = [
-        { localId: "s.0", name: "s", type: STRING },
-        { localId: "search.0", name: "search", type: STRING },
-        { localId: "template.0", name: "template", type: STRING },
-        { localId: "position.0", name: "position", type: F64 },
-    ];
-    const locals = [
-        ...params.map((param) => ({
-            id: param.localId,
-            name: param.name,
-            type: param.type,
-            mutable: false,
-        })),
-        { id: "chunks.0", name: "chunks", type: chunksType, mutable: false },
-        { id: "cursor.0", name: "cursor", type: F64, mutable: true },
-        { id: "dollar.0", name: "dollar", type: F64, mutable: false },
-        { id: "next.0", name: "next", type: STRING, mutable: false },
-    ];
-    lowerer.liftedFns.push({
-        name,
-        params,
-        returnType: STRING,
-        locals,
-        body: [
-            builder.declare("chunks.0", { kind: "arrayLit", elems: [], type: chunksType, loc }),
-            builder.declare("cursor.0", numLit(0, loc)),
-            {
-                kind: "while",
-                cond: builder.compare("<", cursor, builder.length(template)),
-                body: [
-                    builder.declare("dollar.0", {
-                        kind: "strIntrinsic",
-                        method: "indexOf",
-                        receiver: template,
-                        args: [strLit("$", loc), cursor],
-                        type: F64,
-                        loc,
-                    }),
-                    {
-                        kind: "if",
-                        cond: builder.compare("<", dollar, numLit(0, loc)),
-                        then: [{ kind: "break", loc }],
-                        else_: null,
-                        loc,
-                    },
-                    builder.append(builder.slice(template, cursor, dollar)),
-                    builder.assign("cursor.0", builder.add(dollar, numLit(1, loc))),
-                    builder.declare("next.0", {
-                        kind: "strIntrinsic",
-                        method: "charAt",
-                        receiver: template,
-                        args: [cursor],
-                        type: STRING,
-                        loc,
-                    }),
-                    ...selection,
-                ],
-                loc,
-            },
-            builder.append(builder.slice(template, cursor, undefined)),
-            { kind: "return", value: builder.join(), loc },
-        ],
-        loc,
-    });
-    return name;
-}
 function stringBuilder(loc, chunks) {
     return {
         declare(localId, init) {

package/dist/frontend/lowering/containers/string-replacement.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-replacement.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/string-replacement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,KAAK,EACL,MAAM,EACN,OAAO,EACP,UAAU,EACV,UAAU,EACV,OAAO,GAMR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,gCAAgC,GACjC,MAAM,0BAA0B,CAAC;AAElC;;2EAE2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAgC,EAChC,QAAgB,EAChB,IAA8B;IAE9B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,UAAU,CAAC,WAAW,MAAM,iCAAiC,EAAE,IAAI,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,CAAC,IAAY,EAAW,EAAE,CAC1C,IAAI,CAAC,IAAI,KAAK,OAAO;QACnB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,UAAU,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,QAAQ,GAAG,CAAC,IAA+B,EAAE,QAAiB,EAAU,EAAE;QAC9E,IAAI,CAAC,IAAI;YAAE,OAAO,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/D,IAAI,MAAM;YAAE,OAAO,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACxF,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,UAAU,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,SAAS,EACnG,IAAI,EACJ,8EAA8E,CAC/E,CAAC;QACJ,CAAC;QACD,OAAO,uBAAuB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAClE,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,OAAO,CAAC,UAAU,CAAC,WAAW,MAAM,2CAA2C,EAAE,IAAI,CAAC,CAAC;QACzF,CAAC;QACD,wEAAwE;QACxE,0EAA0E;QAC1E,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACtE,MAAM,kBAAkB,GACtB,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC7B,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC;YACvD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACf,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,4BAA4B,CACxC,OAAO,EACP,IAAI,EACJ,MAAM,EACN,IAAI,CAAC,CAAC,CAAE,EACR,WAAW,EACX,kBAAkB,CACnB,CAAC;QACF,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACxB,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrF,IAAI,EAAE;oBACJ,IAAI,EAAE,gBAAgB;oBACtB,MAAM;oBACN,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAE;oBAClB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,EAAE,kBAAkB,CAAC;oBAChF,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACH,CAAC,CAAC,KAAK,CAAC;QACZ,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAU,EAAE,CAAC,CAAC;gBAC3C,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM,CAAC,KAAK,CAAE,CAAC,EAAE;gBAC1B,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ,CAAC,CAAC;YACH,MAAM;YACN,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,4BAA4B,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,4BAA4B,CACnC,OAAgB,EAChB,IAAuB,EACvB,MAAgC,EAChC,QAAgB,EAChB,MAAc,EACd,WAAmB;IAEnB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,IACE,QAAQ;QACR,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;YAC7B,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;YACpC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,EAC1E,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,qBAAqB,EACtC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,EACzB,mGAAmG,CACpG,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,MAAM,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;IACzD,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,QAAQ,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACvD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAW,QAAQ;YAC5B,CAAC,CAAC;gBACE,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,OAAO;gBACf,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC/D,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,yBAAyB,CAAC,OAAO,EAAE,GAAG,CAAC;gBAC/C,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;gBACvC,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACN,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAa;YACrB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;YACnF,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC3C,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACjD;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5D,IAAI,EAAE;oBACJ,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE;wBACzB,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,SAAS;wBACjB,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;wBACtB,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ,CAAC;oBACF;wBACE,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBACjD,IAAI,EAAE,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ;oBACD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;oBAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;oBACrB,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACjD,GAAG,CAAC,MAAM,KAAK,SAAS;wBACtB,CAAC,CAAC,CAAC,IAAI,CAAC;wBACR,CAAC,CAAC;4BACE,OAAO,CAAC,MAAM,CACZ,UAAU,EACV,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE;gCACjB,IAAI,EAAE,SAAS;gCACf,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gCAClD,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;gCACpB,KAAK,EAAE,IAAI;gCACX,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ,CAAC,CACH;yBACF,CAAC;iBACP;gBACD,GAAG;aACJ;YACD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;SAC/C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;YAC3C,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YACrD,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE;SAClE,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM;YACN,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE;gBACN,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACxB,EAAE,EAAE,KAAK,CAAC,OAAO;oBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;gBACH,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;gBACpE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACnD,EAAE,EAAE,GAAG,IAAI,IAAI;oBACf,IAAI;oBACJ,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,IAAI;iBACd,CAAC,CAAC;aACJ;YACD,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACpG,CAAC;AAED;;4EAE4E;AAC5E,SAAS,yBAAyB,CAAC,OAAgB,EAAE,GAAW;IAC9D,MAAM,GAAG,GAAG,yBAAyB,CAAC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,iBAAiB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAuB;QACrC,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC,GAAG,EAAE,MAAM,CAAC;QACb,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;KACxF,CAAC;IACF,IAAI,SAAS,GAAa,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7D,KAAK,IAAI,KAAK,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5D,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC,KAAK,CAAE,CAAC;QAC9C,SAAS,GAAG;YACV;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;oBACzB,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC;oBACzB,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;iBAChE;gBACD,KAAK,EAAE,SAAS;gBAChB,GAAG;aACJ;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG;QACb,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;QAC3C,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QACrD,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QACzD,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE;KACvD,CAAC;IACF,MAAM,MAAM,GAAc;QACxB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxB,EAAE,EAAE,KAAK,CAAC,OAAO;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;QACH,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;QACpE,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QAC5D,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;QAC7D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;KAC7D,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM;QACN,UAAU,EAAE,MAAM;QAClB,MAAM;QACN,IAAI,EAAE;YACJ,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;YACnF,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC3C;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAC5D,IAAI,EAAE;oBACJ,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE;wBAC1B,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,SAAS;wBACjB,QAAQ,EAAE,QAAQ;wBAClB,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC;wBAChC,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ,CAAC;oBACF;wBACE,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBAClD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;wBAC9B,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ;oBACD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;oBACvD,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;oBAC/D,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE;wBACxB,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,QAAQ;wBAChB,QAAQ,EAAE,QAAQ;wBAClB,IAAI,EAAE,CAAC,MAAM,CAAC;wBACd,IAAI,EAAE,MAAM;wBACZ,GAAG;qBACJ,CAAC;oBACF,GAAG,SAAS;iBACb;gBACD,GAAG;aACJ;YACD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YAC1D,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;SAC/C;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,OAAO;QACL,OAAO,CAAC,OAAe,EAAE,IAAY;YACnC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,OAAe,EAAE,KAAa;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjD,CAAC;QACD,GAAG,CAAC,IAAY,EAAE,KAAa;YAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC/D,CAAC;QACD,OAAO,CAAC,EAAsB,EAAE,IAAY,EAAE,KAAa;YACzD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC3D,CAAC;QACD,MAAM,CAAC,QAAgB;YACrB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACxF,CAAC;QACD,KAAK,CAAC,QAAgB,EAAE,KAAa,EAAE,GAAuB;YAC5D,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,OAAO;gBACf,QAAQ;gBACR,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBAClC,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,KAAa;YAClB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,MAAM;oBACd,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,CAAC,KAAK,CAAC;oBACb,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI;YACF,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBACvB,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"string-replacement.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/string-replacement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,KAAK,EACL,MAAM,EACN,OAAO,EACP,UAAU,EACV,UAAU,EACV,OAAO,GAKR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,gCAAgC,GACjC,MAAM,0BAA0B,CAAC;AAElC;;;2EAG2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAgC,EAChC,QAAgB,EAChB,IAA8B;IAE9B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,UAAU,CAAC,WAAW,MAAM,iCAAiC,EAAE,IAAI,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,CAAC,IAAY,EAAW,EAAE,CAC1C,IAAI,CAAC,IAAI,KAAK,OAAO;QACnB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,UAAU,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,QAAQ,GAAG,CAAC,IAA+B,EAAE,QAAiB,EAAU,EAAE;QAC9E,IAAI,CAAC,IAAI;YAAE,OAAO,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/D,IAAI,MAAM;YAAE,OAAO,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACxF,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,UAAU,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,SAAS,EACnG,IAAI,EACJ,8EAA8E,CAC/E,CAAC;QACJ,CAAC;QACD,OAAO,uBAAuB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAClE,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,OAAO,CAAC,UAAU,CAAC,WAAW,MAAM,2CAA2C,EAAE,IAAI,CAAC,CAAC;QACzF,CAAC;QACD,wEAAwE;QACxE,0EAA0E;QAC1E,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACtE,MAAM,kBAAkB,GACtB,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC7B,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC;YACvD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACf,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,4BAA4B,CACxC,OAAO,EACP,IAAI,EACJ,MAAM,EACN,IAAI,CAAC,CAAC,CAAE,EACR,WAAW,EACX,kBAAkB,CACnB,CAAC;QACF,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACxB,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrF,IAAI,EAAE;oBACJ,IAAI,EAAE,gBAAgB;oBACtB,MAAM;oBACN,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAE;oBAClB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,EAAE,kBAAkB,CAAC;oBAChF,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACH,CAAC,CAAC,KAAK,CAAC;QACZ,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAU,EAAE,CAAC,CAAC;gBAC3C,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM,CAAC,KAAK,CAAE,CAAC,EAAE;gBAC1B,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ,CAAC,CAAC;YACH,MAAM;YACN,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,4BAA4B,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,4BAA4B,CACnC,OAAgB,EAChB,IAAuB,EACvB,MAAgC,EAChC,QAAgB,EAChB,MAAc,EACd,WAAmB;IAEnB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvC,uEAAuE;QACvE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE;gBACJ,QAAQ;gBACR,MAAM;gBACN,WAAW;gBACX,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,KAAK,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;aACrE;YACD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC;IAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,qBAAqB,CAAC,WAAW,MAAM,wBAAwB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,IACE,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC9B,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;QACpC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC,EACvE,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,qBAAqB,EACtC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,EACzB,mGAAmG,CACpG,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,MAAM,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;IACzD,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,QAAQ,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACvD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,OAAO;YACf,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;YAC/D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;QACF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAa;YACrB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;YACnF,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC3C,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACjD;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5D,IAAI,EAAE;oBACJ,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE;wBACzB,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,SAAS;wBACjB,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;wBACtB,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ,CAAC;oBACF;wBACE,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBACjD,IAAI,EAAE,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ;oBACD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;oBAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;oBACrB,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACjD,GAAG,CAAC,MAAM,KAAK,SAAS;wBACtB,CAAC,CAAC,CAAC,IAAI,CAAC;wBACR,CAAC,CAAC;4BACE,OAAO,CAAC,MAAM,CACZ,UAAU,EACV,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE;gCACjB,IAAI,EAAE,SAAS;gCACf,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gCAClD,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;gCACpB,KAAK,EAAE,IAAI;gCACX,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ,CAAC,CACH;yBACF,CAAC;iBACP;gBACD,GAAG;aACJ;YACD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;SAC/C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;YAC3C,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YACrD,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE;SAClE,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM;YACN,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE;gBACN,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACxB,EAAE,EAAE,KAAK,CAAC,OAAO;oBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;gBACH,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;gBACpE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACnD,EAAE,EAAE,GAAG,IAAI,IAAI;oBACf,IAAI;oBACJ,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,IAAI;iBACd,CAAC,CAAC;aACJ;YACD,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACpG,CAAC;AAED,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,OAAO;QACL,OAAO,CAAC,OAAe,EAAE,IAAY;YACnC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,OAAe,EAAE,KAAa;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjD,CAAC;QACD,GAAG,CAAC,IAAY,EAAE,KAAa;YAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC/D,CAAC;QACD,OAAO,CAAC,EAAsB,EAAE,IAAY,EAAE,KAAa;YACzD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC3D,CAAC;QACD,MAAM,CAAC,QAAgB;YACrB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACxF,CAAC;QACD,KAAK,CAAC,QAAgB,EAAE,KAAa,EAAE,GAAuB;YAC5D,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,OAAO;gBACf,QAAQ;gBACR,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBAClC,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,KAAa;YAClB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,MAAM;oBACd,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,CAAC,KAAK,CAAC;oBACb,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI;YACF,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBACvB,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/devirtualize.d.ts

@@ -0,0 +1,33 @@
+import * as ts from "../ts7/adapter.js";
+import type { IrFunction } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+export interface DevirtualizeFacts {
+    /** Bodies the reachability worklist retained. */
+    reachable: ReadonlySet<string>;
+    /** Classes with a constructor edge other than a subclass's super(). */
+    instantiated: ReadonlySet<string>;
+    /** LIBRARY mode: exported classes are open to the host. */
+    library: boolean;
+    files: readonly ts.SourceFile[];
+}
+/** Post-reachability devirtualization. A `virtualCall` on static class C
+ * becomes a direct call when exactly one implementation can run:
+ *
+ * - no override of the nearest declaration is reachable below C (the
+ *   original rule), or
+ * - every class in C's subtree that may be instantiated EXACTLY resolves
+ *   the method to the same declaration. Classes reached only through a
+ *   subclass's super() never carry their own vtable, so an abstract base
+ *   with one implementation, or a concrete base that is never itself
+ *   constructed, dispatches to its single constructed implementation.
+ *
+ * Instantiation is conservative: any constructor edge other than super()
+ * counts (`new`, class values, dynamic and library construction), as does
+ * every class some retained IR allocates (`new`) or exposes as a class
+ * value (its whole subtree: a construct thunk exists for it). Those are
+ * the only native allocation paths; runtime-provided classes always
+ * count. Subtrees whose classes the compiler cannot see completely
+ * (decorated classes, dynamic bases, exported library classes) stay
+ * virtual. Methods replaceable at runtime never reach this pass: their
+ * calls take the checked property path instead of a virtualCall. */
+export declare function devirtualizeVirtualCalls(lowerer: Lowerer, functions: IrFunction[], facts: DevirtualizeFacts): void;

package/dist/frontend/lowering/devirtualize.js

@@ -0,0 +1,199 @@
+import * as ts from "../ts7/adapter.js";
+import { everyStmtList, transformStmtList } from "../../ir/traverse.js";
+/** Post-reachability devirtualization. A `virtualCall` on static class C
+ * becomes a direct call when exactly one implementation can run:
+ *
+ * - no override of the nearest declaration is reachable below C (the
+ *   original rule), or
+ * - every class in C's subtree that may be instantiated EXACTLY resolves
+ *   the method to the same declaration. Classes reached only through a
+ *   subclass's super() never carry their own vtable, so an abstract base
+ *   with one implementation, or a concrete base that is never itself
+ *   constructed, dispatches to its single constructed implementation.
+ *
+ * Instantiation is conservative: any constructor edge other than super()
+ * counts (`new`, class values, dynamic and library construction), as does
+ * every class some retained IR allocates (`new`) or exposes as a class
+ * value (its whole subtree: a construct thunk exists for it). Those are
+ * the only native allocation paths; runtime-provided classes always
+ * count. Subtrees whose classes the compiler cannot see completely
+ * (decorated classes, dynamic bases, exported library classes) stay
+ * virtual. Methods replaceable at runtime never reach this pass: their
+ * calls take the checked property path instead of a virtualCall. */
+export function devirtualizeVirtualCalls(lowerer, functions, facts) {
+    const sites = new ConstructedClasses(lowerer, functions, facts);
+    for (const fn of functions)
+        fn.body = transformStmtList(fn.body, {
+            stmt: (statement) => statement,
+            expr: (expression) => expression.kind === "virtualCall" ? sites.devirtualize(expression) : expression,
+        });
+}
+class ConstructedClasses {
+    lowerer;
+    facts;
+    lowered = new Set();
+    /** Classes some retained IR allocates or exposes as a class value. */
+    allocated = new Set();
+    exportedNames;
+    openMemo = new Map();
+    subtreeMemo = new Map();
+    constructor(lowerer, functions, facts) {
+        this.lowerer = lowerer;
+        this.facts = facts;
+        const subtree = (name) => {
+            this.allocated.add(name);
+            const info = lowerer.classes.get(name);
+            if (info)
+                for (const c of this.descendants(info))
+                    this.allocated.add(c.def.name);
+        };
+        for (const fn of functions) {
+            this.lowered.add(fn.name);
+            everyStmtList(fn.body, {
+                stmt: () => true,
+                expr: (e) => {
+                    if (e.kind === "new")
+                        this.allocated.add(e.className);
+                    else if (e.kind === "classRef")
+                        subtree(e.className);
+                    else if (e.kind === "newValue" && e.callee.type.kind === "classval")
+                        subtree(e.callee.type.className);
+                    return true;
+                },
+            });
+        }
+        this.exportedNames = facts.library ? exportedNames(facts.files) : new Set();
+    }
+    devirtualize(e) {
+        const lowerer = this.lowerer;
+        const info = lowerer.classes.get(e.className);
+        const nearest = info && lowerer.findMethodOn(info, e.method);
+        if (!info || !nearest)
+            return e;
+        if (nearest.sig.abstract !== true &&
+            !this.descendants(info).some((candidate) => candidate !== info &&
+                candidate.methods.has(e.method) &&
+                this.facts.reachable.has(`%${candidate.def.name}.${e.method}`)))
+            return this.direct(e, info, nearest.declarer);
+        if (this.open(info))
+            return e;
+        let target = null;
+        for (const candidate of this.descendants(info)) {
+            if (!this.mayInstantiate(candidate))
+                continue;
+            const found = lowerer.findMethodOn(candidate, e.method);
+            if (!found || found.sig.abstract === true)
+                return e;
+            if (target !== null && target !== found.declarer)
+                return e;
+            target = found.declarer;
+        }
+        if (target === null || runtimeProvided(target))
+            return e;
+        const callee = `%${target.def.name}.${e.method}`;
+        if (!this.facts.reachable.has(callee) || !this.lowered.has(callee))
+            return e;
+        return this.direct(e, info, target);
+    }
+    direct(e, info, target) {
+        const receiver = e.args[0];
+        const typed = target === info || this.lowerer.isSubclassOf(info.def.name, target.def.name)
+            ? this.lowerer.upcastTo(receiver, target.def.name)
+            : // Every instance that can reach this site is a `target`: the
+                // reinterpret is proven by the instantiation set, like a
+                // checker-narrowed downcast.
+                {
+                    kind: "downcast",
+                    value: receiver,
+                    type: { kind: "object", className: target.def.name },
+                    loc: receiver.loc,
+                };
+        return {
+            kind: "call",
+            callee: `%${target.def.name}.${e.method}`,
+            args: [typed, ...e.args.slice(1)],
+            type: e.type,
+            loc: e.loc,
+        };
+    }
+    /** The class and every class below it, in the isSubclassOf sense
+     * (generic instances included). */
+    descendants(info) {
+        let out = this.subtreeMemo.get(info);
+        if (out === undefined) {
+            out = [info];
+            for (const candidate of this.lowerer.classes.values())
+                if (this.lowerer.isSubclassOf(candidate.def.name, info.def.name))
+                    out.push(candidate);
+            this.subtreeMemo.set(info, out);
+        }
+        return out;
+    }
+    mayInstantiate(info) {
+        return (this.facts.instantiated.has(info.def.name) ||
+            this.allocated.has(info.def.name) ||
+            runtimeProvided(info));
+    }
+    /** True when C's subtree may hold instances the compiler cannot
+     * enumerate: a decorator can replace a class, a dynamic base can change
+     * the chain, and a library host can construct exported classes. */
+    open(info) {
+        const memo = this.openMemo.get(info);
+        if (memo !== undefined)
+            return memo;
+        const open = this.descendants(info).some((c) => c.classDecorators !== undefined ||
+            c.callableBase !== undefined ||
+            c.factoryBaseExpression !== undefined ||
+            c.localClass?.baseExpression !== undefined ||
+            (this.facts.library && this.exported(c)));
+        this.openMemo.set(info, open);
+        return open;
+    }
+    exported(info) {
+        const decl = info.decl;
+        if (!decl)
+            return false;
+        if ((ts.getCombinedModifierFlags(decl) & ts.ModifierFlags.Export) !== 0)
+            return true;
+        const name = decl.name?.text ??
+            (ts.isVariableDeclaration(decl.parent) && ts.isIdentifier(decl.parent.name)
+                ? decl.parent.name.text
+                : undefined);
+        if (name === undefined)
+            return false;
+        if (ts.isVariableDeclaration(decl.parent)) {
+            const statement = decl.parent.parent?.parent;
+            if (statement !== undefined &&
+                ts.isVariableStatement(statement) &&
+                (ts.getCombinedModifierFlags(statement) & ts.ModifierFlags.Export) !== 0)
+                return true;
+        }
+        return this.exportedNames.has(name);
+    }
+}
+function runtimeProvided(info) {
+    return (info.decl === null ||
+        info.builtinError === true ||
+        info.builtinEmitter === true ||
+        info.builtinStream !== undefined);
+}
+/** Local names a module exports through `export { ... }` or
+ * `export default name` (declarations carry their own modifier). */
+function exportedNames(files) {
+    const names = new Set();
+    for (const sf of files)
+        for (const statement of sf.statements) {
+            if (ts.isExportDeclaration(statement) &&
+                statement.moduleSpecifier === undefined &&
+                statement.exportClause &&
+                ts.isNamedExports(statement.exportClause)) {
+                for (const element of statement.exportClause.elements)
+                    names.add((element.propertyName ?? element.name).text);
+            }
+            else if (ts.isExportAssignment(statement) && ts.isIdentifier(statement.expression)) {
+                names.add(statement.expression.text);
+            }
+        }
+    return names;
+}
+//# sourceMappingURL=devirtualize.js.map

package/dist/frontend/lowering/devirtualize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"devirtualize.js","sourceRoot":"","sources":["../../../src/frontend/lowering/devirtualize.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAgBxE;;;;;;;;;;;;;;;;;;;oEAmBoE;AACpE,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,SAAuB,EACvB,KAAwB;IAExB,MAAM,KAAK,GAAG,IAAI,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAChE,KAAK,MAAM,EAAE,IAAI,SAAS;QACxB,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS;YAC9B,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CACnB,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU;SAClF,CAAC,CAAC;AACP,CAAC;AAED,MAAM,kBAAkB;IASH,OAAO;IAEP,KAAK;IAVP,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,sEAAsE;IACrD,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,aAAa,CAAsB;IACnC,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IACzC,WAAW,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEjE,YACmB,OAAgB,EACjC,SAAgC,EACf,KAAwB;uBAFxB,OAAO;qBAEP,KAAK;QAEtB,MAAM,OAAO,GAAG,CAAC,IAAY,EAAQ,EAAE;YACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,IAAI;gBAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnF,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;oBACV,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;wBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;yBACjD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;wBAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;yBAChD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;wBACjE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACnC,OAAO,IAAI,CAAC;gBACd,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IAC9E,CAAC;IAED,YAAY,CAAC,CAAc;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,CAAC;QAChC,IACE,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI;YAC7B,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAC1B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,KAAK,IAAI;gBAClB,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CACjE;YAED,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC;QAC9B,IAAI,MAAM,GAAqB,IAAI,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC;gBAAE,SAAS;YAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACpD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,CAAC,QAAQ;gBAAE,OAAO,CAAC,CAAC;YAC3D,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC1B,CAAC;QACD,IAAI,MAAM,KAAK,IAAI,IAAI,eAAe,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAEO,MAAM,CAAC,CAAc,EAAE,IAAe,EAAE,MAAiB;QAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,KAAK,GACT,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAC1E,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAClD,CAAC,CAAC,6DAA6D;gBAC7D,yDAAyD;gBACzD,6BAA6B;gBAC7B;oBACE,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE,QAAQ;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;oBACpD,GAAG,EAAE,QAAQ,CAAC,GAAG;iBAClB,CAAC;QACR,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE;YACzC,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,EAAE,CAAC,CAAC,GAAG;SACX,CAAC;IACJ,CAAC;IAED;uCACmC;IAC3B,WAAW,CAAC,IAAe;QACjC,IAAI,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;YACb,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE;gBACnD,IAAI,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxF,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,cAAc,CAAC,IAAe;QACpC,OAAO,CACL,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAC1C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACjC,eAAe,CAAC,IAAI,CAAC,CACtB,CAAC;IACJ,CAAC;IAED;;uEAEmE;IAC3D,IAAI,CAAC,IAAe;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,eAAe,KAAK,SAAS;YAC/B,CAAC,CAAC,YAAY,KAAK,SAAS;YAC5B,CAAC,CAAC,qBAAqB,KAAK,SAAS;YACrC,CAAC,CAAC,UAAU,EAAE,cAAc,KAAK,SAAS;YAC1C,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC3C,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,QAAQ,CAAC,IAAe;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACrF,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,EAAE,IAAI;YACf,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACzE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;gBACvB,CAAC,CAAC,SAAS,CAAC,CAAC;QACjB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;YAC7C,IACE,SAAS,KAAK,SAAS;gBACvB,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;gBACjC,CAAC,EAAE,CAAC,wBAAwB,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC;gBAExE,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;CACF;AAED,SAAS,eAAe,CAAC,IAAe;IACtC,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,IAAI;QAClB,IAAI,CAAC,YAAY,KAAK,IAAI;QAC1B,IAAI,CAAC,cAAc,KAAK,IAAI;QAC5B,IAAI,CAAC,aAAa,KAAK,SAAS,CACjC,CAAC;AACJ,CAAC;AAED;oEACoE;AACpE,SAAS,aAAa,CAAC,KAA+B;IACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,KAAK;QACpB,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YACtC,IACE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;gBACjC,SAAS,CAAC,eAAe,KAAK,SAAS;gBACvC,SAAS,CAAC,YAAY;gBACtB,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,YAAY,CAAC,EACzC,CAAC;gBACD,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,YAAY,CAAC,QAAQ;oBACnD,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,CAAC;iBAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrF,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/lowering/expressions/nullish-assignment.js

@@ -1,11 +1,20 @@
 import * as ts from "../../ts7/adapter.js";
-import { DYN, STRING, VOID, isUnitType, } from "../../../ir/ir.js";
+import { BOOL, DYN, F64, STRING, VOID, isUnitType, typeEquals, } from "../../../ir/ir.js";
 import { varRef } from "../../../ir/build.js";
 import { locOf } from "../../program.js";
-import { arrayValueRead, arrayValueStore } from "../array-values.js";
+import { arrayNumberRead, arrayValueRead, arrayValueStore } from "../array-values.js";
 import { fenceNodeModuleMutation } from "../lower-node-module.js";
 import { globalSymbolKey } from "./global-symbols.js";
 import { tryLowerExpression } from "./try-lower-expression.js";
+/** Element kinds whose present values are never null or undefined. */
+const NON_NULLISH_ELEMENTS = new Set([
+    "f64",
+    "string",
+    "bool",
+    "bigint",
+    "object",
+    "array",
+]);
 /** The reference and its read evaluate once; the write exists only in the
  * selected branch. In particular an accessor setter never runs for a kept value. */
 export function lowerShortCircuitAssignment(lowerer, expr) {
@@ -18,11 +27,16 @@ export function lowerShortCircuitAssignment(lowerer, expr) {
         prefix.push({ kind: "varDecl", localId: local.id, init: value, loc: value.loc });
         return varRef(local.id, value.type, value.loc);
     };
+    const finish = (result) => prefix.length === 0
+        ? result
+        : { kind: "seqExpr", stmts: prefix, result, type: result.type, loc };
     let target = expr.left;
     while (ts.isParenthesizedExpression(target))
         target = target.expression;
     let read;
     let storage;
+    // The right side, when an element fast path already lowered it.
+    let rhs = null;
     let write;
     if (ts.isIdentifier(target)) {
         const binding = lowerer.resolveWritable(target);
@@ -129,9 +143,46 @@ export function lowerShortCircuitAssignment(lowerer, expr) {
             else if (receiver.type.kind === "array" && key.type.kind === "f64") {
                 key = save(key, "%shortCircuitKey");
                 storage = receiver.type.elem;
-                read = arrayValueRead(lowerer, receiver, key, storage, locOf(target));
                 const element = storage;
                 write = (value) => arrayValueStore(lowerer, receiver, key, value, element, loc);
+                const elementLoc = locOf(target);
+                if (nullish && NON_NULLISH_ELEMENTS.has(element.kind)) {
+                    // Only a missing element is nullish: keep the present value or
+                    // store the right side, without the optional element value.
+                    rhs = lowerer.lowerExprExpecting(expr.right, element);
+                    if (typeEquals(rhs.type, element)) {
+                        const assigned = lowerer.declareHiddenLocal("%shortCircuitValue", element);
+                        const ref = varRef(assigned.id, element, loc);
+                        const present = {
+                            kind: "bin",
+                            op: "===",
+                            left: { kind: "arrayState", arr: receiver, index: key, type: F64, loc: elementLoc },
+                            right: { kind: "numLit", value: 1, type: F64, loc: elementLoc },
+                            type: BOOL,
+                            loc: elementLoc,
+                        };
+                        return finish({
+                            kind: "ternary",
+                            cond: present,
+                            then: { kind: "arrayGet", arr: receiver, index: key, type: element, loc: elementLoc },
+                            else_: {
+                                kind: "seqExpr",
+                                stmts: [{ kind: "varDecl", localId: assigned.id, init: rhs, loc }, write(ref)],
+                                result: ref,
+                                type: element,
+                                loc,
+                            },
+                            type: element,
+                            loc,
+                        });
+                    }
+                }
+                // `||=` keeps only a truthy number, which is always present; NaN is
+                // falsy exactly like the undefined of a missing element.
+                read =
+                    !nullish && !and && element.kind === "f64"
+                        ? arrayNumberRead(receiver, key, elementLoc)
+                        : arrayValueRead(lowerer, receiver, key, element, elementLoc);
             }
             else {
                 lowerer.unsupported("SC1090", target, "short-circuit assignment through this indexed receiver");
@@ -141,16 +192,13 @@ export function lowerShortCircuitAssignment(lowerer, expr) {
     else {
         lowerer.unsupported("SC1090", target, "short-circuit assignment to this reference");
     }
-    const finish = (result) => prefix.length === 0
-        ? result
-        : { kind: "seqExpr", stmts: prefix, result, type: result.type, loc };
     if (nullish &&
         !isUnitType(read.type) &&
         read.type.kind !== "dyn" &&
         (read.type.kind !== "union" || !lowerer.unions.get(read.type.unionId)?.arms.some(isUnitType))) {
         return finish(read);
     }
-    const value = lowerer.lowerExprExpecting(expr.right, storage);
+    const value = rhs ?? lowerer.lowerExprExpecting(expr.right, storage);
     const assigned = lowerer.declareHiddenLocal("%shortCircuitValue", value.type);
     const ref = varRef(assigned.id, value.type, loc);
     const result = lowerer.coerceInto(expr.right, ref, read.type);