对于MOV MOFFS32在64位模式下地址的符号或零扩展？

Question

2.2.1.3 64位模式下的位移
寻址使用现有的32位MODR/M和SIB编码。MODR/M和SIB大小不变。它们保持8位或32位，并符号扩展到64位。

这表明32bit位移应该是符号扩展的，但我不确定这是否也涉及特殊的moffs寻址模式。在下一页，英特尔说：

2.2.1.6 RIP相对寻址

这表明，在相对寻址模式下，disp32被符号扩展到64位，添加到RIP中，然后截断和零扩展。但是，我不确定同样的规则是否适用于绝对寻址模式，这就是MOV moffs操作的情况。

EAX将从哪个地址加载，A)FFFFFFFFFFFFFFFFFFFFF或B)00000000FFFFFFFF？

Answer 1

67 A1 ffffffffff不使用disp32寻址模式，因此文档中的mod/rm部分不适用。

英特尔的x86手册第一卷说：

所有16位和32位地址计算都在IA-32e模式下进行零扩展，以形成64位地址。地址计算首先被截断为当前模式（64位模式或兼容模式）的有效地址大小，因为任何地址大小前缀都会覆盖该模式。然后，结果被零扩展到完整的64位地址宽度。[...]在64位模式下生成的32位地址只能访问64位模式有效地址中较低的4 GBytes。

无论如何，这意味着将其反汇编为MOV eax，[0xFFFFFFFF]是错误的（至少在NASM语法中是这样），因为它会重新汇编成执行不同操作的指令。

正确的YASM/NASM语法将汇编回该机器代码为

NASM也接受MOV eax，[a320xffffffff]，但YASM不接受。

GNUAS还提供了一种表达它的方法（不使用.byte):
addr32 mov 0xffffffff,%eax

movl    0x7FFFFFFF, %eax  # 8B mod/rm disp32
movl    0xFFFFFFFF, %eax  # A1 64bit-moffs32: Older GAS versions may have required the movabs mnemonic to force a moffs encoding

movabs  0x7FFFFF, %eax    #     A1 64b-moffs32: movabs forces MOFFS
movabs  0xFFFFFFFF, %rax  # REX A1 64b-moffs64
movabs  0xFFFF, %ax       #  66 A1 64b-moffs64: operand-size prefix

.byte 0x67, 0xa1, 0xff, 0xff, 0xff, 0xff  # disassembles to  addr32 mov 0xffffffff,%eax
                                          # and that syntax works as assembler input:
addr32 mov 0xffffffff,%eax    # 67 A1 FF FF FF FF:  32b-moffs32

Agner Fog的objconv反汇编程序错误（将用GNU生成的机器代码从上面的块中反汇编为）。objconv似乎假定为符号扩展。（它将机器代码作为前缀放在注释中:opcode，operands)

; Note: Absolute memory address without relocation
    mov     eax, dword [abs qword 7FFFFFH]          ; 0033 _ A1, 00000000007FFFFF
 ...
; Note: Absolute memory address without relocation
    mov     eax, dword [0FFFFFFFFFFFFFFFFH]         ; 0056 _ 67: A1, FFFFFFFF

ndisasm-b64也会不正确地反汇编代码，这些代码甚至不能以相同的方式工作：

00000073  A1FFFF7F00000000  mov eax,[qword 0x7fffff]
         -00
...
00000090  67A1FFFFFFFF      mov eax,[0xffffffff]

如果它不使用A32关键字，我会预期会出现类似MOV eax、[qword0xffffffff]的反汇编。它将组装成一个64位moffs，该MOFF引用与原始地址相同的地址，但更长。在将AMD64支持添加到ndisasm时，可能忽略了这一点，而ndisasm在AMD64之前就已经存在了。