函数调用过程栈变化

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指针