假設我們寫了一個C代碼文件 code.c包含下面代碼：
int accum = 0;
int sum(int x, int y)
{
??? int t = x + y;
??? accum += t;
??? return t;
}
三、反匯編目標文件 
?
int accum = 0;
int sum(int x, int y)
{
??? int t = x + y;
??? accum += t;
??? return t;
}
這是用echo命令輸入源碼的效果，簡單的就是最好的：）
?
一、查看GCC生成的匯編代碼
在命令行上用“-S”選項，就能看到C編譯器產生的匯編代碼：
?#gcc -S code.c?
?
注意：這里是大寫的-S，如果用小寫gcc會說找不到main函數
會在當前目錄下生成code.s文件，直接打開即可
?
這段匯編代碼沒有經過優化：
?
.file?"code.c"
.globl _accum
?.bss
?.align 4
_accum:
?.space 4
?.text
.globl _sum
?.def?_sum;?.scl?2;?.type?32;?.endef
_sum:
?pushl?%ebp
?movl?%esp, %ebp
?subl?$4, %esp????????????????? # 為局部變量t在棧幀上分配空間
?movl?12(%ebp), %eax??? # %eax <- y
?addl?8(%ebp), %eax?????? # %eax <- x + y
?movl?%eax, -4(%ebp)???? # t <- x +y
?movl?-4(%ebp), %eax???? # %eax <- t
?addl?%eax, _accum?????? ?# _accum <- t + _accum
?movl?-4(%ebp), %eax???? # %eax <- t
?leave???????????????????????????????? # 平衡堆棧： %esp <- %ebp ， popl %ebp
?ret??????????????????????????????????????
.globl _accum
?.bss
?.align 4
_accum:
?.space 4
?.text
.globl _sum
?.def?_sum;?.scl?2;?.type?32;?.endef
_sum:
?pushl?%ebp
?movl?%esp, %ebp
?subl?$4, %esp????????????????? # 為局部變量t在棧幀上分配空間
?movl?12(%ebp), %eax??? # %eax <- y
?addl?8(%ebp), %eax?????? # %eax <- x + y
?movl?%eax, -4(%ebp)???? # t <- x +y
?movl?-4(%ebp), %eax???? # %eax <- t
?addl?%eax, _accum?????? ?# _accum <- t + _accum
?movl?-4(%ebp), %eax???? # %eax <- t
?leave???????????????????????????????? # 平衡堆棧： %esp <- %ebp ， popl %ebp
?ret??????????????????????????????????????
?
?
下面是使用“-O2”選項開啟二級優化的效果：
?
#gcc -O2 -S code.c
?
?.file?"code.c"
.globl _accum
?.bss
?.align 4
_accum:
?.space 4
?.text
?.p2align 4,,15??????????????????? # 使下一條指令的地址從16的倍數處開始，
.globl _sum??????????????????????? # 最多浪費15個字節
?.def?_sum;?.scl?2;?.type?32;?.endef
_sum:
?pushl?%ebp?????????????????????? # 保存原%ebp??
?movl?%esp, %ebp???????
?movl?12(%ebp), %eax???? # %eax <- y
?movl?8(%ebp), %edx?????? # %edx <- x
?popl?%ebp????????????????????????# 恢復原%ebp
?addl?%edx, %eax?????????????# %eax <- x + y
?addl?%eax, _accum??????? ?# _accum <- _accum + x + y
?ret
.globl _accum
?.bss
?.align 4
_accum:
?.space 4
?.text
?.p2align 4,,15??????????????????? # 使下一條指令的地址從16的倍數處開始，
.globl _sum??????????????????????? # 最多浪費15個字節
?.def?_sum;?.scl?2;?.type?32;?.endef
_sum:
?pushl?%ebp?????????????????????? # 保存原%ebp??
?movl?%esp, %ebp???????
?movl?12(%ebp), %eax???? # %eax <- y
?movl?8(%ebp), %edx?????? # %edx <- x
?popl?%ebp????????????????????????# 恢復原%ebp
?addl?%edx, %eax?????????????# %eax <- x + y
?addl?%eax, _accum??????? ?# _accum <- _accum + x + y
?ret
?
?
GCC產生的匯編代碼有點難讀，它包含一些我們不關心的信息。所有以 "." 開頭的行都是指導匯編器和鏈接器的命令，稱為“匯編器命令”。
代碼中已經除去了所有關于局部變量名或數據類型的信息，但我們還是看到了一個對全局變量_accum的引用，這是因為編譯器還不能確定這個變量會放在存儲中的哪個位置。
二、用GDB查看目標文件的字節表示
? 首先，我們用反匯編器來確定函數sum的代碼長度是19字節。然后我們在文件code.o上運行GNU調試工具GDB，輸入命令：
(gdb) x/19xb sum
這條命令告訴GDB檢查(簡寫為"x")19個以十六進制格式表示的字節。
三、反匯編目標文件在Linux系統中，帶 "-d" 命令行選項調用OBJDUMP可以完成這個任務：
#objdump -d code.o
?從這里可以看出函數sum的代碼長度正好是19字節。
四、生成實際可執行的代碼
? 這需要對一組目標文件運行鏈接器，而這一組目標代碼文件中必須包含有一個Main函數。在 main.c 中有這樣的函數：
? int main()
? {
???????return sum(1,2);
? }
然后，我們用如下方法生成可執行文件：
#gcc -O2 -o prog code.o main.c
再反匯編：
objdump -d prog
00401050 <_sum>:
? 401050:?55??????????????????????????? ? push?? %ebp
? 401051:?89 e5????????????????????????mov??? %esp,%ebp
? 401053:?8b 45 0c???????????? ????? mov??? 0xc(%ebp),%eax
? 401056:?8b 55 08???????????? ????? mov??? 0x8(%ebp),%edx
? 401059:?5d?????????????????? ?????????? pop??? %ebp
? 40105a:?01 d0??????????????? ??????? add??? %edx,%eax
? 40105c:?01 05 10 20 40 00? add??? %eax,0x402010
? 401062:?c3?????????????????? ?????????? ret?
? 401050:?55??????????????????????????? ? push?? %ebp
? 401051:?89 e5????????????????????????mov??? %esp,%ebp
? 401053:?8b 45 0c???????????? ????? mov??? 0xc(%ebp),%eax
? 401056:?8b 55 08???????????? ????? mov??? 0x8(%ebp),%edx
? 401059:?5d?????????????????? ?????????? pop??? %ebp
? 40105a:?01 d0??????????????? ??????? add??? %edx,%eax
? 40105c:?01 05 10 20 40 00? add??? %eax,0x402010
? 401062:?c3?????????????????? ?????????? ret?
? 這段代碼與code.c反匯編產生的代碼幾乎完全一樣。一個主要的區別是左邊列出的地址不同。第二個不同之處在于鏈接器終于確定了存貯全局變量accum的地址。地址由原來的0x0變成了現在的0x402010
