@scriptc/compiler 0.4.5 → 0.4.6

package/dist/backend/llvm/heap-census.js

@@ -0,0 +1,163 @@
+import { classStructSym } from "./classes.js";
+import { llvmBytes, wtf8Bytes } from "../literals.js";
+/** Whether this build counts the heap census: SCRIPTC_HEAP_CENSUS is set
+ * and nonempty. The executable cache keys on it. */
+export function heapCensusRequested(env = process.env) {
+    const flag = env["SCRIPTC_HEAP_CENSUS"];
+    return flag !== undefined && flag !== "";
+}
+/** The census of the module being built, or null when it is off. */
+export function heapCensusOf(mod, unions) {
+    if (!heapCensusRequested() || mod.lib !== undefined)
+        return null;
+    return new HeapCensus(mod, unions);
+}
+/** A NUL-terminated i8 array constant of `text`. */
+function cString(text) {
+    const bytes = wtf8Bytes(text);
+    return `[${bytes.length + 1} x i8] c"${llvmBytes(bytes)}"`;
+}
+const LENGTH_BUCKETS = ["len0", "len1", "len2", "len3-4", "len5-8", "len9-16", "len17+"];
+/** Upper bounds of LENGTH_BUCKETS but the last. */
+const BUCKET_LIMITS = [0, 1, 2, 4, 8, 16];
+export class HeapCensus {
+    names = [];
+    sizes = [];
+    instances = new Map();
+    fields = new Map();
+    constructor(mod, unions) {
+        for (const cls of mod.classes ?? []) {
+            this.instances.set(cls.name, this.add(`new\t${cls.name}\t`, classStructSym(cls.name)));
+            for (const field of cls.fields)
+                this.addField(cls, field.name, field.type, unions);
+        }
+    }
+    /** Counts one instance of `className`. */
+    countNew(line, className) {
+        for (const text of this.newLines(className))
+            line(text);
+    }
+    /** The lines that count one instance of `className`: a `new`, or a
+     * construct thunk for class values (`newValue`). */
+    newLines(className) {
+        const index = this.instances.get(className);
+        return index === undefined ? [] : [this.increment(index, "1")];
+    }
+    /** Counts an access of a field; true when the field is counted. */
+    countAccess(line, className, field) {
+        const counters = this.fields.get(`${className}\0${field}`);
+        if (counters !== undefined)
+            line(this.increment(counters.base + 1, "1"));
+    }
+    /** Counts a store of `value` (an LLVM pointer, computed from `source`)
+     * into a field: its length when the field holds arrays. `tmp` names fresh
+     * temporaries. */
+    countStore(line, tmp, className, field, source, value) {
+        const counters = this.fields.get(`${className}\0${field}`);
+        if (counters === undefined)
+            return;
+        line(this.increment(counters.base, "1"));
+        if (!counters.array)
+            return;
+        const literal = source.kind === "unionWrap" ? source.value : source;
+        if (literal.kind === "arrayLit")
+            line(this.increment(counters.base + 2, "1"));
+        if (value === null)
+            return;
+        // A NULL pointer (the unit arm) counts as length 0: its length is read
+        // through a select that points NULL at a zeroed array header.
+        let array = value;
+        if (counters.nullable) {
+            const isNull = tmp();
+            array = tmp();
+            line(`${isNull} = icmp eq ptr ${value}, null`);
+            line(`${array} = select i1 ${isNull}, ptr @sc_census_zero_arr, ptr ${value}`);
+        }
+        const lenPtr = tmp(), len32 = tmp(), len = tmp();
+        line(`${lenPtr} = getelementptr inbounds %ScrArr, ptr ${array}, i32 0, i32 1`);
+        line(`${len32} = load i32, ptr ${lenPtr}`);
+        line(`${len} = zext i32 ${len32} to i64`);
+        line(this.increment(counters.base + 3, len));
+        // The bucket: the number of limits below the length.
+        let bucket = "0";
+        for (const limit of BUCKET_LIMITS) {
+            const above = tmp(), step = tmp(), next = tmp();
+            line(`${above} = icmp ugt i64 ${len}, ${limit}`);
+            line(`${step} = zext i1 ${above} to i64`);
+            line(`${next} = add i64 ${bucket}, ${step}`);
+            bucket = next;
+        }
+        const slot = tmp();
+        line(`${slot} = add i64 ${bucket}, ${counters.base + 4}`);
+        const ptr = tmp();
+        line(`${ptr} = getelementptr inbounds [${this.names.length} x i64], ptr @sc_census, i64 0, i64 ${slot}`);
+        line(`atomicrmw add ptr ${ptr}, i64 1 monotonic`);
+    }
+    /** The module definitions: the counters, their names, the zero array
+     * header NULL stores read their length from, and the writer the runtime
+     * calls at exit (scr_census_write). */
+    definitions() {
+        const n = this.names.length;
+        const out = [`@sc_census = internal global [${n} x i64] zeroinitializer`];
+        // A zeroed %ScrArr: length 0.
+        out.push(`@sc_census_zero_arr = internal constant %ScrArr zeroinitializer`);
+        const names = this.names.map((name, i) => {
+            const bytes = cString(name);
+            out.push(`@sc_census_name.${i} = private unnamed_addr constant ${bytes}`);
+            return `ptr @sc_census_name.${i}`;
+        });
+        out.push(`@sc_census_names = internal constant [${n} x ptr] [${names.join(", ")}]`);
+        const sizes = this.sizes.map((sym) => sym === null ? "i64 0" : `i64 ptrtoint (ptr getelementptr (%${sym}, ptr null, i32 1) to i64)`);
+        out.push(`@sc_census_sizes = internal constant [${n} x i64] [${sizes.join(", ")}]`);
+        const env = cString("SCRIPTC_HEAP_CENSUS");
+        out.push(`@sc_census_env = private unnamed_addr constant ${env}`);
+        out.push(`@sc_census_mode = private unnamed_addr constant ${cString("w")}`);
+        out.push(`@sc_census_fmt = private unnamed_addr constant ${cString("%s\t%llu\t%llu\n")}`);
+        out.push(`define void @scr_census_write() {`, `entry:`, `  %path = call ptr @getenv(ptr @sc_census_env)`, `  %named = icmp ne ptr %path, null`, `  br i1 %named, label %open, label %err`, `open:`, `  %file = call ptr @fopen(ptr %path, ptr @sc_census_mode)`, `  %opened = icmp ne ptr %file, null`, `  br i1 %opened, label %write, label %err`, `err:`, `  %stderr = load ptr, ptr @stderr`, `  br label %write`, `write:`, `  %out = phi ptr [ %file, %open ], [ %stderr, %err ]`, `  br label %loop`, `loop:`, `  %i = phi i64 [ 0, %write ], [ %next, %loop ]`, `  %namep = getelementptr inbounds [${n} x ptr], ptr @sc_census_names, i64 0, i64 %i`, `  %name = load ptr, ptr %namep`, `  %countp = getelementptr inbounds [${n} x i64], ptr @sc_census, i64 0, i64 %i`, `  %count = load atomic i64, ptr %countp monotonic, align 8`, `  %sizep = getelementptr inbounds [${n} x i64], ptr @sc_census_sizes, i64 0, i64 %i`, `  %size = load i64, ptr %sizep`, `  %bytes = mul i64 %count, %size`, `  call i32 (ptr, ptr, ...) @fprintf(ptr %out, ptr @sc_census_fmt, ptr %name, i64 %count, i64 %bytes)`, `  %next = add i64 %i, 1`, `  %done = icmp eq i64 %next, ${n}`, `  br i1 %done, label %end, label %loop`, `end:`, `  call i32 @fflush(ptr %out)`, `  ret void`, `}`);
+        return out;
+    }
+    /** External declarations the writer uses. */
+    declarations() {
+        return [
+            "declare ptr @getenv(ptr)",
+            "declare ptr @fopen(ptr, ptr)",
+            "declare i32 @fprintf(ptr, ptr, ...)",
+            "declare i32 @fflush(ptr)",
+            "@stderr = external global ptr",
+        ];
+    }
+    add(name, sizeSym = null) {
+        this.names.push(name);
+        this.sizes.push(sizeSym);
+        return this.names.length - 1;
+    }
+    addField(cls, field, type, unions) {
+        let array = type.kind === "array";
+        let nullable = false;
+        let record = type.kind === "record";
+        if (type.kind === "union") {
+            const single = unions.single(type.unionId);
+            if (single !== null && single.nullTag < 0) {
+                array = single.arm.kind === "array";
+                record = single.arm.kind === "record";
+                nullable = true;
+            }
+        }
+        if (!array && !record)
+            return;
+        const key = `${cls.name}\t${field}`;
+        const base = this.add(`store\t${key}`);
+        this.add(`access\t${key}`);
+        if (array) {
+            this.add(`literal\t${key}`);
+            this.add(`elements\t${key}`);
+            for (const bucket of LENGTH_BUCKETS)
+                this.add(`${bucket}\t${key}`);
+        }
+        this.fields.set(`${cls.name}\0${field}`, { base, array, nullable });
+    }
+    increment(index, by) {
+        return `atomicrmw add ptr getelementptr inbounds ([${this.names.length} x i64], ptr @sc_census, i64 0, i64 ${index}), i64 ${by} monotonic`;
+    }
+}
+//# sourceMappingURL=heap-census.js.map

