ebp与esp的疑惑！

C_H_L

最近学习AT&T汇编，看到下面一段：
function_label:
                    pushl   %ebp    
                    movl  %esp, %ebp
                    < normal function code goes here>
                    movl %ebp,  %esp
                    popl   %ebp
                    ret
这段代码，目的是把esp放到ebp中
(1) 为什么红色部分还要把ebp压栈、出栈？
(2) 没有pushl %ebp 和 popl %ebp难道就不行？
求解！不胜感谢！

EricFisher

这是因为要保存函数入口处ebp的值。

C_H_L

回复 2# EricFisher
首先，谢谢你的回答。
是不是说，如果函数入口处ebp的值用不到，就没必要这样做？
   

C_H_L

结贴，找到解释了：
-->IF you are calling a function that modifies registers the main program uses, it is crucial that you save the current state of the registers before calling the function, and then restore them after the function returns.
-->You can either save special registers individually using the PUSH instruction or save all of the registers together using PUSHA instruction before calling the function. Similarly, you can restore the registers back their original state either individually using the POP instruction or together using then POPA instruction.
再次十分感谢楼上的精简回答.

djsxut

有些寄存器是调用函数保存，有些是被调用函数保存。 64位机器就不需要保存ebp

C_H_L

回复 5# djsxut
我想问你两个问题，如果你能答上，说明你真的懂。
(1)Linux procedure的stack frame中，当调用一个procedure时，frame pointer发生什么变化？调用完成，返回caller后，frame pointer又发生什么变化？
(2)为什么64位机器就不需要保存ebp？和32位机器区别？相比32-bit，有什么进步？（这个问题，我没研究过，需要你给出解答）
   

myworkstation

回复 6# C_H_L


    (1)Linux procedure的stack frame中，当调用一个procedure时，frame pointer发生什么变化？调用完成，返回caller后，frame pointer又发生什么变化？
　函数调用时寄存器的管理使用与函数的调用约定相关，是可以变化的。默认情况下参数从右往左开始压栈。其stack 布局如下：
　          　　　　Last argument
         　 　　　　...
　4(%esp)          First argument
　(%esp)   　 　Return address


    (2)为什么64位机器就不需要保存ebp？和32位机器区别？相比32-bit，有什么进步？
         64位CPU除了扩展原有的寄存器 (RAX, RBX, RCX, RDX, RSI, RDI, RBP, RSP, RFLAGS, RIP)到64位之外还有8个64位的通用寄存器(R8-R15)，也就是说可以有理多的计算直接使用寄存器来加速计算性能。和32位最大的区别在于默认使用的寄存器是64位的。
         64位CPU不使用ebp，它使用RBP，依然需要保存RBP的。在函数调用返回时编译器生成的代码可能使用LEAVE来代替POP。