@scriptc/compiler 0.2.5 → 0.2.7

package/dist/backend/llvm/dense-array-access.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dense-array-access.js","sourceRoot":"","sources":["../../../src/backend/llvm/dense-array-access.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;2EAU2E;AAE3E,OAAO,EAAE,YAAY,EAA4B,MAAM,gBAAgB,CAAC;AAExE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEjE,MAAM,aAAa,GAAG,CAAC,CAAC;AAExB;;;4EAG4E;AAC5E,MAAM,aAAa,GAAG,gDAAgD,CAAC;AAYvE;;;qEAGqE;AACrE,SAAS,cAAc,CACrB,IAAwB,EACxB,KAAa,EACb,KAAc,EACd,SAA6B,EAC7B,IAAY,EACZ,eAAwB;IAExB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC3B,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACrD,IAAI,IAAY,CAAC;IACjB,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,IAAI,OAAO,EAAE,CAAC;QACZ,sEAAsE;QACtE,oEAAoE;QACpE,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;SAAM,CAAC;QACN,uEAAuE;QACvE,sEAAsE;QACtE,wEAAwE;QACxE,wEAAwE;QACxE,uCAAuC;QACvC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,GAAG,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,IAAI,YAAY,CAAC,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,sBAAsB,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,0CAA0C,KAAK,gBAAgB,CAAC,CAAC;IACjF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,0CAA0C,KAAK,gBAAgB,CAAC,CAAC;IACjF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnF,yEAAyE;IACzE,sEAAsE;IACtE,kDAAkD;IAClD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,0CAA0C,KAAK,gBAAgB,CAAC,CAAC;IAClF,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,OAAO,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,0CAA0C,KAAK,gBAAgB,CAAC,CAAC;IACpF,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE;QACtC,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,mBAAmB,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5D,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1B,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,mBAAmB,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,EAAE,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACpC,EAAE,GAAG,CAAC,CAAC;IACT,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACtC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACpB,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,SAAS,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,IAAwB,EAAE,KAAiB;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CACJ,GAAG,QAAQ,qCAAqC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE,CACjG,CAAC;IACF,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAClD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,YAAY,CAAC,IAAwB,EAAE,KAAiB;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CACJ,GAAG,QAAQ,sCAAsC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE,CAChG,CAAC;IACF,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACnD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,SAAS,CAAC,IAAwB,EAAE,KAAiB;IAC5D,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAID;;;;4DAI4D;AAC5D,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,KAAa,EACb,KAAc,EACd,SAA6B,EAC7B,GAAgB,EAChB,OAAe,EACf,MAAc,EACd,MAAe;IAEf,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACpE,MAAM,GAAG,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,WAAW,GAAG,KAAK,MAAM,eAAe,CAAC,CAAC;IACvD,IAAI,GAAG,KAAK,KAAK,IAAI,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,MAAM,QAAQ,KAAK,YAAY,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EACrC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,KAAK,KAAK,aAAa,EAAE,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC/C,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACzB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,IAAY,CAAC;IACjB,IAAI,SAAS,GAAG,UAAU,CAAC;IAC3B,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,uBAAuB,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;SAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,GAAG,KAAK,CAAC,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,GAAG,QAAQ,CAAC,CAAC;QAChD,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QACtC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACxB,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACvD,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,KAAK,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC;IAChE,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,WAAW,EAAE,KAAK,MAAM,QAAQ,KAAK,YAAY,KAAK,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;IAC3F,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,EAAE,MAAM,IAAI,MAAM,SAAS,SAAS,SAAS,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,KAAa,EACb,KAAc,EACd,SAA6B;IAE7B,OAAO,iBAAiB,CACtB,IAAI,EACJ,KAAK,EACL,KAAK,EACL,SAAS,EACT,KAAK,EACL,EAAE,IAAI,EAAE,KAAK,EAAE,EACf,oBAAoB,EACpB,KAAK,CACN,CAAC;AACJ,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,KAAa,EACb,KAAc,EACd,SAA6B,EAC7B,IAAqB;IAErB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC;IAC9D,MAAM,EAAE,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,EAAE,eAAe,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACvC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,IAAI,IAAI,KAAK,OAAO;QAAE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,KAAK,YAAY,CAAC,CAAC;;QAClE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,KAAK,KAAK,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAC/C,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAChB,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,WAAW,EAAE,KAAK,EAAE,QAAQ,KAAK,YAAY,KAAK,CAAC,IAAI,IAAI,aAAa,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,EAAE,MAAM,IAAI,MAAM,SAAS,SAAS,SAAS,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;0EAI0E;AAC1E,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,KAAa,EACb,KAAc,EACd,SAA6B,EAC7B,GAAgB,EAChB,OAAe,EACf,KAAa;IAEb,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACpE,MAAM,MAAM,GAAG,eAAe,GAAG,EAAE,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,iBAAiB,MAAM,iBAAiB,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAG,CAAC,KAAa,EAAQ,EAAE,CACnC,CAAC,CAAC,IAAI,CAAC,cAAc,MAAM,QAAQ,KAAK,YAAY,KAAK,CAAC,IAAI,KAAK,EAAE,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC,CAAC;IAC7F,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC,EAAE,CAAC,CAAC;QACT,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EACrC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACzE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC9B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACd,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,mBAAmB,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,gBAAgB,KAAK,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;SAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,KAAK,SAAS,CAAC,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,YAAY,aAAa,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC3F,sEAAsE;IACtE,kCAAkC;IAClC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,eAAe,IAAI,CAAC,QAAQ,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAC1C,WAAW,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IACxC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,IAAI,CAAC,QAAQ,IAAI,MAAM,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,0CAA0C,KAAK,gBAAgB,CAAC,CAAC;IACjF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC/C,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,IAAI,OAAO,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IAClB,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC1B,IAAI,GAAG,KAAK,KAAK,IAAI,QAAQ,IAAI,GAAG,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,iBAAiB,QAAQ,KAAK,aAAa,EAAE,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QACnD,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAC3B,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,CAAC;IACd,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED;;;;;0BAK0B;AAC1B,MAAM,UAAU,kBAAkB,CAChC,IAAwB,EACxB,KAAa,EACb,GAAgB,EAChB,KAAa;IAEb,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC3B,MAAM,EAAE,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACpE,MAAM,MAAM,GAAG,gBAAgB,GAAG,EAAE,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,mBAAmB,MAAM,SAAS,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE;QACvC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,0CAA0C,KAAK,gBAAgB,KAAK,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC5C,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EACtB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,IAAI,IAAI,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACvC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,EAClC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IACrC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,EACvB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,EACrB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,OAAO,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,gBAAgB,KAAK,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;SAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,KAAK,SAAS,CAAC,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,YAAY,aAAa,SAAS,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,IAAI,SAAS,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,IAAI,IAAI,IAAI,YAAY,CAAC,CAAC;IAC1D,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,mBAAmB,MAAM,QAAQ,KAAK,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC;IACnF,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,SAAS,MAAM,IAAI,SAAS,SAAS,MAAM,IAAI,IAAI,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/backend/llvm/dense-array-access.test.d.ts

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

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

