@scriptc/compiler 0.3.6 → 0.4.0

package/dist/backend/llvm/string-slices.js

@@ -1,6 +1,9 @@
 import {} from "../../ir/ir.js";
 import { everyExprChild, everyStmtChild, everyStmtList } from "../../ir/traverse.js";
 import { F64_INF, f64Lit, sizeToDouble } from "./common.js";
+function isSlice(value) {
+    return (value.kind === "strIntrinsic" && (value.method === "slice" || value.method === "substring"));
+}
 /** A local used exclusively for scalar indexing needs no copied bytes.
  * Snapshot the receiver and normalized bounds at its initializer, including
  * side effects in the bounds. Escapes, captures, writes, suspension, and all
@@ -58,7 +61,7 @@ export function emitStringSliceSnapshot(host, slice) {
     B.line(`store ptr ${source.name}, ptr ${sourceSlot}`);
     host.declare("declare void @scr_str_slice_range(ptr, double, double, i1 zeroext, ptr)");
     B.line(`call void @scr_str_slice_range(ptr ${source.name}, double ${args[0]?.name ?? f64Lit(0)}, double ${args[1]?.name ?? F64_INF}, i1 ${slice.method === "substring" ? "true" : "false"}, ptr ${range})`);
-    host.moveTemp(source);
+    host.toFrame(source);
     return { source: sourceSlot, range };
 }
 export function emitStringSliceRead(host, value) {
@@ -84,4 +87,207 @@ export function emitStringSliceRead(host, value) {
     B.line(`${result} = call double @scr_str_slice_char_code_at(ptr ${source}, ptr ${snapshot.range}, double ${index.name})`);
     return { name: result, type: value.type };
 }
+/** Bytes of the stack buffer behind one scratch slice, header included. */
+export const SCRATCH_SLICE_BYTES = 96;
+/** String methods that read a lent receiver or argument only during their
+ * runtime call and never return it. Methods returning a string can return
+ * their unchanged receiver, so they stay on the owned path. */
+const LENDING_METHODS = new Set([
+    "length",
+    "charCodeAt",
+    "indexOf",
+    "includes",
+    "startsWith",
+    "endsWith",
+]);
+/** Numeric parsers read their text during the call. */
+const LENDING_LIB_FNS = new Set([
+    "num.fromString",
+    "num.parseInt",
+    "num.parseFloat",
+]);
+/** Typed string-keyed collection operations: reads probe with the key, and
+ * an insertion stores scr_str_scratch_keep's copy (scr_map_append). */
+const LENDING_KEY_METHODS = new Set(["get", "has", "set", "add", "delete"]);
+function stringKeyed(value) {
+    const receiver = value.receiver.type;
+    if (receiver.kind === "map")
+        return receiver.key.kind === "string" && receiver.value.kind !== "dyn";
+    if (receiver.kind === "set")
+        return receiver.elem.kind === "string";
+    return false;
+}
+/** The operands `value` reads only while it runs, keeping no reference. */
+function lentOperands(value, parameters) {
+    switch (value.kind) {
+        case "strEq":
+        case "strCmp":
+            return [value.left, value.right];
+        case "strIntrinsic":
+            return LENDING_METHODS.has(value.method) ? [value.receiver, ...value.args] : [];
+        case "libCall":
+            return LENDING_LIB_FNS.has(value.fn) ? value.args.slice(0, 1) : [];
+        case "mapIntrinsic":
+        case "setIntrinsic":
+            return LENDING_KEY_METHODS.has(value.method) && stringKeyed(value)
+                ? value.args.slice(0, 1)
+                : [];
+        case "call": {
+            const lent = parameters.get(value.callee);
+            return lent ? value.args.filter((_, index) => lent.has(index)) : [];
+        }
+        default:
+            return [];
+    }
+}
+/** One pass over `fn`: which candidate bindings only lending consumers read
+ * (a slice initializer of a candidate local is not itself a read), and
+ * which slice operands those consumers lend. A switch discriminant is only
+ * compared with the case tests. */
+function scanLending(fn, candidates, initializers, parameters) {
+    const scan = { scratch: new Set(), invalid: new Set(), callees: new Set() };
+    const owned = new Set();
+    function lent(value) {
+        if (value.kind === "varRef" && candidates.has(value.localId))
+            return true;
+        if (!isSlice(value))
+            return expr(value);
+        scan.scratch.add(value);
+        return everyExprChild(value, expr, stmt);
+    }
+    function expr(value) {
+        if (isSlice(value))
+            owned.add(value);
+        if (value.kind === "varRef" && candidates.has(value.localId))
+            scan.invalid.add(value.localId);
+        if (value.kind === "closure" || value.kind === "classRef")
+            for (const id of value.captures ?? [])
+                scan.invalid.add(id);
+        if (value.kind === "call")
+            scan.callees.add(value.callee);
+        const operands = lentOperands(value, parameters);
+        if (operands.length === 0)
+            return everyExprChild(value, expr, stmt);
+        return everyExprChild(value, (child) => (operands.includes(child) ? lent(child) : expr(child)), stmt);
+    }
+    function stmt(value) {
+        // A candidate's single declaration initializes it with its slice.
+        if (value.kind === "varDecl" && value.init !== null && initializers.has(value.localId))
+            return everyExprChild(value.init, expr, stmt);
+        if (value.kind === "switch" && value.disc.type.kind === "string") {
+            lent(value.disc);
+            for (const entry of value.cases) {
+                if (entry.test)
+                    expr(entry.test);
+                entry.body.forEach(stmt);
+            }
+            return true;
+        }
+        return everyStmtChild(value, expr, stmt);
+    }
+    fn.body.forEach(stmt);
+    for (const node of owned)
+        scan.scratch.delete(node);
+    return scan;
+}
+/** String parameters that every body reads only in lending positions,
+ * including lent arguments of other such parameters: a caller may pass a
+ * scratch slice to them. Start from every borrowed (unchanged) string
+ * parameter of a synchronous function and drop violations until nothing changes, so
+ * recursion through a lent parameter stays lent. A coroutine can keep its
+ * parameters past the caller's frame, so it never lends. */
+export function findLentStringParameters(functions, lifetimes) {
+    const lent = new Map();
+    for (const fn of functions.values()) {
+        if (fn.async || fn.generator)
+            continue;
+        // Borrowed parameters are the unchanged ones nothing redeclares.
+        const stable = lifetimes.borrowed.get(fn.name);
+        const indexes = new Set();
+        fn.params.forEach((param, index) => {
+            if (param.type.kind === "string" && stable?.has(index))
+                indexes.add(index);
+        });
+        if (indexes.size > 0)
+            lent.set(fn.name, indexes);
+    }
+    const callers = new Map();
+    const pending = new Set(lent.keys());
+    while (pending.size > 0) {
+        const name = pending.values().next().value;
+        pending.delete(name);
+        const indexes = lent.get(name);
+        const fn = functions.get(name);
+        if (!indexes || !fn)
+            continue;
+        const ids = new Set([...indexes].map((index) => fn.params[index].localId));
+        const scan = scanLending(fn, ids, new Map(), lent);
+        for (const callee of scan.callees) {
+            let set = callers.get(callee);
+            if (!set)
+                callers.set(callee, (set = new Set()));
+            set.add(name);
+        }
+        let changed = false;
+        for (const index of [...indexes]) {
+            if (!scan.invalid.has(fn.params[index].localId))
+                continue;
+            indexes.delete(index);
+            changed = true;
+        }
+        if (!changed)
+            continue;
+        if (indexes.size === 0)
+            lent.delete(name);
+        const affected = callers.get(name);
+        if (affected)
+            for (const caller of affected)
+                if (lent.has(caller))
+                    pending.add(caller);
+    }
+    return lent;
+}
+/** Slices whose every reader borrows them are written into a stack buffer
+ * instead of a heap allocation (scr_str_slice_scratch): a slice operand of
+ * a lending consumer, and the initializer of a stable local read only by
+ * lending consumers. The copy is ASCII, bounded, and immortal for retain and
+ * release, so it neither pins its source nor needs to be freed; longer or
+ * non-ASCII results keep the ordinary owned string. Each site owns its
+ * buffer: a site runs again only after its previous value is dead, since
+ * nothing can keep it. Coroutine frames do not keep stack buffers across a
+ * suspension, so they are left alone. */
+export function findScratchStringSlices(fn, lifetimes, scalar, parameters = new Map()) {
+    if (fn.async || fn.generator)
+        return new Set();
+    const bindings = lifetimes.bindings.get(fn.name);
+    const locals = new Map();
+    everyStmtList(fn.body, {
+        expr: () => true,
+        stmt: (stmt) => {
+            if (stmt.kind === "varDecl" &&
+                bindings?.has(stmt.localId) &&
+                !scalar.has(stmt.localId) &&
+                stmt.init !== null &&
+                isSlice(stmt.init))
+                locals.set(stmt.localId, stmt.init);
+            return true;
+        },
+    });
+    const scan = scanLending(fn, new Set(locals.keys()), locals, parameters);
+    for (const [id, init] of locals)
+        if (!scan.invalid.has(id))
+            scan.scratch.add(init);
+    return scan.scratch;
+}
+/** Write a scratch slice into its own stack buffer. The result is owned:
+ * releasing the scratch copy does nothing, and a heap fallback is freed. */
+export function emitScratchStringSlice(host, slice, receiver, args) {
+    const B = host.B;
+    const buffer = B.slot();
+    B.entryAllocas.push(`${buffer} = alloca [${SCRATCH_SLICE_BYTES} x i8], align 8`);
+    host.declare(`declare ptr @scr_str_slice_scratch(ptr, double, double, i1 zeroext, ptr, ${host.sizeType})`);
+    const result = B.tmp();
+    B.line(`${result} = call ptr @scr_str_slice_scratch(ptr ${receiver.name}, double ${args[0]?.name ?? f64Lit(0)}, double ${args[1]?.name ?? F64_INF}, i1 ${slice.method === "substring" ? "true" : "false"}, ptr ${buffer}, ${host.sizeType} ${SCRATCH_SLICE_BYTES})`);
+    return host.own({ name: result, type: slice.type });
+}
 //# sourceMappingURL=string-slices.js.map

