@scriptc/compiler 0.2.2 → 0.2.4

package/dist/backend/llvm/local-array-reads.js

@@ -0,0 +1,226 @@
+import { isRefCounted, typeEquals } from "../../ir/ir.js";
+import { everyStmtList } from "../../ir/traverse.js";
+import { analyzeCallLifetimes } from "./call-lifetimes.js";
+import { ReferenceEffects } from "./reference-effects.js";
+/** Kept as the array-analysis entry point; the same edge-preservation
+ * proof also governs projections passed to borrowing consumers. */
+export function findArrayPreservingFunctions(functions, unions, reads = new OptionalArrayReads(functions, unions)) {
+    return new ReferenceEffects(functions, (call) => reads.get(call) !== null).functions;
+}
+/** Recognize the complete optional-array-read body, not the helper's name. */
+function arrayReadShape(fn, unions) {
+    if (fn.returnType.kind !== "union" || fn.async || fn.generator || fn.captures || fn.classCaptures || fn.params.length !== 2 || fn.body.length !== 1 ||
+        fn.locals.length !== 2 || fn.locals.some((l) => l.boxed || l.tdz))
+        return null;
+    const [array, index] = fn.params;
+    if (array.type.kind !== "array" || index.type.kind !== "f64")
+        return null;
+    const element = array.type.elem;
+    const arms = unions.get(fn.returnType.unionId)?.arms;
+    if (!isRefCounted(element) || element.kind === "union" || !arms || arms.length !== 2)
+        return null;
+    const presentTag = arms.findIndex((a) => typeEquals(a, element));
+    const missingTag = arms.findIndex((a) => a.kind === "undefinedT");
+    if (presentTag < 0 || missingTag < 0)
+        return null;
+    const ret = fn.body[0];
+    if (ret.kind !== "return" || ret.value?.kind !== "ternary")
+        return null;
+    const { cond, then, else_: missing } = ret.value;
+    const operand = (value, id) => value.kind === "varRef" && value.localId === id;
+    if (cond.kind !== "bin" || cond.op !== "===" || cond.left.kind !== "arrayState" ||
+        !operand(cond.left.arr, array.localId) || !operand(cond.left.index, index.localId) ||
+        cond.right.kind !== "numLit" || cond.right.value !== 1 ||
+        then.kind !== "unionWrap" || then.unionId !== fn.returnType.unionId || then.tag !== presentTag ||
+        then.value.kind !== "arrayGet" || !operand(then.value.arr, array.localId) || !operand(then.value.index, index.localId) ||
+        missing.kind !== "unionWrap" || missing.unionId !== fn.returnType.unionId || missing.tag !== missingTag ||
+        missing.value.kind !== "unitLit" || missing.value.unit !== "undefined")
+        return null;
+    return { type: fn.returnType, element, presentTag, missingTag };
+}
+/** One index for finalized IR, shared by effect and lifetime consumers.
+ * Recognizing a helper once avoids rescanning its body for every read site.
+ * Only operands vary between uses; payload ownership is proved separately. */
+export class OptionalArrayReads {
+    shapes = new Map();
+    constructor(functions, unions) {
+        for (const fn of functions.values()) {
+            const shape = arrayReadShape(fn, unions);
+            if (shape)
+                this.shapes.set(fn.name, shape);
+        }
+    }
+    get(call) {
+        if (call.kind !== "call" || call.args.length !== 2)
+            return null;
+        const shape = this.shapes.get(call.callee);
+        if (!shape || !typeEquals(shape.type, call.type))
+            return null;
+        return { ...shape, array: call.args[0], index: call.args[1] };
+    }
+}
+export function findLocalArrayReads(fn, functions, unions, arrayPreservingFunctions, lifetimes = analyzeCallLifetimes(functions), reads = new OptionalArrayReads(functions, unions)) {
+    const result = new Map();
+    if (fn.async || fn.generator)
+        return result;
+    const locals = new Map(fn.locals.map((l) => [l.id, l]));
+    const captures = new Set([...(fn.captures ?? []), ...(fn.classCaptures ?? [])].map((c) => c.localId));
+    const params = new Set(fn.params.map((p) => p.localId));
+    const borrow = arrayPreservingFunctions.has(fn.name);
+    everyStmtList(fn.body, { expr: () => true, stmt: (node) => {
+            if (node.kind !== "varDecl" || !node.init)
+                return true;
+            const local = locals.get(node.localId);
+            if (!local || local.mutable || local.boxed || local.tdz || captures.has(local.id) || params.has(local.id))
+                return true;
+            const read = reads.get(node.init);
+            if (read && lifetimes.locals.get(fn.name)?.has(local.id)) {
+                if (borrow && read.array.kind === "varRef" && params.has(read.array.localId) && !locals.get(read.array.localId)?.boxed)
+                    read.borrow = true;
+                result.set(local.id, read);
+            }
+            return true;
+        } });
+    return result;
+}
+/** An immediate argument needs no heap union when its parameter only
+ * projects the box. The payload owns a snapshot through all later arguments
+ * and the call, unless the enclosing function preserves its parameter's
+ * array edges. The latter proof includes every later argument and callee,
+ * so a mutation anywhere keeps the independent payload owner. */
+export function findCallArrayReads(fn, reads, arrayPreservingFunctions, lifetimes) {
+    const result = new Map();
+    if (fn.async || fn.generator)
+        return result;
+    const params = new Set(fn.params.map((param) => param.localId));
+    const locals = new Map(fn.locals.map((local) => [local.id, local]));
+    const borrow = arrayPreservingFunctions.has(fn.name);
+    everyStmtList(fn.body, { stmt: () => true, expr: (node) => {
+            if (node.kind !== "call")
+                return true;
+            const parameters = lifetimes.parameters.get(node.callee);
+            if (!parameters)
+                return true;
+            node.args.forEach((arg, index) => {
+                if (!parameters.has(index))
+                    return;
+                const read = reads.get(arg);
+                if (!read)
+                    return;
+                if (borrow && read.array.kind === "varRef" && params.has(read.array.localId) && !locals.get(read.array.localId)?.boxed)
+                    read.borrow = true;
+                result.set(arg, read);
+            });
+            return true;
+        } });
+    return result;
+}
+/** Call-scoped owners are released by the existing argument frame on both
+ * normal and exceptional exits. Each use gets a distinct stack box: nested
+ * calls and repeated operands must never overwrite an earlier snapshot. */
+export function emitCallArrayRead(host, read) {
+    const slot = host.B.slot();
+    host.B.entryAllocas.push(`${slot} = alloca ptr`);
+    // Snapshot arguments already cross a runtime ownership boundary. Keep
+    // their lookup compact instead of duplicating the dense fast path at
+    // every call site; proven borrowed reads still expose that path to LLVM.
+    const owner = emitLocalArrayRead(host, read, slot, read.borrow === true);
+    if (owner)
+        host.ownSlot(owner.slot, owner.type);
+    const value = host.B.tmp();
+    host.B.line(`${value} = load ptr, ptr ${slot}`);
+    return { name: value, type: read.type };
+}
+/** A private stack box keeps the ordinary tag/projection ABI. Its payload
+ * either borrows from an array parameter proven to keep it alive, or owns
+ * one reference released on every lexical exit, including exceptions. The
+ * box never reaches runtime code; LLVM can scalar-replace its slots. */
+export function emitLocalArrayRead(host, read, localSlot, inline = true) {
+    const B = host.B;
+    const array = host.emitStableReceiver(read.array, [read.index]);
+    const integerIndex = inline ? host.emitIntegerLoopIndex(read.index) : null;
+    const index = host.emitExpr(read.index);
+    const box = B.slot(), payload = B.slot(), tag = B.slot();
+    B.entryAllocas.push(`${box} = alloca %ScrUnion`);
+    B.entryAllocas.push(`${payload} = getelementptr inbounds %ScrUnion, ptr ${box}, i32 0, i32 5`);
+    B.entryAllocas.push(`${tag} = getelementptr inbounds %ScrUnion, ptr ${box}, i32 0, i32 1`);
+    const range = B.newLabel("local.array.range"), dense = B.newLabel("local.array.dense"), slow = B.newLabel("local.array.slow");
+    const no = B.newLabel("local.array.missing"), join = B.newLabel("local.array.join");
+    if (inline) {
+        // The dense path uses the existing ScrArr ABI. Sparse indices and
+        // noncanonical numeric properties retain the runtime lookup semantics.
+        const capPtr = B.tmp(), cap = B.tmp(), capNumber = B.tmp(), nonnegative = B.tmp(), belowCap = B.tmp(), inRange = B.tmp();
+        B.line(`${capPtr} = getelementptr inbounds %ScrArr, ptr ${array.name}, i32 0, i32 2`);
+        host.markMemoryPointer(capPtr, "array:header");
+        B.line(`${cap} = load ${host.sizeType}, ptr ${capPtr}${host.fieldAliasAttachment(capPtr)}`);
+        if (integerIndex)
+            B.line(`${inRange} = icmp ult ${host.sizeType} ${integerIndex}, ${cap}`);
+        else {
+            B.line(`${capNumber} = uitofp ${host.sizeType} ${cap} to double`);
+            B.line(`${nonnegative} = fcmp oge double ${index.name}, 0.0`);
+            B.line(`${belowCap} = fcmp olt double ${index.name}, ${capNumber}`);
+            B.line(`${inRange} = and i1 ${nonnegative}, ${belowCap}`);
+        }
+        B.condBr(inRange, range, slow);
+        B.startBlock(range);
+        const offset = integerIndex ?? B.tmp(), roundTrip = B.tmp(), integral = B.tmp();
+        if (integerIndex)
+            B.br(dense);
+        else {
+            B.line(`${offset} = fptoui double ${index.name} to ${host.sizeType}`);
+            B.line(`${roundTrip} = uitofp ${host.sizeType} ${offset} to double`);
+            B.line(`${integral} = fcmp oeq double ${index.name}, ${roundTrip}`);
+            B.condBr(integral, dense, slow);
+        }
+        B.startBlock(dense);
+        const lenPtr = B.tmp(), len = B.tmp(), belowLen = B.tmp();
+        B.line(`${lenPtr} = getelementptr inbounds %ScrArr, ptr ${array.name}, i32 0, i32 1`);
+        host.markMemoryPointer(lenPtr, "array:header");
+        B.line(`${len} = load ${host.sizeType}, ptr ${lenPtr}${host.fieldAliasAttachment(lenPtr)}`);
+        B.line(`${belowLen} = icmp ult ${host.sizeType} ${offset}, ${len}`);
+        const stateLabel = B.newLabel("local.array.state"), valueLabel = B.newLabel("local.array.value");
+        B.condBr(belowLen, stateLabel, no);
+        B.startBlock(stateLabel);
+        const statesPtr = B.tmp(), states = B.tmp(), statePtr = B.tmp(), denseState = B.tmp(), densePresent = B.tmp();
+        B.line(`${statesPtr} = getelementptr inbounds %ScrArr, ptr ${array.name}, i32 0, i32 8`);
+        host.markMemoryPointer(statesPtr, "array:header");
+        B.line(`${states} = load ptr, ptr ${statesPtr}${host.fieldAliasAttachment(statesPtr)}`);
+        B.line(`${statePtr} = getelementptr inbounds i8, ptr ${states}, ${host.sizeType} ${offset}`);
+        host.markMemoryPointer(statePtr, "array:present");
+        B.line(`${denseState} = load i8, ptr ${statePtr}${host.fieldAliasAttachment(statePtr)}`);
+        B.line(`${densePresent} = icmp eq i8 ${denseState}, 1`);
+        B.condBr(densePresent, valueLabel, no);
+        B.startBlock(valueLabel);
+        const dataPtr = B.tmp(), data = B.tmp(), valuePtr = B.tmp(), raw = B.tmp();
+        B.line(`${dataPtr} = getelementptr inbounds %ScrArr, ptr ${array.name}, i32 0, i32 7`);
+        host.markMemoryPointer(dataPtr, "array:header");
+        B.line(`${data} = load ptr, ptr ${dataPtr}${host.fieldAliasAttachment(dataPtr)}`);
+        B.line(`${valuePtr} = getelementptr inbounds i64, ptr ${data}, ${host.sizeType} ${offset}`);
+        host.markMemoryPointer(valuePtr, "array:elements");
+        B.line(`${raw} = load ptr, ptr ${valuePtr}${host.fieldAliasAttachment(valuePtr)}`);
+        B.line(`store ptr ${read.borrow ? raw : host.retainValue(raw, read.element)}, ptr ${payload}`);
+        B.line(`store i32 ${read.presentTag}, ptr ${tag}`);
+        B.br(join);
+    }
+    else
+        B.br(slow);
+    B.startBlock(slow);
+    const value = B.tmp(), present = B.tmp();
+    host.declare("declare ptr @scr_arr_peek_ref(ptr, double) memory(read)");
+    B.line(`${value} = call ptr @scr_arr_peek_ref(ptr ${array.name}, double ${index.name})`);
+    B.line(`${present} = icmp ne ptr ${value}, null`);
+    const slowValue = B.newLabel("local.array.slow.value");
+    B.condBr(present, slowValue, no);
+    B.startBlock(slowValue);
+    B.line(`store ptr ${read.borrow ? value : host.retainValue(value, read.element)}, ptr ${payload}`);
+    B.line(`store i32 ${read.presentTag}, ptr ${tag}`);
+    B.br(join);
+    B.startBlock(no);
+    B.line(`store ptr null, ptr ${payload}`);
+    B.line(`store i32 ${read.missingTag}, ptr ${tag}`);
+    B.br(join);
+    B.startBlock(join);
+    B.line(`store ptr ${box}, ptr ${localSlot}`);
+    return read.borrow ? null : { slot: payload, type: read.element };
+}
+//# sourceMappingURL=local-array-reads.js.map

