Considerazioni per la scrittura di codice di prologo e di epilogo

Sezione specifica Microsoft

Prima di scrivere sequenze di codice prologo ed epilogo, è importante comprendere come viene disposto lo stack frame. È anche utile sapere come usare il __LOCAL_SIZE simbolo.

Stack Frame Layout

In questo esempio viene illustrato il codice standard di prologo che potrebbe essere visualizzato in una funzione a 32 bit:

push        ebp                ; Save ebp
mov         ebp, esp           ; Set stack frame pointer
sub         esp, localbytes    ; Allocate space for locals
push        <registers>        ; Save registers

La variabile localbytes rappresenta il numero di byte necessari nello stack per le variabili locali e la variabile <registers> è un segnaposto che rappresenta l'elenco di registri da salvare nello stack. Dopo l'inserimento dei registri, è possibile posizionare qualsiasi altro dato appropriati nello stack. Viene di seguito riportato il codice di epilogo corrispondente.

pop         <registers>   ; Restore registers
mov         esp, ebp      ; Restore stack pointer
pop         ebp           ; Restore ebp
ret                       ; Return from function

Lo stack va sempre verso il basso (dal livello alto a quello basso degli indirizzi di memoria). Il puntatore di base (ebp) punta al valore inserito di ebp. L'area delle variabili locali inizia da ebp-4. Per accedere alle variabili locali, calcolare un offset da ebp sottraendo il valore appropriato da ebp.

__LOCAL_SIZE

Il compilatore fornisce un simbolo, __LOCAL_SIZE, da usare nel blocco assembler inline del codice prologo della funzione. Questo simbolo viene utilizzato per allocare spazio per le variabili locali sullo stack frame nel codice di prologo personalizzato.

Il compilatore determina il valore di __LOCAL_SIZE. Il relativo valore è il numero totale di byte di tutte le variabili locali definite dall'utente e le variabili temporanee generate dal compilatore. __LOCAL_SIZE può essere utilizzato solo come operando immediato; non può essere usato in un'espressione. Non è necessario modificare o ridefinire il valore di questo simbolo. Ad esempio:

mov        eax, __LOCAL_SIZE           ;Immediate operand--Okay
mov        eax, [ebp - __LOCAL_SIZE]   ;Error

L'esempio seguente di una funzione naked contenente sequenze di prologo ed epilogo personalizzate usa il __LOCAL_SIZE simbolo nella sequenza di prologo:

// the__local_size_symbol.cpp
// processor: x86
__declspec ( naked ) int main() {
   int i;
   int j;

   __asm {      /* prolog */
      push   ebp
      mov      ebp, esp
      sub      esp, __LOCAL_SIZE
      }

   /* Function body */
   __asm {   /* epilog */
      mov      esp, ebp
      pop      ebp
      ret
      }
}

Fine sezione specifica Microsoft

Vedi anche

Chiamate di funzioni naked