@scriptc/compiler 0.3.6 → 0.4.1

package/dist/frontend/lowering/builtins/v8.js

@@ -0,0 +1,105 @@
+/* node:v8 — importable, with one lowered member. Packages require it at
+ * top level and touch it on optional paths (dd-trace's runtime metrics),
+ * so the module itself is not refused. getHeapStatistics answers
+ * allocator-derived figures in Node's shape and field order, in the
+ * spirit of process.memoryUsage(): approximate values, not V8 heap
+ * figures (a compiled binary embeds no V8 engine). Every other member
+ * fences at its use with the by-design reason (builtinFenceHintOf). */
+import { numLit } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { F64, VOID } from "../../../ir/ir.js";
+/** v8.getHeapStatistics()'s fields, in Node's order. */
+const HEAP_STATISTICS_FIELDS = [
+    "total_heap_size",
+    "total_heap_size_executable",
+    "total_physical_size",
+    "total_available_size",
+    "used_heap_size",
+    "heap_size_limit",
+    "malloced_memory",
+    "peak_malloced_memory",
+    "does_zap_garbage",
+    "number_of_native_contexts",
+    "number_of_detached_contexts",
+    "total_global_handles_size",
+    "used_global_handles_size",
+    "external_memory",
+];
+/** `v8.getHeapStatistics()`: one memoryUsage sample (the runtime heap's
+ * total and used bytes), with the machine's memory as the heap limit (the
+ * runtime heap has no fixed ceiling) and the available size the limit
+ * minus used bytes. V8-only figures (executable code space, malloced
+ * memory, global handles, external memory, zapping) read 0, and one
+ * native context exists. The record is the call site's interned HeapInfo
+ * shape, built by a shared helper per shape. */
+export function lowerV8HeapStatisticsCall(lowerer, call, loc) {
+    if (call.arguments.nodes.length !== 0) {
+        lowerer.noLowering(`v8.getHeapStatistics with ${call.arguments.nodes.length} arguments`, call);
+    }
+    const t = lowerer.mapTypeOf(lowerer.typeOf(call));
+    if (t?.kind !== "record")
+        lowerer.badType(call, lowerer.typeOf(call));
+    const shape = lowerer.shapes.get(t.shapeId);
+    if (!shape ||
+        !shape.fields.every((f) => HEAP_STATISTICS_FIELDS.includes(f.name) && f.type.kind === "f64")) {
+        lowerer.badType(call, lowerer.typeOf(call));
+    }
+    const key = `v8.getHeapStatistics:${t.shapeId}`;
+    let helper = lowerer.valueHelpers.get(key);
+    if (!helper) {
+        helper = `%v8.getHeapStatistics.${lowerer.valueHelpers.size}`;
+        lowerer.valueHelpers.set(key, helper);
+        const sample = (index) => ({
+            kind: "libCall",
+            fn: "process.memoryUsageField",
+            args: [numLit(index, loc)],
+            type: F64,
+            loc,
+        });
+        const limit = () => ({ kind: "libCall", fn: "os.totalmem", args: [], type: F64, loc });
+        const value = (name) => {
+            switch (name) {
+                case "total_heap_size":
+                case "total_physical_size":
+                    return sample(1);
+                case "used_heap_size":
+                    return sample(2);
+                case "heap_size_limit":
+                    return limit();
+                case "total_available_size":
+                    return { kind: "bin", op: "-", left: limit(), right: sample(2), type: F64, loc };
+                case "number_of_native_contexts":
+                    return numLit(1, loc);
+                default:
+                    return numLit(0, loc);
+            }
+        };
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [],
+            returnType: t,
+            locals: [],
+            body: [
+                {
+                    kind: "exprStmt",
+                    expr: { kind: "libCall", fn: "process.memoryUsageTake", args: [], type: VOID, loc },
+                    loc,
+                },
+                {
+                    kind: "return",
+                    value: {
+                        kind: "recordLit",
+                        fields: shape.fields.map((f) => ({ name: f.name, value: value(f.name) })),
+                        type: t,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [], type: t, loc };
+}
+//# sourceMappingURL=v8.js.map

package/dist/frontend/lowering/builtins/v8.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"v8.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/v8.ts"],"names":[],"mappings":"AAAA;;;;;;uEAMuE;AACvE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,GAAG,EAA4B,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAExE,wDAAwD;AACxD,MAAM,sBAAsB,GAAG;IAC7B,iBAAiB;IACjB,4BAA4B;IAC5B,qBAAqB;IACrB,sBAAsB;IACtB,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,sBAAsB;IACtB,kBAAkB;IAClB,2BAA2B;IAC3B,6BAA6B;IAC7B,2BAA2B;IAC3B,0BAA0B;IAC1B,iBAAiB;CAClB,CAAC;AAEF;;;;;;gDAMgD;AAChD,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAAC,6BAA6B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,IACE,CAAC,KAAK;QACN,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,EAC5F,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,GAAG,GAAG,wBAAwB,CAAC,CAAC,OAAO,EAAE,CAAC;IAChD,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,yBAAyB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;YACzC,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,0BAA0B;YAC9B,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1B,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/F,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE;YACrC,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,iBAAiB,CAAC;gBACvB,KAAK,qBAAqB;oBACxB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;gBACnB,KAAK,gBAAgB;oBACnB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;gBACnB,KAAK,iBAAiB;oBACpB,OAAO,KAAK,EAAE,CAAC;gBACjB,KAAK,sBAAsB;oBACzB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnF,KAAK,2BAA2B;oBAC9B,OAAO,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACxB;oBACE,OAAO,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,EAAE;YACV,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACnF,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBACzE,IAAI,EAAE,CAAC;wBACP,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;AAClE,CAAC"}

package/dist/frontend/lowering/builtins/webassembly.d.ts

@@ -0,0 +1,33 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** Fences a reached use of the WebAssembly API. `prefix` qualifies a
+ * construction ('new '). Returns normally when `expr` is anything else. */
+export declare function refuseWebAssemblyUse(lowerer: Lowerer, expr: ts.Expression, prefix?: string): void;
+/** `typeof WebAssembly` is "object" and `typeof WebAssembly.<member>` is
+ * "function" for every member the namespace declares, as in Node. The
+ * operand is an effect-free global read, so nothing else evaluates. */
+export declare function lowerWebAssemblyTypeof(lowerer: Lowerer, operand: ts.Expression): IrExpr | null;
+/** `WebAssembly.compile(bytes)`, `WebAssembly.instantiate(source,
+ * imports?)`, `WebAssembly.validate(bytes)`, the error classes called
+ * without `new`, the other classes called without `new` (a TypeError), and
+ * Module's static functions. Null for anything else. */
+export declare function lowerWebAssemblyCall(lowerer: Lowerer, call: ts.CallExpression): IrExpr | null;
+/** `new WebAssembly.Module(bytes)`, `new WebAssembly.Instance(module,
+ * imports?)`, `new WebAssembly.Memory(descriptor)`, `new
+ * WebAssembly.Table(descriptor, value?)`, `new
+ * WebAssembly.Global(descriptor, value?)` and the error classes. Null for
+ * anything else. */
+export declare function lowerWebAssemblyNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;
+/** `v instanceof WebAssembly.<Class>`. Null for anything else. */
+export declare function lowerWebAssemblyInstanceof(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr | null;
+/** WebAssembly API values: `WebAssembly.compile`, `instantiate` and
+ * `validate` read as functions, the namespace itself (`WebAssembly`,
+ * `globalThis.WebAssembly`), and the global object cast to a type with a
+ * `WebAssembly` member (pi codemode's spelling). Null for anything else,
+ * which refuseWebAssemblyUse then fences. */
+export declare function lowerWebAssemblyValue(lowerer: Lowerer, expr: ts.Expression): IrExpr | null;
+/** `global.valueOf()` on a receiver typed as a WebAssembly value: a
+ * Global answers its value (the generic dyn.valueOf answers the object
+ * itself for native handles other than Date). Null for other receivers. */
+export declare function lowerWebAssemblyValueOf(lowerer: Lowerer, receiver: ts.Expression, recv: IrExpr, loc: IrExpr["loc"]): IrExpr | null;

package/dist/frontend/lowering/builtins/webassembly.js

@@ -0,0 +1,388 @@
+import * as ts from "../../ts7/adapter.js";
+import { PoisonError } from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { webAssemblyDiag } from "../../../diagnostics/diagnostic.js";
+import { BOOL, DYN, F64, STRING } from "../../../ir/ir.js";
+import { dynUndefinedExpr } from "../../../ir/build.js";
+import { lowerDynObjectLiteral } from "../expressions/object-literals.js";
+import { stdlibGlobalNameOf } from "../surfaces.js";
+import { isWebAssemblyType } from "../../type-mapper.js";
+/* The WebAssembly API. scriptc.d.ts declares its types (lib.dom's
+ * namespace) and the type mapper gives them the checked-dynamic
+ * representation. Modules whose bytes the build sees are translated to
+ * native code (wasm/translate.ts) and found at run time by the SHA-256 of
+ * their bytes (scr_wasm.c):
+ *   - WebAssembly.compile, instantiate and validate calls, new
+ *     WebAssembly.Module, Instance, Memory, Table and Global, and
+ *     WebAssembly.Module.imports, exports and customSections lower to
+ *     wasm.* libCalls; members of the values they produce (exports, memory
+ *     buffers, globals, tables) dispatch through the native handles;
+ *   - the classes called without `new` throw Node's TypeError
+ *     (wasm.withoutNew);
+ *   - `v instanceof WebAssembly.<Class>` lowers to wasm.is;
+ *   - the error classes construct with or without `new` (wasm.errorNew).
+ * Every other reached use of the API value (the classes as values, the
+ * streaming functions, Tag and Exception) still fences at its expression
+ * with webAssemblyDiag: a build error in TypeScript sources, a located
+ * runtime fence in JavaScript ones. typeof needs no value and folds to Node's
+ * answer. A lowering marks the lowerer, so the build translates the
+ * modules it discovers (lowerToIr). */
+/** The classes `wasm.is` answers, by kind. */
+const WASM_CLASSES = [
+    "Module",
+    "Instance",
+    "Memory",
+    "Table",
+    "Global",
+    "CompileError",
+    "LinkError",
+    "RuntimeError",
+];
+/** Strips the spellings that leave a value unchanged: parentheses, type
+ * assertions, `satisfies` and non-null assertions. */
+function bare(expr) {
+    for (;;) {
+        if (ts.isParenthesizedExpression(expr) || ts.isNonNullExpression(expr))
+            expr = expr.expression;
+        else if (ts.isAsExpression(expr) || ts.isTypeAssertion(expr))
+            expr = expr.expression;
+        else if (ts.isSatisfiesExpression(expr))
+            expr = expr.expression;
+        else
+            return expr;
+    }
+}
+/** The global object itself, as `globalThis` or `global` spells it. */
+function isGlobalThis(lowerer, expr) {
+    const node = bare(expr);
+    return (ts.isIdentifier(node) &&
+        (node.text === "globalThis" || node.text === "global") &&
+        stdlibGlobalNameOf(lowerer, node) === "globalThis");
+}
+/** THE WebAssembly namespace value: `WebAssembly` or `globalThis.WebAssembly`
+ * (and the global object reached through a cast, as in
+ * `(globalThis as any).WebAssembly`). */
+function isWebAssemblyGlobal(lowerer, expr) {
+    expr = bare(expr);
+    if (ts.isIdentifier(expr)) {
+        return expr.text === "WebAssembly" && stdlibGlobalNameOf(lowerer, expr) === "WebAssembly";
+    }
+    if (ts.isPropertyAccessExpression(expr)) {
+        return expr.name.text === "WebAssembly" && isGlobalThis(lowerer, expr.expression);
+    }
+    if (ts.isElementAccessExpression(expr)) {
+        const key = expr.argumentExpression;
+        return ((ts.isStringLiteral(key) || ts.isNoSubstitutionTemplateLiteral(key)) &&
+            key.text === "WebAssembly" &&
+            isGlobalThis(lowerer, expr.expression));
+    }
+    return false;
+}
+/** The surface a WebAssembly API expression names ('WebAssembly',
+ * 'globalThis.WebAssembly', 'WebAssembly.compile'), or null. A cheap
+ * spelling check runs first: almost every expression is rejected without a
+ * checker query. */
+function webAssemblySurface(lowerer, expr) {
+    // `globalThis as unknown as { WebAssembly: ... }`: the cast's target type
+    // names the member, and the value it checks is the global object's
+    // WebAssembly (the spelling pi's codemode uses).
+    if ((ts.isAsExpression(expr) || ts.isTypeAssertion(expr)) &&
+        isGlobalThis(lowerer, expr.expression)) {
+        const target = lowerer.checker.getTypeAtLocation(expr.type);
+        return lowerer.checker.getPropertyOfType(target, "WebAssembly") !== undefined
+            ? "globalThis.WebAssembly"
+            : null;
+    }
+    const node = bare(expr);
+    if (ts.isIdentifier(node)) {
+        return node.text === "WebAssembly" && isWebAssemblyGlobal(lowerer, node) ? "WebAssembly" : null;
+    }
+    if (ts.isPropertyAccessExpression(node)) {
+        if (node.name.text === "WebAssembly") {
+            return isWebAssemblyGlobal(lowerer, node) ? "globalThis.WebAssembly" : null;
+        }
+        // WebAssembly.<member>, and members of members
+        // (WebAssembly.Module.customSections).
+        const names = [node.name.text];
+        let receiver = bare(node.expression);
+        while (ts.isPropertyAccessExpression(receiver) && receiver.name.text !== "WebAssembly") {
+            names.unshift(receiver.name.text);
+            receiver = bare(receiver.expression);
+        }
+        const spelled = (ts.isIdentifier(receiver) && receiver.text === "WebAssembly") ||
+            (ts.isPropertyAccessExpression(receiver) && receiver.name.text === "WebAssembly");
+        return spelled && isWebAssemblyGlobal(lowerer, receiver)
+            ? `WebAssembly.${names.join(".")}`
+            : null;
+    }
+    if (ts.isElementAccessExpression(node)) {
+        return isWebAssemblyGlobal(lowerer, node) ? "globalThis.WebAssembly" : null;
+    }
+    return null;
+}
+/** Fences a reached use of the WebAssembly API. `prefix` qualifies a
+ * construction ('new '). Returns normally when `expr` is anything else. */
+export function refuseWebAssemblyUse(lowerer, expr, prefix = "") {
+    const surface = webAssemblySurface(lowerer, expr);
+    if (surface === null)
+        return;
+    lowerer.pushDiag(webAssemblyDiag(`${prefix}${surface}`, locOf(expr)));
+    throw new PoisonError();
+}
+/** `typeof WebAssembly` is "object" and `typeof WebAssembly.<member>` is
+ * "function" for every member the namespace declares, as in Node. The
+ * operand is an effect-free global read, so nothing else evaluates. */
+export function lowerWebAssemblyTypeof(lowerer, operand) {
+    const surface = webAssemblySurface(lowerer, operand);
+    if (surface === null)
+        return null;
+    const loc = locOf(operand);
+    if (surface === "WebAssembly" || surface === "globalThis.WebAssembly") {
+        return { kind: "strLit", value: "object", type: STRING, loc };
+    }
+    const t = lowerer.typeOf(operand);
+    if (lowerer.checker.getCallSignatures(t).length > 0 ||
+        lowerer.checker.getConstructSignatures(t).length > 0) {
+        return { kind: "strLit", value: "function", type: STRING, loc };
+    }
+    return null;
+}
+/** The member `WebAssembly.<member>` names (any spelling of the namespace),
+ * or null. */
+function webAssemblyMember(lowerer, expr) {
+    const surface = webAssemblySurface(lowerer, expr);
+    if (surface === null || !surface.startsWith("WebAssembly."))
+        return null;
+    const member = surface.slice("WebAssembly.".length);
+    return member.includes(".") ? null : member;
+}
+function lowerArg(lowerer, arg) {
+    return ts.isObjectLiteralExpression(arg)
+        ? lowerDynObjectLiteral(lowerer, arg)
+        : lowerer.lowerExprExpecting(arg, DYN);
+}
+/** An argument whose evaluation has no effect: a literal, a plain
+ * identifier, or an empty object or array literal. */
+function isInert(arg) {
+    const node = bare(arg);
+    if (ts.isObjectLiteralExpression(node))
+        return node.properties.nodes.length === 0;
+    if (ts.isArrayLiteralExpression(node))
+        return node.elements.nodes.length === 0;
+    return (ts.isIdentifier(node) ||
+        ts.isNumericLiteral(node) ||
+        node.kind === ts.SyntaxKind.BigIntLiteral ||
+        ts.isStringLiteral(node) ||
+        ts.isNoSubstitutionTemplateLiteral(node) ||
+        node.kind === ts.SyntaxKind.NullKeyword ||
+        node.kind === ts.SyntaxKind.TrueKeyword ||
+        node.kind === ts.SyntaxKind.FalseKeyword);
+}
+/** The arguments, padded with undefined to `count`. Extra arguments are
+ * ignored, as the API ignores them, when evaluating them has no effect;
+ * null for spreads or other extra arguments (they stay refused). */
+function lowerArgs(lowerer, args, count, loc) {
+    if (args.some(ts.isSpreadElement))
+        return null;
+    if (args.length > count) {
+        if (!args.slice(count).every(isInert))
+            return null;
+        args = args.slice(0, count);
+    }
+    const out = args.map((arg) => lowerArg(lowerer, arg));
+    while (out.length < count)
+        out.push(dynUndefinedExpr(loc));
+    return out;
+}
+function errorNew(member, args, loc) {
+    const kind = WASM_CLASSES.indexOf(member);
+    return {
+        kind: "libCall",
+        fn: "wasm.errorNew",
+        args: [{ kind: "numLit", value: kind, type: F64, loc }, args[0], args[1]],
+        type: DYN,
+        loc,
+    };
+}
+/** The classes that require `new`, in wasm.withoutNew's numbering. */
+const NEW_ONLY = ["Module", "Instance", "Memory", "Table", "Global"];
+/** `WebAssembly.Module.imports(module)`, `exports(module)` and
+ * `customSections(module, name)`. Their results are arrays of descriptors
+ * or ArrayBuffers built as checked-dynamic values, then taken into the
+ * call's own type. Null for anything else. */
+function lowerModuleStatic(lowerer, call) {
+    const surface = webAssemblySurface(lowerer, call.expression);
+    const name = surface?.startsWith("WebAssembly.Module.")
+        ? surface.slice("WebAssembly.Module.".length)
+        : null;
+    if (name !== "imports" && name !== "exports" && name !== "customSections")
+        return null;
+    const loc = locOf(call);
+    const args = lowerArgs(lowerer, call.arguments.nodes, name === "customSections" ? 2 : 1, loc);
+    if (args === null)
+        return null;
+    lowerer.usesWebAssembly = true;
+    if (name === "customSections")
+        lowerer.usesWasmCustomSections = true;
+    const fn = name === "imports"
+        ? "wasm.moduleImports"
+        : name === "exports"
+            ? "wasm.moduleExports"
+            : "wasm.moduleCustomSections";
+    const result = { kind: "libCall", fn, args, type: DYN, loc };
+    return lowerer.coerceInto(call, result, lowerer.irTypeOf(call));
+}
+/** `WebAssembly.compile(bytes)`, `WebAssembly.instantiate(source,
+ * imports?)`, `WebAssembly.validate(bytes)`, the error classes called
+ * without `new`, the other classes called without `new` (a TypeError), and
+ * Module's static functions. Null for anything else. */
+export function lowerWebAssemblyCall(lowerer, call) {
+    if (call.questionDotToken)
+        return null;
+    const member = webAssemblyMember(lowerer, call.expression);
+    if (member === null)
+        return lowerModuleStatic(lowerer, call);
+    const loc = locOf(call);
+    const newOnly = NEW_ONLY.indexOf(member);
+    if (newOnly >= 0) {
+        // The arguments evaluate, then the call throws.
+        const args = lowerArgs(lowerer, call.arguments.nodes, 2, loc);
+        if (args === null)
+            return null;
+        lowerer.usesWebAssembly = true;
+        return {
+            kind: "libCall",
+            fn: "wasm.withoutNew",
+            args: [{ kind: "numLit", value: newOnly, type: F64, loc }, args[0], args[1]],
+            type: DYN,
+            loc,
+        };
+    }
+    const isError = member === "CompileError" || member === "LinkError" || member === "RuntimeError";
+    if (member !== "compile" && member !== "instantiate" && member !== "validate" && !isError)
+        return null;
+    const used = member === "instantiate" || isError ? 2 : 1;
+    const args = lowerArgs(lowerer, call.arguments.nodes, used, loc);
+    if (args === null)
+        return null;
+    lowerer.usesWebAssembly = true;
+    let result;
+    if (isError)
+        result = errorNew(member, args, loc);
+    else if (member === "validate")
+        result = { kind: "libCall", fn: "wasm.validate", args: [args[0]], type: BOOL, loc };
+    else if (member === "compile")
+        result = {
+            kind: "libCall",
+            fn: "wasm.compile",
+            args: [args[0]],
+            type: { kind: "promise", inner: DYN },
+            loc,
+        };
+    else
+        result = {
+            kind: "libCall",
+            fn: "wasm.instantiate",
+            args: [args[0], args[1]],
+            type: { kind: "promise", inner: DYN },
+            loc,
+        };
+    return result;
+}
+/** `new WebAssembly.Module(bytes)`, `new WebAssembly.Instance(module,
+ * imports?)`, `new WebAssembly.Memory(descriptor)`, `new
+ * WebAssembly.Table(descriptor, value?)`, `new
+ * WebAssembly.Global(descriptor, value?)` and the error classes. Null for
+ * anything else. */
+export function lowerWebAssemblyNew(lowerer, expr) {
+    const member = webAssemblyMember(lowerer, expr.expression);
+    if (member === null)
+        return null;
+    const isError = member === "CompileError" || member === "LinkError" || member === "RuntimeError";
+    if (!NEW_ONLY.includes(member) && !isError)
+        return null;
+    const loc = locOf(expr);
+    const used = member === "Module" || member === "Memory" ? 1 : 2;
+    const args = lowerArgs(lowerer, expr.arguments?.nodes ?? [], used, loc);
+    if (args === null)
+        return null;
+    lowerer.usesWebAssembly = true;
+    let result;
+    if (isError)
+        result = errorNew(member, args, loc);
+    else if (member === "Module")
+        result = { kind: "libCall", fn: "wasm.moduleNew", args: [args[0]], type: DYN, loc };
+    else if (member === "Memory")
+        result = { kind: "libCall", fn: "wasm.memoryNew", args: [args[0]], type: DYN, loc };
+    else if (member === "Table")
+        result = { kind: "libCall", fn: "wasm.tableNew", args: [args[0], args[1]], type: DYN, loc };
+    else if (member === "Global")
+        result = { kind: "libCall", fn: "wasm.globalNew", args: [args[0], args[1]], type: DYN, loc };
+    else
+        result = {
+            kind: "libCall",
+            fn: "wasm.instanceNew",
+            args: [args[0], args[1]],
+            type: DYN,
+            loc,
+        };
+    return result;
+}
+/** `v instanceof WebAssembly.<Class>`. Null for anything else. */
+export function lowerWebAssemblyInstanceof(lowerer, expr) {
+    const member = webAssemblyMember(lowerer, expr.right);
+    if (member === null)
+        return null;
+    const kind = WASM_CLASSES.indexOf(member);
+    if (kind < 0)
+        return null;
+    const loc = locOf(expr);
+    lowerer.usesWebAssembly = true;
+    const value = lowerer.coerceInto(expr.left, lowerer.lowerExpr(expr.left), DYN);
+    return {
+        kind: "libCall",
+        fn: "wasm.is",
+        args: [value, { kind: "numLit", value: kind, type: F64, loc }],
+        type: BOOL,
+        loc,
+    };
+}
+/** WebAssembly API values: `WebAssembly.compile`, `instantiate` and
+ * `validate` read as functions, the namespace itself (`WebAssembly`,
+ * `globalThis.WebAssembly`), and the global object cast to a type with a
+ * `WebAssembly` member (pi codemode's spelling). Null for anything else,
+ * which refuseWebAssemblyUse then fences. */
+export function lowerWebAssemblyValue(lowerer, expr) {
+    const surface = webAssemblySurface(lowerer, expr);
+    if (surface === null)
+        return null;
+    const loc = locOf(expr);
+    const node = bare(expr);
+    const fn = (name, args) => {
+        lowerer.usesWebAssembly = true;
+        return { kind: "libCall", fn: name, args, type: DYN, loc };
+    };
+    if (surface === "globalThis.WebAssembly") {
+        // The cast spelling names the global object, not its member.
+        const cast = (ts.isAsExpression(expr) || ts.isTypeAssertion(expr)) &&
+            isGlobalThis(lowerer, expr.expression);
+        return cast ? fn("wasm.globalView", []) : fn("wasm.namespace", []);
+    }
+    if (surface === "WebAssembly")
+        return fn("wasm.namespace", []);
+    const index = ["WebAssembly.compile", "WebAssembly.instantiate", "WebAssembly.validate"].indexOf(surface);
+    if (index < 0 || !ts.isPropertyAccessExpression(node))
+        return null;
+    return fn("wasm.function", [{ kind: "numLit", value: index, type: F64, loc }]);
+}
+/** `global.valueOf()` on a receiver typed as a WebAssembly value: a
+ * Global answers its value (the generic dyn.valueOf answers the object
+ * itself for native handles other than Date). Null for other receivers. */
+export function lowerWebAssemblyValueOf(lowerer, receiver, recv, loc) {
+    const ctx = { checker: lowerer.checker, isStdlibFile: lowerer.isStdlibFile };
+    if (!isWebAssemblyType(lowerer.typeOf(receiver), ctx))
+        return null;
+    lowerer.usesWebAssembly = true;
+    return { kind: "libCall", fn: "wasm.valueOf", args: [recv], type: DYN, loc };
+}
+//# sourceMappingURL=webassembly.js.map

package/dist/frontend/lowering/builtins/webassembly.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"webassembly.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/webassembly.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAe,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;uCAmBuC;AAEvC,8CAA8C;AAC9C,MAAM,YAAY,GAAG;IACnB,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,cAAc;IACd,WAAW;IACX,cAAc;CACN,CAAC;AACX;sDACsD;AACtD,SAAS,IAAI,CAAC,IAAmB;IAC/B,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;aAC1F,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;aAChF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;;YAC3D,OAAO,IAAI,CAAC;IACnB,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAmB;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QACtD,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,YAAY,CACnD,CAAC;AACJ,CAAC;AAED;;yCAEyC;AACzC,SAAS,mBAAmB,CAAC,OAAgB,EAAE,IAAmB;IAChE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,aAAa,CAAC;IAC5F,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACpC,OAAO,CACL,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;YACpE,GAAG,CAAC,IAAI,KAAK,aAAa;YAC1B,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;oBAGoB;AACpB,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IAC/D,0EAA0E;IAC1E,mEAAmE;IACnE,iDAAiD;IACjD,IACE,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACrD,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,EACtC,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,SAAS;YAC3E,CAAC,CAAC,wBAAwB;YAC1B,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACrC,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9E,CAAC;QACD,+CAA+C;QAC/C,uCAAuC;QACvC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACvF,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;QACD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC;YAC9D,CAAC,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QACpF,OAAO,OAAO,IAAI,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC;YACtD,CAAC,CAAC,eAAe,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAClC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAmB,EAAE,MAAM,GAAG,EAAE;IACrF,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO;IAC7B,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,MAAM,GAAG,OAAO,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,OAAsB;IAC7E,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,OAAO,KAAK,aAAa,IAAI,OAAO,KAAK,wBAAwB,EAAE,CAAC;QACtE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChE,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClC,IACE,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;QAC/C,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EACpD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;cACc;AACd,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IAC9D,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED,SAAS,QAAQ,CAAC,OAAgB,EAAE,GAAkB;IACpD,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACtC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;QACrC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAC3C,CAAC;AAED;sDACsD;AACtD,SAAS,OAAO,CAAC,GAAkB;IACjC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;IAClF,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/E,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QACxC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CACzC,CAAC;AACJ,CAAC;AAED;;oEAEoE;AACpE,SAAS,SAAS,CAChB,OAAgB,EAChB,IAA8B,EAC9B,KAAa,EACb,GAAkB;IAElB,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,OAAO,GAAG,CAAC,MAAM,GAAG,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc,EAAE,IAAc,EAAE,GAAkB;IAClE,MAAM,IAAI,GAAI,YAAkC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;QAC3E,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAErE;;;8CAG8C;AAC9C,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAuB;IAClE,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,OAAO,EAAE,UAAU,CAAC,qBAAqB,CAAC;QACrD,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9F,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;IAC/B,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC;IACrE,MAAM,EAAE,GACN,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,oBAAoB;QACtB,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,2BAA2B,CAAC;IACpC,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrE,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;;wDAGwD;AACxD,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAuB;IAC5E,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACjB,gDAAgD;QAChD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9D,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YAC9E,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,cAAc,CAAC;IACjG,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,UAAU,IAAI,CAAC,OAAO;QACvF,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,MAAM,KAAK,aAAa,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;IAC/B,IAAI,MAAc,CAAC;IACnB,IAAI,OAAO;QAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;SAC7C,IAAI,MAAM,KAAK,UAAU;QAC5B,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAClF,IAAI,MAAM,KAAK,SAAS;QAC3B,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;YACrC,GAAG;SACJ,CAAC;;QAEF,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;YACrC,GAAG;SACJ,CAAC;IACJ,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;oBAIoB;AACpB,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAsB;IAC1E,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,cAAc,CAAC;IACjG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACxE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;IAC/B,IAAI,MAAc,CAAC;IACnB,IAAI,OAAO;QAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;SAC7C,IAAI,MAAM,KAAK,QAAQ;QAC1B,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SAClF,IAAI,MAAM,KAAK,QAAQ;QAC1B,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SAClF,IAAI,MAAM,KAAK,OAAO;QACzB,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SAC3F,IAAI,MAAM,KAAK,QAAQ;QAC1B,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;;QAE/F,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YAC1B,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,IAAyB;IAEzB,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,IAAI,GAAI,YAAkC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjE,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9D,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;6CAI6C;AAC7C,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAmB;IACzE,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAc,EAAU,EAAE;QAClD,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAwB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjF,CAAC,CAAC;IACF,IAAI,OAAO,KAAK,wBAAwB,EAAE,CAAC;QACzC,6DAA6D;QAC7D,MAAM,IAAI,GACR,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACrD,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,OAAO,KAAK,aAAa;QAAE,OAAO,EAAE,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,sBAAsB,CAAC,CAAC,OAAO,CAC9F,OAAO,CACR,CAAC;IACF,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAuB,EACvB,IAAY,EACZ,GAAkB;IAElB,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;IAC7E,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;IAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC/E,CAAC"}

package/dist/frontend/lowering/builtins/webcrypto.d.ts

@@ -0,0 +1,20 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** `crypto.subtle.<method>(...args)`: the lowered methods become their
+ * libCall over the argument vector; every other method is refused. */
+export declare function lowerWebCryptoCall(lowerer: Lowerer, call: ts.CallExpression): IrExpr | null;
+/** `v instanceof CryptoKey` against the global. */
+export declare function lowerCryptoKeyInstanceof(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr | null;
+/** TypeScript reads of `crypto.subtle` and its members outside a direct
+ * call: the global's dynamic object does not carry the lowered methods,
+ * so a detached read is refused rather than answering a value without
+ * them. JavaScript keeps the dynamic object's reads. */
+export declare function fenceWebCryptoMember(lowerer: Lowerer, access: ts.PropertyAccessExpression | ts.ElementAccessExpression, use: "read" | "call"): IrExpr | null;
+/** Whether a checker type is one of the WebCrypto interfaces reached
+ * through the crypto global's members (SubtleCrypto, CryptoKey and the
+ * algorithm dictionaries). While `crypto` was typed `unknown` those member
+ * reads were untyped, so JavaScript destructurings of them keep the
+ * module-global path untyped bindings take. `Crypto` itself is excluded:
+ * the global was `unknown`, which already mapped to dyn. */
+export declare function isWebCryptoMemberType(lowerer: Lowerer, type: ts.Type): boolean;