コンパイラがプッシュ/ポップ命令のペアを生成するのはなぜですか？

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]は、通常はプッシュされたリターンアドレスを指していて、上書きすることはできません。 は、対象とするABIの揮発性レジスタである可能性が高いため、ECXを保持する必要はありません。

ここでプッシュ/ポップが使用される理由は、スペース（およびスピード）最適化です。

Answer 3

これは、ESPがstmxcsr命令のターゲットとして参照するトップ・オブ・スタック・エントリを作成します。結果はEAXに保存されて戻ります。