@scriptc/compiler 0.1.5 → 0.1.7

package/dist/frontend/arguments-usage.js

@@ -0,0 +1,40 @@
+import * as ts from "./ts7/adapter.js";
+/** Whether an identifier in a function body reads the runtime arguments object. */
+function isArgumentsRead(id) {
+    const parent = id.parent;
+    // A shorthand object property reads its value, but other `name` positions
+    // declare a binding or spell a property (including `o.arguments`).
+    if (ts.isShorthandPropertyAssignment(parent))
+        return true;
+    if (parent.name === id)
+        return false;
+    if (ts.isBindingElement(parent) && parent.propertyName === id)
+        return false;
+    if (ts.isLabeledStatement(parent) && parent.label === id)
+        return false;
+    if ((ts.isBreakStatement(parent) || ts.isContinueStatement(parent)) && parent.label === id)
+        return false;
+    return true;
+}
+/** Does this function's own body read `arguments`? Nested plain functions and
+ * methods own theirs; arrows inherit the enclosing one. */
+export function bodyReadsArguments(fn) {
+    if (fn.body === undefined)
+        return false;
+    let found = false;
+    // Iterative walking preserves the frontend's nesting fence on deep trees.
+    ts.walkPreorder(fn.body, (node) => {
+        if (ts.isTypeNode(node))
+            return "skip";
+        if (ts.isIdentifier(node) && node.text === "arguments" && isArgumentsRead(node)) {
+            found = true;
+            return "stop";
+        }
+        if (ts.isFunctionLike(node) && !ts.isArrowFunction(node) && node !== fn) {
+            return "skip";
+        }
+        return undefined;
+    });
+    return found;
+}
+//# sourceMappingURL=arguments-usage.js.map

package/dist/frontend/arguments-usage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arguments-usage.js","sourceRoot":"","sources":["../../src/frontend/arguments-usage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEvC,mFAAmF;AACnF,SAAS,eAAe,CAAC,EAAiB;IACxC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;IACzB,0EAA0E;IAC1E,mEAAmE;IACnE,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAK,MAAuC,CAAC,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACvE,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5E,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACvE,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACzG,OAAO,IAAI,CAAC;AACd,CAAC;AAED;2DAC2D;AAC3D,MAAM,UAAU,kBAAkB,CAAC,EAAkC;IACnE,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,0EAA0E;IAC1E,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAChF,KAAK,GAAG,IAAI,CAAC;YACb,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACxE,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/binding-source.d.ts

@@ -0,0 +1,4 @@
+import type { IrBindingSource } from "../ir/ir.js";
+import * as ts from "./ts7/adapter.js";
+/** Preserve source scopes before lowering flattens bindings and control flow. */
+export declare function bindingSource(name: ts.Node): IrBindingSource;

package/dist/frontend/binding-source.js

@@ -0,0 +1,18 @@
+import * as ts from "./ts7/adapter.js";
+import { locOf } from "./program.js";
+/** Preserve source scopes before lowering flattens bindings and control flow. */
+export function bindingSource(name) {
+    let functionScoped = false;
+    for (let node = name.parent; node; node = node.parent) {
+        if (ts.isVariableDeclarationList(node)) {
+            functionScoped = (node.flags & ts.NodeFlags.BlockScoped) === 0;
+        }
+        if (ts.isFunctionLike(node) || ts.isSourceFile(node) ||
+            (!functionScoped && (ts.isBlock(node) || ts.isCaseBlock(node) ||
+                ts.isForStatement(node) || ts.isForOfStatement(node) || ts.isForInStatement(node) || ts.isCatchClause(node)))) {
+            return { loc: locOf(name), scope: locOf(node) };
+        }
+    }
+    return { loc: locOf(name), scope: locOf(name) };
+}
+//# sourceMappingURL=binding-source.js.map

package/dist/frontend/binding-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-source.js","sourceRoot":"","sources":["../../src/frontend/binding-source.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAErC,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAAC,IAAa;IACzC,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACtD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,cAAc,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAClD,CAAC,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;gBAC3D,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAClH,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAClD,CAAC"}

package/dist/frontend/lowering/array-indexed-mutation.d.ts

