assembly - 在 ml64 中的 xmm 和通用寄存器之间移动四字？

Question

在为 Microsoft x64 汇编器编写的简单程序中，我想在 SSE 寄存器(例如 xmm0)和通用寄存器(例如 rcx)之间移动 64 位值，如 所示:

mov xmm0, rcx
...
mov rcx, xmm0

这两行分别从 ml64.exe 生成以下错误消息:

• 错误 A2152:协处理器寄存器不能作为第一个操作数
• 错误 A2070:指令操作数无效

但是，在 x64 中显然可以完成这个简单的任务。例如，以下是一个有效的 x64 程序，我可以使用 GAS 来组装和运行它:

.text
    .globl main
main:
    movl $1, %ecx
    movq %rcx, %xmm0
    movq %xmm0, %rax
    ret

正如预期的那样，该程序的返回值为 1，main() 的 objdump 输出为:

1004010d0:   b9 01 00 00 00          mov    $0x1,%ecx
1004010d5:   66 48 0f 6e c1          movq   %rcx,%xmm0
1004010da:   66 48 0f 7e c0          movq   %xmm0,%rax
1004010df:   c3                      retq

所以我的问题是，鉴于 ml64.exe 产生上述错误，我如何在 MASM 中完成此操作？

Answer 1

MOV 指令无法在通用寄存器和 xmm 寄存器之间移动数据。您正在寻找的指令是 MOVQ(如您显示的 A&T 语法代码中所示)，如 Intel instruction set manuals 中所定义。 。 (HTML 摘录如下: https://www.felixcloutier.com/x86/movd:movq )

ML64 不接受 MOVQ 的事实与英特尔的手册不一致，因此 - 至少在我看来 - 一个错误(或至少是不一致)。

ML64 似乎确实使用了 MOVD 来代替它，即使对于 64 位寄存器也是如此。您可以通过反汇编它生成的代码来验证这一点。

<小时/>

请注意，有两个不同的 movq 指令(不将加载和存储形式分开计算):

• 其中之一是 movq xmm, xmm/m64形式，在向量寄存器之间复制或加载/存储的 MMX/SSE2 指令。这存在于 MMX(和 SSE2)的 32 位模式中，并且操作码始终意味着 64 位传输(使用 XMM 目标从零扩展到 128)。 ML64 使用 movq 来实现此形式。

• 另一个是 movd xmm, r/m32 的 64 位版本可以在 XMM 或 MMX 寄存器和 GP 整数寄存器(如 RCX 或内存)之间移动数据。此形式是 x86-64(包括 MMX 和 SSE2)中的新形式；操作码与 movd 相同，带有表示 64 位操作数大小的 REX.W 前缀。 ML64 显然总是使用 movd 这种形式，而不管实际的操作数大小。

XMM 寄存器和内存之间的 64 位加载或存储可以使用任一操作码，但第一种形式较短，不需要 REX 前缀。

(AT&T 语法 movq %rax, %rcx 只是 mov 加上 q 操作数大小 后缀；在这种情况下，q 不是真正助记符的一部分。)