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.
Files changed (593) hide show
  1. package/.claudeignore +21 -0
  2. package/.github/workflows/ci.yml +1 -0
  3. package/README.md +12 -16
  4. package/README.zh.md +2 -2
  5. package/demo.gif +0 -0
  6. package/dist/cli.js +2 -554
  7. package/dist/compile.js +2 -266
  8. package/dist/index.js +2 -159
  9. package/dist/src/__tests__/budget.test.js +261 -0
  10. package/dist/src/__tests__/cli.test.js +104 -0
  11. package/dist/{__tests__ → src/__tests__}/dce.test.js +11 -47
  12. package/dist/{__tests__ → src/__tests__}/diagnostics.test.js +67 -40
  13. package/dist/src/__tests__/e2e/basic.test.d.ts +8 -0
  14. package/dist/src/__tests__/e2e/basic.test.js +140 -0
  15. package/dist/src/__tests__/e2e/coroutine.test.d.ts +7 -0
  16. package/dist/src/__tests__/e2e/coroutine.test.js +132 -0
  17. package/dist/src/__tests__/e2e/macros.test.d.ts +9 -0
  18. package/dist/src/__tests__/e2e/macros.test.js +182 -0
  19. package/dist/src/__tests__/e2e/migrate.test.d.ts +13 -0
  20. package/dist/src/__tests__/e2e/migrate.test.js +2739 -0
  21. package/dist/src/__tests__/e2e/stdlib-e2e.test.d.ts +10 -0
  22. package/dist/src/__tests__/e2e/stdlib-e2e.test.js +324 -0
  23. package/dist/src/__tests__/enum.test.d.ts +10 -0
  24. package/dist/src/__tests__/enum.test.js +389 -0
  25. package/dist/src/__tests__/generics.test.d.ts +14 -0
  26. package/dist/src/__tests__/generics.test.js +367 -0
  27. package/dist/src/__tests__/hir/desugar.test.js +234 -0
  28. package/dist/src/__tests__/incremental.test.d.ts +5 -0
  29. package/dist/src/__tests__/incremental.test.js +308 -0
  30. package/dist/src/__tests__/lir/lower.test.js +559 -0
  31. package/dist/src/__tests__/lir/types.test.js +185 -0
  32. package/dist/src/__tests__/lir/verify.test.js +221 -0
  33. package/dist/src/__tests__/lsp.test.d.ts +7 -0
  34. package/dist/src/__tests__/lsp.test.js +245 -0
  35. package/dist/{__tests__ → src/__tests__}/mc-integration.test.js +1 -3
  36. package/dist/src/__tests__/mc-version.test.d.ts +10 -0
  37. package/dist/src/__tests__/mc-version.test.js +154 -0
  38. package/dist/src/__tests__/mir/arithmetic.test.js +130 -0
  39. package/dist/src/__tests__/mir/control-flow.test.js +205 -0
  40. package/dist/src/__tests__/mir/verify.test.js +223 -0
  41. package/dist/src/__tests__/modules.test.d.ts +7 -0
  42. package/dist/src/__tests__/modules.test.js +333 -0
  43. package/dist/src/__tests__/optimizer/block_merge.test.js +78 -0
  44. package/dist/src/__tests__/optimizer/branch_simplify.test.js +58 -0
  45. package/dist/src/__tests__/optimizer/constant_fold.test.js +131 -0
  46. package/dist/src/__tests__/optimizer/copy_prop.test.js +91 -0
  47. package/dist/src/__tests__/optimizer/coroutine.test.d.ts +12 -0
  48. package/dist/src/__tests__/optimizer/coroutine.test.js +251 -0
  49. package/dist/src/__tests__/optimizer/dce.test.d.ts +1 -0
  50. package/dist/src/__tests__/optimizer/dce.test.js +76 -0
  51. package/dist/src/__tests__/optimizer/interprocedural.test.d.ts +1 -0
  52. package/dist/src/__tests__/optimizer/interprocedural.test.js +145 -0
  53. package/dist/src/__tests__/optimizer/lir/const_imm.test.d.ts +1 -0
  54. package/dist/src/__tests__/optimizer/lir/const_imm.test.js +138 -0
  55. package/dist/src/__tests__/optimizer/lir/dead_slot.test.d.ts +1 -0
  56. package/dist/src/__tests__/optimizer/lir/dead_slot.test.js +141 -0
  57. package/dist/src/__tests__/optimizer/lir/peephole.test.d.ts +1 -0
  58. package/dist/src/__tests__/optimizer/lir/peephole.test.js +126 -0
  59. package/dist/src/__tests__/optimizer/lir/pipeline.test.d.ts +1 -0
  60. package/dist/src/__tests__/optimizer/lir/pipeline.test.js +84 -0
  61. package/dist/src/__tests__/optimizer/nbt-batch.test.d.ts +1 -0
  62. package/dist/src/__tests__/optimizer/nbt-batch.test.js +110 -0
  63. package/dist/src/__tests__/optimizer/pipeline.test.d.ts +1 -0
  64. package/dist/src/__tests__/optimizer/pipeline.test.js +102 -0
  65. package/dist/src/__tests__/optimizer/selector-cache.test.d.ts +1 -0
  66. package/dist/src/__tests__/optimizer/selector-cache.test.js +103 -0
  67. package/dist/src/__tests__/optimizer/unroll.test.d.ts +1 -0
  68. package/dist/src/__tests__/optimizer/unroll.test.js +206 -0
  69. package/dist/src/__tests__/option.test.d.ts +14 -0
  70. package/dist/src/__tests__/option.test.js +275 -0
  71. package/dist/src/__tests__/parser.test.d.ts +1 -0
  72. package/dist/src/__tests__/repl.test.d.ts +1 -0
  73. package/dist/src/__tests__/schedule.test.d.ts +7 -0
  74. package/dist/src/__tests__/schedule.test.js +98 -0
  75. package/dist/src/__tests__/sourcemap.test.d.ts +7 -0
  76. package/dist/src/__tests__/sourcemap.test.js +227 -0
  77. package/dist/src/__tests__/tuple.test.d.ts +11 -0
  78. package/dist/src/__tests__/tuple.test.js +202 -0
  79. package/dist/src/__tests__/typechecker-strict.test.d.ts +10 -0
  80. package/dist/src/__tests__/typechecker-strict.test.js +197 -0
  81. package/dist/src/__tests__/typechecker.test.d.ts +1 -0
  82. package/dist/{ast → src/ast}/types.d.ts +58 -3
  83. package/dist/src/cache/deps.d.ts +41 -0
  84. package/dist/src/cache/deps.js +158 -0
  85. package/dist/src/cache/incremental.d.ts +35 -0
  86. package/dist/src/cache/incremental.js +165 -0
  87. package/dist/src/cache/index.d.ts +37 -0
  88. package/dist/src/cache/index.js +152 -0
  89. package/dist/{cli.d.ts → src/cli.d.ts} +1 -1
  90. package/dist/src/cli.js +474 -0
  91. package/dist/src/compile.d.ts +37 -0
  92. package/dist/src/compile.js +165 -0
  93. package/dist/{diagnostics → src/diagnostics}/index.d.ts +1 -1
  94. package/dist/{diagnostics → src/diagnostics}/index.js +8 -11
  95. package/dist/src/emit/compile.d.ts +29 -0
  96. package/dist/src/emit/compile.js +143 -0
  97. package/dist/src/emit/index.d.ts +26 -0
  98. package/dist/src/emit/index.js +223 -0
  99. package/dist/src/emit/modules.d.ts +29 -0
  100. package/dist/src/emit/modules.js +492 -0
  101. package/dist/src/emit/sourcemap.d.ts +53 -0
  102. package/dist/src/emit/sourcemap.js +73 -0
  103. package/dist/src/hir/lower.d.ts +15 -0
  104. package/dist/src/hir/lower.js +399 -0
  105. package/dist/src/hir/monomorphize.d.ts +22 -0
  106. package/dist/src/hir/monomorphize.js +379 -0
  107. package/dist/src/hir/types.d.ts +406 -0
  108. package/dist/src/hir/types.js +16 -0
  109. package/dist/src/index.d.ts +39 -0
  110. package/dist/src/index.js +67 -0
  111. package/dist/{lexer → src/lexer}/index.d.ts +1 -1
  112. package/dist/{lexer → src/lexer}/index.js +1 -0
  113. package/dist/src/lir/budget.d.ts +37 -0
  114. package/dist/src/lir/budget.js +280 -0
  115. package/dist/src/lir/lower.d.ts +15 -0
  116. package/dist/src/lir/lower.js +472 -0
  117. package/dist/src/lir/types.d.ts +139 -0
  118. package/dist/src/lir/types.js +11 -0
  119. package/dist/src/lir/verify.d.ts +14 -0
  120. package/dist/src/lir/verify.js +113 -0
  121. package/dist/src/lsp/main.d.ts +8 -0
  122. package/dist/src/lsp/main.js +11 -0
  123. package/dist/src/lsp/server.d.ts +11 -0
  124. package/dist/src/lsp/server.js +352 -0
  125. package/dist/{mc-test → src/mc-test}/runner.js +4 -3
  126. package/dist/src/mir/lower.d.ts +9 -0
  127. package/dist/src/mir/lower.js +1264 -0
  128. package/dist/src/mir/macro.d.ts +22 -0
  129. package/dist/src/mir/macro.js +168 -0
  130. package/dist/src/mir/types.d.ts +191 -0
  131. package/dist/src/mir/types.js +11 -0
  132. package/dist/src/mir/verify.d.ts +16 -0
  133. package/dist/src/mir/verify.js +216 -0
  134. package/dist/src/optimizer/block_merge.d.ts +12 -0
  135. package/dist/src/optimizer/block_merge.js +84 -0
  136. package/dist/src/optimizer/branch_simplify.d.ts +9 -0
  137. package/dist/src/optimizer/branch_simplify.js +28 -0
  138. package/dist/src/optimizer/constant_fold.d.ts +10 -0
  139. package/dist/src/optimizer/constant_fold.js +85 -0
  140. package/dist/src/optimizer/copy_prop.d.ts +9 -0
  141. package/dist/src/optimizer/copy_prop.js +113 -0
  142. package/dist/src/optimizer/coroutine.d.ts +34 -0
  143. package/dist/src/optimizer/coroutine.js +789 -0
  144. package/dist/src/optimizer/dce.d.ts +8 -0
  145. package/dist/src/optimizer/dce.js +156 -0
  146. package/dist/src/optimizer/interprocedural.d.ts +14 -0
  147. package/dist/src/optimizer/interprocedural.js +186 -0
  148. package/dist/src/optimizer/lir/const_imm.d.ts +12 -0
  149. package/dist/src/optimizer/lir/const_imm.js +139 -0
  150. package/dist/src/optimizer/lir/dead_slot.d.ts +14 -0
  151. package/dist/src/optimizer/lir/dead_slot.js +130 -0
  152. package/dist/src/optimizer/lir/peephole.d.ts +21 -0
  153. package/dist/src/optimizer/lir/peephole.js +52 -0
  154. package/dist/src/optimizer/lir/pipeline.d.ts +10 -0
  155. package/dist/src/optimizer/lir/pipeline.js +34 -0
  156. package/dist/src/optimizer/nbt-batch.d.ts +11 -0
  157. package/dist/src/optimizer/nbt-batch.js +51 -0
  158. package/dist/src/optimizer/pipeline.d.ts +14 -0
  159. package/dist/src/optimizer/pipeline.js +58 -0
  160. package/dist/src/optimizer/selector-cache.d.ts +22 -0
  161. package/dist/src/optimizer/selector-cache.js +100 -0
  162. package/dist/src/optimizer/unroll.d.ts +32 -0
  163. package/dist/src/optimizer/unroll.js +348 -0
  164. package/dist/{parser → src/parser}/index.d.ts +8 -0
  165. package/dist/{parser → src/parser}/index.js +204 -14
  166. package/dist/{repl.d.ts → src/repl.d.ts} +1 -1
  167. package/dist/{runtime → src/runtime}/index.js +1 -1
  168. package/dist/{typechecker → src/typechecker}/index.d.ts +4 -0
  169. package/dist/{typechecker → src/typechecker}/index.js +198 -13
  170. package/dist/src/types/mc-version.d.ts +24 -0
  171. package/dist/src/types/mc-version.js +49 -0
  172. package/docs/ROADMAP.md +395 -0
  173. package/docs/compiler-pipeline-redesign.md +2260 -0
  174. package/docs/optimization-ideas.md +1076 -0
  175. package/editors/vscode/out/extension.js +25176 -8000
  176. package/editors/vscode/package-lock.json +90 -6
  177. package/editors/vscode/package.json +3 -2
  178. package/editors/vscode/src/extension.ts +97 -67
  179. package/examples/showcase.mcrs +3 -3
  180. package/package.json +13 -6
  181. package/scripts/postbuild.js +15 -0
  182. package/src/__tests__/budget.test.ts +297 -0
  183. package/src/__tests__/cli.test.ts +8 -220
  184. package/src/__tests__/dce.test.ts +11 -56
  185. package/src/__tests__/diagnostics.test.ts +61 -41
  186. package/src/__tests__/e2e/basic.test.ts +154 -0
  187. package/src/__tests__/e2e/coroutine.test.ts +142 -0
  188. package/src/__tests__/e2e/macros.test.ts +199 -0
  189. package/src/__tests__/e2e/migrate.test.ts +3008 -0
  190. package/src/__tests__/e2e/stdlib-e2e.test.ts +348 -0
  191. package/src/__tests__/enum.test.ts +425 -0
  192. package/src/__tests__/generics.test.ts +390 -0
  193. package/src/__tests__/hir/desugar.test.ts +263 -0
  194. package/src/__tests__/incremental.test.ts +337 -0
  195. package/src/__tests__/lir/lower.test.ts +619 -0
  196. package/src/__tests__/lir/types.test.ts +207 -0
  197. package/src/__tests__/lir/verify.test.ts +249 -0
  198. package/src/__tests__/lsp.test.ts +270 -0
  199. package/src/__tests__/mc-integration.test.ts +1 -2
  200. package/src/__tests__/mc-version.test.ts +178 -0
  201. package/src/__tests__/mir/arithmetic.test.ts +156 -0
  202. package/src/__tests__/mir/control-flow.test.ts +242 -0
  203. package/src/__tests__/mir/verify.test.ts +254 -0
  204. package/src/__tests__/modules.test.ts +365 -0
  205. package/src/__tests__/optimizer/block_merge.test.ts +84 -0
  206. package/src/__tests__/optimizer/branch_simplify.test.ts +64 -0
  207. package/src/__tests__/optimizer/constant_fold.test.ts +145 -0
  208. package/src/__tests__/optimizer/copy_prop.test.ts +99 -0
  209. package/src/__tests__/optimizer/coroutine.test.ts +312 -0
  210. package/src/__tests__/optimizer/dce.test.ts +83 -0
  211. package/src/__tests__/optimizer/interprocedural.test.ts +174 -0
  212. package/src/__tests__/optimizer/lir/const_imm.test.ts +151 -0
  213. package/src/__tests__/optimizer/lir/dead_slot.test.ts +156 -0
  214. package/src/__tests__/optimizer/lir/peephole.test.ts +136 -0
  215. package/src/__tests__/optimizer/lir/pipeline.test.ts +113 -0
  216. package/src/__tests__/optimizer/nbt-batch.test.ts +119 -0
  217. package/src/__tests__/optimizer/pipeline.test.ts +116 -0
  218. package/src/__tests__/optimizer/selector-cache.test.ts +112 -0
  219. package/src/__tests__/optimizer/unroll.test.ts +231 -0
  220. package/src/__tests__/option.test.ts +299 -0
  221. package/src/__tests__/schedule.test.ts +105 -0
  222. package/src/__tests__/sourcemap.test.ts +254 -0
  223. package/src/__tests__/tuple.test.ts +220 -0
  224. package/src/__tests__/typechecker-strict.test.ts +216 -0
  225. package/src/ast/types.ts +39 -3
  226. package/src/cache/deps.ts +132 -0
  227. package/src/cache/incremental.ts +173 -0
  228. package/src/cache/index.ts +135 -0
  229. package/src/cli.ts +111 -195
  230. package/src/compile.ts +6 -162
  231. package/src/diagnostics/index.ts +8 -11
  232. package/src/emit/compile.ts +177 -0
  233. package/src/emit/index.ts +286 -0
  234. package/src/emit/modules.ts +581 -0
  235. package/src/emit/sourcemap.ts +101 -0
  236. package/src/hir/lower.ts +455 -0
  237. package/src/hir/monomorphize.ts +416 -0
  238. package/src/hir/types.ts +228 -0
  239. package/src/index.ts +37 -182
  240. package/src/lexer/index.ts +2 -1
  241. package/src/lir/budget.ts +321 -0
  242. package/src/lir/lower.ts +587 -0
  243. package/src/lir/types.ts +113 -0
  244. package/src/lir/verify.ts +129 -0
  245. package/src/lsp/main.ts +9 -0
  246. package/src/lsp/server.ts +414 -0
  247. package/src/mc-test/runner.ts +4 -3
  248. package/src/mir/lower.ts +1403 -0
  249. package/src/mir/macro.ts +167 -0
  250. package/src/mir/types.ts +117 -0
  251. package/src/mir/verify.ts +218 -0
  252. package/src/optimizer/block_merge.ts +93 -0
  253. package/src/optimizer/branch_simplify.ts +27 -0
  254. package/src/optimizer/constant_fold.ts +88 -0
  255. package/src/optimizer/copy_prop.ts +106 -0
  256. package/src/optimizer/coroutine.ts +996 -0
  257. package/src/optimizer/dce.ts +108 -653
  258. package/src/optimizer/interprocedural.ts +177 -0
  259. package/src/optimizer/lir/const_imm.ts +143 -0
  260. package/src/optimizer/lir/dead_slot.ts +123 -0
  261. package/src/optimizer/lir/peephole.ts +57 -0
  262. package/src/optimizer/lir/pipeline.ts +37 -0
  263. package/src/optimizer/nbt-batch.ts +50 -0
  264. package/src/optimizer/pipeline.ts +59 -0
  265. package/src/optimizer/selector-cache.ts +103 -0
  266. package/src/optimizer/unroll.ts +386 -0
  267. package/src/parser/index.ts +213 -16
  268. package/src/repl.ts +1 -1
  269. package/src/runtime/index.ts +1 -1
  270. package/src/stdlib/math.mcrs +4 -4
  271. package/src/templates/quest.mcrs +4 -4
  272. package/src/typechecker/index.ts +215 -15
  273. package/src/types/mc-version.ts +46 -0
  274. package/tsconfig.json +1 -1
  275. package/dist/__tests__/cli.test.js +0 -278
  276. package/dist/__tests__/codegen.test.js +0 -152
  277. package/dist/__tests__/e2e.test.d.ts +0 -6
  278. package/dist/__tests__/e2e.test.js +0 -1847
  279. package/dist/__tests__/entity-types.test.js +0 -203
  280. package/dist/__tests__/lowering.test.js +0 -1015
  281. package/dist/__tests__/macro.test.d.ts +0 -8
  282. package/dist/__tests__/macro.test.js +0 -305
  283. package/dist/__tests__/nbt.test.js +0 -82
  284. package/dist/__tests__/optimizer-advanced.test.js +0 -124
  285. package/dist/__tests__/optimizer.test.js +0 -149
  286. package/dist/__tests__/runtime.test.js +0 -289
  287. package/dist/__tests__/stdlib-advanced.test.d.ts +0 -4
  288. package/dist/__tests__/stdlib-advanced.test.js +0 -378
  289. package/dist/__tests__/stdlib-bigint.test.d.ts +0 -7
  290. package/dist/__tests__/stdlib-bigint.test.js +0 -428
  291. package/dist/__tests__/stdlib-math.test.d.ts +0 -7
  292. package/dist/__tests__/stdlib-math.test.js +0 -352
  293. package/dist/__tests__/stdlib-vec.test.d.ts +0 -4
  294. package/dist/__tests__/stdlib-vec.test.js +0 -264
  295. package/dist/__tests__/structure-optimizer.test.js +0 -33
  296. package/dist/__tests__/var-allocator.test.js +0 -69
  297. package/dist/codegen/cmdblock/index.d.ts +0 -26
  298. package/dist/codegen/cmdblock/index.js +0 -45
  299. package/dist/codegen/mcfunction/index.d.ts +0 -40
  300. package/dist/codegen/mcfunction/index.js +0 -606
  301. package/dist/codegen/structure/index.d.ts +0 -24
  302. package/dist/codegen/structure/index.js +0 -279
  303. package/dist/codegen/var-allocator.d.ts +0 -45
  304. package/dist/codegen/var-allocator.js +0 -104
  305. package/dist/compile.d.ts +0 -68
  306. package/dist/data/arena/function/__load.mcfunction +0 -6
  307. package/dist/data/arena/function/__tick.mcfunction +0 -2
  308. package/dist/data/arena/function/announce_leaders/else_1.mcfunction +0 -3
  309. package/dist/data/arena/function/announce_leaders/foreach_0/merge_2.mcfunction +0 -1
  310. package/dist/data/arena/function/announce_leaders/foreach_0/then_0.mcfunction +0 -3
  311. package/dist/data/arena/function/announce_leaders/foreach_0.mcfunction +0 -7
  312. package/dist/data/arena/function/announce_leaders/foreach_1/merge_2.mcfunction +0 -1
  313. package/dist/data/arena/function/announce_leaders/foreach_1/then_0.mcfunction +0 -4
  314. package/dist/data/arena/function/announce_leaders/foreach_1.mcfunction +0 -6
  315. package/dist/data/arena/function/announce_leaders/merge_2.mcfunction +0 -1
  316. package/dist/data/arena/function/announce_leaders/then_0.mcfunction +0 -4
  317. package/dist/data/arena/function/announce_leaders.mcfunction +0 -6
  318. package/dist/data/arena/function/arena_tick/merge_2.mcfunction +0 -1
  319. package/dist/data/arena/function/arena_tick/then_0.mcfunction +0 -4
  320. package/dist/data/arena/function/arena_tick.mcfunction +0 -11
  321. package/dist/data/counter/function/__load.mcfunction +0 -5
  322. package/dist/data/counter/function/__tick.mcfunction +0 -2
  323. package/dist/data/counter/function/counter_tick/merge_2.mcfunction +0 -1
  324. package/dist/data/counter/function/counter_tick/then_0.mcfunction +0 -3
  325. package/dist/data/counter/function/counter_tick.mcfunction +0 -11
  326. package/dist/data/gcd2/function/__load.mcfunction +0 -3
  327. package/dist/data/gcd2/function/abs/merge_2.mcfunction +0 -3
  328. package/dist/data/gcd2/function/abs/then_0.mcfunction +0 -5
  329. package/dist/data/gcd2/function/abs.mcfunction +0 -7
  330. package/dist/data/gcd2/function/gcd/loop_body_1.mcfunction +0 -7
  331. package/dist/data/gcd2/function/gcd/loop_check_0.mcfunction +0 -5
  332. package/dist/data/gcd2/function/gcd/loop_exit_2.mcfunction +0 -3
  333. package/dist/data/gcd2/function/gcd.mcfunction +0 -14
  334. package/dist/data/gcd3/function/__load.mcfunction +0 -3
  335. package/dist/data/gcd3/function/abs/merge_2.mcfunction +0 -3
  336. package/dist/data/gcd3/function/abs/then_0.mcfunction +0 -5
  337. package/dist/data/gcd3/function/abs.mcfunction +0 -7
  338. package/dist/data/gcd3/function/gcd/loop_body_1.mcfunction +0 -7
  339. package/dist/data/gcd3/function/gcd/loop_check_0.mcfunction +0 -5
  340. package/dist/data/gcd3/function/gcd/loop_exit_2.mcfunction +0 -3
  341. package/dist/data/gcd3/function/gcd.mcfunction +0 -14
  342. package/dist/data/gcd3/function/test.mcfunction +0 -7
  343. package/dist/data/gcd3nm/function/__load.mcfunction +0 -3
  344. package/dist/data/gcd3nm/function/abs/merge_2.mcfunction +0 -3
  345. package/dist/data/gcd3nm/function/abs/then_0.mcfunction +0 -5
  346. package/dist/data/gcd3nm/function/abs.mcfunction +0 -7
  347. package/dist/data/gcd3nm/function/gcd/loop_body_1.mcfunction +0 -7
  348. package/dist/data/gcd3nm/function/gcd/loop_check_0.mcfunction +0 -5
  349. package/dist/data/gcd3nm/function/gcd/loop_exit_2.mcfunction +0 -3
  350. package/dist/data/gcd3nm/function/gcd.mcfunction +0 -14
  351. package/dist/data/gcd3nm/function/test.mcfunction +0 -7
  352. package/dist/data/gcd_test/function/__load.mcfunction +0 -3
  353. package/dist/data/gcd_test/function/abs/merge_2.mcfunction +0 -3
  354. package/dist/data/gcd_test/function/abs/then_0.mcfunction +0 -5
  355. package/dist/data/gcd_test/function/abs.mcfunction +0 -7
  356. package/dist/data/gcd_test/function/gcd/loop_body_1.mcfunction +0 -7
  357. package/dist/data/gcd_test/function/gcd/loop_check_0.mcfunction +0 -5
  358. package/dist/data/gcd_test/function/gcd/loop_exit_2.mcfunction +0 -3
  359. package/dist/data/gcd_test/function/gcd.mcfunction +0 -14
  360. package/dist/data/isqrttest/function/__load.mcfunction +0 -6
  361. package/dist/data/isqrttest/function/isqrt/loop_body_4.mcfunction +0 -12
  362. package/dist/data/isqrttest/function/isqrt/loop_check_3.mcfunction +0 -5
  363. package/dist/data/isqrttest/function/isqrt/loop_exit_5.mcfunction +0 -3
  364. package/dist/data/isqrttest/function/isqrt/merge_2.mcfunction +0 -4
  365. package/dist/data/isqrttest/function/isqrt/merge_8.mcfunction +0 -6
  366. package/dist/data/isqrttest/function/isqrt/then_0.mcfunction +0 -3
  367. package/dist/data/isqrttest/function/isqrt/then_6.mcfunction +0 -3
  368. package/dist/data/isqrttest/function/isqrt.mcfunction +0 -7
  369. package/dist/data/isqrttest/function/test.mcfunction +0 -6
  370. package/dist/data/mathtest/function/__load.mcfunction +0 -3
  371. package/dist/data/mathtest/function/abs/merge_2.mcfunction +0 -3
  372. package/dist/data/mathtest/function/abs/then_0.mcfunction +0 -5
  373. package/dist/data/mathtest/function/abs.mcfunction +0 -6
  374. package/dist/data/mathtest/function/test.mcfunction +0 -5
  375. package/dist/data/minecraft/tags/function/load.json +0 -5
  376. package/dist/data/minecraft/tags/function/tick.json +0 -5
  377. package/dist/data/mypack/function/__load.mcfunction +0 -13
  378. package/dist/data/mypack/function/_atan_init.mcfunction +0 -2
  379. package/dist/data/mypack/function/abs/merge_2.mcfunction +0 -3
  380. package/dist/data/mypack/function/abs/then_0.mcfunction +0 -5
  381. package/dist/data/mypack/function/abs.mcfunction +0 -6
  382. package/dist/data/mypack/function/atan2_fixed/__sgi_1.mcfunction +0 -2
  383. package/dist/data/mypack/function/atan2_fixed/else_34.mcfunction +0 -3
  384. package/dist/data/mypack/function/atan2_fixed/loop_body_31.mcfunction +0 -19
  385. package/dist/data/mypack/function/atan2_fixed/loop_check_30.mcfunction +0 -5
  386. package/dist/data/mypack/function/atan2_fixed/loop_exit_32.mcfunction +0 -6
  387. package/dist/data/mypack/function/atan2_fixed/merge_11.mcfunction +0 -6
  388. package/dist/data/mypack/function/atan2_fixed/merge_14.mcfunction +0 -3
  389. package/dist/data/mypack/function/atan2_fixed/merge_17.mcfunction +0 -6
  390. package/dist/data/mypack/function/atan2_fixed/merge_2.mcfunction +0 -5
  391. package/dist/data/mypack/function/atan2_fixed/merge_20.mcfunction +0 -5
  392. package/dist/data/mypack/function/atan2_fixed/merge_23.mcfunction +0 -5
  393. package/dist/data/mypack/function/atan2_fixed/merge_26.mcfunction +0 -6
  394. package/dist/data/mypack/function/atan2_fixed/merge_29.mcfunction +0 -4
  395. package/dist/data/mypack/function/atan2_fixed/merge_38.mcfunction +0 -5
  396. package/dist/data/mypack/function/atan2_fixed/merge_41.mcfunction +0 -5
  397. package/dist/data/mypack/function/atan2_fixed/merge_44.mcfunction +0 -5
  398. package/dist/data/mypack/function/atan2_fixed/merge_47.mcfunction +0 -5
  399. package/dist/data/mypack/function/atan2_fixed/merge_5.mcfunction +0 -5
  400. package/dist/data/mypack/function/atan2_fixed/merge_8.mcfunction +0 -3
  401. package/dist/data/mypack/function/atan2_fixed/then_0.mcfunction +0 -5
  402. package/dist/data/mypack/function/atan2_fixed/then_12.mcfunction +0 -3
  403. package/dist/data/mypack/function/atan2_fixed/then_15.mcfunction +0 -5
  404. package/dist/data/mypack/function/atan2_fixed/then_18.mcfunction +0 -5
  405. package/dist/data/mypack/function/atan2_fixed/then_21.mcfunction +0 -3
  406. package/dist/data/mypack/function/atan2_fixed/then_24.mcfunction +0 -3
  407. package/dist/data/mypack/function/atan2_fixed/then_27.mcfunction +0 -6
  408. package/dist/data/mypack/function/atan2_fixed/then_3.mcfunction +0 -3
  409. package/dist/data/mypack/function/atan2_fixed/then_33.mcfunction +0 -5
  410. package/dist/data/mypack/function/atan2_fixed/then_36.mcfunction +0 -5
  411. package/dist/data/mypack/function/atan2_fixed/then_39.mcfunction +0 -5
  412. package/dist/data/mypack/function/atan2_fixed/then_42.mcfunction +0 -3
  413. package/dist/data/mypack/function/atan2_fixed/then_45.mcfunction +0 -5
  414. package/dist/data/mypack/function/atan2_fixed/then_6.mcfunction +0 -3
  415. package/dist/data/mypack/function/atan2_fixed/then_9.mcfunction +0 -5
  416. package/dist/data/mypack/function/atan2_fixed.mcfunction +0 -7
  417. package/dist/data/mypack/function/my_game.mcfunction +0 -10
  418. package/dist/data/quiz/function/__load.mcfunction +0 -16
  419. package/dist/data/quiz/function/__tick.mcfunction +0 -6
  420. package/dist/data/quiz/function/__trigger_quiz_a_dispatch.mcfunction +0 -4
  421. package/dist/data/quiz/function/__trigger_quiz_b_dispatch.mcfunction +0 -4
  422. package/dist/data/quiz/function/__trigger_quiz_c_dispatch.mcfunction +0 -4
  423. package/dist/data/quiz/function/__trigger_quiz_start_dispatch.mcfunction +0 -4
  424. package/dist/data/quiz/function/answer_a.mcfunction +0 -4
  425. package/dist/data/quiz/function/answer_b.mcfunction +0 -4
  426. package/dist/data/quiz/function/answer_c.mcfunction +0 -4
  427. package/dist/data/quiz/function/ask_question/else_1.mcfunction +0 -5
  428. package/dist/data/quiz/function/ask_question/else_4.mcfunction +0 -5
  429. package/dist/data/quiz/function/ask_question/else_7.mcfunction +0 -4
  430. package/dist/data/quiz/function/ask_question/merge_2.mcfunction +0 -1
  431. package/dist/data/quiz/function/ask_question/merge_5.mcfunction +0 -2
  432. package/dist/data/quiz/function/ask_question/merge_8.mcfunction +0 -2
  433. package/dist/data/quiz/function/ask_question/then_0.mcfunction +0 -4
  434. package/dist/data/quiz/function/ask_question/then_3.mcfunction +0 -4
  435. package/dist/data/quiz/function/ask_question/then_6.mcfunction +0 -4
  436. package/dist/data/quiz/function/ask_question.mcfunction +0 -7
  437. package/dist/data/quiz/function/finish_quiz.mcfunction +0 -6
  438. package/dist/data/quiz/function/handle_answer/else_1.mcfunction +0 -5
  439. package/dist/data/quiz/function/handle_answer/else_10.mcfunction +0 -3
  440. package/dist/data/quiz/function/handle_answer/else_16.mcfunction +0 -3
  441. package/dist/data/quiz/function/handle_answer/else_4.mcfunction +0 -3
  442. package/dist/data/quiz/function/handle_answer/else_7.mcfunction +0 -5
  443. package/dist/data/quiz/function/handle_answer/merge_11.mcfunction +0 -2
  444. package/dist/data/quiz/function/handle_answer/merge_14.mcfunction +0 -2
  445. package/dist/data/quiz/function/handle_answer/merge_17.mcfunction +0 -2
  446. package/dist/data/quiz/function/handle_answer/merge_2.mcfunction +0 -8
  447. package/dist/data/quiz/function/handle_answer/merge_5.mcfunction +0 -2
  448. package/dist/data/quiz/function/handle_answer/merge_8.mcfunction +0 -2
  449. package/dist/data/quiz/function/handle_answer/then_0.mcfunction +0 -5
  450. package/dist/data/quiz/function/handle_answer/then_12.mcfunction +0 -5
  451. package/dist/data/quiz/function/handle_answer/then_15.mcfunction +0 -6
  452. package/dist/data/quiz/function/handle_answer/then_3.mcfunction +0 -6
  453. package/dist/data/quiz/function/handle_answer/then_6.mcfunction +0 -5
  454. package/dist/data/quiz/function/handle_answer/then_9.mcfunction +0 -6
  455. package/dist/data/quiz/function/handle_answer.mcfunction +0 -11
  456. package/dist/data/quiz/function/start_quiz.mcfunction +0 -5
  457. package/dist/data/reqtest/function/__load.mcfunction +0 -4
  458. package/dist/data/reqtest/function/_table_init.mcfunction +0 -2
  459. package/dist/data/reqtest/function/no_trig.mcfunction +0 -3
  460. package/dist/data/reqtest/function/use_table.mcfunction +0 -4
  461. package/dist/data/reqtest2/function/__load.mcfunction +0 -3
  462. package/dist/data/reqtest2/function/no_trig.mcfunction +0 -3
  463. package/dist/data/runtime/function/__load.mcfunction +0 -5
  464. package/dist/data/runtime/function/__tick.mcfunction +0 -2
  465. package/dist/data/runtime/function/counter_tick/then_0.mcfunction +0 -3
  466. package/dist/data/runtime/function/counter_tick.mcfunction +0 -13
  467. package/dist/data/shop/function/__load.mcfunction +0 -7
  468. package/dist/data/shop/function/__tick.mcfunction +0 -3
  469. package/dist/data/shop/function/__trigger_shop_buy_dispatch.mcfunction +0 -4
  470. package/dist/data/shop/function/complete_purchase/else_1.mcfunction +0 -5
  471. package/dist/data/shop/function/complete_purchase/else_4.mcfunction +0 -5
  472. package/dist/data/shop/function/complete_purchase/else_7.mcfunction +0 -3
  473. package/dist/data/shop/function/complete_purchase/merge_2.mcfunction +0 -2
  474. package/dist/data/shop/function/complete_purchase/merge_5.mcfunction +0 -2
  475. package/dist/data/shop/function/complete_purchase/merge_8.mcfunction +0 -2
  476. package/dist/data/shop/function/complete_purchase/then_0.mcfunction +0 -4
  477. package/dist/data/shop/function/complete_purchase/then_3.mcfunction +0 -4
  478. package/dist/data/shop/function/complete_purchase/then_6.mcfunction +0 -4
  479. package/dist/data/shop/function/complete_purchase.mcfunction +0 -7
  480. package/dist/data/shop/function/handle_shop_trigger.mcfunction +0 -3
  481. package/dist/data/swap_test/function/__load.mcfunction +0 -3
  482. package/dist/data/swap_test/function/gcd_old/loop_body_1.mcfunction +0 -7
  483. package/dist/data/swap_test/function/gcd_old/loop_check_0.mcfunction +0 -5
  484. package/dist/data/swap_test/function/gcd_old/loop_exit_2.mcfunction +0 -3
  485. package/dist/data/swap_test/function/gcd_old.mcfunction +0 -8
  486. package/dist/data/turret/function/__load.mcfunction +0 -5
  487. package/dist/data/turret/function/__tick.mcfunction +0 -4
  488. package/dist/data/turret/function/__trigger_deploy_turret_dispatch.mcfunction +0 -4
  489. package/dist/data/turret/function/deploy_turret.mcfunction +0 -8
  490. package/dist/data/turret/function/turret_tick/at_1.mcfunction +0 -2
  491. package/dist/data/turret/function/turret_tick/foreach_0.mcfunction +0 -2
  492. package/dist/data/turret/function/turret_tick/foreach_2.mcfunction +0 -2
  493. package/dist/data/turret/function/turret_tick/tick_body.mcfunction +0 -3
  494. package/dist/data/turret/function/turret_tick/tick_skip.mcfunction +0 -1
  495. package/dist/data/turret/function/turret_tick.mcfunction +0 -5
  496. package/dist/gcd2.map.json +0 -15
  497. package/dist/gcd3.map.json +0 -17
  498. package/dist/gcd_test.map.json +0 -15
  499. package/dist/index.d.ts +0 -62
  500. package/dist/ir/builder.d.ts +0 -33
  501. package/dist/ir/builder.js +0 -99
  502. package/dist/ir/types.d.ts +0 -132
  503. package/dist/ir/types.js +0 -15
  504. package/dist/isqrttest.map.json +0 -15
  505. package/dist/lowering/index.d.ts +0 -188
  506. package/dist/lowering/index.js +0 -3403
  507. package/dist/mathtest.map.json +0 -6
  508. package/dist/mypack.map.json +0 -27
  509. package/dist/optimizer/commands.d.ts +0 -38
  510. package/dist/optimizer/commands.js +0 -451
  511. package/dist/optimizer/dce.d.ts +0 -34
  512. package/dist/optimizer/dce.js +0 -639
  513. package/dist/optimizer/passes.d.ts +0 -34
  514. package/dist/optimizer/passes.js +0 -243
  515. package/dist/optimizer/structure.d.ts +0 -9
  516. package/dist/optimizer/structure.js +0 -356
  517. package/dist/pack.mcmeta +0 -6
  518. package/dist/reqtest.map.json +0 -4
  519. package/dist/reqtest2.map.json +0 -4
  520. package/dist/runtime.map.json +0 -7
  521. package/dist/swap_test.map.json +0 -14
  522. package/src/__tests__/codegen.test.ts +0 -161
  523. package/src/__tests__/e2e.test.ts +0 -2039
  524. package/src/__tests__/entity-types.test.ts +0 -236
  525. package/src/__tests__/lowering.test.ts +0 -1185
  526. package/src/__tests__/macro.test.ts +0 -343
  527. package/src/__tests__/nbt.test.ts +0 -58
  528. package/src/__tests__/optimizer-advanced.test.ts +0 -144
  529. package/src/__tests__/optimizer.test.ts +0 -162
  530. package/src/__tests__/runtime.test.ts +0 -305
  531. package/src/__tests__/stdlib-advanced.test.ts +0 -379
  532. package/src/__tests__/stdlib-bigint.test.ts +0 -427
  533. package/src/__tests__/stdlib-math.test.ts +0 -374
  534. package/src/__tests__/stdlib-vec.test.ts +0 -259
  535. package/src/__tests__/structure-optimizer.test.ts +0 -38
  536. package/src/__tests__/var-allocator.test.ts +0 -75
  537. package/src/codegen/cmdblock/index.ts +0 -63
  538. package/src/codegen/mcfunction/index.ts +0 -662
  539. package/src/codegen/structure/index.ts +0 -346
  540. package/src/codegen/var-allocator.ts +0 -104
  541. package/src/ir/builder.ts +0 -116
  542. package/src/ir/types.ts +0 -134
  543. package/src/lowering/index.ts +0 -3876
  544. package/src/optimizer/commands.ts +0 -534
  545. package/src/optimizer/passes.ts +0 -250
  546. package/src/optimizer/structure.ts +0 -450
  547. /package/dist/{__tests__/cli.test.d.ts → src/__tests__/budget.test.d.ts} +0 -0
  548. /package/dist/{__tests__/codegen.test.d.ts → src/__tests__/cli.test.d.ts} +0 -0
  549. /package/dist/{__tests__ → src/__tests__}/compile-all.test.d.ts +0 -0
  550. /package/dist/{__tests__ → src/__tests__}/compile-all.test.js +0 -0
  551. /package/dist/{__tests__ → src/__tests__}/dce.test.d.ts +0 -0
  552. /package/dist/{__tests__ → src/__tests__}/diagnostics.test.d.ts +0 -0
  553. /package/dist/{__tests__ → src/__tests__}/formatter.test.d.ts +0 -0
  554. /package/dist/{__tests__ → src/__tests__}/formatter.test.js +0 -0
  555. /package/dist/{__tests__/entity-types.test.d.ts → src/__tests__/hir/desugar.test.d.ts} +0 -0
  556. /package/dist/{__tests__ → src/__tests__}/lexer.test.d.ts +0 -0
  557. /package/dist/{__tests__ → src/__tests__}/lexer.test.js +0 -0
  558. /package/dist/{__tests__/lowering.test.d.ts → src/__tests__/lir/lower.test.d.ts} +0 -0
  559. /package/dist/{__tests__/mc-syntax.test.d.ts → src/__tests__/lir/types.test.d.ts} +0 -0
  560. /package/dist/{__tests__/nbt.test.d.ts → src/__tests__/lir/verify.test.d.ts} +0 -0
  561. /package/dist/{__tests__ → src/__tests__}/mc-integration.test.d.ts +0 -0
  562. /package/dist/{__tests__/optimizer-advanced.test.d.ts → src/__tests__/mc-syntax.test.d.ts} +0 -0
  563. /package/dist/{__tests__ → src/__tests__}/mc-syntax.test.js +0 -0
  564. /package/dist/{__tests__/optimizer.test.d.ts → src/__tests__/mir/arithmetic.test.d.ts} +0 -0
  565. /package/dist/{__tests__/parser.test.d.ts → src/__tests__/mir/control-flow.test.d.ts} +0 -0
  566. /package/dist/{__tests__/repl.test.d.ts → src/__tests__/mir/verify.test.d.ts} +0 -0
  567. /package/dist/{__tests__/runtime.test.d.ts → src/__tests__/optimizer/block_merge.test.d.ts} +0 -0
  568. /package/dist/{__tests__/structure-optimizer.test.d.ts → src/__tests__/optimizer/branch_simplify.test.d.ts} +0 -0
  569. /package/dist/{__tests__/typechecker.test.d.ts → src/__tests__/optimizer/constant_fold.test.d.ts} +0 -0
  570. /package/dist/{__tests__/var-allocator.test.d.ts → src/__tests__/optimizer/copy_prop.test.d.ts} +0 -0
  571. /package/dist/{__tests__ → src/__tests__}/parser.test.js +0 -0
  572. /package/dist/{__tests__ → src/__tests__}/repl.test.js +0 -0
  573. /package/dist/{__tests__ → src/__tests__}/typechecker.test.js +0 -0
  574. /package/dist/{ast → src/ast}/types.js +0 -0
  575. /package/dist/{builtins → src/builtins}/metadata.d.ts +0 -0
  576. /package/dist/{builtins → src/builtins}/metadata.js +0 -0
  577. /package/dist/{events → src/events}/types.d.ts +0 -0
  578. /package/dist/{events → src/events}/types.js +0 -0
  579. /package/dist/{formatter → src/formatter}/index.d.ts +0 -0
  580. /package/dist/{formatter → src/formatter}/index.js +0 -0
  581. /package/dist/{mc-test → src/mc-test}/client.d.ts +0 -0
  582. /package/dist/{mc-test → src/mc-test}/client.js +0 -0
  583. /package/dist/{mc-test → src/mc-test}/runner.d.ts +0 -0
  584. /package/dist/{mc-test → src/mc-test}/setup.d.ts +0 -0
  585. /package/dist/{mc-test → src/mc-test}/setup.js +0 -0
  586. /package/dist/{mc-validator → src/mc-validator}/index.d.ts +0 -0
  587. /package/dist/{mc-validator → src/mc-validator}/index.js +0 -0
  588. /package/dist/{nbt → src/nbt}/index.d.ts +0 -0
  589. /package/dist/{nbt → src/nbt}/index.js +0 -0
  590. /package/dist/{repl.js → src/repl.js} +0 -0
  591. /package/dist/{runtime → src/runtime}/index.d.ts +0 -0
  592. /package/dist/{types → src/types}/entity-hierarchy.d.ts +0 -0
  593. /package/dist/{types → src/types}/entity-hierarchy.js +0 -0
