@scriptc/compiler 0.2.4 → 0.2.5

package/dist/backend/llvm/dyn.js

@@ -6,7 +6,7 @@ import { dynDesc, streamTypedRefEligible } from "../../ir/analysis.js";
 import { mangleRecordNew, mangleRecordStruct } from "../mangle.js";
 import { BlockBuilder } from "./blocks.js";
 import { llvmCommentText } from "./common.js";
-import { arrNewCall, elemAccess, llFieldType, releaseSym, traceAdapter, traceArg, vAdapters } from "./shapes.js";
+import { arrNewCall, elemAccess, llFieldType, releaseSym, traceAdapter, traceArg, vAdapters, } from "./shapes.js";
 import { LlvmUnsupportedError } from "./unsupported.js";
 /** ScrDynKind values (scr_runtime.h). */
 /** ScrDynHandleTag numeric values (scr_runtime.h's enum order). */
@@ -33,8 +33,8 @@ 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 */
+    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,
     SYMBOL: 15,
@@ -68,8 +68,11 @@ export class LlDyn {
             guard.values.forEach((value, index) => {
                 const suffix = typeof value === "string" ? "str" : typeof value === "boolean" ? "bool" : "num";
                 const ty = typeof value === "string" ? "ptr" : typeof value === "boolean" ? "i1" : "double";
-                const operand = typeof value === "string" ? this.host.internLiteral(value)
-                    : typeof value === "boolean" ? String(value) : f64Lit(value);
+                const operand = typeof value === "string"
+                    ? this.host.internLiteral(value)
+                    : typeof value === "boolean"
+                        ? String(value)
+                        : f64Lit(value);
                 this.host.declare(`declare zeroext i1 @scr_dyn_field_eq_${suffix}(ptr, ptr, ${ty}${ty === "i1" ? " zeroext" : ""})`);
                 const matches = B.tmp();
                 B.line(`${matches} = call zeroext i1 @scr_dyn_field_eq_${suffix}(ptr %d, ptr ${field}, ${ty} ${operand})`);
@@ -84,7 +87,9 @@ export class LlDyn {
         B.line(`${matches} = call zeroext i1 @${this.dynMatchHelper(def.arms[tag], preserveRefs)}(ptr %d)`);
         B.condBr(matches, yes, no);
     }
-    get S() { return this.host.sizeType; }
+    get S() {
+        return this.host.sizeType;
+    }
     abiOffset(native64, wasm32) {
         return this.S === "i32" ? wasm32 : native64;
     }
@@ -93,7 +98,11 @@ export class LlDyn {
     }
     /** The value LLVM type of a dynCheck result / toDyn operand for `t`. */
     valTy(t) {
-        return t.kind === "f64" || t.kind === "date" || t.kind === "procStream" ? "double" : t.kind === "bool" ? "i1" : "ptr";
+        return t.kind === "f64" || t.kind === "date" || t.kind === "procStream"
+            ? "double"
+            : t.kind === "bool"
+                ? "i1"
+                : "ptr";
     }
     collectionDynOps(t) {
         const key = typeKey(t);
@@ -106,13 +115,22 @@ export class LlDyn {
         const valueType = t.kind === "map" ? t.value : { kind: "f64" };
         const emitSlot = (type, role) => {
             const ty = this.valTy(type);
-            const unpack = ty === "double" ? "bitcast i64 %slot to double" : ty === "i1" ? "trunc i64 %slot to i1" : "inttoptr i64 %slot to ptr";
-            const pack = ty === "double" ? "bitcast double %value to i64" : ty === "i1" ? "zext i1 %value to i64" : "ptrtoint ptr %value to i64";
+            const unpack = ty === "double"
+                ? "bitcast i64 %slot to double"
+                : ty === "i1"
+                    ? "trunc i64 %slot to i1"
+                    : "inttoptr i64 %slot to ptr";
+            const pack = ty === "double"
+                ? "bitcast double %value to i64"
+                : ty === "i1"
+                    ? "zext i1 %value to i64"
+                    : "ptrtoint ptr %value to i64";
             // Collection reads expose the original mutable element, including
             // records/arrays inside unions, rather than a detached dyn snapshot.
             const B = new BlockBuilder();
             B.line(`%value = ${unpack}`);
-            if (type.kind === "union" && this.host.unionsById.get(type.unionId)?.arms.some(streamTypedRefEligible)) {
+            if (type.kind === "union" &&
+                this.host.unionsById.get(type.unionId)?.arms.some(streamTypedRefEligible)) {
                 B.line(`%result = call ptr @${this.host.liveDynUnionRefAdapter(type)}(ptr %value)`);
             }
             else if (type.kind === "record" || type.kind === "array") {
@@ -775,9 +793,7 @@ export class LlDyn {
                 const ok = B.tmp();
                 B.line(`${ok} = icmp ne ptr ${checked}, null`);
                 if (t.kind === "record" || t.kind === "array") {
-                    const shape = t.kind === "record"
-                        ? host.recordsById.get(t.shapeId)
-                        : undefined;
+                    const shape = t.kind === "record" ? host.recordsById.get(t.shapeId) : undefined;
                     if (t.kind === "record" && !shape) {
                         throw new InternalCompilerError(`llvm emitter bug: cached typed-ref cast of unknown shape ${t.shapeId}`);
                     }
@@ -806,11 +822,13 @@ export class LlDyn {
                                 name: field.name,
                             })),
                             ...(shape.indexValue
-                                ? [{
+                                ? [
+                                    {
                                         index: shape.fields.length + 1,
                                         type: "ptr",
                                         name: "[key: string] overflow",
-                                    }]
+                                    },
+                                ]
                                 : []),
                         ]
                         : [
@@ -830,9 +848,7 @@ export class LlDyn {
                         const checkedPtr = B.tmp();
                         const oldValue = B.tmp();
                         const newValue = B.tmp();
-                        const struct = t.kind === "record"
-                            ? `%${mangleRecordStruct(t.shapeId)}`
-                            : "%ScrArr";
+                        const struct = t.kind === "record" ? `%${mangleRecordStruct(t.shapeId)}` : "%ScrArr";
                         B.line(`${cachedPtr} = getelementptr inbounds ${struct}, ptr ${cached}, i64 0, i32 ${member.index}`);
                         B.line(`${checkedPtr} = getelementptr inbounds ${struct}, ptr ${checked}, i64 0, i32 ${member.index}`);
                         B.line(`${oldValue} = load ${member.type}, ptr ${cachedPtr} ; ${llvmCommentText(member.name)}`);
@@ -1145,7 +1161,10 @@ export class LlDyn {
                 for (const f of shape.fields) {
                     const m = this.objReadLit(B, "%d", f.name);
                     host.declare(`declare void @scr_dyn_release(ptr)`);
-                    this.pendingBail(B, "dcr.read", () => { B.line(`call void @scr_dyn_release(ptr ${m})`); releaseR(); }, "ptr null");
+                    this.pendingBail(B, "dcr.read", () => {
+                        B.line(`call void @scr_dyn_release(ptr ${m})`);
+                        releaseR();
+                    }, "ptr null");
                     setPath(f.name, "0");
                     const value = B.tmp();
                     B.line(`${value} = call ${this.valTy(f.type)} @${this.dynCheckHelper(f.type, preserveRefs)}(ptr ${m}, ptr ${pathSlot})`);
@@ -2072,7 +2091,24 @@ export class LlDyn {
             const kd = this.kindOf(B, "%d");
             const done = B.newLabel("ds.d");
             const labels = new Map();
-            for (const k of [DYN_KIND.NULL, DYN_KIND.BOOL, DYN_KIND.NUM, DYN_KIND.STR, DYN_KIND.ARR, DYN_KIND.OBJ, DYN_KIND.UNDEF, DYN_KIND.BYTES, DYN_KIND.FUNC, DYN_KIND.HANDLE, DYN_KIND.PROMISE, DYN_KIND.JSVAL, DYN_KIND.TYPED_REF, DYN_KIND.PROXY, DYN_KIND.BIGINT, DYN_KIND.SYMBOL]) {
+            for (const k of [
+                DYN_KIND.NULL,
+                DYN_KIND.BOOL,
+                DYN_KIND.NUM,
+                DYN_KIND.STR,
+                DYN_KIND.ARR,
+                DYN_KIND.OBJ,
+                DYN_KIND.UNDEF,
+                DYN_KIND.BYTES,
+                DYN_KIND.FUNC,
+                DYN_KIND.HANDLE,
+                DYN_KIND.PROMISE,
+                DYN_KIND.JSVAL,
+                DYN_KIND.TYPED_REF,
+                DYN_KIND.PROXY,
+                DYN_KIND.BIGINT,
+                DYN_KIND.SYMBOL,
+            ]) {
                 labels.set(k, B.newLabel(`ds.k${k}`));
             }
             const branches = [];
@@ -3450,7 +3486,13 @@ export class LlDyn {
         host.declare(`declare ptr @scr_dyn_call(ptr, ptr, ${host.sizeType}, ptr)`);
         host.declare(`declare void @scr_dyn_release(ptr)`);
         const retTy = t.ret.kind === "void" ? "void" : this.valTy(t.ret);
-        const dummy = t.ret.kind === "void" ? "void" : retTy === "double" ? `double ${f64Lit(0)}` : retTy === "i1" ? "i1 false" : "ptr null";
+        const dummy = t.ret.kind === "void"
+            ? "void"
+            : retTy === "double"
+                ? `double ${f64Lit(0)}`
+                : retTy === "i1"
+                    ? "i1 false"
+                    : "ptr null";
         const capp = B.tmp();
         const box = B.tmp();
         B.line(`${capp} = getelementptr inbounds %ScrClosure, ptr %sc_env, i64 1 ; caps[0]`);
@@ -3526,7 +3568,11 @@ export class LlDyn {
             B.line(`call void @scr_dyn_release(ptr ${r})`);
             B.terminate(`ret ${this.valTy(t.ret)} ${out}`);
         }
-        const params = ["ptr %sc_env", ...t.params.map((p, i) => `${this.valTy(p)} %a${i}`), ...(checkedRest ? ["ptr %rest"] : [])].join(", ");
+        const params = [
+            "ptr %sc_env",
+            ...t.params.map((p, i) => `${this.valTy(p)} %a${i}`),
+            ...(checkedRest ? ["ptr %rest"] : []),
+        ].join(", ");
         this.defs.push(`define internal ${retTy === "i1" ? "zeroext i1" : retTy} @${name}(${params}) ${FN_ATTRS} { ; dyn fn adapter to ${key}`, B.render(), `}`, ``);
         return name;
     }