assembly - 在一条指令中使用与操作数相同的寄存器是否合法？

Question

例如下面是一条X86-64指令:

movq (%rdi),%rdi

它读取内容(由%rdi指向)并将此内容设置为%rdi，这在时序逻辑中是否有效？

或者我们是否必须将其分配给不同的寄存器并将其移回:

movq (%rdi), %rsi
movq rsi, %rdi

Answer 1

在同一指令中重新调整寄存器的用途不仅合法而且很常见。

在机器代码中，CPU 寄存器是快速的，因此是首选存储，但它们的数量有限。而在高级语言中，您不会用完变量(在需要时声明一个新变量)— 编译器和汇编语言程序员倾向于将使用不重叠的变量映射到同一存储空间。

此外，在机器代码中，我们看到许多在高级语言中看不到的短期变量——这些被称为临时变量或表达式临时变量。像机器代码中的 a[i] 这样的简单表达式需要计算 a + i * 4，这可能需要一个 temp 来保存 a 或 i 或 i * 4 等。这些临时变量是短暂的变量，如果在后续表达式中不再需要它们，那么保存它们的 CPU 寄存器可以立即重新调整用途为了别的。