@scriptc/compiler 0.2.3 → 0.2.5

package/dist/ir/runtime-features.js

@@ -0,0 +1,551 @@
+import { RUNTIME_EMITTER_CLASS, RUNTIME_STREAM_CLASSES } from "./ir.js";
+import { everyModuleNode } from "./traverse.js";
+const DYN_ASYNC_LIB_FNS = new Set([
+    "fs.callbackValue",
+    "fs.callbackCall",
+    "async.awaitDyn",
+    "timers.immediatePromise",
+    "crypto.native",
+    "dyn.promiseAll",
+    "process.onUncaughtException",
+    "process.offUncaughtException",
+    "process.onUnhandledRejection",
+    "process.offUnhandledRejection",
+    "process.onRejectionHandled",
+    "process.offRejectionHandled",
+    "process.onWarning",
+    "process.offWarning",
+    "process.emitWarning",
+    "util.styleText",
+    "als.new",
+    "als.get",
+    "als.run",
+    "als.exitRun",
+    "als.enterWith",
+    "als.disable",
+    "dc.chanBindStore",
+    "dc.chanUnbindStore",
+    "dc.chanRunStores",
+]);
+/** Inspect types and expressions together in one traversal. This is a fresh
+ * snapshot: callers may mutate an IR module between compilation passes. */
+export function moduleRuntimeFeatures(mod) {
+    return scanRuntimeFeatures(mod);
+}
+function scanRuntimeFeatures(mod, stopAt) {
+    const features = {
+        regex: false,
+        copying: false,
+        legacyTextDecoder: false,
+        fileHandle: false,
+        fetch: mod.embedded?.modules.some((m) => m.usesFetch === true) ?? false,
+        processEvents: false,
+        emitter: (mod.classes ?? []).some((c) => c.name === RUNTIME_EMITTER_CLASS),
+        stream: (mod.classes ?? []).some((c) => RUNTIME_STREAM_CLASSES.has(c.name)),
+        zlib: mod.embedded?.edges.some((e) => e.to === "node:zlib") ?? false,
+        dc: false,
+        assert: false,
+        dynInvoke: false,
+        dynAsync: mod.functions.some((fn) => fn.async === true && fn.generator === undefined && fn.returnType.kind === "dyn"),
+        inspect: false,
+        childProcess: false,
+        net: false,
+        symbol: false,
+        bigint: false,
+        searchParams: false,
+        qs: false,
+        parseArgs: false,
+        fsWatch: false,
+        nodeTest: false,
+        dgram: false,
+        http: false,
+        http2: false,
+        tls: false,
+        tlsCa: false,
+    };
+    const keepGoing = () => stopAt === undefined || !features[stopAt];
+    const expr = (node) => {
+        if (node.kind === "libCall") {
+            const fn = node.fn;
+            if (fn === "regexp.escape" ||
+                fn === "dyn.nativeRegexIs" ||
+                fn === "util.stripVTControlCharacters")
+                features.regex = true;
+            if (fn === "text.decodeLegacy" ||
+                fn === "text.decodeLegacyOptions" ||
+                fn === "text.decodeStream")
+                features.legacyTextDecoder = true;
+            if (fn.startsWith("fetch."))
+                features.fetch = true;
+            if (PROCESS_EVENT_LIB_FNS.has(fn))
+                features.processEvents = true;
+            if (fn.startsWith("emitter."))
+                features.emitter = true;
+            if (fn.startsWith("readable.") ||
+                fn.startsWith("writable.") ||
+                fn.startsWith("duplex.") ||
+                fn.startsWith("transform.") ||
+                fn.startsWith("passthrough.") ||
+                fn.startsWith("sc.") ||
+                fn.startsWith("stream.set") ||
+                fn === "stream.destroy" ||
+                fn === "stream.destroyErr" ||
+                fn === "stream.prop" ||
+                fn === "stream.errored" ||
+                fn === "sp.finished" ||
+                fn === "sp.pipeline")
+                features.stream = true;
+            if (fn.startsWith("zlib."))
+                features.zlib = true;
+            if (fn.startsWith("dc."))
+                features.dc = true;
+            if (fn.startsWith("assert."))
+                features.assert = true;
+            if (fn === "dyn.defineProps" ||
+                fn === "dyn.definePrototypeProps" ||
+                fn === "dyn.defineProperty" ||
+                fn === "dyn.objCreateWithProperties" ||
+                fn === "dyn.arrayProtoCall" ||
+                fn === "dyn.arrayPrototype" ||
+                fn === "dyn.functionApply" ||
+                fn === "dyn.builtinMethod")
+                features.dynInvoke = true;
+            if (DYN_ASYNC_LIB_FNS.has(fn))
+                features.dynAsync = true;
+            if (fn.startsWith("insp.") ||
+                fn === "console.native" ||
+                fn === "global.native" ||
+                fn === "util.styleText")
+                features.inspect = true;
+            if (fn.startsWith("cp.") ||
+                fn.startsWith("child.") ||
+                fn.startsWith("writer.") ||
+                fn.startsWith("spawnRes.") ||
+                fn === "process.forkTarget" ||
+                fn === "process.connected" ||
+                fn === "process.send" ||
+                fn === "process.sendCb" ||
+                fn === "process.disconnect" ||
+                fn === "process.onMessage" ||
+                fn === "process.onDisconnect")
+                features.childProcess = true;
+            if (fn.startsWith("net."))
+                features.net = true;
+            if (fn.startsWith("http.")) {
+                features.net = true;
+                features.http = true;
+            }
+            if (fn.startsWith("tls.") || fn.startsWith("https.") || fn.startsWith("http2.")) {
+                features.net = true;
+                features.http = true;
+                features.tls = true;
+            }
+            if (fn.startsWith("http2.") && !HTTP2_LEGACY_FNS.has(fn))
+                features.http2 = true;
+            if (fn.startsWith("sym.") || fn === "util.isDeepStrictEqual")
+                features.symbol = true;
+            if (fn === "process.hrtimeValue")
+                features.bigint = true;
+            if (fn.startsWith("bigint."))
+                features.bigint = true;
+            if (fn.startsWith("sp.") || fn === "url.searchParams")
+                features.searchParams = true;
+            if (fn === "qs.parse" || fn === "qs.stringify" || fn === "qs.unescape")
+                features.qs = true;
+            if (fn === "util.parseArgs" || fn === "util.isDeepStrictEqual" || fn === "util.styleText")
+                features.parseArgs = true;
+            if (fn === "util.styleText")
+                features.processEvents = true;
+            if (fn.startsWith("fs.watch") || fn.startsWith("watcher."))
+                features.fsWatch = true;
+            if (fn.startsWith("test."))
+                features.nodeTest = true;
+            if (fn.startsWith("dgram.") || fn.startsWith("dns."))
+                features.dgram = true;
+            if (fn.startsWith("tlsca."))
+                features.tlsCa = true;
+        }
+        else {
+            switch (node.kind) {
+                case "regexLit":
+                case "regexIntrinsic":
+                    features.regex = true;
+                    break;
+                case "strIntrinsic":
+                    if (node.method === "toLowerCase" ||
+                        node.method === "toUpperCase" ||
+                        node.method === "normalize")
+                        features.regex = true;
+                    break;
+                case "arrIntrinsic":
+                    if (node.method === "toReversed" ||
+                        node.method === "toSpliced" ||
+                        node.method === "with" ||
+                        node.method === "withUndefined")
+                        features.copying = true;
+                    break;
+                case "bytesIntrinsic":
+                    if (node.method === "toReversed" ||
+                        node.method === "with" ||
+                        node.method === "join" ||
+                        node.method === "toArray")
+                        features.copying = true;
+                    break;
+                case "jsOp":
+                    if (node.op === "globalGet" && node.name === "fetch")
+                        features.fetch = true;
+                    break;
+                case "dynInvoke":
+                    features.dynInvoke = true;
+                    break;
+                case "awaitExpr":
+                    if (node.type.kind === "dyn")
+                        features.dynAsync = true;
+                    break;
+                case "dynFrom": {
+                    const boxed = node.value.type;
+                    if (boxed.kind === "promise" || (boxed.kind === "func" && boxed.ret.kind === "promise"))
+                        features.dynAsync = true;
+                    break;
+                }
+            }
+        }
+        return keepGoing();
+    };
+    const type = (node) => {
+        switch (node.kind) {
+            case "regex":
+                features.regex = true;
+                break;
+            case "fileHandle":
+                features.fileHandle = true;
+                break;
+            case "procStream":
+                features.processEvents = true;
+                break;
+            case "child":
+            case "childStream":
+            case "childWriter":
+            case "spawnRes":
+                features.childProcess = true;
+                break;
+            case "netServer":
+            case "netSocket":
+                features.net = true;
+                break;
+            case "http2Session":
+            case "http2Stream":
+                features.net = true;
+                features.http2 = true;
+                break;
+            case "httpReq":
+            case "httpRes":
+            case "httpClientReq":
+                features.net = true;
+                features.http = true;
+                break;
+            case "secureCtx":
+                features.net = true;
+                features.http = true;
+                features.tls = true;
+                break;
+            case "symbol":
+                features.symbol = true;
+                break;
+            case "bigint":
+                features.bigint = true;
+                break;
+            case "searchParams":
+                features.searchParams = true;
+                break;
+            case "fsWatcher":
+                features.fsWatch = true;
+                break;
+            case "testCtx":
+                features.nodeTest = true;
+                break;
+            case "dgramSocket":
+                features.dgram = true;
+                break;
+        }
+        return keepGoing();
+    };
+    if (keepGoing())
+        everyModuleNode(mod, { expr, stmt: keepGoing, type });
+    return features;
+}
+/** True when the module contains any regex construct — a regexLit /
+ * regexIntrinsic node or a regex-typed slot anywhere. This is the link
+ * switch that pulls scr_regex.c + the vendored libregexp into the binary
+ * (native-toolchain.ts); regex-free programs keep the historical command line. The
+ * typed traversal visits type slots as well as executable nodes. */
+export function moduleUsesRegex(mod) {
+    return scanRuntimeFeatures(mod, "regex").regex;
+}
+/** True when the module contains an intrinsic whose implementation lives
+ * in scr_copying.c. This is the link switch that keeps the optional
+ * Array-copying and typed-array bridge TU out of unrelated binaries. */
+export function moduleUsesCopying(mod) {
+    return scanRuntimeFeatures(mod, "copying").copying;
+}
+/** True when a non-UTF-8 TextDecoder call survives lowering. This gates the
+ * generated legacy mapping tables inside scr_bytes.c; the default UTF-8
+ * decoder and unrelated Buffer users keep their prior runtime object. */
+export function moduleUsesLegacyTextDecoder(mod) {
+    return scanRuntimeFeatures(mod, "legacyTextDecoder").legacyTextDecoder;
+}
+/** True when a FileHandle type survives in the module. This is the link
+ * switch for scr_file_handle.c; fs/promises.open carries the type inside its
+ * promise result even when no handle method is called. */
+export function moduleUsesFileHandle(mod) {
+    return scanRuntimeFeatures(mod, "fileHandle").fileHandle;
+}
+/** True when user code lowers static fetch or the embedded npm graph
+ * reaches the engine's global fetch — the link switch that pulls scr_fetch.c +
+ * its socket/tls/zlib dependencies into the binary (native-toolchain.ts) and has the
+ * emitted main call scr_fetch_install. The npm graph records the embedded
+ * source fact with a parser + binder, so comments, strings, property names,
+ * and local `fetch` bindings do not change the link or target capability.
+ * Fetch-free graphs keep their exact historical link lines. */
+export function moduleUsesFetch(mod) {
+    return scanRuntimeFeatures(mod, "fetch").fetch;
+}
+/** The libCall fns served by the OPTIONAL events unit (scr_events.c):
+ * process signal/exit listeners and the piped-stdin surface. */
+const PROCESS_EVENT_LIB_FNS = new Set([
+    "process.stdio",
+    "process.onSignal",
+    "process.offSignal",
+    "process.onExit",
+    "process.offExit",
+    "stdin.onData",
+    "stdin.onEnd",
+    "stdin.onError",
+    "stdin.nextChunk",
+    // node:readline rides the stdin unit (scr_readline.c links beside
+    // scr_events.c under the same gate).
+    "rl.create",
+    "rl.question",
+    "rl.close",
+    "rl.onClose",
+]);
+/** True when the module uses the process-events surface — the link switch
+ * that pulls scr_events.c into the binary and has the emitted main call
+ * scr_events_install (native-toolchain.ts + emitter; the scr_regex/scr_fetch/scr_zlib
+ * gating precedent). Event-free programs pay zero bytes and keep their
+ * exact link line. Same generic-walk shape as moduleUsesRegex. */
+export function moduleUsesProcessEvents(mod) {
+    return scanRuntimeFeatures(mod, "processEvents").processEvents;
+}
+/** True when the module uses the node:events EventEmitter surface — the
+ * link switch that pulls scr_events_emitter.c into the binary (native-toolchain.ts; the
+ * scr_events.c gating precedent, but pure data structure: no install, no
+ * loop hooks). Two signals: the `%EventEmitter` class def rides the
+ * module (any emitter-typed value or `extends EventEmitter` subclass
+ * references it, and the emitted RC/trace helpers call scr_emitter_*),
+ * or an emitter.* libCall survived (the defaultMaxListeners statics carry
+ * no emitter-typed value). Emitter-free programs pay zero bytes and keep
+ * their exact link line. */
+export function moduleUsesEmitter(mod) {
+    return scanRuntimeFeatures(mod, "emitter").emitter;
+}
+/** True when the program touches the node:stream surface (scr_stream.c —
+ * the moduleUsesEmitter story: the class defs ride the module whenever a
+ * stream-typed value exists, and every stream libCall names its unit).
+ * Stream programs always use the emitter unit too — the stream class
+ * defs pull `%EventEmitter` through their base chain, so
+ * moduleUsesEmitter answers true whenever this does. Stream-free
+ * programs pay zero bytes and keep their exact link line. */
+export function moduleUsesStream(mod) {
+    return scanRuntimeFeatures(mod, "stream").stream;
+}
+/** True when the embedded npm graph has an edge into `builtin` — the
+ * island shim needs the corresponding native bridge linked (zlib's is
+ * the first; the emitted main installs it before any island entry). */
+export function moduleEmbedsBuiltin(mod, builtin) {
+    return mod.embedded !== undefined && mod.embedded.edges.some((e) => e.to === builtin);
+}
+/** Embedded module texts at least this long are DEFLATE-compressed into
+ * the emitted LLVM (island.ts; each stays plain when deflate does not
+ * shrink it) and inflated lazily by the island's module loader at first
+ * load. Below it the zlib round trip cannot pay for itself. */
+export const NPM_COMPRESS_MIN = 1024;
+/** True when the emitted npm tables will carry compressed module text —
+ * the SAME candidate test island.ts compresses by, so index.ts's
+ * zlib link switch and emitter.ts's inflater installation stay in
+ * lockstep with the emission (a candidate whose deflate happens not to
+ * shrink stays plain; the installed inflater is then just unused). */
+export function moduleEmbedsCompressedNpm(mod) {
+    return (mod.embedded !== undefined &&
+        mod.embedded.modules.some((m) => m.source.length >= NPM_COMPRESS_MIN || (m.esm ?? "").length >= NPM_COMPRESS_MIN));
+}
+/** True when the module contains any zlib libCall (the static lowering)
+ * OR the embedded npm graph imports node:zlib (the island shim) — the
+ * link switch that pulls scr_zlib.c + the system libz into the binary
+ * (native-toolchain.ts); zlib-free programs keep their exact link line. Same
+ * generic-walk shape as moduleUsesRegex: `kind`/`fn` discriminants live
+ * only on IR objects. */
+export function moduleUsesZlib(mod) {
+    return scanRuntimeFeatures(mod, "zlib").zlib;
+}
+/** True when the module contains any dc.* libCall — the link switch that
+ * pulls scr_dc.c (the diagnostics_channel registry and pub/sub) into the
+ * binary (native-toolchain.ts). Channel-free binaries keep their exact size class.
+ * Same walk shape as moduleUsesZlib. */
+export function moduleUsesDc(mod) {
+    return scanRuntimeFeatures(mod, "dc").dc;
+}
+/** True when the module contains any assert libCall — the link switch
+ * that pulls scr_assert.c into the binary (native-toolchain.ts). scr_regex.c calls the
+ * assert throw/inspect helpers (assert.match lives there), so the regex
+ * switch also pulls scr_assert.c; assert-free, regex-free binaries keep
+ * the historical command line and size. Same walk shape as
+ * moduleUsesZlib. */
+export function moduleUsesAssert(mod) {
+    return scanRuntimeFeatures(mod, "assert").assert;
+}
+/** True when the module contains any dynInvoke node or dyn.defineProps
+ * libCall — the link switch that pulls scr_dyn_invoke.c (the prototype-
+ * method dispatch on dyn receivers, plus scr_dyn_display and
+ * scr_dyn_define_props) into the binary (native-toolchain.ts; the assert gating
+ * precedent — dispatch-free binaries keep their exact size class). Same
+ * walk shape as moduleUsesZlib. */
+export function moduleUsesDynInvoke(mod) {
+    return scanRuntimeFeatures(mod, "dynInvoke").dynInvoke;
+}
+/** True when the module contains any insp libCall — the link switch that
+ * pulls scr_inspect.c into the binary (native-toolchain.ts; the assert gating
+ * precedent — inspect-free binaries keep the historical command line and
+ * size class). Same walk shape as moduleUsesZlib. */
+/** True when the module needs scr_async_dyn.c — the checked-dynamic
+ * async surfaces (dyn-promise then/catch/finally reactions, await of a
+ * dyn value, `new Promise(setImmediate)`, AsyncLocalStorage, the
+ * unhandledRejection/warning process events). Also pulled by the
+ * dynInvoke and dc gates (their TUs call into this one) — native-toolchain.ts. Same
+ * walk shape as moduleUsesZlib. */
+export function moduleUsesDynAsync(mod) {
+    return scanRuntimeFeatures(mod, "dynAsync").dynAsync;
+}
+export function moduleUsesInspect(mod) {
+    return scanRuntimeFeatures(mod, "inspect").inspect;
+}
+/** True when the module reaches child_process or carries one of its runtime
+ * handle/result types. Besides the existing link consequence, this gates the
+ * checked-dynamic ChildProcess handle table installed from scr_child.c. */
+export function moduleUsesChildProcess(mod) {
+    return scanRuntimeFeatures(mod, "childProcess").childProcess;
+}
+/** True when the module contains any net libCall — the link switch that
+ * pulls scr_net.c into the binary and has the emitted main call
+ * scr_net_install (native-toolchain.ts + emitter; the scr_events gating precedent).
+ * Net-free programs pay zero bytes and keep their exact link line. Same
+ * generic-walk shape as moduleUsesZlib. */
+export function moduleUsesNet(mod) {
+    return scanRuntimeFeatures(mod, "net").net;
+}
+/** True when the module contains any sym.* libCall or a symbol-kind type
+ * anywhere in the IR — the link switch that pulls scr_symbol.c into the
+ * binary (native-toolchain.ts; the scr_net gating precedent — no install call, the
+ * Symbol.for registry initializes lazily). The TYPE check matters like
+ * net's: a symbol-typed local whose initializer compiled to a runtime
+ * fence still emits release calls that need the unit linked. Symbol-free
+ * programs pay zero bytes and keep their exact link line. */
+export function moduleUsesSymbol(mod) {
+    return scanRuntimeFeatures(mod, "symbol").symbol;
+}
+/** True when bigint runtime operations or bigint-typed storage appears in
+ * the IR. The type check keeps retain/release references link-safe even
+ * when a producing statement was replaced by a runtime fence. */
+export function moduleUsesBigInt(mod) {
+    return scanRuntimeFeatures(mod, "bigint").bigint;
+}
+/** True when the module uses the URLSearchParams surface — sp.* libCalls,
+ * the url.searchParams getter, or a searchParams-kind type anywhere on
+ * the IR (a fenced statement can leave a typed local whose release call
+ * still needs the unit linked) — the link switch that pulls
+ * scr_url_params.c into the binary (the moduleUsesSymbol precedent: pure
+ * data structure, no loop hooks, cross-compiles everywhere). sp-free
+ * programs keep their exact link line; scr_url.c itself stays
+ * always-linked and never references the unit. */
+export function moduleUsesSearchParams(mod) {
+    return scanRuntimeFeatures(mod, "searchParams").searchParams;
+}
+/** True when the module uses the node:querystring surface — the qs.*
+ * libCalls that live in scr_qs.c (parse/stringify/unescape; qs.escape
+ * emits the always-linked component encoder and deliberately does NOT
+ * flip this switch) — the link switch that pulls scr_qs.c into the
+ * binary (the moduleUsesSearchParams precedent: pure data transforms, no
+ * loop hooks, cross-compiles everywhere). qs-free programs keep their
+ * exact link line. Same generic-walk shape as moduleUsesZlib. */
+export function moduleUsesQs(mod) {
+    return scanRuntimeFeatures(mod, "qs").qs;
+}
+/** True when the module uses native util parsing, comparison, or styling.
+ * The utility units also follow their required symbol, inspection, and
+ * warning features, independently of the island's node:util shim. */
+export function moduleUsesParseArgs(mod) {
+    return scanRuntimeFeatures(mod, "parseArgs").parseArgs;
+}
+/** True when the module contains any fs.watch/watcher.* libCall — the
+ * link switch that pulls scr_watch.c into the binary and has the emitted
+ * main call scr_watch_install (native-toolchain.ts + emitter; the scr_net gating
+ * precedent). Watch-free programs pay zero bytes and keep their exact
+ * link line. Same generic-walk shape as moduleUsesZlib. */
+export function moduleUsesFsWatch(mod) {
+    return scanRuntimeFeatures(mod, "fsWatch").fsWatch;
+}
+/** True when the module contains any test.* libCall or a testCtx handle
+ * type — the link switch that pulls scr_test.c into the binary and has
+ * the emitted main return scr_test_exit_code() after the loop drains
+ * (native-toolchain.ts + emitter; the moduleUsesDgram shape). Test-free programs pay
+ * zero bytes and keep their exact link line. */
+export function moduleUsesNodeTest(mod) {
+    return scanRuntimeFeatures(mod, "nodeTest").nodeTest;
+}
+/** True when the module contains any dgram.* or dns.* libCall — the
+ * link switch that pulls scr_dgram.c into the binary and has the emitted
+ * main call scr_dgram_install (native-toolchain.ts + emitter; the scr_net gating
+ * precedent — dns.lookup lives in the same unit, so either prefix
+ * answers). Dgram-free programs pay zero bytes and keep their exact link
+ * line. Same generic-walk shape as moduleUsesZlib. */
+export function moduleUsesDgram(mod) {
+    return scanRuntimeFeatures(mod, "dgram").dgram;
+}
+/** True when the module contains any http.* libCall — the link switch
+ * that pulls scr_http.c into the binary (native-toolchain.ts; moduleUsesNet already
+ * answers true for these, so scr_net.c comes along). */
+export function moduleUsesHttpServer(mod) {
+    return scanRuntimeFeatures(mod, "http").http;
+}
+/** The legacy http2.* libCalls implemented by scr_http.c/scr_tls.c (the
+ * allowHTTP1 compatibility slice) — they must NOT pull scr_http2.c, so
+ * divergence-57 binaries keep their exact link line. */
+const HTTP2_LEGACY_FNS = new Set([
+    "http2.streamNoop",
+    "http2.streamUndefCall",
+]);
+/** True when the module uses the REAL h2 surface (scr_http2.c): any core
+ * http2.* libCall, or an h2 handle type left behind by a fenced statement
+ * (its emitted release call needs the unit — the moduleUsesNet story). */
+export function moduleUsesHttp2(mod) {
+    return scanRuntimeFeatures(mod, "http2").http2;
+}
+/** True when the module contains any tls.* or https.* libCall — the link
+ * switch that pulls scr_tls.c and the vendored mbedTLS archive into the
+ * binary (native-toolchain.ts; moduleUsesNet and moduleUsesHttpServer already answer
+ * true for these, so scr_net.c and scr_http.c come along). TLS-free
+ * programs keep their exact link line and never build mbedTLS. */
+export function moduleUsesTls(mod) {
+    return scanRuntimeFeatures(mod, "tls").tls;
+}
+/** True when the module contains any tlsca.* libCall — the link switch
+ * for scr_tls_ca.c, the CA-store introspection unit (getCACertificates /
+ * rootCertificates / setDefaultCACertificates). Deliberately SEPARATE
+ * from moduleUsesTls: the unit is plain PEM-block bookkeeping, so a
+ * program that only inspects the CA store never pulls mbedTLS. native-toolchain.ts
+ * also compiles the unit whenever TLS itself links — scr_tls.c consults
+ * the unit's default-set override for its trust anchors. */
+export function moduleUsesTlsCa(mod) {
+    return scanRuntimeFeatures(mod, "tlsCa").tlsCa;
+}
+//# sourceMappingURL=runtime-features.js.map

