Multi-phase optimization pipeline: peephole, SCCP, IVSR, symbol interning - #252

Open

CrazyTodd-one wants to merge 21 commits into

anthropics:mainfrom

CrazyTodd-one:main

Commits on Feb 23, 2026

Phase 2: optimization tiers, XMM fold, IVSR, DCE, narrowing

CrazyTodd
and
claude
committed
6ce473f
Phase 4: address fold peephole, extended sign-ext elimination, rep movsq

CrazyTodd
and
claude
committed
f70e7f1
Add cost model to if_convert pass to limit cmov over-speculation

CrazyTodd
and
claude
committed
b720830
Convert String to Rc<str> for IR names and identifiers across the pipeline

CrazyTodd
and
claude
committed
80d1e9d
Add SCCP pass and CSR use-chains to UseDefInfo

CrazyTodd
and
claude
committed
0503254
Extend IVSR to handle GEP-based pointer induction variables

CrazyTodd
and
claude
committed
17905cc
Separate -O3 from -O2 in CLI flag parsing

CrazyTodd
and
claude
committed
fe0dd7d
Update documentation for Rc<str>, SCCP, optimization tiers, and if-convert cost model

CrazyTodd
and
claude
committed
dc8f660

Commits on Feb 24, 2026

Enhance copy propagation and tighten if-convert cost model

CrazyTodd
and
claude
committed
ec93b74
Direct register routing for call args and load+sext fusion

CrazyTodd
and
claude
committed
e6fc87f
Update improvement report with Phase 5 results and benchmarks

CrazyTodd
and
claude
committed
fc9449e
Implement string literal deduplication (-fmerge-constants)

CrazyTodd
and
claude
committed
f533d6b
Implement .ifnb/.ifb conditional assembly directives in x86 assembler

CrazyTodd
and
claude
committed
bcaec73
Enable 4-byte stack slots for small types on x86-64

CrazyTodd
and
claude
committed
a3f4bae
Update improvement report with Phase 6 results

CrazyTodd
and
claude
committed
4e20b65
Add 64-bit to 32-bit operation narrowing peephole pass

CrazyTodd
and
claude
committed
d696a1e
Phase 8: Cross-block liveness analysis and accumulator routing folds

CrazyTodd
and
claude
committed
c2f687f
Phase 9: Correctness fixes to is_reg_dead_scan liveness analysis

CrazyTodd
and
claude
committed
587cf6e
Phase 10: Advanced peephole folds — hot loop 41→26 instructions

CrazyTodd
and
claude
committed
a5bfa6e
Full Rc<str> conversion in preprocessor and semantic analyzer
CrazyTodd
committed
5414d25
Phase 11: Dead argument register elimination and loop trampoline passes
CrazyTodd
committed
561a1f1