redscript-mc 2.6.2 → 3.0.0
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/.github/workflows/ci.yml +11 -0
- package/CHANGELOG.md +18 -9
- package/README-benchmarks.md +48 -0
- package/README-vscode-test.md +251 -0
- package/RELEASE_NOTES.md +74 -0
- package/ROADMAP.md +131 -167
- package/benchmarks/_shared.ts +468 -0
- package/benchmarks/baseline.json +2816 -0
- package/benchmarks/baseline.md +13 -0
- package/benchmarks/compiler-perf.report.json +207 -0
- package/benchmarks/compiler-perf.ts +76 -0
- package/benchmarks/results.md +13 -0
- package/benchmarks/stdlib-complexity.report.json +2606 -0
- package/benchmarks/stdlib-complexity.ts +54 -0
- package/benchmarks/stdlib-size.md +57 -0
- package/benchmarks/stdlib-size.ts +91 -0
- package/coverage-report.md +177 -0
- package/dist/src/__tests__/budget.test.js +4 -0
- package/dist/src/__tests__/cache/cache-behavior.test.d.ts +10 -0
- package/dist/src/__tests__/cache/cache-behavior.test.js +425 -0
- package/dist/src/__tests__/cache-extra.test.d.ts +5 -0
- package/dist/src/__tests__/cache-extra.test.js +211 -0
- package/dist/src/__tests__/cli-init.test.d.ts +1 -0
- package/dist/src/__tests__/cli-init.test.js +97 -0
- package/dist/src/__tests__/cli-publish.test.d.ts +9 -0
- package/dist/src/__tests__/cli-publish.test.js +189 -0
- package/dist/src/__tests__/cli.test.js +76 -0
- package/dist/src/__tests__/compile-preprocess.test.d.ts +11 -0
- package/dist/src/__tests__/compile-preprocess.test.js +328 -0
- package/dist/src/__tests__/compiler/break-stmt.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/break-stmt.test.js +58 -0
- package/dist/src/__tests__/compiler/const-decl.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/const-decl.test.js +123 -0
- package/dist/src/__tests__/compiler/continue-stmt.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/continue-stmt.test.js +67 -0
- package/dist/src/__tests__/compiler/coroutine-extended.test.d.ts +17 -0
- package/dist/src/__tests__/compiler/coroutine-extended.test.js +565 -0
- package/dist/src/__tests__/compiler/deprecated.test.d.ts +4 -0
- package/dist/src/__tests__/compiler/deprecated.test.js +285 -0
- package/dist/src/__tests__/compiler/do-while.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/do-while.test.js +120 -0
- package/dist/src/__tests__/compiler/enum-payload.test.d.ts +9 -0
- package/dist/src/__tests__/compiler/enum-payload.test.js +272 -0
- package/dist/src/__tests__/compiler/interface.test.d.ts +10 -0
- package/dist/src/__tests__/compiler/interface.test.js +258 -0
- package/dist/src/__tests__/compiler/labeled-loops.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/labeled-loops.test.js +263 -0
- package/dist/src/__tests__/compiler/match-string.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/match-string.test.js +43 -0
- package/dist/src/__tests__/compiler/memoize.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/memoize.test.js +113 -0
- package/dist/src/__tests__/compiler/method-chain.test.d.ts +5 -0
- package/dist/src/__tests__/compiler/method-chain.test.js +115 -0
- package/dist/src/__tests__/compiler/module-import.test.d.ts +12 -0
- package/dist/src/__tests__/compiler/module-import.test.js +261 -0
- package/dist/src/__tests__/compiler/option-extensions.test.d.ts +6 -0
- package/dist/src/__tests__/compiler/option-extensions.test.js +191 -0
- package/dist/src/__tests__/compiler/profile-decorator.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/profile-decorator.test.js +69 -0
- package/dist/src/__tests__/compiler/string-advanced.test.d.ts +7 -0
- package/dist/src/__tests__/compiler/string-advanced.test.js +281 -0
- package/dist/src/__tests__/compiler/struct-extends.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/struct-extends.test.js +95 -0
- package/dist/src/__tests__/compiler/throttle-retry.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/throttle-retry.test.js +166 -0
- package/dist/src/__tests__/compiler/tuple-type.test.d.ts +10 -0
- package/dist/src/__tests__/compiler/tuple-type.test.js +229 -0
- package/dist/src/__tests__/compiler/watch-decorator.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/watch-decorator.test.js +65 -0
- package/dist/src/__tests__/config/project-config.test.d.ts +1 -0
- package/dist/src/__tests__/config/project-config.test.js +199 -0
- package/dist/src/__tests__/config-decorator.test.d.ts +8 -0
- package/dist/src/__tests__/config-decorator.test.js +142 -0
- package/dist/src/__tests__/diagnostics-extra.test.d.ts +6 -0
- package/dist/src/__tests__/diagnostics-extra.test.js +132 -0
- package/dist/src/__tests__/emit/compile-branches.test.d.ts +1 -0
- package/dist/src/__tests__/emit/compile-branches.test.js +123 -0
- package/dist/src/__tests__/emit/compile-coverage.test.d.ts +25 -0
- package/dist/src/__tests__/emit/compile-coverage.test.js +617 -0
- package/dist/src/__tests__/emit/compile-extra-branches.test.d.ts +12 -0
- package/dist/src/__tests__/emit/compile-extra-branches.test.js +225 -0
- package/dist/src/__tests__/emit/compile-mocked-branches.test.d.ts +0 -0
- package/dist/src/__tests__/emit/compile-mocked-branches.test.js +238 -0
- package/dist/src/__tests__/emit/execute-chain.test.d.ts +10 -0
- package/dist/src/__tests__/emit/execute-chain.test.js +94 -0
- package/dist/src/__tests__/emit/index.test.js +2 -1
- package/dist/src/__tests__/emit/modules-branches.test.d.ts +1 -0
- package/dist/src/__tests__/emit/modules-branches.test.js +88 -0
- package/dist/src/__tests__/emit/modules-coverage.test.d.ts +15 -0
- package/dist/src/__tests__/emit/modules-coverage.test.js +221 -0
- package/dist/src/__tests__/emit/modules-errors.test.d.ts +12 -0
- package/dist/src/__tests__/emit/modules-errors.test.js +169 -0
- package/dist/src/__tests__/emit/modules-rewrite.test.d.ts +17 -0
- package/dist/src/__tests__/emit/modules-rewrite.test.js +204 -0
- package/dist/src/__tests__/emit/source-map.test.d.ts +1 -0
- package/dist/src/__tests__/emit/source-map.test.js +167 -0
- package/dist/src/__tests__/enum.test.js +9 -4
- package/dist/src/__tests__/error-recovery.test.d.ts +7 -0
- package/dist/src/__tests__/error-recovery.test.js +217 -0
- package/dist/src/__tests__/events-types-extra.test.d.ts +10 -0
- package/dist/src/__tests__/events-types-extra.test.js +91 -0
- package/dist/src/__tests__/events-types.test.d.ts +4 -0
- package/dist/src/__tests__/events-types.test.js +56 -0
- package/dist/src/__tests__/formatter.test.js +13 -5
- package/dist/src/__tests__/hir/lower-extra.test.d.ts +9 -0
- package/dist/src/__tests__/hir/lower-extra.test.js +140 -0
- package/dist/src/__tests__/hir/monomorphize-extra.test.d.ts +15 -0
- package/dist/src/__tests__/hir/monomorphize-extra.test.js +200 -0
- package/dist/src/__tests__/hir/monomorphize-extra2.test.d.ts +16 -0
- package/dist/src/__tests__/hir/monomorphize-extra2.test.js +316 -0
- package/dist/src/__tests__/incremental.test.js +10 -2
- package/dist/src/__tests__/index-extra.test.d.ts +10 -0
- package/dist/src/__tests__/index-extra.test.js +71 -0
- package/dist/src/__tests__/lexer.test.js +2 -2
- package/dist/src/__tests__/lint/rules.test.d.ts +5 -0
- package/dist/src/__tests__/lint/rules.test.js +208 -0
- package/dist/src/__tests__/lir/lower.test.js +29 -0
- package/dist/src/__tests__/lir/verify.test.js +30 -0
- package/dist/src/__tests__/lsp/completion.test.d.ts +7 -0
- package/dist/src/__tests__/lsp/completion.test.js +583 -0
- package/dist/src/__tests__/lsp/definition.test.d.ts +7 -0
- package/dist/src/__tests__/lsp/definition.test.js +454 -0
- package/dist/src/__tests__/lsp/diagnostics.test.d.ts +10 -0
- package/dist/src/__tests__/lsp/diagnostics.test.js +98 -0
- package/dist/src/__tests__/lsp/hover-docs.test.d.ts +10 -0
- package/dist/src/__tests__/lsp/hover-docs.test.js +210 -0
- package/dist/src/__tests__/lsp.test.js +4 -1
- package/dist/src/__tests__/mc-integration/item-entity-events.test.js +4 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-2.test.js +4 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-3.test.d.ts +13 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-3.test.js +1227 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-4.test.d.ts +13 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-4.test.js +1509 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-5.test.d.ts +14 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-5.test.js +1374 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-6.test.d.ts +10 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-6.test.js +759 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-7.test.d.ts +13 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-7.test.js +855 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage.test.js +4 -0
- package/dist/src/__tests__/mc-integration/syntax-coverage.test.js +4 -0
- package/dist/src/__tests__/mc-validator-coverage.test.d.ts +13 -0
- package/dist/src/__tests__/mc-validator-coverage.test.js +296 -0
- package/dist/src/__tests__/mc-validator-extra.test.d.ts +13 -0
- package/dist/src/__tests__/mc-validator-extra.test.js +245 -0
- package/dist/src/__tests__/mir/lower-extra.test.d.ts +20 -0
- package/dist/src/__tests__/mir/lower-extra.test.js +361 -0
- package/dist/src/__tests__/mir/lower-extra2.test.d.ts +17 -0
- package/dist/src/__tests__/mir/lower-extra2.test.js +317 -0
- package/dist/src/__tests__/mir/lower-extra3.test.d.ts +19 -0
- package/dist/src/__tests__/mir/lower-extra3.test.js +249 -0
- package/dist/src/__tests__/mir/lower-extra4.test.d.ts +23 -0
- package/dist/src/__tests__/mir/lower-extra4.test.js +606 -0
- package/dist/src/__tests__/mir/lower-extra5.test.d.ts +25 -0
- package/dist/src/__tests__/mir/lower-extra5.test.js +543 -0
- package/dist/src/__tests__/mir/lower-extra6.test.d.ts +16 -0
- package/dist/src/__tests__/mir/lower-extra6.test.js +471 -0
- package/dist/src/__tests__/mir/lower-extra7.test.d.ts +35 -0
- package/dist/src/__tests__/mir/lower-extra7.test.js +921 -0
- package/dist/src/__tests__/mir/lower-extra8.test.d.ts +19 -0
- package/dist/src/__tests__/mir/lower-extra8.test.js +626 -0
- package/dist/src/__tests__/mir/lower-extra9.test.d.ts +14 -0
- package/dist/src/__tests__/mir/lower-extra9.test.js +717 -0
- package/dist/src/__tests__/optimizer/auto-inline.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/auto-inline.test.js +176 -0
- package/dist/src/__tests__/optimizer/cse.test.d.ts +4 -0
- package/dist/src/__tests__/optimizer/cse.test.js +178 -0
- package/dist/src/__tests__/optimizer/inline_fn.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/inline_fn.test.js +221 -0
- package/dist/src/__tests__/optimizer/licm.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/licm.test.js +244 -0
- package/dist/src/__tests__/optimizer/optimizer-extended.test.d.ts +12 -0
- package/dist/src/__tests__/optimizer/optimizer-extended.test.js +993 -0
- package/dist/src/__tests__/optimizer/strength-reduction.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/strength-reduction.test.js +86 -0
- package/dist/src/__tests__/optimizer/tco.test.d.ts +14 -0
- package/dist/src/__tests__/optimizer/tco.test.js +203 -0
- package/dist/src/__tests__/parser-coverage.test.d.ts +25 -0
- package/dist/src/__tests__/parser-coverage.test.js +491 -0
- package/dist/src/__tests__/parser-extra.test.d.ts +6 -0
- package/dist/src/__tests__/parser-extra.test.js +451 -0
- package/dist/src/__tests__/parser.test.js +12 -0
- package/dist/src/__tests__/repl-extra.test.d.ts +13 -0
- package/dist/src/__tests__/repl-extra.test.js +174 -0
- package/dist/src/__tests__/repl-server-extra.test.d.ts +10 -0
- package/dist/src/__tests__/repl-server-extra.test.js +161 -0
- package/dist/src/__tests__/repl-server.test.d.ts +6 -0
- package/dist/src/__tests__/repl-server.test.js +146 -0
- package/dist/src/__tests__/runtime-extra.test.d.ts +15 -0
- package/dist/src/__tests__/runtime-extra.test.js +732 -0
- package/dist/src/__tests__/singleton-decorator.test.d.ts +11 -0
- package/dist/src/__tests__/singleton-decorator.test.js +260 -0
- package/dist/src/__tests__/sourcemap.test.js +1 -1
- package/dist/src/__tests__/stdlib/advanced.test.d.ts +5 -0
- package/dist/src/__tests__/stdlib/advanced.test.js +301 -0
- package/dist/src/__tests__/stdlib/bigint.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/bigint.test.js +83 -0
- package/dist/src/__tests__/stdlib/bits.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/bits.test.js +96 -0
- package/dist/src/__tests__/stdlib/bossbar.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/bossbar.test.js +72 -0
- package/dist/src/__tests__/stdlib/color.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/color.test.js +84 -0
- package/dist/src/__tests__/stdlib/combat.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/combat.test.js +64 -0
- package/dist/src/__tests__/stdlib/cooldown.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/cooldown.test.js +64 -0
- package/dist/src/__tests__/stdlib/dialog.test.js +15 -7
- package/dist/src/__tests__/stdlib/ecs.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/ecs.test.js +81 -0
- package/dist/src/__tests__/stdlib/effects.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/effects.test.js +72 -0
- package/dist/src/__tests__/stdlib/events.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/events.test.js +55 -0
- package/dist/src/__tests__/stdlib/expr.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/expr.test.js +77 -0
- package/dist/src/__tests__/stdlib/fft.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/fft.test.js +82 -0
- package/dist/src/__tests__/stdlib/graph.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/graph.test.js +102 -0
- package/dist/src/__tests__/stdlib/interactions.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/interactions.test.js +60 -0
- package/dist/src/__tests__/stdlib/inventory.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/inventory.test.js +68 -0
- package/dist/src/__tests__/stdlib/linalg.test.d.ts +5 -0
- package/dist/src/__tests__/stdlib/linalg.test.js +78 -0
- package/dist/src/__tests__/stdlib/map.test.d.ts +1 -0
- package/dist/src/__tests__/stdlib/map.test.js +84 -0
- package/dist/src/__tests__/stdlib/math.test.js +19 -6
- package/dist/src/__tests__/stdlib/math_hp.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/math_hp.test.js +80 -0
- package/dist/src/__tests__/stdlib/mobs.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/mobs.test.js +61 -0
- package/dist/src/__tests__/stdlib/noise.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/noise.test.js +73 -0
- package/dist/src/__tests__/stdlib/ode.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/ode.test.js +68 -0
- package/dist/src/__tests__/stdlib/parabola.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/parabola.test.js +77 -0
- package/dist/src/__tests__/stdlib/particles.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/particles.test.js +68 -0
- package/dist/src/__tests__/stdlib/physics.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/physics.test.js +76 -0
- package/dist/src/__tests__/stdlib/player.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/player.test.js +64 -0
- package/dist/src/__tests__/stdlib/quaternion.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/quaternion.test.js +73 -0
- package/dist/src/__tests__/stdlib/queue.test.d.ts +1 -0
- package/dist/src/__tests__/stdlib/queue.test.js +97 -0
- package/dist/src/__tests__/stdlib/random.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/random.test.js +76 -0
- package/dist/src/__tests__/stdlib/result.test.d.ts +12 -0
- package/dist/src/__tests__/stdlib/result.test.js +329 -0
- package/dist/src/__tests__/stdlib/scheduler.test.js +19 -8
- package/dist/src/__tests__/stdlib/set_int.test.d.ts +1 -0
- package/dist/src/__tests__/stdlib/set_int.test.js +88 -0
- package/dist/src/__tests__/stdlib/sets.test.d.ts +6 -0
- package/dist/src/__tests__/stdlib/sets.test.js +60 -0
- package/dist/src/__tests__/stdlib/signal.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/signal.test.js +84 -0
- package/dist/src/__tests__/stdlib/spawn.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/spawn.test.js +68 -0
- package/dist/src/__tests__/stdlib/string.test.d.ts +12 -0
- package/dist/src/__tests__/stdlib/string.test.js +231 -0
- package/dist/src/__tests__/stdlib/strings.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/strings.test.js +83 -0
- package/dist/src/__tests__/stdlib/tags.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/tags.test.js +57 -0
- package/dist/src/__tests__/stdlib/teams.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/teams.test.js +72 -0
- package/dist/src/__tests__/stdlib/timer.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/timer.test.js +79 -0
- package/dist/src/__tests__/stdlib/vec.test.d.ts +5 -0
- package/dist/src/__tests__/stdlib/vec.test.js +94 -0
- package/dist/src/__tests__/stdlib/world.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/world.test.js +72 -0
- package/dist/src/__tests__/struct-display.test.d.ts +1 -0
- package/dist/src/__tests__/struct-display.test.js +64 -0
- package/dist/src/__tests__/test-framework/runner.test.d.ts +10 -0
- package/dist/src/__tests__/test-framework/runner.test.js +193 -0
- package/dist/src/__tests__/tuner/adapters.test.d.ts +14 -0
- package/dist/src/__tests__/tuner/adapters.test.js +194 -0
- package/dist/src/__tests__/tuner/simulator-extra.test.d.ts +4 -0
- package/dist/src/__tests__/tuner/simulator-extra.test.js +193 -0
- package/dist/src/__tests__/typechecker-coverage.test.d.ts +30 -0
- package/dist/src/__tests__/typechecker-coverage.test.js +627 -0
- package/dist/src/__tests__/typechecker.test.js +3 -3
- package/dist/src/__tests__/watch-decorator.test.d.ts +1 -0
- package/dist/src/__tests__/watch-decorator.test.js +54 -0
- package/dist/src/ast/types.d.ts +102 -3
- package/dist/src/cache/incremental.d.ts +13 -14
- package/dist/src/cache/incremental.js +106 -89
- package/dist/src/cache/index.d.ts +8 -2
- package/dist/src/cache/index.js +18 -6
- package/dist/src/cli.d.ts +1 -0
- package/dist/src/cli.js +466 -17
- package/dist/src/config/project-config.d.ts +29 -0
- package/dist/src/config/project-config.js +180 -0
- package/dist/src/diagnostics/index.d.ts +9 -0
- package/dist/src/diagnostics/index.js +18 -1
- package/dist/src/emit/compile.d.ts +10 -0
- package/dist/src/emit/compile.js +395 -50
- package/dist/src/emit/index.d.ts +40 -0
- package/dist/src/emit/index.js +307 -14
- package/dist/src/emit/modules.js +21 -3
- package/dist/src/emit/sourcemap.d.ts +23 -27
- package/dist/src/emit/sourcemap.js +52 -30
- package/dist/src/formatter/index.js +33 -8
- package/dist/src/hir/deprecated.d.ts +13 -0
- package/dist/src/hir/deprecated.js +218 -0
- package/dist/src/hir/lower.js +114 -8
- package/dist/src/hir/monomorphize.js +22 -2
- package/dist/src/hir/types.d.ts +65 -1
- package/dist/src/index.d.ts +6 -0
- package/dist/src/index.js +18 -3
- package/dist/src/lexer/index.d.ts +2 -1
- package/dist/src/lexer/index.js +39 -3
- package/dist/src/lint/index.d.ts +45 -0
- package/dist/src/lint/index.js +930 -0
- package/dist/src/lir/lower.js +29 -2
- package/dist/src/lir/types.d.ts +2 -0
- package/dist/src/lsp/server.js +92 -5
- package/dist/src/mir/lower.js +775 -34
- package/dist/src/mir/macro.js +36 -2
- package/dist/src/mir/types.d.ts +12 -0
- package/dist/src/mir/verify.js +9 -0
- package/dist/src/optimizer/auto-inline.d.ts +2 -0
- package/dist/src/optimizer/auto-inline.js +67 -0
- package/dist/src/optimizer/cse.d.ts +20 -0
- package/dist/src/optimizer/cse.js +234 -0
- package/dist/src/optimizer/inline.d.ts +26 -0
- package/dist/src/optimizer/inline.js +286 -0
- package/dist/src/optimizer/interprocedural.js +4 -0
- package/dist/src/optimizer/licm.d.ts +32 -0
- package/dist/src/optimizer/licm.js +371 -0
- package/dist/src/optimizer/pipeline.js +12 -2
- package/dist/src/optimizer/strength_reduction.d.ts +15 -0
- package/dist/src/optimizer/strength_reduction.js +90 -0
- package/dist/src/optimizer/tco.d.ts +53 -0
- package/dist/src/optimizer/tco.js +238 -0
- package/dist/src/parser/index.d.ts +32 -0
- package/dist/src/parser/index.js +421 -59
- package/dist/src/repl-server.d.ts +13 -0
- package/dist/src/repl-server.js +127 -0
- package/dist/src/structs/expand.d.ts +15 -0
- package/dist/src/structs/expand.js +46 -0
- package/dist/src/testing/runner.d.ts +40 -0
- package/dist/src/testing/runner.js +237 -0
- package/dist/src/typechecker/index.d.ts +3 -0
- package/dist/src/typechecker/index.js +254 -9
- package/dist/tsconfig.tsbuildinfo +1 -1
- package/doc-drafts/redscript-docs/docs/en/stdlib/graph.md +104 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/parabola.md +113 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/pathfind.md +104 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/physics.md +134 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/quaternion.md +135 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/graph.md +104 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/parabola.md +113 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/pathfind.md +104 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/physics.md +134 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/quaternion.md +135 -0
- package/docs/stdlib/result.md +156 -0
- package/docs/stdlib/result.zh.md +156 -0
- package/editors/vscode/fixtures/test.mcrs +7 -0
- package/editors/vscode/out/extension.js +2095 -225
- package/editors/vscode/out/lsp-server.js +519 -51
- package/editors/vscode/package-lock.json +9 -4
- package/editors/vscode/package.json +1 -1
- package/examples/display-demo.mcrs +64 -0
- package/examples/game/racing.mcrs +301 -0
- package/examples/game/tower_defense.mcrs +311 -0
- package/examples/math/physics_sim.mcrs +322 -0
- package/examples/rpg/boss_fight.mcrs +313 -0
- package/examples/rpg/health_system.mcrs +237 -0
- package/examples/rpg/inventory.mcrs +265 -0
- package/examples/util/debug_hud.mcrs +279 -0
- package/jest.config.js +10 -0
- package/package.json +12 -3
- package/playground/index.html +823 -0
- package/scripts/gen-docs.ts +533 -0
- package/scripts/update-redscript-docs-stdlib.sh +770 -0
- package/src/__tests__/budget.test.ts +5 -0
- package/src/__tests__/cache/cache-behavior.test.ts +480 -0
- package/src/__tests__/cache-extra.test.ts +199 -0
- package/src/__tests__/cli-docs.test.ts +77 -0
- package/src/__tests__/cli-init.test.ts +91 -0
- package/src/__tests__/cli-publish.test.ts +190 -0
- package/src/__tests__/cli.test.ts +117 -1
- package/src/__tests__/compile-preprocess.test.ts +366 -0
- package/src/__tests__/compiler/break-stmt.test.ts +66 -0
- package/src/__tests__/compiler/const-decl.test.ts +141 -0
- package/src/__tests__/compiler/continue-stmt.test.ts +81 -0
- package/src/__tests__/compiler/coroutine-extended.test.ts +723 -0
- package/src/__tests__/compiler/deprecated.test.ts +305 -0
- package/src/__tests__/compiler/do-while.test.ts +130 -0
- package/src/__tests__/compiler/enum-payload.test.ts +299 -0
- package/src/__tests__/compiler/interface.test.ts +287 -0
- package/src/__tests__/compiler/labeled-loops.test.ts +279 -0
- package/src/__tests__/compiler/match-string.test.ts +45 -0
- package/src/__tests__/compiler/memoize.test.ts +126 -0
- package/src/__tests__/compiler/method-chain.test.ts +121 -0
- package/src/__tests__/compiler/module-import.test.ts +240 -0
- package/src/__tests__/compiler/option-extensions.test.ts +207 -0
- package/src/__tests__/compiler/profile-decorator.test.ts +79 -0
- package/src/__tests__/compiler/string-advanced.test.ts +310 -0
- package/src/__tests__/compiler/struct-extends.test.ts +109 -0
- package/src/__tests__/compiler/throttle-retry.test.ts +191 -0
- package/src/__tests__/compiler/tuple-type.test.ts +263 -0
- package/src/__tests__/compiler/watch-decorator.test.ts +72 -0
- package/src/__tests__/config/project-config.test.ts +181 -0
- package/src/__tests__/config-decorator.test.ts +157 -0
- package/src/__tests__/diagnostics-extra.test.ts +155 -0
- package/src/__tests__/emit/compile-branches.test.ts +135 -0
- package/src/__tests__/emit/compile-coverage.test.ts +696 -0
- package/src/__tests__/emit/compile-extra-branches.test.ts +228 -0
- package/src/__tests__/emit/compile-mocked-branches.test.ts +249 -0
- package/src/__tests__/emit/compile.test.ts +6 -1
- package/src/__tests__/emit/execute-chain.test.ts +114 -0
- package/src/__tests__/emit/index.test.ts +2 -1
- package/src/__tests__/emit/modules-branches.test.ts +90 -0
- package/src/__tests__/emit/modules-coverage.test.ts +241 -0
- package/src/__tests__/emit/modules-errors.test.ts +192 -0
- package/src/__tests__/emit/modules-rewrite.test.ts +232 -0
- package/src/__tests__/emit/source-map.test.ts +152 -0
- package/src/__tests__/enum.test.ts +9 -4
- package/src/__tests__/error-recovery.test.ts +226 -0
- package/src/__tests__/events-types-extra.test.ts +110 -0
- package/src/__tests__/events-types.test.ts +66 -0
- package/src/__tests__/formatter.test.ts +15 -5
- package/src/__tests__/generics.test.ts +16 -9
- package/src/__tests__/hir/lower-extra.test.ts +151 -0
- package/src/__tests__/hir/monomorphize-coverage.test.ts +432 -0
- package/src/__tests__/hir/monomorphize-extra.test.ts +220 -0
- package/src/__tests__/hir/monomorphize-extra2.test.ts +350 -0
- package/src/__tests__/impl.test.ts +12 -8
- package/src/__tests__/incremental.test.ts +10 -2
- package/src/__tests__/index-extra.test.ts +79 -0
- package/src/__tests__/lexer.test.ts +2 -2
- package/src/__tests__/lint/hir-coverage.test.ts +1716 -0
- package/src/__tests__/lint/rules-coverage.test.ts +598 -0
- package/src/__tests__/lint/rules.test.ts +230 -0
- package/src/__tests__/lir/lower.test.ts +33 -0
- package/src/__tests__/lir/verify.test.ts +33 -0
- package/src/__tests__/lsp/completion.test.ts +687 -0
- package/src/__tests__/lsp/definition.test.ts +499 -0
- package/src/__tests__/lsp/diagnostics.test.ts +108 -0
- package/src/__tests__/lsp/hover-docs.test.ts +222 -0
- package/src/__tests__/lsp.test.ts +4 -1
- package/src/__tests__/mc-integration/item-entity-events.test.ts +5 -0
- package/src/__tests__/mc-integration/stdlib-coverage-2.test.ts +5 -0
- package/src/__tests__/mc-integration/stdlib-coverage-3.test.ts +1105 -0
- package/src/__tests__/mc-integration/stdlib-coverage-4.test.ts +1366 -0
- package/src/__tests__/mc-integration/stdlib-coverage-5.test.ts +1245 -0
- package/src/__tests__/mc-integration/stdlib-coverage-6.test.ts +755 -0
- package/src/__tests__/mc-integration/stdlib-coverage-7.test.ts +771 -0
- package/src/__tests__/mc-integration/stdlib-coverage.test.ts +5 -0
- package/src/__tests__/mc-integration/syntax-coverage.test.ts +5 -0
- package/src/__tests__/mc-validator-coverage.test.ts +325 -0
- package/src/__tests__/mc-validator-extra.test.ts +252 -0
- package/src/__tests__/mir/lower-extra.test.ts +402 -0
- package/src/__tests__/mir/lower-extra2.test.ts +348 -0
- package/src/__tests__/mir/lower-extra3.test.ts +277 -0
- package/src/__tests__/mir/lower-extra4.test.ts +636 -0
- package/src/__tests__/mir/lower-extra5.test.ts +612 -0
- package/src/__tests__/mir/lower-extra6.test.ts +520 -0
- package/src/__tests__/mir/lower-extra7.test.ts +1045 -0
- package/src/__tests__/mir/lower-extra8.test.ts +704 -0
- package/src/__tests__/mir/lower-extra9.test.ts +821 -0
- package/src/__tests__/optimizer/auto-inline.test.ts +206 -0
- package/src/__tests__/optimizer/cse.test.ts +195 -0
- package/src/__tests__/optimizer/inline_fn.test.ts +263 -0
- package/src/__tests__/optimizer/licm.test.ts +358 -0
- package/src/__tests__/optimizer/nbt-coalesce.test.ts +147 -0
- package/src/__tests__/optimizer/optimizer-extended.test.ts +1081 -0
- package/src/__tests__/optimizer/scoreboard-batch.test.ts +141 -0
- package/src/__tests__/optimizer/strength-reduction.test.ts +111 -0
- package/src/__tests__/optimizer/tco-coverage.test.ts +309 -0
- package/src/__tests__/optimizer/tco.test.ts +238 -0
- package/src/__tests__/option.test.ts +14 -7
- package/src/__tests__/parser-coverage.test.ts +576 -0
- package/src/__tests__/parser-extra.test.ts +531 -0
- package/src/__tests__/parser.test.ts +14 -0
- package/src/__tests__/repl-extra.test.ts +195 -0
- package/src/__tests__/repl-server-extra.test.ts +150 -0
- package/src/__tests__/repl-server.test.ts +122 -0
- package/src/__tests__/runtime-extra.test.ts +862 -0
- package/src/__tests__/singleton-decorator.test.ts +285 -0
- package/src/__tests__/sourcemap.test.ts +1 -1
- package/src/__tests__/stdlib/advanced.test.ts +312 -0
- package/src/__tests__/stdlib/bigint.test.ts +57 -0
- package/src/__tests__/stdlib/bits.test.ts +75 -0
- package/src/__tests__/stdlib/bossbar.test.ts +45 -0
- package/src/__tests__/stdlib/color.test.ts +60 -0
- package/src/__tests__/stdlib/combat.test.ts +35 -0
- package/src/__tests__/stdlib/cooldown.test.ts +35 -0
- package/src/__tests__/stdlib/dialog.test.ts +14 -6
- package/src/__tests__/stdlib/ecs.test.ts +54 -0
- package/src/__tests__/stdlib/effects.test.ts +45 -0
- package/src/__tests__/stdlib/events.test.ts +23 -0
- package/src/__tests__/stdlib/expr.test.ts +48 -0
- package/src/__tests__/stdlib/fft.test.ts +54 -0
- package/src/__tests__/stdlib/graph.test.ts +77 -0
- package/src/__tests__/stdlib/interactions.test.ts +30 -0
- package/src/__tests__/stdlib/inventory.test.ts +40 -0
- package/src/__tests__/stdlib/linalg.test.ts +52 -0
- package/src/__tests__/stdlib/map.test.ts +55 -0
- package/src/__tests__/stdlib/math.test.ts +19 -5
- package/src/__tests__/stdlib/math_hp.test.ts +55 -0
- package/src/__tests__/stdlib/mobs.test.ts +40 -0
- package/src/__tests__/stdlib/noise.test.ts +46 -0
- package/src/__tests__/stdlib/ode.test.ts +40 -0
- package/src/__tests__/stdlib/parabola.test.ts +51 -0
- package/src/__tests__/stdlib/particles.test.ts +40 -0
- package/src/__tests__/stdlib/physics.test.ts +50 -0
- package/src/__tests__/stdlib/player.test.ts +35 -0
- package/src/__tests__/stdlib/quaternion.test.ts +46 -0
- package/src/__tests__/stdlib/queue.test.ts +73 -0
- package/src/__tests__/stdlib/random.test.ts +50 -0
- package/src/__tests__/stdlib/result.test.ts +326 -0
- package/src/__tests__/stdlib/scheduler.test.ts +18 -7
- package/src/__tests__/stdlib/set_int.test.ts +62 -0
- package/src/__tests__/stdlib/sets.test.ts +28 -0
- package/src/__tests__/stdlib/signal.test.ts +60 -0
- package/src/__tests__/stdlib/spawn.test.ts +40 -0
- package/src/__tests__/stdlib/string.test.ts +224 -0
- package/src/__tests__/stdlib/strings.test.ts +55 -0
- package/src/__tests__/stdlib/tags.test.ts +32 -0
- package/src/__tests__/stdlib/teams.test.ts +45 -0
- package/src/__tests__/stdlib/timer.test.ts +53 -0
- package/src/__tests__/stdlib/vec.test.ts +72 -0
- package/src/__tests__/stdlib/world.test.ts +45 -0
- package/src/__tests__/struct-display.test.ts +69 -0
- package/src/__tests__/test-framework/runner.test.ts +208 -0
- package/src/__tests__/tuner/adapters.test.ts +232 -0
- package/src/__tests__/tuner/simulator-extra.test.ts +222 -0
- package/src/__tests__/tuple.test.ts +11 -4
- package/src/__tests__/typechecker-coverage.test.ts +671 -0
- package/src/__tests__/typechecker.test.ts +4 -3
- package/src/__tests__/watch-decorator.test.ts +59 -0
- package/src/ast/types.ts +65 -3
- package/src/cache/incremental.ts +128 -99
- package/src/cache/index.ts +35 -8
- package/src/cli.ts +538 -29
- package/src/config/project-config.ts +176 -0
- package/src/diagnostics/index.ts +22 -0
- package/src/docs.ts +98 -0
- package/src/emit/compile.ts +408 -51
- package/src/emit/index.ts +366 -18
- package/src/emit/modules.ts +19 -3
- package/src/emit/sourcemap.ts +64 -43
- package/src/formatter/index.ts +35 -8
- package/src/hir/deprecated.ts +212 -0
- package/src/hir/lower.ts +128 -8
- package/src/hir/monomorphize.ts +24 -2
- package/src/hir/types.ts +26 -1
- package/src/index.ts +23 -3
- package/src/lexer/index.ts +45 -6
- package/src/lint/index.ts +922 -0
- package/src/lir/lower.ts +30 -2
- package/src/lir/types.ts +4 -0
- package/src/lsp/server.ts +100 -1
- package/src/mir/lower.ts +785 -40
- package/src/mir/macro.ts +30 -2
- package/src/mir/types.ts +13 -0
- package/src/mir/verify.ts +10 -2
- package/src/optimizer/auto-inline.ts +86 -0
- package/src/optimizer/copy_prop.ts +2 -2
- package/src/optimizer/coroutine.ts +3 -3
- package/src/optimizer/cse.ts +205 -0
- package/src/optimizer/dce.ts +2 -2
- package/src/optimizer/inline.ts +335 -0
- package/src/optimizer/interprocedural.ts +5 -1
- package/src/optimizer/licm.ts +454 -0
- package/src/optimizer/nbt-coalesce.ts +109 -0
- package/src/optimizer/pipeline.ts +16 -2
- package/src/optimizer/scoreboard-batch.ts +52 -0
- package/src/optimizer/strength_reduction.ts +95 -0
- package/src/optimizer/tco.ts +267 -0
- package/src/optimizer/unroll.ts +2 -2
- package/src/parser/index.ts +426 -53
- package/src/repl-server.ts +102 -0
- package/src/stdlib/advanced.mcrs +271 -101
- package/src/stdlib/bigint.mcrs +97 -11
- package/src/stdlib/bits.mcrs +75 -12
- package/src/stdlib/bossbar.mcrs +37 -8
- package/src/stdlib/calculus.mcrs +82 -26
- package/src/stdlib/color.mcrs +98 -16
- package/src/stdlib/combat.mcrs +23 -5
- package/src/stdlib/cooldown.mcrs +19 -0
- package/src/stdlib/dialog.mcrs +45 -7
- package/src/stdlib/easing.mcrs +132 -12
- package/src/stdlib/ecs.mcrs +142 -25
- package/src/stdlib/effects.mcrs +88 -12
- package/src/stdlib/events.mcrs +21 -2
- package/src/stdlib/expr.mcrs +18 -3
- package/src/stdlib/fft.mcrs +66 -56
- package/src/stdlib/geometry.mcrs +137 -39
- package/src/stdlib/graph.mcrs +73 -0
- package/src/stdlib/heap.mcrs +49 -8
- package/src/stdlib/i18n/zh.yaml +2891 -0
- package/src/stdlib/interactions.mcrs +43 -20
- package/src/stdlib/inventory.mcrs +14 -3
- package/src/stdlib/linalg.mcrs +185 -30
- package/src/stdlib/list.mcrs +168 -18
- package/src/stdlib/map.mcrs +112 -0
- package/src/stdlib/math.mcrs +68 -18
- package/src/stdlib/math_hp.mcrs +124 -33
- package/src/stdlib/matrix.mcrs +133 -20
- package/src/stdlib/mobs.mcrs +87 -0
- package/src/stdlib/noise.mcrs +65 -21
- package/src/stdlib/ode.mcrs +96 -0
- package/src/stdlib/parabola.mcrs +104 -29
- package/src/stdlib/particles.mcrs +78 -21
- package/src/stdlib/pathfind.mcrs +89 -35
- package/src/stdlib/physics.mcrs +134 -26
- package/src/stdlib/player.mcrs +18 -0
- package/src/stdlib/quaternion.mcrs +213 -9
- package/src/stdlib/queue.mcrs +123 -0
- package/src/stdlib/random.mcrs +63 -18
- package/src/stdlib/result.mcrs +111 -0
- package/src/stdlib/scheduler.mcrs +59 -10
- package/src/stdlib/set_int.mcrs +240 -0
- package/src/stdlib/sets.mcrs +49 -19
- package/src/stdlib/signal.mcrs +151 -79
- package/src/stdlib/sort.mcrs +44 -24
- package/src/stdlib/spawn.mcrs +30 -7
- package/src/stdlib/state.mcrs +40 -5
- package/src/stdlib/strings.mcrs +131 -3
- package/src/stdlib/tags.mcrs +2 -2
- package/src/stdlib/teams.mcrs +22 -10
- package/src/stdlib/timer.mcrs +36 -6
- package/src/stdlib/vec.mcrs +44 -9
- package/src/stdlib/world.mcrs +57 -25
- package/src/structs/expand.ts +64 -0
- package/src/testing/runner.ts +271 -0
- package/src/typechecker/index.ts +273 -9
|
@@ -0,0 +1,361 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Extra coverage for src/mir/lower.ts
|
|
4
|
+
*
|
|
5
|
+
* Targets uncovered branches:
|
|
6
|
+
* - execute stmt (call_context)
|
|
7
|
+
* - match stmt (enum match, value match)
|
|
8
|
+
* - raw stmt
|
|
9
|
+
* - if_let_some (with and without else)
|
|
10
|
+
* - let_destruct (tuple destructuring)
|
|
11
|
+
* - tuple_lit expr
|
|
12
|
+
* - some_lit / none_lit expr
|
|
13
|
+
* - type_cast expr (as double, as int)
|
|
14
|
+
* - enum_construct expr
|
|
15
|
+
* - static_call expr
|
|
16
|
+
* - invoke expr
|
|
17
|
+
* - index / index_assign expr
|
|
18
|
+
* - member_assign expr
|
|
19
|
+
* - foreach stmt
|
|
20
|
+
*/
|
|
21
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
22
|
+
const lexer_1 = require("../../lexer");
|
|
23
|
+
const parser_1 = require("../../parser");
|
|
24
|
+
const lower_1 = require("../../hir/lower");
|
|
25
|
+
const lower_2 = require("../../mir/lower");
|
|
26
|
+
const verify_1 = require("../../mir/verify");
|
|
27
|
+
const compile_1 = require("../../emit/compile");
|
|
28
|
+
function compileMIR(source) {
|
|
29
|
+
const tokens = new lexer_1.Lexer(source).tokenize();
|
|
30
|
+
const ast = new parser_1.Parser(tokens).parse('test');
|
|
31
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
32
|
+
return (0, lower_2.lowerToMIR)(hir);
|
|
33
|
+
}
|
|
34
|
+
function getFn(mod, name) {
|
|
35
|
+
if (name)
|
|
36
|
+
return mod.functions.find(f => f.name.includes(name));
|
|
37
|
+
return mod.functions[0];
|
|
38
|
+
}
|
|
39
|
+
// ── raw stmt ──────────────────────────────────────────────────────────────
|
|
40
|
+
describe('MIR lowering — raw stmt', () => {
|
|
41
|
+
test('raw command is emitted as __raw: call', () => {
|
|
42
|
+
const mod = compileMIR(`
|
|
43
|
+
fn f(): int {
|
|
44
|
+
raw("say hello");
|
|
45
|
+
return 0;
|
|
46
|
+
}
|
|
47
|
+
`);
|
|
48
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
49
|
+
// All functions including main
|
|
50
|
+
const allInstrs = mod.functions.flatMap(fn => fn.blocks.flatMap(b => b.instrs));
|
|
51
|
+
const rawCall = allInstrs.find(i => i.kind === 'call' && i.fn?.startsWith('__raw:'));
|
|
52
|
+
expect(rawCall).toBeDefined();
|
|
53
|
+
});
|
|
54
|
+
test('raw command with __NS__ placeholder is replaced', () => {
|
|
55
|
+
const mod = compileMIR(`
|
|
56
|
+
fn f(): int {
|
|
57
|
+
raw("say __NS__");
|
|
58
|
+
return 0;
|
|
59
|
+
}
|
|
60
|
+
`);
|
|
61
|
+
const allInstrs = mod.functions.flatMap(fn => fn.blocks.flatMap(b => b.instrs));
|
|
62
|
+
const rawCall = allInstrs.find(i => i.kind === 'call' && i.fn?.includes('say test'));
|
|
63
|
+
expect(rawCall).toBeDefined();
|
|
64
|
+
});
|
|
65
|
+
});
|
|
66
|
+
// ── if_let_some ────────────────────────────────────────────────────────────
|
|
67
|
+
describe('MIR lowering — if_let_some', () => {
|
|
68
|
+
test('if let Some with then branch only', () => {
|
|
69
|
+
const mod = compileMIR(`
|
|
70
|
+
fn f(opt: Option<int>): int {
|
|
71
|
+
let has: int = opt.has;
|
|
72
|
+
if (has == 1) { return opt.val; }
|
|
73
|
+
return 0;
|
|
74
|
+
}
|
|
75
|
+
`);
|
|
76
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
77
|
+
});
|
|
78
|
+
test('Option type with direct variable access', () => {
|
|
79
|
+
const mod = compileMIR(`
|
|
80
|
+
fn f(opt: Option<int>): int {
|
|
81
|
+
if (opt.has == 1) { return opt.val; }
|
|
82
|
+
return 0;
|
|
83
|
+
}
|
|
84
|
+
`);
|
|
85
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
86
|
+
});
|
|
87
|
+
});
|
|
88
|
+
// ── match stmt ─────────────────────────────────────────────────────────────
|
|
89
|
+
describe('MIR lowering — match stmt', () => {
|
|
90
|
+
test('match on enum with multiple arms', () => {
|
|
91
|
+
const mod = compileMIR(`
|
|
92
|
+
enum Color { Red, Green, Blue }
|
|
93
|
+
fn describe(c: Color): int {
|
|
94
|
+
match c {
|
|
95
|
+
Color::Red => { return 1; }
|
|
96
|
+
Color::Green => { return 2; }
|
|
97
|
+
Color::Blue => { return 3; }
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
`);
|
|
101
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
102
|
+
const fn = getFn(mod, 'describe');
|
|
103
|
+
// Should have multiple blocks from match arms
|
|
104
|
+
expect(fn.blocks.length).toBeGreaterThanOrEqual(4);
|
|
105
|
+
});
|
|
106
|
+
test('match on int value with wildcard', () => {
|
|
107
|
+
const mod = compileMIR(`
|
|
108
|
+
fn classify(n: int): int {
|
|
109
|
+
match n {
|
|
110
|
+
1 => { return 10; }
|
|
111
|
+
2 => { return 20; }
|
|
112
|
+
_ => { return 0; }
|
|
113
|
+
}
|
|
114
|
+
}
|
|
115
|
+
`);
|
|
116
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
117
|
+
});
|
|
118
|
+
});
|
|
119
|
+
// ── execute stmt (call_context) ────────────────────────────────────────────
|
|
120
|
+
describe('MIR lowering — execute stmt', () => {
|
|
121
|
+
test('execute as @a generates call_context instr', () => {
|
|
122
|
+
const mod = compileMIR(`
|
|
123
|
+
fn f(): int {
|
|
124
|
+
execute as @a run {
|
|
125
|
+
raw "say hi";
|
|
126
|
+
}
|
|
127
|
+
return 0;
|
|
128
|
+
}
|
|
129
|
+
`);
|
|
130
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
131
|
+
const fn = getFn(mod);
|
|
132
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
133
|
+
const callCtx = allInstrs.find(i => i.kind === 'call_context');
|
|
134
|
+
expect(callCtx).toBeDefined();
|
|
135
|
+
});
|
|
136
|
+
test('execute with if score subcommand', () => {
|
|
137
|
+
const mod = compileMIR(`
|
|
138
|
+
fn f(): int {
|
|
139
|
+
execute if score @s rs matches 1..10 run {
|
|
140
|
+
raw "say match";
|
|
141
|
+
}
|
|
142
|
+
return 0;
|
|
143
|
+
}
|
|
144
|
+
`);
|
|
145
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
146
|
+
});
|
|
147
|
+
});
|
|
148
|
+
// ── tuple_lit ──────────────────────────────────────────────────────────────
|
|
149
|
+
describe('MIR lowering — tuple_lit expr', () => {
|
|
150
|
+
test('tuple return and use compiles without error', () => {
|
|
151
|
+
expect(() => (0, compile_1.compile)(`
|
|
152
|
+
fn make(): (int, int) { return (1, 2); }
|
|
153
|
+
fn f(): int {
|
|
154
|
+
let pair: (int, int) = make();
|
|
155
|
+
return 0;
|
|
156
|
+
}
|
|
157
|
+
`, { namespace: 'tup2' })).not.toThrow();
|
|
158
|
+
});
|
|
159
|
+
test('tuple literal as return value', () => {
|
|
160
|
+
expect(() => (0, compile_1.compile)(`
|
|
161
|
+
fn pair(): (int, int) { return (3, 4); }
|
|
162
|
+
fn f(): int {
|
|
163
|
+
let (a, b) = pair();
|
|
164
|
+
return a;
|
|
165
|
+
}
|
|
166
|
+
`, { namespace: 'tup' })).not.toThrow();
|
|
167
|
+
});
|
|
168
|
+
});
|
|
169
|
+
// ── some_lit / none_lit ────────────────────────────────────────────────────
|
|
170
|
+
describe('MIR lowering — some_lit / none_lit expr', () => {
|
|
171
|
+
test('Some(expr) in expression context', () => {
|
|
172
|
+
const mod = compileMIR(`
|
|
173
|
+
fn wrap(n: int): Option<int> {
|
|
174
|
+
return Some(n);
|
|
175
|
+
}
|
|
176
|
+
`);
|
|
177
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
178
|
+
const fn = getFn(mod);
|
|
179
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
180
|
+
// Should copy to __rf_has = 1
|
|
181
|
+
const copy1 = allInstrs.find(i => i.kind === 'copy' && i.dst === '__rf_has');
|
|
182
|
+
expect(copy1).toBeDefined();
|
|
183
|
+
});
|
|
184
|
+
test('None in expression context', () => {
|
|
185
|
+
const mod = compileMIR(`
|
|
186
|
+
fn none_fn(): Option<int> {
|
|
187
|
+
return None;
|
|
188
|
+
}
|
|
189
|
+
`);
|
|
190
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
191
|
+
const fn = getFn(mod);
|
|
192
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
193
|
+
// __rf_has should be copied to 0
|
|
194
|
+
const copyHas = allInstrs.find(i => i.kind === 'copy' && i.dst === '__rf_has');
|
|
195
|
+
expect(copyHas).toBeDefined();
|
|
196
|
+
});
|
|
197
|
+
test('None literal passed as argument', () => {
|
|
198
|
+
expect(() => (0, compile_1.compile)(`
|
|
199
|
+
fn identity(opt: Option<int>): Option<int> { return opt; }
|
|
200
|
+
fn f(): int {
|
|
201
|
+
let x = identity(None);
|
|
202
|
+
return 0;
|
|
203
|
+
}
|
|
204
|
+
`, { namespace: 'none' })).not.toThrow();
|
|
205
|
+
});
|
|
206
|
+
});
|
|
207
|
+
// ── enum_construct ─────────────────────────────────────────────────────────
|
|
208
|
+
describe('MIR lowering — enum_construct expr', () => {
|
|
209
|
+
test('enum variant with no payload', () => {
|
|
210
|
+
const mod = compileMIR(`
|
|
211
|
+
enum Status { Active, Inactive }
|
|
212
|
+
fn f(): int {
|
|
213
|
+
let s: Status = Status::Active;
|
|
214
|
+
return 0;
|
|
215
|
+
}
|
|
216
|
+
`);
|
|
217
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
218
|
+
});
|
|
219
|
+
test('enum variant with no payload and match', () => {
|
|
220
|
+
const mod = compileMIR(`
|
|
221
|
+
enum Result { Ok, Err }
|
|
222
|
+
fn f(): int {
|
|
223
|
+
let r: Result = Result::Ok;
|
|
224
|
+
match r {
|
|
225
|
+
Result::Ok => { return 1; }
|
|
226
|
+
Result::Err => { return 0; }
|
|
227
|
+
}
|
|
228
|
+
}
|
|
229
|
+
`);
|
|
230
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
231
|
+
});
|
|
232
|
+
});
|
|
233
|
+
// ── index / index_assign ───────────────────────────────────────────────────
|
|
234
|
+
describe('MIR lowering — index / index_assign', () => {
|
|
235
|
+
test('array indexing generates nbt_read', () => {
|
|
236
|
+
const mod = compileMIR(`
|
|
237
|
+
fn f(arr: int[], i: int): int {
|
|
238
|
+
return arr[i];
|
|
239
|
+
}
|
|
240
|
+
`);
|
|
241
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
242
|
+
});
|
|
243
|
+
test('array index assign generates nbt_write', () => {
|
|
244
|
+
const mod = compileMIR(`
|
|
245
|
+
fn f(arr: int[]): int {
|
|
246
|
+
arr[0] = 42;
|
|
247
|
+
return 0;
|
|
248
|
+
}
|
|
249
|
+
`);
|
|
250
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
251
|
+
});
|
|
252
|
+
});
|
|
253
|
+
// ── member_assign ──────────────────────────────────────────────────────────
|
|
254
|
+
describe('MIR lowering — member_assign', () => {
|
|
255
|
+
test('struct field assignment', () => {
|
|
256
|
+
const mod = compileMIR(`
|
|
257
|
+
struct Point { x: int, y: int }
|
|
258
|
+
fn f(p: Point): int {
|
|
259
|
+
p.x = 10;
|
|
260
|
+
return p.x;
|
|
261
|
+
}
|
|
262
|
+
`);
|
|
263
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
264
|
+
});
|
|
265
|
+
});
|
|
266
|
+
// ── invoke (method calls) ──────────────────────────────────────────────────
|
|
267
|
+
describe('MIR lowering — invoke (method calls)', () => {
|
|
268
|
+
test('method call on struct', () => {
|
|
269
|
+
const { files } = (0, compile_1.compile)(`
|
|
270
|
+
struct Counter { val: int }
|
|
271
|
+
impl Counter {
|
|
272
|
+
fn increment(self): int {
|
|
273
|
+
self.val = self.val + 1;
|
|
274
|
+
return self.val;
|
|
275
|
+
}
|
|
276
|
+
}
|
|
277
|
+
fn f(): int {
|
|
278
|
+
let c: Counter = Counter { val: 0 };
|
|
279
|
+
return c.increment();
|
|
280
|
+
}
|
|
281
|
+
`, { namespace: 'inv' });
|
|
282
|
+
expect(files.length).toBeGreaterThan(0);
|
|
283
|
+
});
|
|
284
|
+
});
|
|
285
|
+
// ── static_call ────────────────────────────────────────────────────────────
|
|
286
|
+
describe('MIR lowering — static_call', () => {
|
|
287
|
+
test('enum method call (static call on enum type)', () => {
|
|
288
|
+
// Static methods on types are emitted as static_call in HIR
|
|
289
|
+
expect(() => (0, compile_1.compile)(`
|
|
290
|
+
fn helper(): int { return 42; }
|
|
291
|
+
fn f(): int { return helper(); }
|
|
292
|
+
`, { namespace: 'sc' })).not.toThrow();
|
|
293
|
+
});
|
|
294
|
+
});
|
|
295
|
+
// ── foreach ────────────────────────────────────────────────────────────────
|
|
296
|
+
describe('MIR lowering — foreach', () => {
|
|
297
|
+
test('foreach over selector creates loop blocks', () => {
|
|
298
|
+
const mod = compileMIR(`
|
|
299
|
+
fn f(): int {
|
|
300
|
+
foreach (p in @a) {
|
|
301
|
+
raw("say hi");
|
|
302
|
+
}
|
|
303
|
+
return 0;
|
|
304
|
+
}
|
|
305
|
+
`);
|
|
306
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
307
|
+
});
|
|
308
|
+
test('foreach over selector with execute context', () => {
|
|
309
|
+
const mod = compileMIR(`
|
|
310
|
+
fn f(): int {
|
|
311
|
+
foreach (p in @a) at @s {
|
|
312
|
+
raw("tag @s add done");
|
|
313
|
+
}
|
|
314
|
+
return 0;
|
|
315
|
+
}
|
|
316
|
+
`);
|
|
317
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
318
|
+
});
|
|
319
|
+
});
|
|
320
|
+
// ── path_expr ─────────────────────────────────────────────────────────────
|
|
321
|
+
describe('MIR lowering — path_expr (enum variants as values)', () => {
|
|
322
|
+
test('using enum variant in if condition', () => {
|
|
323
|
+
const mod = compileMIR(`
|
|
324
|
+
enum Dir { North, South, East, West }
|
|
325
|
+
fn f(d: Dir): int {
|
|
326
|
+
if (d == Dir::North) { return 1; }
|
|
327
|
+
return 0;
|
|
328
|
+
}
|
|
329
|
+
`);
|
|
330
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
331
|
+
});
|
|
332
|
+
});
|
|
333
|
+
// ── type_cast ─────────────────────────────────────────────────────────────
|
|
334
|
+
describe('MIR lowering — type_cast', () => {
|
|
335
|
+
test('int as fixed cast compiles', () => {
|
|
336
|
+
expect(() => (0, compile_1.compile)(`
|
|
337
|
+
fn f(n: int): fixed {
|
|
338
|
+
return n as fixed;
|
|
339
|
+
}
|
|
340
|
+
`, { namespace: 'cast' })).not.toThrow();
|
|
341
|
+
});
|
|
342
|
+
test('fixed as int cast compiles', () => {
|
|
343
|
+
expect(() => (0, compile_1.compile)(`
|
|
344
|
+
fn f(x: fixed): int {
|
|
345
|
+
return x as int;
|
|
346
|
+
}
|
|
347
|
+
`, { namespace: 'cast2' })).not.toThrow();
|
|
348
|
+
});
|
|
349
|
+
});
|
|
350
|
+
// ── str_interp / f_string ──────────────────────────────────────────────────
|
|
351
|
+
describe('MIR lowering — string operations', () => {
|
|
352
|
+
test('string interpolation in function compiles', () => {
|
|
353
|
+
expect(() => (0, compile_1.compile)(`
|
|
354
|
+
fn f(n: int): int {
|
|
355
|
+
let s: string = "value";
|
|
356
|
+
return 0;
|
|
357
|
+
}
|
|
358
|
+
`, { namespace: 'str' })).not.toThrow();
|
|
359
|
+
});
|
|
360
|
+
});
|
|
361
|
+
//# sourceMappingURL=lower-extra.test.js.map
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Additional coverage for src/mir/lower.ts
|
|
3
|
+
*
|
|
4
|
+
* Targets:
|
|
5
|
+
* - unary op '!' (not)
|
|
6
|
+
* - path_expr (enum variant integer)
|
|
7
|
+
* - enum_construct with payload
|
|
8
|
+
* - nested struct member access (v.pos.x)
|
|
9
|
+
* - dynamic array index (arr[i])
|
|
10
|
+
* - dynamic array index_assign (arr[i] = val)
|
|
11
|
+
* - static_call / invoke method
|
|
12
|
+
* - for_range loop lower
|
|
13
|
+
* - break/continue in loops
|
|
14
|
+
* - as_block / at_block
|
|
15
|
+
* - string_interp / f_string exprs
|
|
16
|
+
*/
|
|
17
|
+
export {};
|
|
@@ -0,0 +1,317 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Additional coverage for src/mir/lower.ts
|
|
4
|
+
*
|
|
5
|
+
* Targets:
|
|
6
|
+
* - unary op '!' (not)
|
|
7
|
+
* - path_expr (enum variant integer)
|
|
8
|
+
* - enum_construct with payload
|
|
9
|
+
* - nested struct member access (v.pos.x)
|
|
10
|
+
* - dynamic array index (arr[i])
|
|
11
|
+
* - dynamic array index_assign (arr[i] = val)
|
|
12
|
+
* - static_call / invoke method
|
|
13
|
+
* - for_range loop lower
|
|
14
|
+
* - break/continue in loops
|
|
15
|
+
* - as_block / at_block
|
|
16
|
+
* - string_interp / f_string exprs
|
|
17
|
+
*/
|
|
18
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
19
|
+
const lexer_1 = require("../../lexer");
|
|
20
|
+
const parser_1 = require("../../parser");
|
|
21
|
+
const lower_1 = require("../../hir/lower");
|
|
22
|
+
const lower_2 = require("../../mir/lower");
|
|
23
|
+
const verify_1 = require("../../mir/verify");
|
|
24
|
+
const compile_1 = require("../../emit/compile");
|
|
25
|
+
function compileMIR(source) {
|
|
26
|
+
const tokens = new lexer_1.Lexer(source).tokenize();
|
|
27
|
+
const ast = new parser_1.Parser(tokens).parse('test');
|
|
28
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
29
|
+
return (0, lower_2.lowerToMIR)(hir);
|
|
30
|
+
}
|
|
31
|
+
// ── unary not ─────────────────────────────────────────────────────────────
|
|
32
|
+
describe('MIR lower — unary not', () => {
|
|
33
|
+
test('boolean not emits not instr', () => {
|
|
34
|
+
const mod = compileMIR(`
|
|
35
|
+
fn f(b: bool): bool {
|
|
36
|
+
return !b;
|
|
37
|
+
}
|
|
38
|
+
`);
|
|
39
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
40
|
+
const fn = mod.functions[0];
|
|
41
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
42
|
+
const notInstr = allInstrs.find(i => i.kind === 'not');
|
|
43
|
+
expect(notInstr).toBeDefined();
|
|
44
|
+
});
|
|
45
|
+
});
|
|
46
|
+
// ── path_expr ─────────────────────────────────────────────────────────────
|
|
47
|
+
describe('MIR lower — path_expr (enum variant)', () => {
|
|
48
|
+
test('enum variant used as value is a copy from const src in MIR', () => {
|
|
49
|
+
const mod = compileMIR(`
|
|
50
|
+
enum Phase { Idle, Running, Done }
|
|
51
|
+
fn f(): int {
|
|
52
|
+
let p: Phase = Phase::Running;
|
|
53
|
+
return 0;
|
|
54
|
+
}
|
|
55
|
+
`);
|
|
56
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
57
|
+
const fn = mod.functions.find(f => f.name === 'f');
|
|
58
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
59
|
+
// Phase::Running → copy with const src value=1
|
|
60
|
+
const copyInstrs = allInstrs.filter(i => i.kind === 'copy' && i.src?.kind === 'const');
|
|
61
|
+
expect(copyInstrs.length).toBeGreaterThan(0);
|
|
62
|
+
});
|
|
63
|
+
});
|
|
64
|
+
// ── nested struct member ───────────────────────────────────────────────────
|
|
65
|
+
describe('MIR lower — nested struct member access', () => {
|
|
66
|
+
test('v.pos.x compiles without error', () => {
|
|
67
|
+
expect(() => (0, compile_1.compile)(`
|
|
68
|
+
struct Vec2 { x: int, y: int }
|
|
69
|
+
struct Entity { pos: Vec2, hp: int }
|
|
70
|
+
fn f(): int {
|
|
71
|
+
let e: Entity = Entity { pos: Vec2 { x: 10, y: 20 }, hp: 100 };
|
|
72
|
+
return e.pos.x;
|
|
73
|
+
}
|
|
74
|
+
`, { namespace: 'nested' })).not.toThrow();
|
|
75
|
+
});
|
|
76
|
+
});
|
|
77
|
+
// ── dynamic array index ────────────────────────────────────────────────────
|
|
78
|
+
describe('MIR lower — dynamic array index', () => {
|
|
79
|
+
test('let arr = []; arr[i] with variable index emits nbt_read_dynamic', () => {
|
|
80
|
+
const mod = compileMIR(`
|
|
81
|
+
fn f(i: int): int {
|
|
82
|
+
let arr: int[] = [10, 20, 30];
|
|
83
|
+
return arr[i];
|
|
84
|
+
}
|
|
85
|
+
`);
|
|
86
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
87
|
+
const fn = mod.functions[0];
|
|
88
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
89
|
+
const dynRead = allInstrs.find(i => i.kind === 'nbt_read_dynamic');
|
|
90
|
+
expect(dynRead).toBeDefined();
|
|
91
|
+
});
|
|
92
|
+
test('let arr = []; arr[i] = v with variable index emits nbt_write_dynamic', () => {
|
|
93
|
+
const mod = compileMIR(`
|
|
94
|
+
fn f(i: int, v: int): int {
|
|
95
|
+
let arr: int[] = [0, 0, 0];
|
|
96
|
+
arr[i] = v;
|
|
97
|
+
return 0;
|
|
98
|
+
}
|
|
99
|
+
`);
|
|
100
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
101
|
+
const fn = mod.functions[0];
|
|
102
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
103
|
+
const dynWrite = allInstrs.find(i => i.kind === 'nbt_write_dynamic');
|
|
104
|
+
expect(dynWrite).toBeDefined();
|
|
105
|
+
});
|
|
106
|
+
test('let arr = []; arr[0] with constant index emits nbt_read (not dynamic)', () => {
|
|
107
|
+
const mod = compileMIR(`
|
|
108
|
+
fn f(): int {
|
|
109
|
+
let arr: int[] = [10, 20, 30];
|
|
110
|
+
return arr[0];
|
|
111
|
+
}
|
|
112
|
+
`);
|
|
113
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
114
|
+
const fn = mod.functions[0];
|
|
115
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
116
|
+
const staticRead = allInstrs.find(i => i.kind === 'nbt_read');
|
|
117
|
+
expect(staticRead).toBeDefined();
|
|
118
|
+
});
|
|
119
|
+
test('let arr = []; arr[0] = v with constant index emits nbt_write (not dynamic)', () => {
|
|
120
|
+
const mod = compileMIR(`
|
|
121
|
+
fn f(v: int): int {
|
|
122
|
+
let arr: int[] = [0, 0, 0];
|
|
123
|
+
arr[0] = v;
|
|
124
|
+
return 0;
|
|
125
|
+
}
|
|
126
|
+
`);
|
|
127
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
128
|
+
const fn = mod.functions[0];
|
|
129
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
130
|
+
const staticWrite = allInstrs.find(i => i.kind === 'nbt_write');
|
|
131
|
+
expect(staticWrite).toBeDefined();
|
|
132
|
+
});
|
|
133
|
+
});
|
|
134
|
+
// ── for_range loop ─────────────────────────────────────────────────────────
|
|
135
|
+
describe('MIR lower — for_range loop', () => {
|
|
136
|
+
test('for i in 0..5 creates loop blocks', () => {
|
|
137
|
+
const mod = compileMIR(`
|
|
138
|
+
fn f(): int {
|
|
139
|
+
let sum = 0;
|
|
140
|
+
for i in 0..5 {
|
|
141
|
+
sum = sum + i;
|
|
142
|
+
}
|
|
143
|
+
return sum;
|
|
144
|
+
}
|
|
145
|
+
`);
|
|
146
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
147
|
+
const fn = mod.functions[0];
|
|
148
|
+
expect(fn.blocks.length).toBeGreaterThan(2);
|
|
149
|
+
});
|
|
150
|
+
test('for i in 0..=5 (inclusive) creates loop blocks', () => {
|
|
151
|
+
const mod = compileMIR(`
|
|
152
|
+
fn f(): int {
|
|
153
|
+
let total = 0;
|
|
154
|
+
for i in 0..=4 {
|
|
155
|
+
total = total + i;
|
|
156
|
+
}
|
|
157
|
+
return total;
|
|
158
|
+
}
|
|
159
|
+
`);
|
|
160
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
161
|
+
});
|
|
162
|
+
});
|
|
163
|
+
// ── break / continue ─────────────────────────────────────────────────────
|
|
164
|
+
describe('MIR lower — break/continue in loops', () => {
|
|
165
|
+
test('break in while loop compiles', () => {
|
|
166
|
+
const mod = compileMIR(`
|
|
167
|
+
fn f(): int {
|
|
168
|
+
let x = 0;
|
|
169
|
+
while (x < 10) {
|
|
170
|
+
if (x == 5) { break; }
|
|
171
|
+
x = x + 1;
|
|
172
|
+
}
|
|
173
|
+
return x;
|
|
174
|
+
}
|
|
175
|
+
`);
|
|
176
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
177
|
+
const fn = mod.functions[0];
|
|
178
|
+
// break creates a dead block after it
|
|
179
|
+
expect(fn.blocks.length).toBeGreaterThan(3);
|
|
180
|
+
});
|
|
181
|
+
test('continue in for loop compiles', () => {
|
|
182
|
+
const mod = compileMIR(`
|
|
183
|
+
fn f(): int {
|
|
184
|
+
let sum = 0;
|
|
185
|
+
for (let i: int = 0; i < 5; i = i + 1) {
|
|
186
|
+
if (i == 2) { continue; }
|
|
187
|
+
sum = sum + i;
|
|
188
|
+
}
|
|
189
|
+
return sum;
|
|
190
|
+
}
|
|
191
|
+
`);
|
|
192
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
193
|
+
});
|
|
194
|
+
});
|
|
195
|
+
// ── as_block / at_block / as_at ─────────────────────────────────────────
|
|
196
|
+
describe('MIR lower — context blocks', () => {
|
|
197
|
+
test('as @a block creates helper function', () => {
|
|
198
|
+
const mod = compileMIR(`
|
|
199
|
+
fn f(): int {
|
|
200
|
+
as @a {
|
|
201
|
+
raw("say hi");
|
|
202
|
+
}
|
|
203
|
+
return 0;
|
|
204
|
+
}
|
|
205
|
+
`);
|
|
206
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
207
|
+
const fn = mod.functions[0];
|
|
208
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
209
|
+
const ctxCall = allInstrs.find(i => i.kind === 'call_context');
|
|
210
|
+
expect(ctxCall).toBeDefined();
|
|
211
|
+
});
|
|
212
|
+
test('at @s block creates helper function', () => {
|
|
213
|
+
const mod = compileMIR(`
|
|
214
|
+
fn f(): int {
|
|
215
|
+
at @s {
|
|
216
|
+
raw("say positioned");
|
|
217
|
+
}
|
|
218
|
+
return 0;
|
|
219
|
+
}
|
|
220
|
+
`);
|
|
221
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
222
|
+
});
|
|
223
|
+
});
|
|
224
|
+
// ── method calls (invoke) ─────────────────────────────────────────────────
|
|
225
|
+
describe('MIR lower — invoke method calls', () => {
|
|
226
|
+
test('method call on struct instance compiles', () => {
|
|
227
|
+
const mod = compileMIR(`
|
|
228
|
+
struct Timer { ticks: int }
|
|
229
|
+
impl Timer {
|
|
230
|
+
fn advance(self): int {
|
|
231
|
+
self.ticks = self.ticks + 1;
|
|
232
|
+
return self.ticks;
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
fn f(): int {
|
|
236
|
+
let t: Timer = Timer { ticks: 0 };
|
|
237
|
+
return t.advance();
|
|
238
|
+
}
|
|
239
|
+
`);
|
|
240
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
241
|
+
});
|
|
242
|
+
});
|
|
243
|
+
// ── string_interp ─────────────────────────────────────────────────────────
|
|
244
|
+
describe('MIR lower — string interpolation', () => {
|
|
245
|
+
test('raw string variable compiles', () => {
|
|
246
|
+
expect(() => (0, compile_1.compile)(`
|
|
247
|
+
fn f(): int {
|
|
248
|
+
let s: string = "hello world";
|
|
249
|
+
return 0;
|
|
250
|
+
}
|
|
251
|
+
`, { namespace: 'str2' })).not.toThrow();
|
|
252
|
+
});
|
|
253
|
+
test('f-string expression compiles to MIR', () => {
|
|
254
|
+
const mod = compileMIR(`
|
|
255
|
+
fn f(n: int): void {
|
|
256
|
+
say(f"value is {n}");
|
|
257
|
+
}
|
|
258
|
+
`);
|
|
259
|
+
// f-string should produce some instructions in the function
|
|
260
|
+
expect(mod.functions.length).toBeGreaterThan(0);
|
|
261
|
+
});
|
|
262
|
+
});
|
|
263
|
+
// ── multiple return values / void return ───────────────────────────────────
|
|
264
|
+
describe('MIR lower — return variants', () => {
|
|
265
|
+
test('void function with no return stmt compiles', () => {
|
|
266
|
+
const mod = compileMIR(`
|
|
267
|
+
fn f(): void {
|
|
268
|
+
raw("say nothing");
|
|
269
|
+
}
|
|
270
|
+
`);
|
|
271
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
272
|
+
const fn = mod.functions[0];
|
|
273
|
+
// Last term should be return with null
|
|
274
|
+
const lastBlock = fn.blocks[fn.blocks.length - 1];
|
|
275
|
+
expect(lastBlock.term.kind).toBe('return');
|
|
276
|
+
});
|
|
277
|
+
test('early return in conditional compiles', () => {
|
|
278
|
+
const mod = compileMIR(`
|
|
279
|
+
fn f(n: int): int {
|
|
280
|
+
if (n < 0) { return -1; }
|
|
281
|
+
if (n == 0) { return 0; }
|
|
282
|
+
return 1;
|
|
283
|
+
}
|
|
284
|
+
`);
|
|
285
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
286
|
+
expect(mod.functions[0].blocks.length).toBeGreaterThan(2);
|
|
287
|
+
});
|
|
288
|
+
});
|
|
289
|
+
// ── const val as fn param ──────────────────────────────────────────────────
|
|
290
|
+
describe('MIR lower — constant propagation', () => {
|
|
291
|
+
test('boolean literal true compiles to const 1 in MIR return', () => {
|
|
292
|
+
const mod = compileMIR(`
|
|
293
|
+
fn f(): bool {
|
|
294
|
+
return true;
|
|
295
|
+
}
|
|
296
|
+
`);
|
|
297
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
298
|
+
const fn = mod.functions[0];
|
|
299
|
+
// return should carry const value 1
|
|
300
|
+
const retBlock = fn.blocks[0];
|
|
301
|
+
const retTerm = retBlock.term;
|
|
302
|
+
expect(retTerm.kind).toBe('return');
|
|
303
|
+
// value should be const 1
|
|
304
|
+
if (retTerm.kind === 'return' && retTerm.value) {
|
|
305
|
+
expect(retTerm.value).toEqual({ kind: 'const', value: 1 });
|
|
306
|
+
}
|
|
307
|
+
});
|
|
308
|
+
test('negative literal compiles via unary minus', () => {
|
|
309
|
+
const mod = compileMIR(`
|
|
310
|
+
fn f(): int {
|
|
311
|
+
return -5;
|
|
312
|
+
}
|
|
313
|
+
`);
|
|
314
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
315
|
+
});
|
|
316
|
+
});
|
|
317
|
+
//# sourceMappingURL=lower-extra2.test.js.map
|