> Locals which the programmer desires to be spilled could be annotated, making the performance cost visible in the source.

> I’ve never heard of anyone asking for such a feature.

Nevertheless we have/had it (for the other way around though): https://en.wikipedia.org/wiki/Register_(keyword)