@scriptc/compiler 0.4.2 → 0.4.4

package/dist/backend/llvm/running-extrema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"running-extrema.js","sourceRoot":"","sources":["../../../src/backend/llvm/running-extrema.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,sEAAsE;AACtE,yEAAyE;AACzE,uEAAuE;AACvE,4EAA4E;AAC5E,6EAA6E;AAC7E,wEAAwE;AACxE,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAG1E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAItE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAEnD;;;;;;;;yDAQyD;AACzD,MAAM,UAAU,sBAAsB,CAAC,EAAc;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,UAAU,GAA2D,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,SAAS;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,IAAI,GACR,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QACvF,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI;YAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,KAAK,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;QACxC,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,CAA0B;IACjD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACjB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAChF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI;QAC3B,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC;QACjB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;KAClB,EAAE,CAAC;QACF,IAAI,KAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACvC,MAAM,EAAE,GAAG,KAAM,CAAC,OAAO,CAAC;QAC1B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,EAAE,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,KAAM,CAAC,CAC5E,CAAC;QACF,IAAI,OAAO;YAAE,OAAO,EAAE,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;yEACyE;AACzE,SAAS,MAAM,CAAC,KAAwB,EAAE,KAAa;IACrD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK;YAAE,CAAC,EAAE,CAAC;QACjF,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK;YAC5F,CAAC,EAAE,CAAC;aACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY,KAAK,KAAK;YAAE,CAAC,EAAE,CAAC;QAChE,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;;QACpD,IAAI,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,CAAC,CAAC;AACX,CAAC;AAED;0EAC0E;AAC1E,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE;QAC/C,IAAI,EAAE,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/F,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC;QACvE,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM;YAClF,OAAO,KAAK,CAAC;QACf,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CACtB,IAAI,CAAE,CAA6B,CAAC,CAAC,CAAC,EAAG,CAA6B,CAAC,CAAC,CAAC,CAAC,CAC3E,CAAC;IACJ,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACpB,CAAC"}

package/dist/backend/llvm/running-extrema.test.d.ts

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

package/dist/backend/llvm/running-extrema.test.js

@@ -0,0 +1,89 @@
+import { expect, test } from "vitest";
+import { BOOL, F64 } from "../../ir/ir.js";
+import { runningExtremumUpdates } from "./running-extrema.js";
+const loc = { file: "extrema.ts", start: 0, end: 0 };
+const ref = (localId) => ({ kind: "varRef", localId, type: F64, loc });
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const assign = (localId, value) => ({
+    kind: "assign",
+    localId,
+    value,
+    loc,
+});
+const decl = (localId) => ({ kind: "varDecl", localId, init: num(0), loc });
+const compare = (op, left, right) => ({
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: BOOL,
+    loc,
+});
+/** `if (v > max) max = v;` */
+const update = () => ({
+    kind: "if",
+    cond: compare(">", ref("v"), ref("max")),
+    then: [assign("max", ref("v"))],
+    else_: null,
+    loc,
+});
+const loop = (body) => ({
+    kind: "while",
+    cond: compare(">", ref("n"), num(0)),
+    body,
+    loc,
+});
+const fn = (body, captures = []) => ({
+    name: "scan",
+    params: [],
+    locals: ["v", "max", "n"].map((id) => ({ id, name: id, type: F64, mutable: true })),
+    captures: captures.map((localId) => ({ localId, name: localId, type: F64 })),
+    returnType: F64,
+    body,
+    loc,
+});
+test("a loop's update of an accumulator declared outside it qualifies", () => {
+    const s = update();
+    expect(runningExtremumUpdates(fn([decl("max"), loop([decl("v"), s])])).has(s)).toBe(true);
+});
+test("the local may be on either side of the comparison", () => {
+    const s = update();
+    s.cond = compare("<", ref("max"), ref("v"));
+    expect(runningExtremumUpdates(fn([decl("max"), loop([s])])).has(s)).toBe(true);
+});
+test("a local declared in the loop is not an accumulator", () => {
+    const s = update();
+    expect(runningExtremumUpdates(fn([loop([decl("max"), s])])).size).toBe(0);
+});
+test("another write in the loop disqualifies the update", () => {
+    const s = update();
+    const body = [decl("max"), loop([assign("max", num(1)), s])];
+    expect(runningExtremumUpdates(fn(body)).size).toBe(0);
+});
+test("the assigned value must be the compared expression", () => {
+    const s = update();
+    s.then = [assign("max", num(5))];
+    expect(runningExtremumUpdates(fn([decl("max"), loop([s])])).size).toBe(0);
+});
+test("outside a loop only a captured binding qualifies", () => {
+    const captured = update();
+    expect(runningExtremumUpdates(fn([captured], ["max"])).has(captured)).toBe(true);
+    expect(runningExtremumUpdates(fn([update()])).size).toBe(0);
+});
+test("an else branch disqualifies the update", () => {
+    const s = update();
+    s.else_ = [assign("v", num(0))];
+    expect(runningExtremumUpdates(fn([decl("max"), loop([s])])).size).toBe(0);
+});
+test("an update nested in another branch does not qualify", () => {
+    const s = update();
+    const guard = {
+        kind: "if",
+        cond: compare(">", ref("v"), num(0)),
+        then: [s],
+        else_: null,
+        loc,
+    };
+    expect(runningExtremumUpdates(fn([decl("max"), loop([guard])])).size).toBe(0);
+});
+//# sourceMappingURL=running-extrema.test.js.map

