我的 C 函数的汇编代码

Question

这是我的 C 函数：

int reg(struct my_callback_struct *p, int data)
{
   return p->data = data;
}

这在汇编中也是一样的：

0x000000000040057d <+0>:  push   %rbp
0x000000000040057e <+1>:  mov    %rsp,%rbp
0x0000000000400581 <+4>:  mov    %rdi,-0x8(%rbp)
0x0000000000400585 <+8>:  mov    %esi,-0xc(%rbp)
0x0000000000400588 <+11>: mov    -0x8(%rbp),%rax
0x000000000040058c <+15>: mov    -0xc(%rbp),%edx
0x000000000040058f <+18>: mov    %edx,(%rax)
0x0000000000400591 <+20>: mov    -0x8(%rbp),%rax
0x0000000000400595 <+24>: mov    (%rax),%eax
0x0000000000400597 <+26>: pop    %rbp
0x0000000000400598 <+27>: retq

我想我明白发生了什么。 $rdi 持有指针（地址），$esi 持有数字 12。

这就是我调用函数的方式：

p->callback_func(p,12);

我不明白的是：

0x0000000000400591 <+20>: mov -0x8(%rbp),%rax

因为在<+11> 上，我们已经用指针地址填充了$rax。为什么要加载两次？

Answer 1

确实，代码是正确的，因为指令执行了 C 代码调用的功能。但即使是最微不足道的优化也没有执行。

这很容易通过开启某种程度的编译器优化来纠正。无论使用哪种编译器，第一级可能都会清理多余的负载。

请注意，极端程度的优化可能会导致正确的代码非常难以遵循。