package/dist/backend/llvm/heap-census.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"heap-census.js","sourceRoot":"","sources":["../../../src/backend/llvm/heap-census.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGtD;oDACoD;AACpD,MAAM,UAAU,mBAAmB,CAAC,GAAG,GAAsB,OAAO,CAAC,GAAG;IACtE,MAAM,IAAI,GAAG,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACxC,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,YAAY,CAAC,GAAa,EAAE,MAAsB;IAChE,IAAI,CAAC,mBAAmB,EAAE,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACjE,OAAO,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,oDAAoD;AACpD,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,YAAY,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC;AAC7D,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AACzF,mDAAmD;AACnD,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAW1C,MAAM,OAAO,UAAU;IACJ,KAAK,GAAa,EAAE,CAAC;IACrB,KAAK,GAAsB,EAAE,CAAC;IAC9B,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE3D,YAAY,GAAa,EAAE,MAAsB;QAC/C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,IAAI,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvF,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,QAAQ,CAAC,IAA4B,EAAE,SAAiB;QACtD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED;wDACoD;IACpD,QAAQ,CAAC,SAAiB;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5C,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,mEAAmE;IACnE,WAAW,CAAC,IAA4B,EAAE,SAAiB,EAAE,KAAa;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC,CAAC;QAC3D,IAAI,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED;;sBAEkB;IAClB,UAAU,CACR,IAA4B,EAC5B,GAAiB,EACjB,SAAiB,EACjB,KAAa,EACb,MAAc,EACd,KAAoB;QAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC,CAAC;QAC3D,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QACnC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,KAAK;YAAE,OAAO;QAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACpE,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9E,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO;QAC3B,uEAAuE;QACvE,8DAA8D;QAC9D,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;YACrB,KAAK,GAAG,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,MAAM,kBAAkB,KAAK,QAAQ,CAAC,CAAC;YAC/C,IAAI,CAAC,GAAG,KAAK,gBAAgB,MAAM,kCAAkC,KAAK,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,EAAE,EAClB,KAAK,GAAG,GAAG,EAAE,EACb,GAAG,GAAG,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,GAAG,MAAM,0CAA0C,KAAK,gBAAgB,CAAC,CAAC;QAC/E,IAAI,CAAC,GAAG,KAAK,oBAAoB,MAAM,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,GAAG,eAAe,KAAK,SAAS,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,qDAAqD;QACrD,IAAI,MAAM,GAAG,GAAG,CAAC;QACjB,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,GAAG,EAAE,EACjB,IAAI,GAAG,GAAG,EAAE,EACZ,IAAI,GAAG,GAAG,EAAE,CAAC;YACf,IAAI,CAAC,GAAG,KAAK,mBAAmB,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC;YACjD,IAAI,CAAC,GAAG,IAAI,cAAc,KAAK,SAAS,CAAC,CAAC;YAC1C,IAAI,CAAC,GAAG,IAAI,cAAc,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YAC7C,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC;QACnB,IAAI,CAAC,GAAG,IAAI,cAAc,MAAM,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC;QAClB,IAAI,CACF,GAAG,GAAG,8BAA8B,IAAI,CAAC,KAAK,CAAC,MAAM,uCAAuC,IAAI,EAAE,CACnG,CAAC;QACF,IAAI,CAAC,qBAAqB,GAAG,mBAAmB,CAAC,CAAC;IACpD,CAAC;IAED;;2CAEuC;IACvC,WAAW;QACT,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,iCAAiC,CAAC,yBAAyB,CAAC,CAAC;QAC1E,8BAA8B;QAC9B,GAAG,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,oCAAoC,KAAK,EAAE,CAAC,CAAC;YAC1E,OAAO,uBAAuB,CAAC,EAAE,CAAC;QACpC,CAAC,CAAC,CAAC;QACH,GAAG,CAAC,IAAI,CAAC,yCAAyC,CAAC,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACnC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,qCAAqC,GAAG,4BAA4B,CAC9F,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,yCAAyC,CAAC,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpF,MAAM,GAAG,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC3C,GAAG,CAAC,IAAI,CAAC,kDAAkD,GAAG,EAAE,CAAC,CAAC;QAClE,GAAG,CAAC,IAAI,CAAC,mDAAmD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5E,GAAG,CAAC,IAAI,CAAC,kDAAkD,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;QAC1F,GAAG,CAAC,IAAI,CACN,mCAAmC,EACnC,QAAQ,EACR,gDAAgD,EAChD,oCAAoC,EACpC,yCAAyC,EACzC,OAAO,EACP,2DAA2D,EAC3D,qCAAqC,EACrC,2CAA2C,EAC3C,MAAM,EACN,mCAAmC,EACnC,mBAAmB,EACnB,QAAQ,EACR,sDAAsD,EACtD,kBAAkB,EAClB,OAAO,EACP,gDAAgD,EAChD,sCAAsC,CAAC,8CAA8C,EACrF,gCAAgC,EAChC,uCAAuC,CAAC,wCAAwC,EAChF,4DAA4D,EAC5D,sCAAsC,CAAC,8CAA8C,EACrF,gCAAgC,EAChC,kCAAkC,EAClC,sGAAsG,EACtG,yBAAyB,EACzB,gCAAgC,CAAC,EAAE,EACnC,wCAAwC,EACxC,MAAM,EACN,8BAA8B,EAC9B,YAAY,EACZ,GAAG,CACJ,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC;IAED,6CAA6C;IAC7C,YAAY;QACV,OAAO;YACL,0BAA0B;YAC1B,8BAA8B;YAC9B,qCAAqC;YACrC,0BAA0B;YAC1B,+BAA+B;SAChC,CAAC;IACJ,CAAC;IAEO,GAAG,CAAC,IAAY,EAAE,OAAO,GAAkB,IAAI;QACrD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/B,CAAC;IAEO,QAAQ,CAAC,GAAe,EAAE,KAAa,EAAE,IAAY,EAAE,MAAsB;QACnF,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;QAClC,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;gBAC1C,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;gBACpC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;gBACtC,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO;QAC9B,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC,CAAC;QAC3B,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC;YAC5B,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,EAAE,CAAC,CAAC;YAC7B,KAAK,MAAM,MAAM,IAAI,cAAc;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACtE,CAAC;IAEO,SAAS,CAAC,KAAa,EAAE,EAAU;QACzC,OAAO,8CAA8C,IAAI,CAAC,KAAK,CAAC,MAAM,uCAAuC,KAAK,UAAU,EAAE,YAAY,CAAC;IAC7I,CAAC;CACF"}

