redscript-mc 1.2.30 → 2.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (269) hide show
  1. package/.claude/commands/build-test.md +10 -0
  2. package/.claude/commands/deploy-demo.md +12 -0
  3. package/.claude/commands/stage-status.md +13 -0
  4. package/.claude/settings.json +12 -0
  5. package/.github/workflows/ci.yml +1 -0
  6. package/CLAUDE.md +231 -0
  7. package/demo.gif +0 -0
  8. package/dist/cli.js +2 -554
  9. package/dist/compile.js +2 -266
  10. package/dist/index.js +2 -159
  11. package/dist/lowering/index.js +5 -3
  12. package/dist/src/__tests__/cli.test.d.ts +1 -0
  13. package/dist/src/__tests__/cli.test.js +104 -0
  14. package/dist/src/__tests__/codegen.test.d.ts +1 -0
  15. package/dist/src/__tests__/codegen.test.js +152 -0
  16. package/dist/src/__tests__/compile-all.test.d.ts +10 -0
  17. package/dist/src/__tests__/compile-all.test.js +108 -0
  18. package/dist/src/__tests__/dce.test.d.ts +1 -0
  19. package/dist/src/__tests__/dce.test.js +102 -0
  20. package/dist/src/__tests__/diagnostics.test.d.ts +4 -0
  21. package/dist/src/__tests__/diagnostics.test.js +177 -0
  22. package/dist/src/__tests__/e2e.test.d.ts +6 -0
  23. package/dist/src/__tests__/e2e.test.js +1789 -0
  24. package/dist/src/__tests__/entity-types.test.d.ts +1 -0
  25. package/dist/src/__tests__/entity-types.test.js +203 -0
  26. package/dist/src/__tests__/formatter.test.d.ts +1 -0
  27. package/dist/src/__tests__/formatter.test.js +40 -0
  28. package/dist/src/__tests__/lexer.test.d.ts +1 -0
  29. package/dist/src/__tests__/lexer.test.js +343 -0
  30. package/dist/src/__tests__/lowering.test.d.ts +1 -0
  31. package/dist/src/__tests__/lowering.test.js +1015 -0
  32. package/dist/src/__tests__/macro.test.d.ts +8 -0
  33. package/dist/src/__tests__/macro.test.js +306 -0
  34. package/dist/src/__tests__/mc-integration.test.d.ts +12 -0
  35. package/dist/src/__tests__/mc-integration.test.js +817 -0
  36. package/dist/src/__tests__/mc-syntax.test.d.ts +1 -0
  37. package/dist/src/__tests__/mc-syntax.test.js +124 -0
  38. package/dist/src/__tests__/nbt.test.d.ts +1 -0
  39. package/dist/src/__tests__/nbt.test.js +82 -0
  40. package/dist/src/__tests__/optimizer-advanced.test.d.ts +1 -0
  41. package/dist/src/__tests__/optimizer-advanced.test.js +124 -0
  42. package/dist/src/__tests__/optimizer.test.d.ts +1 -0
  43. package/dist/src/__tests__/optimizer.test.js +149 -0
  44. package/dist/src/__tests__/parser.test.d.ts +1 -0
  45. package/dist/src/__tests__/parser.test.js +807 -0
  46. package/dist/src/__tests__/repl.test.d.ts +1 -0
  47. package/dist/src/__tests__/repl.test.js +27 -0
  48. package/dist/src/__tests__/runtime.test.d.ts +1 -0
  49. package/dist/src/__tests__/runtime.test.js +289 -0
  50. package/dist/src/__tests__/stdlib-advanced.test.d.ts +4 -0
  51. package/dist/src/__tests__/stdlib-advanced.test.js +374 -0
  52. package/dist/src/__tests__/stdlib-bigint.test.d.ts +7 -0
  53. package/dist/src/__tests__/stdlib-bigint.test.js +426 -0
  54. package/dist/src/__tests__/stdlib-math.test.d.ts +7 -0
  55. package/dist/src/__tests__/stdlib-math.test.js +351 -0
  56. package/dist/src/__tests__/stdlib-vec.test.d.ts +4 -0
  57. package/dist/src/__tests__/stdlib-vec.test.js +263 -0
  58. package/dist/src/__tests__/structure-optimizer.test.d.ts +1 -0
  59. package/dist/src/__tests__/structure-optimizer.test.js +33 -0
  60. package/dist/src/__tests__/typechecker.test.d.ts +1 -0
  61. package/dist/src/__tests__/typechecker.test.js +552 -0
  62. package/dist/src/__tests__/var-allocator.test.d.ts +1 -0
  63. package/dist/src/__tests__/var-allocator.test.js +69 -0
  64. package/dist/src/ast/types.d.ts +515 -0
  65. package/dist/src/ast/types.js +9 -0
  66. package/dist/src/builtins/metadata.d.ts +36 -0
  67. package/dist/src/builtins/metadata.js +1014 -0
  68. package/dist/src/cli.d.ts +11 -0
  69. package/dist/src/cli.js +443 -0
  70. package/dist/src/codegen/cmdblock/index.d.ts +26 -0
  71. package/dist/src/codegen/cmdblock/index.js +45 -0
  72. package/dist/src/codegen/mcfunction/index.d.ts +40 -0
  73. package/dist/src/codegen/mcfunction/index.js +606 -0
  74. package/dist/src/codegen/structure/index.d.ts +24 -0
  75. package/dist/src/codegen/structure/index.js +279 -0
  76. package/dist/src/codegen/var-allocator.d.ts +45 -0
  77. package/dist/src/codegen/var-allocator.js +104 -0
  78. package/dist/src/compile.d.ts +37 -0
  79. package/dist/src/compile.js +165 -0
  80. package/dist/src/diagnostics/index.d.ts +44 -0
  81. package/dist/src/diagnostics/index.js +140 -0
  82. package/dist/src/events/types.d.ts +35 -0
  83. package/dist/src/events/types.js +59 -0
  84. package/dist/src/formatter/index.d.ts +1 -0
  85. package/dist/src/formatter/index.js +26 -0
  86. package/dist/src/index.d.ts +22 -0
  87. package/dist/src/index.js +45 -0
  88. package/dist/src/ir/builder.d.ts +33 -0
  89. package/dist/src/ir/builder.js +99 -0
  90. package/dist/src/ir/types.d.ts +132 -0
  91. package/dist/src/ir/types.js +15 -0
  92. package/dist/src/lexer/index.d.ts +37 -0
  93. package/dist/src/lexer/index.js +569 -0
  94. package/dist/src/lowering/index.d.ts +188 -0
  95. package/dist/src/lowering/index.js +3405 -0
  96. package/dist/src/mc-test/client.d.ts +128 -0
  97. package/dist/src/mc-test/client.js +174 -0
  98. package/dist/src/mc-test/runner.d.ts +28 -0
  99. package/dist/src/mc-test/runner.js +151 -0
  100. package/dist/src/mc-test/setup.d.ts +11 -0
  101. package/dist/src/mc-test/setup.js +98 -0
  102. package/dist/src/mc-validator/index.d.ts +17 -0
  103. package/dist/src/mc-validator/index.js +322 -0
  104. package/dist/src/nbt/index.d.ts +86 -0
  105. package/dist/src/nbt/index.js +250 -0
  106. package/dist/src/optimizer/commands.d.ts +38 -0
  107. package/dist/src/optimizer/commands.js +451 -0
  108. package/dist/src/optimizer/dce.d.ts +34 -0
  109. package/dist/src/optimizer/dce.js +639 -0
  110. package/dist/src/optimizer/passes.d.ts +34 -0
  111. package/dist/src/optimizer/passes.js +243 -0
  112. package/dist/src/optimizer/structure.d.ts +9 -0
  113. package/dist/src/optimizer/structure.js +356 -0
  114. package/dist/src/parser/index.d.ts +93 -0
  115. package/dist/src/parser/index.js +1687 -0
  116. package/dist/src/repl.d.ts +16 -0
  117. package/dist/src/repl.js +165 -0
  118. package/dist/src/runtime/index.d.ts +107 -0
  119. package/dist/src/runtime/index.js +1409 -0
  120. package/dist/src/typechecker/index.d.ts +61 -0
  121. package/dist/src/typechecker/index.js +1034 -0
  122. package/dist/src/types/entity-hierarchy.d.ts +29 -0
  123. package/dist/src/types/entity-hierarchy.js +107 -0
  124. package/dist/src2/__tests__/e2e/basic.test.d.ts +8 -0
  125. package/dist/src2/__tests__/e2e/basic.test.js +140 -0
  126. package/dist/src2/__tests__/e2e/macros.test.d.ts +9 -0
  127. package/dist/src2/__tests__/e2e/macros.test.js +182 -0
  128. package/dist/src2/__tests__/e2e/migrate.test.d.ts +13 -0
  129. package/dist/src2/__tests__/e2e/migrate.test.js +2739 -0
  130. package/dist/src2/__tests__/hir/desugar.test.d.ts +1 -0
  131. package/dist/src2/__tests__/hir/desugar.test.js +234 -0
  132. package/dist/src2/__tests__/lir/lower.test.d.ts +1 -0
  133. package/dist/src2/__tests__/lir/lower.test.js +559 -0
  134. package/dist/src2/__tests__/lir/types.test.d.ts +1 -0
  135. package/dist/src2/__tests__/lir/types.test.js +185 -0
  136. package/dist/src2/__tests__/lir/verify.test.d.ts +1 -0
  137. package/dist/src2/__tests__/lir/verify.test.js +221 -0
  138. package/dist/src2/__tests__/mir/arithmetic.test.d.ts +1 -0
  139. package/dist/src2/__tests__/mir/arithmetic.test.js +130 -0
  140. package/dist/src2/__tests__/mir/control-flow.test.d.ts +1 -0
  141. package/dist/src2/__tests__/mir/control-flow.test.js +205 -0
  142. package/dist/src2/__tests__/mir/verify.test.d.ts +1 -0
  143. package/dist/src2/__tests__/mir/verify.test.js +223 -0
  144. package/dist/src2/__tests__/optimizer/block_merge.test.d.ts +1 -0
  145. package/dist/src2/__tests__/optimizer/block_merge.test.js +78 -0
  146. package/dist/src2/__tests__/optimizer/branch_simplify.test.d.ts +1 -0
  147. package/dist/src2/__tests__/optimizer/branch_simplify.test.js +58 -0
  148. package/dist/src2/__tests__/optimizer/constant_fold.test.d.ts +1 -0
  149. package/dist/src2/__tests__/optimizer/constant_fold.test.js +131 -0
  150. package/dist/src2/__tests__/optimizer/copy_prop.test.d.ts +1 -0
  151. package/dist/src2/__tests__/optimizer/copy_prop.test.js +91 -0
  152. package/dist/src2/__tests__/optimizer/dce.test.d.ts +1 -0
  153. package/dist/src2/__tests__/optimizer/dce.test.js +76 -0
  154. package/dist/src2/__tests__/optimizer/pipeline.test.d.ts +1 -0
  155. package/dist/src2/__tests__/optimizer/pipeline.test.js +102 -0
  156. package/dist/src2/emit/compile.d.ts +19 -0
  157. package/dist/src2/emit/compile.js +80 -0
  158. package/dist/src2/emit/index.d.ts +17 -0
  159. package/dist/src2/emit/index.js +172 -0
  160. package/dist/src2/hir/lower.d.ts +15 -0
  161. package/dist/src2/hir/lower.js +378 -0
  162. package/dist/src2/hir/types.d.ts +373 -0
  163. package/dist/src2/hir/types.js +16 -0
  164. package/dist/src2/lir/lower.d.ts +15 -0
  165. package/dist/src2/lir/lower.js +453 -0
  166. package/dist/src2/lir/types.d.ts +136 -0
  167. package/dist/src2/lir/types.js +11 -0
  168. package/dist/src2/lir/verify.d.ts +14 -0
  169. package/dist/src2/lir/verify.js +113 -0
  170. package/dist/src2/mir/lower.d.ts +9 -0
  171. package/dist/src2/mir/lower.js +1030 -0
  172. package/dist/src2/mir/macro.d.ts +22 -0
  173. package/dist/src2/mir/macro.js +168 -0
  174. package/dist/src2/mir/types.d.ts +183 -0
  175. package/dist/src2/mir/types.js +11 -0
  176. package/dist/src2/mir/verify.d.ts +16 -0
  177. package/dist/src2/mir/verify.js +216 -0
  178. package/dist/src2/optimizer/block_merge.d.ts +12 -0
  179. package/dist/src2/optimizer/block_merge.js +84 -0
  180. package/dist/src2/optimizer/branch_simplify.d.ts +9 -0
  181. package/dist/src2/optimizer/branch_simplify.js +28 -0
  182. package/dist/src2/optimizer/constant_fold.d.ts +10 -0
  183. package/dist/src2/optimizer/constant_fold.js +85 -0
  184. package/dist/src2/optimizer/copy_prop.d.ts +9 -0
  185. package/dist/src2/optimizer/copy_prop.js +113 -0
  186. package/dist/src2/optimizer/dce.d.ts +8 -0
  187. package/dist/src2/optimizer/dce.js +155 -0
  188. package/dist/src2/optimizer/pipeline.d.ts +10 -0
  189. package/dist/src2/optimizer/pipeline.js +42 -0
  190. package/dist/tsconfig.tsbuildinfo +1 -0
  191. package/docs/compiler-pipeline-redesign.md +2243 -0
  192. package/docs/optimization-ideas.md +1076 -0
  193. package/editors/vscode/package-lock.json +3 -3
  194. package/editors/vscode/package.json +1 -1
  195. package/jest.config.js +1 -1
  196. package/package.json +6 -5
  197. package/scripts/postbuild.js +15 -0
  198. package/src/__tests__/cli.test.ts +8 -220
  199. package/src/__tests__/dce.test.ts +11 -56
  200. package/src/__tests__/diagnostics.test.ts +59 -38
  201. package/src/__tests__/mc-integration.test.ts +1 -2
  202. package/src/ast/types.ts +6 -1
  203. package/src/cli.ts +29 -156
  204. package/src/compile.ts +6 -162
  205. package/src/index.ts +14 -178
  206. package/src/mc-test/runner.ts +4 -3
  207. package/src/parser/index.ts +1 -1
  208. package/src/repl.ts +1 -1
  209. package/src/runtime/index.ts +1 -1
  210. package/src2/__tests__/e2e/basic.test.ts +154 -0
  211. package/src2/__tests__/e2e/macros.test.ts +199 -0
  212. package/src2/__tests__/e2e/migrate.test.ts +3008 -0
  213. package/src2/__tests__/hir/desugar.test.ts +263 -0
  214. package/src2/__tests__/lir/lower.test.ts +619 -0
  215. package/src2/__tests__/lir/types.test.ts +207 -0
  216. package/src2/__tests__/lir/verify.test.ts +249 -0
  217. package/src2/__tests__/mir/arithmetic.test.ts +156 -0
  218. package/src2/__tests__/mir/control-flow.test.ts +242 -0
  219. package/src2/__tests__/mir/verify.test.ts +254 -0
  220. package/src2/__tests__/optimizer/block_merge.test.ts +84 -0
  221. package/src2/__tests__/optimizer/branch_simplify.test.ts +64 -0
  222. package/src2/__tests__/optimizer/constant_fold.test.ts +145 -0
  223. package/src2/__tests__/optimizer/copy_prop.test.ts +99 -0
  224. package/src2/__tests__/optimizer/dce.test.ts +83 -0
  225. package/src2/__tests__/optimizer/pipeline.test.ts +116 -0
  226. package/src2/emit/compile.ts +99 -0
  227. package/src2/emit/index.ts +222 -0
  228. package/src2/hir/lower.ts +428 -0
  229. package/src2/hir/types.ts +216 -0
  230. package/src2/lir/lower.ts +556 -0
  231. package/src2/lir/types.ts +109 -0
  232. package/src2/lir/verify.ts +129 -0
  233. package/src2/mir/lower.ts +1160 -0
  234. package/src2/mir/macro.ts +167 -0
  235. package/src2/mir/types.ts +106 -0
  236. package/src2/mir/verify.ts +218 -0
  237. package/src2/optimizer/block_merge.ts +93 -0
  238. package/src2/optimizer/branch_simplify.ts +27 -0
  239. package/src2/optimizer/constant_fold.ts +88 -0
  240. package/src2/optimizer/copy_prop.ts +106 -0
  241. package/src2/optimizer/dce.ts +133 -0
  242. package/src2/optimizer/pipeline.ts +44 -0
  243. package/tsconfig.json +2 -2
  244. package/src/__tests__/codegen.test.ts +0 -161
  245. package/src/__tests__/e2e.test.ts +0 -2039
  246. package/src/__tests__/entity-types.test.ts +0 -236
  247. package/src/__tests__/lowering.test.ts +0 -1185
  248. package/src/__tests__/macro.test.ts +0 -343
  249. package/src/__tests__/nbt.test.ts +0 -58
  250. package/src/__tests__/optimizer-advanced.test.ts +0 -144
  251. package/src/__tests__/optimizer.test.ts +0 -162
  252. package/src/__tests__/runtime.test.ts +0 -305
  253. package/src/__tests__/stdlib-advanced.test.ts +0 -379
  254. package/src/__tests__/stdlib-bigint.test.ts +0 -427
  255. package/src/__tests__/stdlib-math.test.ts +0 -374
  256. package/src/__tests__/stdlib-vec.test.ts +0 -259
  257. package/src/__tests__/structure-optimizer.test.ts +0 -38
  258. package/src/__tests__/var-allocator.test.ts +0 -75
  259. package/src/codegen/cmdblock/index.ts +0 -63
  260. package/src/codegen/mcfunction/index.ts +0 -662
  261. package/src/codegen/structure/index.ts +0 -346
  262. package/src/codegen/var-allocator.ts +0 -104
  263. package/src/ir/builder.ts +0 -116
  264. package/src/ir/types.ts +0 -134
  265. package/src/lowering/index.ts +0 -3876
  266. package/src/optimizer/commands.ts +0 -534
  267. package/src/optimizer/dce.ts +0 -679
  268. package/src/optimizer/passes.ts +0 -250
  269. package/src/optimizer/structure.ts +0 -450
