使用 cmpq 和 je 时出现无限循环

Question

我在每次迭代中递减 RAX。如果 RAX 为零，则程序应更改流程。

# AT&T syntax
start_calc_factorial:
  decq %rax
  cmpq $0, %rax
  je quit_calc_factorial
  mulq %rcx
  jmp start_calc_factorial

但是，该程序永远不会终止。调试器告诉我 RAX 的值为 0xa0257c7238581842 （它可能下溢，但由于 je 指令，它不应该下溢）。 RAX 的初始值为 7。

这可能是什么问题？

Answer 1

我相信乘法的结果存储在 RAX 寄存器中，因此这肯定会扰乱循环。

Answer 2

问题是您使用相同的寄存器 rax 作为参数和乘积。
您的代码相当于此 C 代码：

while (1)
{
  rax = rax - 1;
  if (rax == 0) break;
  rax = rax * rcx;
}

它可以循环很长时间（如果不是永远）。

您可能想要的是这样的：

while (1)
{
  rcx = rcx - 1;
  if (rcx == 0) break;
  rax = rax * rcx;
}