Если аллокация идёт на стеке, то скорее всего при входе в метод rsp сразу отмотается на все локальные переменные, которые потребуются в этом методе. Потому что так проще, чем менять его по ходу дела
спасибо за информацию, именно такое видение в голове и было