Question

汇编指令MOVSX如何在以下示例中起作用：

MOVSX ECX,BYTE PTR DS:[EDX]

在这种情况下，这是寄存器的状态：

ECX = 0000000F   
EDX = 0012FD9F

根据我的想法，它需要[EDX] = 9F的最后一个字节，将其移动到ECX然后符号扩展它以匹配16位= 0000009F。但是，实际结果是00000016.有人可以帮我解释我错在哪里吗？

Answer 1

这是部分正确的。但是：

BYTE PTR DS:[EDX]获取位于EDX中所持地址的字节。该字节被复制到ECX到最低有效字节，其余字节用字符符号填充。

对于意外结果，这意味着在内存地址¹ 0x12FD9F处找到字节0x16。

注意：

此处不需要细分覆盖前缀DS:。 [EDX]会自动引用DS。

¹“内存地址”指虚拟或物理内存

Answer 2

许多Intel / AMD x86指令以“modrm”格式提供 - 它们有两个操作数，其中一个必须是寄存器，另一个可以是寄存器或内存引用，其地址由指令编码的modrm字节，可能还有指令的后续字节，例如sib（缩放索引字节）和立即常量/存储器偏移量。还有一个可能的段前缀字节。

通常这些是reg / reg / mem指令，格式为

   rsrcdst += rsrc
or
   rsrcdst += Memory[ ... addressessing mode ...]

但x86汇编代码没有针对reg，reg和reg，这些指令的mem形式的单独的操作码/指令助记符。在汇编程序中，通过汇编语法指示操作数是寄存器还是存储器位置。

在这种情况下，您的汇编代码是

MOVSX ECX，BYTE PTR DS：[EDX]

指令操作码是MOVSX。

目标操作数是寄存器ECX。

源操作数是“BYTE PTR DS：[EDX]”。这是一个内存引用由几个东西表示：（1）“[EDX]”周围的方括号 - 方括号是Memory [... address ...]的简写。（2）“DS：”前缀，表示它在数据段中。寄存器操作数没有这样的段前缀。（3）“BYTE PTR” - 表示“取'DS：[EDX]'指定的存储器地址，并将其解释为引用存储器中的8位字节”。

我怀疑你真正想要的是

MOVSX ECX,DL

“DL”是32位寄存器EDX的低8位的名称。即DL = EDX.bits [7：0]。不幸的是，x86汇编程序通常不接受“EDX.bits [7：0]”之类的语法（除非我编写它们），所以你必须知道子寄存器的历史名称：

AL = EAX.bits[7:0]
AH = EAX.bits[15:8]
AX = EAX.bits[15:0]
EAX = 32 bit register that "covers" all of the above

依此类推：BL，CL，DL，DI，......

MOVSX装配说明如何工作？

2 个答案: