On Mon, Feb 24, 2003 at 05:29:26PM +0000, Piers Cawley wrote: [Tail-call optimization] > Under caller saves, this is easy to do. Under callee saves, b's second > call to c() cannot simply return to Continuation A but must unwind the > call stack via b to make sure that the right things are restored.
Note that we have the same situation with exceptions. Under caller saves, we just need to consider the deeper stack frame, while under callee saves one need to unwind the stack. -- Jerome
