gccは読み込み中に呼び出し先保存レジスタを保持するのはなぜですか？

Question

単純な関数（x86-64で、-O2）：

__attribute__((noinline,noclone,pure)) 
uint foo() { 
    register const uint* _reg asm ("r15"); 
    return *_reg; 
} 

この機能のためのアセンブラ出力：

push r15  
mov  eax, [r15]  
pop  r15  
retn 

不要なポップ/は、命令が挿入されているプッシュするのはなぜ？

Answer 1

良い質問ですが、私は気の利いた考えはしていませんが、おそらくコンパイラはr15を使用すると宣言してから関数エントリに保存し、関数を終了する前にリストアします。コンパイラでは、レジスタを読み取っているだけでは表示されません。

コンパイラは、レジスタを保存する必要があるかどうかを判断するためにレジスタを書き込むかどうかを追跡するロジックを拡張する必要があります。