@@ -0,0 +1,8 @@
+import { type IrExpr, type IrType, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+export declare function lowerArrayFill(lowerer: Lowerer, receiver: IrExpr, value: IrExpr | null, writeUndefined: boolean, start: IrExpr, end: IrExpr, arrType: IrType & {
+    kind: "array";
+}, loc: SrcLoc): IrExpr;
+export declare function lowerArrayCopyWithin(lowerer: Lowerer, receiver: IrExpr, target: IrExpr, start: IrExpr, end: IrExpr, arrType: IrType & {
+    kind: "array";
+}, loc: SrcLoc): IrExpr;

package/dist/frontend/lowering/array-indexed-mutation.js

@@ -0,0 +1,176 @@
+import { BOOL, F64 } from "../../ir/ir.js";
+import { numLit, varRef } from "../../ir/build.js";
+import { typeKey } from "../type-mapper.js";
+import { arrayValueStore } from "./array-values.js";
+const add = (left, right, loc) => ({ kind: "bin", op: "+", left, right, type: F64, loc });
+const sub = (left, right, loc) => ({ kind: "bin", op: "-", left, right, type: F64, loc });
+const lt = (left, right, loc) => ({ kind: "bin", op: "<", left, right, type: BOOL, loc });
+const eq = (left, right, loc) => ({ kind: "bin", op: "===", left, right, type: BOOL, loc });
+const math = (fn, args, loc) => ({ kind: "libCall", fn: `math.${fn}`, args, type: F64, loc });
+const lengthOf = (arr, loc) => ({ kind: "arrIntrinsic", method: "length", receiver: arr, args: [], type: F64, loc });
+function relativeIndex(position, length, loc) {
+    const integer = {
+        kind: "ternary",
+        cond: { kind: "libCall", fn: "num.isNaN", args: [position], type: BOOL, loc },
+        then: numLit(0, loc),
+        else_: math("trunc", [position], loc),
+        type: F64,
+        loc,
+    };
+    return {
+        kind: "ternary",
+        cond: lt(integer, numLit(0, loc), loc),
+        then: math("max", [add(length, integer, loc), numLit(0, loc)], loc),
+        else_: math("min", [integer, length], loc),
+        type: F64,
+        loc,
+    };
+}
+export function lowerArrayFill(lowerer, receiver, value, writeUndefined, start, end, arrType, loc) {
+    const valueType = writeUndefined ? F64 : value.type;
+    const key = "indexed:fill:" + typeKey(arrType.elem) + ":" + typeKey(valueType) + ":" + writeUndefined;
+    let name = lowerer.arrHofHelpers.get(key);
+    if (!name) {
+        name = "%arr.fill." + lowerer.arrHofHelpers.size;
+        lowerer.arrHofHelpers.set(key, name);
+        const a = varRef("a.0", arrType, loc);
+        const n = varRef("n.0", F64, loc);
+        const i = varRef("i.0", F64, loc);
+        const body = writeUndefined
+            ? [{ kind: "arraySetUndefined", arr: a, index: i, loc }]
+            : [arrayValueStore(lowerer, a, i, varRef("v.0", valueType, loc), arrType.elem, loc)];
+        lowerer.liftedFns.push({
+            name,
+            params: [
+                { localId: "a.0", name: "a", type: arrType },
+                { localId: "v.0", name: "v", type: valueType },
+                { localId: "start.0", name: "start", type: F64 },
+                { localId: "end.0", name: "end", type: F64 },
+            ],
+            returnType: arrType,
+            locals: [
+                { id: "a.0", name: "a", type: arrType, mutable: true },
+                { id: "v.0", name: "v", type: valueType, mutable: false },
+                { id: "start.0", name: "start", type: F64, mutable: false },
+                { id: "end.0", name: "end", type: F64, mutable: false },
+                { id: "n.0", name: "n", type: F64, mutable: false },
+                { id: "from.0", name: "from", type: F64, mutable: false },
+                { id: "until.0", name: "until", type: F64, mutable: false },
+                { id: "i.0", name: "i", type: F64, mutable: true },
+            ],
+            body: [
+                { kind: "varDecl", localId: "n.0", init: lengthOf(a, loc), loc },
+                { kind: "varDecl", localId: "from.0", init: relativeIndex(varRef("start.0", F64, loc), n, loc), loc },
+                { kind: "varDecl", localId: "until.0", init: relativeIndex(varRef("end.0", F64, loc), n, loc), loc },
+                {
+                    kind: "for",
+                    init: { kind: "varDecl", localId: "i.0", init: varRef("from.0", F64, loc), loc },
+                    cond: lt(i, varRef("until.0", F64, loc), loc),
+                    update: { kind: "assign", localId: "i.0", value: add(i, numLit(1, loc), loc), loc },
+                    body,
+                    loc,
+                },
+                { kind: "return", value: a, loc },
+            ],
+            loc,
+        });
+    }
+    const valueArg = value && writeUndefined
+        ? { kind: "seqExpr", stmts: [{ kind: "exprStmt", expr: value, loc }], result: numLit(0, loc), type: F64, loc }
+        : value ?? numLit(0, loc);
+    return { kind: "call", callee: name, args: [receiver, valueArg, start, end], type: arrType, loc };
+}
+export function lowerArrayCopyWithin(lowerer, receiver, target, start, end, arrType, loc) {
+    const key = "indexed:copyWithin:" + typeKey(arrType.elem);
+    let name = lowerer.arrHofHelpers.get(key);
+    if (!name) {
+        name = "%arr.copyWithin." + lowerer.arrHofHelpers.size;
+        lowerer.arrHofHelpers.set(key, name);
+        const a = varRef("a.0", arrType, loc);
+        const n = varRef("n.0", F64, loc);
+        const dst = varRef("targetIndex.0", F64, loc);
+        const src = varRef("startIndex.0", F64, loc);
+        const last = varRef("endIndex.0", F64, loc);
+        const remaining = varRef("count.0", F64, loc);
+        const step = varRef("direction.0", F64, loc);
+        const from = varRef("from.0", F64, loc);
+        const to = varRef("to.0", F64, loc);
+        const state = varRef("state.0", F64, loc);
+        const backwards = {
+            kind: "logical", op: "&&", left: lt(src, dst, loc),
+            right: lt(dst, add(src, remaining, loc), loc), type: BOOL, loc,
+        };
+        const offset = {
+            kind: "ternary", cond: lt(step, numLit(0, loc), loc),
+            then: sub(remaining, numLit(1, loc), loc), else_: numLit(0, loc), type: F64, loc,
+        };
+        lowerer.liftedFns.push({
+            name,
+            params: [
+                { localId: "a.0", name: "a", type: arrType },
+                { localId: "target.0", name: "target", type: F64 },
+                { localId: "start.0", name: "start", type: F64 },
+                { localId: "end.0", name: "end", type: F64 },
+            ],
+            returnType: arrType,
+            locals: [
+                { id: "a.0", name: "a", type: arrType, mutable: true },
+                { id: "target.0", name: "target", type: F64, mutable: false },
+                { id: "start.0", name: "start", type: F64, mutable: false },
+                { id: "end.0", name: "end", type: F64, mutable: false },
+                { id: "n.0", name: "n", type: F64, mutable: false },
+                { id: "targetIndex.0", name: "targetIndex", type: F64, mutable: false },
+                { id: "startIndex.0", name: "startIndex", type: F64, mutable: false },
+                { id: "endIndex.0", name: "endIndex", type: F64, mutable: false },
+                { id: "count.0", name: "count", type: F64, mutable: true },
+                { id: "direction.0", name: "direction", type: F64, mutable: false },
+                { id: "from.0", name: "from", type: F64, mutable: true },
+                { id: "to.0", name: "to", type: F64, mutable: true },
+                { id: "state.0", name: "state", type: F64, mutable: false },
+                { id: "value.0", name: "value", type: arrType.elem, mutable: false },
+            ],
+            body: [
+                { kind: "varDecl", localId: "n.0", init: lengthOf(a, loc), loc },
+                { kind: "varDecl", localId: "targetIndex.0", init: relativeIndex(varRef("target.0", F64, loc), n, loc), loc },
+                { kind: "varDecl", localId: "startIndex.0", init: relativeIndex(varRef("start.0", F64, loc), n, loc), loc },
+                { kind: "varDecl", localId: "endIndex.0", init: relativeIndex(varRef("end.0", F64, loc), n, loc), loc },
+                {
+                    kind: "varDecl", localId: "count.0",
+                    init: {
+                        kind: "ternary", cond: eq(src, dst, loc), then: numLit(0, loc),
+                        else_: math("min", [math("max", [sub(last, src, loc), numLit(0, loc)], loc), sub(n, dst, loc)], loc),
+                        type: F64, loc,
+                    }, loc,
+                },
+                { kind: "varDecl", localId: "direction.0", init: { kind: "ternary", cond: backwards, then: numLit(-1, loc), else_: numLit(1, loc), type: F64, loc }, loc },
+                { kind: "varDecl", localId: "from.0", init: add(src, offset, loc), loc },
+                { kind: "varDecl", localId: "to.0", init: add(dst, offset, loc), loc },
+                {
+                    kind: "while", cond: lt(numLit(0, loc), remaining, loc),
+                    body: [
+                        { kind: "varDecl", localId: "state.0", init: { kind: "arrayState", arr: a, index: from, type: F64, loc }, loc },
+                        {
+                            kind: "if", cond: eq(state, numLit(0, loc), loc),
+                            then: [{ kind: "arrayDelete", arr: a, index: to, loc }],
+                            else_: [{
+                                    kind: "if", cond: eq(state, numLit(2, loc), loc),
+                                    then: [{ kind: "arraySetUndefined", arr: a, index: to, loc }],
+                                    else_: [
+                                        { kind: "varDecl", localId: "value.0", init: { kind: "arrayGet", arr: a, index: from, type: arrType.elem, loc }, loc },
+                                        { kind: "arraySet", arr: a, index: to, value: varRef("value.0", arrType.elem, loc), loc },
+                                    ], loc,
+                                }], loc,
+                        },
+                        { kind: "assign", localId: "from.0", value: add(from, step, loc), loc },
+                        { kind: "assign", localId: "to.0", value: add(to, step, loc), loc },
+                        { kind: "assign", localId: "count.0", value: sub(remaining, numLit(1, loc), loc), loc },
+                    ], loc,
+                },
+                { kind: "return", value: a, loc },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: name, args: [receiver, target, start, end], type: arrType, loc };
+}
+//# sourceMappingURL=array-indexed-mutation.js.map

package/dist/frontend/lowering/array-indexed-mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-indexed-mutation.js","sourceRoot":"","sources":["../../../src/frontend/lowering/array-indexed-mutation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAsD,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1H,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1H,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1H,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC5H,MAAM,IAAI,GAAG,CAAC,EAA2B,EAAE,IAAc,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACjJ,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7I,SAAS,aAAa,CAAC,QAAgB,EAAE,MAAc,EAAE,GAAW;IAClE,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7E,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;QACpB,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC;QACrC,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;QACtC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;QACnE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;QAC1C,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,QAAgB,EAChB,KAAoB,EACpB,cAAuB,EACvB,KAAa,EACb,GAAW,EACX,OAAmC,EACnC,GAAW;IAEX,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAM,CAAC,IAAI,CAAC;IACrD,MAAM,GAAG,GAAG,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,GAAG,GAAG,cAAc,CAAC;IACtG,IAAI,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC;QACjD,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,IAAI,GAAa,cAAc;YACnC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YACxD,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACvF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;gBAC5C,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC9C,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;gBAChD,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aAC7C;YACD,UAAU,EAAE,OAAO;YACnB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;gBACtD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;gBACzD,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACnD,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACzD,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC3D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;aACnD;YACD,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBAChE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACrG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACpG;oBACE,IAAI,EAAE,KAAK;oBACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;oBAChF,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;oBAC7C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;oBACnF,IAAI;oBACJ,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE;aAClC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAW,KAAK,IAAI,cAAc;QAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC9G,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,QAAgB,EAChB,MAAc,EACd,KAAa,EACb,GAAW,EACX,OAAmC,EACnC,GAAW;IAEX,MAAM,GAAG,GAAG,qBAAqB,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,kBAAkB,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC;QACvD,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YAClD,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG;SAC/D,CAAC;QACF,MAAM,MAAM,GAAW;YACrB,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;YACpD,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;SACjF,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;gBAC5C,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE;gBAClD,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;gBAChD,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aAC7C;YACD,UAAU,EAAE,OAAO;YACnB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;gBACtD,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC7D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACnD,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACrE,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACjE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC1D,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACnE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;gBACxD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;gBACpD,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC3D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;aACrE;YACD,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBAChE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBAC7G,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBAC3G,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACvG;oBACE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS;oBACnC,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;wBAC9D,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;wBACpG,IAAI,EAAE,GAAG,EAAE,GAAG;qBACf,EAAE,GAAG;iBACP;gBACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;gBAC1J,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACxE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACtE;oBACE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC;oBACvD,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;wBAC/G;4BACE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;4BAChD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;4BACvD,KAAK,EAAE,CAAC;oCACN,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;oCAChD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;oCAC7D,KAAK,EAAE;wCACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;wCACtH,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;qCAC1F,EAAE,GAAG;iCACP,CAAC,EAAE,GAAG;yBACR;wBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;wBACvE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;wBACnE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;qBACxF,EAAE,GAAG;iBACP;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE;aAClC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC"}

package/dist/frontend/lowering/containers/string-and-regexp.d.ts

@@ -1,6 +1,13 @@
 import * as ts from "../../ts7/adapter.js";
 import { IrExpr } from "../../../ir/ir.js";
 import type { Lowerer } from "../lowerer.js";
+/** Split evaluates its arguments before converting the receiver, limit, and
+ * separator, in that order. An undefined separator returns the whole string
+ * unless ToUint32(limit) is zero; the string-separator intrinsic handles the
+ * remaining split loop. */
+export declare function lowerStringSplitCall(lowerer: Lowerer, call: ts.CallExpression, receiver: IrExpr, receiverNode: ts.Node, argumentNodes: readonly ts.Expression[]): IrExpr;
+/** Relative string indexing and code-point decoding over the UTF-16 intrinsics. */
+export declare function lowerStringIndexCall(lowerer: Lowerer, call: ts.CallExpression, method: "at" | "codePointAt", receiver: IrExpr, receiverNode: ts.Node, argumentNodes: readonly ts.Expression[]): IrExpr;
 /** Pad arguments are evaluated before receiver/length coercion, while fill
  * conversion runs only if padding is needed. One helper keeps that order for
  * member calls and direct String.prototype calls alike. */

package/dist/frontend/lowering/containers/string-and-regexp.js

@@ -1,15 +1,107 @@
 import * as ts from "../../ts7/adapter.js";
-import { BOOL, F64, STRING, arrayOf, isUnitType, typeEquals, typeKey } from "../../../ir/ir.js";
+import { BOOL, DYN, F64, STRING, UNDEFINED_T, arrayOf, isUnitType, typeEquals, typeKey } from "../../../ir/ir.js";
 import { numLit, strLit, varRef } from "../../../ir/build.js";
 import { locOf } from "../../program.js";
 import { nodeThrowExpr, own } from "../lowerer.js";
 import { isRequireMainFilename } from "../expressions/optional-chains.js";
-import { STR_METHODS } from "../surfaces.js";
+import { STRING_INDEX_METHODS, STR_METHODS } from "../surfaces.js";
 import { coerceStringSearchValue, defaultAfterUndefined, lowerOptionalArgument, lowerPositionArgument, lowerStaticallyUndefinedArgument, lowerStringSearchArgument, positionNumber } from "../optional-arguments.js";
 function lowerSplitLimitArg(lowerer, node, loc) {
     const defaultValue = { kind: "numLit", value: 4294967295, type: F64, loc };
     return node ? lowerOptionalArgument(lowerer, node, F64, defaultValue) : defaultValue;
 }
+/** Split evaluates its arguments before converting the receiver, limit, and
+ * separator, in that order. An undefined separator returns the whole string
+ * unless ToUint32(limit) is zero; the string-separator intrinsic handles the
+ * remaining split loop. */
+export function lowerStringSplitCall(lowerer, call, receiver, receiverNode, argumentNodes) {
+    const loc = locOf(call);
+    if (argumentNodes.length > 2 || argumentNodes.some(ts.isSpreadElement)) {
+        return lowerer.noLowering(`.split with ${argumentNodes.length} arguments`, call);
+    }
+    const separatorNode = argumentNodes[0];
+    const undefinedSeparator = separatorNode ? lowerStaticallyUndefinedArgument(lowerer, separatorNode) : null;
+    const absent = !separatorNode || undefinedSeparator !== null;
+    let separator = absent
+        ? undefinedSeparator
+            ? defaultAfterUndefined(undefinedSeparator, strLit("undefined", loc))
+            : strLit("undefined", loc)
+        : lowerer.lowerExpr(separatorNode);
+    if (separator.type.kind === "nullT")
+        separator = defaultAfterUndefined(separator, strLit("null", loc));
+    const scalar = separator.type.kind === "string" || separator.type.kind === "f64" ||
+        separator.type.kind === "bool" || separator.type.kind === "bigint" ||
+        (separator.type.kind === "union" && (lowerer.unions.get(separator.type.unionId)?.arms.every((arm) => arm.kind === "string" || arm.kind === "f64" || arm.kind === "bool" ||
+            arm.kind === "bigint" || arm.kind === "nullT" || arm.kind === "undefinedT") ?? false));
+    if (!scalar) {
+        lowerer.unsupported("SC1090", separatorNode ?? call, `'.split()' on a '${lowerer.fmt(separator.type)}' separator (pass a string, or a regex literal)`);
+    }
+    const defaultLimit = numLit(4294967295, loc);
+    const suppliedLimit = lowerPositionArgument(lowerer, argumentNodes[1], defaultLimit);
+    const limit = suppliedLimit.type.kind === "record" && argumentNodes[1]
+        ? lowerer.coerceInto(argumentNodes[1], suppliedLimit, DYN) : suppliedLimit;
+    const resultType = arrayOf(STRING);
+    if (receiver.type.kind === "string" && separator.type.kind === "string" && limit.type.kind === "f64" && !absent) {
+        return { kind: "strIntrinsic", method: "split", receiver, args: [separator, limit], type: resultType, loc };
+    }
+    const key = `str.split:${receiver.type.kind === "union" ? typeKey(receiver.type) : receiver.type.kind}:${typeKey(separator.type)}:${typeKey(limit.type)}:${absent}`;
+    let helper = lowerer.widthHelpers.get(key);
+    if (!helper) {
+        helper = `%str.split.${lowerer.widthHelpers.size}`;
+        const values = [receiver, separator, limit];
+        const params = values.map((value, index) => ({ localId: `arg.${index}`, name: `arg${index}`, type: value.type }));
+        const rawReceiver = varRef("arg.0", receiver.type, loc);
+        const rawSeparator = varRef("arg.1", separator.type, loc);
+        const rawLimit = varRef("arg.2", limit.type, loc);
+        const stringReceiver = varRef("receiver.0", STRING, loc);
+        const numericLimit = varRef("limit.0", F64, loc);
+        const stringSeparator = varRef("separator.0", STRING, loc);
+        const undefinedTag = separator.type.kind === "union"
+            ? lowerer.unions.get(separator.type.unionId).arms.findIndex((arm) => arm.kind === "undefinedT") : -1;
+        const separatorIsUndefined = absent
+            ? { kind: "boolLit", value: true, type: BOOL, loc }
+            : undefinedTag >= 0 && separator.type.kind === "union"
+                ? { kind: "unionIsTag", unionId: separator.type.unionId, tag: undefinedTag, value: rawSeparator, negated: false, type: BOOL, loc }
+                : { kind: "boolLit", value: false, type: BOOL, loc };
+        const split = {
+            kind: "strIntrinsic", method: "split", receiver: stringReceiver,
+            args: [stringSeparator, numericLimit], type: resultType, loc,
+        };
+        const result = {
+            kind: "ternary",
+            cond: {
+                kind: "bin", op: "===",
+                left: { kind: "bin", op: ">>>", left: numericLimit, right: numLit(0, loc), type: F64, loc },
+                right: numLit(0, loc), type: BOOL, loc,
+            },
+            then: { kind: "arrayLit", elems: [], type: resultType, loc },
+            else_: {
+                kind: "ternary", cond: separatorIsUndefined,
+                then: { kind: "arrayLit", elems: [stringReceiver], type: resultType, loc },
+                else_: split, type: resultType, loc,
+            },
+            type: resultType, loc,
+        };
+        lowerer.widthHelpers.set(key, helper);
+        lowerer.liftedFns.push({
+            name: helper, params, returnType: resultType,
+            locals: [
+                ...params.map(param => ({ id: param.localId, name: param.name, type: param.type, mutable: false })),
+                { id: "receiver.0", name: "receiver", type: STRING, mutable: false },
+                { id: "limit.0", name: "limit", type: F64, mutable: false },
+                { id: "separator.0", name: "separator", type: STRING, mutable: false },
+            ],
+            body: [
+                { kind: "varDecl", localId: "receiver.0", init: lowerer.ensureString(rawReceiver, receiverNode), loc },
+                { kind: "varDecl", localId: "limit.0", init: positionNumber(lowerer, rawLimit, defaultLimit, argumentNodes[1] ?? call, "string split limit"), loc },
+                { kind: "varDecl", localId: "separator.0", init: lowerer.ensureString(rawSeparator, separatorNode ?? call), loc },
+                { kind: "return", value: result, loc },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [receiver, separator, limit], type: resultType, loc };
+}
 function lowerRegexSubject(lowerer, node, loc) {
     const absent = { kind: "strLit", value: "undefined", type: STRING, loc };
     if (!node)
@@ -35,6 +127,92 @@ function lowerMethodReceiver(lowerer, node, expected, member) {
         return lowered;
     return lowerer.coerceInto(node, lowered, expected);
 }
+/** Relative string indexing and code-point decoding over the UTF-16 intrinsics. */
+export function lowerStringIndexCall(lowerer, call, method, receiver, receiverNode, argumentNodes) {
+    const loc = locOf(call);
+    if (argumentNodes.length > 1 || argumentNodes.some(ts.isSpreadElement)) {
+        return lowerer.noLowering(`String.prototype.${method} with ${argumentNodes.length} arguments`, call);
+    }
+    const indexNode = argumentNodes[0];
+    let index = lowerPositionArgument(lowerer, indexNode, numLit(0, loc));
+    if (indexNode && (index.type.kind === "record" || index.type.kind === "array" || index.type.kind === "func")) {
+        index = lowerer.coerceInto(indexNode, index, DYN);
+    }
+    const valueType = method === "at" ? STRING : F64;
+    const resultType = lowerer.withUndefinedArmOf(valueType);
+    if (!resultType || resultType.kind !== "union")
+        return lowerer.noLowering(`String.prototype.${method} result`, call);
+    const undefinedTag = lowerer.armTag(resultType.unionId, UNDEFINED_T);
+    const valueTag = lowerer.armTag(resultType.unionId, valueType);
+    const key = `str.index:${method}:${typeKey(receiver.type)}:${typeKey(index.type)}`;
+    let helper = lowerer.widthHelpers.get(key);
+    if (!helper) {
+        helper = `%str.index.${lowerer.widthHelpers.size}`;
+        lowerer.widthHelpers.set(key, helper);
+        const rawReceiver = varRef("arg.0", receiver.type, loc);
+        const rawIndex = varRef("arg.1", index.type, loc);
+        const stringReceiver = varRef("receiver.0", STRING, loc);
+        const length = varRef("length.0", F64, loc);
+        const position = varRef("position.0", F64, loc);
+        const first = varRef("first.0", F64, loc);
+        const second = varRef("second.0", F64, loc);
+        const bin = (op, left, right) => ({ kind: "bin", op, left, right, type: op === "<" || op === ">=" || op === ">" ? BOOL : F64, loc });
+        const either = (left, right) => ({ kind: "logical", op: "||", left, right, type: BOOL, loc });
+        const wrap = (value) => ({ kind: "unionWrap", unionId: resultType.unionId, tag: valueTag, value, type: resultType, loc });
+        const miss = {
+            kind: "unionWrap", unionId: resultType.unionId, tag: undefinedTag,
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc }, type: resultType, loc,
+        };
+        const numeric = positionNumber(lowerer, rawIndex, numLit(0, loc), indexNode ?? call, "string index");
+        const numericValue = varRef("numeric.0", F64, loc);
+        const body = [
+            { kind: "varDecl", localId: "receiver.0", init: lowerer.ensureString(rawReceiver, receiverNode), loc },
+            { kind: "varDecl", localId: "length.0", init: { kind: "strIntrinsic", method: "length", receiver: stringReceiver, args: [], type: F64, loc }, loc },
+            { kind: "varDecl", localId: "numeric.0", init: numeric, loc },
+            { kind: "varDecl", localId: "position.0", init: {
+                    kind: "ternary", cond: { kind: "libCall", fn: "num.isNaN", args: [numericValue], type: BOOL, loc },
+                    then: numLit(0, loc), else_: { kind: "libCall", fn: "math.trunc", args: [numericValue], type: F64, loc }, type: F64, loc,
+                }, loc },
+        ];
+        if (method === "at") {
+            body.push({ kind: "if", cond: bin("<", position, numLit(0, loc)),
+                then: [{ kind: "assign", localId: "position.0", value: bin("+", position, length), loc }], else_: null, loc });
+        }
+        body.push({ kind: "if", cond: either(bin("<", position, numLit(0, loc)), bin(">=", position, length)),
+            then: [{ kind: "return", value: miss, loc }], else_: null, loc });
+        if (method === "at") {
+            body.push({ kind: "return", value: wrap({ kind: "strIntrinsic", method: "charAt", receiver: stringReceiver, args: [position], type: STRING, loc }), loc });
+        }
+        else {
+            body.push({ kind: "varDecl", localId: "first.0", init: { kind: "strIntrinsic", method: "charCodeAt", receiver: stringReceiver, args: [position], type: F64, loc }, loc });
+            body.push({ kind: "if", cond: either(either(bin("<", first, numLit(0xd800, loc)), bin(">", first, numLit(0xdbff, loc))), bin(">=", bin("+", position, numLit(1, loc)), length)),
+                then: [{ kind: "return", value: wrap(first), loc }], else_: null, loc });
+            body.push({ kind: "varDecl", localId: "second.0", init: { kind: "strIntrinsic", method: "charCodeAt", receiver: stringReceiver, args: [bin("+", position, numLit(1, loc))], type: F64, loc }, loc });
+            body.push({ kind: "if", cond: either(bin("<", second, numLit(0xdc00, loc)), bin(">", second, numLit(0xdfff, loc))),
+                then: [{ kind: "return", value: wrap(first), loc }], else_: null, loc });
+            body.push({ kind: "return", value: wrap(bin("+", bin("+", bin("*", bin("-", first, numLit(0xd800, loc)), numLit(1024, loc)), bin("-", second, numLit(0xdc00, loc))), numLit(0x10000, loc))), loc });
+        }
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [{ localId: "arg.0", name: "receiver", type: receiver.type }, { localId: "arg.1", name: "index", type: index.type }],
+            returnType: resultType,
+            locals: [
+                { id: "arg.0", name: "receiver", type: receiver.type, mutable: false },
+                { id: "arg.1", name: "index", type: index.type, mutable: false },
+                { id: "receiver.0", name: "stringReceiver", type: STRING, mutable: false },
+                { id: "length.0", name: "length", type: F64, mutable: false },
+                { id: "numeric.0", name: "numeric", type: F64, mutable: false },
+                { id: "position.0", name: "position", type: F64, mutable: method === "at" },
+                ...(method === "codePointAt" ? [
+                    { id: "first.0", name: "first", type: F64, mutable: false },
+                    { id: "second.0", name: "second", type: F64, mutable: false },
+                ] : []),
+            ],
+            body, loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [receiver, index], type: resultType, loc };
+}
 function paddingFillString(lowerer, value, node) {
     const loc = value.loc;
     if (value.type.kind === "undefinedT" || value.type.kind === "void")
@@ -339,7 +517,8 @@ export function lowerStringMethodCall(lowerer, call, access, dynReceiver, argume
     if (dynReceiver === undefined && access.name.text === "localeCompare")
         return lowerLocaleCompareCall(lowerer, call, access);
     const entry = own(STR_METHODS, access.name.text);
-    if (!entry)
+    const indexMethod = STRING_INDEX_METHODS.has(access.name.text) ? access.name.text : null;
+    if (!entry && !indexMethod)
         return null;
     // A validated dyn receiver (`pkg.name.replace(...)` on a JSON.parse
     // value) arrives pre-extracted through `dynReceiver`; its checker type
@@ -362,13 +541,19 @@ export function lowerStringMethodCall(lowerer, call, access, dynReceiver, argume
     }
     // The lib declares optional parameters beyond some lowered forms; fence
     // those arities instead of passing arguments the runtime doesn't take.
-    if (argumentNodes.length < entry.minArgs || argumentNodes.length > entry.maxArgs) {
+    if (argumentNodes.length < (entry?.minArgs ?? 0) || argumentNodes.length > (entry?.maxArgs ?? 1)) {
         lowerer.noLowering(`.${access.name.text} with ${argumentNodes.length} argument${argumentNodes.length === 1 ? "" : "s"} on strings`, call);
     }
     const receiver = dynReceiver
         ? dynReceiver()
         : lowerMethodReceiver(lowerer, access.expression, STRING, access.name.text);
     const loc = locOf(call);
+    if (indexMethod)
+        return lowerStringIndexCall(lowerer, call, indexMethod, receiver, access.expression, argumentNodes);
+    if (!entry)
+        return null;
+    if (entry.method === "split")
+        return lowerStringSplitCall(lowerer, call, receiver, access.expression, argumentNodes);
     if (entry.method === "padStart" || entry.method === "padEnd") {
         return lowerStringPaddingCall(lowerer, call, entry.method, receiver, access.expression, argumentNodes);
     }
@@ -467,15 +652,7 @@ export function lowerStringMethodCall(lowerer, call, access, dynReceiver, argume
         }
         return { kind: "call", callee: helper, args: [receiver, ...args], type: entry.result, loc };
     }
-    const args = entry.method === "split"
-        ? [lowerer.lowerExpr(argumentNodes[0]), lowerSplitLimitArg(lowerer, argumentNodes[1], locOf(call))]
-        : argumentNodes.map((a) => lowerer.lowerExpr(a));
-    // split's separator must BE a string here (a regex argument was
-    // claimed by lowerRegexMethodCall before this path) — the lib's
-    // `string | RegExp` union has no lowering as a VALUE.
-    if (entry.method === "split" && args[0].type.kind !== "string") {
-        lowerer.unsupported("SC1090", argumentNodes[0], `'.split()' on a '${lowerer.fmt(args[0].type)}' separator (pass a string, or a regex literal)`);
-    }
+    const args = argumentNodes.map((a) => lowerer.lowerExpr(a));
     return {
         kind: "strIntrinsic",
         method: entry.method,