LLVMが同じプログラムに対して2つの追加命令を追加するのはなぜですか？

Question

私はこのCプログラムをコンパイルし、生成されたアセンブリコードを比較しています：

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

LLVMこの主な機能を与える（clang hello.c -S）：

int main(){ return 0; } 

GCCと、このメイン関数（cc 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

をクリーンアップする必要がないという事実を利用しているのに対し、LLVMは、伝統的な機能のプロローグ/エピローグを使用しているように見えます。これは最適化されていないコードであるため、

基本的に

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

GCCは、エントリポイントが実際に、彼らは比較可能だ

Answer 3

movl $0, -4(%rbp)命令が死んでいるの：インテルのマニュアルから

：休暇は、高レベルの命令です。両方のコンパイラに-Oを渡して、変更内容を確認してください。