递归调用的汇编代码分析

今天重读《深入理解计算机系统》中关于递归的章节，发现书中的反汇编代码和自己本机的不同，

区别在于书中的递归汇编代码中有多处push操作，而本机的汇编代码中没有。

C代码如下：

int fib_rec(int n)
{
int prev_val, val;

if(n < 2)
return 1;

prev_val = fib_rec(n - 2);
val = fib_rec(n - 1);

return prev_val + val;
}

本机汇编代码如下：

fib_rec:
pushl   %ebp
movl    %esp, %ebp
subl    $24, %esp
cmpl    $1, 8(%ebp)
jg      .L2
movl    $1, -20(%ebp)
jmp     .L3
.L2:
movl    8(%ebp), %eax
subl    $2, %eax
movl    %eax, (%esp)
call    fib_rec
movl    %eax, -8(%ebp)
movl    8(%ebp), %eax
subl    $1, %eax
movl    %eax, (%esp)
call    fib_rec
movl    %eax, -4(%ebp)
movl    -4(%ebp), %edx
movl    -8(%ebp), %eax
addl    %edx, %eax
movl    %eax, -20(%ebp)
.L3:
movl    -20(%ebp), %eax
leave
ret

书上的汇编代码：

fib_rec:
pushl %ebp
movl %esp,%ebp
subl $16,%esp
pushl %esi
pushl %ebx
movl 8(%ebp),%ebx
cmpl $2,%ebx
jle .L24
addl $-12,%esp
leal -2(%ebx),%eax
pushl %eax
call fib_rec
movl %eax,%esi
addl $-12,%esp
leal -1(%ebx),%eax
pushl %eax
call fib_rec
addl %esi,%eax
jmp .L25
.L24:
movl $1,%eax
.L25:
leal -24(%ebp),%esp
popl %ebx
popl %esi
movl %ebp,%esp
popl %ebp
ret

movl %eax, (%esp) 是将%eax(参数n)放入栈顶，完成了参数压栈的操作。

与书中的汇编代码相比，

1、使用的寄存器数量少了；

2、指令数量少了。