在 LLVM GCC 4.2 上反汇编 C 中的简单代码

Question

当我在 C 中反汇编以下简单程序时：

int main ()
{
 int a = 'a';
return 0;
}

我知道了：

Dump of assembler code for function main:
0x0000000100000f20 <main+0>:    push   rbp
0x0000000100000f21 <main+1>:    mov    rbp,rsp
0x0000000100000f24 <main+4>:    mov    BYTE PTR [rbp-0x9],0x61
0x0000000100000f28 <main+8>:    mov    DWORD PTR [rbp-0x8],0x0
0x0000000100000f2f <main+15>:   mov    eax,DWORD PTR [rbp-0x8]
0x0000000100000f32 <main+18>:   mov    DWORD PTR [rbp-0x4],eax
0x0000000100000f35 <main+21>:   mov    eax,DWORD PTR [rbp-0x4]
0x0000000100000f38 <main+24>:   pop    rbp
0x0000000100000f39 <main+25>:   ret    
End of assembler dump.

1. 为什么没有设置 rsp (sub rep 0xa)
2. 为什么会有赋值 0 -> [rbp-0x8] -> eax -> [rbp-0x4] -> eax

Answer 1

为什么没有设置 rsp (sub rep 0xa)

由于该函数没有任何调用（这是一个叶函数），因此无需调整堆栈。

为什么会有赋值 0 -> [rbp-0x8] -> eax -> [rbp-0x4] -> eax

我怀疑这些来自某种 SSA（静态单一分配）形式的中间表示。在 SSA 形式中，您只能为每个变量分配一次，并且使用大量变量。 SSA 是一个很好的表示，这就是编译器倾向于使用它的原因。提高优化级别后，临时分配将消失。