8

我阅读了这个页面，其中列出了 GAS 的 Intel 和 AT&T 语法之间的差异，但它没有涵盖仅指定具有位移的地址的情况。

在这里，我用 AT&T 语法组装了四行：

                         .text
0000 48C7C008000000      mov    $8, %rax
0007 488B042508000000    mov    (8), %rax
000f 4889F0              mov    %rsi, %rax
0012 488B06              mov    (%rsi), %rax

正如预期的那样，前两行是不同的。第一个将立即数 8 移入 rax，第二个将地址 8 的内容移入 rax。但是使用英特尔语法，我得到以下奇怪的行为：

                         .text
                         .intel_syntax
0000 48C7C008000000      mov    %rax, 8
0007 48C7C008000000      mov    %rax, [8]
000e 4889F0              mov    %rax, %rsi
0011 488B06              mov    %rax, [%rsi]

这里第一行和第二行组装成相同的机器代码！首先我认为方括号是错误的，所以我在测试中添加了第三和第四行，至少在涉及寄存器时，方括号确实可以用于内存寻址。

我读过的所有文档都显示了内存寻址示例，其中至少有一个基址或索引寄存器，有时还有比例和位移，但绝不是只有位移。

我确实有使用 NASM 汇编器的英特尔语法的经验，它确实区分mov rax, 8和mov rax, [8].

这是 GAS 中的错误吗？或者如果不是，我如何指定 NASM 的等价物mov rax, [8]？

我意识到指定仅位移地址可能并不常见，但我想使用这种语法全面了解所有内存寻址形式。

4

2 回答 2

7

确实存在这样的错误gas- 请参阅http://sourceware.org/bugzilla/show_bug.cgi?id=10637。

它似乎已在 binutils 2.21.51 中（或之前）修复。

于 2012-04-19T23:11:41.263 回答
2

您在这里看到了 AT&T 语法的一个非常特殊的极端情况。通常，对于地址操作数，您有：

<op> [ src, ] displacement(base,index,scale) [, tgt ]

AT&T 语法中地址操作数的任何组成部分都是可选的，因此您可以编写mov (%rax, %rbx), ...或mov 0(%rax, %rbx, 1), ...任何其他此类组合。

在括号内，()您通常可以拥有的唯一数字是比例因子（如果存在）。

但汇编器也接受（并为其创建相同的代码）：

mov <absolute>, ...
mov (<absolute>), ...

仅当 中的操作数()是简单的数字/绝对地址时才有效，否则汇编程序会抱怨您给出的不是有效的比例因子。这种等价是 AT&T 语法中的一种特殊情况——我不知道为什么它是/被允许的。

但是，AT&T 语法中的使用$总是指定一个常量，而不是地址操作数，这与英特尔语法中的裸数字相同。

下面说明了等价关系：

$ cat t.s
        mov     (8), %rax
        mov     $8, %rax
        mov     8, %rax
.intel_syntax
        mov %rax, [ 8 ]
        mov %rax, 8
        mov %rax, %ds:8

$ objdump -w -d t.o

t.o:     file format elf64-x86-64

Disassembly of section .text:

0000000000000000 <.text>:
   0:   48 8b 04 25 08 00 00 00         mov    0x8,%rax
   8:   48 c7 c0 08 00 00 00            mov    $0x8,%rax
   f:   48 8b 04 25 08 00 00 00         mov    0x8,%rax
  17:   48 8b 04 25 08 00 00 00         mov    0x8,%rax
  1f:   48 c7 c0 08 00 00 00            mov    $0x8,%rax
  26:   48 8b 04 25 08 00 00 00         mov    0x8,%rax

$ objdump -w -M intel -d t.o

t.o:     file format elf64-x86-64

Disassembly of section .text:

0000000000000000 :
   0:   48 8b 04 25 08 00 00 00         mov    rax,ds:0x8
   8:   48 c7 c0 08 00 00 00            mov    rax,0x8
   f:   48 8b 04 25 08 00 00 00         mov    rax,ds:0x8
  17:   48 8b 04 25 08 00 00 00         mov    0x8,%rax
  1f:   48 c7 c0 08 00 00 00            mov    rax,0x8
  26:   48 8b 04 25 08 00 00 00         mov    rax,ds:0x8
于 2012-04-19T10:33:13.533 回答