@scriptc/compiler 0.4.1 → 0.4.2

package/dist/backend/llvm/dense-array-loops.test.js

@@ -93,15 +93,17 @@ test("loops that may resize, rebind or move storage keep the ordinary copy only"
     ]);
     expect([...rebound.arrays.keys()]).toEqual(["a"]);
 });
+const counted = (fields) => ({
+    localId: "i",
+    guarded: false,
+    limitGuarded: false,
+    startGuarded: false,
+    guardLimit: 0,
+    followers: [],
+    ...fields,
+});
 test("counted shapes need a non-negative counter strictly below the length", () => {
-    const ascending = (limit, inclusive, min = 0) => countedDenseShape(loop([]), {
-        localId: "i",
-        start: num(min),
-        limit,
-        step: 1,
-        inclusive,
-        range: { min, max: 100 },
-    });
+    const ascending = (limit, inclusive, min = 0) => countedDenseShape(loop([]), counted({ start: num(min), limit, step: 1, inclusive, range: { min, max: 100 } }));
     const minus = (offset) => ({
         kind: "bin",
         op: "-",
@@ -110,19 +112,53 @@ test("counted shapes need a non-negative counter strictly below the length", ()
         type: F64,
         loc,
     });
-    expect(ascending(method("a", "length"), false)?.length.localId).toBe("a");
-    expect(ascending(minus(1), true)?.length.localId).toBe("a");
+    expect(ascending(method("a", "length"), false)?.length?.localId).toBe("a");
+    expect(ascending(minus(1), true)?.length?.localId).toBe("a");
     expect(ascending(method("a", "length"), true)).toBeNull();
     expect(ascending(minus(1), false, -1)).toBeNull();
-    const descending = (offset) => countedDenseShape(loop([]), {
-        localId: "i",
+    // Another invariant limit bounds the counter itself; the entry test
+    // compares it with every indexed array's hole-free prefix.
+    const limited = ascending(ref("n"), false);
+    expect(limited?.length).toBeNull();
+    expect(limited?.limit?.limit).toEqual(ref("n"));
+    expect(ascending(ref("n"), false, -1)).toBeNull();
+    const descending = (offset) => countedDenseShape(loop([]), counted({
         start: minus(offset),
         limit: num(0),
         step: -1,
         inclusive: true,
         range: { min: 0, max: 100 },
-    });
-    expect(descending(1)?.length.localId).toBe("a");
+    }));
+    expect(descending(1)?.length?.localId).toBe("a");
     expect(descending(0)).toBeNull();
 });
+test("a loop to another invariant limit covers each array whose length it keeps", () => {
+    const limited = {
+        counter: "i",
+        length: null,
+        limit: counted({
+            start: num(0),
+            limit: ref("n"),
+            step: 1,
+            inclusive: false,
+            range: { min: 0, max: 100 },
+        }),
+        range: { min: 0, max: 100 },
+    };
+    const matchLimited = (body, unaliased = new Set()) => matchDenseArrayLoop(loop(body), limited, locals, unaliased, new Set(["a", "b"]));
+    const copy = write("b", read("a"));
+    const dense = matchLimited([copy]);
+    expect([...dense.arrays.keys()].sort()).toEqual(["a", "b"]);
+    expect(dense.length).toBeNull();
+    expect(dense.limit?.limit).toEqual(ref("n"));
+    // An array the loop may resize is not covered; neither is one it may
+    // share storage with.
+    const resizing = [
+        { kind: "exprStmt", expr: read("a"), loc },
+        { kind: "exprStmt", expr: method("b", "getNumber", [ref("i")]), loc },
+        { kind: "exprStmt", expr: method("b", "push", [num(1)]), loc },
+    ];
+    expect([...matchLimited(resizing, new Set(["b"])).arrays.keys()]).toEqual(["a"]);
+    expect(matchLimited(resizing)).toBeNull();
+});
 //# sourceMappingURL=dense-array-loops.test.js.map

package/dist/backend/llvm/dense-array-loops.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"dense-array-loops.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/dense-array-loops.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAA0C,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EACL,iBAAiB,EACjB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AACzB,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,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,OAAe,EAA+B,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CACb,QAAgB,EAChB,IAAyD,EACzD,IAAI,GAAa,EAAE,EACX,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACpG,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK;IACL,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB;IACtC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CACzD,CAAC,CAAC;AAEH,8CAA8C;AAC9C,SAAS,IAAI,CAAC,IAAc;IAC1B,OAAO;QACL,IAAI,EAAE,KAAK;QACX,GAAG;QACH,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC9E,GAAG;SACJ;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AACD,MAAM,KAAK,GAAmB;IAC5B,OAAO,EAAE,GAAG;IACZ,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC;IAChB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;CACnC,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAc,EAAE,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAClE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,CAAC,CAAC;AAEzE,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE;QACvB,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,8EAA8E;IAC9E,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,EAAE,CAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/D,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KACzF,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,yCAAyC;IACzC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjF,8CAA8C;IAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/E,kEAAkE;IAClE,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,mEAAmE;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC;QACpB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,OAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,SAAkB,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,CAC/D,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAC1B,OAAO,EAAE,GAAG;QACZ,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;QACf,KAAK;QACL,IAAI,EAAE,CAAC;QACP,SAAS;QACT,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;KACzB,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1E,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,EAAE,CACpC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAC1B,OAAO,EAAE,GAAG;QACZ,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC;QACpB,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,CAAC,CAAC;QACR,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;KAC5B,CAAC,CAAC;IACL,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"dense-array-loops.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/dense-array-loops.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAA0C,MAAM,gBAAgB,CAAC;AAE5F,OAAO,EACL,iBAAiB,EACjB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AACzB,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,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,OAAe,EAA+B,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CACb,QAAgB,EAChB,IAAyD,EACzD,IAAI,GAAa,EAAE,EACX,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACpG,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK;IACL,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB;IACtC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CACzD,CAAC,CAAC;AAEH,8CAA8C;AAC9C,SAAS,IAAI,CAAC,IAAc;IAC1B,OAAO;QACL,IAAI,EAAE,KAAK;QACX,GAAG;QACH,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC9E,GAAG;SACJ;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AACD,MAAM,KAAK,GAAmB;IAC5B,OAAO,EAAE,GAAG;IACZ,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC;IAChB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;CACnC,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAc,EAAE,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAClE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,CAAC,CAAC;AAEzE,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE;QACvB,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,8EAA8E;IAC9E,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,EAAE,CAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/D,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KACzF,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,yCAAyC;IACzC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjF,8CAA8C;IAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/E,kEAAkE;IAClE,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,mEAAmE;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC;QACpB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,OAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CACd,MAAuF,EAChE,EAAE,CAAC,CAAC;IAC3B,OAAO,EAAE,GAAG;IACZ,OAAO,EAAE,KAAK;IACd,YAAY,EAAE,KAAK;IACnB,YAAY,EAAE,KAAK;IACnB,UAAU,EAAE,CAAC;IACb,SAAS,EAAE,EAAE;IACb,GAAG,MAAM;CACV,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,SAAkB,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,CAC/D,iBAAiB,CACf,IAAI,CAAC,EAAE,CAAC,EACR,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAClF,CAAC;IACJ,MAAM,KAAK,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3E,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7D,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClD,oEAAoE;IACpE,2DAA2D;IAC3D,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,EAAE,CACpC,iBAAiB,CACf,IAAI,CAAC,EAAE,CAAC,EACR,OAAO,CAAC;QACN,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC;QACpB,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,CAAC,CAAC;QACR,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;KAC5B,CAAC,CACH,CAAC;IACJ,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,OAAO,GAAmB;QAC9B,OAAO,EAAE,GAAG;QACZ,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,OAAO,CAAC;YACb,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YACb,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;YACf,IAAI,EAAE,CAAC;YACP,SAAS,EAAE,KAAK;YAChB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;SAC5B,CAAC;QACF,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;KAC5B,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,IAAc,EAAE,SAAS,GAAG,IAAI,GAAG,EAAU,EAAE,EAAE,CACrE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjC,MAAM,CAAC,KAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,qEAAqE;IACrE,sBAAsB;IACtB,MAAM,QAAQ,GAAG;QACf,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QACnD,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC9E,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;KACxE,CAAC;IACF,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClF,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC5C,CAAC,CAAC,CAAC"}

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

@@ -60,6 +60,8 @@ export declare class LlDyn {
     private readonly dynFuncThunks;
     private readonly dynFuncBoxes;
     private readonly dynFuncAdapters;
+    private readonly messageListeners;
+    private readonly messageReaders;
     private readonly promiseDynAdapters;
     private readonly mapDynOps;
     private dynToStrFn;
@@ -241,7 +243,8 @@ export declare class LlDyn {
      * inner typeKey. */
     private promiseDynAdapterHelper;
     /** Node's String() over a dyn value — sc_ds (+1 result) over the
-     * recursive sc_ds_buf walker. Borrowed operand; never throws. */
+     * recursive sc_ds_buf walker. Borrowed operand; an exception that an
+     * object's toString or valueOf throws stays pending. */
     dynToStrHelper(): string;
     /** A catch binding flowing into an `unknown` slot: the typed→unknown
      * deep-copy stance over the exception snapshot's runtime kind. */
@@ -266,6 +269,27 @@ export declare class LlDyn {
     dynFuncBoxHelper(t: IrType & {
         kind: "func";
     }): string;
+    /** `sc_dml_<n>(ptr c, ptr message) -> i1`, the typed message entry of a
+     * closure registered as a 'message' listener (ScrDynMessageListener):
+     * builds the closure's parameter from the message's nodes and calls the
+     * closure. It answers false, without calling it, when the message does
+     * not have the parameter's exact layout, and the listener then runs
+     * through its thunk on the decoded message, as before. Null when the
+     * signature's parameter has no message reader (messageReadable). */
+    messageListenerHelper(t: IrType & {
+        kind: "func";
+    }): string | null;
+    /** Whether a message reader can build T: numbers, booleans and strings;
+     * records of them with only declared fields, none of union type; and
+     * boxed unions of those arms and null or undefined without a literal
+     * discriminator, with at most one number, boolean and string arm. */
+    private messageReadable;
+    /** `sc_dmr_<n>(ptr message, size node, ptr fail) -> T`: T (+1) built
+     * from a message node, for a type messageReadable accepts. Sets *fail
+     * and returns a dummy when the node does not have T's layout: the arm
+     * the checked conversion would choose, a record's declared keys in
+     * declaration order and no others. */
+    private messageReaderHelper;
     /** The adapter closure body for one TARGET signature: caps[0] is an
      * untraced obj-box owning the dyn function value. */
     dynFuncAdapterHelper(t: IrType & {

package/dist/backend/llvm/dyn.js

@@ -54,6 +54,14 @@ const DYN_HANDLE_BOX_FN = {
 const DYN_HANDLE_UNBOX_FN = {
     dgramSocket: "scr_dgram_from_dyn",
 };
+/** ScrMessageKind (scr_message.h): the node kinds message readers test. */
+const MESSAGE_KIND = {
+    UNDEFINED: 0,
+    NULL: 1,
+    BOOL: 2,
+    NUMBER: 3,
+    STRING: 4,
+};
 export const DYN_KIND = {
     NULL: 0,
     BOOL: 1,
@@ -92,6 +100,8 @@ export class LlDyn {
     dynFuncThunks = new Map();
     dynFuncBoxes = new Map();
     dynFuncAdapters = new Map();
+    messageListeners = new Map();
+    messageReaders = new Map();
     promiseDynAdapters = new Map();
     mapDynOps = new Map();
     dynToStrFn = null;
@@ -2805,7 +2815,8 @@ export class LlDyn {
     }
     /* ── the dyn ToString pair (dynToStrHelper, ported) ────────────────── */
     /** Node's String() over a dyn value — sc_ds (+1 result) over the
-     * recursive sc_ds_buf walker. Borrowed operand; never throws. */
+     * recursive sc_ds_buf walker. Borrowed operand; an exception that an
+     * object's toString or valueOf throws stays pending. */
     dynToStrHelper() {
         if (this.dynToStrFn)
             return this.dynToStrFn;
@@ -2909,9 +2920,9 @@ export class LlDyn {
             B.startBlock(labels.get(DYN_KIND.ARR));
             {
                 // Array.prototype.toString: join(",") — null/undefined ELEMENTS
-                // print empty (unlike top level), nested arrays flatten.
+                // print empty (unlike top level), nested arrays flatten. The length
+                // is read once, as join reads it.
                 const n = this.lenOf(B, "%d");
-                const items = this.itemsOf(B, "%d");
                 this.i64Loop(B, "ds.ar", n, (i, brNext) => {
                     const nz = B.tmp();
                     B.line(`${nz} = icmp ugt ${this.S} ${i}, 0`);
@@ -2922,7 +2933,22 @@ export class LlDyn {
                     B.line(`call void @scr_jb_putc(ptr %b, i8 44)`);
                     B.br(lel);
                     B.startBlock(lel);
-                    const e = this.itemAt(B, items, i);
+                    // Each index reads the element as join does (scr_dyn_arr_at, +1):
+                    // from the current storage, undefined past the current length,
+                    // and through the prototype for a hole. An element's toString
+                    // can append to, shrink or reallocate the array; a getter that
+                    // throws answers NULL with the exception pending.
+                    host.declare(`declare ptr @scr_dyn_arr_at(ptr, double)`);
+                    host.declare(`declare void @scr_dyn_release_v(ptr)`);
+                    const index = B.tmp();
+                    B.line(`${index} = uitofp ${this.S} ${i} to double`);
+                    const e = B.tmp();
+                    B.line(`${e} = call ptr @scr_dyn_arr_at(ptr %d, double ${index})`);
+                    const missing = B.tmp();
+                    B.line(`${missing} = icmp eq ptr ${e}, null`);
+                    const lGot = B.newLabel("ds.gt");
+                    B.condBr(missing, done, lGot);
+                    B.startBlock(lGot);
                     const ek = this.kindOf(B, e);
                     const isU = B.tmp();
                     const isN = B.tmp();
@@ -2930,20 +2956,31 @@ export class LlDyn {
                     B.line(`${isU} = icmp eq i32 ${ek}, ${DYN_KIND.UNDEF}`);
                     B.line(`${isN} = icmp eq i32 ${ek}, ${DYN_KIND.NULL}`);
                     B.line(`${unit} = or i1 ${isU}, ${isN}`);
-                    const lSkip = B.newLabel("ds.sk");
                     const lRec = B.newLabel("ds.rc");
+                    const lSkip = B.newLabel("ds.sk");
                     B.condBr(unit, lSkip, lRec);
                     B.startBlock(lSkip);
+                    B.line(`call void @scr_dyn_release_v(ptr ${e})`);
                     brNext();
                     B.startBlock(lRec);
                     B.line(`call void @sc_ds_buf(ptr %b, ptr ${e})`);
+                    B.line(`call void @scr_dyn_release_v(ptr ${e})`);
+                    // The first exception an element's conversion throws ends the
+                    // conversion; later elements are not read.
+                    const thrown = B.tmp();
+                    for (const line of host.pendingTestLines(thrown))
+                        B.line(line.trimStart());
+                    const lMore = B.newLabel("ds.mo");
+                    B.condBr(thrown, done, lMore);
+                    B.startBlock(lMore);
                 });
                 B.br(done);
             }
             B.startBlock(labels.get(DYN_KIND.OBJ));
             {
                 // The checked-dynamic tree's error encoding renders Error.prototype.toString;
-                // plain objects are "[object Object]".
+                // other objects convert with ToPrimitive's string hint: a toString or
+                // valueOf of their own or of their prototypes, else "[object Object]".
                 const marker = this.objGetLit(B, "%d", "%error");
                 const isErr = B.tmp();
                 B.line(`${isErr} = icmp ne ptr ${marker}, null`);
@@ -2951,8 +2988,21 @@ export class LlDyn {
                 const lPlain = B.newLabel("ds.pl");
                 B.condBr(isErr, lErr, lPlain);
                 B.startBlock(lPlain);
-                this.puts(B, "%b", "[object Object]");
-                B.br(done);
+                {
+                    // Null leaves the exception the conversion threw pending.
+                    host.declare(`declare ptr @scr_dyn_string_coerce_js(ptr)`);
+                    host.declare(`declare void @scr_str_release(ptr)`);
+                    const text = B.tmp();
+                    B.line(`${text} = call ptr @scr_dyn_string_coerce_js(ptr %d)`);
+                    const converted = B.tmp();
+                    B.line(`${converted} = icmp ne ptr ${text}, null`);
+                    const lPut = B.newLabel("ds.pp");
+                    B.condBr(converted, lPut, done);
+                    B.startBlock(lPut);
+                    this.putScrStr(B, "%b", text);
+                    B.line(`call void @scr_str_release(ptr ${text})`);
+                    B.br(done);
+                }
                 B.startBlock(lErr);
                 // Error.prototype.toString, reading name and message through the
                 // prototype. Null leaves the exception its conversion threw pending.
@@ -4049,6 +4099,279 @@ export class LlDyn {
         this.defs.push(`define internal ptr @${name}(ptr %v, ptr %fname) ${FN_ATTRS} { ; box ${key} into dyn`, `entry:`, `  %c = call ptr @scr_closure_retain_v(ptr %v)`, `  %r = call ptr @scr_dyn_new_func(ptr %c, ptr @${thunk}, i32 ${t.params.length - (t.restAbi === "typed" ? 1 : 0)}, ptr ${sigLit}, ptr %fname)`, `  ret ptr %r`, `}`, ``);
         return name;
     }
+    /** `sc_dml_<n>(ptr c, ptr message) -> i1`, the typed message entry of a
+     * closure registered as a 'message' listener (ScrDynMessageListener):
+     * builds the closure's parameter from the message's nodes and calls the
+     * closure. It answers false, without calling it, when the message does
+     * not have the parameter's exact layout, and the listener then runs
+     * through its thunk on the decoded message, as before. Null when the
+     * signature's parameter has no message reader (messageReadable). */
+    messageListenerHelper(t) {
+        const key = typeKey(t);
+        const existing = this.messageListeners.get(key);
+        if (existing !== undefined)
+            return existing;
+        const param = t.params[0];
+        const supported = t.params.length === 1 &&
+            t.rest !== true &&
+            param !== undefined &&
+            (t.ret.kind === "void" || t.ret.kind === "f64" || t.ret.kind === "bool") &&
+            this.messageReadable(param, new Set());
+        if (!supported) {
+            this.messageListeners.set(key, null);
+            return null;
+        }
+        const name = `sc_dml_${this.messageListeners.size}`;
+        this.messageListeners.set(key, name);
+        const B = new BlockBuilder();
+        B.entryAllocas.push(`%fail = alloca i1`);
+        B.line(`store i1 false, ptr %fail`);
+        const value = B.tmp();
+        B.line(`${value} = call ${this.valTy(param)} @${this.messageReaderHelper(param)}(ptr %m, ${this.host.sizeType} 0, ptr %fail)`);
+        const failed = B.tmp();
+        B.line(`${failed} = load i1, ptr %fail`);
+        const lMiss = B.newLabel("dml.miss");
+        const lCall = B.newLabel("dml.call");
+        B.condBr(failed, lMiss, lCall);
+        B.startBlock(lMiss);
+        B.terminate(`ret i1 false`);
+        B.startBlock(lCall);
+        // The closure consumes its parameter; a pending exception stays for
+        // the emitter, as after the thunk.
+        const fnp = B.tmp();
+        const fn = B.tmp();
+        B.line(`${fnp} = getelementptr inbounds %ScrClosure, ptr %c, i64 0, i32 1`);
+        B.line(`${fn} = load ptr, ptr ${fnp}`);
+        const args = `ptr %c, ${this.valTy(param)} ${value}`;
+        if (t.ret.kind === "void")
+            B.line(`call void ${fn}(${args})`);
+        else
+            B.line(`${B.tmp()} = call ${this.valTy(t.ret)} ${fn}(${args})`);
+        B.terminate(`ret i1 true`);
+        this.defs.push(`define internal zeroext i1 @${name}(ptr %c, ptr %m) ${FN_ATTRS} { ; message entry for ${llvmCommentText(key)}`, B.render(), `}`, ``);
+        return name;
+    }
+    /** Whether a message reader can build T: numbers, booleans and strings;
+     * records of them with only declared fields, none of union type; and
+     * boxed unions of those arms and null or undefined without a literal
+     * discriminator, with at most one number, boolean and string arm. */
+    messageReadable(t, seen) {
+        switch (t.kind) {
+            case "f64":
+            case "bool":
+            case "string":
+                return true;
+            case "record": {
+                const shape = this.host.recordsById.get(t.shapeId);
+                if (!shape || shape.tuple || shape.indexValue || shape.fields.length === 0)
+                    return false;
+                if (seen.has(t.shapeId) || this.isRecursiveShape(t))
+                    return false;
+                seen.add(t.shapeId);
+                const readable = shape.fields.every((f) => !f.name.startsWith("%") &&
+                    f.type.kind !== "union" &&
+                    llFieldType(f.type, this.host.inlineUnions.record(f.type)) !== INLINE_UNION_FIELD &&
+                    this.messageReadable(f.type, seen));
+                seen.delete(t.shapeId);
+                return readable;
+            }
+            case "union": {
+                const def = this.host.unionsById.get(t.unionId);
+                // A discriminated union's checked conversion also tests the arm's
+                // literal discriminator, which the readers do not.
+                if (!def || def.discriminant || this.host.nullableUnions.has(t.unionId))
+                    return false;
+                const scalars = new Set();
+                for (const arm of def.arms) {
+                    if (arm.kind === "nullT" || arm.kind === "undefinedT")
+                        continue;
+                    if (arm.kind === "f64" || arm.kind === "bool" || arm.kind === "string") {
+                        if (scalars.has(arm.kind))
+                            return false;
+                        scalars.add(arm.kind);
+                        continue;
+                    }
+                    if (arm.kind !== "record" || !this.messageReadable(arm, seen))
+                        return false;
+                }
+                return true;
+            }
+            default:
+                return false;
+        }
+    }
+    /** `sc_dmr_<n>(ptr message, size node, ptr fail) -> T`: T (+1) built
+     * from a message node, for a type messageReadable accepts. Sets *fail
+     * and returns a dummy when the node does not have T's layout: the arm
+     * the checked conversion would choose, a record's declared keys in
+     * declaration order and no others. */
+    messageReaderHelper(t) {
+        const key = typeKey(t);
+        const existing = this.messageReaders.get(key);
+        if (existing)
+            return existing;
+        const name = `sc_dmr_${this.messageReaders.size}`;
+        this.messageReaders.set(key, name);
+        const host = this.host;
+        const S = host.sizeType;
+        if (t.kind !== "record")
+            host.declare(`declare i32 @scr_message_kind(ptr, ${S})`);
+        const retTy = this.valTy(t);
+        const dummy = retTy === "double" ? f64Lit(0) : retTy === "i1" ? "false" : "null";
+        const B = new BlockBuilder();
+        const lFail = B.newLabel("dmr.fail");
+        // scr_message_fields tests a record's kind itself.
+        const kind = B.tmp();
+        if (t.kind !== "record")
+            B.line(`${kind} = call i32 @scr_message_kind(ptr %m, ${S} %n)`);
+        const requireKind = (want) => {
+            const ok = B.tmp();
+            B.line(`${ok} = icmp eq i32 ${kind}, ${want}`);
+            const lOk = B.newLabel("dmr.kind");
+            B.condBr(ok, lOk, lFail);
+            B.startBlock(lOk);
+        };
+        switch (t.kind) {
+            case "f64":
+            case "bool": {
+                host.declare(`declare double @scr_message_number(ptr, ${S})`);
+                requireKind(t.kind === "f64" ? MESSAGE_KIND.NUMBER : MESSAGE_KIND.BOOL);
+                const n = B.tmp();
+                B.line(`${n} = call double @scr_message_number(ptr %m, ${S} %n)`);
+                if (t.kind === "f64")
+                    B.terminate(`ret double ${n}`);
+                else {
+                    const b = B.tmp();
+                    B.line(`${b} = fcmp une double ${n}, ${f64Lit(0)}`);
+                    B.terminate(`ret i1 ${b}`);
+                }
+                break;
+            }
+            case "string": {
+                host.declare(`declare ptr @scr_message_string(ptr, ${S})`);
+                requireKind(MESSAGE_KIND.STRING);
+                const str = B.tmp();
+                B.line(`${str} = call ptr @scr_message_string(ptr %m, ${S} %n)`);
+                B.terminate(`ret ptr ${str}`);
+                break;
+            }
+            case "record": {
+                const shape = host.recordsById.get(t.shapeId);
+                const order = recordSourceFieldOrder(shape);
+                const fields = new Map(shape.fields.map((f, i) => [f.name, { field: f, index: i }]));
+                const base = host.nullableUnions.fieldBase(t.shapeId);
+                const struct = mangleRecordStruct(t.shapeId);
+                const names = this.recordNameTable(t.shapeId, shape);
+                host.declare(`declare zeroext i1 @scr_message_fields(ptr, ${S}, ptr, ptr, ${S}, ptr)`);
+                B.entryAllocas.push(`%kids = alloca [${order.length} x ${S}]`);
+                const matched = B.tmp();
+                B.line(`${matched} = call zeroext i1 @scr_message_fields(ptr %m, ${S} %n, ptr ${names.names}, ptr ${names.lens}, ${S} ${order.length}, ptr %kids)`);
+                const lBuild = B.newLabel("dmr.build");
+                B.condBr(matched, lBuild, lFail);
+                B.startBlock(lBuild);
+                B.line(`%r0 = call ptr @${mangleRecordNew(t.shapeId)}()`);
+                order.forEach((fieldName, i) => {
+                    const { field, index } = fields.get(fieldName);
+                    const kidp = B.tmp();
+                    const kid = B.tmp();
+                    B.line(`${kidp} = getelementptr inbounds [${order.length} x ${S}], ptr %kids, i64 0, i64 ${i}`);
+                    B.line(`${kid} = load ${S}, ptr ${kidp}`);
+                    const v = B.tmp();
+                    B.line(`${v} = call ${this.valTy(field.type)} @${this.messageReaderHelper(field.type)}(ptr %m, ${S} ${kid}, ptr %fail)`);
+                    const failed = B.tmp();
+                    B.line(`${failed} = load i1, ptr %fail`);
+                    const lDrop = B.newLabel("dmr.drop");
+                    const lStore = B.newLabel("dmr.store");
+                    B.condBr(failed, lDrop, lStore);
+                    B.startBlock(lDrop);
+                    B.line(`call void ${releaseSym(host, t)}(ptr %r0)`);
+                    B.terminate(`ret ptr null`);
+                    B.startBlock(lStore);
+                    const p = B.tmp();
+                    B.line(`${p} = getelementptr inbounds %${struct}, ptr %r0, i64 0, i32 ${index + base} ; .${llvmCommentText(fieldName)}`);
+                    const fieldTy = llFieldType(field.type, host.inlineUnions.record(field.type));
+                    if (fieldTy === "i8") {
+                        const z = B.tmp();
+                        B.line(`${z} = zext i1 ${v} to i8`);
+                        B.line(`store i8 ${z}, ptr ${p}`);
+                    }
+                    else {
+                        B.line(`store ${fieldTy} ${v}, ptr ${p}`);
+                    }
+                });
+                B.terminate(`ret ptr %r0`);
+                break;
+            }
+            case "union": {
+                const def = host.unionsById.get(t.unionId);
+                def.arms.forEach((arm, i) => {
+                    const lNext = B.newLabel("dmr.next");
+                    if (arm.kind === "nullT" || arm.kind === "undefinedT") {
+                        const hit = B.tmp();
+                        B.line(`${hit} = icmp eq i32 ${kind}, ${arm.kind === "nullT" ? MESSAGE_KIND.NULL : MESSAGE_KIND.UNDEFINED}`);
+                        const lHit = B.newLabel("dmr.unit");
+                        B.condBr(hit, lHit, lNext);
+                        B.startBlock(lHit);
+                        B.terminate(`ret ptr ${host.unitInstanceRef(t.unionId, i)}`);
+                        B.startBlock(lNext);
+                        return;
+                    }
+                    if (arm.kind !== "record") {
+                        const want = arm.kind === "f64"
+                            ? MESSAGE_KIND.NUMBER
+                            : arm.kind === "bool"
+                                ? MESSAGE_KIND.BOOL
+                                : MESSAGE_KIND.STRING;
+                        const hit = B.tmp();
+                        B.line(`${hit} = icmp eq i32 ${kind}, ${want}`);
+                        const lHit = B.newLabel("dmr.arm");
+                        B.condBr(hit, lHit, lNext);
+                        B.startBlock(lHit);
+                    }
+                    // A record arm that does not match leaves *fail clear for the
+                    // next arm, like the checked conversion's next-arm match.
+                    const v = B.tmp();
+                    B.line(`${v} = call ${this.valTy(arm)} @${this.messageReaderHelper(arm)}(ptr %m, ${S} %n, ptr %fail)`);
+                    if (arm.kind === "record") {
+                        const failed = B.tmp();
+                        B.line(`${failed} = load i1, ptr %fail`);
+                        const lHit = B.newLabel("dmr.arm");
+                        const lMiss = B.newLabel("dmr.miss");
+                        B.condBr(failed, lMiss, lHit);
+                        B.startBlock(lMiss);
+                        B.line(`store i1 false, ptr %fail`);
+                        B.br(lNext);
+                        B.startBlock(lHit);
+                    }
+                    const u = B.tmp();
+                    if (arm.kind === "f64") {
+                        host.declare(`declare ptr @scr_union_new_f64(i32, double)`);
+                        B.line(`${u} = call ptr @scr_union_new_f64(i32 ${i}, double ${v})`);
+                    }
+                    else if (arm.kind === "bool") {
+                        host.declare(`declare ptr @scr_union_new_bool(i32, i1 zeroext)`);
+                        B.line(`${u} = call ptr @scr_union_new_bool(i32 ${i}, i1 ${v})`);
+                    }
+                    else {
+                        const rc = vAdapters(host, arm);
+                        host.declare(`declare ptr @scr_union_new_ref(i32, ptr, ptr, ptr, ptr)`);
+                        B.line(`${u} = call ptr @scr_union_new_ref(i32 ${i}, ptr ${v}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${traceArg(host, arm)})`);
+                    }
+                    B.terminate(`ret ptr ${u}`);
+                    B.startBlock(lNext);
+                });
+                B.br(lFail);
+                break;
+            }
+            default:
+                throw new InternalCompilerError(`llvm emitter bug: message reader of ${key}`);
+        }
+        B.startBlock(lFail);
+        B.line(`store i1 true, ptr %fail`);
+        B.terminate(`ret ${retTy} ${dummy}`);
+        this.defs.push(`define internal ${retTy === "i1" ? "zeroext i1" : retTy} @${name}(ptr %m, ${S} %n, ptr %fail) ${FN_ATTRS} { ; message reader for ${llvmCommentText(key)}`, B.render(), `}`, ``);
+        return name;
+    }
     /** The adapter closure body for one TARGET signature: caps[0] is an
      * untraced obj-box owning the dyn function value. */
     dynFuncAdapterHelper(t) {