package/dist/ir/runtime-features.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-features.js","sourceRoot":"","sources":["../../src/ir/runtime-features.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,SAAS,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAiChD,MAAM,iBAAiB,GAAyB,IAAI,GAAG,CAAC;IACtD,kBAAkB;IAClB,iBAAiB;IACjB,gBAAgB;IAChB,yBAAyB;IACzB,eAAe;IACf,gBAAgB;IAChB,6BAA6B;IAC7B,8BAA8B;IAC9B,8BAA8B;IAC9B,+BAA+B;IAC/B,4BAA4B;IAC5B,6BAA6B;IAC7B,mBAAmB;IACnB,oBAAoB;IACpB,qBAAqB;IACrB,gBAAgB;IAChB,SAAS;IACT,SAAS;IACT,SAAS;IACT,aAAa;IACb,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,oBAAoB;IACpB,kBAAkB;CACnB,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,UAAU,qBAAqB,CAAC,GAAa;IACjD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAa,EAAE,MAA8B;IACxE,MAAM,QAAQ,GAAoB;QAChC,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,KAAK;QACd,iBAAiB,EAAE,KAAK;QACxB,UAAU,EAAE,KAAK;QACjB,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,IAAI,KAAK;QACvE,aAAa,EAAE,KAAK;QACpB,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC;QAC1E,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,IAAI,KAAK;QACpE,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,KAAK;QACb,SAAS,EAAE,KAAK;QAChB,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAC1B,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CACxF;QACD,OAAO,EAAE,KAAK;QACd,YAAY,EAAE,KAAK;QACnB,GAAG,EAAE,KAAK;QACV,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,KAAK;QACb,YAAY,EAAE,KAAK;QACnB,EAAE,EAAE,KAAK;QACT,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,KAAK;QACf,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,KAAK;QACZ,GAAG,EAAE,KAAK;QACV,KAAK,EAAE,KAAK;KACb,CAAC;IACF,MAAM,SAAS,GAAG,GAAY,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;YACnB,IACE,EAAE,KAAK,eAAe;gBACtB,EAAE,KAAK,mBAAmB;gBAC1B,EAAE,KAAK,+BAA+B;gBAEtC,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;YACxB,IACE,EAAE,KAAK,mBAAmB;gBAC1B,EAAE,KAAK,0BAA0B;gBACjC,EAAE,KAAK,mBAAmB;gBAE1B,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;YACpC,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;YACnD,IAAI,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,aAAa,GAAG,IAAI,CAAC;YACjE,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;gBAAE,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC;YACvD,IACE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;gBAC1B,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;gBAC1B,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;gBACxB,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;gBAC3B,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;gBAC7B,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;gBACpB,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;gBAC3B,EAAE,KAAK,gBAAgB;gBACvB,EAAE,KAAK,mBAAmB;gBAC1B,EAAE,KAAK,aAAa;gBACpB,EAAE,KAAK,gBAAgB;gBACvB,EAAE,KAAK,aAAa;gBACpB,EAAE,KAAK,aAAa;gBAEpB,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;YACzB,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;gBAAE,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;YACjD,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;gBAAE,QAAQ,CAAC,EAAE,GAAG,IAAI,CAAC;YAC7C,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;YACrD,IACE,EAAE,KAAK,iBAAiB;gBACxB,EAAE,KAAK,0BAA0B;gBACjC,EAAE,KAAK,oBAAoB;gBAC3B,EAAE,KAAK,6BAA6B;gBACpC,EAAE,KAAK,oBAAoB;gBAC3B,EAAE,KAAK,oBAAoB;gBAC3B,EAAE,KAAK,mBAAmB;gBAC1B,EAAE,KAAK,mBAAmB;gBAE1B,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAC;YAC5B,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;YACxD,IACE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;gBACtB,EAAE,KAAK,gBAAgB;gBACvB,EAAE,KAAK,eAAe;gBACtB,EAAE,KAAK,gBAAgB;gBAEvB,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC;YAC1B,IACE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;gBACpB,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;gBACvB,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;gBACxB,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;gBAC1B,EAAE,KAAK,oBAAoB;gBAC3B,EAAE,KAAK,mBAAmB;gBAC1B,EAAE,KAAK,cAAc;gBACrB,EAAE,KAAK,gBAAgB;gBACvB,EAAE,KAAK,oBAAoB;gBAC3B,EAAE,KAAK,mBAAmB;gBAC1B,EAAE,KAAK,sBAAsB;gBAE7B,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;YAC/B,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;YAC/C,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;gBACpB,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;YACvB,CAAC;YACD,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChF,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;gBACpB,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;gBACrB,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;YACtB,CAAC;YACD,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;YAChF,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,wBAAwB;gBAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;YACrF,IAAI,EAAE,KAAK,qBAAqB;gBAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;YACzD,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;YACrD,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,kBAAkB;gBAAE,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;YACpF,IAAI,EAAE,KAAK,UAAU,IAAI,EAAE,KAAK,cAAc,IAAI,EAAE,KAAK,aAAa;gBAAE,QAAQ,CAAC,EAAE,GAAG,IAAI,CAAC;YAC3F,IAAI,EAAE,KAAK,gBAAgB,IAAI,EAAE,KAAK,wBAAwB,IAAI,EAAE,KAAK,gBAAgB;gBACvF,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAC;YAC5B,IAAI,EAAE,KAAK,gBAAgB;gBAAE,QAAQ,CAAC,aAAa,GAAG,IAAI,CAAC;YAC3D,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;gBAAE,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC;YACpF,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;gBAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;YACrD,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;YAC5E,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;QACrD,CAAC;aAAM,CAAC;YACN,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,UAAU,CAAC;gBAChB,KAAK,gBAAgB;oBACnB,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;oBACtB,MAAM;gBACR,KAAK,cAAc;oBACjB,IACE,IAAI,CAAC,MAAM,KAAK,aAAa;wBAC7B,IAAI,CAAC,MAAM,KAAK,aAAa;wBAC7B,IAAI,CAAC,MAAM,KAAK,WAAW;wBAE3B,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;oBACxB,MAAM;gBACR,KAAK,cAAc;oBACjB,IACE,IAAI,CAAC,MAAM,KAAK,YAAY;wBAC5B,IAAI,CAAC,MAAM,KAAK,WAAW;wBAC3B,IAAI,CAAC,MAAM,KAAK,MAAM;wBACtB,IAAI,CAAC,MAAM,KAAK,eAAe;wBAE/B,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC;oBAC1B,MAAM;gBACR,KAAK,gBAAgB;oBACnB,IACE,IAAI,CAAC,MAAM,KAAK,YAAY;wBAC5B,IAAI,CAAC,MAAM,KAAK,MAAM;wBACtB,IAAI,CAAC,MAAM,KAAK,MAAM;wBACtB,IAAI,CAAC,MAAM,KAAK,SAAS;wBAEzB,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC;oBAC1B,MAAM;gBACR,KAAK,MAAM;oBACT,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;wBAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;oBAC5E,MAAM;gBACR,KAAK,WAAW;oBACd,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAC;oBAC1B,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;wBAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;oBACvD,MAAM;gBACR,KAAK,SAAS,EAAE,CAAC;oBACf,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;wBACrF,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;oBAC3B,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,SAAS,EAAE,CAAC;IACrB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO;gBACV,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;gBACtB,MAAM;YACR,KAAK,YAAY;gBACf,QAAQ,CAAC,UAAU,GAAG,IAAI,CAAC;gBAC3B,MAAM;YACR,KAAK,YAAY;gBACf,QAAQ,CAAC,aAAa,GAAG,IAAI,CAAC;gBAC9B,MAAM;YACR,KAAK,OAAO,CAAC;YACb,KAAK,aAAa,CAAC;YACnB,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU;gBACb,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC7B,MAAM;YACR,KAAK,WAAW,CAAC;YACjB,KAAK,WAAW;gBACd,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;gBACpB,MAAM;YACR,KAAK,cAAc,CAAC;YACpB,KAAK,aAAa;gBAChB,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;gBACpB,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;gBACtB,MAAM;YACR,KAAK,SAAS,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,eAAe;gBAClB,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;gBACpB,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;gBACrB,MAAM;YACR,KAAK,WAAW;gBACd,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;gBACpB,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;gBACrB,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;gBACpB,MAAM;YACR,KAAK,QAAQ;gBACX,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;gBACvB,MAAM;YACR,KAAK,QAAQ;gBACX,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;gBACvB,MAAM;YACR,KAAK,cAAc;gBACjB,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC7B,MAAM;YACR,KAAK,WAAW;gBACd,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC;gBACxB,MAAM;YACR,KAAK,SAAS;gBACZ,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACzB,MAAM;YACR,KAAK,aAAa;gBAChB,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;gBACtB,MAAM;QACV,CAAC;QACD,OAAO,SAAS,EAAE,CAAC;IACrB,CAAC,CAAC;IACF,IAAI,SAAS,EAAE;QAAE,eAAe,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;oEAIoE;AACpE,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED;;wEAEwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,GAAa;IAC7C,OAAO,mBAAmB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,2BAA2B,CAAC,GAAa;IACvD,OAAO,mBAAmB,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC,iBAAiB,CAAC;AACzE,CAAC;AAED;;0DAE0D;AAC1D,MAAM,UAAU,oBAAoB,CAAC,GAAa;IAChD,OAAO,mBAAmB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC;AAC3D,CAAC;AAED;;;;;;+DAM+D;AAC/D,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED;gEACgE;AAChE,MAAM,qBAAqB,GAAyB,IAAI,GAAG,CAAC;IAC1D,eAAe;IACf,kBAAkB;IAClB,mBAAmB;IACnB,gBAAgB;IAChB,iBAAiB;IACjB,cAAc;IACd,aAAa;IACb,eAAe;IACf,iBAAiB;IACjB,kEAAkE;IAClE,qCAAqC;IACrC,WAAW;IACX,aAAa;IACb,UAAU;IACV,YAAY;CACb,CAAC,CAAC;AAEH;;;;kEAIkE;AAClE,MAAM,UAAU,uBAAuB,CAAC,GAAa;IACnD,OAAO,mBAAmB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,aAAa,CAAC;AACjE,CAAC;AAED;;;;;;;;4BAQ4B;AAC5B,MAAM,UAAU,iBAAiB,CAAC,GAAa;IAC7C,OAAO,mBAAmB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED;;;;;;6DAM6D;AAC7D,MAAM,UAAU,gBAAgB,CAAC,GAAa;IAC5C,OAAO,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,mBAAmB,CAAC,GAAa,EAAE,OAAe;IAChE,OAAO,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;AACxF,CAAC;AAED;;;+DAG+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAErC;;;;sEAIsE;AACtE,MAAM,UAAU,yBAAyB,CAAC,GAAa;IACrD,OAAO,CACL,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,gBAAgB,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,MAAM,IAAI,gBAAgB,CACvF,CACF,CAAC;AACJ,CAAC;AAED;;;;;yBAKyB;AACzB,MAAM,UAAU,cAAc,CAAC,GAAa;IAC1C,OAAO,mBAAmB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED;;;wCAGwC;AACxC,MAAM,UAAU,YAAY,CAAC,GAAa;IACxC,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;qBAKqB;AACrB,MAAM,UAAU,gBAAgB,CAAC,GAAa;IAC5C,OAAO,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED;;;;;mCAKmC;AACnC,MAAM,UAAU,mBAAmB,CAAC,GAAa;IAC/C,OAAO,mBAAmB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED;;;qDAGqD;AACrD;;;;;mCAKmC;AACnC,MAAM,UAAU,kBAAkB,CAAC,GAAa;IAC9C,OAAO,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAa;IAC7C,OAAO,mBAAmB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,sBAAsB,CAAC,GAAa;IAClD,OAAO,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,YAAY,CAAC;AAC/D,CAAC;AAED;;;;2CAI2C;AAC3C,MAAM,UAAU,aAAa,CAAC,GAAa;IACzC,OAAO,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED;;;;;;6DAM6D;AAC7D,MAAM,UAAU,gBAAgB,CAAC,GAAa;IAC5C,OAAO,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,gBAAgB,CAAC,GAAa;IAC5C,OAAO,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED;;;;;;;kDAOkD;AAClD,MAAM,UAAU,sBAAsB,CAAC,GAAa;IAClD,OAAO,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,YAAY,CAAC;AAC/D,CAAC;AAED;;;;;;iEAMiE;AACjE,MAAM,UAAU,YAAY,CAAC,GAAa;IACxC,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;;qEAEqE;AACrE,MAAM,UAAU,mBAAmB,CAAC,GAAa;IAC/C,OAAO,mBAAmB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED;;;;2DAI2D;AAC3D,MAAM,UAAU,iBAAiB,CAAC,GAAa;IAC7C,OAAO,mBAAmB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED;;;;gDAIgD;AAChD,MAAM,UAAU,kBAAkB,CAAC,GAAa;IAC9C,OAAO,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC;AACvD,CAAC;AAED;;;;;sDAKsD;AACtD,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED;;wDAEwD;AACxD,MAAM,UAAU,oBAAoB,CAAC,GAAa;IAChD,OAAO,mBAAmB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED;;wDAEwD;AACxD,MAAM,gBAAgB,GAAyB,IAAI,GAAG,CAAC;IACrD,kBAAkB;IAClB,uBAAuB;CACxB,CAAC,CAAC;AAEH;;0EAE0E;AAC1E,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED;;;;kEAIkE;AAClE,MAAM,UAAU,aAAa,CAAC,GAAa;IACzC,OAAO,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED;;;;;;4DAM4D;AAC5D,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC"}

