递归调用的汇编代码分析

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

区别在于书中的递归汇编代码中有多处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、指令数量少了。