Question

我遇到了MASM中当前位置计数器的问题。

这是我的汇编代码，我使用Visual Studio 2013 Express进行汇编

.386
.model flat,stdcall
.stack 8192
ExitProcess proto,dwExitCode:dword

.data
ptr1 DWORD $
ptr2 DWORD $
ptr5 DWORD $


.code
main proc
    mov eax, $
    mov eax, $
    invoke ExitProcess,0
main endp
end main

在我看来，我认为ptr1，ptr2和ptr5应该有自己的位置值。

但事实并非如此。

在调试模式下，变量显示相同的结果。

ptr1，ptr2，ptr5具有相同的地址，它们之间没有偏移。

使用$进行声明时有什么问题？

Answer 1

您的问题似乎是MASM中的一个错误（或者微软可能会提出它，一个＆＃34;功能＆＃34;）。问题不在于DWORD指令不能生成目标代码，或者它们不能推进汇编程序的位置计数器。如果前者是真的那么他们根本就不会出现在可执行文件中，如果后者是真的，他们都将拥有相同的地址。

问题是当在数据定义中使用时，MASM在某些上下文中错误地使用当前段（在生成的目标文件中）的开头的偏移量而不是当前位置计数器$的值。以下代码基于您的示例演示了这一点（并显示了一个简单的解决方案）：

        .386
        PUBLIC  ptr1, ptr2, ptr5, ptr6, len

_DATA   SEGMENT
        mov     eax, $
        mov     eax, $
ptr1    DWORD   $
ptr2    DWORD   $
ptr5    DWORD   OFFSET $
ptr6    DWORD   ptr6
len     DWORD   $ - ptr1
        mov     eax, $
_DATA   ENDS

        END

以下是IDA如何反汇编MASM为上述汇编代码创建的目标文件：

.data:00000000 $$000000:
.data:00000000                 mov     eax, offset $$000000
.data:00000005 $$000005:
.data:00000005                 mov     eax, offset $$000005
.data:0000000A ptr1            dd offset $$000000
.data:0000000E ptr2            dd offset $$000000
.data:00000012 ptr5            dd offset $$000000
.data:00000016 ptr6            dd offset ptr6
.data:0000001A len             dd 16
.data:0000001E $$00001E:
.data:0000001E                 mov     eax, offset $$00001E

您会注意到mov eax, $指令显示DWORD指令正在提升位置计数器。您还会注意到ptr1，ptr2和ptr5都已使用$$000000初始化，该$ - ptr1位于细分受众群的开头，完全忽略了这两个事实先前的MOV指令和DWORD指令已经推进了位置计数器。

另一方面，MASM确实正确评估ptr1。这将计算$与当前位置计数器之间的距离，即16，前四个DWORD指令的总长度（以字节为单位）。这意味着至少在这种情况下，MASM使用正确的$。

值

最后，该示例显示了如何解决此问题。只需使用命名标签而不是ptr6 DWORD ptr6，就像在行{{1}}中一样。这导致汇编器正确生成一个初始化为指向自身的指针。

Answer 2

在MASM中，$符号表示位置计数器的当前值。位置计数器是汇编程序在处理代码时由内部维护的变量。首次遇到段时，汇编程序将位置计数器设置为零。然后，当遇到指令或伪操作码时，它会为作为目标代码输出的每个字节递增位置计数器。

变量声明不计算在内。因为它们不是指令或伪操作码，所以它们不会导致位置计数器递增。

当然，the MSDN documentation很糟糕。以下是Randall Hyde的<汇集语言艺术在位置计数器（Chapter 8, Section 2, of the 16-bit DOS edition）上所说的内容：

回想一下，80x86内存空间中的所有地址都包含一个段地址和该段内的偏移量。汇编程序在将源文件转换为目标代码的过程中，需要跟踪当前段内的偏移量。位置计数器是一个处理此变量的汇编程序变量。

无论何时在汇编语言源文件中创建段（请参阅本章后面的段），汇编器都会将当前位置计数器值与其关联。位置计数器包含进入段的当前偏移量。最初（当汇编程序首次遇到段时），位置计数器设置为零。遇到指令或伪操作码时，MASM会为写入目标代码文件的每个字节递增位置计数器。例如，MASM在遇到mov ax, bx后将位置计数器递增2，因为该指令长度为两个字节。

位置计数器的值在整个装配过程中会有所不同。它会针对程序中用于发出目标代码的每行代码进行更改。在生成任何代码之前，我们将使用术语位置计数器来表示特定语句中位置计数器的值。

简而言之，位置计数器仅增加了导致生成目标代码的行。

如果需要，您可以向$显式添加偏移值。但我不确定你为什么要这样做......

MASM：在.data声明中使用当前位置计数器（$）

2 个答案: