为什么我们使用sub $ 0x18，％rsp？

Question

我学习了32位机器，我知道12美元以下，％esp与pop％eax和mov $ 0，％eax三次相同。

但我不知道为什么我们使用添加$ 18，％rsp启动过程调用或子$ 18，％rsp启动x86-64机器上的过程调用。

为什么编译器使用此规则进行过程调用？参数规则？

0x0000000000400df3 <main+191>:  mov    $0x402227,%edi
0x0000000000400df8 <main+196>:  callq  0x400ab8 <puts@plt>
0x0000000000400dfd <main+201>:  callq  0x4014c0 <read_line>
0x0000000000400e02 <main+206>:  mov    %rax,%rdi
0x0000000000400e05 <main+209>:  callq  0x401139 <phase_3>

-----------------------------------------------------------------------
example:

0x0000000000401139 <example+0>: sub    $0x18,%rsp
0x000000000040113d <example+4>: lea    0x8(%rsp),%rcx
0x0000000000401142 <example+9>: lea    0xc(%rsp),%rdx
0x0000000000401147 <example+14>:        mov    $0x40248a,%esi
0x000000000040114c <example+19>:        mov    $0x0,%eax
0x0000000000401151 <example+24>:        callq  0x400ac8 <__isoc99_sscanf@plt>
0x0000000000401156 <example+29>:        cmp    $0x1,%eax

Answer 1

“我知道sub $12, %esp与pop %eax和mov $0, %eax上的三次相同。”你知道错了。 sub $12, %esp不会更改eax，也不会更改sub $12, %esp，也不会将0移入其中。

使用add $18, %rsp之类的主要/直接原因是在堆栈上保留一些空间。这可以用来为子程序的局部变量提供一些空间。如果出于性能或其他原因需要，它也可用于对齐堆栈指针。

{{1}}反过来，它释放先前在堆栈上分配的空间。这可以用来释放局部变量所占用的空间，或者先前传递给另一个子程序的参数，而不再需要堆栈中的参数。