Compile whole programs to machine code - #2

Draft

treeform wants to merge 53 commits into

Commits on Sep 22, 2026

Compile hot integer loops to AArch64 machine code

treeform
and
claude
committed
0bb171c
Keep the interpreter as the only path where no backend exists

treeform
and
claude
committed
07be0e6
Add an x86-64 backend and cover every platform in CI

treeform
and
claude
committed
2de066c
Port the vmath raytracer to BASIC as a realistic workload

treeform
and
claude
committed
9b820b2
Pin loop results so CI proves cross-architecture agreement

treeform
and
claude
committed
57b8f39
Fix the raytracer's field of view and cut a fifth of its work

treeform
and
claude
committed
deeb512
Settle a loop's budget once instead of at every block

treeform
and
claude
committed
f221cec
Use the current Intel macOS runner label

treeform
and
claude
committed
0c6b94f
Compile loops on Windows too, and drop the runner that cannot start

treeform
and
claude
committed
ef6cbce

Commits on Sep 23, 2026

Treat macOS as arm only in CI

treeform
and
claude
committed
96e5dff
Close a budget escape and check what compiled code is trusted with

treeform
and
claude
committed
f167eff
Count every way into a loop, not just the ones the generator models

treeform
and
claude
committed
8751e30
Say which Nim versions the layout check is written around

treeform
and
claude
committed
7adb0dc
Keep pages from being writable and executable, and from leaking

treeform
and
claude
committed
6b667bd
Compile ordinary expressions, not only the fused forms

treeform
and
claude
committed
7aaebe6
Compile array reads and writes

treeform
and
claude
committed
34e87b4
Compile remainder, integer division, and fixed-point arithmetic

treeform
and
claude
committed
e0e9a77
Compile fixed-point constants, host data, and the last fused forms

treeform
and
claude
committed
2090be3
Let a region be a set of offsets rather than a run of them

treeform
and
claude
committed
bc2ba3d
Carry the call state through to compiled code

treeform
and
claude
committed
8849b18
Compile calls by leaving every part of one in memory

treeform
and
claude
committed
96fe978
Compile host calls and fixed-point division

treeform
and
claude
committed
6eb5150
reach globals in memory when a loop has too many to hoist
treeform
committed
4e25b62
share one instruction body between interpreter and native code
treeform
committed
8f662b7
compile whole programs to arm64 machine code
treeform
committed
c6f0f55
compile whole programs to x86-64 machine code
treeform
committed
021738f
replace loop regions with whole-program compilation
treeform
committed
2a03a57
fuzz resumed runs and host code writing globals
treeform
committed
5433445
inline mixed-kind arithmetic, fixed-point compares, and exit sub
treeform
committed
1814328
keep a loop's globals in registers while it runs
treeform
committed
c878885
look at the budget once a pass inside a specialised loop, test low bits for powers of two
treeform
committed
c7e4511
read host callbacks in place instead of copying the closures
treeform
committed
42c303a
give compiled host calls their own direct path
treeform
committed
5131250
hold a block's slots and globals in registers from one instruction to the next
treeform
committed
42cd214
track constants and known kinds in fast blocks
treeform
committed
244e610
read strings in place for len, asc, and string equality
treeform
committed
9994413
carry held values from one block into the next
treeform
committed
78a8ea8
add a string benchmark alongside the raytracer
treeform
committed
80e821e

Commits on Sep 24, 2026

Commits on Sep 28, 2026

merge master: returned arrays, blobs, and string reclaiming on restart

treeform
and
claude
committed
18995d0
bound every computed jump to the program's own offsets

treeform
and
claude
committed
9ff319f
follow buffers host code replaces during a call

treeform
and
claude
committed
286a989
refuse an offset outside the program with a BasicError

treeform
and
claude
committed
4784d72
fall back to the interpreter under bassyNative instead of aborting

treeform
and
claude
committed
95fc816
refuse to write code pages while compiled code runs on the thread

treeform
and
claude
committed
48eb23b
skip the out-of-program offset test where nothing is compiled

treeform
and
claude
committed
1576907
retire the compiled program when host code resizes its storage

treeform
and
claude
committed
6bddafe
check a return's offset before popping its frame

treeform
and
claude
committed
509de64
let strict native builds allow the one refusal made by design

treeform
and
claude
committed
eca1e52
fuzz GOSUB through subs with many parameters

treeform
and
claude
committed
7e81074
note what the per-thread write gate does and does not cover

treeform
and
claude
committed
042cdea
run CI on macOS arm64, Linux x86-64, and Windows x86-64

treeform
and
claude
committed
b82e9a8