>> Я вообще не пишу про динамическую аллокацию типа «куча», не надо путать.
> Т.е. это +1 стэк сугубо?

Да.

> Ну окей, однако мы тогда перманентно теряем
> регистр.

Верно.

> Остальной код им пользоваться для себя по простому не может
> и общее качество генеренного кода сольется.

На IA32 оно так всегда и было, наверное со времён шестнадцатиразрядного x86 с командами enter+leave. В прологе esp копировался в ebp и далее вся работа шла через ebp. Тогда это объяснялось, что при адресации через регистр базы опкод получается на байт меньше. На деле, подозреваю, компиляторы были не очень, а адресовать через ebp проще - в отличие от esp он в теле подпрограммы не меняется. Потом появился -fomit-frame-pointer и регистр освободили.