Int対アセンブリの倍数

Question

なぜGCCコンパイラがdoubleを使用するときにこの3行を追加するのか、そしてIntがあるときにGCCコンパイラがこの3行を追加するのはなぜですか？

#include <cstdio> 

int main(){ 
    int i = 1; 
} 

==>

main: 
     push ebp 
     mov  ebp, esp 
     sub  esp, 16 
     mov  DWORD PTR [ebp-4], 1 
     mov  eax, 0 
     leave 
     ret 

---

ダブル付：：

#include <cstdio> 

int main(){ 
    double i = 1; 
} 

==>int型で

---

main: 
     lea  ecx, [esp+4]   // This three lines 
     and  esp, -8     // ... 
     push DWORD PTR [ecx-4]  // ... 
     push ebp 
     mov  ebp, esp 
     push ecx 
     sub  esp, 20 
     fld1 
     fstp QWORD PTR [ebp-16] 
     mov  eax, 0 
     add  esp, 20 
     pop  ecx 
     pop  ebp 
     lea  esp, [ecx-4] 
     ret 

たとえば、int * s = new int（4）などのポインタを使用すると同様のことが起こります。

これがなぜ起こるのか、なぜそうでないのか説明できますか？

Answer 1

自動スコープ（スタック上）にあるdoubleの場合、余分なコードはスタックフレームを偶数の8バイト境界で整列させるため、double変数は適切なアライメントのメモリアドレスに格納されます。スタックポインタは、関数を入力するときに、8バイト境界でも揃えられることは保証されていません。また、コンパイラは余分なコードを追加してそのようにします。

これは、and esp, -8の機能です。 -8は0xFFFFFFF8です。 andを使用してespの最後の3ビットをクリアし、偶数の8バイト境界メモリアドレスを指し、それを調整します（スタックは高いメモリアドレスから低いメモリアドレスに向かって増加します）。