package/dist/backend/llvm/inline-arrays.d.ts

@@ -0,0 +1,41 @@
+import { type IrModule, type IrType } from "../../ir/ir.js";
+import { type LlInlineTail } from "./classes.js";
+import type { LlvmTargetOptions } from "./emitter.js";
+import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+/** Whether `mod` emitted with `options` can keep inline array fields inline:
+ * an executable for a 64-bit target whose compact instances live in the low
+ * region (32-bit references), without lifetime regions (which keep their
+ * own class layouts), and with fields to keep. */
+export declare function inlineArraysApply(mod: IrModule, options: LlvmTargetOptions): boolean;
+/** Whether instances of `className` are ProgramLifetime instances: the
+ * root of its hierarchy is declared `implements ProgramLifetime`. */
+export declare function programLifetimeClassOf(mod: IrModule): (className: string) => boolean;
+/** The field of `className` whose elements its instances keep inline, when
+ * `field` is it. */
+export declare function inlineFieldTail(host: LlvmEmitterContext, className: string, field: string): LlInlineTail | undefined;
+/** Loads the element count of the inline array field of `obj` (an instance
+ * of `className`) as an i32; returns the value's name. */
+export declare function emitInlineCount(host: LlvmEmitterContext, obj: string, className: string, tail: LlInlineTail): string;
+/** The address of the first element of the inline array field of `obj`. */
+export declare function emitInlineElements(host: LlvmEmitterContext, obj: string, tail: LlInlineTail): string;
+/** The constructor's write of the inline array field of `obj`: copies the
+ * elements of `value` (an array) into the instance, which `new` allocated
+ * for that array's length. */
+export declare function emitInlineArrayInit(host: LlvmEmitterContext, obj: string, className: string, tail: LlInlineTail, value: string): void;
+/** The inline array field of `obj` as an array value: a frozen array over
+ * the elements (scr_arr_view_cref). Returns the owned (+1) array's name. */
+export declare function emitInlineArrayView(host: LlvmEmitterContext, obj: string, className: string, tail: LlInlineTail): string;
+/** `index in obj.field` (`has`, an i1) or the slot state (`state`, a double:
+ * HOLE=0, VALUE=1) for an inline array field. Its elements are instances,
+ * never holes or undefined, so an index is present exactly when it is an
+ * integer within the count. */
+export declare function emitInlineArrayState(host: LlvmEmitterContext, obj: string, className: string, tail: LlInlineTail, index: LlValue, kind: "has" | "state"): string;
+/** `obj.field[index]` for an inline array field: the element at an index
+ * within the count, loaded from the instance. Any other index takes the
+ * runtime getter over a view, which reports it like a read of an ordinary
+ * array. With `retain`, the result is an owned reference when the element
+ * type is reference counted (like emitDenseArrayRead); without, borrowed
+ * from the instance. */
+export declare function emitInlineArrayGet(host: LlvmEmitterContext, obj: string, className: string, tail: LlInlineTail, index: LlValue, element: IrType, retain: boolean): string;
+/** `obj.field.length` for an inline array field. */
+export declare function emitInlineArrayLength(host: LlvmEmitterContext, obj: string, className: string, tail: LlInlineTail, type: IrType): LlValue;