package/dist/backend/llvm/string-slices.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-slices.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-slices.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6C,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAM5D;;;2EAG2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,EAAc,EACd,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACjD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC3B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;gBAClC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;gBAElE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,SAAS,IAAI,CAAC,KAAa;QACzB,IACE,KAAK,CAAC,IAAI,KAAK,cAAc;YAC7B,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC;YAC5D,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAChC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAClC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YACvD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,SAAS,IAAI,CAAC,KAAa;QACzB,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD;2EAC2E;AAC3E,MAAM,UAAU,uBAAuB,CACrC,IAAwB,EACxB,KAAY;IAEZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,EAAE,EACzB,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,CAAC,CAAC,YAAY,CAAC,IAAI,CACjB,GAAG,UAAU,eAAe,EAC5B,GAAG,KAAK,eAAe,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,SAAS,CAChE,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,IAAI,SAAS,UAAU,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,yEAAyE,CAAC,CAAC;IACxF,CAAC,CAAC,IAAI,CACJ,sCAAsC,MAAM,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,SAAS,KAAK,GAAG,CACpM,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAwB,EAAE,KAAY;IACxE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,+BAA+B,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,gBAAgB,QAAQ,CAAC,KAAK,gBAAgB,CACvH,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,OAAO,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,MAAM,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,MAAM,YAAY,CAAC,CAAC;QAC1F,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,8DAA8D,CAAC,CAAC;IAC7E,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,kDAAkD,MAAM,SAAS,QAAQ,CAAC,KAAK,YAAY,KAAK,CAAC,IAAI,GAAG,CAClH,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAC5C,CAAC"}
+{"version":3,"file":"string-slices.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-slices.ts"],"names":[],"mappings":"AAAA,OAAO,EAKN,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAM5D,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED;;;2EAG2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,EAAc,EACd,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACjD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC3B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;gBAClC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;gBAElE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,SAAS,IAAI,CAAC,KAAa;QACzB,IACE,KAAK,CAAC,IAAI,KAAK,cAAc;YAC7B,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC;YAC5D,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAChC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAClC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YACvD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,SAAS,IAAI,CAAC,KAAa;QACzB,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD;2EAC2E;AAC3E,MAAM,UAAU,uBAAuB,CACrC,IAAwB,EACxB,KAAY;IAEZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,EAAE,EACzB,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,CAAC,CAAC,YAAY,CAAC,IAAI,CACjB,GAAG,UAAU,eAAe,EAC5B,GAAG,KAAK,eAAe,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,SAAS,CAChE,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,IAAI,SAAS,UAAU,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,yEAAyE,CAAC,CAAC;IACxF,CAAC,CAAC,IAAI,CACJ,sCAAsC,MAAM,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,SAAS,KAAK,GAAG,CACpM,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAwB,EAAE,KAAY;IACxE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,+BAA+B,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,gBAAgB,QAAQ,CAAC,KAAK,gBAAgB,CACvH,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,OAAO,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,MAAM,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,MAAM,YAAY,CAAC,CAAC;QAC1F,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,8DAA8D,CAAC,CAAC;IAC7E,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,kDAAkD,MAAM,SAAS,QAAQ,CAAC,KAAK,YAAY,KAAK,CAAC,IAAI,GAAG,CAClH,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAC5C,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAEtC;;+DAE+D;AAC/D,MAAM,eAAe,GAAsC,IAAI,GAAG,CAAC;IACjE,QAAQ;IACR,YAAY;IACZ,SAAS;IACT,UAAU;IACV,YAAY;IACZ,UAAU;CACX,CAAC,CAAC;AAEH,uDAAuD;AACvD,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IACnD,gBAAgB;IAChB,cAAc;IACd,gBAAgB;CACjB,CAAC,CAAC;AAEH;uEACuE;AACvE,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEjG,SAAS,WAAW,CAAC,KAAyD;IAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;IACrC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;QACzB,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;IACzE,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACpE,OAAO,KAAK,CAAC;AACf,CAAC;AAMD,2EAA2E;AAC3E,SAAS,YAAY,CAAC,KAAa,EAAE,UAAgC;IACnE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,KAAK,cAAc;YACjB,OAAO,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC;gBAChE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxB,CAAC,CAAC,EAAE,CAAC;QACT,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1C,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC;QACD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAYD;;;mCAGmC;AACnC,SAAS,WAAW,CAClB,EAAc,EACd,UAA+B,EAC/B,YAAwC,EACxC,UAAgC;IAEhC,MAAM,IAAI,GAAgB,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACzF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,SAAS,IAAI,CAAC,KAAa;QACzB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1E,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,SAAS,IAAI,CAAC,KAAa;QACzB,IAAI,OAAO,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9F,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YACvD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACpE,OAAO,cAAc,CACnB,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EACjE,IAAI,CACL,CAAC;IACJ,CAAC;IACD,SAAS,IAAI,CAAC,KAAa;QACzB,kEAAkE;QAClE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YACpF,OAAO,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChC,IAAI,KAAK,CAAC,IAAI;oBAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;4DAK4D;AAC5D,MAAM,UAAU,wBAAwB,CACtC,SAA0C,EAC1C,SAAwB;IAExB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5C,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,SAAS;QACvC,iEAAiE;QACjE,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACjC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;QACrD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE;YAAE,SAAS;QAC9B,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;QACnD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC,GAAG;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YACjD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC3D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,QAAQ;YAAE,KAAK,MAAM,MAAM,IAAI,QAAQ;gBAAE,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;yCAQyC;AACzC,MAAM,UAAU,uBAAuB,CACrC,EAAc,EACd,SAAwB,EACxB,MAAkC,EAClC,UAAU,GAAyB,IAAI,GAAG,EAAE;IAE5C,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC3B,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACzB,IAAI,CAAC,IAAI,KAAK,IAAI;gBAClB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAElB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACzE,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,MAAM;QAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnF,OAAO,IAAI,CAAC,OAAO,CAAC;AACtB,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,KAAY,EACZ,QAAiB,EACjB,IAAwB;IAExB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,mBAAmB,iBAAiB,CAAC,CAAC;IACjF,IAAI,CAAC,OAAO,CACV,4EAA4E,IAAI,CAAC,QAAQ,GAAG,CAC7F,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,0CAA0C,QAAQ,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,SAAS,MAAM,KAAK,IAAI,CAAC,QAAQ,IAAI,mBAAmB,GAAG,CAC7P,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AACtD,CAAC"}

