Dlaczego kompilator generuje parę instrukcji push/pop?

Question

skompilowany kod poniżej z VC++ 2010 kompilatora:

__declspec(dllexport) 
unsigned int __cdecl __mm_getcsr(void) { return _mm_getcsr(); } 

i wygenerowany kod był:

push ECX 
    stmxcsr [ESP] 
    mov EAX, [ESP] 
pop ECX 
retn 

Dlaczego istnieje instrukcja para push ECX/pop ECX?

Answer 1

Kompilator robi miejsce na stosie, aby przechowywać MXCSR. Mogło to równie dobrze zrobić:

sub esp,4 
stmxcsr [ESP] 
mov EAX, [ESP] 
add esp,4 
retn 

Ale "push ecx" jest prawdopodobnie krótszy lub szybszy.

Answer 2

Ten przycisk służy do przydzielenia 4 bajtów przestrzeni tymczasowej. [ESP] normalnie wskazywałby na pchany adres zwrotny, którego nie można zastąpić.

ECX zostanie tutaj zastąpione, jednak ECX jest prawdopodobnie zmiennym rejestrem w ABI, którego szukasz, więc funkcje nie muszą zachowywać ECX.

Powodem użycia przycisku pop/pop jest optymalizacja spacja (i ewentualnie prędkość).

Answer 3

Tworzy on pozycję najwyższego stosu, którą ESP określa teraz jako cel dla instrukcji stmxcsr. Następnie wynik jest zapisywany w EAX dla zwrotu.