package/dist/backend/llvm/inline-arrays.js

@@ -0,0 +1,195 @@
+/* Inline array fields in the LLVM backend (ir/inline-arrays.ts plans them).
+ *
+ * A compact class with such a field (LlClassMeta.inlineTail) keeps the
+ * field's element count as an i32 in the field's slot and the elements as
+ * 32-bit region references after its fixed fields, at the subtree's tail
+ * offset. `new` reads the count from the constructor argument the field is
+ * written from and allocates the instance with room for them; the
+ * constructor's write copies the argument's elements there
+ * (scr_arr_copy_cref_tail). Reads that index the field, read its length or
+ * iterate it load the elements directly; any other read gives a frozen array
+ * over them (scr_arr_view_cref). */
+import { isRefCounted } from "../../ir/ir.js";
+import { mangleClassStruct } from "../mangle.js";
+import { compactRefLoadLines } from "./classes.js";
+import { f64Lit } from "./common.js";
+import { arrOps } from "./shapes.js";
+/** Whether `mod` emitted with `options` can keep inline array fields inline:
+ * an executable for a 64-bit target whose compact instances live in the low
+ * region (32-bit references), without lifetime regions (which keep their
+ * own class layouts), and with fields to keep. */
+export function inlineArraysApply(mod, options) {
+    return ((mod.contracts?.inlineArrays?.length ?? 0) > 0 &&
+        options.pointerBits !== 32 &&
+        options.lowRegion === true &&
+        mod.lib === undefined &&
+        mod.lifetimeRegions !== true);
+}
+/** Whether instances of `className` are ProgramLifetime instances: the
+ * root of its hierarchy is declared `implements ProgramLifetime`. */
+export function programLifetimeClassOf(mod) {
+    const roots = new Set(mod.contracts?.programLifetime ?? []);
+    const bases = new Map();
+    for (const cls of mod.classes ?? [])
+        bases.set(cls.name, cls.base);
+    return (className) => {
+        let name = className;
+        let root = className;
+        while (name !== undefined && bases.has(name)) {
+            root = name;
+            name = bases.get(name);
+        }
+        return bases.has(className) && roots.has(root);
+    };
+}
+/** The field of `className` whose elements its instances keep inline, when
+ * `field` is it. */
+export function inlineFieldTail(host, className, field) {
+    const tail = host.inlineTailOf(className);
+    if (tail === undefined)
+        return undefined;
+    return host.classMeta.get(className).def.fields[tail.field].name === field ? tail : undefined;
+}
+/** Loads the element count of the inline array field of `obj` (an instance
+ * of `className`) as an i32; returns the value's name. */
+export function emitInlineCount(host, obj, className, tail) {
+    const B = host.B;
+    const meta = host.classMeta.get(className);
+    const countp = B.tmp();
+    const count = B.tmp();
+    B.line(`${countp} = getelementptr inbounds %${mangleClassStruct(className)}, ptr ${obj}, i64 0, i32 ${meta.compactSlots[tail.field]}`);
+    B.line(`${count} = load i32, ptr ${countp}`);
+    return count;
+}
+/** The address of the first element of the inline array field of `obj`. */
+export function emitInlineElements(host, obj, tail) {
+    const B = host.B;
+    const at = B.tmp();
+    B.line(`${at} = getelementptr inbounds i8, ptr ${obj}, i64 ${tail.tailOffset}`);
+    return at;
+}
+/** The constructor's write of the inline array field of `obj`: copies the
+ * elements of `value` (an array) into the instance, which `new` allocated
+ * for that array's length. */
+export function emitInlineArrayInit(host, obj, className, tail, value) {
+    const count = emitInlineCount(host, obj, className, tail);
+    const at = emitInlineElements(host, obj, tail);
+    host.declare(`declare void @scr_arr_copy_cref_tail(ptr, ptr, i32)`);
+    host.B.line(`call void @scr_arr_copy_cref_tail(ptr ${value}, ptr ${at}, i32 ${count})`);
+}
+/** The inline array field of `obj` as an array value: a frozen array over
+ * the elements (scr_arr_view_cref). Returns the owned (+1) array's name. */
+export function emitInlineArrayView(host, obj, className, tail) {
+    const count = emitInlineCount(host, obj, className, tail);
+    const at = emitInlineElements(host, obj, tail);
+    const ops = arrOps(host.shapeHost, { kind: "object", className: tail.elemClass });
+    host.declare(`declare ptr @scr_arr_view_cref(ptr, ptr, i32)`);
+    const view = host.B.tmp();
+    host.B.line(`${view} = call ptr @scr_arr_view_cref(ptr ${ops}, ptr ${at}, i32 ${count})`);
+    return view;
+}
+/** The index as an i64 slot, and whether the number is an integer below
+ * `count` (an i32). */
+function emitInlineIndex(host, count, index) {
+    const B = host.B;
+    const bound = B.tmp();
+    B.line(`${bound} = zext i32 ${count} to i64`);
+    const integer = index.integer;
+    if (integer !== undefined) {
+        let slot = integer.name;
+        if (integer.type === "i32") {
+            slot = B.tmp();
+            B.line(`${slot} = ${integer.signed ? "sext" : "zext"} i32 ${integer.name} to i64`);
+        }
+        const within = B.tmp();
+        B.line(`${within} = icmp ult i64 ${slot}, ${bound}`);
+        return { slot, within };
+    }
+    host.declare(`declare i64 @llvm.fptosi.sat.i64.f64(double)`);
+    const truncated = B.tmp();
+    const back = B.tmp();
+    const exact = B.tmp();
+    const below = B.tmp();
+    const within = B.tmp();
+    B.line(`${truncated} = call i64 @llvm.fptosi.sat.i64.f64(double ${index.name})`);
+    B.line(`${back} = sitofp i64 ${truncated} to double`);
+    B.line(`${exact} = fcmp oeq double ${back}, ${index.name}`);
+    B.line(`${below} = icmp ult i64 ${truncated}, ${bound}`);
+    B.line(`${within} = and i1 ${exact}, ${below}`);
+    return { slot: truncated, within };
+}
+/** `index in obj.field` (`has`, an i1) or the slot state (`state`, a double:
+ * HOLE=0, VALUE=1) for an inline array field. Its elements are instances,
+ * never holes or undefined, so an index is present exactly when it is an
+ * integer within the count. */
+export function emitInlineArrayState(host, obj, className, tail, index, kind) {
+    const count = emitInlineCount(host, obj, className, tail);
+    const { within } = emitInlineIndex(host, count, index);
+    if (kind === "has")
+        return within;
+    const state = host.B.tmp();
+    host.B.line(`${state} = select i1 ${within}, double ${f64Lit(1)}, double ${f64Lit(0)}`);
+    return state;
+}
+/** `obj.field[index]` for an inline array field: the element at an index
+ * within the count, loaded from the instance. Any other index takes the
+ * runtime getter over a view, which reports it like a read of an ordinary
+ * array. With `retain`, the result is an owned reference when the element
+ * type is reference counted (like emitDenseArrayRead); without, borrowed
+ * from the instance. */
+export function emitInlineArrayGet(host, obj, className, tail, index, element, retain) {
+    const B = host.B;
+    const count = emitInlineCount(host, obj, className, tail);
+    const at = emitInlineElements(host, obj, tail);
+    const { slot, within } = emitInlineIndex(host, count, index);
+    const hit = B.newLabel("inl.get.hit");
+    const miss = B.newLabel("inl.get.miss");
+    const join = B.newLabel("inl.get.join");
+    B.condBr(within, hit, miss);
+    B.startBlock(hit);
+    const p = B.tmp();
+    const ref = B.tmp();
+    const raw = B.tmp();
+    B.line(`${p} = getelementptr inbounds i32, ptr ${at}, i64 ${slot}`);
+    B.line(`${ref} = load i32, ptr ${p}`);
+    for (const line of compactRefLoadLines(ref, raw, `${raw}.r`))
+        B.line(line.trimStart());
+    const value = retain && isRefCounted(element) ? host.retainFrame(raw, element) : raw;
+    const hitEnd = B.currentLabel();
+    B.br(join);
+    B.startBlock(miss);
+    // Outside the count: the getter of an ordinary array over the elements
+    // decides, as for any array (an out-of-bounds read traps).
+    const ops = arrOps(host.shapeHost, { kind: "object", className: tail.elemClass });
+    const getter = retain ? "scr_arr_get_ref" : "scr_arr_borrow_ref";
+    host.declare(`declare ptr @scr_arr_view_cref(ptr, ptr, i32)`);
+    host.declare(`declare ptr @${getter}(ptr, double)`);
+    host.declare(`declare void @scr_arr_release(ptr)`);
+    const view = B.tmp();
+    const slow = B.tmp();
+    B.line(`${view} = call ptr @scr_arr_view_cref(ptr ${ops}, ptr ${at}, i32 ${count})`);
+    B.line(`${slow} = call ptr @${getter}(ptr ${view}, double ${indexDouble(host, index)}) cold`);
+    B.line(`call void @scr_arr_release(ptr ${view})`);
+    const missEnd = B.currentLabel();
+    B.br(join);
+    B.startBlock(join);
+    const result = B.tmp();
+    B.line(`${result} = phi ptr [ ${value}, %${hitEnd} ], [ ${slow}, %${missEnd} ]`);
+    return result;
+}
+/** The index as a double (an integer snapshot's own double is its name). */
+function indexDouble(host, index) {
+    if (index.type.kind === "f64")
+        return index.name;
+    const d = host.B.tmp();
+    host.B.line(`${d} = sitofp i32 ${index.name} to double`);
+    return d;
+}
+/** `obj.field.length` for an inline array field. */
+export function emitInlineArrayLength(host, obj, className, tail, type) {
+    const count = emitInlineCount(host, obj, className, tail);
+    const length = host.B.tmp();
+    host.B.line(`${length} = uitofp i32 ${count} to double`);
+    return { name: length, type, uint32: count };
+}
+//# sourceMappingURL=inline-arrays.js.map

