This is imprecise wrt the point of view of caller vs callee.
> All a (argument) and t (temporary) registers must be considered destroyed after a function call.
All s (saved) registers can be considered saved after a function call.
Who must do the considering here? The caller or the callee? I expect it's the caller because that makes the most sense, but I'd like to see it spelled out.
If my assumption is correct, that implies that callees are required to restore the s registers before returning but they are not required to restore a or t registers before returning. Correct?
> All a (argument) and t (temporary) registers must be considered destroyed after a function call. All s (saved) registers can be considered saved after a function call.
Who must do the considering here? The caller or the callee? I expect it's the caller because that makes the most sense, but I'd like to see it spelled out.
If my assumption is correct, that implies that callees are required to restore the s registers before returning but they are not required to restore a or t registers before returning. Correct?