package/dist/backend/llvm/running-extrema.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"running-extrema.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/running-extrema.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAA6C,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACrD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AAC5F,MAAM,OAAO,GAAG,CAAC,EAAa,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,8BAA8B;AAC9B,MAAM,MAAM,GAAG,GAA4B,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,KAAK,EAAE,IAAI;IACX,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,IAAc,EAAE,QAAQ,GAAa,EAAE,EAAc,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACnF,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC5E,UAAU,EAAE,GAAG;IACf,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;IACnB,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC;IAC1B,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;IAClD,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;IACnB,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;IACnB,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,EAAE,CAAC,CAAC,CAAC;QACT,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;IACF,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/shapes.d.ts

@@ -9,9 +9,26 @@ import { INLINE_UNION_FIELD, type InlineUnionFields } from "./inline-unions.js";
 /** What the tables need from the emitter: the extern-declaration ledger
  * and the module-wide cycle/shape indexes. */
 export interface ShapeHost {
+    /** Chunk emitters only (emit-journal.ts): EmitJournal's allocated, built,
+     * opened, used and entry. */
+    journalAllocated?: ((name: string, op: string, args: readonly unknown[]) => void) | undefined;
+    journalBuilt?: (() => void) | undefined;
+    journalOpened?: ((op: string) => void) | undefined;
+    journalUsed?: ((name: string, op: string, args: readonly unknown[]) => void) | undefined;
+    journalEntry?: ((table: string, key: string, value: unknown) => void) | undefined;
     /** The hierarchy root of a class (a program class or a runtime base),
      * or undefined for classes outside the class graph. */
     classRootOf?(className: string): string | undefined;
+    /** Whether releasing a value of this type does nothing: instances of a
+     * program-lifetime class without lifetime regions (classes.ts
+     * programLifetimeClass). */
+    releasesNothing?(t: IrType): boolean;
+    /** Whether arrays of `elem` hold 32-bit references to compact class
+     * instances (SCR_ELEM_CREF; LlEmitter.compactArrayElem). */
+    compactArrayElem?(elem: IrType): boolean;
+    /** Whether compact class instances live in the program-lifetime region
+     * (LlEmitter.compactRegion). */
+    compactRegion?(): boolean;
     /** Byte offset from an object pointer back to ScrCycHdr.buf. */
     readonly cycleBufOffset: number;
     declare(decl: string): void;
@@ -159,10 +176,12 @@ type RcOp = "retain" | "release";
  * or null when it stays a call. */
 export declare function inlineRcFamily(host: ShapeHost, stem: string, op: RcOp): InlineRcFamily | null;
 /** Which RC fast paths an emission inlines. `speed` mirrors every family
- * with a fast path. `release` mirrors only the string retain and the dyn
- * retain and release: the operations that dominate dynamic-value and string
- * code, at almost no size cost. String releases stay calls in `release`
- * because string-heavy programs have many release sites. */
+ * with a fast path. `release` mirrors only the string retain and release,
+ * the Map retain and the dyn retain and release: the operations that
+ * dominate dynamic-value, string and Map code (a Map read from an array or
+ * another Map). String-heavy programs have many string release sites, so a
+ * function with more than INLINE_STR_RELEASES_PER_FUNCTION of them calls the
+ * runtime release at each (limitInlineReleases). */
 export type InlineRcMode = "release" | "speed";
 /** The emitter's inline RC option for a native optimization posture: none
  * at `dev`, the `release` subset by default. Sanitized builds compile the
@@ -181,10 +200,17 @@ export declare function boxReleaseSym(host: ShapeHost): string;
  * thousands of release sites; a body with more calls scr_dyn_release, which
  * the inline helper mirrors, at every site. */
 export declare const INLINE_DYN_RELEASES_PER_FUNCTION = 256;
-/** Apply {@link INLINE_DYN_RELEASES_PER_FUNCTION} to each function of an
- * emitted module, given as parts joined by newlines. A function can span
- * parts (main's lines) and a part can hold several functions. */
-export declare function limitInlineDynReleases(parts: readonly string[]): string[];
+/** Inlined string releases one function body keeps in `release` emission,
+ * which inlines string releases (RELEASE_RC_OPS); the bodies with the most of them, such as
+ * builders of string-heavy records and module initializers, would grow the
+ * most for the least gain, so a body with more calls scr_str_release at
+ * every site. */
+export declare const INLINE_STR_RELEASES_PER_FUNCTION = 8;
+/** Apply {@link INLINE_DYN_RELEASES_PER_FUNCTION}, and in `release` emission
+ * {@link INLINE_STR_RELEASES_PER_FUNCTION}, to each function of an emitted
+ * module, given as parts joined by newlines. A function can span parts
+ * (main's lines) and a part can hold several functions. */
+export declare function limitInlineReleases(parts: readonly string[], mode: InlineRcMode | undefined): string[];
 export declare function inlineRcDecls(host: ShapeHost): string[];
 /** Definitions for every requested inline RC helper, in a stable order.
  *
@@ -220,7 +246,12 @@ export declare function arrNewCall(host: ShapeHost, elem: IrType, capText: strin
 small?: boolean): string;
 /** The %ScrArrOps descriptor (retain, release, trace, registry id) of a REF
  * element type, defined once per module and shared by all its arrays. It is
- * writable: the runtime stores its registry id on the first array. */
+ * writable: the runtime stores its registry id on the first array. Its tail
+ * padding is the runtime's flags word (0); arrays of compact class
+ * references (ShapeHost.compactArrayElem) spell the word out as
+ * SCR_ARR_OPS_COMPACT, and on 64-bit targets arrays whose element release
+ * does nothing (ShapeHost.releasesNothing) as SCR_ARR_OPS_RELEASE_NOTHING,
+ * so that destroying them only frees their storage. */
 export declare function arrOps(host: ShapeHost, elem: IrType): string;
 /** Box construction call text (boxNewC's dispatch): plain-kind boxes for
  * the runtime-known payloads, obj-kind boxes (RC entry points + trace as
@@ -295,8 +326,30 @@ export interface DirectDestroy {
 /** The release of child `value` (a loaded field, possibly NULL) inside a
  * teardown whose chain length is `%d`: the child's own release for a shared
  * or immortal reference, its teardown for the last one. Labels use `tag`;
- * the lines end in the open block `${tag}.next`. */
-export declare function directChildReleaseLines(host: ShapeHost, tag: string, value: string, target: DirectDestroy, comment: string): string[];
+ * the lines end in the open block `${tag}.next`.
+ *
+ * With `segment` (the child has the teardown's own type, in a segmented
+ * teardown; segmentPrologueLines), the child's teardown appends its blocks
+ * to the teardown's segment. */
+export declare function directChildReleaseLines(host: ShapeHost, tag: string, value: string, target: DirectDestroy, comment: string, segment?: boolean): string[];
+/** Whether the teardown of a type whose reference fields have `fieldTypes`
+ * (with direct targets `targets`) and whose own teardown is `destroy` keeps
+ * a segment: a child field has its own type, and the inline allocation paths
+ * are in use. */
+export declare function segmentedTeardown(host: ShapeHost, destroy: string, fieldTypes: readonly IrType[], targets: ReadonlyMap<string, DirectDestroy>): boolean;
+/** The first lines of a segmented teardown, in its entry block: the
+ * segment's last link (`%sg.t`, from the `%tail` argument) and the kept own
+ * block (`%sg.own`, for emitObjectFree). */
+export declare function segmentPrologueLines(): string[];
+/** The rest of a segmented teardown after emitObjectFree kept (or freed)
+ * its own block: the block goes ahead of its children's when its address is
+ * below the first non-NULL one of `children` (loaded fields of the
+ * teardown's own type, which stand for their blocks) or there is none, and
+ * behind them otherwise; then the children's releases (`releases`, given a
+ * label prefix), and the segment's last link is returned. Each order has its
+ * own copy of the releases, so neither keeps the decision, or the block once
+ * it is appended, across the children's teardowns. */
+export declare function segmentTeardownLines(children: readonly string[], releases: (prefix: string) => string[]): string[];
 /** The direct-teardown target of a reference of `type`, if `targets` (keyed
  * `record:<id>` / `object:<class>`) has one. Nullable unions hold the arm's
  * pointer, NULL or an immortal sentinel, which the child release handles. */
@@ -306,8 +359,11 @@ export declare function directDestroyTarget(host: ShapeHost, type: IrType, targe
 export declare function usedDirectTargets(host: ShapeHost, candidates: readonly (readonly [string, DirectDestroy])[], fieldTypes: readonly IrType[]): Map<string, DirectDestroy>;
 /** The teardown definitions for `destroy`: with `chained`, the body takes
  * the chain length `%d` (directChildReleaseLines) and the runtime's
- * one-argument entry starts a chain. */
-export declare function destroyDefinitions(destroy: string, body: readonly string[], chained: boolean): string[];
+ * one-argument entry starts a chain. With `segment` (the host, for a
+ * segmented teardown), the body is a segment teardown's
+ * (segmentPrologueLines to segmentTeardownLines), defined as `_s`, with
+ * `_sc` for scr_rc_destroy_seg, and `_d` starts a segment and frees it. */
+export declare function destroyDefinitions(destroy: string, body: readonly string[], chained: boolean, segment?: ShapeHost | null): string[];
 /** Common NULL/immortal/decrement skeleton for ordinary object releases.
  * `freeBody` owns the zero-ref teardown and must leave the current block at
  * its end; traced objects also get the possible-cycle-root branch.
@@ -315,7 +371,7 @@ export declare function destroyDefinitions(destroy: string, body: readonly strin
  * `fnName` is only the inlinable fast path (releaseFastPath); the complete
  * release is `${fnName}_slow`, kept out of line so callers that inline the
  * release do not also inline its teardown. */
-export declare function releaseBody(host: ShapeHost, fnName: string, traced: boolean, freeBody: string[], comment?: string, bounded?: boolean, immortal?: boolean, chained?: boolean): string[];
+export declare function releaseBody(host: ShapeHost, fnName: string, traced: boolean, freeBody: string[], comment?: string, bounded?: boolean, immortal?: boolean, chained?: boolean, segmented?: boolean, frozen?: boolean): string[];
 /** The inlinable half of an object release. A reference that is neither the
  * last one nor immortal (rc - 2 < SIZE_MAX - 2 rules out 0, 1 and SIZE_MAX
  * in one compare) only decrements and, for headered objects, takes the
@@ -323,7 +379,7 @@ export declare function releaseBody(host: ShapeHost, fnName: string, traced: boo
  * call `slow`, which
  * holds the complete release: inlining it everywhere would copy teardowns
  * (and their destroy calls) into every caller. */
-export declare function releaseFastPath(host: ShapeHost, fnName: string, slow: string, traced: boolean, comment?: string, immortal?: boolean, count?: RcCount): string[];
+export declare function releaseFastPath(host: ShapeHost, fnName: string, slow: string, traced: boolean, comment?: string, immortal?: boolean, count?: RcCount, frozen?: boolean): string[];
 /** One traced field of an emitted trace function: load the slot and visit
  * it unless it is null. Every collector visitor ignores null children, and
  * most traced slots of a typical heap are empty (optional links, unset