Ответ: Чтобы все окончательно разъяснилось, посмотри в отладчике, что происходит со стеком при вызове процедур, входе в прерывания, как при этом меняется SP - вопросы отпадут сами собой.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)