@scriptc/compiler 0.2.10 → 0.3.1

package/dist/backend/llvm/dyn.js

@@ -35,7 +35,6 @@ export const DYN_KIND = {
     FUNC: 8,
     HANDLE: 9,
     PROMISE: 10,
-    JSVAL: 11 /* SCR_DYN_JSVAL — island values held by reference */,
     TYPED_REF: 12 /* SCR_DYN_TYPED_REF — static Web-stream transit capsule */,
     PROXY: 13,
     BIGINT: 14,
@@ -986,6 +985,7 @@ export class LlDyn {
                             { index: 2, type: host.sizeType, name: "capacity" },
                             { index: SCR_ARR_FIELD.data, type: "ptr", name: "data" },
                             { index: SCR_ARR_FIELD.present, type: "ptr", name: "presence" },
+                            { index: SCR_ARR_FIELD.filled, type: "i32", name: "filled" },
                         ];
                     members.forEach((member) => {
                         const cachedPtr = B.tmp();
@@ -1583,6 +1583,9 @@ export class LlDyn {
                 B.line(`call void @scr_union_release(ptr ${checked})`);
                 B.terminate(`ret ptr ${cached}`);
                 B.startBlock(lCache);
+                // Later casts refresh this box in place (above), so from now on
+                // retypes of this union must not share a box (unionRetype).
+                B.line(`store i8 1, ptr ${host.retypeGuardRef(t.unionId)}`);
                 B.line(`call void @scr_dyn_typed_ref_cache_cast(ptr %d, ptr ${host.cstr(key)}, ${host.sizeType} ${Buffer.byteLength(key, "utf8")}, ptr ${checked}, ptr ${rc.retain}, ptr ${rc.release}, i1 ${traceAdapter(host, t) !== null ? "true" : "false"})`);
                 B.terminate(`ret ptr ${checked}`);
                 B.startBlock(lFail);
@@ -2280,7 +2283,6 @@ export class LlDyn {
                 DYN_KIND.FUNC,
                 DYN_KIND.HANDLE,
                 DYN_KIND.PROMISE,
-                DYN_KIND.JSVAL,
                 DYN_KIND.TYPED_REF,
                 DYN_KIND.PROXY,
                 DYN_KIND.BIGINT,
@@ -2296,14 +2298,6 @@ export class LlDyn {
             host.declare(`declare void @scr_dyn_proxy_unsupported(ptr)`);
             B.line(`call void @scr_dyn_proxy_unsupported(ptr ${host.cstr("string conversion")})`);
             B.br(done);
-            B.startBlock(labels.get(DYN_KIND.JSVAL));
-            {
-                // Island-held: the engine's own ToString (a bridged failure
-                // leaves the exception pending and appends nothing).
-                host.declare(`declare void @scr_dyn_isl_tostr_buf(ptr, ptr)`);
-                B.line(`call void @scr_dyn_isl_tostr_buf(ptr %b, ptr %d)`);
-                B.br(done);
-            }
             B.startBlock(labels.get(DYN_KIND.TYPED_REF));
             {
                 host.declare(`declare ptr @scr_dyn_typed_ref_materialize(ptr)`);
@@ -2838,9 +2832,6 @@ export class LlDyn {
             B.terminate(`ret ptr ${r}`);
             B.startBlock(lNext);
         }
-        // ISLAND-held receivers: o[k] reads the REAL engine property (getters
-        // included, throws bridged catchably) and the result wraps back
-        // scalar-normalized — the routed keyed read that retired the fence.
         {
             const isProxy = B.tmp();
             B.line(`${isProxy} = icmp eq i32 ${kd}, ${DYN_KIND.PROXY}`);
@@ -2854,19 +2845,6 @@ export class LlDyn {
             B.terminate(`ret ptr ${r}`);
             B.startBlock(lNext);
         }
-        {
-            const isJv = B.tmp();
-            B.line(`${isJv} = icmp eq i32 ${kd}, ${DYN_KIND.JSVAL}`);
-            const lJv = B.newLabel("kg.jv");
-            const lNext = B.newLabel("kg.n");
-            B.condBr(isJv, lJv, lNext);
-            B.startBlock(lJv);
-            host.declare(`declare ptr @scr_dyn_isl_key_get(ptr, ptr)`);
-            const r = B.tmp();
-            B.line(`${r} = call ptr @scr_dyn_isl_key_get(ptr %d, ptr %k)`);
-            B.terminate(`ret ptr ${r}`);
-            B.startBlock(lNext);
-        }
         // OBJ: the own member or the inherited builtin Error constructor.
         {
             const isObj = B.tmp();
@@ -3218,23 +3196,6 @@ export class LlDyn {
             B.terminate(`ret ptr ${out}`);
             B.startBlock(lNext);
         }
-        // Island-held sources keep the engine's iterator and IteratorClose
-        // behavior while returning checked values for the destructuring slots.
-        {
-            const isJv = B.tmp();
-            B.line(`${isJv} = icmp eq i32 ${kd}, ${DYN_KIND.JSVAL}`);
-            const lJv = B.newLabel("din.jv");
-            const lNotJv = B.newLabel("din.njv");
-            B.condBr(isJv, lJv, lNotJv);
-            B.startBlock(lJv);
-            host.declare(`declare ptr @scr_dyn_jsval_iter_n(ptr, double)`);
-            const count = B.tmp();
-            const out = B.tmp();
-            B.line(`${count} = sitofp ${host.sizeType} %n to double`);
-            B.line(`${out} = call ptr @scr_dyn_jsval_iter_n(ptr %d, double ${count})`);
-            B.terminate(`ret ptr ${out}`);
-            B.startBlock(lNotJv);
-        }
         const okA = B.tmp();
         const okS = B.tmp();
         const okB = B.tmp();
@@ -3459,14 +3420,6 @@ export class LlDyn {
             B.line(`${r} = call ptr @${box}(ptr ${expr}, ptr null)`);
             return r;
         }
-        if (t.kind === "jsval") {
-            // An island value wraps by reference (scalar-normalizing) — the
-            // jsval-returning callback shape of the routed-dispatch lane.
-            this.host.declare(`declare ptr @scr_dyn_from_jsval(ptr)`);
-            const r = B.tmp();
-            B.line(`${r} = call ptr @scr_dyn_from_jsval(ptr ${expr})`);
-            return r;
-        }
         const r = B.tmp();
         B.line(`${r} = call ptr @${this.toDynHelper(t)}(${this.valTy(t)} ${expr})`);
         return r;
@@ -3559,28 +3512,6 @@ export class LlDyn {
             if (p.kind === "dyn") {
                 argNames.push(this.retainDyn(B, ad));
             }
-            else if (p.kind === "jsval") {
-                // A checker-'any' param: the dyn argument enters the island —
-                // wrapped cells unwrap by reference, data deep-copies, boxed
-                // functions cross through the host shim; a kind with no crossing
-                // throws the catchable TypeError (null + pending).
-                host.declare(`declare ptr @scr_jsval_from_dyn(ptr)`);
-                const a = B.tmp();
-                B.line(`${a} = call ptr @scr_jsval_from_dyn(ptr ${ad})`);
-                const isNull = B.tmp();
-                B.line(`${isNull} = icmp eq ptr ${a}, null`);
-                const lFail = B.newLabel("dfk.jf");
-                const lOk = B.newLabel("dfk.jo");
-                B.condBr(isNull, lFail, lOk);
-                B.startBlock(lFail);
-                t.params.slice(0, i).forEach((q, j) => {
-                    if (isRefCounted(q))
-                        B.line(`call void ${releaseSym(host, q)}(ptr ${argNames[j]})`);
-                });
-                B.terminate(`ret ptr null`);
-                B.startBlock(lOk);
-                argNames.push(a);
-            }
             else {
                 const pathSlot = B.slot();
                 B.entryAllocas.push(`${pathSlot} = alloca %ScrDynPath`);