perf(repsel): refuse canonical i32 when every hot consumer wants a double (#7128) - #7132

Merged

proggeramlug merged 12 commits into

mainfrom

perf/7128-repsel-benefit

Jul 31, 2026

Commits on Jul 31, 2026

perf(repsel): refuse canonical i32 when every hot consumer wants a double (#7128)
Ralph Küpper
committed
5d0e81b
test(repsel): gate the profitability refusal, and give it a fixture case
Ralph Küpper
committed
487b1f6
fix(repsel): a self-write in an i32 position is a benefit, not a suppressed read
Ralph Küpper
committed
05014c5
docs(repsel): record profitability as a first-class selection question
Ralph Küpper
committed
064f1bc
fix(repsel): carry the self-write marker through unmodelled expression nodes
Ralph Küpper
committed
69cbf86
chore(census): record the #7128 refusal in the baseline floors
Ralph Küpper
committed
e6e47ae
test(repsel): give the mandelbrot reduction its outer-loop f64 use
Ralph Küpper
committed
0ed73fe
fix(repsel): the self-write exemption follows the representation, not the shape
Ralph Küpper
committed
aa41722
test(repsel): fix the New literal in the self-argument case
Ralph Küpper
committed
7643545
docs: final measured numbers in the changelog fragment
Ralph Küpper
committed
7d1c85b
test(census): pair every lowered canonical-i32 floor with a refusal minimum
Ralph Küpper
committed
66a57da
docs: correct the refusal accounting in the changelog fragment
Ralph Küpper
committed
4ff8434