algorithm - 计算移动目标偏移量的最佳方法

Question

似乎应该有一个标准化的解决方案。基本上问题是我希望能够计算出我应该使用近跳还是远跳。如:

jump_to_near:
  ; ... lots of ops ...

jump_to_near:
    e9 24 ff ff ff          jmpq   1f22 <jump_to_far>
    eb f9                   jmp    1ff9 <jump_to_near>

near jump opcode好像是两个字节，而far jump opcode是五个。问题是，如果跳转标 checkout 现在实际操作码之后，我怎么知道要使用哪一个？是否有一种标准化的算法来计算像这样具有紧密依赖性的东西，特别是考虑到可能有很多跳转的情况，在这种情况下，改变一个操作码的大小可能会影响其他跳转。

Answer 1

我并不是说这是唯一的解决方案，但是对于我编写的多个领域特定语言的编译器，我成功地使用了以下策略:

对于所有向前跳跃，最初假设可以通过短距离跳跃到达目标。

稍后，在反向修补期间，如果在使用短跳转后最终无法到达目标，则将该跳转标记为需要近跳转，并重新开始相关例程的代码生成。

-

也有可能(是的，我实际上已经这样做了)发出所有近跳转(长形式)，然后记录任何需要在 block 中修复的信息，以防你以后发现你可以并且想要将特定跳转从近形式转换为短形式。

-

第一种策略通常更容易实现。