了解汇编递归函数

Question

我正在学习汇编，我有一个函数，其中包含一些我不明白的行：

. globl
. text

factR:
 cmpl $0 ,4(% esp )
 jne cont
 movl $1 ,%eax
 ret

cont :
 movl 4(%esp),%eax
 decl %eax
 pushl %eax          // (1)
 call factR          // (2)
 addl $4,%esp        // (3)
 imull 4(%esp),%eax 
 ret

与它对应的 C 代码是：

int factR ( int n ) {
    if ( n != 0 )
        return n;
    else
        return n ∗ factR ( n − 1 );
}

我不确定标有数字的行。

1. pushl %eax：是否意味着我们将%eax的内容放入 %esp？

2. 所以我们调用factR()。当我们回到这里执行下一条指令时，结果会在 %esp 中吗？

3. addl $4,%esp 不确定这个，我们是在 %esp 中存储的数字上加 4 还是在指针上加 4 以获得下一个数字或类似的数字？

Answer 1

看来 factR() 函数遵循 C 调用约定 (cdecl< /a>）。这是调用者将函数调用的参数推入堆栈的地方，调用者清理堆栈（撤消为执行该函数而对堆栈所做的更改）调用）当函数返回时。

第一个推送 (1) 将 %eax 寄存器的内容作为以下调用的参数。然后实际调用该函数 (2)。然后，通过将堆栈指针 %esp 重置回步骤 1 中没有推回参数时的状态来清理堆栈 (3)。它推入了一个 32 位值，因此必须将指针调整 4 个字节。