redscript-mc 1.2.29 → 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.
- package/.claude/commands/build-test.md +10 -0
- package/.claude/commands/deploy-demo.md +12 -0
- package/.claude/commands/stage-status.md +13 -0
- package/.claude/settings.json +12 -0
- package/.github/workflows/ci.yml +1 -0
- package/CLAUDE.md +231 -0
- package/README.md +29 -28
- package/README.zh.md +28 -28
- 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/lexer/index.js +9 -1
- package/dist/lowering/index.js +22 -5
- package/dist/src/__tests__/cli.test.d.ts +1 -0
- package/dist/src/__tests__/cli.test.js +104 -0
- package/dist/src/__tests__/codegen.test.d.ts +1 -0
- package/dist/src/__tests__/codegen.test.js +152 -0
- package/dist/src/__tests__/compile-all.test.d.ts +10 -0
- package/dist/src/__tests__/compile-all.test.js +108 -0
- package/dist/src/__tests__/dce.test.d.ts +1 -0
- package/dist/src/__tests__/dce.test.js +102 -0
- package/dist/src/__tests__/diagnostics.test.d.ts +4 -0
- package/dist/src/__tests__/diagnostics.test.js +177 -0
- package/dist/src/__tests__/e2e.test.d.ts +6 -0
- package/dist/src/__tests__/e2e.test.js +1789 -0
- package/dist/src/__tests__/entity-types.test.d.ts +1 -0
- package/dist/src/__tests__/entity-types.test.js +203 -0
- package/dist/src/__tests__/formatter.test.d.ts +1 -0
- package/dist/src/__tests__/formatter.test.js +40 -0
- package/dist/src/__tests__/lexer.test.d.ts +1 -0
- package/dist/src/__tests__/lexer.test.js +343 -0
- package/dist/src/__tests__/lowering.test.d.ts +1 -0
- package/dist/src/__tests__/lowering.test.js +1015 -0
- package/dist/src/__tests__/macro.test.d.ts +8 -0
- package/dist/src/__tests__/macro.test.js +306 -0
- package/dist/src/__tests__/mc-integration.test.d.ts +12 -0
- package/dist/src/__tests__/mc-integration.test.js +817 -0
- package/dist/src/__tests__/mc-syntax.test.d.ts +1 -0
- package/dist/src/__tests__/mc-syntax.test.js +124 -0
- package/dist/src/__tests__/nbt.test.d.ts +1 -0
- package/dist/src/__tests__/nbt.test.js +82 -0
- package/dist/src/__tests__/optimizer-advanced.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer-advanced.test.js +124 -0
- package/dist/src/__tests__/optimizer.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer.test.js +149 -0
- package/dist/src/__tests__/parser.test.d.ts +1 -0
- package/dist/src/__tests__/parser.test.js +807 -0
- package/dist/src/__tests__/repl.test.d.ts +1 -0
- package/dist/src/__tests__/repl.test.js +27 -0
- package/dist/src/__tests__/runtime.test.d.ts +1 -0
- package/dist/src/__tests__/runtime.test.js +289 -0
- package/dist/src/__tests__/stdlib-advanced.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib-advanced.test.js +374 -0
- package/dist/src/__tests__/stdlib-bigint.test.d.ts +7 -0
- package/dist/src/__tests__/stdlib-bigint.test.js +426 -0
- package/dist/src/__tests__/stdlib-math.test.d.ts +7 -0
- package/dist/src/__tests__/stdlib-math.test.js +351 -0
- package/dist/src/__tests__/stdlib-vec.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib-vec.test.js +263 -0
- package/dist/src/__tests__/structure-optimizer.test.d.ts +1 -0
- package/dist/src/__tests__/structure-optimizer.test.js +33 -0
- package/dist/src/__tests__/typechecker.test.d.ts +1 -0
- package/dist/src/__tests__/typechecker.test.js +552 -0
- package/dist/src/__tests__/var-allocator.test.d.ts +1 -0
- package/dist/src/__tests__/var-allocator.test.js +69 -0
- package/dist/src/ast/types.d.ts +515 -0
- package/dist/src/ast/types.js +9 -0
- package/dist/src/builtins/metadata.d.ts +36 -0
- package/dist/src/builtins/metadata.js +1014 -0
- package/dist/src/cli.d.ts +11 -0
- package/dist/src/cli.js +443 -0
- package/dist/src/codegen/cmdblock/index.d.ts +26 -0
- package/dist/src/codegen/cmdblock/index.js +45 -0
- package/dist/src/codegen/mcfunction/index.d.ts +40 -0
- package/dist/src/codegen/mcfunction/index.js +606 -0
- package/dist/src/codegen/structure/index.d.ts +24 -0
- package/dist/src/codegen/structure/index.js +279 -0
- package/dist/src/codegen/var-allocator.d.ts +45 -0
- package/dist/src/codegen/var-allocator.js +104 -0
- package/dist/src/compile.d.ts +37 -0
- package/dist/src/compile.js +165 -0
- package/dist/src/diagnostics/index.d.ts +44 -0
- package/dist/src/diagnostics/index.js +140 -0
- package/dist/src/events/types.d.ts +35 -0
- package/dist/src/events/types.js +59 -0
- package/dist/src/formatter/index.d.ts +1 -0
- package/dist/src/formatter/index.js +26 -0
- package/dist/src/index.d.ts +22 -0
- package/dist/src/index.js +45 -0
- package/dist/src/ir/builder.d.ts +33 -0
- package/dist/src/ir/builder.js +99 -0
- package/dist/src/ir/types.d.ts +132 -0
- package/dist/src/ir/types.js +15 -0
- package/dist/src/lexer/index.d.ts +37 -0
- package/dist/src/lexer/index.js +569 -0
- package/dist/src/lowering/index.d.ts +188 -0
- package/dist/src/lowering/index.js +3405 -0
- package/dist/src/mc-test/client.d.ts +128 -0
- package/dist/src/mc-test/client.js +174 -0
- package/dist/src/mc-test/runner.d.ts +28 -0
- package/dist/src/mc-test/runner.js +151 -0
- package/dist/src/mc-test/setup.d.ts +11 -0
- package/dist/src/mc-test/setup.js +98 -0
- package/dist/src/mc-validator/index.d.ts +17 -0
- package/dist/src/mc-validator/index.js +322 -0
- package/dist/src/nbt/index.d.ts +86 -0
- package/dist/src/nbt/index.js +250 -0
- package/dist/src/optimizer/commands.d.ts +38 -0
- package/dist/src/optimizer/commands.js +451 -0
- package/dist/src/optimizer/dce.d.ts +34 -0
- package/dist/src/optimizer/dce.js +639 -0
- package/dist/src/optimizer/passes.d.ts +34 -0
- package/dist/src/optimizer/passes.js +243 -0
- package/dist/src/optimizer/structure.d.ts +9 -0
- package/dist/src/optimizer/structure.js +356 -0
- package/dist/src/parser/index.d.ts +93 -0
- package/dist/src/parser/index.js +1687 -0
- package/dist/src/repl.d.ts +16 -0
- package/dist/src/repl.js +165 -0
- package/dist/src/runtime/index.d.ts +107 -0
- package/dist/src/runtime/index.js +1409 -0
- package/dist/src/typechecker/index.d.ts +61 -0
- package/dist/src/typechecker/index.js +1034 -0
- package/dist/src/types/entity-hierarchy.d.ts +29 -0
- package/dist/src/types/entity-hierarchy.js +107 -0
- package/dist/src2/__tests__/e2e/basic.test.d.ts +8 -0
- package/dist/src2/__tests__/e2e/basic.test.js +140 -0
- package/dist/src2/__tests__/e2e/macros.test.d.ts +9 -0
- package/dist/src2/__tests__/e2e/macros.test.js +182 -0
- package/dist/src2/__tests__/e2e/migrate.test.d.ts +13 -0
- package/dist/src2/__tests__/e2e/migrate.test.js +2739 -0
- package/dist/src2/__tests__/hir/desugar.test.d.ts +1 -0
- package/dist/src2/__tests__/hir/desugar.test.js +234 -0
- package/dist/src2/__tests__/lir/lower.test.d.ts +1 -0
- package/dist/src2/__tests__/lir/lower.test.js +559 -0
- package/dist/src2/__tests__/lir/types.test.d.ts +1 -0
- package/dist/src2/__tests__/lir/types.test.js +185 -0
- package/dist/src2/__tests__/lir/verify.test.d.ts +1 -0
- package/dist/src2/__tests__/lir/verify.test.js +221 -0
- package/dist/src2/__tests__/mir/arithmetic.test.d.ts +1 -0
- package/dist/src2/__tests__/mir/arithmetic.test.js +130 -0
- package/dist/src2/__tests__/mir/control-flow.test.d.ts +1 -0
- package/dist/src2/__tests__/mir/control-flow.test.js +205 -0
- package/dist/src2/__tests__/mir/verify.test.d.ts +1 -0
- package/dist/src2/__tests__/mir/verify.test.js +223 -0
- package/dist/src2/__tests__/optimizer/block_merge.test.d.ts +1 -0
- package/dist/src2/__tests__/optimizer/block_merge.test.js +78 -0
- package/dist/src2/__tests__/optimizer/branch_simplify.test.d.ts +1 -0
- package/dist/src2/__tests__/optimizer/branch_simplify.test.js +58 -0
- package/dist/src2/__tests__/optimizer/constant_fold.test.d.ts +1 -0
- package/dist/src2/__tests__/optimizer/constant_fold.test.js +131 -0
- package/dist/src2/__tests__/optimizer/copy_prop.test.d.ts +1 -0
- package/dist/src2/__tests__/optimizer/copy_prop.test.js +91 -0
- package/dist/src2/__tests__/optimizer/dce.test.d.ts +1 -0
- package/dist/src2/__tests__/optimizer/dce.test.js +76 -0
- package/dist/src2/__tests__/optimizer/pipeline.test.d.ts +1 -0
- package/dist/src2/__tests__/optimizer/pipeline.test.js +102 -0
- package/dist/src2/emit/compile.d.ts +19 -0
- package/dist/src2/emit/compile.js +80 -0
- package/dist/src2/emit/index.d.ts +17 -0
- package/dist/src2/emit/index.js +172 -0
- package/dist/src2/hir/lower.d.ts +15 -0
- package/dist/src2/hir/lower.js +378 -0
- package/dist/src2/hir/types.d.ts +373 -0
- package/dist/src2/hir/types.js +16 -0
- package/dist/src2/lir/lower.d.ts +15 -0
- package/dist/src2/lir/lower.js +453 -0
- package/dist/src2/lir/types.d.ts +136 -0
- package/dist/src2/lir/types.js +11 -0
- package/dist/src2/lir/verify.d.ts +14 -0
- package/dist/src2/lir/verify.js +113 -0
- package/dist/src2/mir/lower.d.ts +9 -0
- package/dist/src2/mir/lower.js +1030 -0
- package/dist/src2/mir/macro.d.ts +22 -0
- package/dist/src2/mir/macro.js +168 -0
- package/dist/src2/mir/types.d.ts +183 -0
- package/dist/src2/mir/types.js +11 -0
- package/dist/src2/mir/verify.d.ts +16 -0
- package/dist/src2/mir/verify.js +216 -0
- package/dist/src2/optimizer/block_merge.d.ts +12 -0
- package/dist/src2/optimizer/block_merge.js +84 -0
- package/dist/src2/optimizer/branch_simplify.d.ts +9 -0
- package/dist/src2/optimizer/branch_simplify.js +28 -0
- package/dist/src2/optimizer/constant_fold.d.ts +10 -0
- package/dist/src2/optimizer/constant_fold.js +85 -0
- package/dist/src2/optimizer/copy_prop.d.ts +9 -0
- package/dist/src2/optimizer/copy_prop.js +113 -0
- package/dist/src2/optimizer/dce.d.ts +8 -0
- package/dist/src2/optimizer/dce.js +155 -0
- package/dist/src2/optimizer/pipeline.d.ts +10 -0
- package/dist/src2/optimizer/pipeline.js +42 -0
- package/dist/tsconfig.tsbuildinfo +1 -0
- package/docs/compiler-pipeline-redesign.md +2243 -0
- package/docs/optimization-ideas.md +1076 -0
- package/editors/vscode/package-lock.json +3 -3
- package/editors/vscode/package.json +1 -1
- package/examples/readme-demo.mcrs +44 -66
- package/jest.config.js +1 -1
- package/package.json +6 -5
- package/scripts/postbuild.js +15 -0
- package/src/__tests__/cli.test.ts +8 -220
- package/src/__tests__/dce.test.ts +11 -56
- package/src/__tests__/diagnostics.test.ts +59 -38
- package/src/__tests__/mc-integration.test.ts +1 -2
- package/src/ast/types.ts +6 -1
- package/src/cli.ts +29 -156
- package/src/compile.ts +6 -162
- package/src/index.ts +14 -178
- package/src/lexer/index.ts +9 -1
- package/src/mc-test/runner.ts +4 -3
- package/src/parser/index.ts +1 -1
- package/src/repl.ts +1 -1
- package/src/runtime/index.ts +1 -1
- package/src2/__tests__/e2e/basic.test.ts +154 -0
- package/src2/__tests__/e2e/macros.test.ts +199 -0
- package/src2/__tests__/e2e/migrate.test.ts +3008 -0
- package/src2/__tests__/hir/desugar.test.ts +263 -0
- package/src2/__tests__/lir/lower.test.ts +619 -0
- package/src2/__tests__/lir/types.test.ts +207 -0
- package/src2/__tests__/lir/verify.test.ts +249 -0
- package/src2/__tests__/mir/arithmetic.test.ts +156 -0
- package/src2/__tests__/mir/control-flow.test.ts +242 -0
- package/src2/__tests__/mir/verify.test.ts +254 -0
- package/src2/__tests__/optimizer/block_merge.test.ts +84 -0
- package/src2/__tests__/optimizer/branch_simplify.test.ts +64 -0
- package/src2/__tests__/optimizer/constant_fold.test.ts +145 -0
- package/src2/__tests__/optimizer/copy_prop.test.ts +99 -0
- package/src2/__tests__/optimizer/dce.test.ts +83 -0
- package/src2/__tests__/optimizer/pipeline.test.ts +116 -0
- package/src2/emit/compile.ts +99 -0
- package/src2/emit/index.ts +222 -0
- package/src2/hir/lower.ts +428 -0
- package/src2/hir/types.ts +216 -0
- package/src2/lir/lower.ts +556 -0
- package/src2/lir/types.ts +109 -0
- package/src2/lir/verify.ts +129 -0
- package/src2/mir/lower.ts +1160 -0
- package/src2/mir/macro.ts +167 -0
- package/src2/mir/types.ts +106 -0
- package/src2/mir/verify.ts +218 -0
- package/src2/optimizer/block_merge.ts +93 -0
- package/src2/optimizer/branch_simplify.ts +27 -0
- package/src2/optimizer/constant_fold.ts +88 -0
- package/src2/optimizer/copy_prop.ts +106 -0
- package/src2/optimizer/dce.ts +133 -0
- package/src2/optimizer/pipeline.ts +44 -0
- package/tsconfig.json +2 -2
- 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 -3860
- package/src/optimizer/commands.ts +0 -534
- package/src/optimizer/dce.ts +0 -679
- package/src/optimizer/passes.ts +0 -250
- package/src/optimizer/structure.ts +0 -450
|
@@ -0,0 +1,374 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* stdlib/advanced.mcrs — runtime behavioural tests
|
|
4
|
+
*/
|
|
5
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
6
|
+
if (k2 === undefined) k2 = k;
|
|
7
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
8
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
9
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
10
|
+
}
|
|
11
|
+
Object.defineProperty(o, k2, desc);
|
|
12
|
+
}) : (function(o, m, k, k2) {
|
|
13
|
+
if (k2 === undefined) k2 = k;
|
|
14
|
+
o[k2] = m[k];
|
|
15
|
+
}));
|
|
16
|
+
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
17
|
+
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
18
|
+
}) : function(o, v) {
|
|
19
|
+
o["default"] = v;
|
|
20
|
+
});
|
|
21
|
+
var __importStar = (this && this.__importStar) || (function () {
|
|
22
|
+
var ownKeys = function(o) {
|
|
23
|
+
ownKeys = Object.getOwnPropertyNames || function (o) {
|
|
24
|
+
var ar = [];
|
|
25
|
+
for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
|
|
26
|
+
return ar;
|
|
27
|
+
};
|
|
28
|
+
return ownKeys(o);
|
|
29
|
+
};
|
|
30
|
+
return function (mod) {
|
|
31
|
+
if (mod && mod.__esModule) return mod;
|
|
32
|
+
var result = {};
|
|
33
|
+
if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
|
|
34
|
+
__setModuleDefault(result, mod);
|
|
35
|
+
return result;
|
|
36
|
+
};
|
|
37
|
+
})();
|
|
38
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
39
|
+
const fs = __importStar(require("fs"));
|
|
40
|
+
const path = __importStar(require("path"));
|
|
41
|
+
const compile_1 = require("../compile");
|
|
42
|
+
const runtime_1 = require("../runtime");
|
|
43
|
+
const MATH_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/math.mcrs'), 'utf-8');
|
|
44
|
+
const ADV_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/advanced.mcrs'), 'utf-8');
|
|
45
|
+
function run(driver) {
|
|
46
|
+
const result = (0, compile_1.compile)(driver, {
|
|
47
|
+
namespace: 'advtest',
|
|
48
|
+
librarySources: [MATH_SRC, ADV_SRC],
|
|
49
|
+
});
|
|
50
|
+
const rt = new runtime_1.MCRuntime('advtest');
|
|
51
|
+
for (const file of result.files) {
|
|
52
|
+
if (!file.path.endsWith('.mcfunction'))
|
|
53
|
+
continue;
|
|
54
|
+
const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/);
|
|
55
|
+
if (!match)
|
|
56
|
+
continue;
|
|
57
|
+
rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'));
|
|
58
|
+
}
|
|
59
|
+
rt.load();
|
|
60
|
+
return rt;
|
|
61
|
+
}
|
|
62
|
+
function scoreOf(rt, key) {
|
|
63
|
+
return rt.getScore('out', `advtest.${key}`);
|
|
64
|
+
}
|
|
65
|
+
// ─── fib ─────────────────────────────────────────────────────────────────────
|
|
66
|
+
describe('fib', () => {
|
|
67
|
+
it.each([
|
|
68
|
+
[0, 0],
|
|
69
|
+
[1, 1],
|
|
70
|
+
[2, 1],
|
|
71
|
+
[5, 5],
|
|
72
|
+
[10, 55],
|
|
73
|
+
[20, 6765],
|
|
74
|
+
])('fib(%d) == %d', (n, expected) => {
|
|
75
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", fib(${n})); }`);
|
|
76
|
+
rt.execFunction('test');
|
|
77
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
78
|
+
});
|
|
79
|
+
});
|
|
80
|
+
// ─── is_prime ─────────────────────────────────────────────────────────────────
|
|
81
|
+
describe('is_prime', () => {
|
|
82
|
+
it.each([
|
|
83
|
+
[0, 0], [1, 0], [2, 1], [3, 1], [4, 0],
|
|
84
|
+
[7, 1], [9, 0], [11, 1], [97, 1], [100, 0],
|
|
85
|
+
])('is_prime(%d) == %d', (n, expected) => {
|
|
86
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", is_prime(${n})); }`);
|
|
87
|
+
rt.execFunction('test');
|
|
88
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
89
|
+
});
|
|
90
|
+
});
|
|
91
|
+
// ─── collatz_steps ───────────────────────────────────────────────────────────
|
|
92
|
+
describe('collatz_steps', () => {
|
|
93
|
+
it.each([
|
|
94
|
+
[1, 0],
|
|
95
|
+
[2, 1],
|
|
96
|
+
[4, 2],
|
|
97
|
+
[6, 8],
|
|
98
|
+
[27, 111],
|
|
99
|
+
])('collatz_steps(%d) == %d', (n, expected) => {
|
|
100
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", collatz_steps(${n})); }`);
|
|
101
|
+
rt.execFunction('test');
|
|
102
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
103
|
+
});
|
|
104
|
+
});
|
|
105
|
+
// ─── digit helpers ───────────────────────────────────────────────────────────
|
|
106
|
+
describe('digit_sum', () => {
|
|
107
|
+
it.each([
|
|
108
|
+
[0, 0], [1, 1], [9, 9], [123, 6], [999, 27], [-42, 6],
|
|
109
|
+
])('digit_sum(%d) == %d', (n, expected) => {
|
|
110
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", digit_sum(${n})); }`);
|
|
111
|
+
rt.execFunction('test');
|
|
112
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
113
|
+
});
|
|
114
|
+
});
|
|
115
|
+
describe('count_digits', () => {
|
|
116
|
+
it.each([
|
|
117
|
+
[0, 1], [9, 1], [10, 2], [100, 3], [9999, 4],
|
|
118
|
+
])('count_digits(%d) == %d', (n, expected) => {
|
|
119
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", count_digits(${n})); }`);
|
|
120
|
+
rt.execFunction('test');
|
|
121
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
122
|
+
});
|
|
123
|
+
});
|
|
124
|
+
describe('reverse_int', () => {
|
|
125
|
+
it.each([
|
|
126
|
+
[12345, 54321],
|
|
127
|
+
[100, 1],
|
|
128
|
+
[7, 7],
|
|
129
|
+
])('reverse_int(%d) == %d', (n, expected) => {
|
|
130
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", reverse_int(${n})); }`);
|
|
131
|
+
rt.execFunction('test');
|
|
132
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
133
|
+
});
|
|
134
|
+
});
|
|
135
|
+
// ─── mod_pow ─────────────────────────────────────────────────────────────────
|
|
136
|
+
describe('mod_pow', () => {
|
|
137
|
+
it.each([
|
|
138
|
+
[2, 10, 1000, 24], // 2^10 = 1024, 1024 mod 1000 = 24
|
|
139
|
+
[3, 4, 100, 81], // 3^4 = 81
|
|
140
|
+
[2, 0, 10, 1], // any^0 = 1
|
|
141
|
+
[5, 1, 100, 5],
|
|
142
|
+
[7, 3, 13, 343 % 13], // 343 mod 13 = 5
|
|
143
|
+
])('mod_pow(%d,%d,%d) == %d', (b, e, m, expected) => {
|
|
144
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", mod_pow(${b},${e},${m})); }`);
|
|
145
|
+
rt.execFunction('test');
|
|
146
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
147
|
+
});
|
|
148
|
+
});
|
|
149
|
+
// ─── hash_int ────────────────────────────────────────────────────────────────
|
|
150
|
+
describe('hash_int', () => {
|
|
151
|
+
it('is deterministic', () => {
|
|
152
|
+
const rt1 = run(`fn test() { scoreboard_set("out", "r", hash_int(42)); }`);
|
|
153
|
+
rt1.execFunction('test');
|
|
154
|
+
const rt2 = run(`fn test() { scoreboard_set("out", "r", hash_int(42)); }`);
|
|
155
|
+
rt2.execFunction('test');
|
|
156
|
+
expect(scoreOf(rt1, 'r')).toBe(scoreOf(rt2, 'r'));
|
|
157
|
+
});
|
|
158
|
+
it('different inputs → different outputs', () => {
|
|
159
|
+
const rt = run(`fn test() {
|
|
160
|
+
scoreboard_set("out", "a", hash_int(0));
|
|
161
|
+
scoreboard_set("out", "b", hash_int(1));
|
|
162
|
+
scoreboard_set("out", "c", hash_int(1000));
|
|
163
|
+
}`);
|
|
164
|
+
rt.execFunction('test');
|
|
165
|
+
const a = scoreOf(rt, 'a');
|
|
166
|
+
const b = scoreOf(rt, 'b');
|
|
167
|
+
const c = scoreOf(rt, 'c');
|
|
168
|
+
expect(a).not.toBe(b);
|
|
169
|
+
expect(b).not.toBe(c);
|
|
170
|
+
});
|
|
171
|
+
it('output is non-negative', () => {
|
|
172
|
+
for (const n of [-1000, -1, 0, 1, 999, 46340]) {
|
|
173
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", hash_int(${n})); }`);
|
|
174
|
+
rt.execFunction('test');
|
|
175
|
+
expect(scoreOf(rt, 'r')).toBeGreaterThanOrEqual(0);
|
|
176
|
+
}
|
|
177
|
+
});
|
|
178
|
+
});
|
|
179
|
+
// ─── noise1d ─────────────────────────────────────────────────────────────────
|
|
180
|
+
describe('noise1d', () => {
|
|
181
|
+
it('output in [0, 999]', () => {
|
|
182
|
+
for (const x of [0, 100, 500, 999, 1000, 2000]) {
|
|
183
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", noise1d(${x})); }`);
|
|
184
|
+
rt.execFunction('test');
|
|
185
|
+
const v = scoreOf(rt, 'r');
|
|
186
|
+
expect(v).toBeGreaterThanOrEqual(0);
|
|
187
|
+
expect(v).toBeLessThan(1000);
|
|
188
|
+
}
|
|
189
|
+
});
|
|
190
|
+
it('is deterministic', () => {
|
|
191
|
+
const rt1 = run(`fn test() { scoreboard_set("out", "r", noise1d(1234)); }`);
|
|
192
|
+
rt1.execFunction('test');
|
|
193
|
+
const rt2 = run(`fn test() { scoreboard_set("out", "r", noise1d(1234)); }`);
|
|
194
|
+
rt2.execFunction('test');
|
|
195
|
+
expect(scoreOf(rt1, 'r')).toBe(scoreOf(rt2, 'r'));
|
|
196
|
+
});
|
|
197
|
+
});
|
|
198
|
+
// ─── bezier ──────────────────────────────────────────────────────────────────
|
|
199
|
+
describe('bezier_quad', () => {
|
|
200
|
+
it.each([
|
|
201
|
+
[0, 500, 1000, 0, 0], // t=0: start
|
|
202
|
+
[0, 500, 1000, 1000, 1000], // t=1000: end
|
|
203
|
+
[0, 1000, 0, 500, 500], // arch midpoint
|
|
204
|
+
])('bezier_quad(%d,%d,%d,t=%d) == %d', (p0, p1, p2, t, expected) => {
|
|
205
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", bezier_quad(${p0},${p1},${p2},${t})); }`);
|
|
206
|
+
rt.execFunction('test');
|
|
207
|
+
expect(scoreOf(rt, 'r')).toBe(expected);
|
|
208
|
+
});
|
|
209
|
+
});
|
|
210
|
+
describe('bezier_cubic', () => {
|
|
211
|
+
it('t=0: start', () => {
|
|
212
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", bezier_cubic(0,333,667,1000,0)); }`);
|
|
213
|
+
rt.execFunction('test');
|
|
214
|
+
expect(scoreOf(rt, 'r')).toBe(0);
|
|
215
|
+
});
|
|
216
|
+
it('t=1000: end', () => {
|
|
217
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", bezier_cubic(0,333,667,1000,1000)); }`);
|
|
218
|
+
rt.execFunction('test');
|
|
219
|
+
expect(scoreOf(rt, 'r')).toBe(1000);
|
|
220
|
+
});
|
|
221
|
+
});
|
|
222
|
+
// ─── mandelbrot_iter ─────────────────────────────────────────────────────────
|
|
223
|
+
describe('mandelbrot_iter', () => {
|
|
224
|
+
// c = 0 + 0i → always in set (z always 0)
|
|
225
|
+
it('origin (0,0) stays bounded for max_iter=20', () => {
|
|
226
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(0,0,20)); }`);
|
|
227
|
+
rt.execFunction('test');
|
|
228
|
+
expect(scoreOf(rt, 'r')).toBe(20);
|
|
229
|
+
});
|
|
230
|
+
// c = 2 + 0i → escapes immediately (|z1| = 2, |z2| = 6 > 2)
|
|
231
|
+
it('c=(2000,0) escapes quickly', () => {
|
|
232
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(2000,0,50)); }`);
|
|
233
|
+
rt.execFunction('test');
|
|
234
|
+
expect(scoreOf(rt, 'r')).toBeLessThan(5);
|
|
235
|
+
});
|
|
236
|
+
// c = -1 + 0i → stays bounded (period-2 cycle: 0 → -1 → 0 → ...)
|
|
237
|
+
it('c=(-1000,0) is in the set', () => {
|
|
238
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(-1000,0,50)); }`);
|
|
239
|
+
rt.execFunction('test');
|
|
240
|
+
expect(scoreOf(rt, 'r')).toBe(50);
|
|
241
|
+
});
|
|
242
|
+
// c = 0.5 + 0.5i → escapes
|
|
243
|
+
it('c=(500,500) escapes before max_iter=100', () => {
|
|
244
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(500,500,100)); }`);
|
|
245
|
+
rt.execFunction('test');
|
|
246
|
+
expect(scoreOf(rt, 'r')).toBeLessThan(100);
|
|
247
|
+
});
|
|
248
|
+
});
|
|
249
|
+
// ─── julia_iter ──────────────────────────────────────────────────────────────
|
|
250
|
+
describe('julia_iter', () => {
|
|
251
|
+
it('z0=(0,0) with c=(0,0) stays bounded', () => {
|
|
252
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", julia_iter(0,0,0,0,20)); }`);
|
|
253
|
+
rt.execFunction('test');
|
|
254
|
+
expect(scoreOf(rt, 'r')).toBe(20);
|
|
255
|
+
});
|
|
256
|
+
it('z0=(3000,0) escapes immediately', () => {
|
|
257
|
+
const rt = run(`fn test() { scoreboard_set("out", "r", julia_iter(3000,0,0,0,20)); }`);
|
|
258
|
+
rt.execFunction('test');
|
|
259
|
+
expect(scoreOf(rt, 'r')).toBe(0);
|
|
260
|
+
});
|
|
261
|
+
});
|
|
262
|
+
// ─── Experiment: cross-stdlib (vec + math + advanced) ────────────────────────
|
|
263
|
+
const VEC_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/vec.mcrs'), 'utf-8');
|
|
264
|
+
function runAll(driver) {
|
|
265
|
+
const result = (0, compile_1.compile)(driver, {
|
|
266
|
+
namespace: 'exptest',
|
|
267
|
+
librarySources: [MATH_SRC, VEC_SRC, ADV_SRC],
|
|
268
|
+
});
|
|
269
|
+
const rt = new runtime_1.MCRuntime('exptest');
|
|
270
|
+
for (const file of result.files) {
|
|
271
|
+
if (!file.path.endsWith('.mcfunction'))
|
|
272
|
+
continue;
|
|
273
|
+
const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/);
|
|
274
|
+
if (!match)
|
|
275
|
+
continue;
|
|
276
|
+
rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'));
|
|
277
|
+
}
|
|
278
|
+
rt.load();
|
|
279
|
+
return rt;
|
|
280
|
+
}
|
|
281
|
+
function exp(rt, key) {
|
|
282
|
+
return rt.getScore('out', `exptest.${key}`) ?? 0;
|
|
283
|
+
}
|
|
284
|
+
describe('newton_sqrt', () => {
|
|
285
|
+
it('newton_sqrt(25) == 5', () => {
|
|
286
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(25)); }`);
|
|
287
|
+
rt.execFunction('test');
|
|
288
|
+
expect(exp(rt, 'r')).toBe(5);
|
|
289
|
+
});
|
|
290
|
+
it('newton_sqrt(100) == 10', () => {
|
|
291
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(100)); }`);
|
|
292
|
+
rt.execFunction('test');
|
|
293
|
+
expect(exp(rt, 'r')).toBe(10);
|
|
294
|
+
});
|
|
295
|
+
it('newton_sqrt(2) == 1', () => {
|
|
296
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(2)); }`);
|
|
297
|
+
rt.execFunction('test');
|
|
298
|
+
expect(exp(rt, 'r')).toBe(1);
|
|
299
|
+
});
|
|
300
|
+
it('newton_sqrt(0) == 0', () => {
|
|
301
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(0)); }`);
|
|
302
|
+
rt.execFunction('test');
|
|
303
|
+
expect(exp(rt, 'r')).toBe(0);
|
|
304
|
+
});
|
|
305
|
+
});
|
|
306
|
+
describe('digital_root', () => {
|
|
307
|
+
it('digital_root(493) == 7', () => {
|
|
308
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(493)); }`);
|
|
309
|
+
rt.execFunction('test');
|
|
310
|
+
expect(exp(rt, 'r')).toBe(7);
|
|
311
|
+
});
|
|
312
|
+
it('digital_root(9) == 9', () => {
|
|
313
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(9)); }`);
|
|
314
|
+
rt.execFunction('test');
|
|
315
|
+
expect(exp(rt, 'r')).toBe(9);
|
|
316
|
+
});
|
|
317
|
+
it('digital_root(0) == 0', () => {
|
|
318
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(0)); }`);
|
|
319
|
+
rt.execFunction('test');
|
|
320
|
+
expect(exp(rt, 'r')).toBe(0);
|
|
321
|
+
});
|
|
322
|
+
});
|
|
323
|
+
describe('spiral_ring', () => {
|
|
324
|
+
it('spiral_ring(1) == 0', () => {
|
|
325
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(1)); }`);
|
|
326
|
+
rt.execFunction('test');
|
|
327
|
+
expect(exp(rt, 'r')).toBe(0);
|
|
328
|
+
});
|
|
329
|
+
it('spiral_ring(9) == 1', () => {
|
|
330
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(9)); }`);
|
|
331
|
+
rt.execFunction('test');
|
|
332
|
+
expect(exp(rt, 'r')).toBe(1);
|
|
333
|
+
});
|
|
334
|
+
it('spiral_ring(25) == 2', () => {
|
|
335
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(25)); }`);
|
|
336
|
+
rt.execFunction('test');
|
|
337
|
+
expect(exp(rt, 'r')).toBe(2);
|
|
338
|
+
});
|
|
339
|
+
});
|
|
340
|
+
describe('clamp_circle', () => {
|
|
341
|
+
it('point inside: clamp_circle_x(3,4,10) == 3', () => {
|
|
342
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(3, 4, 10)); }`);
|
|
343
|
+
rt.execFunction('test');
|
|
344
|
+
expect(exp(rt, 'r')).toBe(3);
|
|
345
|
+
});
|
|
346
|
+
it('point outside: clamp_circle_x(600,0,500) == 500', () => {
|
|
347
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(600, 0, 500)); }`);
|
|
348
|
+
rt.execFunction('test');
|
|
349
|
+
expect(exp(rt, 'r')).toBe(500);
|
|
350
|
+
});
|
|
351
|
+
it('clamp_circle_y(0,600,500) == 500', () => {
|
|
352
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_y(0, 600, 500)); }`);
|
|
353
|
+
rt.execFunction('test');
|
|
354
|
+
expect(exp(rt, 'r')).toBe(500);
|
|
355
|
+
});
|
|
356
|
+
});
|
|
357
|
+
describe('angle_between', () => {
|
|
358
|
+
it('perpendicular vectors: angle_between(1000,0,0,1000) == 90', () => {
|
|
359
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 0, 1000)); }`);
|
|
360
|
+
rt.execFunction('test');
|
|
361
|
+
expect(exp(rt, 'r')).toBe(90);
|
|
362
|
+
});
|
|
363
|
+
it('parallel vectors: angle_between(1000,0,1000,0) == 0', () => {
|
|
364
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 1000, 0)); }`);
|
|
365
|
+
rt.execFunction('test');
|
|
366
|
+
expect(exp(rt, 'r')).toBe(0);
|
|
367
|
+
});
|
|
368
|
+
it('opposite vectors: angle_between(1000,0,-1000,0) == 180', () => {
|
|
369
|
+
const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, -1000, 0)); }`);
|
|
370
|
+
rt.execFunction('test');
|
|
371
|
+
expect(exp(rt, 'r')).toBe(180);
|
|
372
|
+
});
|
|
373
|
+
});
|
|
374
|
+
//# sourceMappingURL=stdlib-advanced.test.js.map
|