了解汇编中的C程序

Question

我试图理解这个简单的C程序:

int square(int num) {
    return num * num; 
}

当它在汇编代码中时：

square(int): 
  push rbp ;push rbp register onto stack
  mov rbp, rsp ;move contents of rbp register into rsp register 
  mov DWORD PTR [rbp-4], edi ;not sure what happens here 
  mov eax, DWORD PTR [rbp-4] ;not sure what happens here
  imul eax, DWORD PTR [rbp-4] ;multiply eax and DWORD PTR [rbp-4] (?)
  pop rbp ;pop original register out of stack
  ret ;return 

1. 第三线和第四线发生了什么
2. 为什么必须使用另外两个寄存器（edi和eax）来代替rsp
3. DWORD PTR[rbp-4]实际发生了什么

Answer 1

mov DWORD PTR [rbp-4], edi ;not sure what happens here

系统 V ABI x86_64通过寄存器传递函数参数 - 第一个整数参数在 rdi/edi 寄存器中传递。因此，此行将参数 num 复制到本地（与存储在 rbp 中的帧指针值的偏移量 -4 字节）。

mov eax, DWORD PTR [rbp-4] ;not sure what happens here

这会将本地的值复制到 eax 寄存器。

imul eax, DWORD PTR [rbp-4] ;multiply eax and DWORD PTR [rbp-4] (?)

这会将 eax 中的值乘以本地值，并将结果存储到 eax（eax 也恰好是存储函数返回值的寄存器）。

正如其他人在评论中指出的，使用优化进行编译可能会消除局部变量，并直接从< code>edi写入< code>eax。