帮助理解 x86 内联汇编中的 DIV 指令

Question

在阅读 GNU 项目中的一些源代码时，我遇到了这段内联汇编：

__asm__ (
  "divq %4"
  : "=a" (q), "=d" (r)
  : "0" (n0), "1" (n1), "rm" (d)
);

这里的变量 q、r、n0、 n1 和 d 是 64 位整数。我对汇编有足够的了解，可以了解其作用的要点，但有一些细节我不确定。

我的理解：

我们将 RAX 寄存器的内容除以 d，将商放入 q，并将余数放入 <代码>r。

我不明白

1. 为什么有三个输入 这里？我们只需要输入一个 被除数和除数有什么用 可以有3个输入吗？
2. 我无法判断哪个输入是股息。更一般地说，我实际上什么也没看到 被加载到 RAX 寄存器中， 那么它怎么知道用什么除以什么呢？

Answer 1

在输入操作数规范中：

: "0" (n0), "1" (n1), "rm" (d)

由于输出规范，寄存器“0”和“1”被强制为 rax 和 rdx：

: "=a" (q), "=d" (r)

以及 div指令系列需要 RDX:RAX 中的分子。除数可以位于通用寄存器（不以其他方式使用 - 即不是RAX或RDX）或内存中，由“rm”约束指定。寄存器 RDX、RAX 和除数操作数组成了 3 个输入。

因此，这最终将执行除法：n1:n0 / d，其中n1:n0是加载到rdx:rax中的数量。

Answer 2

当您正确观察 div 系列在固定寄存器 a 和 d、rax 和 rdx 上工作时 代表divq。 a 寄存器从 n0 获取输入，该输入是第 0 个寄存器的别名，即 a。 n1 是一个虚拟输入，别名为 d，可能只是为了确保该寄存器不用于其他目的。