解析c语言背后的汇编代码

源码

1 #include <stdio.h>
2
3 void swap(int * a, int * b) {
4     *a = *a + *b - (*b = *a);
5     return;
6 }

汇编代码解析

 1     .file    "test.c"
 2     .text
 3     .globl    _swap
 4     .def    _swap;    .scl    2;    .type    32;    .endef
 5 _swap:
 6 LFB6:
 7     .cfi_startproc
 8     pushl    %ebp
 9     .cfi_def_cfa_offset 8
10     .cfi_offset 5, -8
11     movl    %esp, %ebp
12     .cfi_def_cfa_register 5
13     movl    8(%ebp), %eax          --将a指向的地址放到寄存器eax中
14     movl    (%eax), %edx           --将a指向地址里面的值取出存入寄存器edx
15     movl    12(%ebp), %eax         --将b指向的地址放到寄存器eax中
16     movl    (%eax), %eax           --取出b指向地址里面的值存入寄存器eax中
17     leal    (%edx,%eax), %ecx      --计算*a + *b的值并存入寄存器ecx
18     movl    8(%ebp), %eax          --将a指向的地址放入eax
19     movl    (%eax), %edx           --取出a指向地址里面的值放入edx
20     movl    12(%ebp), %eax         --将b指向的地址放入eax
21     movl    %edx, (%eax)           --用a指向地址里面的值覆盖b指向的地址里面的值. ps:（*b = *a)
22     movl    12(%ebp), %eax         --将b指向的地址放入eax
23     movl    (%eax), %eax           --将b指向地址里面的值放入eax （ps:此时b指向的地址中存的值为a)
24     subl    %eax, %ecx             --用*a+*b的值减去b指向地址里面的值 (ps：此时b指向的地址里面的值为初始时的*a) ，结果(此时结果等于初始时b指针指向的值*b）存在ecx中
25     movl    %ecx, %edx             --将最终结果放入edx
26     movl    8(%ebp), %eax          --将a指针地址放入eax
27     movl    %edx, (%eax)           --将a指针指向的值改为edx中的最终结果 ps: 此时a指针指向的值为初始时的*b,b指针指向的值为初始时的*a,a,b指针指向的结果已经互换过来了。
28     nop
29     popl    %ebp
30     .cfi_restore 5
31     .cfi_def_cfa 4, 4
32     ret
33     .cfi_endproc
34 LFE6:
35     .ident    "GCC: (GNU) 4.8.1"