GCC生成的汇编代码

假设我们写了一个C代码文件 code.c包含下面代码：

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                                      

下面是使用“-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

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 

这段代码与code.c反汇编产生的代码几乎完全一样。一个主要的区别是左边列出的地址不同。第二个不同之处在于链接器终于确定了存贮全局变量accum的地址。地址由原来的0x0变成了现在的0x402010