c - 剖析 x86 堆栈框架设置 Visual C++ (Visual Studio 2010)

Question

只是对这个将两个数字相加的非常简单的函数提出了几个好奇的问题。这是带注释的反汇编(问题在代码中标有？？？)

这是C函数

int Add(int x , int y)
{
    int additionAnswer = 0 ;
    additionAnswer = x + y;
    return additionAnswer;
}

这是带有我的注释和问题的反汇编(DEBUG BUILD)

int Add(int x , int y)
{
  push        ebp        ; preserve base pointer 
  mov         ebp,esp    ; move base pointer to start of stack frame for this function
  sub         esp,0CCh   ; ??? is this preserving  space on the stack for local
                         ;  variable..204bytes seems execessive!!!
  push        ebx  //??? Why is this preserving ebx, esi and edi
  push        esi  //??? when clearly this function does not use it!
  push        edi  
  lea         edi,[ebp-0CCh]   ; ??? Why is it loading the address of top of stack into edi?
  mov         ecx,33h          ; ??? What is that doing
  mov         eax,0CCCCCCCCh   ; ??? What is that doing 
  rep stos    dword ptr es:[edi]   ; ??? What is that doing         
  mov         dword ptr [additionAnswer],0  ;int additionAnswer = 0 
  mov         eax,dword ptr [x]  ;eax = x
  add         eax,dword ptr [y]  ;eax = eax + y
  mov         dword ptr [additionAnswer],eax   ;answer = eax
  mov         eax,dword ptr [additionAnswer]   ; return addition in eax
  pop         edi  ;restore edi even though I didn't use it !!!!
  pop         esi  ;restore esi even though I didn't use it !!!!
  pop         ebx  ;restore ebx even though I didn't use it !!!!
  mov         esp,ebp  ; clean up stack frame and restore sp to 
                        ;4 bytes above it's original pre-frame value
  pop         ebp  ;restore base pointer back to it's original value 
                   ;and at same time this will add 4 to sp hence restoring it 
                   ;back to its former pre-frame value, and pointing to return address on stack
  ret  

我仔细研究了一下，显然在 Win32 中，必须保留以下内容:edi、esi、ebp 和 ebx。我可以理解源/目标索引寄存器 (esi/edi) 可能被调用函数使用，但为什么 calling 函数不保留 EBX 本身而不是我的函数做不必要的驴子工作，调用者肯定知道它需要保留什么，不需要保留什么!最后，为什么保留 EBX 而不是 ECX，为什么我的函数有责任保留这些寄存器(甚至任何寄存器!)。

最后一件事我在 Release模式下构建时没有看到任何这些寄存器保存代码(没有优化)......这是一个仅调试概念吗？？？？

Answer 1

回答你的问题

why doesn't the calling function preserve it itself rather than my function doing the unnecessary donkey work, surely the caller knows what it needs to preserve and what it does not!

因为调用约定指定一个函数可以假定它调用的函数不会修改 edi、esi、ebp 和 ebx。很多时候，调用者也会关心其他寄存器(eax、ecx 和 edx)中的值，但它知道它们可能会被修改，因此如果调用者关心，它们需要被保存。

有时让调用者保存东西更简单，有时让被调用者保存更简单。由于调用约定需要被不同语言的许多不同编译器理解(并遵循)(以便允许这些编译器一起工作)，标准调用约定为您提供了调用者保存和被调用者保存的混合，任何编译器都可以使它自己(独立)选择将哪种寄存器用于各种值，以最大限度地减少完成的工作量。