fix(codegen): delete the unsound pre-RS4GC optnone knob; add a post-rewrite instruction budget and per-unit codegen stats (#8583) - #8586

Merged

proggeramlug merged 2 commits into

PerryTS:mainfrom

proggeramlug:fix/8583-rs4gc-budget-assert

Aug 22, 2026

Commits on Aug 22, 2026

fix(codegen): replace the pre-RS4GC optnone knob with a post-rewrite budget assertion and per-unit codegen stats (#8583)
Ralph Küpper
committed
a054dfe
docs: changelog fragment for #8586
Ralph Küpper
committed
de1225b