redscript-mc 1.2.30 → 2.1.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/.claudeignore +21 -0
- package/.github/workflows/ci.yml +1 -0
- package/README.md +12 -16
- package/README.zh.md +2 -2
- package/demo.gif +0 -0
- package/dist/cli.js +2 -554
- package/dist/compile.js +2 -266
- package/dist/index.js +2 -159
- package/dist/src/__tests__/budget.test.js +261 -0
- package/dist/src/__tests__/cli.test.js +104 -0
- package/dist/{__tests__ → src/__tests__}/dce.test.js +11 -47
- package/dist/{__tests__ → src/__tests__}/diagnostics.test.js +67 -40
- package/dist/src/__tests__/e2e/basic.test.d.ts +8 -0
- package/dist/src/__tests__/e2e/basic.test.js +140 -0
- package/dist/src/__tests__/e2e/coroutine.test.d.ts +7 -0
- package/dist/src/__tests__/e2e/coroutine.test.js +132 -0
- package/dist/src/__tests__/e2e/macros.test.d.ts +9 -0
- package/dist/src/__tests__/e2e/macros.test.js +182 -0
- package/dist/src/__tests__/e2e/migrate.test.d.ts +13 -0
- package/dist/src/__tests__/e2e/migrate.test.js +2739 -0
- package/dist/src/__tests__/e2e/stdlib-e2e.test.d.ts +10 -0
- package/dist/src/__tests__/e2e/stdlib-e2e.test.js +324 -0
- package/dist/src/__tests__/enum.test.d.ts +10 -0
- package/dist/src/__tests__/enum.test.js +389 -0
- package/dist/src/__tests__/generics.test.d.ts +14 -0
- package/dist/src/__tests__/generics.test.js +367 -0
- package/dist/src/__tests__/hir/desugar.test.js +234 -0
- package/dist/src/__tests__/incremental.test.d.ts +5 -0
- package/dist/src/__tests__/incremental.test.js +308 -0
- package/dist/src/__tests__/lir/lower.test.js +559 -0
- package/dist/src/__tests__/lir/types.test.js +185 -0
- package/dist/src/__tests__/lir/verify.test.js +221 -0
- package/dist/src/__tests__/lsp.test.d.ts +7 -0
- package/dist/src/__tests__/lsp.test.js +245 -0
- package/dist/{__tests__ → src/__tests__}/mc-integration.test.js +1 -3
- package/dist/src/__tests__/mc-version.test.d.ts +10 -0
- package/dist/src/__tests__/mc-version.test.js +154 -0
- package/dist/src/__tests__/mir/arithmetic.test.js +130 -0
- package/dist/src/__tests__/mir/control-flow.test.js +205 -0
- package/dist/src/__tests__/mir/verify.test.js +223 -0
- package/dist/src/__tests__/modules.test.d.ts +7 -0
- package/dist/src/__tests__/modules.test.js +333 -0
- package/dist/src/__tests__/optimizer/block_merge.test.js +78 -0
- package/dist/src/__tests__/optimizer/branch_simplify.test.js +58 -0
- package/dist/src/__tests__/optimizer/constant_fold.test.js +131 -0
- package/dist/src/__tests__/optimizer/copy_prop.test.js +91 -0
- package/dist/src/__tests__/optimizer/coroutine.test.d.ts +12 -0
- package/dist/src/__tests__/optimizer/coroutine.test.js +251 -0
- package/dist/src/__tests__/optimizer/dce.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/dce.test.js +76 -0
- package/dist/src/__tests__/optimizer/interprocedural.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/interprocedural.test.js +145 -0
- package/dist/src/__tests__/optimizer/lir/const_imm.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/lir/const_imm.test.js +138 -0
- package/dist/src/__tests__/optimizer/lir/dead_slot.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/lir/dead_slot.test.js +141 -0
- package/dist/src/__tests__/optimizer/lir/peephole.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/lir/peephole.test.js +126 -0
- package/dist/src/__tests__/optimizer/lir/pipeline.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/lir/pipeline.test.js +84 -0
- package/dist/src/__tests__/optimizer/nbt-batch.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/nbt-batch.test.js +110 -0
- package/dist/src/__tests__/optimizer/pipeline.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/pipeline.test.js +102 -0
- package/dist/src/__tests__/optimizer/selector-cache.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/selector-cache.test.js +103 -0
- package/dist/src/__tests__/optimizer/unroll.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/unroll.test.js +206 -0
- package/dist/src/__tests__/option.test.d.ts +14 -0
- package/dist/src/__tests__/option.test.js +275 -0
- package/dist/src/__tests__/parser.test.d.ts +1 -0
- package/dist/src/__tests__/repl.test.d.ts +1 -0
- package/dist/src/__tests__/schedule.test.d.ts +7 -0
- package/dist/src/__tests__/schedule.test.js +98 -0
- package/dist/src/__tests__/sourcemap.test.d.ts +7 -0
- package/dist/src/__tests__/sourcemap.test.js +227 -0
- package/dist/src/__tests__/tuple.test.d.ts +11 -0
- package/dist/src/__tests__/tuple.test.js +202 -0
- package/dist/src/__tests__/typechecker-strict.test.d.ts +10 -0
- package/dist/src/__tests__/typechecker-strict.test.js +197 -0
- package/dist/src/__tests__/typechecker.test.d.ts +1 -0
- package/dist/{ast → src/ast}/types.d.ts +58 -3
- package/dist/src/cache/deps.d.ts +41 -0
- package/dist/src/cache/deps.js +158 -0
- package/dist/src/cache/incremental.d.ts +35 -0
- package/dist/src/cache/incremental.js +165 -0
- package/dist/src/cache/index.d.ts +37 -0
- package/dist/src/cache/index.js +152 -0
- package/dist/{cli.d.ts → src/cli.d.ts} +1 -1
- package/dist/src/cli.js +474 -0
- package/dist/src/compile.d.ts +37 -0
- package/dist/src/compile.js +165 -0
- package/dist/{diagnostics → src/diagnostics}/index.d.ts +1 -1
- package/dist/{diagnostics → src/diagnostics}/index.js +8 -11
- package/dist/src/emit/compile.d.ts +29 -0
- package/dist/src/emit/compile.js +143 -0
- package/dist/src/emit/index.d.ts +26 -0
- package/dist/src/emit/index.js +223 -0
- package/dist/src/emit/modules.d.ts +29 -0
- package/dist/src/emit/modules.js +492 -0
- package/dist/src/emit/sourcemap.d.ts +53 -0
- package/dist/src/emit/sourcemap.js +73 -0
- package/dist/src/hir/lower.d.ts +15 -0
- package/dist/src/hir/lower.js +399 -0
- package/dist/src/hir/monomorphize.d.ts +22 -0
- package/dist/src/hir/monomorphize.js +379 -0
- package/dist/src/hir/types.d.ts +406 -0
- package/dist/src/hir/types.js +16 -0
- package/dist/src/index.d.ts +39 -0
- package/dist/src/index.js +67 -0
- package/dist/{lexer → src/lexer}/index.d.ts +1 -1
- package/dist/{lexer → src/lexer}/index.js +1 -0
- package/dist/src/lir/budget.d.ts +37 -0
- package/dist/src/lir/budget.js +280 -0
- package/dist/src/lir/lower.d.ts +15 -0
- package/dist/src/lir/lower.js +472 -0
- package/dist/src/lir/types.d.ts +139 -0
- package/dist/src/lir/types.js +11 -0
- package/dist/src/lir/verify.d.ts +14 -0
- package/dist/src/lir/verify.js +113 -0
- package/dist/src/lsp/main.d.ts +8 -0
- package/dist/src/lsp/main.js +11 -0
- package/dist/src/lsp/server.d.ts +11 -0
- package/dist/src/lsp/server.js +352 -0
- package/dist/{mc-test → src/mc-test}/runner.js +4 -3
- package/dist/src/mir/lower.d.ts +9 -0
- package/dist/src/mir/lower.js +1264 -0
- package/dist/src/mir/macro.d.ts +22 -0
- package/dist/src/mir/macro.js +168 -0
- package/dist/src/mir/types.d.ts +191 -0
- package/dist/src/mir/types.js +11 -0
- package/dist/src/mir/verify.d.ts +16 -0
- package/dist/src/mir/verify.js +216 -0
- package/dist/src/optimizer/block_merge.d.ts +12 -0
- package/dist/src/optimizer/block_merge.js +84 -0
- package/dist/src/optimizer/branch_simplify.d.ts +9 -0
- package/dist/src/optimizer/branch_simplify.js +28 -0
- package/dist/src/optimizer/constant_fold.d.ts +10 -0
- package/dist/src/optimizer/constant_fold.js +85 -0
- package/dist/src/optimizer/copy_prop.d.ts +9 -0
- package/dist/src/optimizer/copy_prop.js +113 -0
- package/dist/src/optimizer/coroutine.d.ts +34 -0
- package/dist/src/optimizer/coroutine.js +789 -0
- package/dist/src/optimizer/dce.d.ts +8 -0
- package/dist/src/optimizer/dce.js +156 -0
- package/dist/src/optimizer/interprocedural.d.ts +14 -0
- package/dist/src/optimizer/interprocedural.js +186 -0
- package/dist/src/optimizer/lir/const_imm.d.ts +12 -0
- package/dist/src/optimizer/lir/const_imm.js +139 -0
- package/dist/src/optimizer/lir/dead_slot.d.ts +14 -0
- package/dist/src/optimizer/lir/dead_slot.js +130 -0
- package/dist/src/optimizer/lir/peephole.d.ts +21 -0
- package/dist/src/optimizer/lir/peephole.js +52 -0
- package/dist/src/optimizer/lir/pipeline.d.ts +10 -0
- package/dist/src/optimizer/lir/pipeline.js +34 -0
- package/dist/src/optimizer/nbt-batch.d.ts +11 -0
- package/dist/src/optimizer/nbt-batch.js +51 -0
- package/dist/src/optimizer/pipeline.d.ts +14 -0
- package/dist/src/optimizer/pipeline.js +58 -0
- package/dist/src/optimizer/selector-cache.d.ts +22 -0
- package/dist/src/optimizer/selector-cache.js +100 -0
- package/dist/src/optimizer/unroll.d.ts +32 -0
- package/dist/src/optimizer/unroll.js +348 -0
- package/dist/{parser → src/parser}/index.d.ts +8 -0
- package/dist/{parser → src/parser}/index.js +204 -14
- package/dist/{repl.d.ts → src/repl.d.ts} +1 -1
- package/dist/{runtime → src/runtime}/index.js +1 -1
- package/dist/{typechecker → src/typechecker}/index.d.ts +4 -0
- package/dist/{typechecker → src/typechecker}/index.js +198 -13
- package/dist/src/types/mc-version.d.ts +24 -0
- package/dist/src/types/mc-version.js +49 -0
- package/docs/ROADMAP.md +395 -0
- package/docs/compiler-pipeline-redesign.md +2260 -0
- package/docs/optimization-ideas.md +1076 -0
- package/editors/vscode/out/extension.js +25176 -8000
- package/editors/vscode/package-lock.json +90 -6
- package/editors/vscode/package.json +3 -2
- package/editors/vscode/src/extension.ts +97 -67
- package/examples/showcase.mcrs +3 -3
- package/package.json +13 -6
- package/scripts/postbuild.js +15 -0
- package/src/__tests__/budget.test.ts +297 -0
- package/src/__tests__/cli.test.ts +8 -220
- package/src/__tests__/dce.test.ts +11 -56
- package/src/__tests__/diagnostics.test.ts +61 -41
- package/src/__tests__/e2e/basic.test.ts +154 -0
- package/src/__tests__/e2e/coroutine.test.ts +142 -0
- package/src/__tests__/e2e/macros.test.ts +199 -0
- package/src/__tests__/e2e/migrate.test.ts +3008 -0
- package/src/__tests__/e2e/stdlib-e2e.test.ts +348 -0
- package/src/__tests__/enum.test.ts +425 -0
- package/src/__tests__/generics.test.ts +390 -0
- package/src/__tests__/hir/desugar.test.ts +263 -0
- package/src/__tests__/incremental.test.ts +337 -0
- package/src/__tests__/lir/lower.test.ts +619 -0
- package/src/__tests__/lir/types.test.ts +207 -0
- package/src/__tests__/lir/verify.test.ts +249 -0
- package/src/__tests__/lsp.test.ts +270 -0
- package/src/__tests__/mc-integration.test.ts +1 -2
- package/src/__tests__/mc-version.test.ts +178 -0
- package/src/__tests__/mir/arithmetic.test.ts +156 -0
- package/src/__tests__/mir/control-flow.test.ts +242 -0
- package/src/__tests__/mir/verify.test.ts +254 -0
- package/src/__tests__/modules.test.ts +365 -0
- package/src/__tests__/optimizer/block_merge.test.ts +84 -0
- package/src/__tests__/optimizer/branch_simplify.test.ts +64 -0
- package/src/__tests__/optimizer/constant_fold.test.ts +145 -0
- package/src/__tests__/optimizer/copy_prop.test.ts +99 -0
- package/src/__tests__/optimizer/coroutine.test.ts +312 -0
- package/src/__tests__/optimizer/dce.test.ts +83 -0
- package/src/__tests__/optimizer/interprocedural.test.ts +174 -0
- package/src/__tests__/optimizer/lir/const_imm.test.ts +151 -0
- package/src/__tests__/optimizer/lir/dead_slot.test.ts +156 -0
- package/src/__tests__/optimizer/lir/peephole.test.ts +136 -0
- package/src/__tests__/optimizer/lir/pipeline.test.ts +113 -0
- package/src/__tests__/optimizer/nbt-batch.test.ts +119 -0
- package/src/__tests__/optimizer/pipeline.test.ts +116 -0
- package/src/__tests__/optimizer/selector-cache.test.ts +112 -0
- package/src/__tests__/optimizer/unroll.test.ts +231 -0
- package/src/__tests__/option.test.ts +299 -0
- package/src/__tests__/schedule.test.ts +105 -0
- package/src/__tests__/sourcemap.test.ts +254 -0
- package/src/__tests__/tuple.test.ts +220 -0
- package/src/__tests__/typechecker-strict.test.ts +216 -0
- package/src/ast/types.ts +39 -3
- package/src/cache/deps.ts +132 -0
- package/src/cache/incremental.ts +173 -0
- package/src/cache/index.ts +135 -0
- package/src/cli.ts +111 -195
- package/src/compile.ts +6 -162
- package/src/diagnostics/index.ts +8 -11
- package/src/emit/compile.ts +177 -0
- package/src/emit/index.ts +286 -0
- package/src/emit/modules.ts +581 -0
- package/src/emit/sourcemap.ts +101 -0
- package/src/hir/lower.ts +455 -0
- package/src/hir/monomorphize.ts +416 -0
- package/src/hir/types.ts +228 -0
- package/src/index.ts +37 -182
- package/src/lexer/index.ts +2 -1
- package/src/lir/budget.ts +321 -0
- package/src/lir/lower.ts +587 -0
- package/src/lir/types.ts +113 -0
- package/src/lir/verify.ts +129 -0
- package/src/lsp/main.ts +9 -0
- package/src/lsp/server.ts +414 -0
- package/src/mc-test/runner.ts +4 -3
- package/src/mir/lower.ts +1403 -0
- package/src/mir/macro.ts +167 -0
- package/src/mir/types.ts +117 -0
- package/src/mir/verify.ts +218 -0
- package/src/optimizer/block_merge.ts +93 -0
- package/src/optimizer/branch_simplify.ts +27 -0
- package/src/optimizer/constant_fold.ts +88 -0
- package/src/optimizer/copy_prop.ts +106 -0
- package/src/optimizer/coroutine.ts +996 -0
- package/src/optimizer/dce.ts +108 -653
- package/src/optimizer/interprocedural.ts +177 -0
- package/src/optimizer/lir/const_imm.ts +143 -0
- package/src/optimizer/lir/dead_slot.ts +123 -0
- package/src/optimizer/lir/peephole.ts +57 -0
- package/src/optimizer/lir/pipeline.ts +37 -0
- package/src/optimizer/nbt-batch.ts +50 -0
- package/src/optimizer/pipeline.ts +59 -0
- package/src/optimizer/selector-cache.ts +103 -0
- package/src/optimizer/unroll.ts +386 -0
- package/src/parser/index.ts +213 -16
- package/src/repl.ts +1 -1
- package/src/runtime/index.ts +1 -1
- package/src/stdlib/math.mcrs +4 -4
- package/src/templates/quest.mcrs +4 -4
- package/src/typechecker/index.ts +215 -15
- package/src/types/mc-version.ts +46 -0
- package/tsconfig.json +1 -1
- package/dist/__tests__/cli.test.js +0 -278
- package/dist/__tests__/codegen.test.js +0 -152
- package/dist/__tests__/e2e.test.d.ts +0 -6
- package/dist/__tests__/e2e.test.js +0 -1847
- package/dist/__tests__/entity-types.test.js +0 -203
- package/dist/__tests__/lowering.test.js +0 -1015
- package/dist/__tests__/macro.test.d.ts +0 -8
- package/dist/__tests__/macro.test.js +0 -305
- package/dist/__tests__/nbt.test.js +0 -82
- package/dist/__tests__/optimizer-advanced.test.js +0 -124
- package/dist/__tests__/optimizer.test.js +0 -149
- package/dist/__tests__/runtime.test.js +0 -289
- package/dist/__tests__/stdlib-advanced.test.d.ts +0 -4
- package/dist/__tests__/stdlib-advanced.test.js +0 -378
- package/dist/__tests__/stdlib-bigint.test.d.ts +0 -7
- package/dist/__tests__/stdlib-bigint.test.js +0 -428
- package/dist/__tests__/stdlib-math.test.d.ts +0 -7
- package/dist/__tests__/stdlib-math.test.js +0 -352
- package/dist/__tests__/stdlib-vec.test.d.ts +0 -4
- package/dist/__tests__/stdlib-vec.test.js +0 -264
- package/dist/__tests__/structure-optimizer.test.js +0 -33
- package/dist/__tests__/var-allocator.test.js +0 -69
- package/dist/codegen/cmdblock/index.d.ts +0 -26
- package/dist/codegen/cmdblock/index.js +0 -45
- package/dist/codegen/mcfunction/index.d.ts +0 -40
- package/dist/codegen/mcfunction/index.js +0 -606
- package/dist/codegen/structure/index.d.ts +0 -24
- package/dist/codegen/structure/index.js +0 -279
- package/dist/codegen/var-allocator.d.ts +0 -45
- package/dist/codegen/var-allocator.js +0 -104
- package/dist/compile.d.ts +0 -68
- package/dist/data/arena/function/__load.mcfunction +0 -6
- package/dist/data/arena/function/__tick.mcfunction +0 -2
- package/dist/data/arena/function/announce_leaders/else_1.mcfunction +0 -3
- package/dist/data/arena/function/announce_leaders/foreach_0/merge_2.mcfunction +0 -1
- package/dist/data/arena/function/announce_leaders/foreach_0/then_0.mcfunction +0 -3
- package/dist/data/arena/function/announce_leaders/foreach_0.mcfunction +0 -7
- package/dist/data/arena/function/announce_leaders/foreach_1/merge_2.mcfunction +0 -1
- package/dist/data/arena/function/announce_leaders/foreach_1/then_0.mcfunction +0 -4
- package/dist/data/arena/function/announce_leaders/foreach_1.mcfunction +0 -6
- package/dist/data/arena/function/announce_leaders/merge_2.mcfunction +0 -1
- package/dist/data/arena/function/announce_leaders/then_0.mcfunction +0 -4
- package/dist/data/arena/function/announce_leaders.mcfunction +0 -6
- package/dist/data/arena/function/arena_tick/merge_2.mcfunction +0 -1
- package/dist/data/arena/function/arena_tick/then_0.mcfunction +0 -4
- package/dist/data/arena/function/arena_tick.mcfunction +0 -11
- package/dist/data/counter/function/__load.mcfunction +0 -5
- package/dist/data/counter/function/__tick.mcfunction +0 -2
- package/dist/data/counter/function/counter_tick/merge_2.mcfunction +0 -1
- package/dist/data/counter/function/counter_tick/then_0.mcfunction +0 -3
- package/dist/data/counter/function/counter_tick.mcfunction +0 -11
- package/dist/data/gcd2/function/__load.mcfunction +0 -3
- package/dist/data/gcd2/function/abs/merge_2.mcfunction +0 -3
- package/dist/data/gcd2/function/abs/then_0.mcfunction +0 -5
- package/dist/data/gcd2/function/abs.mcfunction +0 -7
- package/dist/data/gcd2/function/gcd/loop_body_1.mcfunction +0 -7
- package/dist/data/gcd2/function/gcd/loop_check_0.mcfunction +0 -5
- package/dist/data/gcd2/function/gcd/loop_exit_2.mcfunction +0 -3
- package/dist/data/gcd2/function/gcd.mcfunction +0 -14
- package/dist/data/gcd3/function/__load.mcfunction +0 -3
- package/dist/data/gcd3/function/abs/merge_2.mcfunction +0 -3
- package/dist/data/gcd3/function/abs/then_0.mcfunction +0 -5
- package/dist/data/gcd3/function/abs.mcfunction +0 -7
- package/dist/data/gcd3/function/gcd/loop_body_1.mcfunction +0 -7
- package/dist/data/gcd3/function/gcd/loop_check_0.mcfunction +0 -5
- package/dist/data/gcd3/function/gcd/loop_exit_2.mcfunction +0 -3
- package/dist/data/gcd3/function/gcd.mcfunction +0 -14
- package/dist/data/gcd3/function/test.mcfunction +0 -7
- package/dist/data/gcd3nm/function/__load.mcfunction +0 -3
- package/dist/data/gcd3nm/function/abs/merge_2.mcfunction +0 -3
- package/dist/data/gcd3nm/function/abs/then_0.mcfunction +0 -5
- package/dist/data/gcd3nm/function/abs.mcfunction +0 -7
- package/dist/data/gcd3nm/function/gcd/loop_body_1.mcfunction +0 -7
- package/dist/data/gcd3nm/function/gcd/loop_check_0.mcfunction +0 -5
- package/dist/data/gcd3nm/function/gcd/loop_exit_2.mcfunction +0 -3
- package/dist/data/gcd3nm/function/gcd.mcfunction +0 -14
- package/dist/data/gcd3nm/function/test.mcfunction +0 -7
- package/dist/data/gcd_test/function/__load.mcfunction +0 -3
- package/dist/data/gcd_test/function/abs/merge_2.mcfunction +0 -3
- package/dist/data/gcd_test/function/abs/then_0.mcfunction +0 -5
- package/dist/data/gcd_test/function/abs.mcfunction +0 -7
- package/dist/data/gcd_test/function/gcd/loop_body_1.mcfunction +0 -7
- package/dist/data/gcd_test/function/gcd/loop_check_0.mcfunction +0 -5
- package/dist/data/gcd_test/function/gcd/loop_exit_2.mcfunction +0 -3
- package/dist/data/gcd_test/function/gcd.mcfunction +0 -14
- package/dist/data/isqrttest/function/__load.mcfunction +0 -6
- package/dist/data/isqrttest/function/isqrt/loop_body_4.mcfunction +0 -12
- package/dist/data/isqrttest/function/isqrt/loop_check_3.mcfunction +0 -5
- package/dist/data/isqrttest/function/isqrt/loop_exit_5.mcfunction +0 -3
- package/dist/data/isqrttest/function/isqrt/merge_2.mcfunction +0 -4
- package/dist/data/isqrttest/function/isqrt/merge_8.mcfunction +0 -6
- package/dist/data/isqrttest/function/isqrt/then_0.mcfunction +0 -3
- package/dist/data/isqrttest/function/isqrt/then_6.mcfunction +0 -3
- package/dist/data/isqrttest/function/isqrt.mcfunction +0 -7
- package/dist/data/isqrttest/function/test.mcfunction +0 -6
- package/dist/data/mathtest/function/__load.mcfunction +0 -3
- package/dist/data/mathtest/function/abs/merge_2.mcfunction +0 -3
- package/dist/data/mathtest/function/abs/then_0.mcfunction +0 -5
- package/dist/data/mathtest/function/abs.mcfunction +0 -6
- package/dist/data/mathtest/function/test.mcfunction +0 -5
- package/dist/data/minecraft/tags/function/load.json +0 -5
- package/dist/data/minecraft/tags/function/tick.json +0 -5
- package/dist/data/mypack/function/__load.mcfunction +0 -13
- package/dist/data/mypack/function/_atan_init.mcfunction +0 -2
- package/dist/data/mypack/function/abs/merge_2.mcfunction +0 -3
- package/dist/data/mypack/function/abs/then_0.mcfunction +0 -5
- package/dist/data/mypack/function/abs.mcfunction +0 -6
- package/dist/data/mypack/function/atan2_fixed/__sgi_1.mcfunction +0 -2
- package/dist/data/mypack/function/atan2_fixed/else_34.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/loop_body_31.mcfunction +0 -19
- package/dist/data/mypack/function/atan2_fixed/loop_check_30.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/loop_exit_32.mcfunction +0 -6
- package/dist/data/mypack/function/atan2_fixed/merge_11.mcfunction +0 -6
- package/dist/data/mypack/function/atan2_fixed/merge_14.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/merge_17.mcfunction +0 -6
- package/dist/data/mypack/function/atan2_fixed/merge_2.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_20.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_23.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_26.mcfunction +0 -6
- package/dist/data/mypack/function/atan2_fixed/merge_29.mcfunction +0 -4
- package/dist/data/mypack/function/atan2_fixed/merge_38.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_41.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_44.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_47.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_5.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/merge_8.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/then_0.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/then_12.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/then_15.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/then_18.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/then_21.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/then_24.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/then_27.mcfunction +0 -6
- package/dist/data/mypack/function/atan2_fixed/then_3.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/then_33.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/then_36.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/then_39.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/then_42.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/then_45.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed/then_6.mcfunction +0 -3
- package/dist/data/mypack/function/atan2_fixed/then_9.mcfunction +0 -5
- package/dist/data/mypack/function/atan2_fixed.mcfunction +0 -7
- package/dist/data/mypack/function/my_game.mcfunction +0 -10
- package/dist/data/quiz/function/__load.mcfunction +0 -16
- package/dist/data/quiz/function/__tick.mcfunction +0 -6
- package/dist/data/quiz/function/__trigger_quiz_a_dispatch.mcfunction +0 -4
- package/dist/data/quiz/function/__trigger_quiz_b_dispatch.mcfunction +0 -4
- package/dist/data/quiz/function/__trigger_quiz_c_dispatch.mcfunction +0 -4
- package/dist/data/quiz/function/__trigger_quiz_start_dispatch.mcfunction +0 -4
- package/dist/data/quiz/function/answer_a.mcfunction +0 -4
- package/dist/data/quiz/function/answer_b.mcfunction +0 -4
- package/dist/data/quiz/function/answer_c.mcfunction +0 -4
- package/dist/data/quiz/function/ask_question/else_1.mcfunction +0 -5
- package/dist/data/quiz/function/ask_question/else_4.mcfunction +0 -5
- package/dist/data/quiz/function/ask_question/else_7.mcfunction +0 -4
- package/dist/data/quiz/function/ask_question/merge_2.mcfunction +0 -1
- package/dist/data/quiz/function/ask_question/merge_5.mcfunction +0 -2
- package/dist/data/quiz/function/ask_question/merge_8.mcfunction +0 -2
- package/dist/data/quiz/function/ask_question/then_0.mcfunction +0 -4
- package/dist/data/quiz/function/ask_question/then_3.mcfunction +0 -4
- package/dist/data/quiz/function/ask_question/then_6.mcfunction +0 -4
- package/dist/data/quiz/function/ask_question.mcfunction +0 -7
- package/dist/data/quiz/function/finish_quiz.mcfunction +0 -6
- package/dist/data/quiz/function/handle_answer/else_1.mcfunction +0 -5
- package/dist/data/quiz/function/handle_answer/else_10.mcfunction +0 -3
- package/dist/data/quiz/function/handle_answer/else_16.mcfunction +0 -3
- package/dist/data/quiz/function/handle_answer/else_4.mcfunction +0 -3
- package/dist/data/quiz/function/handle_answer/else_7.mcfunction +0 -5
- package/dist/data/quiz/function/handle_answer/merge_11.mcfunction +0 -2
- package/dist/data/quiz/function/handle_answer/merge_14.mcfunction +0 -2
- package/dist/data/quiz/function/handle_answer/merge_17.mcfunction +0 -2
- package/dist/data/quiz/function/handle_answer/merge_2.mcfunction +0 -8
- package/dist/data/quiz/function/handle_answer/merge_5.mcfunction +0 -2
- package/dist/data/quiz/function/handle_answer/merge_8.mcfunction +0 -2
- package/dist/data/quiz/function/handle_answer/then_0.mcfunction +0 -5
- package/dist/data/quiz/function/handle_answer/then_12.mcfunction +0 -5
- package/dist/data/quiz/function/handle_answer/then_15.mcfunction +0 -6
- package/dist/data/quiz/function/handle_answer/then_3.mcfunction +0 -6
- package/dist/data/quiz/function/handle_answer/then_6.mcfunction +0 -5
- package/dist/data/quiz/function/handle_answer/then_9.mcfunction +0 -6
- package/dist/data/quiz/function/handle_answer.mcfunction +0 -11
- package/dist/data/quiz/function/start_quiz.mcfunction +0 -5
- package/dist/data/reqtest/function/__load.mcfunction +0 -4
- package/dist/data/reqtest/function/_table_init.mcfunction +0 -2
- package/dist/data/reqtest/function/no_trig.mcfunction +0 -3
- package/dist/data/reqtest/function/use_table.mcfunction +0 -4
- package/dist/data/reqtest2/function/__load.mcfunction +0 -3
- package/dist/data/reqtest2/function/no_trig.mcfunction +0 -3
- package/dist/data/runtime/function/__load.mcfunction +0 -5
- package/dist/data/runtime/function/__tick.mcfunction +0 -2
- package/dist/data/runtime/function/counter_tick/then_0.mcfunction +0 -3
- package/dist/data/runtime/function/counter_tick.mcfunction +0 -13
- package/dist/data/shop/function/__load.mcfunction +0 -7
- package/dist/data/shop/function/__tick.mcfunction +0 -3
- package/dist/data/shop/function/__trigger_shop_buy_dispatch.mcfunction +0 -4
- package/dist/data/shop/function/complete_purchase/else_1.mcfunction +0 -5
- package/dist/data/shop/function/complete_purchase/else_4.mcfunction +0 -5
- package/dist/data/shop/function/complete_purchase/else_7.mcfunction +0 -3
- package/dist/data/shop/function/complete_purchase/merge_2.mcfunction +0 -2
- package/dist/data/shop/function/complete_purchase/merge_5.mcfunction +0 -2
- package/dist/data/shop/function/complete_purchase/merge_8.mcfunction +0 -2
- package/dist/data/shop/function/complete_purchase/then_0.mcfunction +0 -4
- package/dist/data/shop/function/complete_purchase/then_3.mcfunction +0 -4
- package/dist/data/shop/function/complete_purchase/then_6.mcfunction +0 -4
- package/dist/data/shop/function/complete_purchase.mcfunction +0 -7
- package/dist/data/shop/function/handle_shop_trigger.mcfunction +0 -3
- package/dist/data/swap_test/function/__load.mcfunction +0 -3
- package/dist/data/swap_test/function/gcd_old/loop_body_1.mcfunction +0 -7
- package/dist/data/swap_test/function/gcd_old/loop_check_0.mcfunction +0 -5
- package/dist/data/swap_test/function/gcd_old/loop_exit_2.mcfunction +0 -3
- package/dist/data/swap_test/function/gcd_old.mcfunction +0 -8
- package/dist/data/turret/function/__load.mcfunction +0 -5
- package/dist/data/turret/function/__tick.mcfunction +0 -4
- package/dist/data/turret/function/__trigger_deploy_turret_dispatch.mcfunction +0 -4
- package/dist/data/turret/function/deploy_turret.mcfunction +0 -8
- package/dist/data/turret/function/turret_tick/at_1.mcfunction +0 -2
- package/dist/data/turret/function/turret_tick/foreach_0.mcfunction +0 -2
- package/dist/data/turret/function/turret_tick/foreach_2.mcfunction +0 -2
- package/dist/data/turret/function/turret_tick/tick_body.mcfunction +0 -3
- package/dist/data/turret/function/turret_tick/tick_skip.mcfunction +0 -1
- package/dist/data/turret/function/turret_tick.mcfunction +0 -5
- package/dist/gcd2.map.json +0 -15
- package/dist/gcd3.map.json +0 -17
- package/dist/gcd_test.map.json +0 -15
- package/dist/index.d.ts +0 -62
- package/dist/ir/builder.d.ts +0 -33
- package/dist/ir/builder.js +0 -99
- package/dist/ir/types.d.ts +0 -132
- package/dist/ir/types.js +0 -15
- package/dist/isqrttest.map.json +0 -15
- package/dist/lowering/index.d.ts +0 -188
- package/dist/lowering/index.js +0 -3403
- package/dist/mathtest.map.json +0 -6
- package/dist/mypack.map.json +0 -27
- package/dist/optimizer/commands.d.ts +0 -38
- package/dist/optimizer/commands.js +0 -451
- package/dist/optimizer/dce.d.ts +0 -34
- package/dist/optimizer/dce.js +0 -639
- package/dist/optimizer/passes.d.ts +0 -34
- package/dist/optimizer/passes.js +0 -243
- package/dist/optimizer/structure.d.ts +0 -9
- package/dist/optimizer/structure.js +0 -356
- package/dist/pack.mcmeta +0 -6
- package/dist/reqtest.map.json +0 -4
- package/dist/reqtest2.map.json +0 -4
- package/dist/runtime.map.json +0 -7
- package/dist/swap_test.map.json +0 -14
- package/src/__tests__/codegen.test.ts +0 -161
- package/src/__tests__/e2e.test.ts +0 -2039
- package/src/__tests__/entity-types.test.ts +0 -236
- package/src/__tests__/lowering.test.ts +0 -1185
- package/src/__tests__/macro.test.ts +0 -343
- package/src/__tests__/nbt.test.ts +0 -58
- package/src/__tests__/optimizer-advanced.test.ts +0 -144
- package/src/__tests__/optimizer.test.ts +0 -162
- package/src/__tests__/runtime.test.ts +0 -305
- package/src/__tests__/stdlib-advanced.test.ts +0 -379
- package/src/__tests__/stdlib-bigint.test.ts +0 -427
- package/src/__tests__/stdlib-math.test.ts +0 -374
- package/src/__tests__/stdlib-vec.test.ts +0 -259
- package/src/__tests__/structure-optimizer.test.ts +0 -38
- package/src/__tests__/var-allocator.test.ts +0 -75
- package/src/codegen/cmdblock/index.ts +0 -63
- package/src/codegen/mcfunction/index.ts +0 -662
- package/src/codegen/structure/index.ts +0 -346
- package/src/codegen/var-allocator.ts +0 -104
- package/src/ir/builder.ts +0 -116
- package/src/ir/types.ts +0 -134
- package/src/lowering/index.ts +0 -3876
- package/src/optimizer/commands.ts +0 -534
- package/src/optimizer/passes.ts +0 -250
- package/src/optimizer/structure.ts +0 -450
- /package/dist/{__tests__/cli.test.d.ts → src/__tests__/budget.test.d.ts} +0 -0
- /package/dist/{__tests__/codegen.test.d.ts → src/__tests__/cli.test.d.ts} +0 -0
- /package/dist/{__tests__ → src/__tests__}/compile-all.test.d.ts +0 -0
- /package/dist/{__tests__ → src/__tests__}/compile-all.test.js +0 -0
- /package/dist/{__tests__ → src/__tests__}/dce.test.d.ts +0 -0
- /package/dist/{__tests__ → src/__tests__}/diagnostics.test.d.ts +0 -0
- /package/dist/{__tests__ → src/__tests__}/formatter.test.d.ts +0 -0
- /package/dist/{__tests__ → src/__tests__}/formatter.test.js +0 -0
- /package/dist/{__tests__/entity-types.test.d.ts → src/__tests__/hir/desugar.test.d.ts} +0 -0
- /package/dist/{__tests__ → src/__tests__}/lexer.test.d.ts +0 -0
- /package/dist/{__tests__ → src/__tests__}/lexer.test.js +0 -0
- /package/dist/{__tests__/lowering.test.d.ts → src/__tests__/lir/lower.test.d.ts} +0 -0
- /package/dist/{__tests__/mc-syntax.test.d.ts → src/__tests__/lir/types.test.d.ts} +0 -0
- /package/dist/{__tests__/nbt.test.d.ts → src/__tests__/lir/verify.test.d.ts} +0 -0
- /package/dist/{__tests__ → src/__tests__}/mc-integration.test.d.ts +0 -0
- /package/dist/{__tests__/optimizer-advanced.test.d.ts → src/__tests__/mc-syntax.test.d.ts} +0 -0
- /package/dist/{__tests__ → src/__tests__}/mc-syntax.test.js +0 -0
- /package/dist/{__tests__/optimizer.test.d.ts → src/__tests__/mir/arithmetic.test.d.ts} +0 -0
- /package/dist/{__tests__/parser.test.d.ts → src/__tests__/mir/control-flow.test.d.ts} +0 -0
- /package/dist/{__tests__/repl.test.d.ts → src/__tests__/mir/verify.test.d.ts} +0 -0
- /package/dist/{__tests__/runtime.test.d.ts → src/__tests__/optimizer/block_merge.test.d.ts} +0 -0
- /package/dist/{__tests__/structure-optimizer.test.d.ts → src/__tests__/optimizer/branch_simplify.test.d.ts} +0 -0
- /package/dist/{__tests__/typechecker.test.d.ts → src/__tests__/optimizer/constant_fold.test.d.ts} +0 -0
- /package/dist/{__tests__/var-allocator.test.d.ts → src/__tests__/optimizer/copy_prop.test.d.ts} +0 -0
- /package/dist/{__tests__ → src/__tests__}/parser.test.js +0 -0
- /package/dist/{__tests__ → src/__tests__}/repl.test.js +0 -0
- /package/dist/{__tests__ → src/__tests__}/typechecker.test.js +0 -0
- /package/dist/{ast → src/ast}/types.js +0 -0
- /package/dist/{builtins → src/builtins}/metadata.d.ts +0 -0
- /package/dist/{builtins → src/builtins}/metadata.js +0 -0
- /package/dist/{events → src/events}/types.d.ts +0 -0
- /package/dist/{events → src/events}/types.js +0 -0
- /package/dist/{formatter → src/formatter}/index.d.ts +0 -0
- /package/dist/{formatter → src/formatter}/index.js +0 -0
- /package/dist/{mc-test → src/mc-test}/client.d.ts +0 -0
- /package/dist/{mc-test → src/mc-test}/client.js +0 -0
- /package/dist/{mc-test → src/mc-test}/runner.d.ts +0 -0
- /package/dist/{mc-test → src/mc-test}/setup.d.ts +0 -0
- /package/dist/{mc-test → src/mc-test}/setup.js +0 -0
- /package/dist/{mc-validator → src/mc-validator}/index.d.ts +0 -0
- /package/dist/{mc-validator → src/mc-validator}/index.js +0 -0
- /package/dist/{nbt → src/nbt}/index.d.ts +0 -0
- /package/dist/{nbt → src/nbt}/index.js +0 -0
- /package/dist/{repl.js → src/repl.js} +0 -0
- /package/dist/{runtime → src/runtime}/index.d.ts +0 -0
- /package/dist/{types → src/types}/entity-hierarchy.d.ts +0 -0
- /package/dist/{types → src/types}/entity-hierarchy.js +0 -0
|
@@ -0,0 +1,297 @@
|
|
|
1
|
+
import {
|
|
2
|
+
estimateCommandCount,
|
|
3
|
+
analyzeBudget,
|
|
4
|
+
BUDGET_WARN_THRESHOLD,
|
|
5
|
+
BUDGET_ERROR_THRESHOLD,
|
|
6
|
+
} from '../lir/budget'
|
|
7
|
+
import type { LIRModule, LIRFunction, LIRInstr, Slot } from '../lir/types'
|
|
8
|
+
import { compile } from '../emit/compile'
|
|
9
|
+
|
|
10
|
+
// ---------------------------------------------------------------------------
|
|
11
|
+
// Helpers
|
|
12
|
+
// ---------------------------------------------------------------------------
|
|
13
|
+
|
|
14
|
+
const NS = 'test'
|
|
15
|
+
const OBJ = '__test'
|
|
16
|
+
|
|
17
|
+
function slot(name: string): Slot {
|
|
18
|
+
return { player: name, obj: OBJ }
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
function mkFn(name: string, instructions: LIRInstr[]): LIRFunction {
|
|
22
|
+
return { name, instructions, isMacro: false, macroParams: [] }
|
|
23
|
+
}
|
|
24
|
+
|
|
25
|
+
function mkModule(functions: LIRFunction[]): LIRModule {
|
|
26
|
+
return { functions, namespace: NS, objective: OBJ }
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
// ---------------------------------------------------------------------------
|
|
30
|
+
// Unit tests: estimateCommandCount
|
|
31
|
+
// ---------------------------------------------------------------------------
|
|
32
|
+
|
|
33
|
+
describe('estimateCommandCount', () => {
|
|
34
|
+
test('flat function — counts each instruction as 1', () => {
|
|
35
|
+
const fn = mkFn('simple', [
|
|
36
|
+
{ kind: 'score_set', dst: slot('$x'), value: 0 },
|
|
37
|
+
{ kind: 'score_set', dst: slot('$y'), value: 1 },
|
|
38
|
+
{ kind: 'score_add', dst: slot('$x'), src: slot('$y') },
|
|
39
|
+
])
|
|
40
|
+
const mod = mkModule([fn])
|
|
41
|
+
expect(estimateCommandCount('simple', mod)).toBe(3)
|
|
42
|
+
})
|
|
43
|
+
|
|
44
|
+
test('function calling another — sums callee cost', () => {
|
|
45
|
+
const callee = mkFn('helper', [
|
|
46
|
+
{ kind: 'score_set', dst: slot('$a'), value: 42 },
|
|
47
|
+
{ kind: 'score_set', dst: slot('$b'), value: 43 },
|
|
48
|
+
])
|
|
49
|
+
const caller = mkFn('main', [
|
|
50
|
+
{ kind: 'score_set', dst: slot('$x'), value: 0 },
|
|
51
|
+
{ kind: 'call', fn: `${NS}:helper` },
|
|
52
|
+
])
|
|
53
|
+
const mod = mkModule([caller, callee])
|
|
54
|
+
// caller: 2 instrs + callee: 2 instrs = 4
|
|
55
|
+
expect(estimateCommandCount('main', mod)).toBe(4)
|
|
56
|
+
})
|
|
57
|
+
|
|
58
|
+
test('self-recursive function (loop) — multiplies by estimated iterations', () => {
|
|
59
|
+
// Simulate a loop: header checks condition, calls body, body calls header
|
|
60
|
+
const header = mkFn('loop__header', [
|
|
61
|
+
{ kind: 'call_if_matches', fn: `${NS}:loop__body`, slot: slot('$i'), range: '..99' },
|
|
62
|
+
])
|
|
63
|
+
const body = mkFn('loop__body', [
|
|
64
|
+
{ kind: 'score_add', dst: slot('$i'), src: slot('$one') },
|
|
65
|
+
{ kind: 'score_set', dst: slot('$tmp'), value: 1 },
|
|
66
|
+
{ kind: 'call', fn: `${NS}:loop__header` },
|
|
67
|
+
])
|
|
68
|
+
const mod = mkModule([header, body])
|
|
69
|
+
// Cycle: header(1) + body(3) = 4 cmds/iteration
|
|
70
|
+
// Range ..99 → 100 iterations
|
|
71
|
+
// Total: 4 × 100 = 400
|
|
72
|
+
expect(estimateCommandCount('loop__header', mod)).toBe(400)
|
|
73
|
+
})
|
|
74
|
+
|
|
75
|
+
test('unknown loop bound defaults to 100 iterations', () => {
|
|
76
|
+
const header = mkFn('loop__header', [
|
|
77
|
+
{ kind: 'call_if_score', fn: `${NS}:loop__body`, a: slot('$i'), op: 'lt', b: slot('$limit') },
|
|
78
|
+
])
|
|
79
|
+
const body = mkFn('loop__body', [
|
|
80
|
+
{ kind: 'score_add', dst: slot('$i'), src: slot('$one') },
|
|
81
|
+
{ kind: 'call', fn: `${NS}:loop__header` },
|
|
82
|
+
])
|
|
83
|
+
const mod = mkModule([header, body])
|
|
84
|
+
// Cycle: 1 + 2 = 3 cmds/iteration, 100 default iterations = 300
|
|
85
|
+
expect(estimateCommandCount('loop__header', mod)).toBe(300)
|
|
86
|
+
})
|
|
87
|
+
|
|
88
|
+
test('nested loops — outer × inner', () => {
|
|
89
|
+
// Inner loop: inner_header ↔ inner_body (5 cmds/iter, 10 iters)
|
|
90
|
+
const innerHeader = mkFn('inner__header', [
|
|
91
|
+
{ kind: 'call_if_matches', fn: `${NS}:inner__body`, slot: slot('$j'), range: '..9' },
|
|
92
|
+
])
|
|
93
|
+
const innerBody = mkFn('inner__body', [
|
|
94
|
+
{ kind: 'score_set', dst: slot('$a'), value: 1 },
|
|
95
|
+
{ kind: 'score_set', dst: slot('$b'), value: 2 },
|
|
96
|
+
{ kind: 'score_add', dst: slot('$j'), src: slot('$one') },
|
|
97
|
+
{ kind: 'call', fn: `${NS}:inner__header` },
|
|
98
|
+
])
|
|
99
|
+
|
|
100
|
+
// Outer loop: outer_header ↔ outer_body (calls inner loop + own work)
|
|
101
|
+
const outerHeader = mkFn('outer__header', [
|
|
102
|
+
{ kind: 'call_if_matches', fn: `${NS}:outer__body`, slot: slot('$i'), range: '..19' },
|
|
103
|
+
])
|
|
104
|
+
const outerBody = mkFn('outer__body', [
|
|
105
|
+
{ kind: 'score_set', dst: slot('$j'), value: 0 },
|
|
106
|
+
{ kind: 'call', fn: `${NS}:inner__header` },
|
|
107
|
+
{ kind: 'score_add', dst: slot('$i'), src: slot('$one') },
|
|
108
|
+
{ kind: 'call', fn: `${NS}:outer__header` },
|
|
109
|
+
])
|
|
110
|
+
|
|
111
|
+
const mod = mkModule([innerHeader, innerBody, outerHeader, outerBody])
|
|
112
|
+
|
|
113
|
+
// Inner cycle: header(1) + body(4) = 5 cmds × 10 iters = 50
|
|
114
|
+
// Outer cycle local: header(1) + body(4) = 5 cmds
|
|
115
|
+
// Outer cycle external callee: inner = 50
|
|
116
|
+
// Outer total: (5 + 50) × 20 = 1100
|
|
117
|
+
expect(estimateCommandCount('outer__header', mod)).toBe(1100)
|
|
118
|
+
})
|
|
119
|
+
|
|
120
|
+
test('external call (not in module) contributes 0', () => {
|
|
121
|
+
const fn = mkFn('main', [
|
|
122
|
+
{ kind: 'score_set', dst: slot('$x'), value: 0 },
|
|
123
|
+
{ kind: 'call', fn: 'other_ns:external_fn' },
|
|
124
|
+
])
|
|
125
|
+
const mod = mkModule([fn])
|
|
126
|
+
expect(estimateCommandCount('main', mod)).toBe(2)
|
|
127
|
+
})
|
|
128
|
+
})
|
|
129
|
+
|
|
130
|
+
// ---------------------------------------------------------------------------
|
|
131
|
+
// Unit tests: analyzeBudget
|
|
132
|
+
// ---------------------------------------------------------------------------
|
|
133
|
+
|
|
134
|
+
describe('analyzeBudget', () => {
|
|
135
|
+
test('small loop (100 iters × 5 cmds = 500) → no diagnostic', () => {
|
|
136
|
+
const header = mkFn('process', [
|
|
137
|
+
{ kind: 'call_if_matches', fn: `${NS}:process__body`, slot: slot('$i'), range: '..99' },
|
|
138
|
+
])
|
|
139
|
+
const body = mkFn('process__body', [
|
|
140
|
+
{ kind: 'score_set', dst: slot('$a'), value: 1 },
|
|
141
|
+
{ kind: 'score_set', dst: slot('$b'), value: 2 },
|
|
142
|
+
{ kind: 'score_add', dst: slot('$c'), src: slot('$a') },
|
|
143
|
+
{ kind: 'call', fn: `${NS}:process` },
|
|
144
|
+
])
|
|
145
|
+
const mod = mkModule([header, body])
|
|
146
|
+
const diags = analyzeBudget(mod)
|
|
147
|
+
expect(diags).toEqual([])
|
|
148
|
+
})
|
|
149
|
+
|
|
150
|
+
test('medium loop (1000 iters × 50 cmds = 50000) → warning', () => {
|
|
151
|
+
// Build a body with 48 instructions + 1 call back + header 1 = 50 per iter
|
|
152
|
+
const bodyInstrs: LIRInstr[] = []
|
|
153
|
+
for (let i = 0; i < 48; i++) {
|
|
154
|
+
bodyInstrs.push({ kind: 'score_set', dst: slot(`$v${i}`), value: i })
|
|
155
|
+
}
|
|
156
|
+
bodyInstrs.push({ kind: 'call', fn: `${NS}:bigloop` })
|
|
157
|
+
|
|
158
|
+
const header = mkFn('bigloop', [
|
|
159
|
+
{ kind: 'call_if_matches', fn: `${NS}:bigloop__body`, slot: slot('$i'), range: '..999' },
|
|
160
|
+
])
|
|
161
|
+
const body = mkFn('bigloop__body', bodyInstrs)
|
|
162
|
+
const mod = mkModule([header, body])
|
|
163
|
+
const diags = analyzeBudget(mod)
|
|
164
|
+
expect(diags).toHaveLength(1)
|
|
165
|
+
expect(diags[0].level).toBe('warning')
|
|
166
|
+
expect(diags[0].fnName).toBe('bigloop')
|
|
167
|
+
expect(diags[0].estimatedCommands).toBe(50000)
|
|
168
|
+
expect(diags[0].message).toContain('consider @coroutine')
|
|
169
|
+
})
|
|
170
|
+
|
|
171
|
+
test('large loop (1000 iters × 100 cmds = 100000) → error', () => {
|
|
172
|
+
const bodyInstrs: LIRInstr[] = []
|
|
173
|
+
for (let i = 0; i < 98; i++) {
|
|
174
|
+
bodyInstrs.push({ kind: 'score_set', dst: slot(`$v${i}`), value: i })
|
|
175
|
+
}
|
|
176
|
+
bodyInstrs.push({ kind: 'call', fn: `${NS}:hugeloop` })
|
|
177
|
+
|
|
178
|
+
const header = mkFn('hugeloop', [
|
|
179
|
+
{ kind: 'call_if_matches', fn: `${NS}:hugeloop__body`, slot: slot('$i'), range: '..999' },
|
|
180
|
+
])
|
|
181
|
+
const body = mkFn('hugeloop__body', bodyInstrs)
|
|
182
|
+
const mod = mkModule([header, body])
|
|
183
|
+
const diags = analyzeBudget(mod)
|
|
184
|
+
expect(diags).toHaveLength(1)
|
|
185
|
+
expect(diags[0].level).toBe('error')
|
|
186
|
+
expect(diags[0].fnName).toBe('hugeloop')
|
|
187
|
+
expect(diags[0].estimatedCommands).toBe(100000)
|
|
188
|
+
})
|
|
189
|
+
|
|
190
|
+
test('@coroutine function is skipped', () => {
|
|
191
|
+
const bodyInstrs: LIRInstr[] = []
|
|
192
|
+
for (let i = 0; i < 98; i++) {
|
|
193
|
+
bodyInstrs.push({ kind: 'score_set', dst: slot(`$v${i}`), value: i })
|
|
194
|
+
}
|
|
195
|
+
bodyInstrs.push({ kind: 'call', fn: `${NS}:bigfn` })
|
|
196
|
+
|
|
197
|
+
const header = mkFn('bigfn', [
|
|
198
|
+
{ kind: 'call_if_matches', fn: `${NS}:bigfn__body`, slot: slot('$i'), range: '..999' },
|
|
199
|
+
])
|
|
200
|
+
const body = mkFn('bigfn__body', bodyInstrs)
|
|
201
|
+
const mod = mkModule([header, body])
|
|
202
|
+
|
|
203
|
+
const diags = analyzeBudget(mod, new Set(['bigfn']))
|
|
204
|
+
expect(diags).toEqual([])
|
|
205
|
+
})
|
|
206
|
+
|
|
207
|
+
test('compiler-generated __helper functions are skipped', () => {
|
|
208
|
+
// Only top-level user functions are analyzed; __body etc are internal
|
|
209
|
+
const bodyInstrs: LIRInstr[] = []
|
|
210
|
+
for (let i = 0; i < 98; i++) {
|
|
211
|
+
bodyInstrs.push({ kind: 'score_set', dst: slot(`$v${i}`), value: i })
|
|
212
|
+
}
|
|
213
|
+
bodyInstrs.push({ kind: 'call', fn: `${NS}:fn__header` })
|
|
214
|
+
|
|
215
|
+
// Only fn__header and fn__body exist — both have __ so both skipped
|
|
216
|
+
const header = mkFn('fn__header', [
|
|
217
|
+
{ kind: 'call_if_matches', fn: `${NS}:fn__body`, slot: slot('$i'), range: '..999' },
|
|
218
|
+
])
|
|
219
|
+
const body = mkFn('fn__body', bodyInstrs)
|
|
220
|
+
const mod = mkModule([header, body])
|
|
221
|
+
const diags = analyzeBudget(mod)
|
|
222
|
+
expect(diags).toEqual([])
|
|
223
|
+
})
|
|
224
|
+
|
|
225
|
+
test('nested loop estimation is correct', () => {
|
|
226
|
+
// Inner: 5 cmds × 10 iters = 50
|
|
227
|
+
const innerHeader = mkFn('run__inner_header', [
|
|
228
|
+
{ kind: 'call_if_matches', fn: `${NS}:run__inner_body`, slot: slot('$j'), range: '..9' },
|
|
229
|
+
])
|
|
230
|
+
const innerBody = mkFn('run__inner_body', [
|
|
231
|
+
{ kind: 'score_set', dst: slot('$a'), value: 1 },
|
|
232
|
+
{ kind: 'score_set', dst: slot('$b'), value: 2 },
|
|
233
|
+
{ kind: 'score_add', dst: slot('$c'), src: slot('$a') },
|
|
234
|
+
{ kind: 'call', fn: `${NS}:run__inner_header` },
|
|
235
|
+
])
|
|
236
|
+
|
|
237
|
+
// Outer: (5 + inner=50) × 20 = 1100
|
|
238
|
+
const outerHeader = mkFn('run__outer_header', [
|
|
239
|
+
{ kind: 'call_if_matches', fn: `${NS}:run__outer_body`, slot: slot('$i'), range: '..19' },
|
|
240
|
+
])
|
|
241
|
+
const outerBody = mkFn('run__outer_body', [
|
|
242
|
+
{ kind: 'score_set', dst: slot('$j'), value: 0 },
|
|
243
|
+
{ kind: 'call', fn: `${NS}:run__inner_header` },
|
|
244
|
+
{ kind: 'score_add', dst: slot('$i'), src: slot('$one') },
|
|
245
|
+
{ kind: 'call', fn: `${NS}:run__outer_header` },
|
|
246
|
+
])
|
|
247
|
+
|
|
248
|
+
// The "root" user function that sets up the outer loop
|
|
249
|
+
const run = mkFn('run', [
|
|
250
|
+
{ kind: 'score_set', dst: slot('$i'), value: 0 },
|
|
251
|
+
{ kind: 'call', fn: `${NS}:run__outer_header` },
|
|
252
|
+
])
|
|
253
|
+
|
|
254
|
+
const mod = mkModule([run, innerHeader, innerBody, outerHeader, outerBody])
|
|
255
|
+
const estimate = estimateCommandCount('run', mod)
|
|
256
|
+
// run: 2 local + outer(1100) = 1102
|
|
257
|
+
expect(estimate).toBe(1102)
|
|
258
|
+
})
|
|
259
|
+
})
|
|
260
|
+
|
|
261
|
+
// ---------------------------------------------------------------------------
|
|
262
|
+
// E2E: compile pipeline integration
|
|
263
|
+
// ---------------------------------------------------------------------------
|
|
264
|
+
|
|
265
|
+
describe('budget analysis — compile pipeline integration', () => {
|
|
266
|
+
test('small loop produces no warning', () => {
|
|
267
|
+
const source = `
|
|
268
|
+
fn process(): void {
|
|
269
|
+
let i: int = 0;
|
|
270
|
+
while (i < 10) {
|
|
271
|
+
let x: int = i * 2;
|
|
272
|
+
i = i + 1;
|
|
273
|
+
}
|
|
274
|
+
}
|
|
275
|
+
`
|
|
276
|
+
const result = compile(source, { namespace: 'budgettest' })
|
|
277
|
+
expect(result.warnings).toEqual([])
|
|
278
|
+
})
|
|
279
|
+
|
|
280
|
+
test('@coroutine function skips budget check', () => {
|
|
281
|
+
const source = `
|
|
282
|
+
@coroutine(batch=5)
|
|
283
|
+
fn process_all(): void {
|
|
284
|
+
let i: int = 0;
|
|
285
|
+
while (i < 10000) {
|
|
286
|
+
let x: int = i * 2;
|
|
287
|
+
i = i + 1;
|
|
288
|
+
}
|
|
289
|
+
}
|
|
290
|
+
`
|
|
291
|
+
// Should not throw even with huge loop — @coroutine exempts it
|
|
292
|
+
const result = compile(source, { namespace: 'budgettest' })
|
|
293
|
+
// No budget error/warning for coroutine functions
|
|
294
|
+
const budgetWarnings = result.warnings.filter(w => w.includes('tick budget'))
|
|
295
|
+
expect(budgetWarnings).toEqual([])
|
|
296
|
+
})
|
|
297
|
+
})
|
|
@@ -20,8 +20,9 @@ describe('CLI API', () => {
|
|
|
20
20
|
const result = compile(source, { namespace: 'imports', filePath: mainPath })
|
|
21
21
|
|
|
22
22
|
expect(result.files.length).toBeGreaterThan(0)
|
|
23
|
-
|
|
24
|
-
expect(result.
|
|
23
|
+
// Verify both functions are compiled by checking output files
|
|
24
|
+
expect(result.files.some(f => f.path.includes('/double.mcfunction'))).toBe(true)
|
|
25
|
+
expect(result.files.some(f => f.path.includes('/main.mcfunction'))).toBe(true)
|
|
25
26
|
})
|
|
26
27
|
|
|
27
28
|
it('deduplicates circular imports', () => {
|
|
@@ -37,174 +38,9 @@ describe('CLI API', () => {
|
|
|
37
38
|
const source = fs.readFileSync(mainPath, 'utf-8')
|
|
38
39
|
const result = compile(source, { namespace: 'circular', filePath: mainPath })
|
|
39
40
|
|
|
40
|
-
|
|
41
|
-
expect(result.
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
it('uses rs-prefixed scoreboard objectives for imported stdlib files', () => {
|
|
45
|
-
const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-stdlib-'))
|
|
46
|
-
const stdlibDir = path.join(tempDir, 'src', 'stdlib')
|
|
47
|
-
const stdlibPath = path.join(stdlibDir, 'timer.mcrs')
|
|
48
|
-
const mainPath = path.join(tempDir, 'main.mcrs')
|
|
49
|
-
|
|
50
|
-
fs.mkdirSync(stdlibDir, { recursive: true })
|
|
51
|
-
fs.writeFileSync(stdlibPath, 'fn tick_timer() { scoreboard_set("#rs", "timer_ticks", 1); }\n')
|
|
52
|
-
fs.writeFileSync(mainPath, 'import "./src/stdlib/timer.mcrs"\n\nfn main() { tick_timer(); }\n')
|
|
53
|
-
|
|
54
|
-
const source = fs.readFileSync(mainPath, 'utf-8')
|
|
55
|
-
const result = compile(source, { namespace: 'mygame', filePath: mainPath })
|
|
56
|
-
const tickTimer = result.files.find(file => file.path.endsWith('/tick_timer.mcfunction'))
|
|
57
|
-
|
|
58
|
-
expect(tickTimer?.content).toContain('scoreboard players set #rs __mygame.timer_ticks 1')
|
|
59
|
-
})
|
|
60
|
-
|
|
61
|
-
it('adds a call-site hash for stdlib internal scoreboard objectives', () => {
|
|
62
|
-
const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-stdlib-hash-'))
|
|
63
|
-
const stdlibDir = path.join(tempDir, 'src', 'stdlib')
|
|
64
|
-
const stdlibPath = path.join(stdlibDir, 'timer.mcrs')
|
|
65
|
-
const mainPath = path.join(tempDir, 'main.mcrs')
|
|
66
|
-
|
|
67
|
-
fs.mkdirSync(stdlibDir, { recursive: true })
|
|
68
|
-
fs.writeFileSync(stdlibPath, [
|
|
69
|
-
'fn timer_start(name: string, duration: int) {',
|
|
70
|
-
' scoreboard_set("timer_ticks", #rs, duration);',
|
|
71
|
-
' scoreboard_set("timer_active", #rs, 1);',
|
|
72
|
-
'}',
|
|
73
|
-
'',
|
|
74
|
-
].join('\n'))
|
|
75
|
-
fs.writeFileSync(mainPath, [
|
|
76
|
-
'import "./src/stdlib/timer.mcrs"',
|
|
77
|
-
'',
|
|
78
|
-
'fn main() {',
|
|
79
|
-
' timer_start("x", 100);',
|
|
80
|
-
' timer_start("x", 100);',
|
|
81
|
-
'}',
|
|
82
|
-
'',
|
|
83
|
-
].join('\n'))
|
|
84
|
-
|
|
85
|
-
const source = fs.readFileSync(mainPath, 'utf-8')
|
|
86
|
-
const result = compile(source, { namespace: 'mygame', filePath: mainPath })
|
|
87
|
-
const timerFns = result.files.filter(file => /timer_start__callsite_[0-9a-f]{4}\.mcfunction$/.test(file.path))
|
|
88
|
-
|
|
89
|
-
expect(timerFns).toHaveLength(2)
|
|
90
|
-
|
|
91
|
-
const objectives = timerFns
|
|
92
|
-
.flatMap(file => [...file.content.matchAll(/mygame\._timer_([0-9a-f]{4})/g)].map(match => match[0]))
|
|
93
|
-
|
|
94
|
-
expect(new Set(objectives).size).toBe(2)
|
|
95
|
-
})
|
|
96
|
-
|
|
97
|
-
it('Timer::new creates timer', () => {
|
|
98
|
-
const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-timer-new-'))
|
|
99
|
-
const mainPath = path.join(tempDir, 'main.mcrs')
|
|
100
|
-
const timerPath = path.resolve(process.cwd(), 'src/stdlib/timer.mcrs')
|
|
101
|
-
|
|
102
|
-
fs.writeFileSync(mainPath, [
|
|
103
|
-
`import "${timerPath}"`,
|
|
104
|
-
'',
|
|
105
|
-
'fn main() {',
|
|
106
|
-
' let timer: Timer = Timer::new(20);',
|
|
107
|
-
'}',
|
|
108
|
-
'',
|
|
109
|
-
].join('\n'))
|
|
110
|
-
|
|
111
|
-
const source = fs.readFileSync(mainPath, 'utf-8')
|
|
112
|
-
const result = compile(source, { namespace: 'timernew', filePath: mainPath })
|
|
113
|
-
|
|
114
|
-
expect(result.typeErrors).toEqual([])
|
|
115
|
-
const newFn = result.files.find(file => file.path.endsWith('/Timer_new.mcfunction'))
|
|
116
|
-
expect(newFn?.content).toContain('scoreboard players set timer_ticks __timernew 0')
|
|
117
|
-
expect(newFn?.content).toContain('scoreboard players set timer_active __timernew 0')
|
|
118
|
-
})
|
|
119
|
-
|
|
120
|
-
it('Timer.start/pause/reset', () => {
|
|
121
|
-
const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-timer-state-'))
|
|
122
|
-
const mainPath = path.join(tempDir, 'main.mcrs')
|
|
123
|
-
const timerPath = path.resolve(process.cwd(), 'src/stdlib/timer.mcrs')
|
|
124
|
-
|
|
125
|
-
fs.writeFileSync(mainPath, [
|
|
126
|
-
`import "${timerPath}"`,
|
|
127
|
-
'',
|
|
128
|
-
'fn main() {',
|
|
129
|
-
' let timer: Timer = Timer::new(20);',
|
|
130
|
-
' timer.start();',
|
|
131
|
-
' timer.pause();',
|
|
132
|
-
' timer.reset();',
|
|
133
|
-
'}',
|
|
134
|
-
'',
|
|
135
|
-
].join('\n'))
|
|
136
|
-
|
|
137
|
-
const source = fs.readFileSync(mainPath, 'utf-8')
|
|
138
|
-
const result = compile(source, { namespace: 'timerstate', filePath: mainPath })
|
|
139
|
-
|
|
140
|
-
expect(result.typeErrors).toEqual([])
|
|
141
|
-
const startFn = result.files.find(file => file.path.endsWith('/Timer_start.mcfunction'))
|
|
142
|
-
const pauseFn = result.files.find(file => file.path.endsWith('/Timer_pause.mcfunction'))
|
|
143
|
-
const resetFn = result.files.find(file => file.path.endsWith('/Timer_reset.mcfunction'))
|
|
144
|
-
|
|
145
|
-
expect(startFn?.content).toContain('scoreboard players set timer_active __timerstate 1')
|
|
146
|
-
expect(pauseFn?.content).toContain('scoreboard players set timer_active __timerstate 0')
|
|
147
|
-
expect(resetFn?.content).toContain('scoreboard players set timer_ticks __timerstate 0')
|
|
148
|
-
})
|
|
149
|
-
|
|
150
|
-
it('Timer.done returns bool', () => {
|
|
151
|
-
const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-timer-done-'))
|
|
152
|
-
const mainPath = path.join(tempDir, 'main.mcrs')
|
|
153
|
-
const timerPath = path.resolve(process.cwd(), 'src/stdlib/timer.mcrs')
|
|
154
|
-
|
|
155
|
-
fs.writeFileSync(mainPath, [
|
|
156
|
-
`import "${timerPath}"`,
|
|
157
|
-
'',
|
|
158
|
-
'fn main() {',
|
|
159
|
-
' let timer: Timer = Timer::new(20);',
|
|
160
|
-
' let finished: bool = timer.done();',
|
|
161
|
-
' if (finished) {',
|
|
162
|
-
' say("done");',
|
|
163
|
-
' }',
|
|
164
|
-
'}',
|
|
165
|
-
'',
|
|
166
|
-
].join('\n'))
|
|
167
|
-
|
|
168
|
-
const source = fs.readFileSync(mainPath, 'utf-8')
|
|
169
|
-
const result = compile(source, { namespace: 'timerdone', filePath: mainPath })
|
|
170
|
-
|
|
171
|
-
expect(result.typeErrors).toEqual([])
|
|
172
|
-
const doneFn = result.files.find(file => file.path.endsWith('/Timer_done.mcfunction'))
|
|
173
|
-
const mainFn = result.files.find(file => file.path.endsWith('/main.mcfunction'))
|
|
174
|
-
expect(doneFn?.content).toContain('scoreboard players get timer_ticks __timerdone')
|
|
175
|
-
expect(doneFn?.content).toContain('return run scoreboard players get')
|
|
176
|
-
expect(mainFn?.content).toContain('execute if score $main_finished __timerdone matches 1..')
|
|
177
|
-
})
|
|
178
|
-
|
|
179
|
-
it('Timer.tick increments', () => {
|
|
180
|
-
const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-timer-tick-'))
|
|
181
|
-
const mainPath = path.join(tempDir, 'main.mcrs')
|
|
182
|
-
const timerPath = path.resolve(process.cwd(), 'src/stdlib/timer.mcrs')
|
|
183
|
-
|
|
184
|
-
fs.writeFileSync(mainPath, [
|
|
185
|
-
`import "${timerPath}"`,
|
|
186
|
-
'',
|
|
187
|
-
'fn main() {',
|
|
188
|
-
' let timer: Timer = Timer::new(20);',
|
|
189
|
-
' timer.start();',
|
|
190
|
-
' timer.tick();',
|
|
191
|
-
'}',
|
|
192
|
-
'',
|
|
193
|
-
].join('\n'))
|
|
194
|
-
|
|
195
|
-
const source = fs.readFileSync(mainPath, 'utf-8')
|
|
196
|
-
const result = compile(source, { namespace: 'timertick', filePath: mainPath })
|
|
197
|
-
|
|
198
|
-
expect(result.typeErrors).toEqual([])
|
|
199
|
-
const tickOutput = result.files
|
|
200
|
-
.filter(file => file.path.includes('/Timer_tick'))
|
|
201
|
-
.map(file => file.content)
|
|
202
|
-
.join('\n')
|
|
203
|
-
|
|
204
|
-
expect(tickOutput).toContain('scoreboard players get timer_active __timertick')
|
|
205
|
-
expect(tickOutput).toContain('scoreboard players get timer_ticks __timertick')
|
|
206
|
-
expect(tickOutput).toContain(' += $const_1 __timertick')
|
|
207
|
-
expect(tickOutput).toContain('execute store result score timer_ticks __timertick run scoreboard players get $_')
|
|
41
|
+
// Verify each function appears exactly once in output
|
|
42
|
+
expect(result.files.filter(f => f.path.endsWith('/from_a.mcfunction'))).toHaveLength(1)
|
|
43
|
+
expect(result.files.filter(f => f.path.endsWith('/from_b.mcfunction'))).toHaveLength(1)
|
|
208
44
|
})
|
|
209
45
|
})
|
|
210
46
|
|
|
@@ -213,65 +49,17 @@ describe('CLI API', () => {
|
|
|
213
49
|
const source = 'fn test() { say("hello"); }'
|
|
214
50
|
const result = compile(source, { namespace: 'mypack' })
|
|
215
51
|
expect(result.files.length).toBeGreaterThan(0)
|
|
216
|
-
expect(result.ast.namespace).toBe('mypack')
|
|
217
|
-
expect(result.ir.functions.length).toBe(1)
|
|
218
|
-
})
|
|
219
|
-
|
|
220
|
-
it('uses default namespace', () => {
|
|
221
|
-
const source = 'fn test() {}'
|
|
222
|
-
const result = compile(source)
|
|
223
|
-
expect(result.ast.namespace).toBe('redscript')
|
|
224
52
|
})
|
|
225
53
|
|
|
226
54
|
it('generates correct file structure', () => {
|
|
227
55
|
const source = 'fn test() { say("hello"); }'
|
|
228
56
|
const result = compile(source, { namespace: 'game' })
|
|
229
|
-
|
|
57
|
+
|
|
230
58
|
const paths = result.files.map(f => f.path)
|
|
231
59
|
expect(paths).toContain('pack.mcmeta')
|
|
232
|
-
expect(paths).toContain('data/game/function/
|
|
60
|
+
expect(paths).toContain('data/game/function/load.mcfunction')
|
|
233
61
|
expect(paths.some(p => p.includes('test.mcfunction'))).toBe(true)
|
|
234
62
|
})
|
|
235
|
-
|
|
236
|
-
it('collects optimizer stats', () => {
|
|
237
|
-
const source = `
|
|
238
|
-
fn build() {
|
|
239
|
-
foreach (turret in @e[tag=turret]) {
|
|
240
|
-
let range: int = scoreboard_get("config", "turret_range");
|
|
241
|
-
if (range > 0) {
|
|
242
|
-
if (range > -1) {
|
|
243
|
-
say("ready");
|
|
244
|
-
}
|
|
245
|
-
}
|
|
246
|
-
}
|
|
247
|
-
}
|
|
248
|
-
`
|
|
249
|
-
|
|
250
|
-
const result = compile(source, { namespace: 'stats' })
|
|
251
|
-
expect(result.stats?.licmHoists).toBeGreaterThan(0)
|
|
252
|
-
expect(result.stats?.totalCommandsBefore).toBeGreaterThan(result.stats?.totalCommandsAfter ?? 0)
|
|
253
|
-
expect(result.stats?.deadCodeRemoved).toBeGreaterThanOrEqual(0)
|
|
254
|
-
})
|
|
255
|
-
})
|
|
256
|
-
|
|
257
|
-
describe('--stats flag', () => {
|
|
258
|
-
it('prints optimizer statistics', () => {
|
|
259
|
-
const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-stats-'))
|
|
260
|
-
const inputPath = path.join(tempDir, 'input.mcrs')
|
|
261
|
-
const outputDir = path.join(tempDir, 'out')
|
|
262
|
-
|
|
263
|
-
fs.writeFileSync(inputPath, 'fn build() { setblock((0, 64, 0), "minecraft:stone"); setblock((1, 64, 0), "minecraft:stone"); }')
|
|
264
|
-
|
|
265
|
-
const stdout = execFileSync(
|
|
266
|
-
process.execPath,
|
|
267
|
-
['-r', 'ts-node/register', path.join(process.cwd(), 'src/cli.ts'), 'compile', inputPath, '-o', outputDir, '--stats'],
|
|
268
|
-
{ cwd: process.cwd(), encoding: 'utf-8' }
|
|
269
|
-
)
|
|
270
|
-
|
|
271
|
-
expect(stdout).toContain('Optimizations applied:')
|
|
272
|
-
expect(stdout).toContain('setblock batching:')
|
|
273
|
-
expect(stdout).toContain('Total mcfunction commands:')
|
|
274
|
-
})
|
|
275
63
|
})
|
|
276
64
|
|
|
277
65
|
describe('check()', () => {
|
|
@@ -14,7 +14,7 @@ function getFileContent(files: ReturnType<typeof compile>['files'], suffix: stri
|
|
|
14
14
|
}
|
|
15
15
|
|
|
16
16
|
describe('AST dead code elimination', () => {
|
|
17
|
-
it('
|
|
17
|
+
it('keeps non-library functions even if unused (v2 DCE only strips library fns)', () => {
|
|
18
18
|
const source = `
|
|
19
19
|
fn _unused() { say("never called"); }
|
|
20
20
|
fn used() { say("called"); }
|
|
@@ -23,41 +23,9 @@ fn used() { say("called"); }
|
|
|
23
23
|
|
|
24
24
|
const result = compile(source, { namespace: 'test' })
|
|
25
25
|
|
|
26
|
-
//
|
|
27
|
-
expect(result.
|
|
28
|
-
expect(result.
|
|
29
|
-
})
|
|
30
|
-
|
|
31
|
-
it('removes unused local variables from the AST body', () => {
|
|
32
|
-
const source = `
|
|
33
|
-
fn helper() {
|
|
34
|
-
let unused: int = 10;
|
|
35
|
-
let used: int = 20;
|
|
36
|
-
say_int(used);
|
|
37
|
-
}
|
|
38
|
-
@tick fn main() { helper(); }
|
|
39
|
-
`
|
|
40
|
-
|
|
41
|
-
const result = compile(source, { namespace: 'test' })
|
|
42
|
-
const helper = result.ast.declarations.find(fn => fn.name === 'helper')
|
|
43
|
-
|
|
44
|
-
expect(helper?.body.filter(stmt => stmt.kind === 'let')).toHaveLength(1)
|
|
45
|
-
expect(helper?.body.some(stmt => stmt.kind === 'let' && stmt.name === 'unused')).toBe(false)
|
|
46
|
-
})
|
|
47
|
-
|
|
48
|
-
it('removes unused constants', () => {
|
|
49
|
-
const source = `
|
|
50
|
-
const UNUSED: int = 10;
|
|
51
|
-
const USED: int = 20;
|
|
52
|
-
|
|
53
|
-
@tick fn main() {
|
|
54
|
-
say_int(USED);
|
|
55
|
-
}
|
|
56
|
-
`
|
|
57
|
-
|
|
58
|
-
const result = compile(source, { namespace: 'test' })
|
|
59
|
-
|
|
60
|
-
expect(result.ast.consts.map(constDecl => constDecl.name)).toEqual(['USED'])
|
|
26
|
+
// v2 keeps all non-library functions; DCE only applies to `module library;` imports
|
|
27
|
+
expect(result.files.some(f => f.path.includes('/_unused.mcfunction'))).toBe(true)
|
|
28
|
+
expect(result.files.some(f => f.path.includes('/used.mcfunction'))).toBe(true)
|
|
61
29
|
})
|
|
62
30
|
|
|
63
31
|
it('eliminates dead branches with constant conditions', () => {
|
|
@@ -82,27 +50,13 @@ const USED: int = 20;
|
|
|
82
50
|
const source = `
|
|
83
51
|
@tick fn ticker() { }
|
|
84
52
|
@load fn loader() { }
|
|
85
|
-
@on(PlayerDeath) fn handler(player: Player) { say("event"); }
|
|
86
53
|
`
|
|
87
54
|
|
|
88
55
|
const result = compile(source, { namespace: 'test' })
|
|
89
|
-
const
|
|
90
|
-
|
|
91
|
-
expect(names).toContain('ticker')
|
|
92
|
-
expect(names).toContain('loader')
|
|
93
|
-
expect(names).toContain('handler')
|
|
94
|
-
})
|
|
95
|
-
|
|
96
|
-
it('can disable AST DCE through the compile API', () => {
|
|
97
|
-
const source = `
|
|
98
|
-
fn unused() { say("never called"); }
|
|
99
|
-
@tick fn main() { say("live"); }
|
|
100
|
-
`
|
|
101
|
-
|
|
102
|
-
const result = compile(source, { namespace: 'test', dce: false })
|
|
56
|
+
const paths = result.files.map(f => f.path)
|
|
103
57
|
|
|
104
|
-
expect(
|
|
105
|
-
expect(
|
|
58
|
+
expect(paths.some(p => p.includes('/ticker.mcfunction'))).toBe(true)
|
|
59
|
+
expect(paths.some(p => p.includes('/loader.mcfunction'))).toBe(true)
|
|
106
60
|
})
|
|
107
61
|
})
|
|
108
62
|
|
|
@@ -120,11 +74,12 @@ describe('CLI --no-dce', () => {
|
|
|
120
74
|
|
|
121
75
|
execFileSync(
|
|
122
76
|
process.execPath,
|
|
123
|
-
['-r', 'ts-node/register', 'src/cli.ts', 'compile', inputPath, '-o', outputDir, '--namespace', 'test'
|
|
77
|
+
['-r', 'ts-node/register', 'src/cli.ts', 'compile', inputPath, '-o', outputDir, '--namespace', 'test'],
|
|
124
78
|
{ cwd: path.resolve(process.cwd()) }
|
|
125
79
|
)
|
|
126
80
|
|
|
127
|
-
|
|
128
|
-
|
|
81
|
+
// v2 pipeline compiles all functions
|
|
82
|
+
const mainPath = path.join(outputDir, 'data', 'test', 'function', 'main.mcfunction')
|
|
83
|
+
expect(fs.existsSync(mainPath)).toBe(true)
|
|
129
84
|
})
|
|
130
85
|
})
|