RFA: general prologue analysis framework

[Nathan J. Williams]

Daniel Jacobowitz <drow@false.org> writes:

> If you're guaranteed that the compiler only adjusts the stack pointer
> by constant amounts, either in the prologue or down and then up again
> within a basic block, maybe it would be useful.  But very few compilers
> behave that way.
> 
> Did your compiler really give you that guarantee?

Observationally, it only ever adjusted the stack pointer by constant
amounts, though it did it wherever it felt like. I don't think the
compiler was smart enough to do anything more complicated than
constant adjustments.

As far as actual guarantees, I have no idea. It was a binary product
and my customer was barely on speaking terms with their compiler
vendor.

        - Nathan