perché gcc 4.x riserva di default 8 byte per lo stack su linux quando si chiama un metodo?

Question

come principiante di asm, sto controllando il codice asm generato da gcc -S per imparare.

perché gcc 4.x riserva di default 8 byte per stack quando si chiama un metodo?

func18 è la funzione vuota senza restituzione nessun parametro nessuna variabile locale definita. Non riesco a capire perché 8 byte sono riservati qui (né alcun forum/sito menzione per il motivo, ppl sembra darlo per scontato) è per il% ebp basta premere? o restituire il tipo ?! molti thx!

 .globl _func18 
    _func18: 
    pushl %ebp 
    movl %esp, %ebp 
    subl $8, %esp 
    .text 

Answer 1

Come richard di cui sopra, è tutto a causa dell'ottimizzazione, mostrando di seguito. ma ancora non ho idea del motivo per cui 8 byte riservati è qualcosa di ottimizzato ?!

c originale

void func18() {} 
int main() {return 0;} 

compilare senza bandiera di ottimizzazione specificate

.text                     
.globl _func18 
_func18: 
    pushl %ebp 
    movl %esp, %ebp 
    subl $8, %esp 
    leave 
    ret 
.globl _main 
_main:                      
    pushl %ebp 
    movl %esp, %ebp 
    subl $8, %esp 
    movl $0, %eax 
    leave 
    ret 
    .subsections_via_symbols 

con -Os ottimizzazione bandiera, riserva non più di stack

.text 
.globl _func18 
_func18: 
    pushl %ebp 
    movl %esp, %ebp 
    leave 
    ret 
.globl _main 
_main: 
    pushl %ebp 
    xorl %eax, %eax 
    movl %esp, %ebp 
    leave 
    ret 
    .subsections_via_symbols 

Answer 2

Un modo semplice per scoprirlo: la funzione vuota chiama un'altra funzione con un parametro. Se il parametro è memorizzato direttamente nello stack (nessuna spinta), allora è a questo che serve lo spazio extra.

Answer 3

Alcune istruzioni richiedono che alcuni tipi di dati siano allineati fino a un limite di 16 byte (in particolare, il tipo di dati SSE __m128). Per soddisfare questo requisito, gcc garantisce che lo stack sia inizialmente allineato a 16 byte e alloca lo spazio di stack in multipli di 16 byte. Se è necessario inserire solo un indirizzo di ritorno a 4 byte e un puntatore del frame a 4 byte, sono necessari 8 byte aggiuntivi per mantenere lo stack allineato su un limite di 16 byte. Tuttavia, se gcc determina che l'allineamento aggiuntivo non è necessario (ovvero i tipi di dati di fantasia non vengono utilizzati e non vengono chiamate funzioni esterne), allora può omettere qualsiasi istruzione aggiuntiva utilizzata per allineare lo stack. L'analisi necessaria per determinarlo potrebbe richiedere l'esecuzione di alcuni passaggi di ottimizzazione.

Vedere anche la documentazione di gcc per l'opzione -mpreferred-stack-boundary=num.