nightmares with biased stack pointers
Jeffrey A Law
law@cygnus.com
Sat Sep 13 18:23:00 GMT 1997
In message < 199709131024.GAA10195@jenolan.rutgers.edu >you write:
> The problem is that sparc64 is the only target which has whats called
> a 'biased' stack pointer. %sp really doesn't point to the stack, it
> points to the stack minus 2,047 bytes.
Weird, but I understand how it could be useful. The mn10300 cpu
handles this slightly differently -- memory references from the
stack pointer are unsigned, thus doubling the the effective
memory referencing range for SP accesses.
Of course SP isn't a general register, so this hackery is
pretty simple.
> (STACK_BIAS is the aforementioned 2047 byte bias %sp has,
> FIRST_PARM_OFFSET is a known aligned offset from that frame)
>
> That code is correct and unoptimized. If I turn on any optimizations,
> the combiner looks at that and determines something along these lines:
>
> 1) Hey, I know how %sp must be aligned
> 2) Hey look, two redundant addition instructions, combine 'em
> 3) Hey look, taking into account the known alignment of the stack
> frame and the "add sp, const, reg; srlx 4; sllx 4;" sequence,
> I can determine that this is really an alignment of the 'constant'
> so I can merge this into a constant operation and blow the two
> shifts away.
Interesting problem; what would happen if you declared the stack was
unaligned, and made sure in the backend prologue/epilogue routines
(and parameter passing) to make sure that you always made frames
that were multiples of the old alignment?
jeff
More information about the Gcc
mailing list