@@ -1,6 +0,0 @@
1
- {
2
- "$b": "x",
3
- "$a": "const:0",
4
- "$c": "internal:p0",
5
- "$f": "internal:ret"
6
- }
@@ -1,27 +0,0 @@
1
- {
2
- "$o": "x",
3
- "$r": "execute",
4
- "$u": "y",
5
- "$aa": "ax",
6
- "$ad": "ay",
7
- "$ai": "swapped",
8
- "$ak": "tmp",
9
- "$al": "lo",
10
- "$am": "hi",
11
- "$ar": "mid",
12
- "$as": "t",
13
- "$ax": "theta",
14
- "$a": "const:0",
15
- "$b": "const:1",
16
- "$c": "const:2",
17
- "$d": "const:45",
18
- "$e": "const:90",
19
- "$f": "const:180",
20
- "$g": "const:270",
21
- "$h": "const:360",
22
- "$i": "const:1000",
23
- "$j": "const:46340",
24
- "$k": "internal:ret",
25
- "$n": "internal:p0",
26
- "$t": "internal:p1"
27
- }
@@ -1,38 +0,0 @@
1
- import type { IRCommand } from '../ir/types';
2
- export interface OptimizationStats {
3
- licmHoists: number;
4
- licmLoopBodies: number;
5
- cseRedundantReads: number;
6
- cseArithmetic: number;
7
- setblockMergedCommands: number;
8
- setblockFillCommands: number;
9
- setblockSavedCommands: number;
10
- deadCodeRemoved: number;
11
- constantFolds: number;
12
- inlinedTrivialFunctions: number;
13
- totalCommandsBefore: number;
14
- totalCommandsAfter: number;
15
- }
16
- export interface CommandFunction {
17
- name: string;
18
- commands: IRCommand[];
19
- }
20
- export declare function setOptimizerObjective(obj: string): void;
21
- export declare function createEmptyOptimizationStats(): OptimizationStats;
22
- export declare function mergeOptimizationStats(base: OptimizationStats, delta: Partial<OptimizationStats>): void;
23
- export declare function applyLICM(functions: CommandFunction[]): {
24
- functions: CommandFunction[];
25
- stats: OptimizationStats;
26
- };
27
- export declare function applyCSE(functions: CommandFunction[]): {
28
- functions: CommandFunction[];
29
- stats: OptimizationStats;
30
- };
31
- export declare function batchSetblocks(functions: CommandFunction[]): {
32
- functions: CommandFunction[];
33
- stats: OptimizationStats;
34
- };
35
- export declare function optimizeCommandFunctions(functions: CommandFunction[]): {
36
- functions: CommandFunction[];
37
- stats: OptimizationStats;
38
- };
@@ -1,451 +0,0 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", { value: true });
3
- exports.setOptimizerObjective = setOptimizerObjective;
4
- exports.createEmptyOptimizationStats = createEmptyOptimizationStats;
5
- exports.mergeOptimizationStats = mergeOptimizationStats;
6
- exports.applyLICM = applyLICM;
7
- exports.applyCSE = applyCSE;
8
- exports.batchSetblocks = batchSetblocks;
9
- exports.optimizeCommandFunctions = optimizeCommandFunctions;
10
- // Matches scoreboard reads for LICM/CSE — objective is captured in group 2
11
- // so the optimizer can reconstruct the command with the same objective.
12
- let _OBJ_PATTERN = 'rs';
13
- function setOptimizerObjective(obj) { _OBJ_PATTERN = obj; }
14
- function scoreboardReadRe() {
15
- return new RegExp(`^execute store result score (\\$[A-Za-z0-9_]+) ${_OBJ_PATTERN} run scoreboard players get (\\S+) (\\S+)$`);
16
- }
17
- const SCOREBOARD_WRITE_RE = /^(?:scoreboard players (?:set|add|remove|reset)\s+(\S+)\s+(\S+)|scoreboard players operation\s+(\S+)\s+(\S+)\s+[+\-*/%]?= )/;
18
- const EXECUTE_STORE_SCORE_RE = /^execute store result score (\S+) (\S+) run /;
19
- const FUNCTION_CALL_RE = /^execute as (.+) run function ([^:]+):(.+)$/;
20
- const TEMP_RE = /\$[A-Za-z0-9_]+/g;
21
- const SETBLOCK_RE = /^setblock (-?\d+) (-?\d+) (-?\d+) (\S+)$/;
22
- function createEmptyOptimizationStats() {
23
- return {
24
- licmHoists: 0,
25
- licmLoopBodies: 0,
26
- cseRedundantReads: 0,
27
- cseArithmetic: 0,
28
- setblockMergedCommands: 0,
29
- setblockFillCommands: 0,
30
- setblockSavedCommands: 0,
31
- deadCodeRemoved: 0,
32
- constantFolds: 0,
33
- inlinedTrivialFunctions: 0,
34
- totalCommandsBefore: 0,
35
- totalCommandsAfter: 0,
36
- };
37
- }
38
- function cloneCommand(command) {
39
- return { ...command };
40
- }
41
- function cloneFunctions(functions) {
42
- return functions.map(fn => ({
43
- name: fn.name,
44
- commands: fn.commands.map(cloneCommand),
45
- }));
46
- }
47
- function mergeOptimizationStats(base, delta) {
48
- for (const [key, value] of Object.entries(delta)) {
49
- base[key] += value;
50
- }
51
- }
52
- function parseScoreboardWrite(command) {
53
- const executeStoreMatch = command.match(EXECUTE_STORE_SCORE_RE);
54
- if (executeStoreMatch) {
55
- return { player: executeStoreMatch[1], objective: executeStoreMatch[2] };
56
- }
57
- const match = command.match(SCOREBOARD_WRITE_RE);
58
- if (!match) {
59
- return null;
60
- }
61
- if (match[1] && match[2]) {
62
- return { player: match[1], objective: match[2] };
63
- }
64
- if (match[3] && match[4]) {
65
- return { player: match[3], objective: match[4] };
66
- }
67
- return null;
68
- }
69
- function replaceTemp(command, from, to) {
70
- const re = new RegExp(`\\${from}(?![A-Za-z0-9_])`, 'g');
71
- return command.replace(re, to);
72
- }
73
- function collectObjectiveWrites(functions) {
74
- const writes = new Map();
75
- for (const fn of functions) {
76
- for (const command of fn.commands) {
77
- const write = parseScoreboardWrite(command.cmd);
78
- if (!write)
79
- continue;
80
- writes.set(write.objective, (writes.get(write.objective) ?? 0) + 1);
81
- }
82
- }
83
- return writes;
84
- }
85
- function applyLICMInternal(functions) {
86
- const stats = { licmHoists: 0, licmLoopBodies: 0 };
87
- const functionMap = new Map(functions.map(fn => [fn.name, fn]));
88
- const objectiveWrites = collectObjectiveWrites(functions);
89
- for (const fn of functions) {
90
- const nextCommands = [];
91
- for (const command of fn.commands) {
92
- const match = command.cmd.match(FUNCTION_CALL_RE);
93
- if (!match) {
94
- nextCommands.push(command);
95
- continue;
96
- }
97
- const loopFn = functionMap.get(match[3]);
98
- if (!loopFn) {
99
- nextCommands.push(command);
100
- continue;
101
- }
102
- const readInfo = new Map();
103
- const scoreboardWrites = new Set();
104
- for (const inner of loopFn.commands) {
105
- const readMatch = inner.cmd.match(scoreboardReadRe());
106
- if (readMatch) {
107
- const [, temp, player, objective] = readMatch;
108
- const key = `${player} ${objective}`;
109
- readInfo.set(key, { temp, player, objective, uses: 0 });
110
- }
111
- const write = parseScoreboardWrite(inner.cmd);
112
- if (write) {
113
- scoreboardWrites.add(`${write.player} ${write.objective}`);
114
- }
115
- }
116
- for (const inner of loopFn.commands) {
117
- for (const info of readInfo.values()) {
118
- const matches = inner.cmd.match(TEMP_RE) ?? [];
119
- const usageCount = matches.filter(name => name === info.temp).length;
120
- const isDef = inner.cmd.startsWith(`execute store result score ${info.temp} ${_OBJ_PATTERN} run scoreboard players get `);
121
- if (!isDef) {
122
- info.uses += usageCount;
123
- }
124
- }
125
- }
126
- const hoistable = Array.from(readInfo.entries())
127
- .filter(([key, info]) => {
128
- if (info.uses < 2)
129
- return false;
130
- if ((objectiveWrites.get(info.objective) ?? 0) !== 0)
131
- return false;
132
- if (scoreboardWrites.has(key))
133
- return false;
134
- return true;
135
- })
136
- .map(([, info]) => info);
137
- if (hoistable.length === 0) {
138
- nextCommands.push(command);
139
- continue;
140
- }
141
- const hoistedTemps = new Set(hoistable.map(item => item.temp));
142
- const rewrittenLoopCommands = [];
143
- for (const inner of loopFn.commands) {
144
- const readMatch = inner.cmd.match(scoreboardReadRe());
145
- if (readMatch && hoistedTemps.has(readMatch[1])) {
146
- continue;
147
- }
148
- rewrittenLoopCommands.push(inner);
149
- }
150
- loopFn.commands = rewrittenLoopCommands;
151
- nextCommands.push(...hoistable.map(item => ({
152
- cmd: `execute store result score ${item.temp} ${_OBJ_PATTERN} run scoreboard players get ${item.player} ${item.objective}`,
153
- })), command);
154
- stats.licmHoists = (stats.licmHoists ?? 0) + hoistable.length;
155
- stats.licmLoopBodies = (stats.licmLoopBodies ?? 0) + 1;
156
- }
157
- fn.commands = nextCommands;
158
- }
159
- return stats;
160
- }
161
- function extractArithmeticExpression(commands, index) {
162
- const assign = commands[index]?.cmd.match(new RegExp(`^scoreboard players operation (\\$[A-Za-z0-9_]+) ${_OBJ_PATTERN} = (\\$[A-Za-z0-9_]+|\\$const_-?\\d+) ${_OBJ_PATTERN}$`)) ??
163
- commands[index]?.cmd.match(new RegExp(`^scoreboard players set (\\$[A-Za-z0-9_]+) ${_OBJ_PATTERN} (-?\\d+)$`));
164
- const op = commands[index + 1]?.cmd.match(new RegExp(`^scoreboard players operation (\\$[A-Za-z0-9_]+) ${_OBJ_PATTERN} ([+\\-*/%]=) (\\$[A-Za-z0-9_]+|\\$const_-?\\d+) ${_OBJ_PATTERN}$`));
165
- if (!assign || !op || assign[1] !== op[1]) {
166
- return null;
167
- }
168
- return {
169
- key: `${assign[2]} ${op[2]} ${op[3]}`,
170
- dst: assign[1],
171
- };
172
- }
173
- function applyCSEInternal(functions) {
174
- const stats = { cseRedundantReads: 0, cseArithmetic: 0 };
175
- for (const fn of functions) {
176
- const commands = fn.commands.map(cloneCommand);
177
- const readCache = new Map();
178
- const exprCache = new Map();
179
- const rewritten = [];
180
- function invalidateByTemp(temp) {
181
- for (const [key, value] of readCache.entries()) {
182
- if (value === temp || key.includes(`${temp} `) || key.endsWith(` ${temp}`)) {
183
- readCache.delete(key);
184
- }
185
- }
186
- for (const [key, value] of exprCache.entries()) {
187
- if (value === temp || key.includes(temp)) {
188
- exprCache.delete(key);
189
- }
190
- }
191
- }
192
- for (let i = 0; i < commands.length; i++) {
193
- const command = commands[i];
194
- const readMatch = command.cmd.match(scoreboardReadRe());
195
- if (readMatch) {
196
- const [, dst, player, objective] = readMatch;
197
- const key = `${player} ${objective}`;
198
- const cached = readCache.get(key);
199
- if (cached) {
200
- stats.cseRedundantReads = (stats.cseRedundantReads ?? 0) + 1;
201
- rewritten.push({ ...command, cmd: `scoreboard players operation ${dst} ${_OBJ_PATTERN} = ${cached} ${_OBJ_PATTERN}` });
202
- }
203
- else {
204
- readCache.set(key, dst);
205
- rewritten.push(command);
206
- }
207
- invalidateByTemp(dst);
208
- readCache.set(key, dst);
209
- continue;
210
- }
211
- const expr = extractArithmeticExpression(commands, i);
212
- if (expr) {
213
- const cached = exprCache.get(expr.key);
214
- if (cached) {
215
- rewritten.push({ ...commands[i], cmd: `scoreboard players operation ${expr.dst} ${_OBJ_PATTERN} = ${cached} ${_OBJ_PATTERN}` });
216
- stats.cseArithmetic = (stats.cseArithmetic ?? 0) + 1;
217
- i += 1;
218
- }
219
- else {
220
- rewritten.push(command);
221
- rewritten.push(commands[i + 1]);
222
- exprCache.set(expr.key, expr.dst);
223
- i += 1;
224
- }
225
- invalidateByTemp(expr.dst);
226
- exprCache.set(expr.key, expr.dst);
227
- continue;
228
- }
229
- const write = parseScoreboardWrite(command.cmd);
230
- if (write) {
231
- readCache.delete(`${write.player} ${write.objective}`);
232
- if (write.player.startsWith('$')) {
233
- invalidateByTemp(write.player);
234
- }
235
- }
236
- rewritten.push(command);
237
- }
238
- fn.commands = rewritten;
239
- }
240
- return stats;
241
- }
242
- function batchSetblocksInCommands(commands) {
243
- const rewritten = [];
244
- const stats = {
245
- setblockMergedCommands: 0,
246
- setblockFillCommands: 0,
247
- setblockSavedCommands: 0,
248
- };
249
- for (let i = 0; i < commands.length;) {
250
- const start = commands[i].cmd.match(SETBLOCK_RE);
251
- if (!start) {
252
- rewritten.push(commands[i]);
253
- i++;
254
- continue;
255
- }
256
- const block = start[4];
257
- const run = [{ index: i, x: Number(start[1]), y: Number(start[2]), z: Number(start[3]) }];
258
- let axis = null;
259
- let j = i + 1;
260
- while (j < commands.length) {
261
- const next = commands[j].cmd.match(SETBLOCK_RE);
262
- if (!next || next[4] !== block)
263
- break;
264
- const point = { x: Number(next[1]), y: Number(next[2]), z: Number(next[3]) };
265
- const prev = run[run.length - 1];
266
- if (point.y !== prev.y)
267
- break;
268
- const stepX = point.x - prev.x;
269
- const stepZ = point.z - prev.z;
270
- if (axis === null) {
271
- if (stepX === 1 && stepZ === 0)
272
- axis = 'x';
273
- else if (stepX === 0 && stepZ === 1)
274
- axis = 'z';
275
- else
276
- break;
277
- }
278
- const valid = axis === 'x'
279
- ? point.z === prev.z && stepX === 1 && stepZ === 0
280
- : point.x === prev.x && stepX === 0 && stepZ === 1;
281
- if (!valid)
282
- break;
283
- run.push({ index: j, ...point });
284
- j++;
285
- }
286
- if (run.length >= 2) {
287
- const first = run[0];
288
- const last = run[run.length - 1];
289
- rewritten.push({
290
- ...commands[i],
291
- cmd: `fill ${first.x} ${first.y} ${first.z} ${last.x} ${last.y} ${last.z} ${block}`,
292
- });
293
- stats.setblockMergedCommands = (stats.setblockMergedCommands ?? 0) + run.length;
294
- stats.setblockFillCommands = (stats.setblockFillCommands ?? 0) + 1;
295
- stats.setblockSavedCommands = (stats.setblockSavedCommands ?? 0) + (run.length - 1);
296
- i = j;
297
- continue;
298
- }
299
- rewritten.push(commands[i]);
300
- i++;
301
- }
302
- return { commands: rewritten, stats };
303
- }
304
- function applySetblockBatchingInternal(functions) {
305
- const stats = {
306
- setblockMergedCommands: 0,
307
- setblockFillCommands: 0,
308
- setblockSavedCommands: 0,
309
- };
310
- for (const fn of functions) {
311
- const batched = batchSetblocksInCommands(fn.commands);
312
- fn.commands = batched.commands;
313
- mergeOptimizationStats(stats, batched.stats);
314
- }
315
- return stats;
316
- }
317
- function applyLICM(functions) {
318
- const optimized = cloneFunctions(functions);
319
- const stats = createEmptyOptimizationStats();
320
- stats.totalCommandsBefore = optimized.reduce((sum, fn) => sum + fn.commands.length, 0);
321
- mergeOptimizationStats(stats, applyLICMInternal(optimized));
322
- stats.totalCommandsAfter = optimized.reduce((sum, fn) => sum + fn.commands.length, 0);
323
- return { functions: optimized, stats };
324
- }
325
- function applyCSE(functions) {
326
- const optimized = cloneFunctions(functions);
327
- const stats = createEmptyOptimizationStats();
328
- stats.totalCommandsBefore = optimized.reduce((sum, fn) => sum + fn.commands.length, 0);
329
- mergeOptimizationStats(stats, applyCSEInternal(optimized));
330
- stats.totalCommandsAfter = optimized.reduce((sum, fn) => sum + fn.commands.length, 0);
331
- return { functions: optimized, stats };
332
- }
333
- function batchSetblocks(functions) {
334
- const optimized = cloneFunctions(functions);
335
- const stats = createEmptyOptimizationStats();
336
- stats.totalCommandsBefore = optimized.reduce((sum, fn) => sum + fn.commands.length, 0);
337
- mergeOptimizationStats(stats, applySetblockBatchingInternal(optimized));
338
- stats.totalCommandsAfter = optimized.reduce((sum, fn) => sum + fn.commands.length, 0);
339
- return { functions: optimized, stats };
340
- }
341
- /**
342
- * Inline trivial functions:
343
- * 1. Functions that only contain a single `function` call → inline the call
344
- * 2. Empty functions (no commands) → remove and eliminate all calls to them
345
- */
346
- function inlineTrivialFunctions(functions) {
347
- const FUNCTION_CMD_RE = /^function ([^:]+):(.+)$/;
348
- // Find trivial functions (only a single function call, no other commands)
349
- const trivialMap = new Map(); // fn name -> target fn name
350
- const emptyFunctions = new Set(); // functions with no commands
351
- // System functions that should never be removed
352
- const SYSTEM_FUNCTIONS = new Set(['__tick', '__load']);
353
- for (const fn of functions) {
354
- // Never remove system functions
355
- if (SYSTEM_FUNCTIONS.has(fn.name) || fn.name.startsWith('__trigger_')) {
356
- continue;
357
- }
358
- const nonCommentCmds = fn.commands.filter(cmd => !cmd.cmd.startsWith('#'));
359
- if (nonCommentCmds.length === 0 && fn.name.includes('/')) {
360
- // Empty control-flow block (e.g., main/merge_5) - mark for removal
361
- // Only remove if it's a sub-block (contains /), not a top-level function
362
- emptyFunctions.add(fn.name);
363
- }
364
- else if (nonCommentCmds.length === 1 && fn.name.includes('/')) {
365
- const match = nonCommentCmds[0].cmd.match(FUNCTION_CMD_RE);
366
- if (match) {
367
- // This function only calls another function
368
- trivialMap.set(fn.name, match[2]);
369
- }
370
- }
371
- }
372
- // Resolve chains: if A -> B -> C, then A -> C
373
- // Also handle: A -> B where B is empty → A is effectively empty
374
- let changed = true;
375
- while (changed) {
376
- changed = false;
377
- for (const [from, to] of trivialMap) {
378
- if (emptyFunctions.has(to)) {
379
- // Target is empty, so this function is effectively empty too
380
- trivialMap.delete(from);
381
- emptyFunctions.add(from);
382
- changed = true;
383
- }
384
- else {
385
- const finalTarget = trivialMap.get(to);
386
- if (finalTarget && finalTarget !== to) {
387
- trivialMap.set(from, finalTarget);
388
- changed = true;
389
- }
390
- }
391
- }
392
- }
393
- const totalRemoved = trivialMap.size + emptyFunctions.size;
394
- if (totalRemoved === 0) {
395
- return { functions, stats: {} };
396
- }
397
- // Set of all functions to remove
398
- const removedNames = new Set([...trivialMap.keys(), ...emptyFunctions]);
399
- // Rewrite all function calls to skip trivial wrappers or remove empty calls
400
- const result = [];
401
- for (const fn of functions) {
402
- // Skip removed functions
403
- if (removedNames.has(fn.name)) {
404
- continue;
405
- }
406
- // Rewrite function calls in this function
407
- const rewrittenCmds = [];
408
- for (const cmd of fn.commands) {
409
- // Check if this is a call to an empty function
410
- const emptyCallMatch = cmd.cmd.match(/^(?:execute .* run )?function ([^:]+):([^\s]+)$/);
411
- if (emptyCallMatch) {
412
- const targetFn = emptyCallMatch[2];
413
- if (emptyFunctions.has(targetFn)) {
414
- // Skip calls to empty functions entirely
415
- continue;
416
- }
417
- }
418
- // Rewrite calls to trivial wrapper functions
419
- const rewritten = cmd.cmd.replace(/function ([^:]+):([^\s]+)/g, (match, ns, fnPath) => {
420
- const target = trivialMap.get(fnPath);
421
- return target ? `function ${ns}:${target}` : match;
422
- });
423
- rewrittenCmds.push({ ...cmd, cmd: rewritten });
424
- }
425
- result.push({ name: fn.name, commands: rewrittenCmds });
426
- }
427
- return {
428
- functions: result,
429
- stats: { inlinedTrivialFunctions: totalRemoved }
430
- };
431
- }
432
- function optimizeCommandFunctions(functions) {
433
- const initial = cloneFunctions(functions);
434
- const stats = createEmptyOptimizationStats();
435
- stats.totalCommandsBefore = initial.reduce((sum, fn) => sum + fn.commands.length, 0);
436
- // First pass: inline trivial functions
437
- const inlined = inlineTrivialFunctions(initial);
438
- mergeOptimizationStats(stats, inlined.stats);
439
- const licm = applyLICM(inlined.functions);
440
- mergeOptimizationStats(stats, licm.stats);
441
- const cse = applyCSE(licm.functions);
442
- mergeOptimizationStats(stats, cse.stats);
443
- const batched = batchSetblocks(cse.functions);
444
- mergeOptimizationStats(stats, batched.stats);
445
- stats.totalCommandsAfter = batched.functions.reduce((sum, fn) => sum + fn.commands.length, 0);
446
- return {
447
- functions: batched.functions,
448
- stats,
449
- };
450
- }
451
- //# sourceMappingURL=commands.js.map
@@ -1,34 +0,0 @@
1
- import type { Program } from '../ast/types';
2
- export interface DCEWarning {
3
- message: string;
4
- code: string;
5
- line?: number;
6
- col?: number;
7
- filePath?: string;
8
- }
9
- export declare class DeadCodeEliminator {
10
- private readonly functionMap;
11
- private readonly reachableFunctions;
12
- private readonly usedConstants;
13
- private readonly localReads;
14
- private readonly localDeclIds;
15
- private localIdCounter;
16
- readonly warnings: DCEWarning[];
17
- eliminate(program: Program): Program;
18
- private findEntryPoints;
19
- private markReachable;
20
- private collectFunctionRefs;
21
- private collectStmtRefs;
22
- private collectStmtRef;
23
- private collectNestedStmtRefs;
24
- private collectExprRefs;
25
- private resolveLocal;
26
- private transformFunction;
27
- private transformBlock;
28
- private transformStmt;
29
- private transformExpr;
30
- }
31
- export declare function eliminateDeadCode(program: Program, sourceRanges?: import('../compile').SourceRange[]): {
32
- program: Program;
33
- warnings: DCEWarning[];
34
- };