@scriptc/compiler 0.0.5 → 0.0.7

package/dist/backend/llvm/emitter.js

@@ -6,7 +6,7 @@ import { buildClassGraph, classFieldIndex, classStructSym, emitClassObjDefs, emi
 import { DK, LlDyn } from "./dyn.js";
 import { LlvmUnsupportedError } from "./unsupported.js";
 import { LlWalkers } from "./walkers.js";
-import { arrNewCall, boxAccess, boxNewCall, computeTraced, elemAccess, emitRecordShapes, FN_ATTRS, llFieldType, mapKeyAccess, mapKeyKindNum, mapValKindNum, releaseSym, retainSym, traceArg, vAdapters, } from "./shapes.js";
+import { arrNewCall, boxAccess, boxNewCall, computeTraced, elemAccess, emitRecordShapes, FN_ATTRS, llFieldType, mapKeyAccess, mapKeyKindNum, mapValKindNum, releaseSym, retainSym, traceAdapter, traceArg, vAdapters, } from "./shapes.js";
 export { LlvmUnsupportedError } from "./unsupported.js";
 export function emitLlvmModule(mod) {
     return new LlEmitter(mod).emit();
@@ -159,6 +159,8 @@ const LIB_FN_SYMS = {
     "assert.eqDyn": "scr_assert_eq_dyn",
     "assert.deepResult": "scr_assert_deep_result",
     "assert.sameValue": "scr_assert_same_value_f64",
+    "assert.deqEnter": "scr_assert_deq_enter",
+    "assert.deqLeave": "scr_assert_deq_leave",
     "assert.match": "scr_assert_match",
     "assert.throwsNone": "scr_assert_throws_none",
     "assert.throwsMismatch": "scr_assert_throws_mismatch",
@@ -229,6 +231,13 @@ const LIB_FN_SYMS = {
     "insp.key": "scr_insp_key",
     "insp.moreItems": "scr_insp_more_items",
     "insp.end": "scr_insp_end",
+    // Circular references over cycle-capable composites (Node's
+    // seen/circular machinery — none of these throw; refWrap borrows its
+    // string and answers +1).
+    "insp.circCheck": "scr_insp_circ_check",
+    "insp.seenPush": "scr_insp_seen_push",
+    "insp.refWrap": "scr_insp_ref_wrap",
+    "insp.circular": "scr_insp_circular",
     // WHATWG URL + URLSearchParams (scr_url.c / scr_url_params.c):
     // constructions +1; url.new, the fileURLToPath pair, the win32
     // pathToFileURL flavor, and sp.fromPairs throw catchably (may-throw).
@@ -417,8 +426,8 @@ const LIB_FN_SYMS = {
     "net.sockUnshift": "scr_net_sock_unshift_bytes",
     "net.sockPipeRes": "scr_http_sock_pipe_res",
     "net.serverEmitConnection": "scr_net_server_emit_connection",
-    "net.getAutoSelTimeout": "scr_net_get_auto_sel_timeout",
-    "net.setAutoSelTimeout": "scr_net_set_auto_sel_timeout",
+    "net.getAutoSelTimeout": "scr_net_get_autosel_timeout",
+    "net.setAutoSelTimeout": "scr_net_set_autosel_timeout",
     "http.reqUrl": "scr_http_req_url",
     "http.reqMethod": "scr_http_req_method",
     "http.reqSocket": "scr_http_req_socket",
@@ -1067,7 +1076,7 @@ class LlEmitter {
             // slot } — TDZ reads peek the payload slot (offset 40) directly.
             `%ScrBox = type { i64, i32, ptr, ptr, ptr, i64 }`,
             // The stack buffer of the emitted JSON serializers { data, len, cap }.
-            `%ScrJsonBuf = type { ptr, i64, i64 }`,
+            `%ScrJsonBuf = type { ptr, i64, i64, ptr, i64, i64 }`,
             // The dynCheck error-path spine { parent, key, index } — the emitted
             // builders stack-allocate one per recursion level (dyn.ts).
             `%ScrDynPath = type { ptr, ptr, i64 }`,
@@ -1258,6 +1267,15 @@ class LlEmitter {
             return `  store ${ty} ${zero}, ptr @${mangleGlobal(g.id)} ; ${g.name}`;
         });
         out.push(`define void @${lib.initSymbol}() ${FN_ATTRS} {`, `entry:`, `  call void @scr_library_entry(i1 zeroext true) ; init always resets the result arena`, ...globalReleaseLines("ci"), ...zeroStores, `  call void @scr_library_reset()`, ...stamps, `  call void @${mangleFunction(this.mod.entry)}()`, `  call void @scr_library_check_exc()`, `  ret void`, `}`, ``, `define void @${lib.sinkRegisterSymbol}(ptr %fn, ptr %ctx) ${FN_ATTRS} {`, `entry:`, `  call void @scr_library_set_sink(ptr %fn, ptr %ctx)`, `  ret void`, `}`, ``);
+        if (lib.identity !== undefined) {
+            // Profile-declared identity getters (the ask-2 sidecar's boot-time
+            // pairing fence): pure data returns with NO entry prologue — exempt
+            // from the poisoned guard and every runtime touch (ratified), so a
+            // host can read them before init and after a trap. The u64 rides
+            // i64 two's-complement (LLVM integer constants are signed).
+            const buildId = BigInt.asIntN(64, BigInt(`0x${lib.identity.buildId}`)).toString();
+            out.push(`define i64 @${lib.identity.buildIdSymbol}() ${FN_ATTRS} { ; identity getter build_id 0x${lib.identity.buildId}`, `entry:`, `  ret i64 ${buildId}`, `}`, ``, `define i32 @${lib.identity.abiVersionSymbol}() ${FN_ATTRS} { ; identity getter abi_version`, `entry:`, `  ret i32 ${lib.identity.abiVersion}`, `}`, ``);
+        }
         if (lib.resultResetSymbol !== null) {
             out.push(`define void @${lib.resultResetSymbol}() ${FN_ATTRS} {`, `entry:`, `  call void @scr_library_entry(i1 zeroext false)`, `  call void @scr_library_arena_reset()`, `  ret void`, `}`, ``);
         }
@@ -4711,6 +4729,12 @@ class LlEmitter {
                     const t = B.tmp();
                     B.line(`${t} = call ptr @scr_jb_finish(ptr ${buf})`);
                     compact = this.own({ name: t, type: e.type });
+                    // A cycle-capable root can throw the circular-structure
+                    // TypeError mid-walk: finish still runs (frees the buffer, the
+                    // partial string joins the frame and releases on unwind), then
+                    // the pending check unwinds — the C emitter's contract exactly.
+                    if (traceAdapter(this, e.value.type) !== null)
+                        this.emitPendingCheck();
                 }
                 // A pretty-print form (`stringify(v, null, 2)`): the frontend
                 // resolved the space to a compile-time indent string (Node's