为什么LLVM为同一个程序添加了两条额外的指令？

Question

我正在编译这个C程序并比较生成的汇编代码:

int main(){ return 0; }

GCC给出了这个主要功能(cc hello.c -S):

_main:
LFB2:
    pushq   %rbp
LCFI0:
    movq    %rsp, %rbp
LCFI1:
    movl    $0, %eax
    leave
    ret

LLVM提供了这个主要功能(clang hello.c -S):

_main:
Leh_func_begin0:
    pushq   %rbp
Ltmp0:
    movq    %rsp, %rbp
Ltmp1:
    movl    $0, %eax
    movl    $0, -4(%rbp)
    popq    %rbp
    ret
Leh_func_end0:

---

什么movl $0, -4(%rbp)和popq %rbp需要？在堆栈上移动东西然后直接弹出它对我来说似乎毫无用处.

Answer 1

实际上,它们具有可比性.离开是一个高级指令:

来自英特尔手册:

16-bit: C9 LEAVE A Valid Valid Set SP to BP, then pop BP.
32-bit: C9 LEAVE A N.E. Valid Set ESP to EBP, then pop EBP.
64-bit: C9 LEAVE A Valid N.E. Set RSP to RBP, then pop RBP.

基本上,离开相当于

movq %rbp, %rsp
popq %rbp

Answer 2

该movl $0, -4(%rbp)指令是死的,因为这是未优化的代码.尝试传入-O两个编译器以查看更改.