Doom in TypeScript 7 types - #8

Open

teamchong wants to merge 84 commits into

MichiganTypeScript:masterfrom

teamchong:aot-compiler-dev

Commits on Jan 12, 2026

fix: correct memory operations in AOT compilers
teamchong
committed
a08a7d8
feat: add AOT test files, benchmarks, and generated types
teamchong
committed
3a30b5b

Commits on Jul 26, 2026

Run pong inside the type checker at ~4fps, one evaluation per frame
teamchong
committed
48d4cf9
Support calls, and stop naming block parameters after stack expressions
teamchong
committed
f5a6985
Specialise the operations that are actually cheaper, and measure the rest
teamchong
committed
e4474cd
Pixel graphics: a 64x48 framebuffer game, one evaluation per frame
teamchong
committed
c2d3a4b
Only pass the locals a block actually reads
teamchong
committed
b053057
Cap block depth: 4x on the games, 9.5x on the worst case
teamchong
committed
333aade
Sweep the depth cap: 12 -> 6, pixel pong reaches 16 fps
teamchong
committed
866c8d8
Write the game for the machine it runs on: 25 fps at 64x48
teamchong
committed
adc779f
Record the game as a GIF, and write down what the measurements showed
teamchong
committed
aaa6aed
Unrolled sprites, a trie-width knob, and two negative results
teamchong
committed
a48ab8d
compile long blocks as pipelines of alias applications, keep nesting for short ones
teamchong
committed
37388f0
record why fusing the byte store into the trie walk is slower
teamchong
committed
bfe3475

Commits on Jul 27, 2026

Commits on Jul 28, 2026

doom: show fps in the viewer
teamchong
committed
6d18b7d
cfg: let the compiler lifetime climb back
teamchong
committed
1bffedf
cfg: run at the fuel the checker can actually take
teamchong
committed
1c0ec07
cfg: time the trie split and the forcing read separately
teamchong
committed
df8f7a8
Add i32 with a nibble table instead of 32 recursive steps
teamchong
committed
b68c5c6
Subtract i32 with a nibble table too
teamchong
committed
bc53ffe
Read initial memory through a keyed map, not a trie walk
teamchong
committed
89bd7aa
aot_cfg: check node arity without inferring its children
teamchong
committed
08e5ec9
aot_cfg: match the discarded address bits as literals
teamchong
committed
8395380

Commits on Jul 31, 2026

Doom driver: atomic checkpoints, correct type-level arithmetic
teamchong
committed
c53326f
Memory is an overlay, so a store costs what it wrote
teamchong
committed
08b82aa
Skip the half of a multiply that is zero
teamchong
committed
0ba571e
Divide 32-bit through the single-pass loop 64-bit already uses
teamchong
committed
fa6b34b
aot-cfg: stop paying the multiplier's worst case in FixedMul
teamchong
committed
d63e950
drive: bisect the fuel cliff instead of doubling past it
teamchong
committed
10a283e
drive: back off strictly below the fuel that failed
teamchong
committed
30f1684
stream: rename the page's status variable off window.status
teamchong
committed
754d7b0
Break the 1000-instruction ceiling: resume a suspend in types
teamchong
committed
db69da1
Resume without zeroing sbrk: the reset corrupted the allocator
teamchong
committed
be9f013
Stop clearing a "spent" frame buffer on resume: it was live memory
teamchong
committed
b7bd5c0
Put sbrk's reset back: a spent heap has to be re-initialized, not reused
teamchong
committed
b7d3037
Turn the trampoline off: it runs a different block than the host does
teamchong
committed
a42ac6f
A cold run was handing doom an empty address space
teamchong
committed
6de412f
Parse $InitialMemory for a cold run instead of naming it
teamchong
committed
c115fc9
Start a cold run on $Absent again
teamchong
committed
f27cb2d
Run one segment per chunk: the second one dropped the first's writes
teamchong
committed
bc9a722
Carry the page count into a new frame
teamchong
committed
8561bec

Commits on Aug 1, 2026

Divide i32 signed by dividing the magnitudes
teamchong
committed
4ac50e8

Commits on Aug 2, 2026

Run the real linuxdoom-1.10, and let keys reach it
teamchong
committed
a3c3e51
Let the browser's keys reach doom
teamchong
committed
2417034
Latch keypresses so a tap outlives one chunk
teamchong
committed
e3127a7
stream: show what the game actually has, not what the browser sent
teamchong
committed
3a3c5ee
doom/stream: retire press counts once the game has them
teamchong
committed
37e6b20
playground: check in a post-init checkpoint so play starts painted
teamchong
committed
816a64a
doom: seed the checked-in checkpoint from a cold start, add pnpm run restart
teamchong
committed
8061add
doom: make restart kill the play loop, not just its driver
teamchong
committed
7540d70
playground: rename play to start, keep live state out of /tmp
teamchong
committed
9bea95d
Give the game a release frame between repeated keypresses
teamchong
committed
8a3a8a5
doom: forward the whole keyboard, not ten keys
teamchong
committed
6dbbeff
doom: make the queued badge a state, not an event
teamchong
committed
386bcbc
benchmark: call node from PATH
teamchong
committed
35319ac
Accept newer wabt/clang instead of one exact version
teamchong
committed
83e9312

Commits on Aug 3, 2026

Add root start/restart scripts forwarding to playground
teamchong
committed
062a827
Raise default fuel to 655360; trie memory removed the 1280 ceiling
teamchong
committed
0c3e2ef
Suspend with the raw memory overlay instead of flushing per chunk
teamchong
committed
a259c56
Bump tsgo to 7.1.0-dev.20260802.1
teamchong
committed
3fab178
Mark retry paths in the drive.ts time split
teamchong
committed
57159eb

Commits on Aug 4, 2026

Send key presses as edges and let a newer key preempt an unacked one
teamchong
committed
46368bc