nightmares with biased stack pointers

[Joern Rennecke]

> My one concern with this approach is that this modifies the range (via
> immediate offsets) which can be reached relative to the real stack,
> since it will be working with a virtual stack pointer.
> 
> Or do the elimination macros handle all of this transparently (or can
> be made to do so)?

No, you have to define GO_IF_LEGITIMATE_ADDRESS to handle this correctly.
If you have LEGITIMIZE_ADDRESS, that macro might need adjustments too.