@scriptc/compiler 0.1.7 → 0.2.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/ambient/scriptc-node-fallback.d.ts +98 -39
- package/ambient/scriptc-overrides.d.ts +10 -6
- package/ambient/scriptc.d.ts +15 -0
- package/dist/backend/build-cache.d.ts +1 -3
- package/dist/backend/build-cache.js +3 -22
- package/dist/backend/build-cache.js.map +1 -1
- package/dist/backend/cache-root.d.ts +3 -0
- package/dist/backend/cache-root.js +23 -0
- package/dist/backend/cache-root.js.map +1 -0
- package/dist/backend/cycle-analysis.d.ts +15 -0
- package/dist/backend/cycle-analysis.js +108 -0
- package/dist/backend/cycle-analysis.js.map +1 -0
- package/dist/backend/cycle-analysis.test.js +124 -0
- package/dist/backend/cycle-analysis.test.js.map +1 -0
- package/dist/backend/executable-features.d.ts +4 -0
- package/dist/backend/executable-features.js +42 -0
- package/dist/backend/executable-features.js.map +1 -0
- package/dist/backend/external-c.d.ts +5 -27
- package/dist/backend/external-c.js +5 -40
- package/dist/backend/external-c.js.map +1 -1
- package/dist/backend/ffi-callbacks.d.ts +2 -3
- package/dist/backend/ffi-callbacks.js +2 -3
- package/dist/backend/ffi-callbacks.js.map +1 -1
- package/dist/backend/library-identity-markers.d.ts +4 -9
- package/dist/backend/library-identity-markers.js +11 -49
- package/dist/backend/library-identity-markers.js.map +1 -1
- package/dist/backend/library-pack.d.ts +5 -0
- package/dist/backend/library-pack.js +123 -0
- package/dist/backend/library-pack.js.map +1 -0
- package/dist/backend/link-plan-core.d.ts +20 -0
- package/dist/backend/link-plan-core.js +18 -0
- package/dist/backend/link-plan-core.js.map +1 -0
- package/dist/backend/link-plan.d.ts +1 -1
- package/dist/backend/link-plan.js +16 -17
- package/dist/backend/link-plan.js.map +1 -1
- package/dist/backend/link-trace.d.ts +2 -0
- package/dist/backend/link-trace.js +24 -0
- package/dist/backend/link-trace.js.map +1 -0
- package/dist/backend/linker.js +1 -1
- package/dist/backend/linker.js.map +1 -1
- package/dist/backend/literals.d.ts +9 -0
- package/dist/backend/literals.js +35 -0
- package/dist/backend/literals.js.map +1 -0
- package/dist/backend/literals.test.d.ts +1 -0
- package/dist/backend/literals.test.js +53 -0
- package/dist/backend/literals.test.js.map +1 -0
- package/dist/backend/llvm/blocks.d.ts +2 -0
- package/dist/backend/llvm/blocks.js +9 -4
- package/dist/backend/llvm/blocks.js.map +1 -1
- package/dist/backend/llvm/blocks.test.d.ts +1 -0
- package/dist/backend/llvm/blocks.test.js +91 -0
- package/dist/backend/llvm/blocks.test.js.map +1 -0
- package/dist/backend/llvm/classes.d.ts +14 -8
- package/dist/backend/llvm/classes.js +88 -30
- package/dist/backend/llvm/classes.js.map +1 -1
- package/dist/backend/llvm/common.d.ts +5 -1
- package/dist/backend/llvm/common.js +45 -4
- package/dist/backend/llvm/common.js.map +1 -1
- package/dist/backend/llvm/debug-info.js +2 -7
- package/dist/backend/llvm/debug-info.js.map +1 -1
- package/dist/backend/llvm/debug-info.test.d.ts +1 -0
- package/dist/backend/llvm/debug-info.test.js +110 -0
- package/dist/backend/llvm/debug-info.test.js.map +1 -0
- package/dist/backend/llvm/dyn.d.ts +21 -2
- package/dist/backend/llvm/dyn.js +647 -251
- package/dist/backend/llvm/dyn.js.map +1 -1
- package/dist/backend/llvm/emitter.d.ts +596 -1
- package/dist/backend/llvm/emitter.js +769 -425
- package/dist/backend/llvm/emitter.js.map +1 -1
- package/dist/backend/llvm/emitter.test.d.ts +1 -0
- package/dist/backend/llvm/emitter.test.js +179 -0
- package/dist/backend/llvm/emitter.test.js.map +1 -0
- package/dist/backend/llvm/expr-async.js +23 -14
- package/dist/backend/llvm/expr-async.js.map +1 -1
- package/dist/backend/llvm/expr-bytes.d.ts +2 -2
- package/dist/backend/llvm/expr-bytes.js +60 -31
- package/dist/backend/llvm/expr-bytes.js.map +1 -1
- package/dist/backend/llvm/expr-callbacks.d.ts +1 -1
- package/dist/backend/llvm/expr-callbacks.js +25 -22
- package/dist/backend/llvm/expr-callbacks.js.map +1 -1
- package/dist/backend/llvm/expr-calls.js +136 -35
- package/dist/backend/llvm/expr-calls.js.map +1 -1
- package/dist/backend/llvm/expr-containers.d.ts +1 -1
- package/dist/backend/llvm/expr-containers.js +43 -14
- package/dist/backend/llvm/expr-containers.js.map +1 -1
- package/dist/backend/llvm/expr-context.d.ts +5 -260
- package/dist/backend/llvm/expr-control.js +10 -6
- package/dist/backend/llvm/expr-control.js.map +1 -1
- package/dist/backend/llvm/expr-dispatch.d.ts +1 -1
- package/dist/backend/llvm/expr-dispatch.js +2 -0
- package/dist/backend/llvm/expr-dispatch.js.map +1 -1
- package/dist/backend/llvm/expr-dynamic.js +78 -81
- package/dist/backend/llvm/expr-dynamic.js.map +1 -1
- package/dist/backend/llvm/expr-island.d.ts +1 -1
- package/dist/backend/llvm/expr-island.js +11 -7
- package/dist/backend/llvm/expr-island.js.map +1 -1
- package/dist/backend/llvm/expr-primitives.d.ts +1 -1
- package/dist/backend/llvm/expr-primitives.js +62 -31
- package/dist/backend/llvm/expr-primitives.js.map +1 -1
- package/dist/backend/llvm/expr-primitives.test.js +1 -1
- package/dist/backend/llvm/expr-records.d.ts +5 -1
- package/dist/backend/llvm/expr-records.js +54 -7
- package/dist/backend/llvm/expr-records.js.map +1 -1
- package/dist/backend/llvm/expr-stream-bridges.d.ts +4 -4
- package/dist/backend/llvm/expr-stream-bridges.js +220 -131
- package/dist/backend/llvm/expr-stream-bridges.js.map +1 -1
- package/dist/backend/llvm/expr-stream-bridges.test.d.ts +1 -0
- package/dist/backend/llvm/expr-stream-bridges.test.js +55 -0
- package/dist/backend/llvm/expr-stream-bridges.test.js.map +1 -0
- package/dist/backend/llvm/expr-stream-callbacks.d.ts +1 -1
- package/dist/backend/llvm/expr-stream-callbacks.js +12 -12
- package/dist/backend/llvm/expr-stream-callbacks.js.map +1 -1
- package/dist/backend/llvm/layouts.d.ts +19 -0
- package/dist/backend/llvm/layouts.js +12 -0
- package/dist/backend/llvm/layouts.js.map +1 -0
- package/dist/backend/llvm/lib-abi.d.ts +19 -0
- package/dist/backend/llvm/lib-abi.js +82 -0
- package/dist/backend/llvm/lib-abi.js.map +1 -0
- package/dist/backend/llvm/lib-connect.d.ts +2 -0
- package/dist/backend/llvm/lib-connect.js +51 -0
- package/dist/backend/llvm/lib-connect.js.map +1 -0
- package/dist/backend/llvm/lib-datagram.d.ts +2 -0
- package/dist/backend/llvm/lib-datagram.js +135 -0
- package/dist/backend/llvm/lib-datagram.js.map +1 -0
- package/dist/backend/llvm/lib-dispatch.js +50 -6
- package/dist/backend/llvm/lib-dispatch.js.map +1 -1
- package/dist/backend/llvm/lib-filesystem.js +30 -18
- package/dist/backend/llvm/lib-filesystem.js.map +1 -1
- package/dist/backend/llvm/lib-http2.d.ts +2 -0
- package/dist/backend/llvm/lib-http2.js +215 -0
- package/dist/backend/llvm/lib-http2.js.map +1 -0
- package/dist/backend/llvm/lib-lookup.d.ts +2 -0
- package/dist/backend/llvm/lib-lookup.js +39 -0
- package/dist/backend/llvm/lib-lookup.js.map +1 -0
- package/dist/backend/llvm/lib-network.js +25 -2
- package/dist/backend/llvm/lib-network.js.map +1 -1
- package/dist/backend/llvm/lib-process.js +44 -19
- package/dist/backend/llvm/lib-process.js.map +1 -1
- package/dist/backend/llvm/lib-shared.js +162 -3
- package/dist/backend/llvm/lib-shared.js.map +1 -1
- package/dist/backend/llvm/lib-stream.js +3 -2
- package/dist/backend/llvm/lib-stream.js.map +1 -1
- package/dist/backend/llvm/lib-test.d.ts +2 -0
- package/dist/backend/llvm/lib-test.js +34 -0
- package/dist/backend/llvm/lib-test.js.map +1 -0
- package/dist/backend/llvm/lib-tls.d.ts +2 -0
- package/dist/backend/llvm/lib-tls.js +82 -0
- package/dist/backend/llvm/lib-tls.js.map +1 -0
- package/dist/backend/llvm/shapes.d.ts +10 -9
- package/dist/backend/llvm/shapes.js +42 -131
- package/dist/backend/llvm/shapes.js.map +1 -1
- package/dist/backend/llvm/unsupported.d.ts +1 -0
- package/dist/backend/llvm/unsupported.js +1 -2
- package/dist/backend/llvm/unsupported.js.map +1 -1
- package/dist/backend/llvm/walkers.js +1 -7
- package/dist/backend/llvm/walkers.js.map +1 -1
- package/dist/backend/mangle.d.ts +2 -2
- package/dist/backend/mangle.js +16 -5
- package/dist/backend/mangle.js.map +1 -1
- package/dist/backend/{c/may-throw.d.ts → may-throw.d.ts} +1 -1
- package/dist/backend/{c/may-throw.js → may-throw.js} +51 -46
- package/dist/backend/may-throw.js.map +1 -0
- package/dist/backend/may-throw.test.d.ts +1 -0
- package/dist/backend/may-throw.test.js +58 -0
- package/dist/backend/may-throw.test.js.map +1 -0
- package/dist/backend/native-codegen-core.d.ts +22 -0
- package/dist/backend/native-codegen-core.js +44 -0
- package/dist/backend/native-codegen-core.js.map +1 -0
- package/dist/backend/native-codegen.d.ts +3 -19
- package/dist/backend/native-codegen.js +5 -44
- package/dist/backend/native-codegen.js.map +1 -1
- package/dist/backend/native-codegen.test.js +2 -2
- package/dist/backend/native-codegen.test.js.map +1 -1
- package/dist/backend/native-link-info-core.d.ts +94 -0
- package/dist/backend/native-link-info-core.js +62 -0
- package/dist/backend/native-link-info-core.js.map +1 -0
- package/dist/backend/native-link-info.d.ts +3 -88
- package/dist/backend/native-link-info.js +12 -243
- package/dist/backend/native-link-info.js.map +1 -1
- package/dist/backend/native-link-info.test.js +41 -146
- package/dist/backend/native-link-info.test.js.map +1 -1
- package/dist/backend/native-toolchain.d.ts +12 -30
- package/dist/backend/native-toolchain.js +83 -233
- package/dist/backend/native-toolchain.js.map +1 -1
- package/dist/backend/native-toolchain.test.js +77 -5
- package/dist/backend/native-toolchain.test.js.map +1 -1
- package/dist/backend/native-tools.d.ts +24 -0
- package/dist/backend/native-tools.js +33 -0
- package/dist/backend/native-tools.js.map +1 -0
- package/dist/backend/object-localize.js +19 -8
- package/dist/backend/object-localize.js.map +1 -1
- package/dist/backend/object-localize.test.js +22 -0
- package/dist/backend/object-localize.test.js.map +1 -1
- package/dist/backend/runtime-abi.d.ts +2 -2
- package/dist/backend/runtime-abi.js +2 -2
- package/dist/backend/runtime-pack-core.d.ts +101 -0
- package/dist/backend/runtime-pack-core.js +172 -0
- package/dist/backend/runtime-pack-core.js.map +1 -0
- package/dist/backend/runtime-pack-native.d.ts +21 -0
- package/dist/backend/runtime-pack-native.js +73 -0
- package/dist/backend/runtime-pack-native.js.map +1 -0
- package/dist/backend/runtime-pack-targets.test.js +1 -1
- package/dist/backend/runtime-pack.d.ts +3 -83
- package/dist/backend/runtime-pack.js +8 -151
- package/dist/backend/runtime-pack.js.map +1 -1
- package/dist/backend/runtime-pack.test.js +24 -1
- package/dist/backend/runtime-pack.test.js.map +1 -1
- package/dist/backend/target-diagnostics.d.ts +22 -0
- package/dist/backend/target-diagnostics.js +108 -0
- package/dist/backend/target-diagnostics.js.map +1 -0
- package/dist/backend/target-platform.d.ts +15 -0
- package/dist/backend/target-platform.js +72 -0
- package/dist/backend/target-platform.js.map +1 -0
- package/dist/backend/targets.d.ts +13 -4
- package/dist/backend/targets.js +103 -34
- package/dist/backend/targets.js.map +1 -1
- package/dist/backend/targets.test.js +72 -4
- package/dist/backend/targets.test.js.map +1 -1
- package/dist/backend/toolchain-environment.d.ts +6 -0
- package/dist/backend/toolchain-environment.js +99 -0
- package/dist/backend/toolchain-environment.js.map +1 -0
- package/dist/backend/vendor-archives.d.ts +1 -9
- package/dist/backend/vendor-archives.js +2 -9
- package/dist/backend/vendor-archives.js.map +1 -1
- package/dist/backend/vendor-inputs.d.ts +9 -0
- package/dist/backend/vendor-inputs.js +10 -0
- package/dist/backend/vendor-inputs.js.map +1 -0
- package/dist/backend/warm-cache.d.ts +3 -0
- package/dist/backend/warm-cache.js +41 -0
- package/dist/backend/warm-cache.js.map +1 -0
- package/dist/cli/command.d.ts +3 -0
- package/dist/cli/command.js +328 -0
- package/dist/cli/command.js.map +1 -0
- package/dist/cli/host.d.ts +24 -0
- package/dist/cli/host.js +2 -0
- package/dist/cli/host.js.map +1 -0
- package/dist/cli/output-options.d.ts +26 -0
- package/dist/cli/output-options.js +60 -0
- package/dist/cli/output-options.js.map +1 -0
- package/dist/cli/paths.d.ts +12 -0
- package/dist/cli/paths.js +42 -0
- package/dist/cli/paths.js.map +1 -0
- package/dist/cli/usage.d.ts +74 -0
- package/dist/cli/usage.js +86 -0
- package/dist/cli/usage.js.map +1 -0
- package/dist/cli/wasi-paths.d.ts +8 -0
- package/dist/cli/wasi-paths.js +41 -0
- package/dist/cli/wasi-paths.js.map +1 -0
- package/dist/cli/wasi-runner.d.ts +2 -0
- package/dist/cli/wasi-runner.js +28 -0
- package/dist/cli/wasi-runner.js.map +1 -0
- package/dist/compat/fetch-profile.js +37 -7
- package/dist/compat/fetch-profile.js.map +1 -1
- package/dist/compile-types.d.ts +162 -0
- package/dist/compile-types.js +2 -0
- package/dist/compile-types.js.map +1 -0
- package/dist/coverage/report.js +11 -5
- package/dist/coverage/report.js.map +1 -1
- package/dist/coverage/surface-manifest.js +5 -2
- package/dist/coverage/surface-manifest.js.map +1 -1
- package/dist/diagnostics/diagnostic.js +5 -10
- package/dist/diagnostics/diagnostic.js.map +1 -1
- package/dist/executable/executable-cache.d.ts +3 -4
- package/dist/executable/executable-cache.js +5 -6
- package/dist/executable/executable-cache.js.map +1 -1
- package/dist/executable/executable-cache.test.js +16 -17
- package/dist/executable/executable-cache.test.js.map +1 -1
- package/dist/executable/prepare.d.ts +14 -0
- package/dist/executable/prepare.js +66 -0
- package/dist/executable/prepare.js.map +1 -0
- package/dist/ffi/ffi-manifest.d.ts +11 -4
- package/dist/ffi/ffi-manifest.js +170 -58
- package/dist/ffi/ffi-manifest.js.map +1 -1
- package/dist/ffi/ffi-manifest.test.d.ts +1 -0
- package/dist/ffi/ffi-manifest.test.js +111 -0
- package/dist/ffi/ffi-manifest.test.js.map +1 -0
- package/dist/format-integer.d.ts +3 -0
- package/dist/format-integer.js +14 -0
- package/dist/format-integer.js.map +1 -0
- package/dist/frontend/analysis.d.ts +5 -0
- package/dist/frontend/analysis.js +88 -0
- package/dist/frontend/analysis.js.map +1 -0
- package/dist/frontend/arguments-usage.d.ts +1 -3
- package/dist/frontend/arguments-usage.js.map +1 -1
- package/dist/frontend/builtin-modules.d.ts +1 -1
- package/dist/frontend/builtin-modules.js +1 -1
- package/dist/frontend/builtin-modules.js.map +1 -1
- package/dist/frontend/cjs-lexer.d.ts +4 -25
- package/dist/frontend/cjs-lexer.js +6 -806
- package/dist/frontend/cjs-lexer.js.map +1 -1
- package/dist/frontend/cjs-resolve.d.ts +5 -0
- package/dist/frontend/cjs-resolve.js +429 -0
- package/dist/frontend/cjs-resolve.js.map +1 -0
- package/dist/frontend/cjs-syntax.d.ts +26 -0
- package/dist/frontend/cjs-syntax.js +806 -0
- package/dist/frontend/cjs-syntax.js.map +1 -0
- package/dist/frontend/comptime-node.d.ts +4 -0
- package/dist/frontend/comptime-node.js +16 -0
- package/dist/frontend/comptime-node.js.map +1 -0
- package/dist/frontend/comptime-node.test.d.ts +1 -0
- package/dist/frontend/comptime-node.test.js +37 -0
- package/dist/frontend/comptime-node.test.js.map +1 -0
- package/dist/frontend/dts-paths.d.ts +3 -4
- package/dist/frontend/dts-paths.js +15 -8
- package/dist/frontend/dts-paths.js.map +1 -1
- package/dist/frontend/fork-target.js +2 -2
- package/dist/frontend/fork-target.js.map +1 -1
- package/dist/frontend/helper-tokens.d.ts +1 -0
- package/dist/frontend/helper-tokens.js +147 -0
- package/dist/frontend/helper-tokens.js.map +1 -0
- package/dist/frontend/helper-tokens.test.d.ts +1 -0
- package/dist/frontend/helper-tokens.test.js +35 -0
- package/dist/frontend/helper-tokens.test.js.map +1 -0
- package/dist/frontend/inferred-js-diagnostics.d.ts +5 -0
- package/dist/frontend/inferred-js-diagnostics.js +69 -0
- package/dist/frontend/inferred-js-diagnostics.js.map +1 -0
- package/dist/frontend/inferred-js-diagnostics.test.d.ts +1 -0
- package/dist/frontend/inferred-js-diagnostics.test.js +58 -0
- package/dist/frontend/inferred-js-diagnostics.test.js.map +1 -0
- package/dist/frontend/input-tracker.d.ts +5 -2
- package/dist/frontend/input-tracker.js +24 -3
- package/dist/frontend/input-tracker.js.map +1 -1
- package/dist/frontend/input-tracker.test.js +23 -0
- package/dist/frontend/input-tracker.test.js.map +1 -1
- package/dist/frontend/lib-contract.js +32 -24
- package/dist/frontend/lib-contract.js.map +1 -1
- package/dist/frontend/literal-values.d.ts +4 -0
- package/dist/frontend/literal-values.js +21 -0
- package/dist/frontend/literal-values.js.map +1 -0
- package/dist/frontend/literal-values.test.d.ts +1 -0
- package/dist/frontend/literal-values.test.js +91 -0
- package/dist/frontend/literal-values.test.js.map +1 -0
- package/dist/frontend/lowering/abstract-equality.d.ts +1 -1
- package/dist/frontend/lowering/abstract-equality.js +3 -0
- package/dist/frontend/lowering/abstract-equality.js.map +1 -1
- package/dist/frontend/lowering/array-indexed-mutation.js +11 -6
- package/dist/frontend/lowering/array-indexed-mutation.js.map +1 -1
- package/dist/frontend/lowering/array-values.d.ts +4 -1
- package/dist/frontend/lowering/array-values.js +43 -1
- package/dist/frontend/lowering/array-values.js.map +1 -1
- package/dist/frontend/lowering/callback-arg.js +1 -0
- package/dist/frontend/lowering/callback-arg.js.map +1 -1
- package/dist/frontend/lowering/class-callbacks.d.ts +12 -0
- package/dist/frontend/lowering/class-callbacks.js +74 -0
- package/dist/frontend/lowering/class-callbacks.js.map +1 -0
- package/dist/frontend/lowering/class-construction.d.ts +12 -0
- package/dist/frontend/lowering/class-construction.js +156 -0
- package/dist/frontend/lowering/class-construction.js.map +1 -0
- package/dist/frontend/lowering/class-descriptors.d.ts +10 -0
- package/dist/frontend/lowering/class-descriptors.js +114 -0
- package/dist/frontend/lowering/class-descriptors.js.map +1 -0
- package/dist/frontend/lowering/class-dynamic-dispatch.d.ts +51 -0
- package/dist/frontend/lowering/class-dynamic-dispatch.js +1158 -0
- package/dist/frontend/lowering/class-dynamic-dispatch.js.map +1 -0
- package/dist/frontend/lowering/class-dynamic-dispatch.test.d.ts +1 -0
- package/dist/frontend/lowering/class-dynamic-dispatch.test.js +93 -0
- package/dist/frontend/lowering/class-dynamic-dispatch.test.js.map +1 -0
- package/dist/frontend/lowering/class-instance-constructor.d.ts +7 -0
- package/dist/frontend/lowering/class-instance-constructor.js +67 -0
- package/dist/frontend/lowering/class-instance-constructor.js.map +1 -0
- package/dist/frontend/lowering/class-method-values.d.ts +13 -0
- package/dist/frontend/lowering/class-method-values.js +235 -0
- package/dist/frontend/lowering/class-method-values.js.map +1 -0
- package/dist/frontend/lowering/class-prototypes.d.ts +19 -0
- package/dist/frontend/lowering/class-prototypes.js +242 -0
- package/dist/frontend/lowering/class-prototypes.js.map +1 -0
- package/dist/frontend/lowering/class-runtime-statics.d.ts +8 -0
- package/dist/frontend/lowering/class-runtime-statics.js +66 -0
- package/dist/frontend/lowering/class-runtime-statics.js.map +1 -0
- package/dist/frontend/lowering/class-static-data.d.ts +6 -0
- package/dist/frontend/lowering/class-static-data.js +56 -0
- package/dist/frontend/lowering/class-static-data.js.map +1 -0
- package/dist/frontend/lowering/containers/buffer-numeric-methods.d.ts +4 -0
- package/dist/frontend/lowering/containers/buffer-numeric-methods.js +26 -0
- package/dist/frontend/lowering/containers/buffer-numeric-methods.js.map +1 -0
- package/dist/frontend/lowering/containers/bytes.d.ts +11 -7
- package/dist/frontend/lowering/containers/bytes.js +208 -163
- package/dist/frontend/lowering/containers/bytes.js.map +1 -1
- package/dist/frontend/lowering/containers/string-and-regexp.d.ts +2 -2
- package/dist/frontend/lowering/containers/string-and-regexp.js +58 -63
- package/dist/frontend/lowering/containers/string-and-regexp.js.map +1 -1
- package/dist/frontend/lowering/containers/string-replacement.d.ts +7 -0
- package/dist/frontend/lowering/containers/string-replacement.js +217 -0
- package/dist/frontend/lowering/containers/string-replacement.js.map +1 -0
- package/dist/frontend/lowering/error-methods.d.ts +14 -0
- package/dist/frontend/lowering/error-methods.js +177 -0
- package/dist/frontend/lowering/error-methods.js.map +1 -0
- package/dist/frontend/lowering/expressions/global-symbols.d.ts +6 -0
- package/dist/frontend/lowering/expressions/global-symbols.js +11 -0
- package/dist/frontend/lowering/expressions/global-symbols.js.map +1 -0
- package/dist/frontend/lowering/expressions/native-proxy.d.ts +7 -0
- package/dist/frontend/lowering/expressions/native-proxy.js +51 -0
- package/dist/frontend/lowering/expressions/native-proxy.js.map +1 -0
- package/dist/frontend/lowering/expressions/nullish-assignment.d.ts +6 -0
- package/dist/frontend/lowering/expressions/nullish-assignment.js +132 -0
- package/dist/frontend/lowering/expressions/nullish-assignment.js.map +1 -0
- package/dist/frontend/lowering/expressions/object-literals.d.ts +8 -8
- package/dist/frontend/lowering/expressions/object-literals.js +509 -183
- package/dist/frontend/lowering/expressions/object-literals.js.map +1 -1
- package/dist/frontend/lowering/expressions/optional-chains.d.ts +3 -4
- package/dist/frontend/lowering/expressions/optional-chains.js +88 -24
- package/dist/frontend/lowering/expressions/optional-chains.js.map +1 -1
- package/dist/frontend/lowering/expressions/try-lower-expression.js +1 -0
- package/dist/frontend/lowering/expressions/try-lower-expression.js.map +1 -1
- package/dist/frontend/lowering/expressions/union-field-write.d.ts +8 -0
- package/dist/frontend/lowering/expressions/union-field-write.js +71 -0
- package/dist/frontend/lowering/expressions/union-field-write.js.map +1 -0
- package/dist/frontend/lowering/function-context.d.ts +101 -0
- package/dist/frontend/lowering/function-context.js +109 -0
- package/dist/frontend/lowering/function-context.js.map +1 -0
- package/dist/frontend/lowering/generator-delegation.d.ts +7 -0
- package/dist/frontend/lowering/generator-delegation.js +85 -0
- package/dist/frontend/lowering/generator-delegation.js.map +1 -0
- package/dist/frontend/lowering/generator-dynamic-dispatch.d.ts +11 -0
- package/dist/frontend/lowering/generator-dynamic-dispatch.js +143 -0
- package/dist/frontend/lowering/generator-dynamic-dispatch.js.map +1 -0
- package/dist/frontend/lowering/lib-boundary.d.ts +4 -1
- package/dist/frontend/lowering/lib-boundary.js +112 -20
- package/dist/frontend/lowering/lib-boundary.js.map +1 -1
- package/dist/frontend/lowering/lib-boundary.test.d.ts +1 -0
- package/dist/frontend/lowering/lib-boundary.test.js +45 -0
- package/dist/frontend/lowering/lib-boundary.test.js.map +1 -0
- package/dist/frontend/lowering/lower-array-sort.d.ts +1 -1
- package/dist/frontend/lowering/lower-assert.d.ts +1 -1
- package/dist/frontend/lowering/lower-assert.js.map +1 -1
- package/dist/frontend/lowering/lower-async-iteration.d.ts +1 -1
- package/dist/frontend/lowering/lower-async-iteration.js.map +1 -1
- package/dist/frontend/lowering/lower-builtin-values.d.ts +18 -0
- package/dist/frontend/lowering/lower-builtin-values.js +249 -0
- package/dist/frontend/lowering/lower-builtin-values.js.map +1 -0
- package/dist/frontend/lowering/lower-builtins.d.ts +33 -46
- package/dist/frontend/lowering/lower-builtins.js +676 -365
- package/dist/frontend/lowering/lower-builtins.js.map +1 -1
- package/dist/frontend/lowering/lower-calls.d.ts +28 -22
- package/dist/frontend/lowering/lower-calls.js +1660 -412
- package/dist/frontend/lowering/lower-calls.js.map +1 -1
- package/dist/frontend/lowering/lower-classes.d.ts +95 -57
- package/dist/frontend/lowering/lower-classes.js +1491 -404
- package/dist/frontend/lowering/lower-classes.js.map +1 -1
- package/dist/frontend/lowering/lower-comptime.d.ts +1 -1
- package/dist/frontend/lowering/lower-comptime.js +23 -32
- package/dist/frontend/lowering/lower-comptime.js.map +1 -1
- package/dist/frontend/lowering/lower-containers.d.ts +36 -32
- package/dist/frontend/lowering/lower-containers.js +925 -181
- package/dist/frontend/lowering/lower-containers.js.map +1 -1
- package/dist/frontend/lowering/lower-dgram.d.ts +1 -1
- package/dist/frontend/lowering/lower-dgram.js +3 -2
- package/dist/frontend/lowering/lower-dgram.js.map +1 -1
- package/dist/frontend/lowering/lower-enums.d.ts +1 -1
- package/dist/frontend/lowering/lower-enums.js.map +1 -1
- package/dist/frontend/lowering/lower-event-emitter.d.ts +30 -1
- package/dist/frontend/lowering/lower-event-emitter.js +58 -26
- package/dist/frontend/lowering/lower-event-emitter.js.map +1 -1
- package/dist/frontend/lowering/lower-expando.d.ts +7 -1
- package/dist/frontend/lowering/lower-expando.js +14 -6
- package/dist/frontend/lowering/lower-expando.js.map +1 -1
- package/dist/frontend/lowering/lower-exprs.d.ts +37 -13
- package/dist/frontend/lowering/lower-exprs.js +2163 -863
- package/dist/frontend/lowering/lower-exprs.js.map +1 -1
- package/dist/frontend/lowering/lower-generators.d.ts +2 -5
- package/dist/frontend/lowering/lower-generators.js +88 -46
- package/dist/frontend/lowering/lower-generators.js.map +1 -1
- package/dist/frontend/lowering/lower-global-value.d.ts +7 -0
- package/dist/frontend/lowering/lower-global-value.js +17 -0
- package/dist/frontend/lowering/lower-global-value.js.map +1 -0
- package/dist/frontend/lowering/lower-inspect.d.ts +1 -1
- package/dist/frontend/lowering/lower-inspect.js +17 -8
- package/dist/frontend/lowering/lower-inspect.js.map +1 -1
- package/dist/frontend/lowering/lower-island.d.ts +7 -8
- package/dist/frontend/lowering/lower-island.js +66 -33
- package/dist/frontend/lowering/lower-island.js.map +1 -1
- package/dist/frontend/lowering/lower-mixins.d.ts +2 -2
- package/dist/frontend/lowering/lower-mixins.js +5 -3
- package/dist/frontend/lowering/lower-mixins.js.map +1 -1
- package/dist/frontend/lowering/lower-modules.d.ts +1 -1
- package/dist/frontend/lowering/lower-modules.js +445 -39
- package/dist/frontend/lowering/lower-modules.js.map +1 -1
- package/dist/frontend/lowering/lower-modules.test.d.ts +1 -0
- package/dist/frontend/lowering/lower-modules.test.js +39 -0
- package/dist/frontend/lowering/lower-modules.test.js.map +1 -0
- package/dist/frontend/lowering/lower-namespaces.d.ts +1 -1
- package/dist/frontend/lowering/lower-namespaces.js.map +1 -1
- package/dist/frontend/lowering/lower-node-module.d.ts +1 -1
- package/dist/frontend/lowering/lower-node-module.js +13 -10
- package/dist/frontend/lowering/lower-node-module.js.map +1 -1
- package/dist/frontend/lowering/lower-server.d.ts +1 -1
- package/dist/frontend/lowering/lower-server.js +6 -10
- package/dist/frontend/lowering/lower-server.js.map +1 -1
- package/dist/frontend/lowering/lower-stmts.d.ts +17 -17
- package/dist/frontend/lowering/lower-stmts.js +855 -514
- package/dist/frontend/lowering/lower-stmts.js.map +1 -1
- package/dist/frontend/lowering/lower-stream.d.ts +1 -1
- package/dist/frontend/lowering/lower-stream.js +20 -11
- package/dist/frontend/lowering/lower-stream.js.map +1 -1
- package/dist/frontend/lowering/lower-test.d.ts +1 -1
- package/dist/frontend/lowering/lower-test.js.map +1 -1
- package/dist/frontend/lowering/lower-url.d.ts +6 -0
- package/dist/frontend/lowering/lower-url.js +77 -0
- package/dist/frontend/lowering/lower-url.js.map +1 -0
- package/dist/frontend/lowering/lowerer.d.ts +140 -190
- package/dist/frontend/lowering/lowerer.js +1193 -712
- package/dist/frontend/lowering/lowerer.js.map +1 -1
- package/dist/frontend/lowering/lowerer.test.d.ts +1 -0
- package/dist/frontend/lowering/lowerer.test.js +172 -0
- package/dist/frontend/lowering/lowerer.test.js.map +1 -0
- package/dist/frontend/lowering/native-ffi.d.ts +5 -0
- package/dist/frontend/lowering/native-ffi.js +40 -0
- package/dist/frontend/lowering/native-ffi.js.map +1 -0
- package/dist/frontend/lowering/object-enumeration-receiver.d.ts +7 -0
- package/dist/frontend/lowering/object-enumeration-receiver.js +33 -0
- package/dist/frontend/lowering/object-enumeration-receiver.js.map +1 -0
- package/dist/frontend/lowering/object-factory-new.d.ts +8 -0
- package/dist/frontend/lowering/object-factory-new.js +68 -0
- package/dist/frontend/lowering/object-factory-new.js.map +1 -0
- package/dist/frontend/lowering/optional-arguments.js +6 -1
- package/dist/frontend/lowering/optional-arguments.js.map +1 -1
- package/dist/frontend/lowering/pairs-snapshot.js +2 -1
- package/dist/frontend/lowering/pairs-snapshot.js.map +1 -1
- package/dist/frontend/lowering/runtime-optional-locals.d.ts +14 -0
- package/dist/frontend/lowering/runtime-optional-locals.js +41 -0
- package/dist/frontend/lowering/runtime-optional-locals.js.map +1 -0
- package/dist/frontend/lowering/runtime-optional-locals.test.d.ts +1 -0
- package/dist/frontend/lowering/runtime-optional-locals.test.js +85 -0
- package/dist/frontend/lowering/runtime-optional-locals.test.js.map +1 -0
- package/dist/frontend/lowering/sanitize-class-types.d.ts +8 -0
- package/dist/frontend/lowering/sanitize-class-types.js +79 -0
- package/dist/frontend/lowering/sanitize-class-types.js.map +1 -0
- package/dist/frontend/lowering/sanitize-class-types.test.d.ts +1 -0
- package/dist/frontend/lowering/sanitize-class-types.test.js +60 -0
- package/dist/frontend/lowering/sanitize-class-types.test.js.map +1 -0
- package/dist/frontend/lowering/static-this.d.ts +5 -1
- package/dist/frontend/lowering/static-this.js +28 -2
- package/dist/frontend/lowering/static-this.js.map +1 -1
- package/dist/frontend/lowering/string-index.d.ts +7 -0
- package/dist/frontend/lowering/string-index.js +39 -0
- package/dist/frontend/lowering/string-index.js.map +1 -0
- package/dist/frontend/lowering/surfaces.d.ts +10 -3
- package/dist/frontend/lowering/surfaces.js +86 -37
- package/dist/frontend/lowering/surfaces.js.map +1 -1
- package/dist/frontend/lowering/symbol-fields.d.ts +22 -0
- package/dist/frontend/lowering/symbol-fields.js +183 -0
- package/dist/frontend/lowering/symbol-fields.js.map +1 -0
- package/dist/frontend/lowering/symbol-methods.d.ts +7 -0
- package/dist/frontend/lowering/symbol-methods.js +30 -0
- package/dist/frontend/lowering/symbol-methods.js.map +1 -0
- package/dist/frontend/lowering/text-decoder-encoding.d.ts +12 -0
- package/dist/frontend/lowering/text-decoder-encoding.js +82 -0
- package/dist/frontend/lowering/text-decoder-encoding.js.map +1 -0
- package/dist/frontend/lowering/text-decoder-encoding.test.d.ts +1 -0
- package/dist/frontend/lowering/text-decoder-encoding.test.js +38 -0
- package/dist/frontend/lowering/text-decoder-encoding.test.js.map +1 -0
- package/dist/frontend/lowering/union-narrow.d.ts +9 -0
- package/dist/frontend/lowering/union-narrow.js +59 -0
- package/dist/frontend/lowering/union-narrow.js.map +1 -0
- package/dist/frontend/lowering/union-narrow.test.d.ts +1 -0
- package/dist/frontend/lowering/union-narrow.test.js +72 -0
- package/dist/frontend/lowering/union-narrow.test.js.map +1 -0
- package/dist/frontend/lowering/union-retag.d.ts +43 -0
- package/dist/frontend/lowering/union-retag.js +259 -0
- package/dist/frontend/lowering/union-retag.js.map +1 -0
- package/dist/frontend/lowering/union-retag.test.d.ts +1 -0
- package/dist/frontend/lowering/union-retag.test.js +405 -0
- package/dist/frontend/lowering/union-retag.test.js.map +1 -0
- package/dist/frontend/lowering/unregistered-class-types.d.ts +14 -0
- package/dist/frontend/lowering/unregistered-class-types.js +94 -0
- package/dist/frontend/lowering/unregistered-class-types.js.map +1 -0
- package/dist/frontend/lowering/unregistered-class-types.test.d.ts +1 -0
- package/dist/frontend/lowering/unregistered-class-types.test.js +65 -0
- package/dist/frontend/lowering/unregistered-class-types.test.js.map +1 -0
- package/dist/frontend/lowering/width-lift.d.ts +40 -0
- package/dist/frontend/lowering/width-lift.js +2 -0
- package/dist/frontend/lowering/width-lift.js.map +1 -0
- package/dist/frontend/module-syntax.d.ts +58 -0
- package/dist/frontend/module-syntax.js +123 -0
- package/dist/frontend/module-syntax.js.map +1 -0
- package/dist/frontend/module-syntax.test.d.ts +1 -0
- package/dist/frontend/module-syntax.test.js +78 -0
- package/dist/frontend/module-syntax.test.js.map +1 -0
- package/dist/frontend/npm-fetch-analysis.d.ts +17 -0
- package/dist/frontend/npm-fetch-analysis.js +100 -0
- package/dist/frontend/npm-fetch-analysis.js.map +1 -0
- package/dist/frontend/npm-fetch-analysis.test.d.ts +1 -0
- package/dist/frontend/npm-fetch-analysis.test.js +107 -0
- package/dist/frontend/npm-fetch-analysis.test.js.map +1 -0
- package/dist/frontend/npm-fetch-node.d.ts +2 -0
- package/dist/frontend/npm-fetch-node.js +12 -0
- package/dist/frontend/npm-fetch-node.js.map +1 -0
- package/dist/frontend/npm-fetch-syntax.d.ts +6 -0
- package/dist/frontend/npm-fetch-syntax.js +207 -0
- package/dist/frontend/npm-fetch-syntax.js.map +1 -0
- package/dist/frontend/npm-node.d.ts +10 -0
- package/dist/frontend/npm-node.js +14 -0
- package/dist/frontend/npm-node.js.map +1 -0
- package/dist/frontend/npm-static-bundled-cjs.d.ts +8 -0
- package/dist/frontend/npm-static-bundled-cjs.js +236 -0
- package/dist/frontend/npm-static-bundled-cjs.js.map +1 -0
- package/dist/frontend/npm-static-bundled-cjs.test.d.ts +1 -0
- package/dist/frontend/npm-static-bundled-cjs.test.js +69 -0
- package/dist/frontend/npm-static-bundled-cjs.test.js.map +1 -0
- package/dist/frontend/npm-static-declaration-syntax.d.ts +57 -0
- package/dist/frontend/npm-static-declaration-syntax.js +944 -0
- package/dist/frontend/npm-static-declaration-syntax.js.map +1 -0
- package/dist/frontend/npm-static-declarations.d.ts +11 -39
- package/dist/frontend/npm-static-declarations.js +22 -561
- package/dist/frontend/npm-static-declarations.js.map +1 -1
- package/dist/frontend/npm-static-declarations.test.js +245 -6
- package/dist/frontend/npm-static-declarations.test.js.map +1 -1
- package/dist/frontend/npm-static-prune.d.ts +1 -1
- package/dist/frontend/npm-static-prune.js +121 -38
- package/dist/frontend/npm-static-prune.js.map +1 -1
- package/dist/frontend/npm-static-prune.test.js +9 -1
- package/dist/frontend/npm-static-prune.test.js.map +1 -1
- package/dist/frontend/npm-static-rewrite-host.d.ts +4 -0
- package/dist/frontend/npm-static-rewrite-host.js +179 -0
- package/dist/frontend/npm-static-rewrite-host.js.map +1 -0
- package/dist/frontend/npm-static-rewrite-syntax.d.ts +16 -0
- package/dist/frontend/npm-static-rewrite-syntax.js +905 -0
- package/dist/frontend/npm-static-rewrite-syntax.js.map +1 -0
- package/dist/frontend/npm-static-rewrite.d.ts +0 -5
- package/dist/frontend/npm-static-rewrite.js +2 -1079
- package/dist/frontend/npm-static-rewrite.js.map +1 -1
- package/dist/frontend/npm-static-subtyping.d.ts +5 -0
- package/dist/frontend/npm-static-subtyping.js +55 -0
- package/dist/frontend/npm-static-subtyping.js.map +1 -0
- package/dist/frontend/npm-static-subtyping.test.d.ts +1 -0
- package/dist/frontend/npm-static-subtyping.test.js +58 -0
- package/dist/frontend/npm-static-subtyping.test.js.map +1 -0
- package/dist/frontend/npm-static.d.ts +7 -15
- package/dist/frontend/npm-static.js +19 -28
- package/dist/frontend/npm-static.js.map +1 -1
- package/dist/frontend/npm.d.ts +8 -69
- package/dist/frontend/npm.js +21 -361
- package/dist/frontend/npm.js.map +1 -1
- package/dist/frontend/npm.test.js +2 -2
- package/dist/frontend/npm.test.js.map +1 -1
- package/dist/frontend/pipeline-native.d.ts +6 -0
- package/dist/frontend/pipeline-native.js +32 -0
- package/dist/frontend/pipeline-native.js.map +1 -0
- package/dist/frontend/pipeline.d.ts +54 -0
- package/dist/frontend/pipeline.js +382 -0
- package/dist/frontend/pipeline.js.map +1 -0
- package/dist/frontend/pipeline.test.d.ts +1 -0
- package/dist/frontend/pipeline.test.js +77 -0
- package/dist/frontend/pipeline.test.js.map +1 -0
- package/dist/frontend/program-analysis.d.ts +10 -0
- package/dist/frontend/program-analysis.js +14 -0
- package/dist/frontend/program-analysis.js.map +1 -0
- package/dist/frontend/program-node.d.ts +9 -0
- package/dist/frontend/program-node.js +48 -0
- package/dist/frontend/program-node.js.map +1 -0
- package/dist/frontend/program.d.ts +39 -20
- package/dist/frontend/program.js +393 -189
- package/dist/frontend/program.js.map +1 -1
- package/dist/frontend/program.test.js +105 -2
- package/dist/frontend/program.test.js.map +1 -1
- package/dist/frontend/provenance-core.d.ts +9 -0
- package/dist/frontend/provenance-core.js +435 -0
- package/dist/frontend/provenance-core.js.map +1 -0
- package/dist/frontend/provenance.d.ts +0 -4
- package/dist/frontend/provenance.js +4 -459
- package/dist/frontend/provenance.js.map +1 -1
- package/dist/frontend/resolve.d.ts +3 -1
- package/dist/frontend/resolve.js +6 -3
- package/dist/frontend/resolve.js.map +1 -1
- package/dist/frontend/runtime-resolve.d.ts +4 -3
- package/dist/frontend/runtime-resolve.js +22 -18
- package/dist/frontend/runtime-resolve.js.map +1 -1
- package/dist/frontend/runtime-resolve.test.js +53 -0
- package/dist/frontend/runtime-resolve.test.js.map +1 -1
- package/dist/frontend/services-node.d.ts +5 -0
- package/dist/frontend/services-node.js +19 -0
- package/dist/frontend/services-node.js.map +1 -0
- package/dist/frontend/services-node.test.d.ts +1 -0
- package/dist/frontend/services-node.test.js +70 -0
- package/dist/frontend/services-node.test.js.map +1 -0
- package/dist/frontend/services.d.ts +44 -0
- package/dist/frontend/services.js +90 -0
- package/dist/frontend/services.js.map +1 -0
- package/dist/frontend/services.test.d.ts +1 -0
- package/dist/frontend/services.test.js +174 -0
- package/dist/frontend/services.test.js.map +1 -0
- package/dist/frontend/ts7/adapter.d.ts +3 -3
- package/dist/frontend/ts7/adapter.js +14 -31
- package/dist/frontend/ts7/adapter.js.map +1 -1
- package/dist/frontend/ts7/api.d.ts +16 -0
- package/dist/frontend/ts7/api.js +24 -0
- package/dist/frontend/ts7/api.js.map +1 -0
- package/dist/frontend/ts7/ast-bytes.d.ts +31 -0
- package/dist/frontend/ts7/ast-bytes.js +137 -0
- package/dist/frontend/ts7/ast-bytes.js.map +1 -0
- package/dist/frontend/ts7/ast-bytes.test.d.ts +1 -0
- package/dist/frontend/ts7/ast-bytes.test.js +73 -0
- package/dist/frontend/ts7/ast-bytes.test.js.map +1 -0
- package/dist/frontend/ts7/ast-guards.generated.d.ts +353 -0
- package/dist/frontend/ts7/ast-guards.generated.js +1951 -0
- package/dist/frontend/ts7/ast-guards.generated.js.map +1 -0
- package/dist/frontend/ts7/ast-guards.test.d.ts +1 -0
- package/dist/frontend/ts7/ast-guards.test.js +43 -0
- package/dist/frontend/ts7/ast-guards.test.js.map +1 -0
- package/dist/frontend/ts7/ast-node.d.ts +194 -0
- package/dist/frontend/ts7/ast-node.js +448 -0
- package/dist/frontend/ts7/ast-node.js.map +1 -0
- package/dist/frontend/ts7/ast-node.test.d.ts +1 -0
- package/dist/frontend/ts7/ast-node.test.js +266 -0
- package/dist/frontend/ts7/ast-node.test.js.map +1 -0
- package/dist/frontend/ts7/ast-schema.generated.d.ts +503 -0
- package/dist/frontend/ts7/ast-schema.generated.js +1446 -0
- package/dist/frontend/ts7/ast-schema.generated.js.map +1 -0
- package/dist/frontend/ts7/ast-text.d.ts +6 -0
- package/dist/frontend/ts7/ast-text.js +124 -0
- package/dist/frontend/ts7/ast-text.js.map +1 -0
- package/dist/frontend/ts7/ast-text.test.d.ts +1 -0
- package/dist/frontend/ts7/ast-text.test.js +38 -0
- package/dist/frontend/ts7/ast-text.test.js.map +1 -0
- package/dist/frontend/ts7/ast-tokens.generated.d.ts +2 -0
- package/dist/frontend/ts7/ast-tokens.generated.js +155 -0
- package/dist/frontend/ts7/ast-tokens.generated.js.map +1 -0
- package/dist/frontend/ts7/ast-types.d.ts +42 -0
- package/dist/frontend/ts7/ast-types.generated.d.ts +1615 -0
- package/dist/frontend/ts7/ast-types.generated.js +5 -0
- package/dist/frontend/ts7/ast-types.generated.js.map +1 -0
- package/dist/frontend/ts7/ast-types.js +3 -0
- package/dist/frontend/ts7/ast-types.js.map +1 -0
- package/dist/frontend/ts7/ast-wire.d.ts +58 -0
- package/dist/frontend/ts7/ast-wire.js +267 -0
- package/dist/frontend/ts7/ast-wire.js.map +1 -0
- package/dist/frontend/ts7/ast-wire.test.d.ts +1 -0
- package/dist/frontend/ts7/ast-wire.test.js +151 -0
- package/dist/frontend/ts7/ast-wire.test.js.map +1 -0
- package/dist/frontend/ts7/ast.d.ts +14 -14
- package/dist/frontend/ts7/ast.js +25 -18
- package/dist/frontend/ts7/ast.js.map +1 -1
- package/dist/frontend/ts7/census-check.js +1 -0
- package/dist/frontend/ts7/census-check.js.map +1 -1
- package/dist/frontend/ts7/checker-cache.d.ts +48 -0
- package/dist/frontend/ts7/checker-cache.js +92 -0
- package/dist/frontend/ts7/checker-cache.js.map +1 -0
- package/dist/frontend/ts7/checker.d.ts +19 -46
- package/dist/frontend/ts7/checker.js +231 -161
- package/dist/frontend/ts7/checker.js.map +1 -1
- package/dist/frontend/ts7/checker.test.d.ts +1 -0
- package/dist/frontend/ts7/checker.test.js +335 -0
- package/dist/frontend/ts7/checker.test.js.map +1 -0
- package/dist/frontend/ts7/enums.d.ts +4 -27
- package/dist/frontend/ts7/enums.generated.d.ts +878 -0
- package/dist/frontend/ts7/enums.generated.js +1313 -0
- package/dist/frontend/ts7/enums.generated.js.map +1 -0
- package/dist/frontend/ts7/enums.js +4 -45
- package/dist/frontend/ts7/enums.js.map +1 -1
- package/dist/frontend/ts7/enums.test.d.ts +1 -0
- package/dist/frontend/ts7/enums.test.js +48 -0
- package/dist/frontend/ts7/enums.test.js.map +1 -0
- package/dist/frontend/ts7/native-api.d.ts +10 -0
- package/dist/frontend/ts7/native-api.js +10 -0
- package/dist/frontend/ts7/native-api.js.map +1 -0
- package/dist/frontend/ts7/native-host.d.ts +2 -0
- package/dist/frontend/ts7/native-host.js +11 -0
- package/dist/frontend/ts7/native-host.js.map +1 -0
- package/dist/frontend/ts7/native-process.d.ts +14 -0
- package/dist/frontend/ts7/native-process.js +62 -0
- package/dist/frontend/ts7/native-process.js.map +1 -0
- package/dist/frontend/ts7/program-adapter.d.ts +10 -98
- package/dist/frontend/ts7/program-adapter.js +16 -310
- package/dist/frontend/ts7/program-adapter.js.map +1 -1
- package/dist/frontend/ts7/program-host.d.ts +115 -0
- package/dist/frontend/ts7/program-host.js +347 -0
- package/dist/frontend/ts7/program-host.js.map +1 -0
- package/dist/frontend/ts7/program-host.test.d.ts +1 -0
- package/dist/frontend/ts7/program-host.test.js +207 -0
- package/dist/frontend/ts7/program-host.test.js.map +1 -0
- package/dist/frontend/ts7/rpc-api.d.ts +12 -0
- package/dist/frontend/ts7/rpc-api.js +23 -0
- package/dist/frontend/ts7/rpc-api.js.map +1 -0
- package/dist/frontend/ts7/rpc-client.d.ts +27 -0
- package/dist/frontend/ts7/rpc-client.js +102 -0
- package/dist/frontend/ts7/rpc-client.js.map +1 -0
- package/dist/frontend/ts7/rpc-client.test.d.ts +1 -0
- package/dist/frontend/ts7/rpc-client.test.js +133 -0
- package/dist/frontend/ts7/rpc-client.test.js.map +1 -0
- package/dist/frontend/ts7/rpc-filesystem.d.ts +16 -0
- package/dist/frontend/ts7/rpc-filesystem.js +42 -0
- package/dist/frontend/ts7/rpc-filesystem.js.map +1 -0
- package/dist/frontend/ts7/rpc-filesystem.test.d.ts +1 -0
- package/dist/frontend/ts7/rpc-filesystem.test.js +89 -0
- package/dist/frontend/ts7/rpc-filesystem.test.js.map +1 -0
- package/dist/frontend/ts7/rpc-process.d.ts +2 -0
- package/dist/frontend/ts7/rpc-process.js +148 -0
- package/dist/frontend/ts7/rpc-process.js.map +1 -0
- package/dist/frontend/ts7/rpc-process.test.d.ts +1 -0
- package/dist/frontend/ts7/rpc-process.test.js +29 -0
- package/dist/frontend/ts7/rpc-process.test.js.map +1 -0
- package/dist/frontend/ts7/rpc-wire.d.ts +46 -0
- package/dist/frontend/ts7/rpc-wire.js +195 -0
- package/dist/frontend/ts7/rpc-wire.js.map +1 -0
- package/dist/frontend/ts7/rpc-wire.test.d.ts +1 -0
- package/dist/frontend/ts7/rpc-wire.test.js +168 -0
- package/dist/frontend/ts7/rpc-wire.test.js.map +1 -0
- package/dist/frontend/ts7/semantic-checker.d.ts +137 -0
- package/dist/frontend/ts7/semantic-checker.js +221 -0
- package/dist/frontend/ts7/semantic-checker.js.map +1 -0
- package/dist/frontend/ts7/semantic-checker.test.d.ts +1 -0
- package/dist/frontend/ts7/semantic-checker.test.js +119 -0
- package/dist/frontend/ts7/semantic-checker.test.js.map +1 -0
- package/dist/frontend/ts7/semantic-json.d.ts +5 -0
- package/dist/frontend/ts7/semantic-json.js +47 -0
- package/dist/frontend/ts7/semantic-json.js.map +1 -0
- package/dist/frontend/ts7/semantic-json.test.d.ts +1 -0
- package/dist/frontend/ts7/semantic-json.test.js +42 -0
- package/dist/frontend/ts7/semantic-json.test.js.map +1 -0
- package/dist/frontend/ts7/semantic-model.d.ts +222 -0
- package/dist/frontend/ts7/semantic-model.js +423 -0
- package/dist/frontend/ts7/semantic-model.js.map +1 -0
- package/dist/frontend/ts7/semantic-model.test.d.ts +1 -0
- package/dist/frontend/ts7/semantic-model.test.js +322 -0
- package/dist/frontend/ts7/semantic-model.test.js.map +1 -0
- package/dist/frontend/ts7/semantic-schema.generated.d.ts +283 -0
- package/dist/frontend/ts7/semantic-schema.generated.js +222 -0
- package/dist/frontend/ts7/semantic-schema.generated.js.map +1 -0
- package/dist/frontend/ts7/semantic-types.d.ts +5 -0
- package/dist/frontend/ts7/semantic-types.js +2 -0
- package/dist/frontend/ts7/semantic-types.js.map +1 -0
- package/dist/frontend/ts7/session-cache.d.ts +17 -0
- package/dist/frontend/ts7/session-cache.js +97 -0
- package/dist/frontend/ts7/session-cache.js.map +1 -0
- package/dist/frontend/ts7/session-cache.test.d.ts +1 -0
- package/dist/frontend/ts7/session-cache.test.js +87 -0
- package/dist/frontend/ts7/session-cache.test.js.map +1 -0
- package/dist/frontend/ts7/session-path.d.ts +18 -0
- package/dist/frontend/ts7/session-path.js +203 -0
- package/dist/frontend/ts7/session-path.js.map +1 -0
- package/dist/frontend/ts7/session-path.test.d.ts +1 -0
- package/dist/frontend/ts7/session-path.test.js +34 -0
- package/dist/frontend/ts7/session-path.test.js.map +1 -0
- package/dist/frontend/ts7/session-schema.generated.d.ts +167 -0
- package/dist/frontend/ts7/session-schema.generated.js +5 -0
- package/dist/frontend/ts7/session-schema.generated.js.map +1 -0
- package/dist/frontend/ts7/session-timing.d.ts +50 -0
- package/dist/frontend/ts7/session-timing.js +61 -0
- package/dist/frontend/ts7/session-timing.js.map +1 -0
- package/dist/frontend/ts7/session-timing.test.d.ts +1 -0
- package/dist/frontend/ts7/session-timing.test.js +52 -0
- package/dist/frontend/ts7/session-timing.test.js.map +1 -0
- package/dist/frontend/ts7/session.d.ts +105 -0
- package/dist/frontend/ts7/session.js +233 -0
- package/dist/frontend/ts7/session.js.map +1 -0
- package/dist/frontend/ts7/session.test.d.ts +1 -0
- package/dist/frontend/ts7/session.test.js +215 -0
- package/dist/frontend/ts7/session.test.js.map +1 -0
- package/dist/frontend/ts7/source-parser-node.d.ts +6 -0
- package/dist/frontend/ts7/source-parser-node.js +15 -0
- package/dist/frontend/ts7/source-parser-node.js.map +1 -0
- package/dist/frontend/ts7/source-parser.d.ts +25 -0
- package/dist/frontend/ts7/source-parser.js +96 -0
- package/dist/frontend/ts7/source-parser.js.map +1 -0
- package/dist/frontend/ts7/source-parser.test.d.ts +1 -0
- package/dist/frontend/ts7/source-parser.test.js +151 -0
- package/dist/frontend/ts7/source-parser.test.js.map +1 -0
- package/dist/frontend/ts7/syntax.d.ts +3 -0
- package/dist/frontend/ts7/syntax.js +4 -0
- package/dist/frontend/ts7/syntax.js.map +1 -0
- package/dist/frontend/tsc-codes.js +3 -0
- package/dist/frontend/tsc-codes.js.map +1 -1
- package/dist/frontend/type-mapper.d.ts +34 -18
- package/dist/frontend/type-mapper.js +552 -131
- package/dist/frontend/type-mapper.js.map +1 -1
- package/dist/frontend/type-mapper.test.js +146 -2
- package/dist/frontend/type-mapper.test.js.map +1 -1
- package/dist/frontend/union-discriminants.d.ts +16 -0
- package/dist/frontend/union-discriminants.js +98 -0
- package/dist/frontend/union-discriminants.js.map +1 -0
- package/dist/frontend/union-discriminants.test.d.ts +1 -0
- package/dist/frontend/union-discriminants.test.js +182 -0
- package/dist/frontend/union-discriminants.test.js.map +1 -0
- package/dist/index.d.ts +7 -198
- package/dist/index.js +369 -1572
- package/dist/index.js.map +1 -1
- package/dist/ir/analysis.d.ts +16 -4
- package/dist/ir/analysis.js +23 -4
- package/dist/ir/analysis.js.map +1 -1
- package/dist/ir/analysis.test.js +15 -2
- package/dist/ir/analysis.test.js.map +1 -1
- package/dist/ir/constant-tables.js +67 -49
- package/dist/ir/constant-tables.js.map +1 -1
- package/dist/ir/constant-tables.test.js +1 -1
- package/dist/ir/control-flow.d.ts +6 -0
- package/dist/ir/control-flow.js +142 -0
- package/dist/ir/control-flow.js.map +1 -0
- package/dist/ir/control-flow.test.d.ts +1 -0
- package/dist/ir/control-flow.test.js +113 -0
- package/dist/ir/control-flow.test.js.map +1 -0
- package/dist/ir/integer-loops.js +7 -18
- package/dist/ir/integer-loops.js.map +1 -1
- package/dist/ir/integer-ranges.js +53 -27
- package/dist/ir/integer-ranges.js.map +1 -1
- package/dist/ir/ir.d.ts +334 -176
- package/dist/ir/ir.js +710 -903
- package/dist/ir/ir.js.map +1 -1
- package/dist/ir/ir.test.js +162 -1
- package/dist/ir/ir.test.js.map +1 -1
- package/dist/ir/scalar-records.js +165 -134
- package/dist/ir/scalar-records.js.map +1 -1
- package/dist/ir/scalar-records.test.js +1 -1
- package/dist/ir/serialize.d.ts +4 -2
- package/dist/ir/serialize.js +33 -14
- package/dist/ir/serialize.js.map +1 -1
- package/dist/ir/serialize.test.d.ts +1 -0
- package/dist/ir/serialize.test.js +57 -0
- package/dist/ir/serialize.test.js.map +1 -0
- package/dist/ir/traverse.d.ts +41 -0
- package/dist/ir/traverse.js +660 -0
- package/dist/ir/traverse.js.map +1 -0
- package/dist/ir/traverse.test.d.ts +1 -0
- package/dist/ir/traverse.test.js +242 -0
- package/dist/ir/traverse.test.js.map +1 -0
- package/dist/ir/validate.js +2018 -1498
- package/dist/ir/validate.js.map +1 -1
- package/dist/ir/validate.test.js +536 -2
- package/dist/ir/validate.test.js.map +1 -1
- package/dist/library/cache-primitives.d.ts +2 -3
- package/dist/library/cache-primitives.js +4 -6
- package/dist/library/cache-primitives.js.map +1 -1
- package/dist/library/fence-eval.js +2 -2
- package/dist/library/fence-eval.js.map +1 -1
- package/dist/library/int-infer.js +7 -6
- package/dist/library/int-infer.js.map +1 -1
- package/dist/library/int-infer.test.js +4 -4
- package/dist/library/library-cache.d.ts +3 -2
- package/dist/library/library-cache.js +5 -17
- package/dist/library/library-cache.js.map +1 -1
- package/dist/library/library-cache.test.js +54 -41
- package/dist/library/library-cache.test.js.map +1 -1
- package/dist/library/library-profile.d.ts +3 -1
- package/dist/library/library-profile.js +15 -6
- package/dist/library/library-profile.js.map +1 -1
- package/dist/library/prepare.d.ts +15 -0
- package/dist/library/prepare.js +584 -0
- package/dist/library/prepare.js.map +1 -0
- package/dist/library/semantic-source.d.ts +1 -1
- package/dist/library/semantic-source.js +8 -6
- package/dist/library/semantic-source.js.map +1 -1
- package/dist/library/sidecar-validate.js +4 -4
- package/dist/library/sidecar-validate.js.map +1 -1
- package/dist/library/sidecar.d.ts +2 -0
- package/dist/library/sidecar.js +10 -3
- package/dist/library/sidecar.js.map +1 -1
- package/dist/native/cache.d.ts +11 -0
- package/dist/native/cache.js +113 -0
- package/dist/native/cache.js.map +1 -0
- package/dist/native/cache.test.d.ts +1 -0
- package/dist/native/cache.test.js +66 -0
- package/dist/native/cache.test.js.map +1 -0
- package/dist/native/cli.d.ts +1 -0
- package/dist/native/cli.js +112 -0
- package/dist/native/cli.js.map +1 -0
- package/dist/native/compiler.d.ts +15 -0
- package/dist/native/compiler.js +336 -0
- package/dist/native/compiler.js.map +1 -0
- package/dist/native/compiler.test.d.ts +1 -0
- package/dist/native/compiler.test.js +174 -0
- package/dist/native/compiler.test.js.map +1 -0
- package/dist/native/comptime.d.ts +5 -0
- package/dist/native/comptime.js +73 -0
- package/dist/native/comptime.js.map +1 -0
- package/dist/native/comptime.test.d.ts +1 -0
- package/dist/native/comptime.test.js +65 -0
- package/dist/native/comptime.test.js.map +1 -0
- package/dist/native/executable-cache.d.ts +26 -0
- package/dist/native/executable-cache.js +228 -0
- package/dist/native/executable-cache.js.map +1 -0
- package/dist/native/executable-cache.test.d.ts +1 -0
- package/dist/native/executable-cache.test.js +151 -0
- package/dist/native/executable-cache.test.js.map +1 -0
- package/dist/native/file-identity.d.ts +4 -0
- package/dist/native/file-identity.js +14 -0
- package/dist/native/file-identity.js.map +1 -0
- package/dist/native/file-identity.test.d.ts +1 -0
- package/dist/native/file-identity.test.js +43 -0
- package/dist/native/file-identity.test.js.map +1 -0
- package/dist/native/library.d.ts +22 -0
- package/dist/native/library.js +83 -0
- package/dist/native/library.js.map +1 -0
- package/dist/native/prepare.d.ts +21 -0
- package/dist/native/prepare.js +174 -0
- package/dist/native/prepare.js.map +1 -0
- package/dist/native/prepare.test.d.ts +1 -0
- package/dist/native/prepare.test.js +70 -0
- package/dist/native/prepare.test.js.map +1 -0
- package/dist/native/sanitizer.d.ts +11 -0
- package/dist/native/sanitizer.js +137 -0
- package/dist/native/sanitizer.js.map +1 -0
- package/dist/native/sanitizer.test.d.ts +1 -0
- package/dist/native/sanitizer.test.js +58 -0
- package/dist/native/sanitizer.test.js.map +1 -0
- package/dist/native/task.d.ts +4 -0
- package/dist/native/task.js +16 -0
- package/dist/native/task.js.map +1 -0
- package/dist/native/task.test.d.ts +1 -0
- package/dist/native/task.test.js +17 -0
- package/dist/native/task.test.js.map +1 -0
- package/dist/native/toolchain.d.ts +45 -0
- package/dist/native/toolchain.js +94 -0
- package/dist/native/toolchain.js.map +1 -0
- package/dist/native/toolchain.test.d.ts +1 -0
- package/dist/native/toolchain.test.js +85 -0
- package/dist/native/toolchain.test.js.map +1 -0
- package/dist/startup-cache.d.ts +1 -1
- package/dist/startup-cache.js +2 -5
- package/dist/startup-cache.js.map +1 -1
- package/dist/timing.d.ts +4 -0
- package/dist/timing.js +19 -0
- package/dist/timing.js.map +1 -0
- package/dist/wasi-paths.js +10 -7
- package/dist/wasi-paths.js.map +1 -1
- package/package.json +28 -19
- package/surface-manifest.json +107 -98
- package/dist/backend/c/async.d.ts +0 -171
- package/dist/backend/c/async.js +0 -1317
- package/dist/backend/c/async.js.map +0 -1
- package/dist/backend/c/c-emitter.d.ts +0 -536
- package/dist/backend/c/c-emitter.js +0 -1932
- package/dist/backend/c/c-emitter.js.map +0 -1
- package/dist/backend/c/exprs.d.ts +0 -15
- package/dist/backend/c/exprs.js +0 -8847
- package/dist/backend/c/exprs.js.map +0 -1
- package/dist/backend/c/island.d.ts +0 -45
- package/dist/backend/c/island.js +0 -281
- package/dist/backend/c/island.js.map +0 -1
- package/dist/backend/c/may-throw.js.map +0 -1
- package/dist/backend/c/shapes.d.ts +0 -142
- package/dist/backend/c/shapes.js +0 -603
- package/dist/backend/c/shapes.js.map +0 -1
- package/dist/backend/c/stmts.d.ts +0 -76
- package/dist/backend/c/stmts.js +0 -1108
- package/dist/backend/c/stmts.js.map +0 -1
- package/dist/backend/c/types.d.ts +0 -71
- package/dist/backend/c/types.js +0 -459
- package/dist/backend/c/types.js.map +0 -1
- package/dist/backend/c/types.test.js +0 -32
- package/dist/backend/c/types.test.js.map +0 -1
- package/dist/backend/c/walkers.d.ts +0 -134
- package/dist/backend/c/walkers.js +0 -1772
- package/dist/backend/c/walkers.js.map +0 -1
- /package/dist/backend/{c/types.test.d.ts → cycle-analysis.test.d.ts} +0 -0
|
@@ -1,13 +1,13 @@
|
|
|
1
|
-
import { IrType } from "../../ir/ir.js";
|
|
1
|
+
import { type IrType } from "../../ir/ir.js";
|
|
2
2
|
import { BlockBuilder } from "./blocks.js";
|
|
3
|
-
import type { LlvmEmitterContext, LlStreamTypedRefAdapter
|
|
3
|
+
import type { LlvmEmitterContext, LlStreamTypedRefAdapter } from "./expr-context.js";
|
|
4
4
|
export declare function dynPromiseAdapter(host: LlvmEmitterContext, inner: IrType): string;
|
|
5
5
|
export declare function streamTypedRefCommitAdapter(host: LlvmEmitterContext, t: IrType, snapshot: string): string;
|
|
6
6
|
export declare function liveDynUnionRefAdapter(host: LlvmEmitterContext, t: IrType & {
|
|
7
7
|
kind: "union";
|
|
8
8
|
}): string;
|
|
9
|
-
export declare function streamTypedRefBoxValue(host: LlvmEmitterContext, B: BlockBuilder, t: IrType, value: string
|
|
10
|
-
export declare function streamTypedRefMaterializeAdapter(host: LlvmEmitterContext, t: IrType
|
|
9
|
+
export declare function streamTypedRefBoxValue(host: LlvmEmitterContext, B: BlockBuilder, t: IrType, value: string): string;
|
|
10
|
+
export declare function streamTypedRefMaterializeAdapter(host: LlvmEmitterContext, t: IrType): LlStreamTypedRefAdapter;
|
|
11
11
|
export declare function streamFromArrayAdapter(host: LlvmEmitterContext, t: IrType & {
|
|
12
12
|
kind: "array";
|
|
13
13
|
}): string;
|
|
@@ -1,14 +1,15 @@
|
|
|
1
|
+
import { typedRefConstructor } from "./shapes.js";
|
|
1
2
|
/* Focused LLVM expression emission extracted from emitter.ts. */
|
|
2
3
|
import { InternalCompilerError } from "../../errors.js";
|
|
3
4
|
import { streamTypedRefEligible } from "../../ir/analysis.js";
|
|
4
|
-
import { isClassOwnEnumerableFieldName, isDynTypedRefType, isRefCounted, typeKey } from "../../ir/ir.js";
|
|
5
|
-
import { mangleRecordStruct } from "../mangle.js";
|
|
5
|
+
import { DYN_CLASS_PROPERTIES, RUNTIME_STREAM_CLASSES, SYMBOL_T, classDynViewSupported, isClassOwnEnumerableFieldName, isDynTypedRefType, isRefCounted, typeKey } from "../../ir/ir.js";
|
|
6
|
+
import { mangleFunction, mangleGlobal, mangleRecordStruct } from "../mangle.js";
|
|
6
7
|
import { BlockBuilder } from "./blocks.js";
|
|
7
8
|
import { classFieldIndex, classStructSym } from "./classes.js";
|
|
8
9
|
import { llvmCommentText } from "./common.js";
|
|
9
10
|
import { FN_ATTRS, llFieldType, releaseSym, traceArg, vAdapters } from "./shapes.js";
|
|
10
11
|
export function dynPromiseAdapter(host, inner) {
|
|
11
|
-
if (
|
|
12
|
+
if (inner.kind === "dyn") {
|
|
12
13
|
throw new InternalCompilerError(`dynamic promise adapter requires a concrete reference type, got ${typeKey(inner)}`);
|
|
13
14
|
}
|
|
14
15
|
const key = typeKey(inner);
|
|
@@ -26,7 +27,7 @@ export function dynPromiseAdapter(host, inner) {
|
|
|
26
27
|
const value = B.tmp();
|
|
27
28
|
const pending = B.tmp();
|
|
28
29
|
B.line(`${dyn} = call ptr @scr_promise_payload_ref(ptr %src)`);
|
|
29
|
-
B.line(`${value} = call
|
|
30
|
+
B.line(inner.kind === "void" ? `; void fulfillment ignores the checked payload` : `${value} = call ${host.llType(inner)} @${host.dyn.dynCheckHelper(inner)}(ptr ${dyn}, ptr null)`);
|
|
30
31
|
B.line(`call void @scr_dyn_release_v(ptr ${dyn})`);
|
|
31
32
|
B.line(`${pending} = call zeroext i1 @scr_exc_pending()`);
|
|
32
33
|
const fail = B.newLabel("sra.fail");
|
|
@@ -36,14 +37,23 @@ export function dynPromiseAdapter(host, inner) {
|
|
|
36
37
|
B.line(`call void @scr_promise_reject_pending(ptr %dst)`);
|
|
37
38
|
B.terminate(`ret void`);
|
|
38
39
|
B.startBlock(ok);
|
|
39
|
-
if (inner.kind === "
|
|
40
|
+
if (inner.kind === "void") {
|
|
41
|
+
host.declare(`declare void @scr_promise_fulfill_void(ptr)`);
|
|
42
|
+
B.line(`call void @scr_promise_fulfill_void(ptr %dst)`);
|
|
43
|
+
}
|
|
44
|
+
else if (inner.kind === "f64" || inner.kind === "date" || inner.kind === "bool") {
|
|
45
|
+
const fn = inner.kind !== "bool" ? "scr_promise_fulfill_f64" : "scr_promise_fulfill_bool";
|
|
46
|
+
host.declare(`declare void @${fn}(ptr, ${host.llType(inner)}${inner.kind === "bool" ? " zeroext" : ""})`);
|
|
47
|
+
B.line(`call void @${fn}(ptr %dst, ${host.llType(inner)}${inner.kind === "bool" ? " zeroext" : ""} ${value})`);
|
|
48
|
+
}
|
|
49
|
+
else if (inner.kind === "string") {
|
|
40
50
|
host.declare(`declare void @scr_promise_fulfill_str(ptr, ptr)`);
|
|
41
51
|
B.line(`call void @scr_promise_fulfill_str(ptr %dst, ptr ${value})`);
|
|
42
52
|
}
|
|
43
53
|
else {
|
|
44
|
-
const rc = vAdapters(host, inner);
|
|
54
|
+
const rc = vAdapters(host.shapeHost, inner);
|
|
45
55
|
host.declare(`declare void @scr_promise_fulfill_ref(ptr, ptr, ptr, ptr, ptr)`);
|
|
46
|
-
B.line(`call void @scr_promise_fulfill_ref(ptr %dst, ptr ${value}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${traceArg(host, inner)})`);
|
|
56
|
+
B.line(`call void @scr_promise_fulfill_ref(ptr %dst, ptr ${value}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${traceArg(host.shapeHost, inner)})`);
|
|
47
57
|
}
|
|
48
58
|
B.terminate(`ret void`);
|
|
49
59
|
host.resolveThunkDefs.push(`define internal void @${sym}(ptr %dst, ptr %src) ${FN_ATTRS} { ; checked-dynamic promise exit ${key}`, B.render(), `}`, ``);
|
|
@@ -81,6 +91,7 @@ export function streamTypedRefCommitAdapter(host, t, snapshot) {
|
|
|
81
91
|
{ name: "props", index: 12, type: "ptr" },
|
|
82
92
|
{ name: "prop_len", index: 13, type: host.sizeType },
|
|
83
93
|
{ name: "prop_cap", index: 14, type: host.sizeType },
|
|
94
|
+
{ name: "metadata", index: 15, type: "ptr" },
|
|
84
95
|
];
|
|
85
96
|
for (const member of storageMembers) {
|
|
86
97
|
lines.push(` %target_${member.name}_ptr = getelementptr inbounds %ScrArr, ptr %target, i64 0, i32 ${member.index}`, ` %next_${member.name}_ptr = getelementptr inbounds %ScrArr, ptr %next, i64 0, i32 ${member.index}`, ` %target_${member.name} = load ${member.type}, ptr %target_${member.name}_ptr`, ` %next_${member.name} = load ${member.type}, ptr %next_${member.name}_ptr`, ` store ${member.type} %next_${member.name}, ptr %target_${member.name}_ptr`, ` store ${member.type} %target_${member.name}, ptr %next_${member.name}_ptr`);
|
|
@@ -102,7 +113,9 @@ export function streamTypedRefCommitAdapter(host, t, snapshot) {
|
|
|
102
113
|
`define internal void @${commit}(ptr %target, ptr %d) ${FN_ATTRS} { ; commit unknown class ${typeKey(t)}`,
|
|
103
114
|
`entry:`,
|
|
104
115
|
];
|
|
105
|
-
const
|
|
116
|
+
const symbols = new Map((meta.def.symbolFields ?? []).map((symbol) => [symbol.field, symbol.globalId]));
|
|
117
|
+
const fields = meta.def.fields.filter((field) => (isClassOwnEnumerableFieldName(field.name) || symbols.has(field.name)) &&
|
|
118
|
+
!(meta.root.def.name === "%Error" && (field.name === "message" || field.name === "name")));
|
|
106
119
|
for (const [index, field] of fields.entries()) {
|
|
107
120
|
const next = `f${index}_next`;
|
|
108
121
|
const raw = `f${index}_raw`;
|
|
@@ -115,7 +128,23 @@ export function streamTypedRefCommitAdapter(host, t, snapshot) {
|
|
|
115
128
|
const { index: fieldIndex } = classFieldIndex(meta, field.name);
|
|
116
129
|
const fieldTy = llFieldType(field.type);
|
|
117
130
|
const checkTy = field.type.kind === "f64" ? "double" : field.type.kind === "bool" ? "i1" : "ptr";
|
|
118
|
-
|
|
131
|
+
const symbolGlobal = symbols.get(field.name);
|
|
132
|
+
if (symbolGlobal) {
|
|
133
|
+
host.declare(`declare ptr @scr_dyn_symbol_key_get(ptr, ptr, i1 zeroext)`);
|
|
134
|
+
host.declare(`declare void @scr_dyn_release_v(ptr)`);
|
|
135
|
+
lines.push(` %f${index}_keyraw = load ptr, ptr @${mangleGlobal(symbolGlobal)}`, ` %f${index}_key = call ptr @${host.dyn.toDynHelper(SYMBOL_T)}(ptr %f${index}_keyraw)`);
|
|
136
|
+
if (field.type.kind === "symbol") {
|
|
137
|
+
// A base constructor can mutate the instance before this
|
|
138
|
+
// derived field initializes. An absent snapshot entry leaves
|
|
139
|
+
// that native slot uninitialized until its declaration runs.
|
|
140
|
+
host.declare(`declare zeroext i1 @scr_dyn_has_own_computed(ptr, ptr)`);
|
|
141
|
+
lines.push(` %f${index}_present = call zeroext i1 @scr_dyn_has_own_computed(ptr %d, ptr %f${index}_key)`, ` %f${index}_priorptr = getelementptr inbounds %${classStructSym(t.className)}, ptr %target, i64 0, i32 ${fieldIndex}`, ` %f${index}_prior = load ptr, ptr %f${index}_priorptr`, ` %f${index}_initialized = icmp ne ptr %f${index}_prior, null`, ` %f${index}_read = or i1 %f${index}_present, %f${index}_initialized`, ` br i1 %f${index}_read, label %f${index}_read_symbol, label %f${index}_absent_symbol`, `f${index}_absent_symbol:`, ` call void @scr_dyn_release_v(ptr %f${index}_key)`, ` br label %${after}`, `f${index}_read_symbol:`);
|
|
142
|
+
}
|
|
143
|
+
lines.push(` %${raw} = call ptr @scr_dyn_symbol_key_get(ptr %d, ptr %f${index}_key, i1 zeroext false)`, ` call void @scr_dyn_release_v(ptr %f${index}_key)`);
|
|
144
|
+
}
|
|
145
|
+
else
|
|
146
|
+
lines.push(` %${raw} = call ptr @scr_dyn_obj_get(ptr %d, ptr ${host.cstr(field.name)}, ${host.sizeType} ${Buffer.byteLength(field.name, "utf8")})`);
|
|
147
|
+
lines.push(` %${missing} = icmp eq ptr %${raw}, null`, ` %${undef} = call ptr @scr_dyn_undefined()`, ` %${input} = select i1 %${missing}, ptr %${undef}, ptr %${raw}`, ` %${next} = call ${field.type.kind === "bool" ? "zeroext " : ""}${checkTy} @${host.dyn.dynCheckHelper(field.type)}(ptr %${input}, ptr null)`, ...(symbolGlobal ? [` call void @scr_dyn_release_v(ptr %${raw})`] : []), ` %${pending} = call zeroext i1 @scr_exc_pending()`, ` br i1 %${pending}, label %done, label %${store}`, `${store}:`, ` %f${index}_ptr = getelementptr inbounds %${classStructSym(t.className)}, ptr %target, i64 0, i32 ${fieldIndex}`, ` %f${index}_old = load ${fieldTy}, ptr %f${index}_ptr`);
|
|
119
148
|
if (field.type.kind === "bool") {
|
|
120
149
|
lines.push(` %f${index}_stored = zext i1 %${next} to i8`, ` store i8 %f${index}_stored, ptr %f${index}_ptr`);
|
|
121
150
|
}
|
|
@@ -123,10 +152,36 @@ export function streamTypedRefCommitAdapter(host, t, snapshot) {
|
|
|
123
152
|
lines.push(` store ${fieldTy} %${next}, ptr %f${index}_ptr`);
|
|
124
153
|
}
|
|
125
154
|
if (isRefCounted(field.type)) {
|
|
126
|
-
lines.push(` call void ${releaseSym(host, field.type)}(ptr %f${index}_old)`);
|
|
155
|
+
lines.push(` call void ${releaseSym(host.shapeHost, field.type)}(ptr %f${index}_old)`);
|
|
127
156
|
}
|
|
128
157
|
lines.push(` br label %${after}`, `${after}:`);
|
|
129
158
|
}
|
|
159
|
+
if (meta.def.fields.some((field) => field.name === DYN_CLASS_PROPERTIES)) {
|
|
160
|
+
host.declare(`declare ptr @scr_dyn_new_obj()`);
|
|
161
|
+
host.declare(`declare ptr @scr_dyn_copy_property_descriptors(ptr, ptr)`);
|
|
162
|
+
host.declare(`declare void @scr_dyn_release_v(ptr)`);
|
|
163
|
+
host.declare(`declare ptr @scr_str_new(ptr, ${host.sizeType})`);
|
|
164
|
+
host.declare(`declare void @scr_str_release(ptr)`);
|
|
165
|
+
host.declare(`declare void @scr_dyn_key_delete(ptr, ptr, i1 zeroext)`);
|
|
166
|
+
lines.push(` %bag = call ptr @scr_dyn_new_obj()`, ` %bag_copy = call ptr @scr_dyn_copy_property_descriptors(ptr %bag, ptr %d)`, ` call void @scr_dyn_release_v(ptr %bag_copy)`, ` %bag_pending = call zeroext i1 @scr_exc_pending()`, ` br i1 %bag_pending, label %bag_fail, label %bag_keys`, `bag_fail:`, ` call void @scr_dyn_release_v(ptr %bag)`, ` br label %done`, `bag_keys:`);
|
|
167
|
+
if (meta.def.instancePrototypeHelper || meta.def.prototypeDataHelper) {
|
|
168
|
+
host.declare(`declare ptr @scr_dyn_set_prototype(ptr, ptr)`);
|
|
169
|
+
lines.push(...(meta.def.instancePrototypeHelper ? [
|
|
170
|
+
` %prototype_receiver = call ptr ${vAdapters(host.shapeHost, t).retain}(ptr %target)`,
|
|
171
|
+
` %prototype = call ptr @${mangleFunction(meta.def.instancePrototypeHelper)}(ptr %prototype_receiver)`,
|
|
172
|
+
] : [` %prototype = call ptr @${mangleFunction(meta.def.prototypeDataHelper)}()`]), ` %with_prototype = call ptr @scr_dyn_set_prototype(ptr %bag, ptr %prototype)`, ` call void @scr_dyn_release_v(ptr %prototype)`, ` call void @scr_dyn_release_v(ptr %with_prototype)`);
|
|
173
|
+
}
|
|
174
|
+
fields.filter((field) => !symbols.has(field.name)).forEach((field, index) => lines.push(` %bag_key${index} = call ptr @scr_str_new(ptr ${host.cstr(field.name)}, ${host.sizeType} ${Buffer.byteLength(field.name, "utf8")})`, ` call void @scr_dyn_key_delete(ptr %bag, ptr %bag_key${index}, i1 zeroext false)`, ` call void @scr_str_release(ptr %bag_key${index})`));
|
|
175
|
+
if (symbols.size > 0)
|
|
176
|
+
host.declare(`declare void @scr_dyn_key_delete_computed(ptr, ptr, i1 zeroext)`);
|
|
177
|
+
[...symbols.values()].forEach((globalId, index) => lines.push(` %bag_symraw${index} = load ptr, ptr @${mangleGlobal(globalId)}`, ` %bag_sym${index} = call ptr @${host.dyn.toDynHelper(SYMBOL_T)}(ptr %bag_symraw${index})`, ` call void @scr_dyn_key_delete_computed(ptr %bag, ptr %bag_sym${index}, i1 zeroext false)`, ` call void @scr_dyn_release_v(ptr %bag_sym${index})`));
|
|
178
|
+
const { index } = classFieldIndex(meta, DYN_CLASS_PROPERTIES);
|
|
179
|
+
lines.push(` %bag_ptr = getelementptr inbounds %${classStructSym(t.className)}, ptr %target, i64 0, i32 ${index}`, ` %bag_old = load ptr, ptr %bag_ptr`, ` store ptr %bag, ptr %bag_ptr`, ` call void @scr_dyn_release_v(ptr %bag_old)`);
|
|
180
|
+
}
|
|
181
|
+
if (meta.root.def.name === "%Error") {
|
|
182
|
+
host.declare(`declare void @scr_error_commit_dyn(ptr, ptr)`);
|
|
183
|
+
lines.push(` call void @scr_error_commit_dyn(ptr %target, ptr %d)`);
|
|
184
|
+
}
|
|
130
185
|
lines.push(` br label %done`, `done:`, ` ret void`, `}`, ``);
|
|
131
186
|
host.resolveThunkDefs.push(...lines);
|
|
132
187
|
return `@${commit}`;
|
|
@@ -164,7 +219,7 @@ export function streamTypedRefCommitAdapter(host, t, snapshot) {
|
|
|
164
219
|
members.forEach((member, index) => {
|
|
165
220
|
lines.push(` %tp${index} = getelementptr inbounds %${mangleRecordStruct(t.shapeId)}, ptr %target, i64 0, i32 ${member.index}`, ` %np${index} = getelementptr inbounds %${mangleRecordStruct(t.shapeId)}, ptr %next, i64 0, i32 ${member.index}`, ` %old${index} = load ${member.type}, ptr %tp${index} ; ${llvmCommentText(member.name)}`, ` %new${index} = load ${member.type}, ptr %np${index}`, ` store ${member.type} %new${index}, ptr %tp${index}`, ` store ${member.type} %old${index}, ptr %np${index}`);
|
|
166
221
|
});
|
|
167
|
-
lines.push(` call void ${releaseSym(host, t)}(ptr %next)`, ` br label %done`, `done:`, ` ret void`, `}`, ``);
|
|
222
|
+
lines.push(` call void ${releaseSym(host.shapeHost, t)}(ptr %next)`, ` br label %done`, `done:`, ` ret void`, `}`, ``);
|
|
168
223
|
host.resolveThunkDefs.push(...lines);
|
|
169
224
|
return `@${commit}`;
|
|
170
225
|
}
|
|
@@ -179,17 +234,15 @@ export function liveDynUnionRefAdapter(host, t) {
|
|
|
179
234
|
}
|
|
180
235
|
const mutableArms = union.arms
|
|
181
236
|
.map((arm, tag) => ({ arm, tag }))
|
|
182
|
-
.filter(({ arm }) => streamTypedRefEligible(arm) || isDynTypedRefType(arm));
|
|
183
|
-
if (mutableArms.length === 0) {
|
|
237
|
+
.filter(({ arm }) => arm.kind !== "bytes" && (streamTypedRefEligible(arm) || isDynTypedRefType(arm)));
|
|
238
|
+
if (mutableArms.length === 0 && !union.arms.some((arm) => arm.kind === "bytes")) {
|
|
184
239
|
throw new InternalCompilerError(`llvm emitter bug: live dyn ref of immutable union ${key}`);
|
|
185
240
|
}
|
|
186
241
|
const sym = `sc_ldu_${host.liveDynUnionRefAdapters.size}`;
|
|
187
242
|
host.liveDynUnionRefAdapters.set(key, sym);
|
|
188
|
-
host.declare(`declare ptr @scr_dyn_new_typed_ref(ptr, ptr, ptr, ptr, ${host.sizeType}, ptr, ptr)`);
|
|
189
243
|
const adapters = new Map();
|
|
190
244
|
for (const { arm, tag } of mutableArms) {
|
|
191
|
-
|
|
192
|
-
adapters.set(tag, host.streamTypedRefMaterializeAdapter(arm, { prefix, adapters: new Map() }, `${prefix}_materialize`));
|
|
245
|
+
adapters.set(tag, host.liveDynRefAdapter(arm));
|
|
193
246
|
}
|
|
194
247
|
const B = new BlockBuilder();
|
|
195
248
|
const tagPtr = B.tmp();
|
|
@@ -209,7 +262,7 @@ export function liveDynUnionRefAdapter(host, t) {
|
|
|
209
262
|
].join(" ")} ]`);
|
|
210
263
|
mutableArms.forEach(({ arm, tag }, index) => {
|
|
211
264
|
const adapter = adapters.get(tag);
|
|
212
|
-
const rc = vAdapters(host, arm);
|
|
265
|
+
const rc = vAdapters(host.shapeHost, arm);
|
|
213
266
|
const armKey = typeKey(arm);
|
|
214
267
|
B.startBlock(armLabels[index]);
|
|
215
268
|
const payloadPtr = B.tmp();
|
|
@@ -217,7 +270,7 @@ export function liveDynUnionRefAdapter(host, t) {
|
|
|
217
270
|
const boxed = B.tmp();
|
|
218
271
|
B.line(`${payloadPtr} = getelementptr inbounds %ScrUnion, ptr %u, i64 0, i32 5`);
|
|
219
272
|
B.line(`${payload} = load ptr, ptr ${payloadPtr}`);
|
|
220
|
-
B.line(`${boxed} = call ptr
|
|
273
|
+
B.line(`${boxed} = call ptr ${typedRefConstructor(host.shapeHost, arm)}(ptr ${payload}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${host.cstr(armKey)}, ${host.sizeType} ${Buffer.byteLength(armKey, "utf8")}, ptr @${adapter.snapshot}, ptr ${adapter.commit})`);
|
|
221
274
|
B.terminate(`ret ptr ${boxed}`);
|
|
222
275
|
});
|
|
223
276
|
valueArms.forEach(({ arm }, index) => {
|
|
@@ -272,99 +325,14 @@ export function liveDynUnionRefAdapter(host, t) {
|
|
|
272
325
|
host.resolveThunkDefs.push(`define internal ptr @${sym}(ptr %u) ${FN_ATTRS} { ; materialize live union value ${key}`, B.render(), `}`, ``);
|
|
273
326
|
return sym;
|
|
274
327
|
}
|
|
275
|
-
function
|
|
276
|
-
const key = typeKey(t);
|
|
277
|
-
const unions = (ctx.unions ??= new Map());
|
|
278
|
-
const existing = unions.get(key);
|
|
279
|
-
if (existing)
|
|
280
|
-
return existing;
|
|
281
|
-
const def = host.unionsById.get(t.unionId);
|
|
282
|
-
if (!def) {
|
|
283
|
-
throw new InternalCompilerError(`llvm emitter bug: typed-ref union ${t.unionId} is undeclared`);
|
|
284
|
-
}
|
|
285
|
-
const sym = `${ctx.prefix}_union_${unions.size}`;
|
|
286
|
-
unions.set(key, sym);
|
|
287
|
-
host.declare(`declare ptr @scr_dyn_new_typed_ref(ptr, ptr, ptr, ptr, ${host.sizeType}, ptr, ptr)`);
|
|
288
|
-
const B = new BlockBuilder();
|
|
289
|
-
const tagPtr = B.tmp();
|
|
290
|
-
const tagValue = B.tmp();
|
|
291
|
-
B.line(`${tagPtr} = getelementptr inbounds %ScrUnion, ptr %u, i64 0, i32 1`);
|
|
292
|
-
B.line(`${tagValue} = load i32, ptr ${tagPtr}`);
|
|
293
|
-
const bad = B.newLabel("tr.union.bad");
|
|
294
|
-
const labels = def.arms.map(() => B.newLabel("tr.union.arm"));
|
|
295
|
-
B.terminate(`switch i32 ${tagValue}, label %${bad} [ ${def.arms.map((_, index) => `i32 ${index}, label %${labels[index]}`).join(" ")} ]`);
|
|
296
|
-
def.arms.forEach((arm, index) => {
|
|
297
|
-
B.startBlock(labels[index]);
|
|
298
|
-
if (streamTypedRefEligible(arm) || isDynTypedRefType(arm)) {
|
|
299
|
-
const adapter = host.streamTypedRefMaterializeAdapter(arm, ctx);
|
|
300
|
-
const rc = vAdapters(host, arm);
|
|
301
|
-
const armKey = typeKey(arm);
|
|
302
|
-
const payloadPtr = B.tmp();
|
|
303
|
-
const payload = B.tmp();
|
|
304
|
-
const boxed = B.tmp();
|
|
305
|
-
B.line(`${payloadPtr} = getelementptr inbounds %ScrUnion, ptr %u, i64 0, i32 5`);
|
|
306
|
-
B.line(`${payload} = load ptr, ptr ${payloadPtr}`);
|
|
307
|
-
B.line(`${boxed} = call ptr @scr_dyn_new_typed_ref(ptr ${payload}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${host.cstr(armKey)}, ${host.sizeType} ${Buffer.byteLength(armKey, "utf8")}, ptr @${adapter.snapshot}, ptr ${adapter.commit})`);
|
|
308
|
-
B.terminate(`ret ptr ${boxed}`);
|
|
309
|
-
}
|
|
310
|
-
else if (arm.kind === "undefinedT") {
|
|
311
|
-
host.declare(`declare ptr @scr_dyn_undefined()`);
|
|
312
|
-
host.declare(`declare ptr @scr_dyn_retain_v(ptr)`);
|
|
313
|
-
const undef = B.tmp();
|
|
314
|
-
const boxed = B.tmp();
|
|
315
|
-
B.line(`${undef} = call ptr @scr_dyn_undefined()`);
|
|
316
|
-
B.line(`${boxed} = call ptr @scr_dyn_retain_v(ptr ${undef})`);
|
|
317
|
-
B.terminate(`ret ptr ${boxed}`);
|
|
318
|
-
}
|
|
319
|
-
else if (arm.kind === "nullT") {
|
|
320
|
-
host.declare(`declare ptr @scr_dyn_new_null()`);
|
|
321
|
-
const boxed = B.tmp();
|
|
322
|
-
B.line(`${boxed} = call ptr @scr_dyn_new_null()`);
|
|
323
|
-
B.terminate(`ret ptr ${boxed}`);
|
|
324
|
-
}
|
|
325
|
-
else if (arm.kind === "f64") {
|
|
326
|
-
host.declare(`declare double @scr_union_get_f64(ptr)`);
|
|
327
|
-
host.declare(`declare ptr @scr_dyn_new_num(double)`);
|
|
328
|
-
const value = B.tmp();
|
|
329
|
-
const boxed = B.tmp();
|
|
330
|
-
B.line(`${value} = call double @scr_union_get_f64(ptr %u)`);
|
|
331
|
-
B.line(`${boxed} = call ptr @scr_dyn_new_num(double ${value})`);
|
|
332
|
-
B.terminate(`ret ptr ${boxed}`);
|
|
333
|
-
}
|
|
334
|
-
else if (arm.kind === "bool") {
|
|
335
|
-
host.declare(`declare zeroext i1 @scr_union_get_bool(ptr)`);
|
|
336
|
-
host.declare(`declare ptr @scr_dyn_new_bool(i1 zeroext)`);
|
|
337
|
-
const value = B.tmp();
|
|
338
|
-
const boxed = B.tmp();
|
|
339
|
-
B.line(`${value} = call zeroext i1 @scr_union_get_bool(ptr %u)`);
|
|
340
|
-
B.line(`${boxed} = call ptr @scr_dyn_new_bool(i1 ${value})`);
|
|
341
|
-
B.terminate(`ret ptr ${boxed}`);
|
|
342
|
-
}
|
|
343
|
-
else {
|
|
344
|
-
const payloadPtr = B.tmp();
|
|
345
|
-
const payload = B.tmp();
|
|
346
|
-
const boxed = B.tmp();
|
|
347
|
-
B.line(`${payloadPtr} = getelementptr inbounds %ScrUnion, ptr %u, i64 0, i32 5`);
|
|
348
|
-
B.line(`${payload} = load ptr, ptr ${payloadPtr}`);
|
|
349
|
-
B.line(`${boxed} = call ptr @${host.dyn.toDynHelper(arm)}(ptr ${payload})`);
|
|
350
|
-
B.terminate(`ret ptr ${boxed}`);
|
|
351
|
-
}
|
|
352
|
-
});
|
|
353
|
-
B.startBlock(bad);
|
|
354
|
-
host.declare(`declare void @scr_trap(ptr)`);
|
|
355
|
-
B.line(`call void @scr_trap(ptr ${host.cstr("scriptc: internal error: invalid union tag\n")})`);
|
|
356
|
-
B.terminate(`unreachable`);
|
|
357
|
-
host.resolveThunkDefs.push(`define internal ptr @${sym}(ptr %u) ${FN_ATTRS} { ; typed-ref union ${key}`, B.render(), `}`, ``);
|
|
358
|
-
return sym;
|
|
359
|
-
}
|
|
360
|
-
export function streamTypedRefBoxValue(host, B, t, value, ctx) {
|
|
328
|
+
export function streamTypedRefBoxValue(host, B, t, value) {
|
|
361
329
|
const boxed = B.tmp();
|
|
362
330
|
if (t.kind === "union" &&
|
|
363
331
|
(host.unionsById.get(t.unionId)?.arms.some((arm) => streamTypedRefEligible(arm) || isDynTypedRefType(arm)) ?? false)) {
|
|
364
|
-
B.line(`${boxed} = call ptr @${
|
|
332
|
+
B.line(`${boxed} = call ptr @${host.liveDynUnionRefAdapter(t)}(ptr ${value})`);
|
|
365
333
|
return boxed;
|
|
366
334
|
}
|
|
367
|
-
if (!streamTypedRefEligible(t) && !isDynTypedRefType(t)) {
|
|
335
|
+
if (t.kind === "bytes" || !streamTypedRefEligible(t) && !isDynTypedRefType(t)) {
|
|
368
336
|
const valueTy = t.kind === "f64"
|
|
369
337
|
? "double"
|
|
370
338
|
: t.kind === "bool"
|
|
@@ -373,22 +341,33 @@ export function streamTypedRefBoxValue(host, B, t, value, ctx) {
|
|
|
373
341
|
B.line(`${boxed} = call ptr @${host.dyn.toDynHelper(t)}(${valueTy} ${value})`);
|
|
374
342
|
return boxed;
|
|
375
343
|
}
|
|
376
|
-
const nested = host.
|
|
377
|
-
const rc = vAdapters(host, t);
|
|
344
|
+
const nested = host.liveDynRefAdapter(t);
|
|
345
|
+
const rc = vAdapters(host.shapeHost, t);
|
|
378
346
|
const key = typeKey(t);
|
|
379
|
-
|
|
380
|
-
B.line(`${boxed} = call ptr @scr_dyn_new_typed_ref(ptr ${value}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${host.cstr(key)}, ${host.sizeType} ${Buffer.byteLength(key, "utf8")}, ptr @${nested.snapshot}, ptr ${nested.commit})`);
|
|
347
|
+
B.line(`${boxed} = call ptr ${typedRefConstructor(host.shapeHost, t)}(ptr ${value}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${host.cstr(key)}, ${host.sizeType} ${Buffer.byteLength(key, "utf8")}, ptr @${nested.snapshot}, ptr ${nested.commit})`);
|
|
381
348
|
return boxed;
|
|
382
349
|
}
|
|
383
|
-
export function streamTypedRefMaterializeAdapter(host, t
|
|
350
|
+
export function streamTypedRefMaterializeAdapter(host, t) {
|
|
384
351
|
const key = typeKey(t);
|
|
385
|
-
const existing =
|
|
352
|
+
const existing = host.liveDynRefAdapters.get(key);
|
|
386
353
|
if (existing)
|
|
387
354
|
return existing;
|
|
388
|
-
|
|
389
|
-
|
|
355
|
+
// The converter depends only on the static type. Intern the complete
|
|
356
|
+
// graph across roots and union arms so recursive types emit once.
|
|
357
|
+
const snapshot = `sc_ldr_${host.liveDynRefAdapters.size}_materialize`;
|
|
390
358
|
const adapter = { snapshot, commit: "null" };
|
|
391
|
-
|
|
359
|
+
host.liveDynRefAdapters.set(key, adapter);
|
|
360
|
+
if (isDynTypedRefType(t)) {
|
|
361
|
+
const fields = host.classMeta.get(t.className)?.def.fields;
|
|
362
|
+
if (fields && !classDynViewSupported(fields, (id) => host.recordsById.get(id), (id) => host.unionsById.get(id))) {
|
|
363
|
+
host.declare(`declare ptr @scr_dyn_class_view_unavailable(ptr)`);
|
|
364
|
+
adapter.snapshot = "scr_dyn_class_view_unavailable";
|
|
365
|
+
return adapter;
|
|
366
|
+
}
|
|
367
|
+
}
|
|
368
|
+
// Publish both symbols before their bodies: class-array and callback
|
|
369
|
+
// converters can request this same adapter while emitting the commit.
|
|
370
|
+
adapter.commit = `@${snapshot}_commit`;
|
|
392
371
|
adapter.commit = host.streamTypedRefCommitAdapter(t, snapshot);
|
|
393
372
|
const B = new BlockBuilder();
|
|
394
373
|
if (isDynTypedRefType(t)) {
|
|
@@ -396,11 +375,56 @@ export function streamTypedRefMaterializeAdapter(host, t, ctx, preferredSnapshot
|
|
|
396
375
|
if (!meta) {
|
|
397
376
|
throw new InternalCompilerError(`llvm emitter bug: typed-ref materialize of unknown class ${t.className}`);
|
|
398
377
|
}
|
|
378
|
+
if (meta.hierarchy && meta.children.length) {
|
|
379
|
+
const vtSlot = B.tmp(), vt = B.tmp(), preSlot = B.tmp(), pre = B.tmp();
|
|
380
|
+
B.line(`${vtSlot} = getelementptr inbounds %${classStructSym(t.className)}, ptr %p, i64 0, i32 1`);
|
|
381
|
+
B.line(`${vt} = load ptr, ptr ${vtSlot}`);
|
|
382
|
+
B.line(`${preSlot} = getelementptr inbounds %ScrVt, ptr ${vt}, i64 0, i32 0`);
|
|
383
|
+
B.line(`${pre} = load ${host.sizeType}, ptr ${preSlot}`);
|
|
384
|
+
const descendants = (current) => current.children.flatMap((child) => [child, ...descendants(child)]);
|
|
385
|
+
for (const child of descendants(meta).reverse()) {
|
|
386
|
+
const childAdapter = host.liveDynRefAdapter({ kind: "object", className: child.def.name });
|
|
387
|
+
const exact = B.tmp(), yes = B.newLabel("class.derived"), next = B.newLabel("class.next");
|
|
388
|
+
B.line(`${exact} = icmp eq ${host.sizeType} ${pre}, ${child.pre}`);
|
|
389
|
+
B.condBr(exact, yes, next);
|
|
390
|
+
B.startBlock(yes);
|
|
391
|
+
const result = B.tmp();
|
|
392
|
+
B.line(`${result} = call ptr @${childAdapter.snapshot}(ptr %p)`);
|
|
393
|
+
B.terminate(`ret ptr ${result}`);
|
|
394
|
+
B.startBlock(next);
|
|
395
|
+
}
|
|
396
|
+
}
|
|
399
397
|
host.declare(`declare ptr @scr_dyn_new_obj()`);
|
|
400
398
|
host.declare(`declare void @scr_dyn_obj_set(ptr, ptr, ${host.sizeType}, ptr)`);
|
|
401
399
|
const out = B.tmp();
|
|
402
|
-
|
|
403
|
-
|
|
400
|
+
if (meta.root.def.name === "%Error") {
|
|
401
|
+
host.declare(`declare ptr @scr_error_dyn_fields(ptr)`);
|
|
402
|
+
B.line(`${out} = call ptr @scr_error_dyn_fields(ptr %p)`);
|
|
403
|
+
}
|
|
404
|
+
else if (meta.def.runtime && RUNTIME_STREAM_CLASSES.has(t.className) &&
|
|
405
|
+
!meta.def.instancePrototypeHelper && !meta.def.prototypeDataHelper) {
|
|
406
|
+
host.declare(`declare ptr @scr_stream_dyn_view(ptr)`);
|
|
407
|
+
B.line(`${out} = call ptr @scr_stream_dyn_view(ptr %p)`);
|
|
408
|
+
}
|
|
409
|
+
else
|
|
410
|
+
B.line(`${out} = call ptr @scr_dyn_new_obj()`);
|
|
411
|
+
if (meta.def.instancePrototypeHelper || meta.def.prototypeDataHelper) {
|
|
412
|
+
host.declare(`declare ptr @scr_dyn_set_prototype(ptr, ptr)`);
|
|
413
|
+
host.declare(`declare void @scr_dyn_release_v(ptr)`);
|
|
414
|
+
const prototype = B.tmp(), attached = B.tmp();
|
|
415
|
+
if (meta.def.instancePrototypeHelper) {
|
|
416
|
+
const receiver = B.tmp();
|
|
417
|
+
B.line(`${receiver} = call ptr ${vAdapters(host.shapeHost, t).retain}(ptr %p)`);
|
|
418
|
+
B.line(`${prototype} = call ptr @${mangleFunction(meta.def.instancePrototypeHelper)}(ptr ${receiver})`);
|
|
419
|
+
}
|
|
420
|
+
else
|
|
421
|
+
B.line(`${prototype} = call ptr @${mangleFunction(meta.def.prototypeDataHelper)}()`);
|
|
422
|
+
B.line(`${attached} = call ptr @scr_dyn_set_prototype(ptr ${out}, ptr ${prototype})`);
|
|
423
|
+
B.line(`call void @scr_dyn_release_v(ptr ${prototype})`);
|
|
424
|
+
B.line(`call void @scr_dyn_release_v(ptr ${attached})`);
|
|
425
|
+
}
|
|
426
|
+
for (const field of meta.def.fields.filter((f) => isClassOwnEnumerableFieldName(f.name) &&
|
|
427
|
+
!(meta.root.def.name === "%Error" && (f.name === "message" || f.name === "name")))) {
|
|
404
428
|
const { index } = classFieldIndex(meta, field.name);
|
|
405
429
|
const fieldPtr = B.tmp();
|
|
406
430
|
let fieldValue = B.tmp();
|
|
@@ -411,9 +435,51 @@ export function streamTypedRefMaterializeAdapter(host, t, ctx, preferredSnapshot
|
|
|
411
435
|
B.line(`${boolValue} = trunc i8 ${fieldValue} to i1`);
|
|
412
436
|
fieldValue = boolValue;
|
|
413
437
|
}
|
|
414
|
-
const boxed = host.streamTypedRefBoxValue(B, field.type, fieldValue
|
|
438
|
+
const boxed = host.streamTypedRefBoxValue(B, field.type, fieldValue);
|
|
415
439
|
B.line(`call void @scr_dyn_obj_set(ptr ${out}, ptr ${host.cstr(field.name)}, ${host.sizeType} ${Buffer.byteLength(field.name, "utf8")}, ptr ${boxed})`);
|
|
416
440
|
}
|
|
441
|
+
for (const symbol of meta.def.symbolFields ?? []) {
|
|
442
|
+
const field = meta.def.fields.find((field) => field.name === symbol.field);
|
|
443
|
+
const { index } = classFieldIndex(meta, symbol.field);
|
|
444
|
+
const fieldPtr = B.tmp(), rawKey = B.tmp();
|
|
445
|
+
let fieldValue = B.tmp();
|
|
446
|
+
B.line(`${fieldPtr} = getelementptr inbounds %${classStructSym(t.className)}, ptr %p, i64 0, i32 ${index}`);
|
|
447
|
+
B.line(`${fieldValue} = load ${llFieldType(field.type)}, ptr ${fieldPtr}`);
|
|
448
|
+
const afterSymbol = field.type.kind === "symbol" ? B.newLabel("symbol.after") : null;
|
|
449
|
+
if (afterSymbol) {
|
|
450
|
+
const initialized = B.tmp(), present = B.newLabel("symbol.present");
|
|
451
|
+
B.line(`${initialized} = icmp ne ptr ${fieldValue}, null`);
|
|
452
|
+
B.condBr(initialized, present, afterSymbol);
|
|
453
|
+
B.startBlock(present);
|
|
454
|
+
}
|
|
455
|
+
if (llFieldType(field.type) === "i8") {
|
|
456
|
+
const boolValue = B.tmp();
|
|
457
|
+
B.line(`${boolValue} = trunc i8 ${fieldValue} to i1`);
|
|
458
|
+
fieldValue = boolValue;
|
|
459
|
+
}
|
|
460
|
+
B.line(`${rawKey} = load ptr, ptr @${mangleGlobal(symbol.globalId)}`);
|
|
461
|
+
const key = host.streamTypedRefBoxValue(B, SYMBOL_T, rawKey);
|
|
462
|
+
const value = host.streamTypedRefBoxValue(B, field.type, fieldValue);
|
|
463
|
+
host.declare(`declare void @scr_dyn_symbol_key_set(ptr, ptr, ptr)`);
|
|
464
|
+
host.declare(`declare void @scr_dyn_release_v(ptr)`);
|
|
465
|
+
B.line(`call void @scr_dyn_symbol_key_set(ptr ${out}, ptr ${key}, ptr ${value})`);
|
|
466
|
+
B.line(`call void @scr_dyn_release_v(ptr ${key})`);
|
|
467
|
+
B.line(`call void @scr_dyn_release_v(ptr ${value})`);
|
|
468
|
+
if (afterSymbol) {
|
|
469
|
+
B.terminate(`br label %${afterSymbol}`);
|
|
470
|
+
B.startBlock(afterSymbol);
|
|
471
|
+
}
|
|
472
|
+
}
|
|
473
|
+
if (meta.def.fields.some((field) => field.name === DYN_CLASS_PROPERTIES)) {
|
|
474
|
+
host.declare(`declare ptr @scr_dyn_copy_property_descriptors(ptr, ptr)`);
|
|
475
|
+
host.declare(`declare void @scr_dyn_release_v(ptr)`);
|
|
476
|
+
const { index } = classFieldIndex(meta, DYN_CLASS_PROPERTIES);
|
|
477
|
+
const slot = B.tmp(), bag = B.tmp(), copied = B.tmp();
|
|
478
|
+
B.line(`${slot} = getelementptr inbounds %${classStructSym(t.className)}, ptr %p, i64 0, i32 ${index}`);
|
|
479
|
+
B.line(`${bag} = load ptr, ptr ${slot}`);
|
|
480
|
+
B.line(`${copied} = call ptr @scr_dyn_copy_property_descriptors(ptr ${out}, ptr ${bag})`);
|
|
481
|
+
B.line(`call void @scr_dyn_release_v(ptr ${copied})`);
|
|
482
|
+
}
|
|
417
483
|
B.terminate(`ret ptr ${out}`);
|
|
418
484
|
}
|
|
419
485
|
else if (t.kind === "record") {
|
|
@@ -447,7 +513,7 @@ export function streamTypedRefMaterializeAdapter(host, t, ctx, preferredSnapshot
|
|
|
447
513
|
B.line(`${boolValue} = trunc i8 ${fieldValue} to i1`);
|
|
448
514
|
fieldValue = boolValue;
|
|
449
515
|
}
|
|
450
|
-
const boxed = host.streamTypedRefBoxValue(B, field.type, fieldValue
|
|
516
|
+
const boxed = host.streamTypedRefBoxValue(B, field.type, fieldValue);
|
|
451
517
|
B.line(`call void @scr_dyn_arr_push(ptr ${out}, ptr ${boxed})`);
|
|
452
518
|
}
|
|
453
519
|
B.terminate(`ret ptr ${out}`);
|
|
@@ -475,7 +541,7 @@ export function streamTypedRefMaterializeAdapter(host, t, ctx, preferredSnapshot
|
|
|
475
541
|
B.line(`${boolValue} = trunc i8 ${fieldValue} to i1`);
|
|
476
542
|
fieldValue = boolValue;
|
|
477
543
|
}
|
|
478
|
-
const boxed = host.streamTypedRefBoxValue(B, field.type, fieldValue
|
|
544
|
+
const boxed = host.streamTypedRefBoxValue(B, field.type, fieldValue);
|
|
479
545
|
B.line(`call void @scr_dyn_obj_set(ptr ${out}, ptr ${host.cstr(field.name)}, ${host.sizeType} ${Buffer.byteLength(field.name, "utf8")}, ptr ${boxed})`);
|
|
480
546
|
}
|
|
481
547
|
B.terminate(`ret ptr ${out}`);
|
|
@@ -491,6 +557,25 @@ export function streamTypedRefMaterializeAdapter(host, t, ctx, preferredSnapshot
|
|
|
491
557
|
const len = B.tmp();
|
|
492
558
|
B.line(`${len} = call double @scr_arr_len(ptr %p)`);
|
|
493
559
|
B.countedLoop(len, (index) => {
|
|
560
|
+
host.declare(`declare double @scr_arr_state(ptr, double)`);
|
|
561
|
+
host.declare(`declare ptr @scr_dyn_undefined()`);
|
|
562
|
+
host.declare(`declare ptr @scr_dyn_retain_v(ptr)`);
|
|
563
|
+
const state = B.tmp();
|
|
564
|
+
const present = B.tmp();
|
|
565
|
+
const valueLabel = B.newLabel("live.array.value");
|
|
566
|
+
const absentLabel = B.newLabel("live.array.absent");
|
|
567
|
+
const doneLabel = B.newLabel("live.array.done");
|
|
568
|
+
B.line(`${state} = call double @scr_arr_state(ptr %p, double ${index})`);
|
|
569
|
+
B.line(`${present} = fcmp oeq double ${state}, 1.0`); // SCR_ARR_VALUE
|
|
570
|
+
B.condBr(present, valueLabel, absentLabel);
|
|
571
|
+
B.startBlock(absentLabel);
|
|
572
|
+
const undefinedValue = B.tmp();
|
|
573
|
+
const retained = B.tmp();
|
|
574
|
+
B.line(`${undefinedValue} = call ptr @scr_dyn_undefined()`);
|
|
575
|
+
B.line(`${retained} = call ptr @scr_dyn_retain_v(ptr ${undefinedValue})`);
|
|
576
|
+
B.line(`call void @scr_dyn_arr_push(ptr ${out}, ptr ${retained})`);
|
|
577
|
+
B.br(doneLabel);
|
|
578
|
+
B.startBlock(valueLabel);
|
|
494
579
|
let value;
|
|
495
580
|
if (elem.kind === "f64" || elem.kind === "bool") {
|
|
496
581
|
const valueTy = elem.kind === "f64" ? "double" : "i1";
|
|
@@ -503,12 +588,16 @@ export function streamTypedRefMaterializeAdapter(host, t, ctx, preferredSnapshot
|
|
|
503
588
|
value = B.tmp();
|
|
504
589
|
B.line(`${value} = call ptr @scr_arr_get_ref(ptr %p, double ${index}) ; +1`);
|
|
505
590
|
}
|
|
506
|
-
const boxed = host.streamTypedRefBoxValue(B, elem, value
|
|
591
|
+
const boxed = host.streamTypedRefBoxValue(B, elem, value);
|
|
507
592
|
B.line(`call void @scr_dyn_arr_push(ptr ${out}, ptr ${boxed})`);
|
|
508
593
|
if (isRefCounted(elem)) {
|
|
509
|
-
B.line(`call void ${releaseSym(host, elem)}(ptr ${value})`);
|
|
594
|
+
B.line(`call void ${releaseSym(host.shapeHost, elem)}(ptr ${value})`);
|
|
510
595
|
}
|
|
596
|
+
B.br(doneLabel);
|
|
597
|
+
B.startBlock(doneLabel);
|
|
511
598
|
});
|
|
599
|
+
host.declare(`declare void @scr_arr_copy_metadata(ptr, ptr)`);
|
|
600
|
+
B.line(`call void @scr_arr_copy_metadata(ptr %p, ptr ${out})`);
|
|
512
601
|
B.terminate(`ret ptr ${out}`);
|
|
513
602
|
}
|
|
514
603
|
else {
|
|
@@ -541,7 +630,7 @@ export function streamFromArrayAdapter(host, t) {
|
|
|
541
630
|
elem.kind !== "dyn" &&
|
|
542
631
|
elem.kind !== "string" &&
|
|
543
632
|
elem.kind !== "union";
|
|
544
|
-
|
|
633
|
+
let snapshot = `${sym}_materialize`;
|
|
545
634
|
let value;
|
|
546
635
|
if (elem.kind === "f64") {
|
|
547
636
|
host.declare(`declare double @scr_arr_get_f64(ptr, double)`);
|
|
@@ -566,7 +655,6 @@ export function streamFromArrayAdapter(host, t) {
|
|
|
566
655
|
B.line(`${boxed} = call ptr @${host.dyn.toDynHelper(elem)}(ptr ${value})`);
|
|
567
656
|
}
|
|
568
657
|
else {
|
|
569
|
-
host.declare(`declare ptr @scr_dyn_new_typed_ref(ptr, ptr, ptr, ptr, ${host.sizeType}, ptr, ptr)`);
|
|
570
658
|
const boxedSlot = B.slot();
|
|
571
659
|
B.entryAllocas.push(`${boxedSlot} = alloca ptr`);
|
|
572
660
|
const tagPtr = B.tmp();
|
|
@@ -581,14 +669,14 @@ export function streamFromArrayAdapter(host, t) {
|
|
|
581
669
|
const armKey = typeKey(arm);
|
|
582
670
|
const armSnapshot = `${snapshot}_${tag}`;
|
|
583
671
|
const armCommit = host.streamTypedRefCommitAdapter(arm, armSnapshot);
|
|
584
|
-
const rc = vAdapters(host, arm);
|
|
672
|
+
const rc = vAdapters(host.shapeHost, arm);
|
|
585
673
|
B.startBlock(armLabels[i]);
|
|
586
674
|
const payloadPtr = B.tmp();
|
|
587
675
|
const payload = B.tmp();
|
|
588
676
|
const armBoxed = B.tmp();
|
|
589
677
|
B.line(`${payloadPtr} = getelementptr inbounds %ScrUnion, ptr ${value}, i64 0, i32 5`);
|
|
590
678
|
B.line(`${payload} = load ptr, ptr ${payloadPtr}`);
|
|
591
|
-
B.line(`${armBoxed} = call ptr
|
|
679
|
+
B.line(`${armBoxed} = call ptr ${typedRefConstructor(host.shapeHost, arm)}(ptr ${payload}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${host.cstr(armKey)}, ${host.sizeType} ${Buffer.byteLength(armKey, "utf8")}, ptr @${armSnapshot}, ptr ${armCommit})`);
|
|
592
680
|
B.line(`store ptr ${armBoxed}, ptr ${boxedSlot}`);
|
|
593
681
|
B.br(join);
|
|
594
682
|
host.resolveThunkDefs.push(`define internal ptr @${armSnapshot}(ptr %p) ${FN_ATTRS} { ; materialize stream union arm ${armKey}`, `entry:`, ` %d = call ptr @${host.dyn.toDynHelper(arm)}(ptr %p)`, ` ret ptr %d`, `}`, ``);
|
|
@@ -605,25 +693,26 @@ export function streamFromArrayAdapter(host, t) {
|
|
|
605
693
|
}
|
|
606
694
|
else if (typedRef) {
|
|
607
695
|
boxed = B.tmp();
|
|
608
|
-
const rc = vAdapters(host, elem);
|
|
696
|
+
const rc = vAdapters(host.shapeHost, elem);
|
|
609
697
|
const keyPtr = host.cstr(key);
|
|
610
698
|
let commit;
|
|
611
699
|
if (streamTypedRefEligible(elem)) {
|
|
612
|
-
|
|
700
|
+
const adapter = host.liveDynRefAdapter(elem);
|
|
701
|
+
snapshot = adapter.snapshot;
|
|
702
|
+
commit = adapter.commit;
|
|
613
703
|
}
|
|
614
704
|
else {
|
|
615
705
|
commit = host.streamTypedRefCommitAdapter(elem, snapshot);
|
|
616
706
|
host.resolveThunkDefs.push(`define internal ptr @${snapshot}(ptr %p) ${FN_ATTRS} { ; materialize stream element ${key}`, `entry:`, ` %d = call ptr @${host.dyn.toDynHelper(elem)}(ptr %p)`, ` ret ptr %d`, `}`, ``);
|
|
617
707
|
}
|
|
618
|
-
|
|
619
|
-
B.line(`${boxed} = call ptr @scr_dyn_new_typed_ref(ptr ${value}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${keyPtr}, ${host.sizeType} ${Buffer.byteLength(key, "utf8")}, ptr @${snapshot}, ptr ${commit})`);
|
|
708
|
+
B.line(`${boxed} = call ptr ${typedRefConstructor(host.shapeHost, elem)}(ptr ${value}, ptr ${rc.retain}, ptr ${rc.release}, ptr ${keyPtr}, ${host.sizeType} ${Buffer.byteLength(key, "utf8")}, ptr @${snapshot}, ptr ${commit})`);
|
|
620
709
|
}
|
|
621
710
|
else {
|
|
622
711
|
boxed = B.tmp();
|
|
623
712
|
B.line(`${boxed} = call ptr @${host.dyn.toDynHelper(elem)}(${valueTy} ${value})`);
|
|
624
713
|
}
|
|
625
714
|
if (isRefCounted(elem)) {
|
|
626
|
-
B.line(`call void ${releaseSym(host, elem)}(ptr ${value})`);
|
|
715
|
+
B.line(`call void ${releaseSym(host.shapeHost, elem)}(ptr ${value})`);
|
|
627
716
|
}
|
|
628
717
|
B.terminate(`ret ptr ${boxed}`);
|
|
629
718
|
host.resolveThunkDefs.push(`define internal ptr @${sym}(ptr %a, double %i) ${FN_ATTRS} { ; ReadableStream.from array<${key}>`, B.render(), `}`, ``);
|