package/dist/backend/llvm/inline-arrays.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inline-arrays.js","sourceRoot":"","sources":["../../../src/backend/llvm/inline-arrays.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;oCAUoC;AAEpC,OAAO,EAAE,YAAY,EAA8B,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAqB,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;kDAGkD;AAClD,MAAM,UAAU,iBAAiB,CAAC,GAAa,EAAE,OAA0B;IACzE,OAAO,CACL,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAC9C,OAAO,CAAC,WAAW,KAAK,EAAE;QAC1B,OAAO,CAAC,SAAS,KAAK,IAAI;QAC1B,GAAG,CAAC,GAAG,KAAK,SAAS;QACrB,GAAG,CAAC,eAAe,KAAK,IAAI,CAC7B,CAAC;AACJ,CAAC;AAED;qEACqE;AACrE,MAAM,UAAU,sBAAsB,CAAC,GAAa;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,OAAO,CAAC,SAAS,EAAE,EAAE;QACnB,IAAI,IAAI,GAAuB,SAAS,CAAC;QACzC,IAAI,IAAI,GAAG,SAAS,CAAC;QACrB,OAAO,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,IAAI,GAAG,IAAI,CAAC;YACZ,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED;oBACoB;AACpB,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,SAAiB,EACjB,KAAa;IAEb,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAClG,CAAC;AAED;0DAC0D;AAC1D,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,GAAW,EACX,SAAiB,EACjB,IAAkB;IAElB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC;IAC5C,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,8BAA8B,iBAAiB,CAAC,SAAS,CAAC,SAAS,GAAG,gBAAgB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAE,EAAE,CAChI,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,MAAM,EAAE,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAChC,IAAwB,EACxB,GAAW,EACX,IAAkB;IAElB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,qCAAqC,GAAG,SAAS,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;8BAE8B;AAC9B,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,GAAW,EACX,SAAiB,EACjB,IAAkB,EAClB,KAAa;IAEb,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC;IACpE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,yCAAyC,KAAK,SAAS,EAAE,SAAS,KAAK,GAAG,CAAC,CAAC;AAC1F,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,GAAW,EACX,SAAiB,EACjB,IAAkB;IAElB,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IAClF,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sCAAsC,GAAG,SAAS,EAAE,SAAS,KAAK,GAAG,CAAC,CAAC;IAC1F,OAAO,IAAI,CAAC;AACd,CAAC;AAED;uBACuB;AACvB,SAAS,eAAe,CACtB,IAAwB,EACxB,KAAa,EACb,KAAc;IAEd,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,eAAe,KAAK,SAAS,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACxB,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACf,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,QAAQ,OAAO,CAAC,IAAI,SAAS,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,+CAA+C,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IACjF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,SAAS,KAAK,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,aAAa,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;IAChD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC;AAED;;;+BAG+B;AAC/B,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,GAAW,EACX,SAAiB,EACjB,IAAkB,EAClB,KAAc,EACd,IAAqB;IAErB,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,EAAE,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,MAAM,YAAY,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;wBAKwB;AACxB,MAAM,UAAU,kBAAkB,CAChC,IAAwB,EACxB,GAAW,EACX,SAAiB,EACjB,IAAkB,EAClB,KAAc,EACd,OAAe,EACf,MAAe;IAEf,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,sCAAsC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;QAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrF,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;IAChC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IAC9D,IAAI,CAAC,OAAO,CAAC,gBAAgB,MAAM,eAAe,CAAC,CAAC;IACpD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sCAAsC,GAAG,SAAS,EAAE,SAAS,KAAK,GAAG,CAAC,CAAC;IACrF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,MAAM,QAAQ,IAAI,YAAY,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9F,CAAC,CAAC,IAAI,CAAC,kCAAkC,IAAI,GAAG,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;IACjC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,KAAK,MAAM,MAAM,SAAS,IAAI,MAAM,OAAO,IAAI,CAAC,CAAC;IACjF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,4EAA4E;AAC5E,SAAS,WAAW,CAAC,IAAwB,EAAE,KAAc;IAC3D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC;IACzD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,GAAW,EACX,SAAiB,EACjB,IAAkB,EAClB,IAAY;IAEZ,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,KAAK,YAAY,CAAC,CAAC;IACzD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC/C,CAAC"}

