Refactor EVM memory planning - #298

Merged

sbillig merged 11 commits into

fe-lang:mainfrom

sbillig:refact-mem

Jul 11, 2026

Commits on Jul 11, 2026

Extract stable-placement search into placement_search.rs
sbillig
committed
1f5636f
Move ptr_escape tests to a sibling file
sbillig
committed
bab8b56
Rename memory-tier concepts for one-concept-one-name
sbillig
committed
5e1b28a
Compute the call-graph condensation once per module
sbillig
committed
2c2cd1f
Compute per-function analyses once in the pre-analysis bundle
sbillig
committed
69cc76f
Merge the free-pointer analyses onto one dataflow engine
sbillig
committed
1106f8a
Split the memory plan into semantic and machine phase types
sbillig
committed
2e902d2
Add uniform word-arith, alignment, and lookup helpers
sbillig
committed
54bdc16
Replace spill-choice score-by-replanning with a marginal model
sbillig
committed
237cb35
Simplify placement search: score moves by clone-apply-evaluate
sbillig
committed
ff4638e
Simplify EVM memory planning
sbillig
committed
54b3fec