Почему компилятор генерирует пару команд push/pop?

Question

Я скомпилировал код ниже с VC++ 2010 компилятора:

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

и сгенерированный код был:

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

Почему пара выполняется за push ECX/pop ECX?

Answer 1

Компилятор создает пространство в стеке для хранения MXCSR. Это могло бы быть столь же хорошо сделано:

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

Но «push ecx», вероятно, короче или быстрее.

Answer 2

Нажатие здесь используется для выделения 4 байтов временного пространства. [ESP] обычно указывает на адрес push-адреса, который мы не можем перезаписать.

ECX будет перезаписан здесь, однако ECX, вероятно, является изменчивым регистром в ABI, на который вы нацеливаетесь, поэтому функциям не нужно сохранять ECX.

Причина использования push/pop заключается в оптимизации пространства (и, возможно, скорости).

Answer 3

Он создает запись верхнего уровня, которую ESP теперь обозначает в качестве цели для инструкции stmxcsr. Затем результат сохраняется в EAX для возврата.