1 代码

1.1 源代码

#include <stdio.h>
int add(int a, int b){
	return a-b;
}
int main() {
	add(2, 1);
	return 0;
}

1.2 Intel(R) Xeon(R) 处理器下的汇编

.file   "a.c"
        .text
        .globl  add
        .type   add, @function
add:
.LFB0:
        .cfi_startproc
        pushq   %rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        movq    %rsp, %rbp
        .cfi_def_cfa_register 6
        movl    %edi, -4(%rbp)
        movl    %esi, -8(%rbp)
        movl    -8(%rbp), %eax
        movl    -4(%rbp), %edx
        subl    %eax, %edx
        movl    %edx, %eax
        popq    %rbp
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE0:
        .size   add, .-add
        .globl  main
        .type   main, @function
main:
.LFB1:
        .cfi_startproc
        pushq   %rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        movq    %rsp, %rbp
        .cfi_def_cfa_register 6
        movl    $1, %esi
        movl    $2, %edi
        call    add
        movl    $0, %eax
        popq    %rbp
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE1:
        .size   main, .-main
        .ident  "GCC: (GNU) 4.8.5 20150623 (Red Hat 4.8.5-39)"
        .section        .note.GNU-stack,"",@progbits

2 分析

add:
.LFB0:
        pushq   %rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        movq    %rsp, %rbp
        .cfi_def_cfa_register 6
        movl    %edi, -4(%rbp)
        movl    %esi, -8(%rbp)
        movl    -8(%rbp), %eax
        movl    -4(%rbp), %edx
        subl    %eax, %edx
        movl    %edx, %eax
        popq    %rbp
        .cfi_def_cfa 7, 8
        ret

.LFB1:
        ...
        movl    $1, %esi
        movl    $2, %edi
        call    add
        ...

可以看到先把1和2（从右往左读的）两个立即数保存到寄存器esi和edi之后，使用call指令调add。

（1）call指令会把当前指令寄存器IP（或者CS和IP）压栈，然后设置IP为add的地址。

（2）"pushq %rbp"，把上一个调用栈帧的基址压栈。

（3）"movq %rsp, %rbp"，把当前栈顶指针作为当前函数调用栈帧的基址。

（4） 把参数1和2（从右往左压）压栈：movl %edi, -4(%rbp)。当前本例中使用movl指令，esp是不会变的，因此esp一真指向ebp。有些指令是使用push指令把参数压栈的，esp就会变。

图1 当前指令的esp情况

图2 一般情况

（5）计算，并把返回值保存在eax寄存器中。

（6） popq %rbp 把 ebp 恢复为x；

（7）调ret指令：从栈中弹出“IP+4”，用来修改IP指针