正确恢复被调用者保存的寄存器

Question

我试图正确理解我在何处以及如何将被调用者保存的寄存器（如 ebx）推入/移出堆栈以恢复它们以供以后使用。

这段代码是否正确恢复了ebx 寄存器？

global main
extern printf

section .text:

print:
    mov     eax, 0x1
    add     eax, ebx

    push    eax
    push    message
    call    printf
    add     esp, 8
    ret

main:
    mov     ebx, 0x1
    push    ebx
    call    print
    pop     ebx
    ret

message db "result = %d", 10, 0       

我应该像这样使用后直接弹出ebx吗？：

global main
extern printf

section .text:

print:
    push    ebx
    mov     ebx, 0x1
    mov     eax, 0x1
    add     eax, ebx

    push    eax
    push    message
    call    printf
    add     esp, 8
    pop     ebx
    ret
main:
    call print
    ret

message db "result = %d", 10, 0       

Answer 1

两种方式都可以，但第二种方式更传统一些。

规则是这样的：当编译器生成调用函数的代码时，它假定调用后 ebx 的内容与之前相同。在您的程序中，唯一适用的情况是调用main 的启动代码。对于您的代码的两个版本，ebx 在main 返回时与输入时具有相同的值，所以一切都很好。

如果您的程序中有一个名为print 的C 函数，那么第一个版本会很糟糕，而需要第二个版本。但是在第一个版本中，print 仅从您手动编码的 main 函数中调用，并且您知道 print 将破坏 ebx 并且您正在采取适当的措施来保存和恢复它，所以没关系。

换句话说，在代码的第一个版本中，print 不符合标准 C 调用约定。但是由于您从未真正从 C 代码中调用它，因此这不一定是问题。在第二个版本中，它确实符合要求，这可能在美学上更好，并且维护起来可能更容易。