Работа с функциями. Нюансы.

[Aether]

Доброго дня.

Вчера, пока писал, обратил внимание на нюанс, и поэтому хочу задать вопрос: кто должен сохранять актуальные значения регистров? Функция, которую вызывают? Или вызывающая сторона?

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

Код: (ASM)

print_digit:

    push      eax
    push      ecx; Вот это было добавлено, так как >>
    mov       eax, DWORD line
    add       eax, edx
    push      DWORD 0
    push      DWORD written
    push      DWORD 1
    push      eax
    push      DWORD [stdout]
    call      _WriteConsoleA@20; >> здесь изменяется ecx.
    pop       ecx; А здесь я восстанавливаю его прежнее значение, чтобы
                 ; не сбить вызывающую программу.
    pop       eax
    ret

[Ochkarik]

зависит от Соглашение о вызове(Calling convention)

PS ну и архитектуры процессора конечно, строго говоря.

[Aether]

зависит от Соглашение о вызове(Calling convention)

Тут речь об WinApi (stdcall), но он описывает передачу данных через стек. А по поводу того, что функция не следит за сохранением регистров? То есть, eax, понятно - это выход результата, но зачем трогать ecx? Просто в таком случае придётся перед вызовом в общем случае писать pusha, но это же долго будет выполняться.

[Ochkarik]

в смысле "Тут речь об WinApi (stdcall)"? - вы об приведенном куске кода?

x86 при 32-битной адресации...
Для перечисленных ниже соглашений (кроме cdecl) перед возвратом значений из функции подпрограмма обязана восстановить значения сегментных регистров, регистров esp и ebp. Значения остальных регистров могут не восстанавливаться.

[Aether]

Да.

То есть, придётся перед вызовом перестраховаться и записать в стек до загрузки аргументов все регистры. А потом после их извлечь.

Логика просто странная, предположим у меня в функции четыре регистра используются, а в х64 их тьма, значит в прологе придётся сохранить всё.

[Ochkarik]

внимательнее. я написал "x86 при 32-битной адресации..."
для x64 https://msdn.microsoft.com/ru-ru/library/ms235286.aspx#Соглашение о вызовах

[Aether]

Спасибо.

Собственно для себя уяснил:

Регистры RAX, RCX, RDX, R8, R9, R10 и R11 считаются временными и должны уничтожаться при вызове функции (если иное не требуется, исходя из соображений безопасности, например в процессе оптимизации программы).

Регистры RBX, RBP, RDI, RSI, RSP, R12, R13, R14 и R15 считаются защищенными. Значения этих регистров должны сохраняться и восстанавливаться в использующей их функции.