Запрос на использование указателя стека в ассемблере

Question

Я приготовлена ​​еще статья размещена на википедии на хвостовую рекурсию: http://en.wikipedia.org/wiki/Tail_call

Теперь здесь в конце статьи, пример показывает указатель стека используется для доступа аргументы, передаваемые вызов функции в псевдокоде сборки. Разве это не так? Я имею в виду, что аргументы вызываются вызываемым пользователем, используя указатель кадра справа, а не указатель стека?

Answer 1

Использование указателя стека в порядке. Он всегда указывает на стек в конце концов. Немного сложно отслеживать смещения от указателя стека к аргументам функции, если в функции есть какие-либо команды push или pop. И это действительно трудно переложить стек обратно в отладчик, когда нет указателя кадра.

Использование указателя кадра облегчает работу отладчика и писателя компилятора, но нет необходимости иметь его.

Настройка указателя кадра принимает инструкцию, и она использует регистр, который потенциально может быть использован для других целей. Поэтому использование указателя стека является общим методом оптимизации кода. У компиляторов Microsoft даже есть название для этой оптимизации, они называют это Frame Pointer Omission

Answer 2

Выделенный регистр указателя фрейма, безусловно, является более популярным общепринятым общим вызовом ABI s, но нет ничего по своей сути «неправильного» в использовании другого (возможно, более простого) соглашения о вызове, когда оно чисто для иллюстративных целей (добавление регистра указателя кадра эти фрагменты просто сделают их чуть длиннее и ничего не изменят).