@scriptc/compiler 0.4.5 → 0.4.6

package/dist/backend/llvm/expr-primitives.test.js

@@ -243,6 +243,7 @@ test("sums that only feed a bitwise conversion of int32 operands add in 32 bits"
         returning("float_read_add", bin("|", bin("+", length, read("floats")), zero)),
         returning("product", bin("|", bin("*", length, length), zero)),
         returning("number_add", bin("+", length, read("bytes"))),
+        returning("read_products", bin(">>>", bin("+", bin("*", read("bytes"), { kind: "numLit", value: 77, type: F64, loc }), bin("*", read("bytes"), { kind: "numLit", value: 150, type: F64, loc })), zero)),
     ];
     const llvm = emitLlvmModule(mod);
     const body = (name) => new RegExp(`^define internal [^\\n]*@sc_[bf]+_${name}(?:\\.i32)?\\([^]*?^}`, "m").exec(llvm)[0];
@@ -254,8 +255,10 @@ test("sums that only feed a bitwise conversion of int32 operands add in 32 bits"
         expect(body(name), name).not.toContain("uint32.coerce");
     }
     // A NaN-coded read converts to 0 through the sum: the result selects 0
-    // unless every NaN-coded operand is ordered.
-    expect(body("read_add")).toMatch(/ = fcmp ord double .*, 0\.0$/m);
+    // unless every NaN-coded operand is ordered. A read's own validity bit
+    // tells, so the number is not compared.
+    expect(body("read_add")).toMatch(/ = phi i1 \[ true, /);
+    expect(body("read_add")).not.toMatch(/fcmp ord/);
     expect(body("read_add")).toMatch(/ = add i32 /);
     expect(body("read_add")).toMatch(/ = select i1 .*, i32 .*, i32 0$/m);
     expect(body("read_chain")).toMatch(/ = and i1 /);
@@ -271,6 +274,12 @@ test("sums that only feed a bitwise conversion of int32 operands add in 32 bits"
         expect(body(name), name).not.toMatch(/ = (add|mul) i32 /);
     }
     expect(body("number_add")).not.toMatch(/ = add i32 |fcmp ord/);
+    // Products of NaN-coded reads and constants are exact integers or NaN, so
+    // their sum adds in 32 bits too, selected by the reads' validity bits.
+    expect(body("read_products")).toMatch(/ = mul i32 /);
+    expect(body("read_products")).toMatch(/ = add i32 /);
+    expect(body("read_products")).not.toContain("uint32.coerce");
+    expect(body("read_products")).not.toMatch(/fcmp ord/);
 });
 test.each([32, 64])("tagged-template string arrays keep 8-byte slots without states on %i-bit targets", (bits) => {
     const strings = {

package/dist/backend/llvm/expr-primitives.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"expr-primitives.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/expr-primitives.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,GAAG,EACH,MAAM,EACN,IAAI,GAIL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE9D,SAAS,OAAO;IACd,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,MAAM,IAAI,GAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAChF,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACtE,GAAG;KACJ,CAAC,CAAC,CAAC;IACJ,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACjE,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,QAAQ;QACf,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAU,CAAC,CAC1B,+DAA+D,EAC/D,CAAC,IAAI,EAAE,EAAE;IACP,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,QAAQ;QAChB,QAAQ;QACR,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E,GAAI,CAAC,CAAC,EAAE,CAAC,CAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACpC,IAAI,EAAE,UAAU,MAAM,EAAE;YACxB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACzD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACpE,GAAG;YACH,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAiB;oBACvB,GAAG;oBACH,KAAK,EAAE;wBACL,IAAI,EAAE,KAAc;wBACpB,EAAE,EAAE,KAAc;wBAClB,IAAI,EAAE,MAAM;wBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACjE,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;iBACF;aACF;SACF,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,+DAA+D,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,+DAA+D,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AAC7C,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAiB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAC5D,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,CAAC;QACN,SAAS,EAAE,MAAM;QACjB,KAAK,EAAE,MAAM;QACb,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;YACvC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;SACxC;QACD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;YAClD,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;SACnD;QACD,GAAG;QACH,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;YAC1E,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;SACzF;QACD,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAC3E,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC7E,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SACpF;KACF,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,MAAM,CACrB,kCAAkC,IAAI,uBAAuB,EAC7D,GAAG,CACJ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5E,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClE,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/C,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;SACvC;QACD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SAClD;QACD,GAAG;QACH,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,CAAC,EAAqB,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,KAAK;QACX,EAAE;QACF,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9C,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAClD,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;KAC1F,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CACpC,IAAI,MAAM,CAAC,qCAAqC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CACpF,IAAI,CACJ,CAAC,CAAC,CAAC,CAAC;IACR,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACpD,CAAC;IACD,0EAA0E;IAC1E,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC3D,sEAAsE;IACtE,wDAAwD;IACxD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IACpF,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IACpF,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;QAC7B,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QACxF,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,EAAE,GAAG;QACT,GAAG;QACH,UAAU,EAAE,IAAI;KACjB,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,CAAC,EAAiC,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QACvF,IAAI,EAAE,KAAK;QACX,EAAE;QACF,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClE,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QAC/C,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;QACtC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;QACnD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAW,EAAE;KACrF,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI;QACJ,MAAM;QACN,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1F,GAAG;QACH,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QACjE,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnF,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACtE,SAAS,CACP,YAAY,EACZ,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CACzE;QACD,SAAS,CACP,UAAU,EACV,GAAG,CACD,GAAG,EACH,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE;YACf,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;YAC7B,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,EACF,IAAI,CACL,CACF;QACD,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpE,SAAS,CAAC,gBAAgB,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7E,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9D,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;KACzD,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CACpC,IAAI,MAAM,CAAC,qCAAqC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CACpF,IAAI,CACJ,CAAC,CAAC,CAAC,CAAC;IACR,0EAA0E;IAC1E,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,CAAC;QACtF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC1D,CAAC;IACD,uEAAuE;IACvE,6CAA6C;IAC7C,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAClE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClD,2EAA2E;IAC3E,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAClE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACjE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IACrE,uEAAuE;IACvE,wEAAwE;IACxE,KAAK,MAAM,IAAI,IAAI,CAAC,aAAa,EAAE,gBAAgB,EAAE,SAAS,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAU,CAAC,CAC1B,kFAAkF,EAClF,CAAC,IAAI,EAAE,EAAE;IACP,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,iBAAiB;QACvB,GAAG,EAAE,MAAM;QACX,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;QACvB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;QACrC,GAAG;KACJ,CAAC;IACF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IACvE,kEAAkE;IAClE,2DAA2D;IAC3D,IAAI,IAAI,KAAK,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;SAC1E,CAAC;QACJ,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,4FAA4F,CAC7F,CAAC;AACJ,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E;YACE,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACzD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACpE,GAAG;YACH,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,GAAG;oBACH,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;iBACtF;aACF;SACF;KACF,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CACtC,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC3D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC9C,6EAA6E;IAC7E,MAAM,GAAG,GAAG,cAAc,CACxB,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EACzB,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAC7C,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,yDAAyD,CAAC,CAAC;IACjF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5C,uEAAuE;IACvE,MAAM,MAAM,GAAG,cAAc,CAC3B,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EACzB,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAC7C,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC"}
+{"version":3,"file":"expr-primitives.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/expr-primitives.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,GAAG,EACH,MAAM,EACN,IAAI,GAIL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE9D,SAAS,OAAO;IACd,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,MAAM,IAAI,GAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAChF,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACtE,GAAG;KACJ,CAAC,CAAC,CAAC;IACJ,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACjE,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,QAAQ;QACf,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAU,CAAC,CAC1B,+DAA+D,EAC/D,CAAC,IAAI,EAAE,EAAE;IACP,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,QAAQ;QAChB,QAAQ;QACR,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E,GAAI,CAAC,CAAC,EAAE,CAAC,CAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACpC,IAAI,EAAE,UAAU,MAAM,EAAE;YACxB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACzD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACpE,GAAG;YACH,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAiB;oBACvB,GAAG;oBACH,KAAK,EAAE;wBACL,IAAI,EAAE,KAAc;wBACpB,EAAE,EAAE,KAAc;wBAClB,IAAI,EAAE,MAAM;wBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACjE,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;iBACF;aACF;SACF,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,+DAA+D,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,+DAA+D,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AAC7C,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAiB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAC5D,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,CAAC;QACN,SAAS,EAAE,MAAM;QACjB,KAAK,EAAE,MAAM;QACb,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;YACvC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;SACxC;QACD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;YAClD,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;SACnD;QACD,GAAG;QACH,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;YAC1E,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;SACzF;QACD,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAC3E,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC7E,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SACpF;KACF,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,MAAM,CACrB,kCAAkC,IAAI,uBAAuB,EAC7D,GAAG,CACJ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5E,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClE,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/C,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;SACvC;QACD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SAClD;QACD,GAAG;QACH,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,CAAC,EAAqB,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,KAAK;QACX,EAAE;QACF,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9C,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAClD,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;KAC1F,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CACpC,IAAI,MAAM,CAAC,qCAAqC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CACpF,IAAI,CACJ,CAAC,CAAC,CAAC,CAAC;IACR,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACpD,CAAC;IACD,0EAA0E;IAC1E,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC3D,sEAAsE;IACtE,wDAAwD;IACxD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IACpF,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IACpF,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;QAC7B,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QACxF,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,EAAE,GAAG;QACT,GAAG;QACH,UAAU,EAAE,IAAI;KACjB,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,CAAC,EAAiC,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QACvF,IAAI,EAAE,KAAK;QACX,EAAE;QACF,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClE,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QAC/C,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;QACtC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;QACnD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAW,EAAE;KACrF,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI;QACJ,MAAM;QACN,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1F,GAAG;QACH,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QACjE,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnF,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACtE,SAAS,CACP,YAAY,EACZ,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CACzE;QACD,SAAS,CACP,UAAU,EACV,GAAG,CACD,GAAG,EACH,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE;YACf,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;YAC7B,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,EACF,IAAI,CACL,CACF;QACD,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpE,SAAS,CAAC,gBAAgB,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7E,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9D,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACxD,SAAS,CACP,eAAe,EACf,GAAG,CACD,KAAK,EACL,GAAG,CACD,GAAG,EACH,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EACtE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CACxE,EACD,IAAI,CACL,CACF;KACF,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CACpC,IAAI,MAAM,CAAC,qCAAqC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CACpF,IAAI,CACJ,CAAC,CAAC,CAAC,CAAC;IACR,0EAA0E;IAC1E,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,CAAC;QACtF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC1D,CAAC;IACD,uEAAuE;IACvE,uEAAuE;IACvE,wCAAwC;IACxC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClD,2EAA2E;IAC3E,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAClE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACjE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IACrE,uEAAuE;IACvE,wEAAwE;IACxE,KAAK,MAAM,IAAI,IAAI,CAAC,aAAa,EAAE,gBAAgB,EAAE,SAAS,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC/D,0EAA0E;IAC1E,uEAAuE;IACvE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC7D,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAU,CAAC,CAC1B,kFAAkF,EAClF,CAAC,IAAI,EAAE,EAAE;IACP,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,iBAAiB;QACvB,GAAG,EAAE,MAAM;QACX,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;QACvB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;QACrC,GAAG;KACJ,CAAC;IACF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IACvE,kEAAkE;IAClE,2DAA2D;IAC3D,IAAI,IAAI,KAAK,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;SAC1E,CAAC;QACJ,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAClB,4FAA4F,CAC7F,CAAC;AACJ,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG;QACd,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC3E;YACE,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACzD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACpE,GAAG;YACH,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,GAAG;oBACH,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;iBACtF;aACF;SACF;KACF,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CACtC,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC3D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC9C,6EAA6E;IAC7E,MAAM,GAAG,GAAG,cAAc,CACxB,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EACzB,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAC7C,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,yDAAyD,CAAC,CAAC;IACjF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5C,uEAAuE;IACvE,MAAM,MAAM,GAAG,cAAc,CAC3B,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EACzB,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAC7C,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/expr-records.d.ts

@@ -7,18 +7,50 @@ export declare function emitUnionWiden(host: LlvmEmitterContext, value: string,
 /** The identity union conversion (IR unionRetype). Two tagged unions
  * share the operand's box: its +1 becomes the result, so no box is built
  * and no payload is retained. The operand is a whole-value use in every
- * lifetime analysis, so it is never a stack box. A nullable-pointer union
- * on either side, or a source union whose boxes a checked-dynamic cast has
- * cached (and refreshes in place), rebuilds each listed arm instead. */
+ * lifetime analysis, so it is never a stack box. Two pointer unions of one
+ * encoding share the pointer the same way. A pointer union on only one
+ * side, pointer unions whose encodings differ for an arm the value may
+ * hold, or a source union whose boxes a checked-dynamic cast has cached (and
+ * refreshes in place), rebuild each listed arm instead. */
 export declare function emitUnionRetype(host: LlvmEmitterContext, e: IrExpr & {
     kind: "unionRetype";
 }): LlValue;
 export declare function emitRegexIntrinsic(host: LlvmEmitterContext, e: IrExpr & {
     kind: "regexIntrinsic";
 }): LlValue;
+/** `r[k] ?? d` in its pass-through shape: a missing key evaluates `d`
+ * where the read would store undefined, so a hit costs nothing extra. */
+export declare function emitRecordKeyGetOr(host: LlvmEmitterContext, e: IrExpr & {
+    kind: "recordKeyGet";
+}, fallback: IrExpr): LlValue;
 export declare function emitRecordKeyGet(host: LlvmEmitterContext, e: IrExpr & {
     kind: "recordKeyGet";
 }): LlValue;
+/** A keyed read whose every hit is the result's own pointer: the result
+ * is a nullable-pointer union (nullable-unions.ts) with an undefined arm,
+ * and each declared field and the overflow value hold exactly the result
+ * type or its reference arm in a plain (non-inline) slot. A miss is the
+ * immortal undefined encoding. Such a read can lend the stored pointer:
+ * borrowedRecordKeyGet reads it without a reference. */
+export declare function pointerRecordKeyGet(host: LlvmEmitterContext, e: IrExpr): boolean;
+/** A pointerRecordKeyGet read without a reference: the declared field or
+ * overflow entry the key names, or the undefined encoding for a miss. The
+ * record (and through it the stored value) must stay unchanged and alive
+ * until the consumer is done with the pointer (canBorrowReceiver). */
+export declare function emitBorrowedRecordKeyGet(host: LlvmEmitterContext, e: IrExpr & {
+    kind: "recordKeyGet";
+}, fallback?: IrExpr | null): LlValue;
+/** `r[k] ?? d` in its pass-through shape over a pointerRecordKeyGet whose
+ * stored values are never unit (so only a miss evaluates `d`): the hit
+ * lends the stored pointer and the default is frame-owned, so the result
+ * borrows for the rest of the statement. */
+export declare function borrowedRecordKeyGetOr(host: LlvmEmitterContext, e: IrExpr): (IrExpr & {
+    kind: "recordKeyGet";
+}) | null;
+/** The default is a call to a helper whose every result is immortal: the
+ * unit arm or a closure over no captures (an interned function value), as
+ * the unbound inherited-method reads return. */
+export declare function immortalDefault(host: LlvmEmitterContext, fallback: IrExpr): boolean;
 /** A keyed read whose result is a scalar union (`r[k]` on a
  * `Record<string, number>`, at `number | undefined`) and whose every hit
  * is a number or boolean arm of it, or an inline field of the same union.
@@ -31,4 +63,4 @@ export declare function scalarRecordKeyGet(host: LlvmEmitterContext, e: IrExpr):
 export declare function emitStackRecordKeyGet(host: LlvmEmitterContext, e: IrExpr & {
     kind: "recordKeyGet";
 }): string;
-export declare function keyedRecordReadInto(host: LlvmEmitterContext, slot: string, join: string, objName: string, keyName: string, shapeId: string, resultType: IrType, overflowOnly: boolean, loc?: SrcLoc, missNaN?: boolean): void;
+export declare function keyedRecordReadInto(host: LlvmEmitterContext, slot: string, join: string, objName: string, keyName: string, shapeId: string, resultType: IrType, overflowOnly: boolean, loc?: SrcLoc, missNaN?: boolean, missInto?: (() => void) | null): void;

package/dist/backend/llvm/expr-records.js

@@ -1,13 +1,16 @@
 /* Focused LLVM expression emission extracted from emitter.ts. */
 import { InternalCompilerError } from "../../errors.js";
 import { undefinedArmTag, unionWideningTags } from "../../ir/analysis.js";
-import { isRefCounted, typeEquals } from "../../ir/ir.js";
+import { isRefCounted, isUnitType, typeEquals, } from "../../ir/ir.js";
 import { LlvmUnsupportedError } from "./unsupported.js";
 import { f64Lit, llvmCommentText } from "./common.js";
 import { borrowableInputs, emitBorrowedInputs, emitBorrowedInput } from "./borrowed-inputs.js";
-import { regexLiteralTemplate } from "./expr-primitives.js";
+import { regexLiteralReplacer, regexLiteralTemplate } from "./expr-primitives.js";
+import { canReplaceWith, regexLiteralCompiles } from "./regex-matchers.js";
 import { isScalarUnionDef, loadInlineUnion, presentBits } from "./inline-unions.js";
 import { preservesRegexInputs } from "./reference-effects.js";
+import { emitNumberMapSlot, emitStringMapEntry } from "./map-number-lookup.js";
+import { everyStmtList } from "../../ir/traverse.js";
 /** Widen one tagged read. The source is borrowed unless the overflow map
  * supplied an owned value. Each selected reference payload is retained
  * before releasing an owned source, including cycle-traced references. */
@@ -42,9 +45,11 @@ export function emitUnionWiden(host, value, fromId, toId, owned) {
 /** The identity union conversion (IR unionRetype). Two tagged unions
  * share the operand's box: its +1 becomes the result, so no box is built
  * and no payload is retained. The operand is a whole-value use in every
- * lifetime analysis, so it is never a stack box. A nullable-pointer union
- * on either side, or a source union whose boxes a checked-dynamic cast has
- * cached (and refreshes in place), rebuilds each listed arm instead. */
+ * lifetime analysis, so it is never a stack box. Two pointer unions of one
+ * encoding share the pointer the same way. A pointer union on only one
+ * side, pointer unions whose encodings differ for an arm the value may
+ * hold, or a source union whose boxes a checked-dynamic cast has cached (and
+ * refreshes in place), rebuild each listed arm instead. */
 export function emitUnionRetype(host, e) {
     const value = host.emitExpr(e.value);
     host.toFrame(value);
@@ -52,14 +57,15 @@ export function emitUnionRetype(host, e) {
     const to = host.nullableUnions.get(e.unionId);
     if (from && to) {
         // Equal encodings make the pointer itself the target value. A shape
-        // union derives its record arms from the record, so only the unit
-        // encodings must agree.
+        // union derives its record arms from the record and a class union its
+        // class arms from the class id, so only the unit encodings must agree,
+        // and only when the value may hold one of the source's unit arms: a
+        // narrowing that drops `undefined` or `null` keeps the very pointer.
+        const holdsUnit = e.tags.some((tag) => tag === from.unitTag || tag === from.nullTag);
+        const units = !holdsUnit || (from.unitTag === to.unitTag && from.nullTag === to.nullTag);
         const same = from.repr === "single" && to.repr === "single"
-            ? from.refTag === to.refTag && from.unitTag === to.unitTag && from.nullTag === to.nullTag
-            : from.repr === "shapes" &&
-                to.repr === "shapes" &&
-                from.unitTag === to.unitTag &&
-                from.nullTag === to.nullTag;
+            ? from.refTag === to.refTag && units
+            : from.repr !== "single" && from.repr === to.repr && units;
         if (same)
             return host.own({ name: value.name, type: e.type });
         return host.own({ name: rebuildRetype(host, value.name, e), type: e.type });
@@ -138,7 +144,47 @@ function directRegexOperandMethod(method) {
             return false;
     }
 }
+/** The build-time replacer of a substitution: a regex literal running on
+ * its template, with a literal replacement the replacer can write as is.
+ * Null when the substitution takes the runtime's loop. */
+function literalReplacer(host, literal, template, replacement) {
+    if (literal === null || template === null || literal.kind !== "regexLit")
+        return null;
+    if (replacement.kind !== "strLit")
+        return null;
+    if (!canReplaceWith(literal.pattern, literal.flags, replacement.value))
+        return null;
+    if (!regexLiteralCompiles(literal.pattern, literal.flags))
+        return null;
+    return regexLiteralReplacer(host, literal, replacement.value);
+}
+/** scr_regex_replace_with: the runtime runs `replacer` on an ASCII subject
+ * and its own loop on any other. */
+function emitReplaceWith(host, e, r, args, replacer) {
+    host.declare(`declare ptr @scr_regex_replace_with(ptr, ptr, ptr, ptr)`);
+    const t = host.B.tmp();
+    host.B.line(`${t} = call ptr @scr_regex_replace_with(ptr ${r.name}, ptr ${args[0].name}, ptr ${args[1].name}, ptr ${replacer})`);
+    return host.own({ name: t, type: e.type });
+}
+/** Substitutions whose result owns its text: once the runtime call returns,
+ * no operand is read again. */
+function releasesInputsOnReturn(method) {
+    return method === "replace" || method === "replaceAll";
+}
 export function emitRegexIntrinsic(host, e) {
+    if (!releasesInputsOnReturn(e.method))
+        return emitRegexOperation(host, e);
+    // The operands' temps (the subject of a chained substitution, a computed
+    // replacement) are released when the call returns rather than at the
+    // end of the statement, so a chain of substitutions holds at most its
+    // current subject and result.
+    host.frames.push([]);
+    const out = emitRegexOperation(host, e);
+    host.toFrame(out);
+    host.releaseTemps(host.frames.pop());
+    return host.own(out);
+}
+function emitRegexOperation(host, e) {
     const B = host.B;
     const method = e.method;
     const inputs = [e.receiver, ...e.args];
@@ -199,8 +245,14 @@ export function emitRegexIntrinsic(host, e) {
             return fallible("scr_regex_match_all_into", `ptr ${r.name}, ptr ${args[0].name}, ptr ${args[1].name}`);
         case "matchAllCapturesInto":
             return fallible("scr_regex_match_all_captures_into", `ptr ${r.name}, ptr ${args[0].name}, ptr ${args[1].name}`);
-        case "replaceAll":
+        case "replaceAll": {
+            // A global literal (the only kind a replacer is built for) never takes
+            // replaceAll's non-global TypeError.
+            const replacer = literalReplacer(host, literal, template, e.args[1]);
+            if (replacer !== null)
+                return emitReplaceWith(host, e, r, args, replacer);
             return fallible("scr_regex_replace_all", `ptr ${r.name}, ptr ${args[0].name}, ptr ${args[1].name}`);
+        }
         case "split":
             host.declare(`declare ptr @scr_regex_split_limit(ptr, ptr, double)`);
             {
@@ -281,6 +333,9 @@ export function emitRegexIntrinsic(host, e) {
             return host.own({ name: t, type: e.type });
         }
         case "replace": {
+            const replacer = literalReplacer(host, literal, template, e.args[1]);
+            if (replacer !== null)
+                return emitReplaceWith(host, e, r, args, replacer);
             host.declare(`declare ptr @scr_regex_replace(ptr, ptr, ptr)`);
             const t = B.tmp();
             B.line(`${t} = call ptr @scr_regex_replace(ptr ${r.name}, ptr ${args[0].name}, ptr ${args[1].name})`);
@@ -293,7 +348,9 @@ export function emitRegexIntrinsic(host, e) {
         }
     }
 }
-export function emitRecordKeyGet(host, e) {
+/** `r[k] ?? d` in its pass-through shape: a missing key evaluates `d`
+ * where the read would store undefined, so a hit costs nothing extra. */
+export function emitRecordKeyGetOr(host, e, fallback) {
     const B = host.B;
     const obj = host.emitExpr(e.obj);
     const k = host.emitExpr(e.key);
@@ -301,12 +358,174 @@ export function emitRecordKeyGet(host, e) {
     const slot = B.slot();
     B.entryAllocas.push(`${slot} = alloca ${ty}`);
     const join = B.newLabel("rkg.j");
+    keyedRecordReadInto(host, slot, join, obj.name, k.name, e.shapeId, e.type, e.overflowOnly === true, e.loc, false, () => host.emitBranchInto(slot, fallback));
+    B.startBlock(join);
+    const t = B.tmp();
+    B.line(`${t} = load ${ty}, ptr ${slot}`);
+    return host.own({ name: t, type: e.type });
+}
+export function emitRecordKeyGet(host, e) {
+    const B = host.B;
+    // The read runs no user code: both inputs lend for its duration.
+    const [obj, k] = emitBorrowedInputs(host, [e.obj, e.key]);
+    const ty = host.llType(e.type);
+    const slot = B.slot();
+    B.entryAllocas.push(`${slot} = alloca ${ty}`);
+    const join = B.newLabel("rkg.j");
     host.keyedRecordReadInto(slot, join, obj.name, k.name, e.shapeId, e.type, e.overflowOnly === true, e.loc, e.missNaN === true);
     B.startBlock(join);
     const t = B.tmp();
     B.line(`${t} = load ${ty}, ptr ${slot}`);
     return host.own({ name: t, type: e.type });
 }
+/** A keyed read whose every hit is the result's own pointer: the result
+ * is a nullable-pointer union (nullable-unions.ts) with an undefined arm,
+ * and each declared field and the overflow value hold exactly the result
+ * type or its reference arm in a plain (non-inline) slot. A miss is the
+ * immortal undefined encoding. Such a read can lend the stored pointer:
+ * borrowedRecordKeyGet reads it without a reference. */
+export function pointerRecordKeyGet(host, e) {
+    if (e.kind !== "recordKeyGet" || e.missNaN === true || e.type.kind !== "union")
+        return false;
+    const resultType = e.type;
+    const nullable = host.nullableUnions.single(resultType.unionId);
+    if (nullable === null || undefinedArmTag(resultType, host.unionsById) < 0)
+        return false;
+    const exact = (t) => typeEquals(t, resultType) || typeEquals(t, nullable.arm);
+    const shape = host.recordShape(e.shapeId);
+    if (e.overflowOnly !== true) {
+        for (const f of shape.fields)
+            if (host.recordFieldInline(e.shapeId, f.name) || !exact(f.type))
+                return false;
+    }
+    return shape.indexValue === undefined || typeEquals(shape.indexValue, nullable.arm);
+}
+/** A pointerRecordKeyGet read without a reference: the declared field or
+ * overflow entry the key names, or the undefined encoding for a miss. The
+ * record (and through it the stored value) must stay unchanged and alive
+ * until the consumer is done with the pointer (canBorrowReceiver). */
+export function emitBorrowedRecordKeyGet(host, e, fallback = null) {
+    const B = host.B;
+    if (e.type.kind !== "union")
+        throw new InternalCompilerError("llvm emitter bug: borrowed keyed read of a non-union");
+    const resultType = e.type;
+    const obj = host.emitReadReceiver(e.obj);
+    const key = host.canBorrowReceiver(e.key) ? host.emitReadReceiver(e.key) : host.emitExpr(e.key);
+    const slot = B.slot();
+    B.entryAllocas.push(`${slot} = alloca ptr`);
+    // A default that needs an owner gets a frame slot, empty on every path
+    // until a miss fills it.
+    let owner = null;
+    if (fallback !== null && !immortalDefault(host, fallback)) {
+        owner = B.slot();
+        B.entryAllocas.push(`${owner} = alloca ptr`);
+        B.line(`store ptr null, ptr ${owner}`);
+        host.ownSlot(owner, resultType, true);
+    }
+    const join = B.newLabel("rkb.j");
+    const shape = host.recordShape(e.shapeId);
+    for (const f of e.overflowOnly === true ? [] : shape.fields) {
+        const hit = B.tmp();
+        B.line(`${hit} = call zeroext i1 ${host.literalEquals(f.name)}(ptr ${key.name}) ; ${llvmCommentText(f.name)}`);
+        const lh = B.newLabel("rkb.h");
+        const ln = B.newLabel("rkb.n");
+        B.condBr(hit, lh, ln);
+        B.startBlock(lh);
+        const { ptr, type } = host.recordFieldPtr(obj.name, e.shapeId, f.name);
+        B.line(`store ptr ${host.loadRecordField(ptr, type, false)}, ptr ${slot}`);
+        B.br(join);
+        B.startBlock(ln);
+    }
+    if (shape.indexValue) {
+        const ovf = host.recordOvfPtr(obj.name, e.shapeId);
+        const entry = emitStringMapEntry(host, ovf, key.name);
+        const found = B.tmp();
+        B.line(`${found} = icmp ne ptr ${entry}, null`);
+        const lh = B.newLabel("rkb.h");
+        const ln = B.newLabel("rkb.n");
+        B.condBr(found, lh, ln);
+        B.startBlock(lh);
+        B.line(`store ptr ${emitNumberMapSlot(host, entry, "ptr")}, ptr ${slot}`);
+        B.br(join);
+        B.startBlock(ln);
+    }
+    if (fallback !== null && immortalDefault(host, fallback)) {
+        // An immortal default (an interned function value or undefined) needs
+        // no owner at all.
+        const value = host.emitExpr(fallback);
+        host.toHeap(value);
+        B.line(`store ptr ${value.name}, ptr ${slot}`);
+    }
+    else if (fallback !== null && owner !== null) {
+        // `r[k] ?? d` (borrowedRecordKeyGetOr): the default is owned by a
+        // statement-frame slot, which the consumer may borrow like a hit.
+        const value = host.emitExpr(fallback);
+        host.toHeap(value);
+        B.line(`store ptr ${value.name}, ptr ${owner}`);
+        B.line(`store ptr ${value.name}, ptr ${slot}`);
+    }
+    else {
+        const undefTag = undefinedArmTag(resultType, host.unionsById);
+        B.line(`store ptr ${host.unitInstanceRef(resultType.unionId, undefTag)}, ptr ${slot}`);
+    }
+    B.br(join);
+    B.startBlock(join);
+    const t = B.tmp();
+    B.line(`${t} = load ptr, ptr ${slot}`);
+    return { name: t, type: e.type };
+}
+/** `r[k] ?? d` in its pass-through shape over a pointerRecordKeyGet whose
+ * stored values are never unit (so only a miss evaluates `d`): the hit
+ * lends the stored pointer and the default is frame-owned, so the result
+ * borrows for the rest of the statement. */
+export function borrowedRecordKeyGetOr(host, e) {
+    if (e.kind !== "nullish" || e.left.kind !== "recordKeyGet")
+        return null;
+    if (!typeEquals(e.type, e.left.type) || !pointerRecordKeyGet(host, e.left))
+        return null;
+    const shape = host.recordShape(e.left.shapeId);
+    const holdsUnit = (t) => isUnitType(t) ||
+        t.kind === "dyn" ||
+        (t.kind === "union" && (host.unionsById.get(t.unionId)?.arms ?? []).some(isUnitType));
+    if (shape.indexValue !== undefined && holdsUnit(shape.indexValue))
+        return null;
+    if (e.left.overflowOnly !== true && shape.fields.some((f) => holdsUnit(f.type)))
+        return null;
+    return e.left;
+}
+/** The default is a call to a helper whose every result is immortal: the
+ * unit arm or a closure over no captures (an interned function value), as
+ * the unbound inherited-method reads return. */
+export function immortalDefault(host, fallback) {
+    if (fallback.kind !== "call")
+        return false;
+    const fn = host.fnByName.get(fallback.callee);
+    if (!fn || fn.async || fn.generator)
+        return false;
+    const immortal = (v) => {
+        if (v === null)
+            return false;
+        if (v.kind === "unitLit")
+            return true;
+        if (v.kind === "unionWrap")
+            return immortal(v.value);
+        if (v.kind === "closure") {
+            const target = host.fnByName.get(v.fnName);
+            return v.captures.length === 0 && target !== undefined && target.captures === undefined;
+        }
+        return false;
+    };
+    let ok = true;
+    everyStmtList(fn.body, {
+        stmt: (st) => {
+            if (st.kind === "return" && !immortal(st.value))
+                ok = false;
+            return ok;
+        },
+        expr: () => ok,
+    });
+    return ok;
+}
 /** A keyed read whose result is a scalar union (`r[k]` on a
  * `Record<string, number>`, at `number | undefined`) and whose every hit
  * is a number or boolean arm of it, or an inline field of the same union.
@@ -412,7 +631,7 @@ export function emitStackRecordKeyGet(host, e) {
     B.startBlock(join);
     return box;
 }
-export function keyedRecordReadInto(host, slot, join, objName, keyName, shapeId, resultType, overflowOnly, loc, missNaN = false) {
+export function keyedRecordReadInto(host, slot, join, objName, keyName, shapeId, resultType, overflowOnly, loc, missNaN = false, missInto = null) {
     const B = host.B;
     const shape = host.recordShape(shapeId);
     if (resultType.kind === "dyn") {
@@ -578,36 +797,29 @@ export function keyedRecordReadInto(host, slot, join, objName, keyName, shapeId,
             B.startBlock(ln);
         }
         else {
-            host.declare(`declare ptr @scr_map_get_str_ref(ptr, ptr)`);
+            // The entry lookup filters absent keys inline; a hit retains the
+            // stored value with its own type's retain (map-number-lookup.ts). A
+            // nullable value's NULL is a stored unit arm: presence decides.
             const lh = B.newLabel("rkg.h");
             const ln = B.newLabel("rkg.n");
-            let raw;
-            if (iv.kind === "union" && host.nullableUnions.has(iv.unionId)) {
-                // NULL is a stored unit arm of a nullable value: presence decides.
-                host.declare(`declare zeroext i1 @scr_map_has_str(ptr, ptr)`);
-                const has = B.tmp();
-                B.line(`${has} = call zeroext i1 @scr_map_has_str(ptr ${ovf}, ptr ${keyName})`);
-                B.condBr(has, lh, ln);
-                B.startBlock(lh);
-                raw = B.tmp();
-                B.line(`${raw} = call ptr @scr_map_get_str_ref(ptr ${ovf}, ptr ${keyName})`);
-            }
-            else {
-                raw = B.tmp();
-                const isnull = B.tmp();
-                B.line(`${raw} = call ptr @scr_map_get_str_ref(ptr ${ovf}, ptr ${keyName})`);
-                B.line(`${isnull} = icmp eq ptr ${raw}, null`);
-                B.condBr(isnull, ln, lh);
-                B.startBlock(lh);
-            }
+            const entry = emitStringMapEntry(host, ovf, keyName);
+            const found = B.tmp();
+            B.line(`${found} = icmp ne ptr ${entry}, null`);
+            B.condBr(found, lh, ln);
+            B.startBlock(lh);
+            const raw = host.retainHeap(emitNumberMapSlot(host, entry, "ptr"), iv);
             B.line(`store ${ty} ${surface(iv, raw, true)}, ptr ${slot}`);
             B.br(join);
             B.startBlock(ln);
         }
     }
     if (def !== null && resultType.kind === "union" && undefTag >= 0) {
-        // The miss path: the result union's undefined arm.
-        B.line(`store ptr ${host.unitInstanceRef(resultType.unionId, undefTag)}, ptr ${slot}`);
+        // The miss path: the result union's undefined arm, or the caller's
+        // own value for a miss (missInto stores it into the slot).
+        if (missInto !== null)
+            missInto();
+        else
+            B.line(`store ptr ${host.unitInstanceRef(resultType.unionId, undefTag)}, ptr ${slot}`);
         B.br(join);
         return;
     }