@@ -1,427 +0,0 @@
1
- /**
2
- * stdlib/bigint.mcrs — runtime behavioural tests
3
- *
4
- * Tests basic BigInt operations (base 10000, 8 limbs = 32 decimal digits).
5
- * All arithmetic validated against known values.
6
- */
7
-
8
- import * as fs from 'fs'
9
- import * as path from 'path'
10
- import { compile } from '../compile'
11
- import { MCRuntime } from '../runtime'
12
-
13
- const MATH_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/math.mcrs'), 'utf-8')
14
- const BIGINT_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/bigint.mcrs'), 'utf-8')
15
-
16
- function run(driver: string): MCRuntime {
17
- const result = compile(driver, {
18
- namespace: 'bitest',
19
- librarySources: [MATH_SRC, BIGINT_SRC],
20
- })
21
- if (!result.success) throw new Error(result.error?.message ?? 'compile failed')
22
- const rt = new MCRuntime('bitest')
23
- for (const file of result.files ?? []) {
24
- if (!file.path.endsWith('.mcfunction')) continue
25
- const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/)
26
- if (!match) continue
27
- rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'))
28
- }
29
- rt.load()
30
- return rt
31
- }
32
-
33
- function sc(rt: MCRuntime, key: string): number {
34
- return rt.getScore('out', `bitest.${key}`) ?? 0
35
- }
36
-
37
- // ── storage_set_int roundtrip ─────────────────────────────────────────────────
38
-
39
- describe('storage_set_int roundtrip', () => {
40
- it('static index: write 99 to arr[2], read back', () => {
41
- const rt = run(`fn test() {
42
- storage_set_array("rs:t", "arr", "[10,20,30,40]");
43
- storage_set_int("rs:t", "arr", 2, 99);
44
- scoreboard_set("out", "r", storage_get_int("rs:t", "arr", 2));
45
- }`)
46
- rt.execFunction('test')
47
- expect(sc(rt, 'r')).toBe(99)
48
- })
49
-
50
- it('runtime index: write 777 to arr[idx], read back', () => {
51
- const rt = run(`fn test() {
52
- storage_set_array("rs:t", "arr", "[1,2,3,4,5]");
53
- let idx: int = 3;
54
- storage_set_int("rs:t", "arr", idx, 777);
55
- scoreboard_set("out", "r", storage_get_int("rs:t", "arr", idx));
56
- }`)
57
- rt.execFunction('test')
58
- expect(sc(rt, 'r')).toBe(777)
59
- })
60
-
61
- it('loop write: fill arr[0..3] with 10,20,30,40', () => {
62
- const rt = run(`fn test() {
63
- storage_set_array("rs:t", "arr", "[0,0,0,0]");
64
- let i: int = 0;
65
- while (i < 4) {
66
- storage_set_int("rs:t", "arr", i, (i + 1) * 10);
67
- i = i + 1;
68
- }
69
- scoreboard_set("out", "a", storage_get_int("rs:t", "arr", 0));
70
- scoreboard_set("out", "b", storage_get_int("rs:t", "arr", 1));
71
- scoreboard_set("out", "c", storage_get_int("rs:t", "arr", 2));
72
- scoreboard_set("out", "d", storage_get_int("rs:t", "arr", 3));
73
- }`)
74
- rt.execFunction('test')
75
- expect(sc(rt, 'a')).toBe(10)
76
- expect(sc(rt, 'b')).toBe(20)
77
- expect(sc(rt, 'c')).toBe(30)
78
- expect(sc(rt, 'd')).toBe(40)
79
- })
80
- })
81
-
82
- // ── bigint_init + from_int ────────────────────────────────────────────────────
83
-
84
- describe('bigint init and load', () => {
85
- it('bigint_init zeros registers', () => {
86
- const rt = run(`fn test() {
87
- bigint_init();
88
- scoreboard_set("out", "r", bigint_get_a(0));
89
- }`)
90
- rt.execFunction('test')
91
- expect(sc(rt, 'r')).toBe(0)
92
- })
93
-
94
- it('bigint_from_int_a(12345678): limb0=5678, limb1=1234', () => {
95
- const rt = run(`fn test() {
96
- bigint_init();
97
- bigint_from_int_a(12345678);
98
- scoreboard_set("out", "l0", bigint_get_a(0));
99
- scoreboard_set("out", "l1", bigint_get_a(1));
100
- scoreboard_set("out", "l2", bigint_get_a(2));
101
- }`)
102
- rt.execFunction('test')
103
- expect(sc(rt, 'l0')).toBe(5678)
104
- expect(sc(rt, 'l1')).toBe(1234)
105
- expect(sc(rt, 'l2')).toBe(0)
106
- })
107
-
108
- it('bigint_from_int_a(2000000000): limb0=0, limb1=0, limb2=20', () => {
109
- // 2000000000 = 20 × 10000^2 (not 2000: 20 × 10^8 = 2×10^9 ✓)
110
- const rt = run(`fn test() {
111
- bigint_init();
112
- bigint_from_int_a(2000000000);
113
- scoreboard_set("out", "l0", bigint_get_a(0));
114
- scoreboard_set("out", "l1", bigint_get_a(1));
115
- scoreboard_set("out", "l2", bigint_get_a(2));
116
- }`)
117
- rt.execFunction('test')
118
- expect(sc(rt, 'l0')).toBe(0)
119
- expect(sc(rt, 'l1')).toBe(0)
120
- expect(sc(rt, 'l2')).toBe(20)
121
- })
122
- })
123
-
124
- // ── bigint_add ────────────────────────────────────────────────────────────────
125
-
126
- describe('bigint_add', () => {
127
- it('1 + 1 = 2 (simple)', () => {
128
- const rt = run(`fn test() {
129
- bigint_init();
130
- bigint_from_int_a(1);
131
- bigint_from_int_b(1);
132
- bigint_add();
133
- scoreboard_set("out", "r", bigint_get_c(0));
134
- }`)
135
- rt.execFunction('test')
136
- expect(sc(rt, 'r')).toBe(2)
137
- })
138
-
139
- it('9999 + 1 = 10000: carry across limb boundary', () => {
140
- // a=[9999,0,...] + b=[1,0,...] = c=[0,1,0,...] (carry to limb1)
141
- const rt = run(`fn test() {
142
- bigint_init();
143
- bigint_from_int_a(9999);
144
- bigint_from_int_b(1);
145
- bigint_add();
146
- scoreboard_set("out", "l0", bigint_get_c(0));
147
- scoreboard_set("out", "l1", bigint_get_c(1));
148
- }`)
149
- rt.execFunction('test')
150
- expect(sc(rt, 'l0')).toBe(0)
151
- expect(sc(rt, 'l1')).toBe(1)
152
- })
153
-
154
- it('99990000 + 10000 = 100000000: multi-limb carry', () => {
155
- // a=[0,9999,...] + b=[0,1,...] = c=[0,0,1,...] (carry to limb2)
156
- const rt = run(`fn test() {
157
- bigint_init();
158
- bigint_from_int_a(99990000);
159
- bigint_from_int_b(10000);
160
- bigint_add();
161
- scoreboard_set("out", "l0", bigint_get_c(0));
162
- scoreboard_set("out", "l1", bigint_get_c(1));
163
- scoreboard_set("out", "l2", bigint_get_c(2));
164
- }`)
165
- rt.execFunction('test')
166
- expect(sc(rt, 'l0')).toBe(0)
167
- expect(sc(rt, 'l1')).toBe(0)
168
- expect(sc(rt, 'l2')).toBe(1)
169
- })
170
-
171
- it('large add: 999999999 + 999999999', () => {
172
- // 999999999 = [9999, 9999, 9, 0, ...]
173
- // + same = [9998, 9999, 18, 0, ...] after carry
174
- // = 1999999998: l0=9998, l1=9999, l2=19 (carry: 9+9=18, no carry from l2)
175
- // Wait: l0=9999+9999=19998, carry=1, l0=9998
176
- // l1=9999+9999+1=19999, carry=1, l1=9999
177
- // l2=9+9+1=19, carry=0, l2=19
178
- const rt = run(`fn test() {
179
- bigint_init();
180
- bigint_from_int_a(999999999);
181
- bigint_from_int_b(999999999);
182
- bigint_add();
183
- scoreboard_set("out", "l0", bigint_get_c(0));
184
- scoreboard_set("out", "l1", bigint_get_c(1));
185
- scoreboard_set("out", "l2", bigint_get_c(2));
186
- }`)
187
- rt.execFunction('test')
188
- expect(sc(rt, 'l0')).toBe(9998) // 1999999998 % 10000 = 9998
189
- expect(sc(rt, 'l1')).toBe(9999) // floor(1999999998 / 10000) % 10000 = 9999
190
- expect(sc(rt, 'l2')).toBe(19) // floor(1999999998 / 100000000) = 19
191
- })
192
- })
193
-
194
- // ── bigint_sub ────────────────────────────────────────────────────────────────
195
-
196
- describe('bigint_sub', () => {
197
- it('10 - 3 = 7', () => {
198
- const rt = run(`fn test() {
199
- bigint_init();
200
- bigint_from_int_a(10);
201
- bigint_from_int_b(3);
202
- bigint_sub();
203
- scoreboard_set("out", "r", bigint_get_c(0));
204
- }`)
205
- rt.execFunction('test')
206
- expect(sc(rt, 'r')).toBe(7)
207
- })
208
-
209
- it('10000 - 1 = 9999: borrow across limb boundary', () => {
210
- // a=[0,1,...] - b=[1,0,...] = c=[9999,0,...] (borrow from limb1)
211
- const rt = run(`fn test() {
212
- bigint_init();
213
- bigint_from_int_a(10000);
214
- bigint_from_int_b(1);
215
- bigint_sub();
216
- scoreboard_set("out", "l0", bigint_get_c(0));
217
- scoreboard_set("out", "l1", bigint_get_c(1));
218
- }`)
219
- rt.execFunction('test')
220
- expect(sc(rt, 'l0')).toBe(9999)
221
- expect(sc(rt, 'l1')).toBe(0)
222
- })
223
- })
224
-
225
- // ── bigint_compare ────────────────────────────────────────────────────────────
226
-
227
- describe('bigint_compare', () => {
228
- it('1 == 1 → 0', () => {
229
- const rt = run(`fn test() {
230
- bigint_init();
231
- bigint_from_int_a(1);
232
- bigint_from_int_b(1);
233
- scoreboard_set("out", "r", bigint_compare());
234
- }`)
235
- rt.execFunction('test')
236
- expect(sc(rt, 'r')).toBe(0)
237
- })
238
-
239
- it('2 > 1 → 1', () => {
240
- const rt = run(`fn test() {
241
- bigint_init();
242
- bigint_from_int_a(2);
243
- bigint_from_int_b(1);
244
- scoreboard_set("out", "r", bigint_compare());
245
- }`)
246
- rt.execFunction('test')
247
- expect(sc(rt, 'r')).toBe(1)
248
- })
249
-
250
- it('1 < 2 → -1', () => {
251
- const rt = run(`fn test() {
252
- bigint_init();
253
- bigint_from_int_a(1);
254
- bigint_from_int_b(2);
255
- scoreboard_set("out", "r", bigint_compare());
256
- }`)
257
- rt.execFunction('test')
258
- expect(sc(rt, 'r')).toBe(-1)
259
- })
260
- })
261
-
262
- // ── bigint_mul_small ──────────────────────────────────────────────────────────
263
-
264
- describe('bigint_mul_small', () => {
265
- it('12345 * 2 = 24690', () => {
266
- const rt = run(`fn test() {
267
- bigint_init();
268
- bigint_from_int_a(12345);
269
- bigint_mul_small(2);
270
- scoreboard_set("out", "l0", bigint_get_c(0));
271
- scoreboard_set("out", "l1", bigint_get_c(1));
272
- }`)
273
- rt.execFunction('test')
274
- expect(sc(rt, 'l0')).toBe(4690)
275
- expect(sc(rt, 'l1')).toBe(2)
276
- })
277
-
278
- it('9999 * 9999 = 99980001: carry', () => {
279
- // c[0] = 99980001 % 10000 = 1
280
- // c[1] = floor(99980001 / 10000) = 9998
281
- const rt = run(`fn test() {
282
- bigint_init();
283
- bigint_from_int_a(9999);
284
- bigint_mul_small(9999);
285
- scoreboard_set("out", "l0", bigint_get_c(0));
286
- scoreboard_set("out", "l1", bigint_get_c(1));
287
- }`)
288
- rt.execFunction('test')
289
- expect(sc(rt, 'l0')).toBe(1) // 99980001 % 10000 = 1 (actually 0001)
290
- expect(sc(rt, 'l1')).toBe(9998) // 9998
291
- })
292
- })
293
-
294
- // ── bigint_mul ────────────────────────────────────────────────────────────────
295
-
296
- describe('bigint_mul', () => {
297
- it('3 * 4 = 12', () => {
298
- const rt = run(`fn test() {
299
- bigint_init();
300
- bigint_from_int_a(3);
301
- bigint_from_int_b(4);
302
- bigint_mul();
303
- scoreboard_set("out", "r", bigint_get_c(0));
304
- }`)
305
- rt.execFunction('test')
306
- expect(sc(rt, 'r')).toBe(12)
307
- })
308
-
309
- it('9999 * 9999 = 99980001', () => {
310
- const rt = run(`fn test() {
311
- bigint_init();
312
- bigint_from_int_a(9999);
313
- bigint_from_int_b(9999);
314
- bigint_mul();
315
- scoreboard_set("out", "l0", bigint_get_c(0));
316
- scoreboard_set("out", "l1", bigint_get_c(1));
317
- }`)
318
- rt.execFunction('test')
319
- expect(sc(rt, 'l0')).toBe(1)
320
- expect(sc(rt, 'l1')).toBe(9998)
321
- })
322
-
323
- it('100000 * 100000 = 10^10: spans 3 limbs', () => {
324
- // 10^10 = [0, 0, 0, 1, 0, ...] in base 10000 (1 * 10000^3 = 10^12? no)
325
- // 10^10 / 10000^0 % 10000 = 0
326
- // 10^10 / 10000^1 % 10000 = 0
327
- // 10^10 / 10000^2 % 10000 = 10000 → wait: 10^10 / 10^8 = 100, 100 % 10000 = 100
328
- // Actually: 10^10 = 100 * 10^8 = 100 * (10^4)^2
329
- // l0 = 10^10 % 10^4 = 0
330
- // l1 = floor(10^10 / 10^4) % 10^4 = floor(10^6) % 10000 = 0
331
- // l2 = floor(10^10 / 10^8) % 10^4 = 100 % 10000 = 100
332
- const rt = run(`fn test() {
333
- bigint_init();
334
- bigint_from_int_a(100000);
335
- bigint_from_int_b(100000);
336
- bigint_mul();
337
- scoreboard_set("out", "l0", bigint_get_c(0));
338
- scoreboard_set("out", "l1", bigint_get_c(1));
339
- scoreboard_set("out", "l2", bigint_get_c(2));
340
- }`)
341
- rt.execFunction('test')
342
- expect(sc(rt, 'l0')).toBe(0)
343
- expect(sc(rt, 'l1')).toBe(0)
344
- expect(sc(rt, 'l2')).toBe(100)
345
- })
346
- })
347
-
348
- // ── bigint_fib ────────────────────────────────────────────────────────────────
349
-
350
- describe('bigint_fib', () => {
351
- it('F(0) = 0', () => {
352
- const rt = run(`fn test() {
353
- bigint_fib(0);
354
- scoreboard_set("out", "r", bigint_get_a(0));
355
- }`)
356
- rt.execFunction('test')
357
- expect(sc(rt, 'r')).toBe(0)
358
- })
359
-
360
- it('F(1) = 1', () => {
361
- const rt = run(`fn test() {
362
- bigint_fib(1);
363
- scoreboard_set("out", "r", bigint_get_a(0));
364
- }`)
365
- rt.execFunction('test')
366
- expect(sc(rt, 'r')).toBe(1)
367
- })
368
-
369
- it('F(10) = 55', () => {
370
- const rt = run(`fn test() {
371
- bigint_fib(10);
372
- scoreboard_set("out", "r", bigint_get_a(0));
373
- }`)
374
- rt.execFunction('test')
375
- expect(sc(rt, 'r')).toBe(55)
376
- })
377
-
378
- it('F(20) = 6765', () => {
379
- const rt = run(`fn test() {
380
- bigint_fib(20);
381
- scoreboard_set("out", "r", bigint_get_a(0));
382
- }`)
383
- rt.execFunction('test')
384
- expect(sc(rt, 'r')).toBe(6765)
385
- })
386
-
387
- it('F(50) = 12586269025: limb0=9025, limb1=8626, limb2=125', () => {
388
- // F(50) = 12,586,269,025
389
- // 12586269025 % 10000 = 9025
390
- // floor(12586269025 / 10000) % 10000 = 1258626 % 10000 = 8626
391
- // floor(12586269025 / 10^8) = 125
392
- const rt = run(`fn test() {
393
- bigint_fib(50);
394
- scoreboard_set("out", "l0", bigint_get_a(0));
395
- scoreboard_set("out", "l1", bigint_get_a(1));
396
- scoreboard_set("out", "l2", bigint_get_a(2));
397
- }`)
398
- rt.execFunction('test')
399
- expect(sc(rt, 'l0')).toBe(9025)
400
- expect(sc(rt, 'l1')).toBe(8626)
401
- expect(sc(rt, 'l2')).toBe(125)
402
- })
403
-
404
- it('F(100) low limbs check', () => {
405
- // F(100) = 354224848179261915075
406
- // % 10000 = 5075
407
- // floor / 10000 % 10000 = floor(35422484817926191.5075) % 10000 = ...
408
- // Let's compute:
409
- // 354224848179261915075 % 10000 = 5075
410
- // floor(354224848179261915075 / 10000) = 35422484817926191507 (JS BigInt)
411
- // 35422484817926191507 % 10000 = 1507
412
- // floor(35422484817926191507 / 10000) = 3542248481792619 (roughly)
413
- // % 10000 = 2619
414
- const rt = run(`fn test() {
415
- bigint_fib(100);
416
- scoreboard_set("out", "l0", bigint_get_a(0));
417
- scoreboard_set("out", "l1", bigint_get_a(1));
418
- scoreboard_set("out", "l2", bigint_get_a(2));
419
- }`)
420
- rt.execFunction('test')
421
- const f100 = BigInt('354224848179261915075')
422
- const b = BigInt(10000)
423
- expect(sc(rt, 'l0')).toBe(Number(f100 % b))
424
- expect(sc(rt, 'l1')).toBe(Number((f100 / b) % b))
425
- expect(sc(rt, 'l2')).toBe(Number((f100 / b / b) % b))
426
- })
427
- })