package/dist/backend/llvm/int32-kind-loops.js

@@ -21,6 +21,8 @@ function isPure(e) {
         case "arrayGet":
         case "arrayHas":
             return e.arr.kind === "varRef" && isPure(e.index);
+        case "arrIntrinsic":
+            return e.method === "getNumber" && e.receiver.kind === "varRef" && isPure(e.args[0]);
         default:
             return false;
     }

package/dist/backend/llvm/int32-kind-loops.js.map

@@ -1 +1 @@
-{"version":3,"file":"int32-kind-loops.js","sourceRoot":"","sources":["../../../src/backend/llvm/int32-kind-loops.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAmC9E;0EAC0E;AAC1E,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAClE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,CACL,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;gBAC3D,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;gBACd,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAChB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3B,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,iBAAiB,CAC/B,IAAc,EACd,OAAqC,EACrC,WAAmC;IAEnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,MAAM,GAAG,GAAU,EAAE;QACzB,QAAQ,GAAG,IAAI,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAiB,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,MAAM,IAAI,GAAG,CAAC,CAAS,EAA8C,EAAE,CACrE,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE5F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3B,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YACrE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3B,qEAAqE;QACrE,yDAAyD;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC/D,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC,CAAC;IACF,wEAAwE;IACxE,iDAAiD;IACjD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE;QACpC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC7F,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3B,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5E,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,EAAE,CAAC;YAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,OAAO,CAAC,QAAQ,CAAC;QACnB,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM;QAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,QAAQ,IAAI,KAAK,GAAG,cAAc,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,qEAAqE;IACrE,eAAe;IACf,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IAClE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC"}
+{"version":3,"file":"int32-kind-loops.js","sourceRoot":"","sources":["../../../src/backend/llvm/int32-kind-loops.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAmC9E;0EAC0E;AAC1E,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAClE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,CACL,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;gBAC3D,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;gBACd,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAChB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3B,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACxF;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,iBAAiB,CAC/B,IAAc,EACd,OAAqC,EACrC,WAAmC;IAEnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,MAAM,GAAG,GAAU,EAAE;QACzB,QAAQ,GAAG,IAAI,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAiB,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,MAAM,IAAI,GAAG,CAAC,CAAS,EAA8C,EAAE,CACrE,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE5F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3B,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YACrE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3B,qEAAqE;QACrE,yDAAyD;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC/D,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC,CAAC;IACF,wEAAwE;IACxE,iDAAiD;IACjD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE;QACpC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC7F,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3B,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5E,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,EAAE,CAAC;YAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,OAAO,CAAC,QAAQ,CAAC;QACnB,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM;QAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,QAAQ,IAAI,KAAK,GAAG,cAAc,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,qEAAqE;IACrE,eAAe;IACf,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IAClE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC"}

package/dist/backend/llvm/integer-clones.d.ts

@@ -1,5 +1,5 @@
 import { type IntegerRanges } from "../../ir/integer-ranges.js";
-import type { IrFunction, IrModule } from "../../ir/ir.js";
+import type { IrFunction, IrModule, IrType } from "../../ir/ir.js";
 /** Speculative integer clones of pure number-valued functions.
  *
  * A function qualifies when its parameters, locals and result are numbers
@@ -66,15 +66,37 @@ export interface IntegerClones {
 export declare const NO_INTEGER_CLONES: IntegerClones;
 /** A clone's result: the value and whether the clone bailed. */
 export declare const CLONE_RESULT = "{ i32, i1 }";
-/** The single-threaded stack guard, declared as the emitter's ordinary
- * stack checks declare it (clones only exist without workers). */
-export declare const STACK_GUARD_DECL = "@scr_stack_guard = external global ptr";
+/** The stack guard and the termination word, declared as the emitter's
+ * ordinary stack checks and polls declare them: process-wide in programs
+ * without workers, per thread in ELF worker executables (the only worker
+ * programs with clones). */
+export declare function stackGuardDecl(workers: boolean): string;
 export declare const INTEGER_CLONE_SUFFIX = ".int";
 export declare const INTEGER_DISPATCH_SUFFIX = ".spec";
+/** The records a clone may read (from the emitter's layouts). A reference
+ * is a plain pointer: a record, or a union of one record arm and `null`
+ * (NULL). A clone only reads its records' fields, and it has no effect, so
+ * every record reachable from a borrowed parameter stays alive and
+ * unchanged while it runs: it reads them without retaining them. */
+export interface CloneReferences {
+    /** Whether values of `type` are such pointers. */
+    reference(type: IrType): boolean;
+    /** For a tag of a reference union: whether it names the record arm
+     * ("record") or the `null` arm ("null"). */
+    arm(unionId: string, tag: number): "record" | "null" | null;
+    /** Where record shape `shapeId` keeps `field` (its struct and element
+     * index), or null when the field is not a slot a clone reads in place:
+     * a number (a double), a boolean (an i8) or a reference. */
+    field(shapeId: string, field: string): {
+        struct: string;
+        index: number;
+        type: IrType;
+    } | null;
+}
 /** Whether the function borrows its parameter at `index` (callers keep the
  * array alive and unchanged for the call); absent, clones take no arrays. */
 export type BorrowedParameter = (fnName: string, index: number) => boolean;
-export declare function findIntegerClones(mod: IrModule, borrowed?: BorrowedParameter): IntegerClones;
+export declare function findIntegerClones(mod: IrModule, borrowed?: BorrowedParameter, refs?: CloneReferences): IntegerClones;
 /** Whether a direct call from `caller` to `callee` enters the callee's
  * dispatcher: callers inside the callee's recursion run its ordinary body
  * (they are the fallback). */
@@ -93,6 +115,11 @@ export interface IntegerCloneHost {
     declare(decl: string): void;
     /** Lines setting the i1 `dest` to "an exception is pending". */
     pendingTestLines(dest: string): string[];
+    /** The records clones read (the same oracle findIntegerClones used). */
+    readonly cloneReferences: CloneReferences | undefined;
+    /** An ELF worker executable: the stack guard is per thread, and clones
+     * poll the thread's pending word, which a stop request also sets. */
+    readonly executableTls: boolean;
 }
 /** The dispatcher of member `fn` for the direct-call entry `entry` (the
  * ordinary symbol, or its i32 entry: `int32Params`/`int32Result` give that