Для чего класть в стек регистр в начале функции?

Question

[kaktak255]

Для чего в начале каждой функции

push rbp
mov rbp, rsp

а в конце
pop rbp

Comments

[freeExec]

Допустим вы не положите регистр rbp в стек. Чему он будет равен при выходе из функции?

[kaktak255]

freeExec, То есть если регистр не положить и использовать его внутри функции, то потом не откуда будет брать его прежнее значение? Почему тогда все регистры не помещаются в стек? И для чего в конце pop rbp

[freeExec]

kaktak255, Ну а как ты его восстановишь?
Бывает и все ложат, зависит же от кода и соглашения вызовов, могут ли функции менять регистры или нет.
Представь ты положил в AX своё значение, вызвал функцию, и стал дальше использовать AX в расчёте, что там лежит нужное тебе число, а функцию туда свой мусор записала.

[kaktak255]

freeExec, а для чего mov rbp, rsp и для чего pop rbp в конце

[freeExec]

kaktak255, почитайте что храниться в регистрах rbp, rsp

Answer 1

[jcmvbkbc]

Конкретно эта последовательность помимо тупо сохранения rbp создаёт разметку кадров стека. Если все функции в цепочке вызовов делают так, то из любой функции можно проследить всю цепочку вызовов до неё зная только текущее значение rbp без какой бы то ни было дополнительной отладочной информации, потому что по адресу в rbp хранится rbp предыдущей функции, а по адресу rbp + 8 -- адрес возврата в предыдущую функцию. Но делать это, конечно же, необязательно. Например gcc вызванный с флагом -fomit-frame-pointer генерирует код без этой последовательности и использует rbp как ещё один регистр общего назначения.

Почему тогда все регистры не помещаются в стек?

Потому что есть документ называемый psABI, который определяет, какие регистры должна сохранять вызываемая функция. Например: x86_64 psABI, раздел 3.2.1 "Registers".

Answer 2

[Василий Банников]

Чтобы не портить жизнь тому, кто твою функцию вызвал и оставить все регистры в том состоянии, в каком они были до вызова

Comments

[kaktak255]

А зачем mov rbp, rsp ?

[Василий Дёмин]

kaktak255, Чтобы сохранить вершину стекового фрейма. Дальше по коду могут быть пуши или просто вычитания из rsp