理解のgcc -S出力

Question

Iやったx86_64の上、以下の非常に複雑なプログラム上のgcc -S：

int main() { 
    int x = 3; 
    x = 5; 
    return 0; 
} 

をそして、何私が得た：誰かが私を助けることができれば

 .file "main.c" 
     .text 
.globl main 
     .type main, @function 
main: 
.LFB0: 
     .cfi_startproc 
     pushq %rbp 
     .cfi_def_cfa_offset 16 
     .cfi_offset 6, -16 
     movq %rsp, %rbp 
     .cfi_def_cfa_register 6 
     movl $3, -4(%rbp) 
     movl $5, -4(%rbp) 
     movl $0, %eax 
     leave 
     .cfi_def_cfa 7, 8 
     ret 
     .cfi_endproc 
.LFE0: 
     .size main, .-main 
     .ident "GCC: (GNU) 4.4.7 20120313 (Red Hat 4.4.7-3)" 
     .section  .note.GNU-stack,"",@progbits 

は私が思っていました出力を理解するか、または私に説明するリンクを参照してください。具体的には、cfi ,LFB0,LFE0 , leaveの意味は何ですか？私がこれらに関して見つけることができるのはthis postですが、それが何のために完全に理解できませんでした。また、この場合retは何をしますか？私は__libc_start_main()に戻りますが、それはdo_exit()と呼ばれていますが、それは正しいですか？

Answer 1

が起こるの次は、コンパイラによって追加データの生成につながります。このデータは、命令が例外を発生させたときにコールスタックをトラバースするので、例外ハンドラ（存在する場合）が見つかって正しく実行されます。コールスタック情報は、デバッグに役立ちます。このデータは、おそらく実行可能ファイルの別のセクションに入ります。コードの指示の間には挿入されません。

.LFsomething:は、余分な例外関連データによっておそらく参照される通常のラベルです。

leaveおよびretはCPU命令です。

leaveは同等です：

movq %rbp, %rsp 
popq %rbp 

、それはこれらの2つの命令

pushq %rbp 
movq %rsp, %rbp 

とrspから何かを引くことによって、スタック上の領域を割り当てる命令の効果を取り消します。

retは関数から復帰します。スタックからの戻りアドレスをポップし、そのアドレスにジャンプします。 __libc_start_main()、つまりmain()を呼び出した場合は、そこに戻ります。

Answer 2

ここに行く：

1：.LFB0, .LFE0は、ローカルラベルに過ぎません。

2：.cfi_startprocは、各機能の開始時に使用され、機能の終了は.cfi_endprocによって行われます。

3：leave命令は、呼び出し元関数のスタックフレームを復元する作業を行うx86アセンブラ命令です。

最後にRET命令の後に、物事はこれら.cfisomethingディレクティブ

 o %eip contains return address 
     o %esp points at arguments pushed by caller 
     o called function may have trashed arguments 
     o %eax contains return value (or trash if function is void) 
     o %ecx, %edx may be trashed 
     o %ebp, %ebx, %esi, %edi must contain contents from time of call