pourquoi MS C++ ajoute ce code à l'assemblage?

Question

J'ai du code (assemblage en ligne).

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 ajoute ces codes (marqués d'un **) à ma procédure.
Pourquoi?
comment l'éviter?

**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

Il s'agit du code d'entrée et de sortie de fonction standard. Il établit et détruit le cadre de la pile. Si vous ne le voulez pas, vous pouvez utiliser __declspec (nu). N'oubliez pas d'inclure le RET si vous le faites. Cependant, votre fragment repose sur un cadre de pile valide, votre variable "m" le requiert. Il est adressé à [ebp-10]. Sans le préambule, le registre ebp ne sera pas défini correctement et vous corromprez le cadre de la pile de l'appelant.

Answer 2

Il maintient la pile d'appels. Si vous avez défini la fonction comme

int NativeLoop() { } 

Vous verriez le même assemblage.

Answer 3

Si vous pouvez effectuer une recherche sur les conventions d'appel C++, vous comprendrez mieux ce que fait le compilateur.

Answer 4

Je me souviens que vous pouvez __declspec(naked) dans MSVC++, ce qui signifie que vous devez vous occuper vous-même de la pile, ce qui signifie que vous devez sauvegarder tous les registres que vous avez supprimés et les restaurer.

Il n'y a pas de règle unique pour le faire correctement, car cela dépend de la convention d'appel. Voir http://en.wikipedia.org/wiki/X86_calling_conventions.

Sidenote: Dans gcc, vous expliquez explicitement au compilateur ce que vous allez invalider, afin que gcc produise un enregistrement/une restauration/un code de pile plus optimaux, le cas échéant. Dans MSVC, asm est principalement une boîte noire pour le compilateur, pour laquelle il sera souvent/toujours le pire.

Voir http://www.ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html#ss5.3, gcc syntaxe en ligne asm est plus laide, mais effectivement plus efficace.

Answer 5

**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