为什么 MS C++将此代码添加到程序集中？

Question

我有一些代码（内联汇编）。

void NativeLoop()
{
    int m;
    __asm
    {
        PUSH ECX
        PUSH EDX
        MOV  ECX, 100000000
NEXTLOOP:
        MOV  EDX, ECX
        AND  EDX, 0X7FFFFFFF
        MOV  DWORD PTR m, EDX
        DEC  ECX
        JNZ  NEXTLOOP
        POP  EDX
        POP  ECX
    }
}

MS C++ Automagicaly 将这些代码（标有 **）添加到我的程序中。
为什么？
如何避免呢？

  **push        ebp  
  **mov         ebp,esp 
  **push        ecx  
  push        ecx  
  push        edx  
  mov         ecx,5F5E100h 
NEXTLOOP:
  mov         edx,ecx 
  and         edx,7FFFFFFFh 
  mov         dword ptr m,edx 
  dec         ecx  
  jnz         NEXTLOOP
  pop         edx  
  pop         ecx  
  **mov         esp,ebp 
  **pop         ebp  
  **ret

Answer 1

它是标准函数进入和退出代码。它建立和拆除堆栈框架。如果你不想要它，你可以使用 __declspec(naked)。如果这样做，请不要忘记包含 RET。

但是，您的代码片段依赖于有效的堆栈框架，您的“m”变量需要它。它的地址是[ebp-10]。如果没有前导码，ebp 寄存器将无法正确设置，并且您将破坏调用者的堆栈帧。

Answer 2

它正在维护调用堆栈。如果您将函数定义为，

int NativeLoop() { }

您将看到相同的程序集。

Answer 3

我记得你可以在MSVC++中__declspec(naked)，这意味着你必须自己处理堆栈，这意味着你必须保存你破坏的每个寄存器，并恢复它。

没有唯一的规则可以正确地做到这一点，因为它取决于调用约定。请参阅 http://en.wikipedia.org/wiki/X86_calling_conventions 。

旁注：在 gcc 中，您明确向编译器说明您将驱动无效的内容，以便 gcc 将输出更优化的保存/恢复/堆栈帧代码（如果有）。在 MSVC 中，asm 对于编译器来说主要是一个黑匣子，对于编译器来说它通常/总是最糟糕的。

请参阅 http://www.ibiblio.org /gferg/ldp/GCC-Inline-Assembly-HOWTO.html#ss5.3 ，gcc内联asm语法更难看，但实际上更有效。

Answer 4

  **push        ebp  ;save EBP register
  **mov         ebp,esp  ;Save the stackframe
  **push        ecx  ; So that the variable `m` has an address
;...
  **mov         esp,ebp ;restore the stack frame to it's original address
  **pop         ebp   ;restore EBP register
  **ret ;return from function call

Answer 5

如果您可以搜索 C++ 调用约定，您将更好地了解编译器正在做什么。