> which never needs the pair of spill insns. Something to consider... Does gcc provide a flag that says "your $sp will be unspecified at the end of this function" that's valid during reload and for prologue and epilogue generation? I could push $pc onto the stack just after setting $fp, so it's always where I can get to it in the epilogue.
Most of the time, $sp happems to have the original value anyway, so no registers are used and it just works.