Question

我的问题与上下文发生变化时似乎发生的行为有关，特别是RSP和RBP。

鉴于这个非常简单的程序：

Reading symbols from ./function_call...done.
(gdb) disass main
Dump of assembler code for function main:
   0x00000000004004d6 <+0>: push   rbp
   0x00000000004004d7 <+1>: mov    rbp,rsp
   0x00000000004004da <+4>: mov    esi,0x2
   0x00000000004004df <+9>: mov    edi,0x1
   0x00000000004004e4 <+14>:    call   0x4004b6 <add_and_7>
   0x00000000004004e9 <+19>:    mov    eax,0x0
   0x00000000004004ee <+24>:    pop    rbp
   0x00000000004004ef <+25>:    ret    
End of assembler dump.
(gdb) disass add_and_7
Dump of assembler code for function add_and_7:
   0x00000000004004b6 <+0>: push   rbp
   0x00000000004004b7 <+1>: mov    rbp,rsp
   0x00000000004004ba <+4>: mov    DWORD PTR [rbp-0x14],edi
   0x00000000004004bd <+7>: mov    DWORD PTR [rbp-0x18],esi
   0x00000000004004c0 <+10>:    mov    DWORD PTR [rbp-0x4],0x7
   0x00000000004004c7 <+17>:    mov    edx,DWORD PTR [rbp-0x14]
   0x00000000004004ca <+20>:    mov    eax,DWORD PTR [rbp-0x18]
   0x00000000004004cd <+23>:    add    edx,eax
   0x00000000004004cf <+25>:    mov    eax,DWORD PTR [rbp-0x4]
   0x00000000004004d2 <+28>:    add    eax,edx
   0x00000000004004d4 <+30>:    pop    rbp
   0x00000000004004d5 <+31>:    ret    
End of assembler dump.
(gdb) list
1   int add_and_7( int num1, int num2 ) {
2       int seven = 7;
3       return num1 + num2 + seven;
4   }
5   
6   int main() {
7       add_and_7( 1, 2 );
8       return 0;
9   }

所有函数都以push rbp开始，据我所知，它将父上下文保留在堆栈中。父函数如何知道如何重建自身？ call和ret内置了必要的步骤吗？

然后rsp始终移至rbp。正如我所读到的，这将新的堆栈基础设置为当前函数的上下文。我似乎无法弄清楚的是，堆栈指针何时或如何设置到该点。我最好的猜测是汇编函数调用这样做，是什么发生的？

最后，当一个方法返回时，似乎eax是用于父函数的寄存器，用于利用其子函数的返回。是eax显式使用了这个，还是仅仅是我的编译器和架构的约定？

Answer 1

父函数如何知道如何重建自身？是否内置了call和ret中的必要步骤？

在调用函数之前，会保存寄存器的当前状态以及返回地址。 call指令跳转到被调用函数开始的特定地址。返回地址被压入堆栈。当被调用函数返回时，ret指令弹出先前推送的返回地址并转到该位置。

然后rsp总是移到rbp

rbp先前被推入堆栈，以便能够从来电者的功能中恢复rbp的值。然后，将rsp移动到rbp以为被调用函数创建新的堆栈帧。已设置新的基指针。所以目前，rbp和rsp指向相同的地址。如果还有其他push指令，则会自动调整esp。函数完成后，pop ebp指令恢复先前推送的堆栈基址指针地址。

Answer 2

Push和Pop修改堆栈指针 - SP。

调用推送FLAGS - 状态寄存器以及RA - 返回地址。 Ret弹出FLAGS弹出窗口并跳转到返回地址。

正如rkhb所说，保留某些寄存器的必要性来自于调用约定。

如何使用call和ret在此程序中更改堆栈指针

2 个答案: