@scriptc/compiler 0.2.6 → 0.2.7
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 +5 -18
- package/dist/backend/cycle-analysis.d.ts +21 -9
- package/dist/backend/cycle-analysis.js +139 -67
- package/dist/backend/cycle-analysis.js.map +1 -1
- package/dist/backend/cycle-analysis.test.js +283 -3
- package/dist/backend/cycle-analysis.test.js.map +1 -1
- package/dist/backend/cycle-mutability.d.ts +39 -0
- package/dist/backend/cycle-mutability.js +205 -0
- package/dist/backend/cycle-mutability.js.map +1 -0
- package/dist/backend/link-plan-core.d.ts +2 -1
- package/dist/backend/link-plan-core.js +15 -3
- package/dist/backend/link-plan-core.js.map +1 -1
- package/dist/backend/link-plan.d.ts +2 -1
- package/dist/backend/link-plan.js.map +1 -1
- package/dist/backend/llvm/alloc.d.ts +40 -0
- package/dist/backend/llvm/alloc.js +205 -0
- package/dist/backend/llvm/alloc.js.map +1 -0
- package/dist/backend/llvm/alloc.test.d.ts +1 -0
- package/dist/backend/llvm/alloc.test.js +102 -0
- package/dist/backend/llvm/alloc.test.js.map +1 -0
- package/dist/backend/llvm/call-lifetimes.d.ts +15 -3
- package/dist/backend/llvm/call-lifetimes.js +42 -18
- package/dist/backend/llvm/call-lifetimes.js.map +1 -1
- package/dist/backend/llvm/call-lifetimes.test.js +170 -0
- package/dist/backend/llvm/call-lifetimes.test.js.map +1 -1
- package/dist/backend/llvm/classes.d.ts +4 -1
- package/dist/backend/llvm/classes.js +35 -32
- package/dist/backend/llvm/classes.js.map +1 -1
- package/dist/backend/llvm/classes.test.js +36 -3
- package/dist/backend/llvm/classes.test.js.map +1 -1
- package/dist/backend/llvm/common.d.ts +13 -0
- package/dist/backend/llvm/common.js +30 -0
- package/dist/backend/llvm/common.js.map +1 -1
- package/dist/backend/llvm/constant-callbacks.d.ts +19 -3
- package/dist/backend/llvm/constant-callbacks.js +289 -52
- package/dist/backend/llvm/constant-callbacks.js.map +1 -1
- package/dist/backend/llvm/constant-callbacks.test.js +140 -3
- package/dist/backend/llvm/constant-callbacks.test.js.map +1 -1
- package/dist/backend/llvm/dense-array-access.d.ts +29 -0
- package/dist/backend/llvm/dense-array-access.js +335 -0
- package/dist/backend/llvm/dense-array-access.js.map +1 -0
- package/dist/backend/llvm/dense-array-access.test.d.ts +1 -0
- package/dist/backend/llvm/dense-array-access.test.js +149 -0
- package/dist/backend/llvm/dense-array-access.test.js.map +1 -0
- package/dist/backend/llvm/dyn.d.ts +34 -0
- package/dist/backend/llvm/dyn.js +189 -1
- package/dist/backend/llvm/dyn.js.map +1 -1
- package/dist/backend/llvm/emitter.d.ts +124 -4
- package/dist/backend/llvm/emitter.js +623 -105
- package/dist/backend/llvm/emitter.js.map +1 -1
- package/dist/backend/llvm/emitter.test.js +68 -6
- package/dist/backend/llvm/emitter.test.js.map +1 -1
- package/dist/backend/llvm/expr-async.js +58 -4
- package/dist/backend/llvm/expr-async.js.map +1 -1
- package/dist/backend/llvm/expr-async.test.d.ts +1 -0
- package/dist/backend/llvm/expr-async.test.js +62 -0
- package/dist/backend/llvm/expr-async.test.js.map +1 -0
- package/dist/backend/llvm/expr-calls.js +64 -6
- package/dist/backend/llvm/expr-calls.js.map +1 -1
- package/dist/backend/llvm/expr-containers.js +16 -5
- package/dist/backend/llvm/expr-containers.js.map +1 -1
- package/dist/backend/llvm/expr-control.js +92 -2
- package/dist/backend/llvm/expr-control.js.map +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 +174 -25
- package/dist/backend/llvm/expr-dynamic.js.map +1 -1
- package/dist/backend/llvm/expr-primitives.d.ts +1 -1
- package/dist/backend/llvm/expr-primitives.js +52 -24
- 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.js +3 -3
- package/dist/backend/llvm/expr-records.js.map +1 -1
- package/dist/backend/llvm/expr-stream-bridges.js +59 -2
- package/dist/backend/llvm/expr-stream-bridges.js.map +1 -1
- package/dist/backend/llvm/expr-stream-bridges.test.js +1 -1
- package/dist/backend/llvm/integer-remainder.d.ts +11 -0
- package/dist/backend/llvm/integer-remainder.js +91 -0
- package/dist/backend/llvm/integer-remainder.js.map +1 -1
- package/dist/backend/llvm/layouts.d.ts +2 -1
- package/dist/backend/llvm/layouts.js +3 -2
- package/dist/backend/llvm/layouts.js.map +1 -1
- package/dist/backend/llvm/lazy-captures.d.ts +16 -0
- package/dist/backend/llvm/lazy-captures.js +96 -0
- package/dist/backend/llvm/lazy-captures.js.map +1 -0
- package/dist/backend/llvm/lazy-captures.test.d.ts +1 -0
- package/dist/backend/llvm/lazy-captures.test.js +78 -0
- package/dist/backend/llvm/lazy-captures.test.js.map +1 -0
- package/dist/backend/llvm/lib-filesystem.js +3 -4
- package/dist/backend/llvm/lib-filesystem.js.map +1 -1
- package/dist/backend/llvm/local-array-reads.d.ts +5 -1
- package/dist/backend/llvm/local-array-reads.js +78 -17
- package/dist/backend/llvm/local-array-reads.js.map +1 -1
- package/dist/backend/llvm/local-array-reads.test.js +78 -1
- package/dist/backend/llvm/local-array-reads.test.js.map +1 -1
- package/dist/backend/llvm/local-union-storage.d.ts +5 -1
- package/dist/backend/llvm/local-union-storage.js +48 -6
- package/dist/backend/llvm/local-union-storage.js.map +1 -1
- package/dist/backend/llvm/local-union-storage.test.js +91 -4
- package/dist/backend/llvm/local-union-storage.test.js.map +1 -1
- package/dist/backend/llvm/map-read-lifetimes.test.js +1 -1
- package/dist/backend/llvm/nullable-fields.d.ts +28 -0
- package/dist/backend/llvm/nullable-fields.js +45 -0
- package/dist/backend/llvm/nullable-fields.js.map +1 -0
- package/dist/backend/llvm/nullable-fields.test.d.ts +1 -0
- package/dist/backend/llvm/nullable-fields.test.js +48 -0
- package/dist/backend/llvm/nullable-fields.test.js.map +1 -0
- package/dist/backend/llvm/serialized-ir-emission.test.d.ts +1 -0
- package/dist/backend/llvm/serialized-ir-emission.test.js +52 -0
- package/dist/backend/llvm/serialized-ir-emission.test.js.map +1 -0
- package/dist/backend/llvm/shapes.d.ts +69 -2
- package/dist/backend/llvm/shapes.js +259 -27
- package/dist/backend/llvm/shapes.js.map +1 -1
- package/dist/backend/llvm/shapes.test.js +114 -5
- package/dist/backend/llvm/shapes.test.js.map +1 -1
- package/dist/backend/llvm/stack-callbacks.js +2 -3
- package/dist/backend/llvm/stack-callbacks.js.map +1 -1
- package/dist/backend/llvm/stack-captures.d.ts +3 -1
- package/dist/backend/llvm/stack-captures.js +5 -3
- package/dist/backend/llvm/stack-captures.js.map +1 -1
- package/dist/backend/llvm/stack-unions.test.js +38 -1
- package/dist/backend/llvm/stack-unions.test.js.map +1 -1
- package/dist/backend/llvm/string-construction.test.js +1 -1
- package/dist/backend/llvm/string-key-hash.d.ts +8 -0
- package/dist/backend/llvm/string-key-hash.js +59 -0
- package/dist/backend/llvm/string-key-hash.js.map +1 -0
- package/dist/backend/llvm/string-key-hash.test.d.ts +1 -0
- package/dist/backend/llvm/string-key-hash.test.js +34 -0
- package/dist/backend/llvm/string-key-hash.test.js.map +1 -0
- package/dist/backend/llvm/string-lifetimes.test.js +41 -4
- package/dist/backend/llvm/string-lifetimes.test.js.map +1 -1
- package/dist/backend/llvm/switch-dispatch.js +1 -1
- package/dist/backend/llvm/switch-dispatch.js.map +1 -1
- package/dist/backend/llvm/switch-dispatch.test.js +2 -2
- package/dist/backend/llvm/switch-dispatch.test.js.map +1 -1
- package/dist/backend/may-throw.js +3 -0
- package/dist/backend/may-throw.js.map +1 -1
- package/dist/backend/may-throw.test.js +1 -1
- package/dist/backend/native/cache-warm.d.ts +2 -1
- package/dist/backend/native/cache-warm.js.map +1 -1
- package/dist/backend/native/contracts.d.ts +3 -2
- package/dist/backend/native/contracts.js.map +1 -1
- package/dist/backend/native/runtime-inputs.d.ts +1 -1
- package/dist/backend/native/runtime-inputs.js +1 -0
- package/dist/backend/native/runtime-inputs.js.map +1 -1
- package/dist/backend/native-codegen-core.d.ts +2 -1
- package/dist/backend/native-codegen-core.js.map +1 -1
- package/dist/backend/native-codegen.d.ts +5 -0
- package/dist/backend/native-codegen.js +4 -0
- package/dist/backend/native-codegen.js.map +1 -1
- package/dist/backend/native-codegen.test.js +23 -0
- package/dist/backend/native-codegen.test.js.map +1 -1
- package/dist/backend/native-link-info-core.d.ts +3 -2
- package/dist/backend/native-link-info-core.js.map +1 -1
- package/dist/backend/native-link-info.d.ts +2 -1
- package/dist/backend/native-link-info.js.map +1 -1
- package/dist/backend/native-link-info.test.js +2 -2
- package/dist/backend/native-link-info.test.js.map +1 -1
- package/dist/backend/native-tools.d.ts +3 -1
- package/dist/backend/native-tools.js +0 -1
- package/dist/backend/native-tools.js.map +1 -1
- package/dist/backend/optimization.d.ts +25 -0
- package/dist/backend/optimization.js +21 -0
- package/dist/backend/optimization.js.map +1 -0
- package/dist/backend/optimization.test.d.ts +1 -0
- package/dist/backend/optimization.test.js +24 -0
- package/dist/backend/optimization.test.js.map +1 -0
- 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 +15 -4
- package/dist/backend/runtime-pack-core.js +23 -12
- package/dist/backend/runtime-pack-core.js.map +1 -1
- package/dist/backend/runtime-pack-native.d.ts +7 -3
- package/dist/backend/runtime-pack-native.js +0 -3
- package/dist/backend/runtime-pack-native.js.map +1 -1
- package/dist/backend/runtime-pack-targets.test.js +1 -1
- package/dist/backend/runtime-pack.d.ts +20 -2
- package/dist/backend/runtime-pack.js +23 -0
- package/dist/backend/runtime-pack.js.map +1 -1
- package/dist/backend/runtime-pack.test.js +115 -2
- package/dist/backend/runtime-pack.test.js.map +1 -1
- package/dist/backend/target-diagnostics.test.js +1 -1
- package/dist/backend/targets.d.ts +2 -1
- package/dist/backend/targets.js +1 -1
- package/dist/backend/targets.js.map +1 -1
- package/dist/cli/command.js +5 -4
- package/dist/cli/command.js.map +1 -1
- package/dist/cli/host.d.ts +2 -1
- package/dist/cli/usage.d.ts +1 -1
- package/dist/cli/usage.js +5 -2
- package/dist/cli/usage.js.map +1 -1
- package/dist/compile-types.d.ts +5 -2
- package/dist/diagnostics/diagnostic.js +10 -8
- package/dist/diagnostics/diagnostic.js.map +1 -1
- package/dist/executable/executable-cache.d.ts +2 -2
- package/dist/executable/executable-cache.js +7 -4
- package/dist/executable/executable-cache.js.map +1 -1
- package/dist/executable/executable-cache.test.js +20 -0
- package/dist/executable/executable-cache.test.js.map +1 -1
- package/dist/frontend/lowering/abstract-equality.js +5 -49
- package/dist/frontend/lowering/abstract-equality.js.map +1 -1
- package/dist/frontend/lowering/array-values.d.ts +23 -0
- package/dist/frontend/lowering/array-values.js +129 -0
- package/dist/frontend/lowering/array-values.js.map +1 -1
- package/dist/frontend/lowering/builtins/errors.js +17 -2
- package/dist/frontend/lowering/builtins/errors.js.map +1 -1
- package/dist/frontend/lowering/builtins/process.d.ts +6 -17
- package/dist/frontend/lowering/builtins/process.js +56 -29
- package/dist/frontend/lowering/builtins/process.js.map +1 -1
- package/dist/frontend/lowering/caught-value-dispatch.d.ts +11 -0
- package/dist/frontend/lowering/caught-value-dispatch.js +87 -0
- package/dist/frontend/lowering/caught-value-dispatch.js.map +1 -0
- package/dist/frontend/lowering/class-assertions.d.ts +4 -0
- package/dist/frontend/lowering/class-assertions.js +12 -4
- package/dist/frontend/lowering/class-assertions.js.map +1 -1
- package/dist/frontend/lowering/class-callbacks.d.ts +3 -3
- package/dist/frontend/lowering/class-callbacks.js +18 -5
- package/dist/frontend/lowering/class-callbacks.js.map +1 -1
- package/dist/frontend/lowering/class-dynamic-dispatch.d.ts +1 -0
- package/dist/frontend/lowering/class-dynamic-dispatch.js +4 -1
- package/dist/frontend/lowering/class-dynamic-dispatch.js.map +1 -1
- package/dist/frontend/lowering/class-method-mutations.d.ts +5 -0
- package/dist/frontend/lowering/class-method-mutations.js +472 -0
- package/dist/frontend/lowering/class-method-mutations.js.map +1 -0
- package/dist/frontend/lowering/class-method-values.js +25 -5
- package/dist/frontend/lowering/class-method-values.js.map +1 -1
- package/dist/frontend/lowering/class-prototypes.js +8 -2
- package/dist/frontend/lowering/class-prototypes.js.map +1 -1
- package/dist/frontend/lowering/class-unions.d.ts +16 -0
- package/dist/frontend/lowering/class-unions.js +127 -0
- package/dist/frontend/lowering/class-unions.js.map +1 -0
- package/dist/frontend/lowering/coercions/builders.js +8 -1
- package/dist/frontend/lowering/coercions/builders.js.map +1 -1
- package/dist/frontend/lowering/coercions/function-adapters.js +2 -0
- package/dist/frontend/lowering/coercions/function-adapters.js.map +1 -1
- package/dist/frontend/lowering/coercions/identity.d.ts +7 -0
- package/dist/frontend/lowering/coercions/identity.js +26 -0
- package/dist/frontend/lowering/coercions/identity.js.map +1 -0
- package/dist/frontend/lowering/coercions/structural.js +9 -6
- package/dist/frontend/lowering/coercions/structural.js.map +1 -1
- package/dist/frontend/lowering/collection-narrowing.d.ts +6 -0
- package/dist/frontend/lowering/collection-narrowing.js +31 -0
- package/dist/frontend/lowering/collection-narrowing.js.map +1 -0
- package/dist/frontend/lowering/containers/array-callback-call.d.ts +7 -0
- package/dist/frontend/lowering/containers/array-callback-call.js +52 -0
- package/dist/frontend/lowering/containers/array-callback-call.js.map +1 -0
- package/dist/frontend/lowering/containers/array-callbacks.d.ts +1 -1
- package/dist/frontend/lowering/containers/array-callbacks.js +363 -49
- package/dist/frontend/lowering/containers/array-callbacks.js.map +1 -1
- package/dist/frontend/lowering/containers/array-concat.d.ts +7 -0
- package/dist/frontend/lowering/containers/array-concat.js +130 -0
- package/dist/frontend/lowering/containers/array-concat.js.map +1 -0
- package/dist/frontend/lowering/containers/array-construction.d.ts +2 -0
- package/dist/frontend/lowering/containers/array-construction.js +95 -3
- package/dist/frontend/lowering/containers/array-construction.js.map +1 -1
- package/dist/frontend/lowering/containers/array-methods.d.ts +1 -11
- package/dist/frontend/lowering/containers/array-methods.js +43 -132
- package/dist/frontend/lowering/containers/array-methods.js.map +1 -1
- package/dist/frontend/lowering/containers/collection-methods.js +10 -1
- package/dist/frontend/lowering/containers/collection-methods.js.map +1 -1
- package/dist/frontend/lowering/containers/indexed-objects.js +56 -70
- package/dist/frontend/lowering/containers/indexed-objects.js.map +1 -1
- package/dist/frontend/lowering/cycle-initialization.d.ts +41 -0
- package/dist/frontend/lowering/cycle-initialization.js +277 -0
- package/dist/frontend/lowering/cycle-initialization.js.map +1 -0
- package/dist/frontend/lowering/expressions/evaluation-safety.js +4 -0
- package/dist/frontend/lowering/expressions/evaluation-safety.js.map +1 -1
- package/dist/frontend/lowering/expressions/object-literals.js +138 -32
- package/dist/frontend/lowering/expressions/object-literals.js.map +1 -1
- package/dist/frontend/lowering/expressions/union-field-write.d.ts +4 -4
- package/dist/frontend/lowering/expressions/union-field-write.js +54 -44
- package/dist/frontend/lowering/expressions/union-field-write.js.map +1 -1
- package/dist/frontend/lowering/iterator-adapters.d.ts +20 -0
- package/dist/frontend/lowering/iterator-adapters.js +605 -0
- package/dist/frontend/lowering/iterator-adapters.js.map +1 -0
- package/dist/frontend/lowering/lower-array-sort.d.ts +1 -1
- package/dist/frontend/lowering/lower-array-sort.js +44 -5
- package/dist/frontend/lowering/lower-array-sort.js.map +1 -1
- package/dist/frontend/lowering/lower-array-sort.test.d.ts +1 -0
- package/dist/frontend/lowering/lower-array-sort.test.js +31 -0
- package/dist/frontend/lowering/lower-array-sort.test.js.map +1 -0
- package/dist/frontend/lowering/lower-assert.js +7 -0
- package/dist/frontend/lowering/lower-assert.js.map +1 -1
- package/dist/frontend/lowering/lower-builtin-values.js +1 -0
- package/dist/frontend/lowering/lower-builtin-values.js.map +1 -1
- package/dist/frontend/lowering/lower-calls.d.ts +3 -3
- package/dist/frontend/lowering/lower-calls.js +162 -121
- package/dist/frontend/lowering/lower-calls.js.map +1 -1
- package/dist/frontend/lowering/lower-classes.d.ts +2 -0
- package/dist/frontend/lowering/lower-classes.js +45 -43
- package/dist/frontend/lowering/lower-classes.js.map +1 -1
- package/dist/frontend/lowering/lower-exprs.d.ts +9 -2
- package/dist/frontend/lowering/lower-exprs.js +390 -157
- package/dist/frontend/lowering/lower-exprs.js.map +1 -1
- package/dist/frontend/lowering/lower-functions.js +32 -19
- package/dist/frontend/lowering/lower-functions.js.map +1 -1
- package/dist/frontend/lowering/lower-inspect.js +26 -2
- package/dist/frontend/lowering/lower-inspect.js.map +1 -1
- package/dist/frontend/lowering/lower-modules.js +10 -2
- package/dist/frontend/lowering/lower-modules.js.map +1 -1
- package/dist/frontend/lowering/lower-stmts.js +46 -58
- package/dist/frontend/lowering/lower-stmts.js.map +1 -1
- package/dist/frontend/lowering/lowerer.d.ts +37 -0
- package/dist/frontend/lowering/lowerer.js +283 -18
- package/dist/frontend/lowering/lowerer.js.map +1 -1
- package/dist/frontend/lowering/native-ffi.js +3 -1
- package/dist/frontend/lowering/native-ffi.js.map +1 -1
- package/dist/frontend/lowering/runtime-optional-provenance.d.ts +15 -0
- package/dist/frontend/lowering/runtime-optional-provenance.js +40 -0
- package/dist/frontend/lowering/runtime-optional-provenance.js.map +1 -0
- package/dist/frontend/lowering/sanitize-class-types.test.js +2 -2
- package/dist/frontend/lowering/strict-equality.d.ts +9 -0
- package/dist/frontend/lowering/strict-equality.js +116 -0
- package/dist/frontend/lowering/strict-equality.js.map +1 -0
- package/dist/frontend/lowering/surfaces.js +3 -0
- package/dist/frontend/lowering/surfaces.js.map +1 -1
- package/dist/frontend/lowering/union-comparison.d.ts +5 -0
- package/dist/frontend/lowering/union-comparison.js +47 -0
- package/dist/frontend/lowering/union-comparison.js.map +1 -0
- package/dist/frontend/program.d.ts +38 -2
- package/dist/frontend/program.js +440 -59
- package/dist/frontend/program.js.map +1 -1
- package/dist/frontend/program.test.js +59 -6
- package/dist/frontend/program.test.js.map +1 -1
- package/dist/frontend/type-mapper.d.ts +1 -1
- package/dist/frontend/type-mapper.js +89 -14
- package/dist/frontend/type-mapper.js.map +1 -1
- package/dist/frontend/type-mapper.test.js +15 -3
- package/dist/frontend/type-mapper.test.js.map +1 -1
- package/dist/index.js +25 -9
- package/dist/index.js.map +1 -1
- package/dist/ir/analysis.d.ts +3 -1
- package/dist/ir/analysis.js +4 -0
- package/dist/ir/analysis.js.map +1 -1
- package/dist/ir/builtin-signatures.js +2 -3
- package/dist/ir/builtin-signatures.js.map +1 -1
- package/dist/ir/constant-tables.test.js +1 -1
- package/dist/ir/initializer-bindings.test.js +1 -1
- package/dist/ir/ir.d.ts +78 -15
- package/dist/ir/ir.js +20 -6
- package/dist/ir/ir.js.map +1 -1
- package/dist/ir/scalar-records.test.js +1 -1
- package/dist/ir/serialize.d.ts +1 -1
- package/dist/ir/serialize.js +3 -3
- package/dist/ir/serialize.js.map +1 -1
- package/dist/ir/traverse.js +8 -0
- package/dist/ir/traverse.js.map +1 -1
- package/dist/ir/validate.js +118 -20
- package/dist/ir/validate.js.map +1 -1
- package/dist/ir/validate.test.js +269 -8
- package/dist/ir/validate.test.js.map +1 -1
- package/dist/library/fence-eval.test.js +1 -1
- package/dist/library/int-infer.test.js +4 -4
- package/dist/library/library-cache.test.js +5 -5
- package/dist/library/library-profile.d.ts +2 -1
- package/dist/library/library-profile.js +4 -3
- package/dist/library/library-profile.js.map +1 -1
- package/dist/native/compiler.js.map +1 -1
- package/dist/native/compiler.test.js +2 -2
- package/dist/native/library.d.ts +2 -1
- package/dist/native/library.js.map +1 -1
- package/dist/native/prepare.js +27 -3
- package/dist/native/prepare.js.map +1 -1
- package/dist/native/sanitizer.d.ts +3 -2
- package/dist/native/sanitizer.js +3 -13
- package/dist/native/sanitizer.js.map +1 -1
- package/package.json +20 -20
- package/surface-manifest.json +8 -2
|
@@ -0,0 +1,605 @@
|
|
|
1
|
+
import { dynUndefinedExpr, varRef } from "../../ir/build.js";
|
|
2
|
+
import { BOOL, DYN, F64, STRING, typeEquals, UNDEFINED_T, VOID, } from "../../ir/ir.js";
|
|
3
|
+
import { streamTypedRefEligible } from "../../ir/analysis.js";
|
|
4
|
+
import { typeKey, genResultRecord } from "../type-mapper.js";
|
|
5
|
+
import { extractIteratorValue } from "./lower-generators.js";
|
|
6
|
+
import { lowerSafeIndexRead } from "./array-values.js";
|
|
7
|
+
/** The conversion into an iterator-typed slot (a generator type): a
|
|
8
|
+
* checked-dynamic iterator or a generator with other channel types steps
|
|
9
|
+
* through an interned adapter generator. Null when neither applies. */
|
|
10
|
+
export function iteratorSlotAdapter(lowerer, expr, expected) {
|
|
11
|
+
if (expr.type.kind === "dyn")
|
|
12
|
+
return dynIteratorAdapter(lowerer, expr, expected);
|
|
13
|
+
if (expr.type.kind === "generator")
|
|
14
|
+
return generatorRetypeAdapter(lowerer, expr, expected);
|
|
15
|
+
return null;
|
|
16
|
+
}
|
|
17
|
+
/** `resumed.0 = value` — the adapters' early-exit marker around a yield. */
|
|
18
|
+
function setResumed(value, loc) {
|
|
19
|
+
return {
|
|
20
|
+
kind: "assign",
|
|
21
|
+
localId: "resumed.0",
|
|
22
|
+
value: { kind: "boolLit", value, type: BOOL, loc },
|
|
23
|
+
loc,
|
|
24
|
+
};
|
|
25
|
+
}
|
|
26
|
+
/** A yield expression's type: a valueless next channel resumes with void. */
|
|
27
|
+
function resumeType(nextT) {
|
|
28
|
+
return nextT.kind === "undefinedT" ? VOID : nextT;
|
|
29
|
+
}
|
|
30
|
+
/** Convert a stepped value into a channel type. Records and arrays box into
|
|
31
|
+
* checked values by reference, so consumers observe the same objects. */
|
|
32
|
+
function intoChannel(lowerer, value, target) {
|
|
33
|
+
const coerced = lowerer.coerceToExpected(value, target);
|
|
34
|
+
if (!typeEquals(coerced.type, target))
|
|
35
|
+
return null;
|
|
36
|
+
if (coerced.kind === "dynFrom" &&
|
|
37
|
+
streamTypedRefEligible(coerced.value.type) &&
|
|
38
|
+
coerced.value.type.kind !== "bytes")
|
|
39
|
+
coerced.liveRef = true;
|
|
40
|
+
return coerced;
|
|
41
|
+
}
|
|
42
|
+
/** A checked-dynamic iterator (a Map, Set or array iterator, or any other
|
|
43
|
+
* object following the iterator protocol) flowing into a generator-typed
|
|
44
|
+
* slot (`IterableIterator<T>`, `Iterator<T>`, `Generator<T>`). The interned
|
|
45
|
+
* adapter is a generator over the source: each `next()` steps the source
|
|
46
|
+
* once and forwards its value, so iteration stays lazy and observes the
|
|
47
|
+
* collection live, exactly like the source iterator. Values convert into
|
|
48
|
+
* the slot's channel types with the usual checked extraction. Null when
|
|
49
|
+
* the slot is not a synchronous generator with a yielding channel. */
|
|
50
|
+
function dynIteratorAdapter(lowerer, expr, expected) {
|
|
51
|
+
if (expected.async || expected.yieldT.kind === "void")
|
|
52
|
+
return null;
|
|
53
|
+
const resultType = genResultRecord(expected.yieldT, expected.retT, lowerer.shapes, lowerer.unions);
|
|
54
|
+
if (!resultType)
|
|
55
|
+
return null;
|
|
56
|
+
const loc = expr.loc;
|
|
57
|
+
const key = `iterAdapt:${typeKey(expected)}`;
|
|
58
|
+
let name = lowerer.valueHelpers.get(key);
|
|
59
|
+
if (!name) {
|
|
60
|
+
name = `%iter.adapt.${lowerer.valueHelpers.size}`;
|
|
61
|
+
lowerer.valueHelpers.set(key, name);
|
|
62
|
+
const locals = [];
|
|
63
|
+
const local = (id, type, mutable = false) => {
|
|
64
|
+
locals.push({ id, name: id.slice(0, id.indexOf(".")), type, mutable });
|
|
65
|
+
return varRef(id, type, loc);
|
|
66
|
+
};
|
|
67
|
+
const source = local("source.0", DYN);
|
|
68
|
+
const iterator = local("iterator.0", DYN);
|
|
69
|
+
const next = local("next.0", DYN);
|
|
70
|
+
const step = local("step.0", DYN, true);
|
|
71
|
+
const forwards = expected.nextT.kind === "dyn";
|
|
72
|
+
const sent = forwards ? local("sent.0", DYN, true) : null;
|
|
73
|
+
const get = (value, field) => ({
|
|
74
|
+
kind: "dynKeyGet",
|
|
75
|
+
value,
|
|
76
|
+
key: { kind: "strLit", value: field, type: STRING, loc },
|
|
77
|
+
type: DYN,
|
|
78
|
+
loc,
|
|
79
|
+
});
|
|
80
|
+
const advance = (args) => ({
|
|
81
|
+
kind: "libCall",
|
|
82
|
+
fn: "dyn.iteratorResult",
|
|
83
|
+
args: [
|
|
84
|
+
{
|
|
85
|
+
kind: "dynCall",
|
|
86
|
+
callee: next,
|
|
87
|
+
receiver: iterator,
|
|
88
|
+
calleeName: "iterator.next",
|
|
89
|
+
args,
|
|
90
|
+
type: DYN,
|
|
91
|
+
loc,
|
|
92
|
+
},
|
|
93
|
+
],
|
|
94
|
+
type: DYN,
|
|
95
|
+
loc,
|
|
96
|
+
});
|
|
97
|
+
const returned = expected.retT.kind === "void"
|
|
98
|
+
? null
|
|
99
|
+
: intoChannel(lowerer, get(step, "value"), expected.retT);
|
|
100
|
+
const yielded = () => intoChannel(lowerer, get(step, "value"), expected.yieldT);
|
|
101
|
+
if ((expected.retT.kind !== "void" && !returned) || !yielded()) {
|
|
102
|
+
lowerer.valueHelpers.delete(key);
|
|
103
|
+
return null;
|
|
104
|
+
}
|
|
105
|
+
const finish = { kind: "return", value: returned, loc };
|
|
106
|
+
// One suspension: yield the current value and take the resume value.
|
|
107
|
+
const suspend = () => {
|
|
108
|
+
const resumed = {
|
|
109
|
+
kind: "yieldExpr",
|
|
110
|
+
value: yielded(),
|
|
111
|
+
type: resumeType(expected.nextT),
|
|
112
|
+
loc,
|
|
113
|
+
};
|
|
114
|
+
return sent
|
|
115
|
+
? { kind: "assign", localId: "sent.0", value: resumed, loc }
|
|
116
|
+
: { kind: "exprStmt", expr: resumed, loc };
|
|
117
|
+
};
|
|
118
|
+
const resumedFlag = local("resumed.0", BOOL, true);
|
|
119
|
+
const closer = local("closer.0", DYN);
|
|
120
|
+
const stepOnce = () => ({
|
|
121
|
+
kind: "assign",
|
|
122
|
+
localId: "step.0",
|
|
123
|
+
value: advance(sent ? [sent] : []),
|
|
124
|
+
loc,
|
|
125
|
+
});
|
|
126
|
+
// An early exit from a consumer's loop closes the adapter. JS calls the
|
|
127
|
+
// source's own return() then; a source without one (the native Map, Set
|
|
128
|
+
// and array iterators) stays open, so the adapter suspends again on the
|
|
129
|
+
// same value instead of completing, and later steps resume the source.
|
|
130
|
+
const closeOrPark = {
|
|
131
|
+
kind: "if",
|
|
132
|
+
cond: { kind: "unary", op: "!", operand: resumedFlag, type: BOOL, loc },
|
|
133
|
+
then: [
|
|
134
|
+
{ kind: "varDecl", localId: "closer.0", init: get(iterator, "return"), loc },
|
|
135
|
+
{
|
|
136
|
+
kind: "if",
|
|
137
|
+
cond: { kind: "dynTest", test: "nullish", value: closer, type: BOOL, loc },
|
|
138
|
+
then: [suspend(), stepOnce(), { kind: "continue", loc }],
|
|
139
|
+
else_: [
|
|
140
|
+
{
|
|
141
|
+
kind: "exprStmt",
|
|
142
|
+
expr: {
|
|
143
|
+
kind: "libCall",
|
|
144
|
+
fn: "dyn.iteratorResult",
|
|
145
|
+
args: [
|
|
146
|
+
{
|
|
147
|
+
kind: "dynCall",
|
|
148
|
+
callee: closer,
|
|
149
|
+
receiver: iterator,
|
|
150
|
+
calleeName: "iterator.return",
|
|
151
|
+
args: [],
|
|
152
|
+
type: DYN,
|
|
153
|
+
loc,
|
|
154
|
+
},
|
|
155
|
+
],
|
|
156
|
+
type: DYN,
|
|
157
|
+
loc,
|
|
158
|
+
},
|
|
159
|
+
loc,
|
|
160
|
+
},
|
|
161
|
+
],
|
|
162
|
+
loc,
|
|
163
|
+
},
|
|
164
|
+
],
|
|
165
|
+
else_: null,
|
|
166
|
+
loc,
|
|
167
|
+
};
|
|
168
|
+
const body = [
|
|
169
|
+
{
|
|
170
|
+
kind: "varDecl",
|
|
171
|
+
localId: "iterator.0",
|
|
172
|
+
init: {
|
|
173
|
+
kind: "libCall",
|
|
174
|
+
fn: "dyn.iteratorResult",
|
|
175
|
+
args: [
|
|
176
|
+
{
|
|
177
|
+
kind: "libCall",
|
|
178
|
+
fn: "dyn.iterator",
|
|
179
|
+
args: [source, { kind: "strLit", value: "value is not iterable", type: STRING, loc }],
|
|
180
|
+
type: DYN,
|
|
181
|
+
loc,
|
|
182
|
+
},
|
|
183
|
+
],
|
|
184
|
+
type: DYN,
|
|
185
|
+
loc,
|
|
186
|
+
},
|
|
187
|
+
loc,
|
|
188
|
+
},
|
|
189
|
+
{ kind: "varDecl", localId: "next.0", init: get(iterator, "next"), loc },
|
|
190
|
+
{ kind: "varDecl", localId: "step.0", init: advance([]), loc },
|
|
191
|
+
...(sent
|
|
192
|
+
? [{ kind: "varDecl", localId: "sent.0", init: dynUndefinedExpr(loc), loc }]
|
|
193
|
+
: []),
|
|
194
|
+
{
|
|
195
|
+
kind: "varDecl",
|
|
196
|
+
localId: "resumed.0",
|
|
197
|
+
init: { kind: "boolLit", value: false, type: BOOL, loc },
|
|
198
|
+
loc,
|
|
199
|
+
},
|
|
200
|
+
{
|
|
201
|
+
kind: "while",
|
|
202
|
+
cond: { kind: "boolLit", value: true, type: BOOL, loc },
|
|
203
|
+
body: [
|
|
204
|
+
{
|
|
205
|
+
kind: "if",
|
|
206
|
+
cond: { kind: "dynTest", test: "truthy", value: get(step, "done"), type: BOOL, loc },
|
|
207
|
+
then: [finish],
|
|
208
|
+
else_: null,
|
|
209
|
+
loc,
|
|
210
|
+
},
|
|
211
|
+
setResumed(false, loc),
|
|
212
|
+
{
|
|
213
|
+
kind: "tryCatch",
|
|
214
|
+
tryBody: [suspend(), setResumed(true, loc)],
|
|
215
|
+
catchBody: null,
|
|
216
|
+
catchLocalId: null,
|
|
217
|
+
finallyBody: [closeOrPark],
|
|
218
|
+
loc,
|
|
219
|
+
},
|
|
220
|
+
stepOnce(),
|
|
221
|
+
],
|
|
222
|
+
loc,
|
|
223
|
+
},
|
|
224
|
+
];
|
|
225
|
+
lowerer.liftedFns.push({
|
|
226
|
+
name,
|
|
227
|
+
params: [{ localId: "source.0", name: "source", type: DYN }],
|
|
228
|
+
returnType: expected.retT,
|
|
229
|
+
locals,
|
|
230
|
+
body,
|
|
231
|
+
generator: { yieldT: expected.yieldT, nextT: expected.nextT, resultType },
|
|
232
|
+
loc,
|
|
233
|
+
});
|
|
234
|
+
}
|
|
235
|
+
return { kind: "call", callee: name, args: [expr], type: expected, loc };
|
|
236
|
+
}
|
|
237
|
+
/** A generator flowing into a slot with other channel types (a
|
|
238
|
+
* `Generator<number, void, undefined>` returned through an
|
|
239
|
+
* `IterableIterator<number>` annotation). The interned adapter generator
|
|
240
|
+
* resumes the source once per step and converts each value between the
|
|
241
|
+
* channel types, so iteration stays lazy. Null when a channel has no
|
|
242
|
+
* conversion. */
|
|
243
|
+
function generatorRetypeAdapter(lowerer, expr, expected) {
|
|
244
|
+
const from = expr.type;
|
|
245
|
+
if (from.kind !== "generator" || from.async || expected.async)
|
|
246
|
+
return null;
|
|
247
|
+
if (from.yieldT.kind === "void" || expected.yieldT.kind === "void")
|
|
248
|
+
return null;
|
|
249
|
+
const fromResult = genResultRecord(from.yieldT, from.retT, lowerer.shapes, lowerer.unions);
|
|
250
|
+
const toResult = genResultRecord(expected.yieldT, expected.retT, lowerer.shapes, lowerer.unions);
|
|
251
|
+
const fromShape = fromResult ? lowerer.shapes.get(fromResult.shapeId) : undefined;
|
|
252
|
+
const valueT = fromShape?.fields.find((field) => field.name === "value")?.type;
|
|
253
|
+
if (!fromResult || !toResult || !valueT)
|
|
254
|
+
return null;
|
|
255
|
+
const loc = expr.loc;
|
|
256
|
+
const key = `genRetype:${typeKey(from)}:${typeKey(expected)}`;
|
|
257
|
+
let name = lowerer.valueHelpers.get(key);
|
|
258
|
+
if (!name) {
|
|
259
|
+
const source = varRef("source.0", from, loc);
|
|
260
|
+
const step = varRef("step.0", fromResult, loc);
|
|
261
|
+
const field = (f, type) => ({
|
|
262
|
+
kind: "recordGet",
|
|
263
|
+
obj: step,
|
|
264
|
+
shapeId: fromResult.shapeId,
|
|
265
|
+
field: f,
|
|
266
|
+
type,
|
|
267
|
+
loc,
|
|
268
|
+
});
|
|
269
|
+
const extracted = extractIteratorValue(lowerer, from.yieldT, valueT, field("value", valueT), loc);
|
|
270
|
+
const yielded = extracted ? intoChannel(lowerer, extracted, expected.yieldT) : null;
|
|
271
|
+
if (!yielded)
|
|
272
|
+
return null;
|
|
273
|
+
// The completion value: the source's return value, or undefined.
|
|
274
|
+
let returned = null;
|
|
275
|
+
if (expected.retT.kind !== "void") {
|
|
276
|
+
returned =
|
|
277
|
+
from.retT.kind === "void"
|
|
278
|
+
? intoChannel(lowerer, { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc }, expected.retT)
|
|
279
|
+
: intoChannel(lowerer, field("value", valueT), expected.retT);
|
|
280
|
+
if (!returned)
|
|
281
|
+
return null;
|
|
282
|
+
}
|
|
283
|
+
// The resume value: forwarded when both sides carry one.
|
|
284
|
+
const forwards = expected.nextT.kind !== "undefinedT" && from.nextT.kind !== "undefinedT";
|
|
285
|
+
const sentRef = varRef("sent.0", expected.nextT, loc);
|
|
286
|
+
const sent = forwards ? intoChannel(lowerer, sentRef, from.nextT) : null;
|
|
287
|
+
if (forwards && !sent)
|
|
288
|
+
return null;
|
|
289
|
+
if (!forwards && from.nextT.kind !== "undefinedT" && from.nextT.kind !== "dyn")
|
|
290
|
+
return null;
|
|
291
|
+
const resume = (arg) => ({
|
|
292
|
+
kind: "genResume",
|
|
293
|
+
mode: "next",
|
|
294
|
+
gen: source,
|
|
295
|
+
arg,
|
|
296
|
+
type: fromResult,
|
|
297
|
+
loc,
|
|
298
|
+
});
|
|
299
|
+
const resumed = {
|
|
300
|
+
kind: "yieldExpr",
|
|
301
|
+
value: yielded,
|
|
302
|
+
type: resumeType(expected.nextT),
|
|
303
|
+
loc,
|
|
304
|
+
};
|
|
305
|
+
name = `%gen.retype.${lowerer.valueHelpers.size}`;
|
|
306
|
+
lowerer.valueHelpers.set(key, name);
|
|
307
|
+
lowerer.liftedFns.push({
|
|
308
|
+
name,
|
|
309
|
+
params: [{ localId: "source.0", name: "source", type: from }],
|
|
310
|
+
returnType: expected.retT,
|
|
311
|
+
locals: [
|
|
312
|
+
{ id: "source.0", name: "source", type: from, mutable: false },
|
|
313
|
+
{ id: "step.0", name: "step", type: fromResult, mutable: true },
|
|
314
|
+
...(forwards ? [{ id: "sent.0", name: "sent", type: expected.nextT, mutable: true }] : []),
|
|
315
|
+
{ id: "resumed.0", name: "resumed", type: BOOL, mutable: true },
|
|
316
|
+
],
|
|
317
|
+
body: [
|
|
318
|
+
{ kind: "varDecl", localId: "step.0", init: resume(null), loc },
|
|
319
|
+
...(forwards ? [{ kind: "varDecl", localId: "sent.0", init: null, loc }] : []),
|
|
320
|
+
{
|
|
321
|
+
kind: "varDecl",
|
|
322
|
+
localId: "resumed.0",
|
|
323
|
+
init: { kind: "boolLit", value: false, type: BOOL, loc },
|
|
324
|
+
loc,
|
|
325
|
+
},
|
|
326
|
+
{
|
|
327
|
+
kind: "while",
|
|
328
|
+
cond: { kind: "boolLit", value: true, type: BOOL, loc },
|
|
329
|
+
body: [
|
|
330
|
+
{
|
|
331
|
+
kind: "if",
|
|
332
|
+
cond: field("done", BOOL),
|
|
333
|
+
then: [{ kind: "return", value: returned, loc }],
|
|
334
|
+
else_: null,
|
|
335
|
+
loc,
|
|
336
|
+
},
|
|
337
|
+
setResumed(false, loc),
|
|
338
|
+
{
|
|
339
|
+
kind: "tryCatch",
|
|
340
|
+
tryBody: [
|
|
341
|
+
forwards
|
|
342
|
+
? { kind: "assign", localId: "sent.0", value: resumed, loc }
|
|
343
|
+
: { kind: "exprStmt", expr: resumed, loc },
|
|
344
|
+
setResumed(true, loc),
|
|
345
|
+
],
|
|
346
|
+
catchBody: null,
|
|
347
|
+
catchLocalId: null,
|
|
348
|
+
// Closing the adapter early closes the source generator too.
|
|
349
|
+
finallyBody: [
|
|
350
|
+
{
|
|
351
|
+
kind: "if",
|
|
352
|
+
cond: {
|
|
353
|
+
kind: "unary",
|
|
354
|
+
op: "!",
|
|
355
|
+
operand: varRef("resumed.0", BOOL, loc),
|
|
356
|
+
type: BOOL,
|
|
357
|
+
loc,
|
|
358
|
+
},
|
|
359
|
+
then: [
|
|
360
|
+
{
|
|
361
|
+
kind: "exprStmt",
|
|
362
|
+
expr: {
|
|
363
|
+
kind: "genResume",
|
|
364
|
+
mode: "return",
|
|
365
|
+
gen: source,
|
|
366
|
+
arg: null,
|
|
367
|
+
type: fromResult,
|
|
368
|
+
loc,
|
|
369
|
+
},
|
|
370
|
+
loc,
|
|
371
|
+
},
|
|
372
|
+
],
|
|
373
|
+
else_: null,
|
|
374
|
+
loc,
|
|
375
|
+
},
|
|
376
|
+
],
|
|
377
|
+
loc,
|
|
378
|
+
},
|
|
379
|
+
{ kind: "assign", localId: "step.0", value: resume(sent), loc },
|
|
380
|
+
],
|
|
381
|
+
loc,
|
|
382
|
+
},
|
|
383
|
+
],
|
|
384
|
+
generator: { yieldT: expected.yieldT, nextT: expected.nextT, resultType: toResult },
|
|
385
|
+
loc,
|
|
386
|
+
});
|
|
387
|
+
}
|
|
388
|
+
return { kind: "call", callee: name, args: [expr], type: expected, loc };
|
|
389
|
+
}
|
|
390
|
+
/** Drain a synchronous generator into a fresh `elem[]` — the eager
|
|
391
|
+
* consumers of an iterator (`[...it]`, `Array.from(it)`). Each step resumes
|
|
392
|
+
* the generator once and appends its value; completion stops the drain
|
|
393
|
+
* without appending the return value, as in JS. Null when the yielded
|
|
394
|
+
* values cannot be extracted into the element type. */
|
|
395
|
+
export function generatorDrain(lowerer, source, elem, loc) {
|
|
396
|
+
const gen = source.type;
|
|
397
|
+
if (gen.kind !== "generator" || gen.async || gen.yieldT.kind === "void")
|
|
398
|
+
return null;
|
|
399
|
+
const resultType = genResultRecord(gen.yieldT, gen.retT, lowerer.shapes, lowerer.unions);
|
|
400
|
+
const shape = resultType ? lowerer.shapes.get(resultType.shapeId) : undefined;
|
|
401
|
+
const valueT = shape?.fields.find((field) => field.name === "value")?.type;
|
|
402
|
+
if (!resultType || !valueT)
|
|
403
|
+
return null;
|
|
404
|
+
const arrT = { kind: "array", elem };
|
|
405
|
+
const key = `genDrain:${typeKey(gen)}:${typeKey(elem)}`;
|
|
406
|
+
let name = lowerer.valueHelpers.get(key);
|
|
407
|
+
if (!name) {
|
|
408
|
+
const genRef = varRef("gen.0", gen, loc);
|
|
409
|
+
const outRef = varRef("out.0", arrT, loc);
|
|
410
|
+
const stepRef = varRef("step.0", resultType, loc);
|
|
411
|
+
const raw = extractIteratorValue(lowerer, gen.yieldT, valueT, {
|
|
412
|
+
kind: "recordGet",
|
|
413
|
+
obj: stepRef,
|
|
414
|
+
shapeId: resultType.shapeId,
|
|
415
|
+
field: "value",
|
|
416
|
+
type: valueT,
|
|
417
|
+
loc,
|
|
418
|
+
}, loc);
|
|
419
|
+
if (!raw)
|
|
420
|
+
return null;
|
|
421
|
+
const value = lowerer.coerceToExpected(raw, elem);
|
|
422
|
+
if (!typeEquals(value.type, elem))
|
|
423
|
+
return null;
|
|
424
|
+
name = `%gen.drain.${lowerer.valueHelpers.size}`;
|
|
425
|
+
lowerer.valueHelpers.set(key, name);
|
|
426
|
+
lowerer.liftedFns.push({
|
|
427
|
+
name,
|
|
428
|
+
params: [{ localId: "gen.0", name: "gen", type: gen }],
|
|
429
|
+
returnType: arrT,
|
|
430
|
+
locals: [
|
|
431
|
+
{ id: "gen.0", name: "gen", type: gen, mutable: false },
|
|
432
|
+
{ id: "out.0", name: "out", type: arrT, mutable: false },
|
|
433
|
+
{ id: "step.0", name: "step", type: resultType, mutable: false },
|
|
434
|
+
],
|
|
435
|
+
body: [
|
|
436
|
+
{
|
|
437
|
+
kind: "varDecl",
|
|
438
|
+
localId: "out.0",
|
|
439
|
+
init: { kind: "arrayLit", elems: [], type: arrT, loc },
|
|
440
|
+
loc,
|
|
441
|
+
},
|
|
442
|
+
{
|
|
443
|
+
kind: "while",
|
|
444
|
+
cond: { kind: "boolLit", value: true, type: BOOL, loc },
|
|
445
|
+
body: [
|
|
446
|
+
{
|
|
447
|
+
kind: "varDecl",
|
|
448
|
+
localId: "step.0",
|
|
449
|
+
init: {
|
|
450
|
+
kind: "genResume",
|
|
451
|
+
mode: "next",
|
|
452
|
+
gen: genRef,
|
|
453
|
+
arg: null,
|
|
454
|
+
type: resultType,
|
|
455
|
+
loc,
|
|
456
|
+
},
|
|
457
|
+
loc,
|
|
458
|
+
},
|
|
459
|
+
{
|
|
460
|
+
kind: "if",
|
|
461
|
+
cond: {
|
|
462
|
+
kind: "recordGet",
|
|
463
|
+
obj: stepRef,
|
|
464
|
+
shapeId: resultType.shapeId,
|
|
465
|
+
field: "done",
|
|
466
|
+
type: BOOL,
|
|
467
|
+
loc,
|
|
468
|
+
},
|
|
469
|
+
then: [{ kind: "break", loc }],
|
|
470
|
+
else_: null,
|
|
471
|
+
loc,
|
|
472
|
+
},
|
|
473
|
+
{
|
|
474
|
+
kind: "exprStmt",
|
|
475
|
+
expr: {
|
|
476
|
+
kind: "arrIntrinsic",
|
|
477
|
+
method: "push",
|
|
478
|
+
receiver: outRef,
|
|
479
|
+
args: [value],
|
|
480
|
+
type: F64,
|
|
481
|
+
loc,
|
|
482
|
+
},
|
|
483
|
+
loc,
|
|
484
|
+
},
|
|
485
|
+
],
|
|
486
|
+
loc,
|
|
487
|
+
},
|
|
488
|
+
{ kind: "return", value: outRef, loc },
|
|
489
|
+
],
|
|
490
|
+
loc,
|
|
491
|
+
});
|
|
492
|
+
}
|
|
493
|
+
return { kind: "call", callee: name, args: [source], type: arrT, loc };
|
|
494
|
+
}
|
|
495
|
+
/** `list.values()`, `list.keys()` and `list.entries()` as values: a
|
|
496
|
+
* generator over the live array. Each step compares the index with the
|
|
497
|
+
* current length and reads the current element, so elements appended
|
|
498
|
+
* during iteration are visited and completion is final, as with the
|
|
499
|
+
* native array iterator. `type` is the call's generator type. */
|
|
500
|
+
export function lowerArrayIteratorValue(lowerer, receiver, method, type, loc) {
|
|
501
|
+
const arrT = receiver.type;
|
|
502
|
+
if (arrT.kind !== "array" || type.kind !== "generator")
|
|
503
|
+
return null;
|
|
504
|
+
const resultType = genResultRecord(type.yieldT, type.retT, lowerer.shapes, lowerer.unions);
|
|
505
|
+
if (!resultType || type.retT.kind !== "void" || type.nextT.kind !== "undefinedT")
|
|
506
|
+
return null;
|
|
507
|
+
const tuple = type.yieldT.kind === "record" ? lowerer.shapes.get(type.yieldT.shapeId) : undefined;
|
|
508
|
+
if (method === "entries" && (!tuple?.tuple || tuple.fields.length !== 2))
|
|
509
|
+
return null;
|
|
510
|
+
const key = `arrIter:${method}:${typeKey(arrT)}:${typeKey(type)}`;
|
|
511
|
+
let name = lowerer.valueHelpers.get(key);
|
|
512
|
+
if (!name) {
|
|
513
|
+
const list = varRef("list.0", arrT, loc);
|
|
514
|
+
const index = varRef("index.0", F64, loc);
|
|
515
|
+
const element = () => {
|
|
516
|
+
const read = lowerSafeIndexRead(lowerer, list, index, loc);
|
|
517
|
+
if (!read)
|
|
518
|
+
return null;
|
|
519
|
+
const target = method === "values" ? type.yieldT : tuple.fields.find((f) => f.name === "1").type;
|
|
520
|
+
const value = lowerer.coerceToExpected(read, target);
|
|
521
|
+
return typeEquals(value.type, target) ? value : null;
|
|
522
|
+
};
|
|
523
|
+
let yielded;
|
|
524
|
+
if (method === "keys")
|
|
525
|
+
yielded = index;
|
|
526
|
+
else if (method === "values")
|
|
527
|
+
yielded = element();
|
|
528
|
+
else {
|
|
529
|
+
const value = element();
|
|
530
|
+
yielded =
|
|
531
|
+
value === null
|
|
532
|
+
? null
|
|
533
|
+
: {
|
|
534
|
+
kind: "recordLit",
|
|
535
|
+
fields: [
|
|
536
|
+
{ name: "0", value: index },
|
|
537
|
+
{ name: "1", value },
|
|
538
|
+
],
|
|
539
|
+
type: type.yieldT,
|
|
540
|
+
loc,
|
|
541
|
+
};
|
|
542
|
+
}
|
|
543
|
+
if (!yielded || !typeEquals(yielded.type, type.yieldT))
|
|
544
|
+
return null;
|
|
545
|
+
name = `%arr.iter.${lowerer.valueHelpers.size}`;
|
|
546
|
+
lowerer.valueHelpers.set(key, name);
|
|
547
|
+
lowerer.liftedFns.push({
|
|
548
|
+
name,
|
|
549
|
+
params: [{ localId: "list.0", name: "list", type: arrT }],
|
|
550
|
+
returnType: VOID,
|
|
551
|
+
locals: [
|
|
552
|
+
{ id: "list.0", name: "list", type: arrT, mutable: false },
|
|
553
|
+
{ id: "index.0", name: "index", type: F64, mutable: true },
|
|
554
|
+
],
|
|
555
|
+
body: [
|
|
556
|
+
{
|
|
557
|
+
kind: "varDecl",
|
|
558
|
+
localId: "index.0",
|
|
559
|
+
init: { kind: "numLit", value: 0, type: F64, loc },
|
|
560
|
+
loc,
|
|
561
|
+
},
|
|
562
|
+
{
|
|
563
|
+
kind: "while",
|
|
564
|
+
cond: {
|
|
565
|
+
kind: "bin",
|
|
566
|
+
op: "<",
|
|
567
|
+
left: index,
|
|
568
|
+
right: {
|
|
569
|
+
kind: "arrIntrinsic",
|
|
570
|
+
method: "length",
|
|
571
|
+
receiver: list,
|
|
572
|
+
args: [],
|
|
573
|
+
type: F64,
|
|
574
|
+
loc,
|
|
575
|
+
},
|
|
576
|
+
type: BOOL,
|
|
577
|
+
loc,
|
|
578
|
+
},
|
|
579
|
+
body: [
|
|
580
|
+
{ kind: "exprStmt", expr: { kind: "yieldExpr", value: yielded, type: VOID, loc }, loc },
|
|
581
|
+
{
|
|
582
|
+
kind: "assign",
|
|
583
|
+
localId: "index.0",
|
|
584
|
+
value: {
|
|
585
|
+
kind: "bin",
|
|
586
|
+
op: "+",
|
|
587
|
+
left: index,
|
|
588
|
+
right: { kind: "numLit", value: 1, type: F64, loc },
|
|
589
|
+
type: F64,
|
|
590
|
+
loc,
|
|
591
|
+
},
|
|
592
|
+
loc,
|
|
593
|
+
},
|
|
594
|
+
],
|
|
595
|
+
loc,
|
|
596
|
+
},
|
|
597
|
+
{ kind: "return", value: null, loc },
|
|
598
|
+
],
|
|
599
|
+
generator: { yieldT: type.yieldT, nextT: UNDEFINED_T, resultType },
|
|
600
|
+
loc,
|
|
601
|
+
});
|
|
602
|
+
}
|
|
603
|
+
return { kind: "call", callee: name, args: [receiver], type, loc };
|
|
604
|
+
}
|
|
605
|
+
//# sourceMappingURL=iterator-adapters.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"iterator-adapters.js","sourceRoot":"","sources":["../../../src/frontend/lowering/iterator-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EAMN,UAAU,EACV,WAAW,EACX,IAAI,GACL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;uEAEuE;AACvE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAY,EACZ,QAAwC;IAExC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,SAAS,UAAU,CAAC,KAAc,EAAE,GAAW;IAC7C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAClD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AACpD,CAAC;AAED;yEACyE;AACzE,SAAS,WAAW,CAAC,OAAgB,EAAE,KAAa,EAAE,MAAc;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IACE,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAEnC,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IACzB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;sEAOsE;AACtE,SAAS,kBAAkB,CACzB,OAAgB,EAChB,IAAY,EACZ,QAAwC;IAExC,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,UAAU,GAAG,eAAe,CAChC,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,IAAI,EACb,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,MAAM,CACf,CAAC;IACF,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,GAAG,GAAG,aAAa,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,eAAe,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAc,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,OAAO,GAAG,KAAK,EAAU,EAAE;YAClE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACvE,OAAO,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;QAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACxD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE,QAAQ;oBAClB,UAAU,EAAE,eAAe;oBAC3B,IAAI;oBACJ,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,QAAQ,GACZ,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAC3B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,GAAkB,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/F,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/D,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QAChE,qEAAqE;QACrE,MAAM,OAAO,GAAG,GAAW,EAAE;YAC3B,MAAM,OAAO,GAAW;gBACtB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,OAAO,EAAG;gBACjB,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAChC,GAAG;aACJ,CAAC;YACF,OAAO,IAAI;gBACT,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC/C,CAAC,CAAC;QACF,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,GAAW,EAAE,CAAC,CAAC;YAC9B,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,GAAG;SACJ,CAAC,CAAC;QACH,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,uEAAuE;QACvE,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACvE,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE;gBAC5E;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC1E,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;oBACxD,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE;gCACJ,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,oBAAoB;gCACxB,IAAI,EAAE;oCACJ;wCACE,IAAI,EAAE,SAAS;wCACf,MAAM,EAAE,MAAM;wCACd,QAAQ,EAAE,QAAQ;wCAClB,UAAU,EAAE,iBAAiB;wCAC7B,IAAI,EAAE,EAAE;wCACR,IAAI,EAAE,GAAG;wCACT,GAAG;qCACJ;iCACF;gCACD,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC;QACF,MAAM,IAAI,GAAa;YACrB;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,YAAY;gBACrB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,oBAAoB;oBACxB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,cAAc;4BAClB,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;4BACrF,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;qBACF;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE;YACxE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE;YAC9D,GAAG,CAAC,IAAI;gBACN,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;gBACrF,CAAC,CAAC,EAAE,CAAC;YACP;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,WAAW;gBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACpF,IAAI,EAAE,CAAC,MAAM,CAAC;wBACd,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ;oBACD,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC;oBACtB;wBACE,IAAI,EAAE,UAAU;wBAChB,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBAC3C,SAAS,EAAE,IAAI;wBACf,YAAY,EAAE,IAAI;wBAClB,WAAW,EAAE,CAAC,WAAW,CAAC;wBAC1B,GAAG;qBACJ;oBACD,QAAQ,EAAE;iBACX;gBACD,GAAG;aACJ;SACF,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC5D,UAAU,EAAE,QAAQ,CAAC,IAAI;YACzB,MAAM;YACN,IAAI;YACJ,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE;YACzE,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAC3E,CAAC;AAED;;;;;iBAKiB;AACjB,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,IAAY,EACZ,QAAwC;IAExC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,MAAM,MAAM,GAAG,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/E,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,GAAG,GAAG,aAAa,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9D,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;YAC5D,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,IAAI;YACT,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,KAAK,EAAE,CAAC;YACR,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,oBAAoB,CACpC,OAAO,EACP,IAAI,CAAC,MAAM,EACX,MAAM,EACN,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,EACtB,GAAG,CACJ,CAAC;QACF,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpF,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAC1B,iEAAiE;QACjE,IAAI,QAAQ,GAAkB,IAAI,CAAC;QACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAClC,QAAQ;gBACN,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBACvB,CAAC,CAAC,WAAW,CACT,OAAO,EACP,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAC9D,QAAQ,CAAC,IAAI,CACd;oBACH,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC;QAC7B,CAAC;QACD,yDAAyD;QACzD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC;QAC1F,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,IAAI,QAAQ,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAC5F,MAAM,MAAM,GAAG,CAAC,GAAkB,EAAU,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,MAAM;YACX,GAAG;YACH,IAAI,EAAE,UAAU;YAChB,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;YAChC,GAAG;SACJ,CAAC;QACF,IAAI,GAAG,eAAe,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC7D,UAAU,EAAE,QAAQ,CAAC,IAAI;YACzB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC9D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC/D,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1F,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;aAChE;YACD,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE;gBAC/D,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvF;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,WAAW;oBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACxD,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC;4BACzB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;4BAChD,KAAK,EAAE,IAAI;4BACX,GAAG;yBACJ;wBACD,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC;wBACtB;4BACE,IAAI,EAAE,UAAU;4BAChB,OAAO,EAAE;gCACP,QAAQ;oCACN,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE;oCAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;gCAC5C,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;6BACtB;4BACD,SAAS,EAAE,IAAI;4BACf,YAAY,EAAE,IAAI;4BAClB,6DAA6D;4BAC7D,WAAW,EAAE;gCACX;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE;wCACJ,IAAI,EAAE,OAAO;wCACb,EAAE,EAAE,GAAG;wCACP,OAAO,EAAE,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC;wCACvC,IAAI,EAAE,IAAI;wCACV,GAAG;qCACJ;oCACD,IAAI,EAAE;wCACJ;4CACE,IAAI,EAAE,UAAU;4CAChB,IAAI,EAAE;gDACJ,IAAI,EAAE,WAAW;gDACjB,IAAI,EAAE,QAAQ;gDACd,GAAG,EAAE,MAAM;gDACX,GAAG,EAAE,IAAI;gDACT,IAAI,EAAE,UAAU;gDAChB,GAAG;6CACJ;4CACD,GAAG;yCACJ;qCACF;oCACD,KAAK,EAAE,IAAI;oCACX,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ;wBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE;qBAChE;oBACD,GAAG;iBACJ;aACF;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE;YACnF,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAC3E,CAAC;AAED;;;;uDAIuD;AACvD,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,MAAc,EACd,IAAY,EACZ,GAAW;IAEX,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC;IACxB,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACrF,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,IAAI,CAAC;IAC3E,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC7C,MAAM,GAAG,GAAG,YAAY,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACxD,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,GAAG,GAAG,oBAAoB,CAC9B,OAAO,EACP,GAAG,CAAC,MAAM,EACV,MAAM,EACN;YACE,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,OAAO;YACZ,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,EACD,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACjD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACtD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvD,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBACxD,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;aACjE;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,OAAO;oBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACtD,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,SAAS;4BACf,OAAO,EAAE,QAAQ;4BACjB,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,IAAI,EAAE,MAAM;gCACZ,GAAG,EAAE,MAAM;gCACX,GAAG,EAAE,IAAI;gCACT,IAAI,EAAE,UAAU;gCAChB,GAAG;6BACJ;4BACD,GAAG;yBACJ;wBACD;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,GAAG,EAAE,OAAO;gCACZ,OAAO,EAAE,UAAU,CAAC,OAAO;gCAC3B,KAAK,EAAE,MAAM;gCACb,IAAI,EAAE,IAAI;gCACV,GAAG;6BACJ;4BACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;4BAC9B,KAAK,EAAE,IAAI;4BACX,GAAG;yBACJ;wBACD;4BACE,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE;gCACJ,IAAI,EAAE,cAAc;gCACpB,MAAM,EAAE,MAAM;gCACd,QAAQ,EAAE,MAAM;gCAChB,IAAI,EAAE,CAAC,KAAK,CAAC;gCACb,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE;aACvC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzE,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,MAAqC,EACrC,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3F,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClG,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACtF,MAAM,GAAG,GAAG,WAAW,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAClE,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,GAAkB,EAAE;YAClC,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,MAAM,MAAM,GACV,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAE,CAAC,IAAI,CAAC;YACtF,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrD,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,CAAC,CAAC;QACF,IAAI,OAAsB,CAAC;QAC3B,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,GAAG,KAAK,CAAC;aAClC,IAAI,MAAM,KAAK,QAAQ;YAAE,OAAO,GAAG,OAAO,EAAE,CAAC;aAC7C,CAAC;YACJ,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;YACxB,OAAO;gBACL,KAAK,KAAK,IAAI;oBACZ,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC;wBACE,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE;4BACN,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE;yBACrB;wBACD,IAAI,EAAE,IAAI,CAAC,MAAM;wBACjB,GAAG;qBACJ,CAAC;QACV,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,GAAG,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAChD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACzD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC1D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;aAC3D;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,SAAS;oBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBAClD,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE;wBACJ,IAAI,EAAE,KAAK;wBACX,EAAE,EAAE,GAAG;wBACP,IAAI,EAAE,KAAK;wBACX,KAAK,EAAE;4BACL,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,IAAI;4BACd,IAAI,EAAE,EAAE;4BACR,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;wBACvF;4BACE,IAAI,EAAE,QAAQ;4BACd,OAAO,EAAE,SAAS;4BAClB,KAAK,EAAE;gCACL,IAAI,EAAE,KAAK;gCACX,EAAE,EAAE,GAAG;gCACP,IAAI,EAAE,KAAK;gCACX,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACnD,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE;YAClE,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrE,CAAC"}
|
|
@@ -1,3 +1,3 @@
|
|
|
1
1
|
import { type IrFunction, type IrType, type SrcLoc } from "../../ir/ir.js";
|
|
2
|
-
export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc): IrFunction;
|
|
2
|
+
export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc, native?: boolean): IrFunction;
|
|
3
3
|
export declare function buildBytesSortFn(name: string, arity: number, hasComparator: boolean, loc: SrcLoc): IrFunction;
|