package/dist/ir/runtime-features.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/ir/runtime-features.test.js

@@ -0,0 +1,98 @@
+import { describe, expect, test } from "vitest";
+import { IR_VERSION } from "./serialize.js";
+import { DYN, STRING, VOID, arrayOf } from "./ir.js";
+import { moduleRuntimeFeatures, moduleUsesHttp2, moduleUsesTlsCa } from "./runtime-features.js";
+describe("runtime feature snapshots", () => {
+    const loc = { file: "features.ts", start: 0, end: 0 };
+    const module = () => ({
+        irVersion: IR_VERSION,
+        sourceFile: loc.file,
+        entry: "main",
+        functions: [{ name: "main", params: [], locals: [], returnType: VOID, body: [], loc }],
+    });
+    const call = (fn) => ({
+        kind: "exprStmt",
+        loc,
+        expr: { kind: "libCall", fn, args: [], type: VOID, loc },
+    });
+    test("updates link requirements after an IR edit without changing earlier snapshots", () => {
+        const mod = module();
+        const first = moduleRuntimeFeatures(mod);
+        mod.functions[0].body.push(call("http2.connect"), call("tlsca.get"));
+        expect(moduleRuntimeFeatures(mod)).toMatchObject({
+            net: true,
+            http: true,
+            http2: true,
+            tls: true,
+            tlsCa: true,
+        });
+        expect(moduleUsesHttp2(mod)).toBe(true);
+        expect(moduleUsesTlsCa(mod)).toBe(true);
+        expect(first).toMatchObject({
+            net: false,
+            http: false,
+            http2: false,
+            tls: false,
+            tlsCa: false,
+        });
+        mod.functions[0].body = [];
+        expect(moduleRuntimeFeatures(mod)).toEqual(first);
+        expect(moduleUsesHttp2(mod)).toBe(false);
+    });
+    test("keeps legacy HTTP/2 calls and isolated CA inspection out of the HTTP/2 unit", () => {
+        const mod = module();
+        mod.functions[0].body.push(call("http2.streamNoop"));
+        expect(moduleRuntimeFeatures(mod)).toMatchObject({
+            net: true,
+            http: true,
+            http2: false,
+            tls: true,
+        });
+        mod.functions[0].body = [call("tlsca.get")];
+        expect(moduleRuntimeFeatures(mod)).toMatchObject({
+            net: false,
+            http: false,
+            http2: false,
+            tls: false,
+            tlsCa: true,
+        });
+    });
+    test("retains runtime units needed only by nested handle storage", () => {
+        const mod = module();
+        mod.functions[0].locals.push({
+            id: "handles",
+            name: "handles",
+            mutable: false,
+            type: arrayOf({ kind: "promise", inner: { kind: "secureCtx" } }),
+        });
+        expect(moduleRuntimeFeatures(mod)).toMatchObject({
+            net: true,
+            http: true,
+            tls: true,
+            http2: false,
+        });
+    });
+    test("detects promise boxing independently of static promise storage", () => {
+        const mod = module();
+        const promise = { kind: "promise", inner: STRING };
+        mod.functions[0].locals.push({
+            id: "promise",
+            name: "promise",
+            mutable: false,
+            type: promise,
+        });
+        expect(moduleRuntimeFeatures(mod).dynAsync).toBe(false);
+        mod.functions[0].body.push({
+            kind: "exprStmt",
+            loc,
+            expr: {
+                kind: "dynFrom",
+                type: DYN,
+                loc,
+                value: { kind: "varRef", localId: "promise", type: promise, loc },
+            },
+        });
+        expect(moduleRuntimeFeatures(mod).dynAsync).toBe(true);
+    });
+});
+//# sourceMappingURL=runtime-features.test.js.map