package/dist/backend/llvm/local-array-reads.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-array-reads.js","sourceRoot":"","sources":["../../../src/backend/llvm/local-array-reads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,UAAU,EAA8D,MAAM,gBAAgB,CAAC;AACtH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAsB,MAAM,qBAAqB,CAAC;AAE/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAY1D;mEACmE;AACnE,MAAM,UAAU,4BAA4B,CAAC,SAA0C,EAAE,MAAuC,EAAE,KAAK,GAAG,IAAI,kBAAkB,CAAC,SAAS,EAAE,MAAM,CAAC;IACjL,OAAO,IAAI,gBAAgB,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC;AACvF,CAAC;AASD,8EAA8E;AAC9E,SAAS,cAAc,CAAC,EAAc,EAAE,MAAuC;IAC7E,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC/I,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;IACjC,IAAI,KAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,OAAO,GAAG,KAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACrD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClG,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IAClE,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACxB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,EAAE,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,EAAU,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE,CAAC;IACxG,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;QAC3E,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAM,CAAC,OAAO,CAAC;QACpF,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC;QACtD,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC,UAAU,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,KAAK,UAAU;QAC9F,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAM,CAAC,OAAO,CAAC;QACxH,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,OAAO,KAAK,EAAE,CAAC,UAAU,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,KAAK,UAAU;QACvG,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACxF,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AAClE,CAAC;AAED;;8EAE8E;AAC9E,MAAM,OAAO,kBAAkB;IACZ,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IAE5D,YAAY,SAA0C,EAAE,MAAuC;QAC7F,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACzC,IAAI,KAAK;gBAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,GAAG,CAAC,IAAY;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAChE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9D,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC;IAClE,CAAC;CACF;AAED,MAAM,UAAU,mBAAmB,CAAC,EAAc,EAAE,SAA0C,EAAE,MAAuC,EAAE,wBAA6C,EAAE,SAAS,GAAkB,oBAAoB,CAAC,SAAS,CAAC,EAAE,KAAK,GAAG,IAAI,kBAAkB,CAAC,SAAS,EAAE,MAAM,CAAC;IACnS,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACtG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACrD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACxD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvH,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzD,IAAI,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK;oBAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;gBAC3I,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC7B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,EAAE,CAAC,CAAC;IACL,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,kBAAkB,CAAC,EAAc,EAAE,KAAyB,EAAE,wBAA6C,EAAE,SAAwB;IACnJ,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACrD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACxD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzD,IAAI,CAAC,UAAU;gBAAE,OAAO,IAAI,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;gBAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,OAAO;gBACnC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5B,IAAI,CAAC,IAAI;oBAAE,OAAO;gBAClB,IAAI,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK;oBAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;gBAC3I,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxB,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC,EAAE,CAAC,CAAC;IACL,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,IAAoB;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC;IACjD,sEAAsE;IACtE,qEAAqE;IACrE,yEAAyE;IACzE,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;IACzE,IAAI,KAAK;QAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,IAAI,EAAE,CAAC,CAAC;IAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED;;;wEAGwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,IAAoB,EAAE,SAAiB,EAAE,MAAM,GAAG,IAAI;IACjH,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,qBAAqB,CAAC,CAAC;IACjD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IAC/F,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAC9H,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACpF,IAAI,MAAM,EAAE,CAAC;QACX,kEAAkE;QAClE,uEAAuE;QACvE,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACzH,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,0CAA0C,KAAK,CAAC,IAAI,gBAAgB,CAAC,CAAC;QACtF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,CAAC,QAAQ,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5F,IAAI,YAAY;YAAE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,eAAe,IAAI,CAAC,QAAQ,IAAI,YAAY,KAAK,GAAG,EAAE,CAAC,CAAC;aACtF,CAAC;YACJ,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,IAAI,CAAC,QAAQ,IAAI,GAAG,YAAY,CAAC,CAAC;YAClE,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,sBAAsB,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;YAC9D,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,sBAAsB,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,WAAW,KAAK,QAAQ,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,YAAY,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChF,IAAI,YAAY;YAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;aACzB,CAAC;YACJ,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YACtE,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,IAAI,CAAC,QAAQ,IAAI,MAAM,YAAY,CAAC,CAAC;YACrE,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,sBAAsB,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QACD,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,0CAA0C,KAAK,CAAC,IAAI,gBAAgB,CAAC,CAAC;QACtF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,CAAC,QAAQ,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,eAAe,IAAI,CAAC,QAAQ,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC;QACpE,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;QACjG,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9G,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,0CAA0C,KAAK,CAAC,IAAI,gBAAgB,CAAC,CAAC;QACzF,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,qCAAqC,MAAM,KAAK,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAC;QAC7F,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,mBAAmB,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,iBAAiB,UAAU,KAAK,CAAC,CAAC;QACxD,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QACvC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAC3E,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,0CAA0C,KAAK,CAAC,IAAI,gBAAgB,CAAC,CAAC;QACvF,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,OAAO,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,sCAAsC,IAAI,KAAK,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAC;QAC5F,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;QAC/F,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,UAAU,SAAS,GAAG,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACb,CAAC;;QAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,yDAAyD,CAAC,CAAC;IACxE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IACzF,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IACvD,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;IACnG,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,UAAU,SAAS,GAAG,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,uBAAuB,OAAO,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,UAAU,SAAS,GAAG,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,SAAS,EAAE,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;AACpE,CAAC"}

package/dist/backend/llvm/local-array-reads.test.d.ts

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