@scriptc/compiler 0.0.35 → 0.1.1

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

@@ -0,0 +1,153 @@
+/* Focused LLVM expression emission extracted from emitter.ts. */
+import { InternalCompilerError } from "../../errors.js";
+export function emitJsInteropExpr(host, e) {
+    const B = host.B;
+    switch (e.kind) {
+        case "jsMarshal":
+            return host.emitJsMarshal(e);
+        case "jsOp":
+            return host.emitJsOp(e);
+        case "jsExit":
+            return host.emitJsExit(e);
+        case "jsBridgePromise": {
+            // Island → static promise bridge: a fresh pending ScrPromise the
+            // engine promise settles. Operand borrowed; the +1 promise joins
+            // the frame. Pending check like other island ops.
+            const v = host.emitExpr(e.value);
+            const payload = e.type.kind === "promise" && e.type.inner.kind === "void"
+                ? 0 // SCR_ISLP_VOID
+                : e.type.kind === "promise" && e.type.inner.kind === "array" && e.type.inner.elem.kind === "jsval"
+                    ? 5 // SCR_ISLP_JSVAL_ARR: the Array.isArray-gated by-reference exit at settle
+                    : 4; // SCR_ISLP_JSVAL
+            host.declare(`declare ptr @scr_jsval_bridge_promise(ptr, i32)`);
+            const t = B.tmp();
+            B.line(`${t} = call ptr @scr_jsval_bridge_promise(ptr ${v.name}, i32 ${payload})`);
+            const out = host.own({ name: t, type: e.type });
+            host.emitPendingCheck();
+            return out;
+        }
+        default: {
+            const _exhaustive = e;
+            void _exhaustive;
+            throw new InternalCompilerError("unreachable");
+        }
+    }
+}
+export function emitExpr(host, e) {
+    switch (e.kind) {
+        case "numLit":
+        case "boolLit":
+        case "strLit":
+        case "unitLit":
+        case "varRef":
+            return host.emitLiteralExpr(e);
+        case "bin":
+        case "unary":
+        case "incDec":
+        case "fieldIncDec":
+        case "assignExpr":
+        case "seqExpr":
+            return host.emitOperatorExpr(e);
+        case "dynDestrCheck":
+        case "dynIterN":
+        case "toBool":
+        case "logical":
+        case "ternary":
+        case "optChain":
+        case "chainRecv":
+        case "orDefault":
+        case "nullish":
+            return host.emitControlExpr(e);
+        case "strConcat":
+        case "strEq":
+        case "strCmp":
+        case "toString":
+        case "strIntrinsic":
+        case "regexLit":
+        case "templateStrings":
+        case "regexIntrinsic":
+            return host.emitStringExpr(e);
+        case "arrayLit":
+        case "arrayNewLen":
+        case "arrayGet":
+        case "arrayHas":
+        case "arrayState":
+        case "arrIntrinsic":
+        case "bytesNew":
+        case "bytesIntrinsic":
+        case "mapNew":
+        case "mapIntrinsic":
+        case "setIntrinsic":
+        case "setNew":
+            return host.emitContainerExpr(e);
+        case "call":
+        case "ffiCall":
+        case "closure":
+        case "callValue":
+        case "selfRef":
+        case "new":
+        case "classRef":
+        case "newValue":
+        case "instanceOfValue":
+        case "promiseVoidWiden":
+        case "upcast":
+        case "downcast":
+        case "instanceOf":
+        case "virtualCall":
+            return host.emitCallExpr(e);
+        case "fieldGet":
+        case "recordGet":
+        case "recordLit":
+        case "recordClone":
+        case "recordKeyGet":
+        case "recordOvfKeys":
+            return host.emitRecordExpr(e);
+        case "dynFrom":
+        case "dynFromJsval":
+        case "dynCall":
+        case "dynInvoke":
+        case "dynArrLit":
+        case "dynObjLit":
+        case "unionWrap":
+        case "unionNarrow":
+        case "unionDisc":
+        case "unionKeyGet":
+        case "unionIsTag":
+        case "dynKeyGet":
+        case "dynHasKey":
+        case "dynScalarEq":
+        case "dynTest":
+        case "unionEq":
+        case "unionFuncEq":
+        case "caughtTest":
+        case "caughtCheck":
+        case "caughtNarrow":
+        case "caughtToDyn":
+            return host.emitDynamicExpr(e);
+        case "intrinsic":
+            return host.emitIntrinsicExpr(e);
+        case "jsonStringify":
+        case "dynCheck":
+            return host.emitSerializationExpr(e);
+        case "yieldExpr":
+        case "genResume":
+        case "awaitExpr":
+        case "awaitUnionExpr":
+        case "newPromise":
+        case "promiseWithResolvers":
+            return host.emitAsyncExpr(e);
+        case "jsMarshal":
+        case "jsOp":
+        case "jsExit":
+        case "jsBridgePromise":
+            return host.emitJsInteropExpr(e);
+        case "libCall":
+            return host.emitLibCall(e);
+        default: {
+            const _exhaustive = e;
+            void _exhaustive;
+            throw new InternalCompilerError("unreachable");
+        }
+    }
+}
+//# sourceMappingURL=expr-dispatch.js.map

