Another possibility is to use the elimination macros (ie, define a new register which is the stack pointer without the bias, and then eliminate to the real register via subtraction.