@@ -0,0 +1,149 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, STRING, VOID, arrayOf, } from "../../ir/ir.js";
+import { emitLlvmModule } from "./emitter.js";
+const loc = { file: "dense-array-access.ts", start: 0, end: 0 };
+const nums = arrayOf(F64);
+const flags = arrayOf(BOOL);
+const words = arrayOf(STRING);
+const ref = (localId, type) => ({
+    kind: "varRef",
+    localId,
+    type,
+    loc,
+});
+const index = ref("i", F64);
+function module(name, returnType, body) {
+    return {
+        irVersion: 15,
+        sourceFile: loc.file,
+        entry: "__main",
+        functions: [
+            { name: "__main", params: [], returnType: VOID, locals: [], body: [], loc },
+            {
+                name,
+                params: [
+                    { name: "a", localId: "a", type: nums },
+                    { name: "b", localId: "b", type: flags },
+                    { name: "s", localId: "s", type: words },
+                    { name: "i", localId: "i", type: F64 },
+                ],
+                returnType,
+                locals: [
+                    { id: "a", name: "a", type: nums, mutable: false },
+                    { id: "b", name: "b", type: flags, mutable: false },
+                    { id: "s", name: "s", type: words, mutable: false },
+                    { id: "i", name: "i", type: F64, mutable: false },
+                ],
+                body,
+                loc,
+            },
+        ],
+    };
+}
+function body(llvm, name) {
+    return new RegExp(`^define internal [^\\n]*@sc_bf_${name}\\([^]*?^}`, "m").exec(llvm)[0];
+}
+test.each([32, 64])("strict scalar reads check dense storage inline (%i-bit)", (bits) => {
+    const read = { kind: "arrayGet", arr: ref("a", nums), index, type: F64, loc };
+    const llvm = emitLlvmModule(module("get", F64, [{ kind: "return", value: read, loc }]), {
+        pointerBits: bits,
+    });
+    const fn = body(llvm, "get");
+    // A double index must round-trip exactly; NaN/out-of-range conversions are frozen.
+    expect(fn).toContain("fptosi double");
+    expect(fn).toContain("freeze i64");
+    expect(fn).toMatch(/icmp ult i64 .*/);
+    expect(fn).toMatch(/load i8, ptr /);
+    expect(fn).toMatch(/icmp eq i8 .*, 1$/m);
+    expect(fn).toMatch(/load double, ptr /);
+    expect(fn).toMatch(/call double @scr_arr_get_f64\(.*\) cold memory\(read, inaccessiblemem: readwrite\)/);
+    if (bits === 32)
+        expect(fn).toContain("trunc i64");
+});
+test("reference reads retain inline and keep a cold +1 runtime fallback", () => {
+    const read = { kind: "arrayGet", arr: ref("s", words), index, type: STRING, loc };
+    const llvm = emitLlvmModule(module("word", STRING, [{ kind: "return", value: read, loc }]));
+    const fn = body(llvm, "word");
+    expect(fn).toMatch(/icmp ne ptr .*, null/);
+    expect(fn).toContain("@scr_str_retain_v(");
+    // The retaining getter writes reference counts, so it gets no read-only effect.
+    expect(fn).toMatch(/call ptr @scr_arr_get_ref\(.*\) cold$/m);
+});
+test("element writes store inline, extend the length, and release replaced references", () => {
+    const set = (arr, value) => ({
+        kind: "arraySet",
+        arr,
+        index,
+        value,
+        loc,
+    });
+    const llvm = emitLlvmModule(module("store", VOID, [
+        set(ref("a", nums), { kind: "numLit", value: 2.5, type: F64, loc }),
+        set(ref("b", flags), { kind: "boolLit", value: true, type: BOOL, loc }),
+        set(ref("s", words), { kind: "strLit", value: "x", type: STRING, loc }),
+    ]));
+    const fn = body(llvm, "store");
+    expect(fn).toMatch(/store double 0x4004000000000000, ptr /);
+    expect(fn).toMatch(/zext i1 .* to i64/);
+    expect(fn).toMatch(/store i8 1, ptr /);
+    expect(fn).toMatch(/icmp uge i64 .*/);
+    expect(fn).toContain("call void @scr_str_release(");
+    for (const acc of ["f64", "bool", "ref"]) {
+        expect(fn).toMatch(new RegExp(`call void @scr_arr_set_${acc}\\(.*\\) cold$`, "m"));
+    }
+});
+test.each([32, 64])("push appends inline below the capacity and keeps a cold runtime append (%i-bit)", (bits) => {
+    const push = (receiver, value) => ({
+        kind: "exprStmt",
+        expr: { kind: "arrIntrinsic", method: "push", receiver, args: [value], type: F64, loc },
+        loc,
+    });
+    const llvm = emitLlvmModule(module("append", VOID, [
+        push(ref("a", nums), { kind: "numLit", value: 2.5, type: F64, loc }),
+        push(ref("b", flags), { kind: "boolLit", value: true, type: BOOL, loc }),
+        push(ref("s", words), { kind: "strLit", value: "x", type: STRING, loc }),
+    ]), { pointerBits: bits });
+    const fn = body(llvm, "append");
+    const size = bits === 32 ? "i32" : "i64";
+    expect(fn.match(new RegExp(`icmp ult ${size} `, "g"))).toHaveLength(3);
+    expect(fn).toMatch(/store double 0x4004000000000000, ptr /);
+    expect(fn).toMatch(/zext i1 .* to i64/);
+    expect(fn.match(/store i8 1, ptr /g)).toHaveLength(3);
+    expect(fn.match(new RegExp(`add nuw ${size} .*, 1$`, "gm"))).toHaveLength(3);
+    // Appends never release: the slot past the length holds no value.
+    expect(fn).not.toContain("_release(");
+    for (const acc of ["f64", "bool", "ref"]) {
+        expect(fn).toMatch(new RegExp(`call double @scr_arr_push_${acc}\\(.*\\) cold$`, "m"));
+    }
+});
+test("state and presence queries answer dense slots inline", () => {
+    const state = { kind: "arrayState", arr: ref("b", flags), index, type: F64, loc };
+    const has = { kind: "arrayHas", arr: ref("s", words), index, type: BOOL, loc };
+    const llvm = emitLlvmModule(module("query", BOOL, [
+        {
+            kind: "return",
+            value: {
+                kind: "logical",
+                op: "&&",
+                left: {
+                    kind: "bin",
+                    op: "===",
+                    left: state,
+                    right: { kind: "numLit", value: 1, type: F64, loc },
+                    type: BOOL,
+                    loc,
+                },
+                right: has,
+                type: BOOL,
+                loc,
+            },
+            loc,
+        },
+    ]));
+    const fn = body(llvm, "query");
+    expect(fn).toMatch(/uitofp i8 .* to double/);
+    expect(fn).toMatch(/icmp ne i8 .*, 0/);
+    expect(fn).toMatch(/call double @scr_arr_state\(.*\) cold memory\(read/);
+    expect(fn).toMatch(/call i1 @scr_arr_has\(.*\) cold memory\(read/);
+});
+//# sourceMappingURL=dense-array-access.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dense-array-access.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/dense-array-access.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,IAAI,EACJ,OAAO,GAIR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAChE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9B,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAoB,EAAU,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE5B,SAAS,MAAM,CAAC,IAAY,EAAE,UAA0B,EAAE,IAAc;IACtE,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,QAAQ;QACf,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;gBACE,IAAI;gBACJ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;oBACvC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE;oBACxC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE;oBACxC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;iBACvC;gBACD,UAAU;gBACV,MAAM,EAAE;oBACN,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;oBAClD,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;oBACnD,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;oBACnD,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;iBAClD;gBACD,IAAI;gBACJ,GAAG;aACJ;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY;IACtC,OAAO,IAAI,MAAM,CAAC,kCAAkC,IAAI,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAU,CAAC,CAAC,yDAAyD,EAAE,CAAC,IAAI,EAAE,EAAE;IAC/F,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtF,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE;QACtF,WAAW,EAAE,IAAI;KAClB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7B,mFAAmF;IACnF,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACtC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACpC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAChB,oFAAoF,CACrF,CAAC;IACF,IAAI,IAAI,KAAK,EAAE;QAAE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC1F,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9B,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC3C,gFAAgF;IAChF,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,UAAU;QAChB,GAAG;QACH,KAAK;QACL,KAAK;QACL,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,cAAc,CACzB,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE;QACpB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACnE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACvE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KACxE,CAAC,CACH,CAAC;IACF,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IAC5D,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACvC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,0BAA0B,GAAG,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC;IACrF,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAU,CAAC,CAC1B,iFAAiF,EACjF,CAAC,IAAI,EAAE,EAAE;IACP,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACvF,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,cAAc,CACzB,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;QACrB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACxE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KACzE,CAAC,EACF,EAAE,WAAW,EAAE,IAAI,EAAE,CACtB,CAAC;IACF,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,YAAY,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IAC5D,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,WAAW,IAAI,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7E,kEAAkE;IAClE,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,6BAA6B,GAAG,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC;IACxF,CAAC;AACH,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC1F,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvF,MAAM,IAAI,GAAG,cAAc,CACzB,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE;QACpB;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE;oBACJ,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,KAAK;oBACX,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACnD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC,CACH,CAAC;IACF,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC7C,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACvC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC;IACzE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC"}

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

@@ -22,6 +22,8 @@ export declare const DYN_KIND: {
  * unit instances (undefined-armed dynCheck targets build them). */
 export interface DynHost extends WalkerHost {
     unitInstanceRef(unionId: string, tag: number): string;
+    /** The immortal ABSENT field-slot state of an undefined-armed union. */
+    absentInstanceRef(unionId: string): string;
     liveDynRefAdapter(t: IrType): {
         snapshot: string;
         commit: string;
@@ -82,9 +84,22 @@ export declare class LlDyn {
     private undef;
     /** scr_dyn_obj_get with a compile-time key: borrowed member or null. */
     private objGetLit;
+    /** Branches past the caller's next emission when an undefined-armed
+     * field value is the ABSENT state. Returns the label the caller must branch
+     * to and start after its emission, or null when the type has no
+     * undefined arm. */
+    private skipIfAbsent;
+    /** A checked undefined-armed field value, or the field's ABSENT state
+     * when the value is undefined because the source object has no own
+     * property of that name (a missing JSON key stays missing; an explicit
+     * undefined stays present). Proxy sources answer through their reads, so
+     * they count as present. The checked value is a +1 union; replacing it
+     * with the immortal absent instance releases nothing (unit instances are
+     * immortal too). */
+    private presenceOf;
     /** Ordinary property lookup, including inherited data and accessors (+1). */
     private objReadLit;
-    /** Appends an ScrStr's bytes into a ScrJsonBuf (walkers' putScrStr). */
+    /** Appends a borrowed string, preserving its full byte length. */
     private putScrStr;
     private puts;
     /** A size_t counting loop: emits header/body, calls `body(i)`, closes.
@@ -99,6 +114,25 @@ export declare class LlDyn {
     private typedRefMatches;
     /** `sc_dm_<n>(ptr d) -> i1` — does this dyn fit T? Never throws. */
     dynMatchHelper(t: IrType, preserveRefs?: boolean): string;
+    private readonly jsonSchemas;
+    private readonly jsonParsers;
+    /** Targets the one-pass parser (scr_json_parse_schema) can build
+     * directly: number, boolean and string leaves inside arrays and plain
+     * records (no tuple, index signature, internal '%' slot or `__proto__`
+     * member; 1..64 fields). Everything else keeps the checked-dynamic
+     * route alone. */
+    private jsonSchemaSupported;
+    /** The ScrJsonSchema constant for t (scr_runtime.h layout). Records list
+     * fields in declaration order — the order JSON.stringify writes — so the
+     * runtime's next-field guess usually matches without a scan. */
+    private jsonSchema;
+    /** `sc_jp_<n>(ptr text) -> T` for `JSON.parse(text) as T`, or null when T
+     * is not a schema target. Tries the one-pass schema parser; when it
+     * declines (any input the checked route might reject or read
+     * differently), runs the checked-dynamic route — scr_json_parse plus the
+     * dynCheck builder — which reports the exact error. Returns +1, or null
+     * with the pending flag set. */
+    jsonParseHelper(t: IrType): string | null;
     /** `sc_dc_<n>(ptr d, ptr path) -> T` — validate the checked-dynamic tree against T and
      * BUILD the typed value (+1), or throw the catchable path-annotated
      * TypeError and return a dummy with the pending flag set. */

package/dist/backend/llvm/dyn.js

@@ -1,5 +1,5 @@
 import { typedRefConstructor } from "./shapes.js";
-import { BYTES_ELEM_NUM, f64Lit } from "./common.js";
+import { BYTES_ELEM_NUM, emitFieldAbsentTest, f64Lit } from "./common.js";
 import { InternalCompilerError } from "../../errors.js";
 import { DYN_HANDLE_KINDS, isDynTypedRefType, isRefCounted, typeKey } from "../../ir/ir.js";
 import { dynDesc, streamTypedRefEligible } from "../../ir/analysis.js";
@@ -254,6 +254,64 @@ export class LlDyn {
         B.line(`${t} = call ptr @scr_dyn_obj_get(ptr ${d}, ptr ${this.host.cstr(key)}, ${this.S} ${len}) ; .${llvmCommentText(key)}`);
         return t;
     }
+    /** Branches past the caller's next emission when an undefined-armed
+     * field value is the ABSENT state. Returns the label the caller must branch
+     * to and start after its emission, or null when the type has no
+     * undefined arm. */
+    skipIfAbsent(B, value, t) {
+        const def = this.host.unionsById.get(t.unionId);
+        const utag = def ? def.arms.findIndex((arm) => arm.kind === "undefinedT") : -1;
+        if (utag < 0)
+            return null;
+        const absent = emitFieldAbsentTest(B, value, utag);
+        const lSkip = B.newLabel("tdr.absent");
+        const lSet = B.newLabel("tdr.set");
+        B.condBr(absent, lSkip, lSet);
+        B.startBlock(lSet);
+        return lSkip;
+    }
+    /** A checked undefined-armed field value, or the field's ABSENT state
+     * when the value is undefined because the source object has no own
+     * property of that name (a missing JSON key stays missing; an explicit
+     * undefined stays present). Proxy sources answer through their reads, so
+     * they count as present. The checked value is a +1 union; replacing it
+     * with the immortal absent instance releases nothing (unit instances are
+     * immortal too). */
+    presenceOf(B, d, key, t, value) {
+        const def = this.host.unionsById.get(t.unionId);
+        const utag = def ? def.arms.findIndex((arm) => arm.kind === "undefinedT") : -1;
+        if (utag < 0)
+            return value;
+        const tp = B.tmp();
+        const tag = B.tmp();
+        const isUndef = B.tmp();
+        B.line(`${tp} = getelementptr inbounds %ScrUnion, ptr ${value}, i64 0, i32 1`);
+        B.line(`${tag} = load i32, ptr ${tp}`);
+        B.line(`${isUndef} = icmp eq i32 ${tag}, ${utag}`);
+        const kind = this.kindOf(B, d);
+        const isObj = B.tmp();
+        B.line(`${isObj} = icmp eq i32 ${kind}, ${DYN_KIND.OBJ}`);
+        const probe = B.tmp();
+        B.line(`${probe} = and i1 ${isUndef}, ${isObj}`);
+        const slot = B.slot();
+        B.entryAllocas.push(`${slot} = alloca ptr`);
+        B.line(`store ptr ${value}, ptr ${slot}`);
+        const lProbe = B.newLabel("dcr.has");
+        const lJoin = B.newLabel("dcr.hasj");
+        B.condBr(probe, lProbe, lJoin);
+        B.startBlock(lProbe);
+        const own = this.objGetLit(B, d, key);
+        const missing = B.tmp();
+        const chosen = B.tmp();
+        B.line(`${missing} = icmp eq ptr ${own}, null`);
+        B.line(`${chosen} = select i1 ${missing}, ptr ${this.host.absentInstanceRef(t.unionId)}, ptr ${value}`);
+        B.line(`store ptr ${chosen}, ptr ${slot}`);
+        B.br(lJoin);
+        B.startBlock(lJoin);
+        const out = B.tmp();
+        B.line(`${out} = load ptr, ptr ${slot}`);
+        return out;
+    }
     /** Ordinary property lookup, including inherited data and accessors (+1). */
     objReadLit(B, d, key) {
         this.host.declare(`declare ptr @scr_dyn_obj_read(ptr, ptr, ${this.S})`);
@@ -261,38 +319,14 @@ export class LlDyn {
         B.line(`${value} = call ptr @scr_dyn_obj_read(ptr ${d}, ptr ${this.host.cstr(key)}, ${this.S} ${Buffer.byteLength(key, "utf8")})`);
         return value;
     }
-    /** Appends an ScrStr's bytes into a ScrJsonBuf (walkers' putScrStr). */
+    /** Appends a borrowed string, preserving its full byte length. */
     putScrStr(B, buf, s) {
-        this.host.declare(`declare void @scr_jb_putc(ptr, i8)`);
-        const { len, data } = this.strParts(B, s);
-        const jSlot = B.slot();
-        B.entryAllocas.push(`${jSlot} = alloca ${this.S}`);
-        B.line(`store ${this.S} 0, ptr ${jSlot}`);
-        const lc = B.newLabel("dps.c");
-        const lb = B.newLabel("dps.b");
-        const le = B.newLabel("dps.e");
-        B.br(lc);
-        B.startBlock(lc);
-        const j = B.tmp();
-        const cont = B.tmp();
-        B.line(`${j} = load ${this.S}, ptr ${jSlot}`);
-        B.line(`${cont} = icmp ult ${this.S} ${j}, ${len}`);
-        B.condBr(cont, lb, le);
-        B.startBlock(lb);
-        const cp = B.tmp();
-        const c = B.tmp();
-        B.line(`${cp} = getelementptr inbounds i8, ptr ${data}, ${this.S} ${j}`);
-        B.line(`${c} = load i8, ptr ${cp}`);
-        B.line(`call void @scr_jb_putc(ptr ${buf}, i8 ${c})`);
-        const j2 = B.tmp();
-        B.line(`${j2} = add ${this.S} ${j}, 1`);
-        B.line(`store ${this.S} ${j2}, ptr ${jSlot}`);
-        B.br(lc);
-        B.startBlock(le);
+        this.host.declare(`declare void @scr_jb_put_str(ptr, ptr)`);
+        B.line(`call void @scr_jb_put_str(ptr ${buf}, ptr ${s})`);
     }
     puts(B, buf, text) {
-        this.host.declare(`declare void @scr_jb_puts(ptr, ptr)`);
-        B.line(`call void @scr_jb_puts(ptr ${buf}, ptr ${this.host.cstr(text)}) ; ${JSON.stringify(text)}`);
+        this.host.declare(`declare void @scr_jb_write(ptr, ptr, ${this.S})`);
+        B.line(`call void @scr_jb_write(ptr ${buf}, ptr ${this.host.cstr(text)}, ${this.S} ${Buffer.byteLength(text, "utf8")}) ; ${JSON.stringify(text)}`);
     }
     /** A size_t counting loop: emits header/body, calls `body(i)`, closes.
      * The body must not terminate its final block. */
@@ -700,6 +734,121 @@ export class LlDyn {
         this.defs.push(`define internal zeroext i1 @${name}(ptr %d) ${FN_ATTRS} { ; matches ${key}`, B.render(), `}`, ``);
         return name;
     }
+    /* ── schema-directed JSON.parse ───────────────────────────────── */
+    jsonSchemas = new Map();
+    jsonParsers = new Map();
+    /** Targets the one-pass parser (scr_json_parse_schema) can build
+     * directly: number, boolean and string leaves inside arrays and plain
+     * records (no tuple, index signature, internal '%' slot or `__proto__`
+     * member; 1..64 fields). Everything else keeps the checked-dynamic
+     * route alone. */
+    jsonSchemaSupported(t, visiting) {
+        switch (t.kind) {
+            case "f64":
+            case "bool":
+            case "string":
+                return true;
+            case "array":
+                return this.jsonSchemaSupported(t.elem, visiting);
+            case "record": {
+                if (visiting.has(t.shapeId))
+                    return true;
+                const shape = this.host.recordsById.get(t.shapeId);
+                if (!shape || shape.tuple || shape.indexValue)
+                    return false;
+                if (shape.fields.length === 0 || shape.fields.length > 64)
+                    return false;
+                visiting.add(t.shapeId);
+                return shape.fields.every((f) => !f.name.startsWith("%") &&
+                    f.name !== "__proto__" &&
+                    this.jsonSchemaSupported(f.type, visiting));
+            }
+            default:
+                return false;
+        }
+    }
+    /** The ScrJsonSchema constant for t (scr_runtime.h layout). Records list
+     * fields in declaration order — the order JSON.stringify writes — so the
+     * runtime's next-field guess usually matches without a scan. */
+    jsonSchema(t) {
+        const key = typeKey(t);
+        const existing = this.jsonSchemas.get(key);
+        if (existing)
+            return existing;
+        const host = this.host;
+        const S = host.sizeType;
+        const name = `sc_jsch_${this.jsonSchemas.size}`;
+        this.jsonSchemas.set(key, name);
+        let body;
+        switch (t.kind) {
+            case "f64":
+            case "bool":
+            case "string": {
+                const kind = t.kind === "f64" ? 0 : t.kind === "bool" ? 1 : 2;
+                body = `${S} ${kind}, ${S} 0, ptr null, ptr null, ptr null, ptr null, ptr null`;
+                break;
+            }
+            case "array": {
+                const elem = this.jsonSchema(t.elem);
+                const ctor = `${name}_new`;
+                this.defs.push(`define internal ptr @${ctor}(${S} %cap) ${FN_ATTRS} {`, `entry:`, `  %a = ${arrNewCall(host, t.elem, "%cap")}`, `  ret ptr %a`, `}`, ``);
+                body = `${S} 4, ${S} 0, ptr null, ptr @${elem}, ptr null, ptr @${ctor}, ptr ${vAdapters(host, t).release}`;
+                break;
+            }
+            case "record": {
+                const shape = host.recordsById.get(t.shapeId);
+                if (!shape)
+                    throw new InternalCompilerError(`llvm emitter bug: JSON schema of unknown shape ${t.shapeId}`);
+                const struct = mangleRecordStruct(t.shapeId);
+                const index = new Map(shape.fields.map((f, i) => [f.name, i + 1]));
+                const order = [...(shape.declaredOrder ?? []).filter((n) => index.has(n))];
+                for (const f of shape.fields)
+                    if (!order.includes(f.name))
+                        order.push(f.name);
+                const fieldTy = `{ ptr, ${S}, ${S}, ptr }`;
+                const entries = order.map((fieldName) => {
+                    const field = shape.fields[index.get(fieldName) - 1];
+                    const sub = this.jsonSchema(field.type);
+                    const offset = `ptrtoint (ptr getelementptr (%${struct}, ptr null, i64 0, i32 ${index.get(fieldName)}) to ${S})`;
+                    return `${fieldTy} { ptr ${host.cstr(fieldName)}, ${S} ${Buffer.byteLength(fieldName, "utf8")}, ${S} ${offset}, ptr @${sub} }`;
+                });
+                const fields = `${name}_fields`;
+                this.defs.push(`@${fields} = internal constant [${entries.length} x ${fieldTy}] [${entries.join(", ")}]`, ``);
+                body = `${S} 3, ${S} ${entries.length}, ptr @${fields}, ptr null, ptr @${mangleRecordNew(t.shapeId)}, ptr null, ptr ${vAdapters(host, t).release}`;
+                break;
+            }
+            default:
+                throw new InternalCompilerError(`llvm emitter bug: JSON schema of ${t.kind}`);
+        }
+        this.defs.push(`@${name} = internal constant { ${S}, ${S}, ptr, ptr, ptr, ptr, ptr } { ${body} }`, ``);
+        return name;
+    }
+    /** `sc_jp_<n>(ptr text) -> T` for `JSON.parse(text) as T`, or null when T
+     * is not a schema target. Tries the one-pass schema parser; when it
+     * declines (any input the checked route might reject or read
+     * differently), runs the checked-dynamic route — scr_json_parse plus the
+     * dynCheck builder — which reports the exact error. Returns +1, or null
+     * with the pending flag set. */
+    jsonParseHelper(t) {
+        if (t.kind !== "record" && t.kind !== "array")
+            return null;
+        const key = typeKey(t);
+        const existing = this.jsonParsers.get(key);
+        if (existing)
+            return existing;
+        if (!this.jsonSchemaSupported(t, new Set()))
+            return null;
+        const host = this.host;
+        const name = `sc_jp_${this.jsonParsers.size}`;
+        this.jsonParsers.set(key, name);
+        const schema = this.jsonSchema(t);
+        const check = this.dynCheckHelper(t);
+        host.declare(`declare ptr @scr_json_parse_schema(ptr, ptr)`);
+        host.declare(`declare ptr @scr_json_parse(ptr)`);
+        host.declare(`declare void @scr_dyn_release(ptr)`);
+        this.defs.push(`define internal ptr @${name}(ptr %text) ${FN_ATTRS} { ; JSON.parse as ${llvmCommentText(key)}`, `entry:`, `  %fast = call ptr @scr_json_parse_schema(ptr %text, ptr @${schema})`, `  %hit = icmp ne ptr %fast, null`, `  br i1 %hit, label %done, label %slow`, `done:`, `  ret ptr %fast`, `slow:`, `  %d = call ptr @scr_json_parse(ptr %text)`, `  %bad = icmp eq ptr %d, null`, `  br i1 %bad, label %fail, label %check`, `fail:`, `  ret ptr null`, `check:`, `  %v = call ptr @${check}(ptr %d, ptr null)`, `  call void @scr_dyn_release(ptr %d)`, `  ret ptr %v`, `}`, ``);
+        return name;
+    }
     /* ── dynCheckHelper (walkers.ts, ported) ──────────────────────── */
     /** `sc_dc_<n>(ptr d, ptr path) -> T` — validate the checked-dynamic tree against T and
      * BUILD the typed value (+1), or throw the catchable path-annotated
@@ -1171,6 +1320,11 @@ export class LlDyn {
                     B.line(`call void @scr_dyn_release(ptr ${m})`);
                     storeInto(f.name, f.type, value);
                     this.pendingBail(B, "dcr", releaseR, "ptr null");
+                    if (f.type.kind === "union") {
+                        const stored = this.presenceOf(B, "%d", f.name, f.type, value);
+                        if (stored !== value)
+                            storeInto(f.name, f.type, stored);
+                    }
                 }
                 // Index-signature shapes CAPTURE undeclared keys into the
                 // overflow map.
@@ -1481,6 +1635,10 @@ export class LlDyn {
                 B.line(`store ptr ${box}, ptr ${capp}`);
                 const rd = this.retainDyn(B, "%d");
                 B.line(`call void @scr_box_set_ref(ptr ${box}, ptr ${rd})`);
+                // The shim is the same JS function under another signature: it
+                // takes the boxed closure's identity (kept alive through caps[0]).
+                host.declare(`declare void @scr_dyn_adopt_identity(ptr, ptr)`);
+                B.line(`call void @scr_dyn_adopt_identity(ptr ${a}, ptr %d)`);
                 B.terminate(`ret ptr ${a}`);
                 break;
             }
@@ -1719,9 +1877,15 @@ export class LlDyn {
                 for (const f of dynFields) {
                     const klen = Buffer.byteLength(f.name, "utf8");
                     const fv = loadFieldOf(f.name, f.type);
+                    // An ABSENT optional field contributes no key.
+                    const lSkip = f.type.kind === "union" ? this.skipIfAbsent(B, fv, f.type) : null;
                     const conv = B.tmp();
                     B.line(`${conv} = call ptr @${this.toDynHelper(f.type)}(${this.valTy(f.type)} ${fv})`);
                     B.line(`call void @scr_dyn_obj_set(ptr ${d}, ptr ${host.cstr(f.name)}, ${host.sizeType} ${klen}, ptr ${conv}) ; ${llvmCommentText(f.name)}`);
+                    if (lSkip !== null) {
+                        B.br(lSkip);
+                        B.startBlock(lSkip);
+                    }
                 }
                 if (shape.indexValue) {
                     const iv = shape.indexValue;
@@ -2083,7 +2247,6 @@ export class LlDyn {
         host.declare(`declare ptr @scr_jb_finish(ptr)`);
         host.declare(`declare void @scr_jb_putc(ptr, i8)`);
         host.declare(`declare void @scr_jb_puts(ptr, ptr)`);
-        host.declare(`declare ptr @scr_f64_to_scrstr(double)`);
         host.declare(`declare void @scr_str_release(ptr)`);
         // The recursive buffer walker.
         {
@@ -2173,10 +2336,8 @@ export class LlDyn {
             {
                 // String(n): NaN/Infinity spelled out, not the JSON null.
                 const x = this.payloadOf(B, "%d", "double");
-                const s = B.tmp();
-                B.line(`${s} = call ptr @scr_f64_to_scrstr(double ${x})`);
-                this.putScrStr(B, "%b", s);
-                B.line(`call void @scr_str_release(ptr ${s})`);
+                host.declare(`declare void @scr_jb_put_number(ptr, double)`);
+                B.line(`call void @scr_jb_put_number(ptr %b, double ${x})`);
                 B.br(done);
             }
             B.startBlock(labels.get(DYN_KIND.STR));