我学习了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
答案 0 :(得分:5)
“我知道sub $12, %esp
与pop %eax
和mov $0, %eax
上的三次相同。”你知道错了。 sub $12, %esp
不会更改eax
,也不会更改sub $12, %esp
,也不会将0移入其中。
使用add $18, %rsp
之类的主要/直接原因是在堆栈上保留一些空间。这可以用来为子程序的局部变量提供一些空间。如果出于性能或其他原因需要,它也可用于对齐堆栈指针。
{{1}}反过来,它释放先前在堆栈上分配的空间。这可以用来释放局部变量所占用的空间,或者先前传递给另一个子程序的参数,而不再需要堆栈中的参数。