assembly - x86中的jmpl指令是什么？

Question

x86汇编设计有指令后缀，如l(long)、w(word)、b(byte)。
所以我认为 jmpl 是 long jmp

但是当我组装它时，它的工作方式很奇怪:

Test1 jmp:汇编源代码和反汇编

main:
  jmp main

eb fe     jmp 0x0804839b <main> 

Test2 jmpl:汇编源代码和反汇编

main:
  jmpl main       # added l suffix

ff 25 9b 83 04 08   jmp *0x0804839b

与Test1相比，Test2的结果出人意料。
我认为它的组装方式应该与Test1相同。

<小时/>

问题:
jmpl 是 8086 设计中的一些不同指令吗？
(根据here，SPARC中的jmpl表示jmp链接。是这样的吗？)

...或者这只是 GNU 汇编器中的一个错误？

Answer 1

l 操作数大小后缀意味着间接 jmp，与 callll main 不同，后者仍然是一个相对近调用。 这种不一致纯粹是 AT&T 语法设计的疯狂。

(由于您将它与像 main 这样的操作数一起使用，所以它变成了内存间接跳转，从 main 加载数据并将其用作新的EIP值。)

您永远不需要使用jmpl助记符，您可以而且应该在操作数上使用*来指示间接跳转。例如 jmp *%eax 设置 EIP = EAX，或 jmp *4(%edi, %ecx, 4) 索引跳转表，或 jmp * func_pointer。在所有这些中，使用 jmpl 都是可选的。

您可以使用jmpw *%ax 将 EIP 截断为 16 位值。汇编为 66 ff e0 jmpw *%ax)

<小时/>

比较 What is callq instruction?和 What is the difference between retq and ret? ，这只是操作数大小后缀的行为就像您预期的那样，与普通的 call 或普通的 ret 相同。但jmp 不同。

<小时/>

半相关:AT&T 语法中的远跳转或调用(到新的 CS:[ER]IP)是 ljmp/lcall。这些是非常不同的。

<小时/>

GAS 接受 jmpl main 等同于 jmpl *main 也是疯狂的。它仅发出警告而不是出错。

$ gcc -no-pie -fno-pie -m32 jmp.s 
jmp.s: Assembler messages:
jmp.s:3: Warning: indirect jmp without `*'

然后使用 objdump -drwC a.out 对其进行反汇编，看看我们得到了什么:

08049156 <main>:                                          # corresponding source line (added by hand)
 8049156:       ff 25 56 91 04 08       jmp    *0x8049156    # jmpl main
 804915c:       ff 25 56 91 04 08       jmp    *0x8049156    # jmp  *main
 8049162:       ff 25 56 91 04 08       jmp    *0x8049156    # jmpl *main

08049168 <foo>:
 8049168:       e8 fb ff ff ff          call   8049168 <foo> # calll foo
 804916d:       ff 15 68 91 04 08       call   *0x8049168    # calll *foo
 8049173:       ff 15 68 91 04 08       call   *0x8049168    # call  *foo

如果我们在源代码中将 l 替换为 q，并且在不使用 -m32 的情况下构建(使用默认的 >-m64)。包括关于缺少 * 的相同警告。但反汇编在每条指令上都有显式的jmpq 和callq。 (除了我添加的相对直接的 jmp ，它在反汇编中使用 jmp 助记符。)

这就像 objdump 认为 32 位是 32 位和 64 位模式下 jmp/call 的默认操作数大小，因此它希望在 64 位模式中始终使用 q 后缀，但在 32 位模式下将其保留为隐式。不管怎样，这只是隐式/显式大小后缀之间的反汇编选择，对于编写源代码的程序员来说并没有什么奇怪的。

<小时/>

其他 AT&T 语法汇编器:

• Clang 的内置汇编器确实拒绝 jmpl main，需要 jmpl *main。

  $ clang -m32 jmp.s
  jmp.s:3:8: error: invalid operand for instruction
    jmpl main
         ^~~~
  

  callll main 与call main 相同。 call *main 和 calll *main 都接受间接跳转。

• YASM 的 GAS 语法模式将 jmpl main 汇编为近乎相关的 jmp，例如 jmp main! 因此它与 gcc 不一致/clang 关于 jmpl 暗示间接。 (很少有人在 GAS 模式下使用 YASM；如今，对于像 AVX512 这样的新指令，它的维护并没有跟上 NASM 的步伐。我喜欢 YASM 对于长 NOP 的良好默认设置，但除此之外，我会推荐 NASM。)