帮助理解 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 获取输入，n0 别名为第 0 个寄存器，即a。 n1 是一个别名为d 的虚拟输入，可能只是为了确保该寄存器不用于其他目的。