Soy un principiante en lenguaje ensamblador y he notado que el código x86 emitido por los compiladores generalmente mantiene el puntero del marco incluso en el modo de lanzamiento / optimizado cuando podría usar elEBP registrarse para otra cosa.

Entiendo por qué el puntero de marco puede hacer que el código sea más fácil de depurar, y podría ser necesario sialloca() se llama dentro de una función. Sin embargo, x86 tiene muy pocos registros y usar dos de ellos para mantener la ubicación del marco de la pila cuando uno sería suficiente no tiene sentido para mí. ¿Por qué omitir el puntero de fotograma se considera una mala idea incluso en compilaciones optimizadas / de lanzamiento?