package/dist/backend/llvm/string-slices.test.js

@@ -1,7 +1,7 @@
 import { expect, test } from "vitest";
-import { F64, STRING, VOID } from "../../ir/ir.js";
+import { BOOL, F64, STRING, VOID } from "../../ir/ir.js";
 import { analyzeCallLifetimes } from "./call-lifetimes.js";
-import { findScalarStringSlices } from "./string-slices.js";
+import { findLentStringParameters, findScalarStringSlices, findScratchStringSlices, } from "./string-slices.js";
 const loc = { file: "slices.ts", start: 0, end: 0 };
 const ref = (id) => ({ kind: "varRef", localId: id, type: STRING, loc });
 function fixture() {
@@ -95,4 +95,141 @@ test.each(["escape", "capture", "write", "other-consumer", "suspend"])("%s needs
         fn.async = true;
     expect(facts(fn).size).toBe(0);
 });
+const slice = (receiver, start, end) => ({
+    kind: "strIntrinsic",
+    method: "slice",
+    receiver: ref(receiver),
+    args: [
+        { kind: "numLit", value: start, type: F64, loc },
+        { kind: "numLit", value: end, type: F64, loc },
+    ],
+    type: STRING,
+    loc,
+});
+const equals = (left) => ({
+    kind: "strEq",
+    negated: false,
+    left,
+    right: { kind: "strLit", value: "GET", type: STRING, loc },
+    type: BOOL,
+    loc,
+});
+const parse = (value) => ({
+    kind: "libCall",
+    fn: "num.fromString",
+    args: [value],
+    type: F64,
+    loc,
+});
+function lending(body) {
+    return {
+        name: "scan",
+        params: [{ localId: "source", name: "source", type: STRING }],
+        locals: [
+            { id: "source", name: "source", type: STRING, mutable: false },
+            { id: "word", name: "word", type: STRING, mutable: false },
+        ],
+        returnType: VOID,
+        loc,
+        body,
+    };
+}
+function scratch(fn, extra = []) {
+    const functions = new Map([fn, ...extra].map((f) => [f.name, f]));
+    const lifetimes = analyzeCallLifetimes(functions);
+    return findScratchStringSlices(fn, lifetimes, findScalarStringSlices(fn, lifetimes), findLentStringParameters(functions, lifetimes));
+}
+test("slices read only by lending consumers use a stack buffer", () => {
+    const inline = slice("source", 0, 3);
+    const parsed = slice("source", 4, 6);
+    const init = slice("source", 1, 5);
+    const fn = lending([
+        { kind: "exprStmt", expr: equals(inline), loc },
+        { kind: "exprStmt", expr: parse(parsed), loc },
+        { kind: "varDecl", localId: "word", init, loc },
+        { kind: "exprStmt", expr: equals(ref("word")), loc },
+        { kind: "exprStmt", expr: parse(ref("word")), loc },
+    ]);
+    expect(scratch(fn)).toEqual(new Set([inline, parsed, init]));
+});
+test.each(["return", "concat", "slice-of-slice", "capture", "async"])("a slice local that may be kept (%s) stays owned", (reason) => {
+    const init = slice("source", 1, 5);
+    const fn = lending([
+        { kind: "varDecl", localId: "word", init, loc },
+        { kind: "exprStmt", expr: equals(ref("word")), loc },
+    ]);
+    if (reason === "return")
+        fn.body.push({ kind: "return", value: ref("word"), loc });
+    if (reason === "concat")
+        fn.body.push({
+            kind: "exprStmt",
+            expr: {
+                kind: "strConcat",
+                left: { kind: "strLit", value: "", type: STRING, loc },
+                right: ref("word"),
+                type: STRING,
+                loc,
+            },
+            loc,
+        });
+    if (reason === "slice-of-slice")
+        fn.body.push({ kind: "exprStmt", expr: equals(slice("word", 0, 2)), loc });
+    if (reason === "capture")
+        fn.locals[1].boxed = true;
+    if (reason === "async")
+        fn.async = true;
+    expect(scratch(fn).has(init)).toBe(false);
+});
+function helper(name, body) {
+    return {
+        name,
+        params: [{ localId: "text", name: "text", type: STRING }],
+        locals: [{ id: "text", name: "text", type: STRING, mutable: false }],
+        returnType: BOOL,
+        loc,
+        body,
+    };
+}
+const callOf = (callee, arg) => ({
+    kind: "call",
+    callee,
+    args: [arg],
+    type: BOOL,
+    loc,
+});
+test("helper parameters read only by lending consumers accept stack slices", () => {
+    const recursive = helper("isGet", [
+        {
+            kind: "return",
+            value: {
+                kind: "logical",
+                op: "||",
+                left: equals(ref("text")),
+                right: callOf("isGet", ref("text")),
+                type: BOOL,
+                loc,
+            },
+            loc,
+        },
+    ]);
+    const keeps = helper("keeps", [{ kind: "return", value: callOf("stores", ref("text")), loc }]);
+    const stores = helper("stores", [
+        {
+            kind: "exprStmt",
+            expr: { kind: "arrayLit", elems: [ref("text")], type: { kind: "array", elem: STRING }, loc },
+            loc,
+        },
+        { kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+    ]);
+    const lent = slice("source", 0, 3);
+    const kept = slice("source", 0, 4);
+    const fn = lending([
+        { kind: "exprStmt", expr: callOf("isGet", lent), loc },
+        { kind: "exprStmt", expr: callOf("keeps", kept), loc },
+    ]);
+    const functions = [recursive, keeps, stores];
+    expect(scratch(fn, functions)).toEqual(new Set([lent]));
+    const all = new Map([fn, ...functions].map((f) => [f.name, f]));
+    expect([...findLentStringParameters(all, analyzeCallLifetimes(all)).keys()]).toEqual(["isGet"]);
+});
 //# sourceMappingURL=string-slices.test.js.map

package/dist/backend/llvm/string-slices.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-slices.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-slices.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,gBAAgB,CAAC;AAC9F,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACzF,SAAS,OAAO;IACd,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;YAC7D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;SAC5D;QACD,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,WAAW;oBACnB,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;oBACvB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;KACF,CAAC;AACJ,CAAC;AACD,SAAS,KAAK,CAAC,EAAc;IAC3B,OAAO,sBAAsB,CAAC,EAAE,EAAE,oBAAoB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AACD,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACX,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,QAAQ;QACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC1D,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC,CACpE,gCAAgC,EAChC,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC;IAClE,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QACpB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,IAAI,MAAM,KAAK,gBAAgB;QAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CACF,CAAC"}
+{"version":3,"file":"string-slices.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-slices.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,gBAAgB,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACzF,SAAS,OAAO;IACd,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;YAC7D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;SAC5D;QACD,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,WAAW;oBACnB,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;oBACvB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;oBACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;KACF,CAAC;AACJ,CAAC;AACD,SAAS,KAAK,CAAC,EAAc;IAC3B,OAAO,sBAAsB,CAAC,EAAE,EAAE,oBAAoB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AACD,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACX,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,QAAQ;QACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC1D,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC,CACpE,gCAAgC,EAChC,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;IACrB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC;IAClE,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QACpB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,IAAI,MAAM,KAAK,gBAAgB;QAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CACF,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC/C;IACD,IAAI,EAAE,MAAM;IACZ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,KAAK;IACd,IAAI;IACJ,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,SAAS;IACf,EAAE,EAAE,gBAAgB;IACpB,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO,CAAC,IAAc;IAC7B,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3D;QACD,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AACD,SAAS,OAAO,CAAC,EAAc,EAAE,KAAK,GAAiB,EAAE;IACvD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAClD,OAAO,uBAAuB,CAC5B,EAAE,EACF,SAAS,EACT,sBAAsB,CAAC,EAAE,EAAE,SAAS,CAAC,EACrC,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,CAC/C,CAAC;AACJ,CAAC;AACD,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;QACpD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;KACpD,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CACnE,iDAAiD,EACjD,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE;KACrD,CAAC,CAAC;IACH,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,IAAI,MAAM,KAAK,QAAQ;QACrB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBACtD,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;gBAClB,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,gBAAgB;QAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACxC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC,CACF,CAAC;AACF,SAAS,MAAM,CAAC,IAAY,EAAE,IAAc;IAC1C,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACpE,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AACD,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACvD,IAAI,EAAE,MAAM;IACZ,MAAM;IACN,IAAI,EAAE,CAAC,GAAG,CAAC;IACX,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE;QAChC;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzB,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE;QAC9B;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;YAC5F,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KAClF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE;QACtD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,CAAC,GAAG,wBAAwB,CAAC,GAAG,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/switch-dispatch.test.js

@@ -10,7 +10,7 @@ function emit(type, tests, pointerBits = 64) {
 function emitWith(disc, tests, pointerBits = 64) {
     const type = disc.kind === "varRef" ? disc.type : F64;
     const mod = {
-        irVersion: 16,
+        irVersion: 17,
         sourceFile: loc.file,
         entry: "main",
         functions: [
@@ -133,7 +133,7 @@ test("long string labels select by their first word and confirm the rest inline"
 function emitLlvmModuleFor(labels) {
     const value = { kind: "varRef", localId: "value", type: STRING, loc };
     const mod = {
-        irVersion: 16,
+        irVersion: 17,
         sourceFile: loc.file,
         entry: "main",
         functions: [

package/dist/backend/llvm/thread-slots.d.ts

@@ -0,0 +1,5 @@
+import type { ExprOf, LlValue, LlvmEmitterContext } from "./expr-context.js";
+/** The slots.* intrinsics. */
+export declare function emitThreadSlotsIntrinsic(host: LlvmEmitterContext, e: ExprOf<"intrinsic">): LlValue;
+/** The ScrSlots block definitions of the families a module uses. */
+export declare function threadSlotsBlockDefinitions(blocks: ReadonlyMap<string, string>, threadLocal: boolean): string[];

package/dist/backend/llvm/thread-slots.js

@@ -0,0 +1,142 @@
+/* ThreadSlots (@scriptc/experimental): the slots.* intrinsics (scr_slots.c,
+ * frontend/lowering/thread-slots.ts).
+ *
+ * Each family name has one `{ ptr, i32, i32, ptr, ptr }` ScrSlots block,
+ * an internal global that is thread-local where module globals are. A key
+ * class's hierarchy carries an i32 slot word after its header words
+ * (classSlotWordIndex). A read is inline: the slot word, then the page
+ * and the entry,
+ *
+ *     page = word >> 10 < block.npages ? block.pages[word >> 10] : none
+ *     value = page[word & 1023]
+ *
+ * and absent pages are a shared page of NULL entries (scr_slots_none), so
+ * a key without a value reads NULL, the undefined of `V | undefined`. Set
+ * and delete call the runtime, which holds one reference to each value and
+ * releases the value it replaces or removes. */
+import { InternalCompilerError } from "../../errors.js";
+import { isUnitType, typeKey } from "../../ir/ir.js";
+import { classSlotWordIndex, classStructSym } from "./classes.js";
+import { llvmCommentText } from "./common.js";
+import { releaseSym } from "./shapes.js";
+const BLOCK = "{ ptr, i32, i32, ptr, ptr }";
+/** The slots.* intrinsics. */
+export function emitThreadSlotsIntrinsic(host, e) {
+    const B = host.B;
+    const [nameArg, slotsArg, keyArg, valueArg] = e.args;
+    if (nameArg?.kind !== "strLit" || slotsArg === undefined || keyArg === undefined)
+        throw new InternalCompilerError(`llvm emitter bug: ${e.name} operands`);
+    const block = host.threadSlotsBlock(nameArg.value);
+    // The slots value is read for its effects (a module const's TDZ check).
+    const slots = host.emitReadReceiver(slotsArg);
+    const key = host.emitReadReceiver(keyArg);
+    const value = valueArg !== undefined ? host.emitExpr(valueArg) : null;
+    if (B.isTerminated())
+        return { name: "", type: e.type };
+    if (keyArg.type.kind !== "object")
+        throw new InternalCompilerError(`llvm emitter bug: ${e.name} key of kind ${keyArg.type.kind}`);
+    const className = keyArg.type.className;
+    const word = B.tmp();
+    B.line(`${word} = getelementptr inbounds %${classStructSym(className)}, ptr ${key.name}, i64 0, i32 ${classSlotWordIndex(host.classMetaOf(className))}`);
+    switch (e.name) {
+        case "slots.get": {
+            const read = readSlot(host, block, word);
+            if (host.nullableUnions.of(e.type) !== null)
+                return host.own({ name: host.retainFrame(read, e.type), type: e.type });
+            return boxedRead(host, read, e.type);
+        }
+        case "slots.has": {
+            const read = readSlot(host, block, word);
+            const has = B.tmp();
+            B.line(`${has} = icmp ne ptr ${read}, null`);
+            return { name: has, type: e.type };
+        }
+        case "slots.delete": {
+            host.declare(`declare zeroext i1 @scr_slots_delete(ptr, ptr)`);
+            const had = B.tmp();
+            B.line(`${had} = call zeroext i1 @scr_slots_delete(ptr ${block}, ptr ${word})`);
+            return { name: had, type: e.type };
+        }
+        case "slots.set": {
+            if (value === null)
+                throw new InternalCompilerError("llvm emitter bug: slots.set value");
+            // The value moves into the block.
+            host.toHeap(value);
+            host.declare(`declare void @scr_slots_set(ptr, ptr, ptr, ptr, ptr)`);
+            B.line(`call void @scr_slots_set(ptr ${block}, ptr ${key.name}, ptr ${word}, ptr ${value.name}, ptr ${releaseSym(host.shapeHost, value.type)})`);
+            if (e.type.kind === "void")
+                return { name: "", type: e.type };
+            return host.own({ name: host.retainFrame(slots.name, e.type), type: e.type });
+        }
+        default:
+            throw new InternalCompilerError(`llvm emitter bug: unknown intrinsic ${e.name}`);
+    }
+}
+/** A read as a tagged union box, for `V | undefined` types that the module
+ * keeps boxed (Map keys and Set elements of that type): the value's arm, or
+ * the interned undefined instance for NULL. */
+function boxedRead(host, read, type) {
+    const B = host.B;
+    const def = type.kind === "union" ? host.unionsById.get(type.unionId) : undefined;
+    const refTag = def?.arms.findIndex((a) => !isUnitType(a)) ?? -1;
+    const unitTag = def?.arms.findIndex((a) => a.kind === "undefinedT") ?? -1;
+    if (def === undefined || refTag < 0 || unitTag < 0 || def.arms.length !== 2)
+        throw new InternalCompilerError(`llvm emitter bug: slots.get of type ${typeKey(type)}`);
+    const result = B.slot();
+    B.entryAllocas.push(`${result} = alloca ptr`);
+    const has = B.tmp();
+    B.line(`${has} = icmp ne ptr ${read}, null`);
+    const some = B.newLabel("slots.some"), none = B.newLabel("slots.none"), done = B.newLabel("slots.box");
+    B.condBr(has, some, none);
+    B.startBlock(some);
+    const arm = def.arms[refTag];
+    const box = host.unionNewOwned(def.id, refTag, { name: host.retainHeap(read, arm), type: arm });
+    B.line(`store ptr ${box}, ptr ${result}`);
+    B.br(done);
+    B.startBlock(none);
+    B.line(`store ptr ${host.unitInstanceRef(def.id, unitTag)}, ptr ${result}`);
+    B.br(done);
+    B.startBlock(done);
+    const out = B.tmp();
+    B.line(`${out} = load ptr, ptr ${result}`);
+    return host.own({ name: out, type });
+}
+/** This thread's value for the slot word at `word`, borrowed, or NULL. */
+function readSlot(host, block, word) {
+    const B = host.B;
+    host.declare(`@scr_slots_none = external constant [1024 x ptr]`);
+    const index = B.tmp(), page = B.tmp(), pages = B.tmp(), count = B.tmp(), inRange = B.tmp();
+    B.line(`${index} = load atomic i32, ptr ${word} monotonic, align 4`);
+    B.line(`${page} = lshr i32 ${index}, 10`);
+    B.line(`${count} = getelementptr inbounds ${BLOCK}, ptr ${block}, i64 0, i32 1`);
+    const npages = B.tmp();
+    B.line(`${npages} = load i32, ptr ${count}`);
+    B.line(`${inRange} = icmp ult i32 ${page}, ${npages}`);
+    const result = B.slot();
+    B.entryAllocas.push(`${result} = alloca ptr`);
+    B.line(`store ptr null, ptr ${result}`);
+    const found = B.newLabel("slots.page"), done = B.newLabel("slots.j");
+    B.condBr(inRange, found, done);
+    B.startBlock(found);
+    B.line(`${pages} = load ptr, ptr ${block}`);
+    const pageIndex = B.tmp(), pagePtr = B.tmp(), entries = B.tmp(), entryIndex = B.tmp(), entryWide = B.tmp(), entry = B.tmp(), v = B.tmp();
+    B.line(`${pageIndex} = zext i32 ${page} to i64`);
+    B.line(`${pagePtr} = getelementptr inbounds ptr, ptr ${pages}, i64 ${pageIndex}`);
+    B.line(`${entries} = load ptr, ptr ${pagePtr}`);
+    B.line(`${entryIndex} = and i32 ${index}, 1023`);
+    B.line(`${entryWide} = zext i32 ${entryIndex} to i64`);
+    B.line(`${entry} = getelementptr inbounds ptr, ptr ${entries}, i64 ${entryWide}`);
+    B.line(`${v} = load ptr, ptr ${entry}`);
+    B.line(`store ptr ${v}, ptr ${result}`);
+    B.br(done);
+    B.startBlock(done);
+    const out = B.tmp();
+    B.line(`${out} = load ptr, ptr ${result}`);
+    return out;
+}
+/** The ScrSlots block definitions of the families a module uses. */
+export function threadSlotsBlockDefinitions(blocks, threadLocal) {
+    const tl = threadLocal ? "thread_local " : "";
+    return [...blocks].map(([name, sym]) => `${sym} = internal ${tl}global ${BLOCK} zeroinitializer ; ThreadSlots ${llvmCommentText(JSON.stringify(name))}`);
+}
+//# sourceMappingURL=thread-slots.js.map

package/dist/backend/llvm/thread-slots.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thread-slots.js","sourceRoot":"","sources":["../../../src/backend/llvm/thread-slots.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;gDAegD;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAe,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,MAAM,KAAK,GAAG,6BAA6B,CAAC;AAE5C,8BAA8B;AAC9B,MAAM,UAAU,wBAAwB,CACtC,IAAwB,EACxB,CAAsB;IAEtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACrD,IAAI,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAC9E,MAAM,IAAI,qBAAqB,CAAC,qBAAqB,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACnD,wEAAwE;IACxE,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,IAAI,CAAC,CAAC,YAAY,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC/B,MAAM,IAAI,qBAAqB,CAAC,qBAAqB,CAAC,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CACJ,GAAG,IAAI,8BAA8B,cAAc,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,IAAI,gBAAgB,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,CACjJ,CAAC;IACF,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI;gBACzC,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1E,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,WAAW,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,kBAAkB,IAAI,QAAQ,CAAC,CAAC;YAC7C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,CAAC;QACD,KAAK,cAAc,EAAE,CAAC;YACpB,IAAI,CAAC,OAAO,CAAC,gDAAgD,CAAC,CAAC;YAC/D,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,4CAA4C,KAAK,SAAS,IAAI,GAAG,CAAC,CAAC;YAChF,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,CAAC;QACD,KAAK,WAAW,EAAE,CAAC;YACjB,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,CAAC,CAAC;YACzF,kCAAkC;YAClC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACnB,IAAI,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAC;YACrE,CAAC,CAAC,IAAI,CACJ,gCAAgC,KAAK,SAAS,GAAG,CAAC,IAAI,SAAS,IAAI,SAAS,KAAK,CAAC,IAAI,SAAS,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CACzI,CAAC;YACF,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAChF,CAAC;QACD;YACE,MAAM,IAAI,qBAAqB,CAAC,uCAAuC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED;;+CAE+C;AAC/C,SAAS,SAAS,CAAC,IAAwB,EAAE,IAAY,EAAE,IAAY;IACrE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,MAAM,MAAM,GAAG,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACzE,MAAM,IAAI,qBAAqB,CAAC,uCAAuC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,eAAe,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,kBAAkB,IAAI,QAAQ,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EACnC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAC/B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChG,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC5E,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,IAAwB,EAAE,KAAa,EAAE,IAAY;IACrE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,CAAC,OAAO,CAAC,kDAAkD,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,2BAA2B,IAAI,qBAAqB,CAAC,CAAC;IACrE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,KAAK,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,6BAA6B,KAAK,SAAS,KAAK,gBAAgB,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,KAAK,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,mBAAmB,IAAI,KAAK,MAAM,EAAE,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,eAAe,CAAC,CAAC;IAC9C,CAAC,CAAC,IAAI,CAAC,uBAAuB,MAAM,EAAE,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EACpC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,KAAK,EAAE,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACd,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,IAAI,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,sCAAsC,KAAK,SAAS,SAAS,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,OAAO,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,cAAc,KAAK,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,UAAU,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sCAAsC,OAAO,SAAS,SAAS,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,KAAK,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,2BAA2B,CACzC,MAAmC,EACnC,WAAoB;IAEpB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CACpB,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CACd,GAAG,GAAG,eAAe,EAAE,UAAU,KAAK,kCAAkC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAClH,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/thread-slots.test.d.ts

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