你能告訴機器代碼指令是否可重定位？

Question

根據Assemblers And Loaders（24歲書彙編如何工作）：

...一通匯編程序不能生成浮動對象文件。只有通過檢查原始源指令，才能確定 指令的類型（絕對或可重定位） 。單程 彙編器將機器指令直接加載到內存中。一旦進入 內存，該指令只是一個數字。通過查看內存中的指令 ，不可能判斷原始指令是絕對的還是可重定位的。

書中給出一個重定位和絕對指令的下面的僞代碼：

JMP TO 
    ... 
TO: ADD 1,2 

當第一指令使用符號TO和第二指令將這些值在寄存器「1」，並註冊'2'。

我的理解是，你不需要源代碼就可以知道第一條指令的機器代碼是可重定位的。應該可以使用操作碼錶來確定它是否爲JMP指令，並且它必須跳轉到需要可重定位的地址。

我的假設是否正確？

背景：雖然這本書的時候，我讀它更好地瞭解裝配的舊的CPU，如6502和65816.

Answer 1

你的書是一種誤導，一次通過彙編，因爲大多數人會理解術語，可以通過發出稱爲重定位的特殊數據來生成可重定位的對象文件，這些數據告訴鏈接器/加載器如何重定位代碼。本書似乎使用的是「單程彙編程序」的特定定義，一個通過其自身定義不能輸出具有重定位的「可重定位目標文件」的程序。

但是，一般情況下，除非有一組重定位可用於告知什麼是可重定位或不可重定位（以及如何重定位不可重定位的指令，否則通常不能確定給定的機器代碼指令是否可重定位， T）。某些指令很明顯，例如，您可以根據目標地址的編碼方式判斷指令是否可重定位。如果目標地址被編碼爲JMP指令地址的相對偏移量，則它是可重定位的。另一方面，如果被編碼爲絕對地址，則該指令不可重定位。在第一種情況下，程序可以在不修改的情況下重新定位到內存中，並且JMP指令仍然會跳轉到相同的代碼。在第二種情況下，無論代碼已被重定位到何處，JMP指令都將跳轉到相同的地址，除非該指令被更改爲跳到正確的位置。

在x86彙編第一種情況下的具體例子是下面的：

0056: EB 10  JMP LO 

指令中的第一字節，是操作碼EB（我使用這裏的數字都是十六進制） ，它表示一個具有8位相對偏移量的近JMP指令。指令中的第二個字節是8位相對偏移量。它實際上是相對於下一條指令的開始，因此跳轉到的地址是0056 + 2 + 10或0068。

在6502組件第二種情況的一個例子將是：

0056: 4C 68 00 JMP LO 

在這種情況下的操作碼字節4C指具有用途在編碼到指令2字節絕對地址JMP指令。接下來的兩個字節以little-endian字節順序組成該地址：0068。

另一個簡單的例子是類似於ADD 1,2，它只使用寄存器。由於不涉及地址，因此指令可以在不修改的情況下進行重定位，因爲指令中沒有編碼地址。問題出在像ADD #1000,2這樣的指令，它將字面值1000加到寄存器2中存儲的值中。在這種情況下，數字1000在指令中被編碼，並且無法知道該數字是否被用作地址或不。除了上下文之外，沒有辦法知道指令是否包含編碼地址。

在16位x86彙編語言等ADD #1000,2一個例子是如下：

0068: 81 C3 EB 03 ADD BX, 1000 

最後兩個指令EB 03的字節是1000在十進制中的值並且是直接（文字）指令的操作數被編碼。該指令將1000添加到BX寄存器。沒有更多的背景知道1000是否應該是一個地址是不可能的。例如，代碼可能計算位於地址1000處的地址。

您可能想要查找另一本書，因爲它似乎要花費大量時間處理已過時24年的機器結構今天完全是古老的。