package/dist/backend/llvm/expr-dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr-dispatch.js","sourceRoot":"","sources":["../../../src/backend/llvm/expr-dispatch.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAIxD,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,CAA8D;IACtH,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC/B,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,iEAAiE;YACjE,iEAAiE;YACjE,kDAAkD;YAClD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,OAAO,GACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;gBACvD,CAAC,CAAC,CAAC,CAAC,gBAAgB;gBACpB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBAChG,CAAC,CAAC,CAAC,CAAC,0EAA0E;oBAC9E,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB;YAC5B,IAAI,CAAC,OAAO,CAAC,iDAAiD,CAAC,CAAC;YAChE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC,IAAI,SAAS,OAAO,GAAG,CAAC,CAAC;YACnF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,OAAO,GAAG,CAAC;QACb,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,CAAC,CAAC;YAC7B,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,qBAAqB,CAAC,aAAa,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAEH,MAAM,UAAU,QAAQ,CAAC,IAAwB,EAAE,CAAS;IACxD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,KAAK,CAAC;QACX,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,eAAe,CAAC;QACrB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,WAAW,CAAC;QACjB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC;QACpB,KAAK,UAAU,CAAC;QAChB,KAAK,iBAAiB,CAAC;QACvB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,UAAU,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,QAAQ,CAAC;QACd,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,iBAAiB,CAAC;QACvB,KAAK,kBAAkB,CAAC;QACxB,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,cAAc,CAAC;QACpB,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,SAAS,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa,CAAC;QACnB,KAAK,cAAc,CAAC;QACpB,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,eAAe,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACvC,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,gBAAgB,CAAC;QACtB,KAAK,YAAY,CAAC;QAClB,KAAK,sBAAsB;YACzB,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC/B,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC7B,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,CAAC,CAAC;YAC7B,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,qBAAqB,CAAC,aAAa,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,2 @@
+import type { LlvmEmitterContext, ExprOf, LlValue } from "./expr-context.js";
+export declare function emitDynamicExpr(host: LlvmEmitterContext, e: ExprOf<"dynFrom" | "dynFromJsval" | "dynCall" | "dynInvoke" | "dynArrLit" | "dynObjLit" | "unionWrap" | "unionNarrow" | "unionDisc" | "unionKeyGet" | "unionIsTag" | "dynKeyGet" | "dynHasKey" | "dynScalarEq" | "dynTest" | "unionEq" | "unionFuncEq" | "caughtTest" | "caughtCheck" | "caughtNarrow" | "caughtToDyn">): LlValue;