dlaczego domyślna rezerwa gcc 4.x 8 bajtów dla stosu na Linuksie podczas wywoływania metody?

Question

jako początkujący asm, sprawdzam generowany kod asc gcc -S, aby się uczyć.

dlaczego domyślna rezerwa gcc 4.x 8 bajtów dla stosu podczas wywoływania metody?

func18 to pusta funkcja bez zwrotu bez param nie zdefiniowany lokalny var. Nie mogę się domyślić, dlaczego zarezerwowano tu 8 bajtów (żadne forum/witryna nie wspomina o tym z jakiegoś powodu, ppl wygląda na pewnik) czy to jest dla% ebp po prostu push? lub zwrócić typ ?! wiele razy!

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

Answer 1

Jak wspomniano wyżej o Richardzie, to wszystko z powodu optymalizacji, pokazanej poniżej. ale nadal nie mam pojęcia, dlaczego 8 bajtów zarezerwowanych jest czymś zoptymalizowanym ?!

oryginalny C

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

kompilacji bez flagi optymalizacji określonych

.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 

-os optymalizacji flagi rezerwowy nie więcej stos

.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

Łatwy sposób sprawdzenia: Czy pusta funkcja wywołuje inną funkcję z jednym parametrem. Jeśli parametr jest przechowywany bezpośrednio na stosie (bez pchania), to jest to, do czego służy dodatkowa przestrzeń.

Answer 3

Niektóre instrukcje wymagają wyrównania określonych typów danych do 16-bajtowej granicy (w szczególności typu danych SSE __m128). Aby spełnić to wymaganie, gcc zapewnia, że ​​stos jest początkowo wyrównany do 16 bajtów i przydziela przestrzeń stosu w wielokrotnościach 16 bajtów. Jeśli wymagany jest tylko 4-bajtowy adres zwrotny i 4-bajtowy wskaźnik ramki, potrzeba 8 dodatkowych bajtów, aby zachować wyrównanie stosu do 16-bajtowej granicy. Jeśli jednak gcc ustali, że dodatkowe wyrównanie jest niepotrzebne (tj. Fantazyjne typy danych nie są używane i nie są wywoływane żadne funkcje zewnętrzne), to może pominąć wszelkie dodatkowe instrukcje używane do wyrównania stosu. Analiza niezbędna do ustalenia tego może wymagać wykonania określonych cykli optymalizacji.

Zobacz także dokumentację gcc dla opcji -mpreferred-stack-boundary=num.