Question

的编码

call qword ptr [rax]
call qword ptr [rcx]

是

FF 10
FF 11

我可以看到最后一位数字（0/1）来自哪里（寄存器编号），但我想弄清楚倒数第二位数字（1）的来源。根据 AMD64架构程序员手册第3卷：通用和系统指令第56页，

“/ digit - 表示ModRM字节仅指定一个寄存器或存储器（r / m）操作数。该数字由ModRM寄存器字段指定，用作指令操作码扩展。有效数字值范围为0到了7。“

等效的英特尔文档说的类似，并且call通过寄存器指定编码为

FF /2

和......我不知道这意味着什么，或者规范中的2如何连接到最终结果中的高1位数。在任何地方都有不同措辞的解释吗？

Answer 1

我想你要查看Intel® 64 and IA-32 Architectures Developer's Manual: Combined Volumes中的表2-2，第2卷：指令参考集，第2章：指令格式，2.1.5 ModR / M和SIB字节的寻址模式编码：

Table 2-2. 32-Bit Addressing Forms with the ModR/M Byte

r8(/r)                       AL   CL   DL   BL   AH   CH   DH   BH
r16(/r)                      AX   CX   DX   BX   SP   BP   SI   DI
r32(/r)                      EAX  ECX  EDX  EBX  ESP  EBP  ESI  EDI
mm(/r)                       MM0  MM1  MM2  MM3  MM4  MM5  MM6  MM7
xmm(/r)                      XMM0 XMM1 XMM2 XMM3 XMM4 XMM5 XMM6 XMM7
(In decimal) /digit (Opcode) 0    1    2    3    4    5    6    7
(In binary) REG =            000  001  010  011  100  101  110  111
Effective Address Mod R/M    Value of ModR/M Byte (in Hexadecimal)
[EAX]              00 000    00   08   10   18   20   28   30   38
[ECX]                 001    01   09   11   19   21   29   31   39
[EDX]                 010    02   0A   12   1A   22   2A   32   3A
[EBX]                 011    03   0B   13   1B   23   2B   33   3B
[--][--] *1           100    04   0C   14   1C   24   2C   34   3C
disp32 *2             101    05   0D   15   1D   25   2D   35   3D
[ESI]                 110    06   0E   16   1E   26   2E   36   3E
[EDI]                 111    07   0F   17   1F   27   2F   37   3F
[EAX]+disp8 *3     01 000    40   48   50   58   60   68   70   78
[ECX]+disp8           001    41   49   51   59   61   69   71   79
[EDX]+disp8           010    42   4A   52   5A   62   6A   72   7A
[EBX]+disp8           011    43   4B   53   5B   63   6B   73   7B
[--][--]+disp8        100    44   4C   54   5C   64   6C   74   7C
[EBP]+disp8           101    45   4D   55   5D   65   6D   75   7D
[ESI]+disp8           110    46   4E   56   5E   66   6E   76   7E
[EDI]+disp8           111    47   4F   57   5F   67   6F   77   7F
[EAX]+disp32       10 000    80   88   90   98   A0   A8   B0   B8
[ECX]+disp32          001    81   89   91   99   A1   A9   B1   B9
[EDX]+disp32          010    82   8A   92   9A   A2   AA   B2   BA
[EBX]+disp32          011    83   8B   93   9B   A3   AB   B3   BB
[--][--]+disp32       100    84   8C   94   9C   A4   AC   B4   BC
[EBP]+disp32          101    85   8D   95   9D   A5   AD   B5   BD
[ESI]+disp32          110    86   8E   96   9E   A6   AE   B6   BE
[EDI]+disp32          111    87   8F   97   9F   A7   AF   B7   BF
EAX/AX/AL/MM0/XMM0 11 000    C0   C8   D0   D8   E0   E8   F0   F8
ECX/CX/CL/MM/XMM1     001    C1   C9   D1   D9   E1   E9   F1   F9
EDX/DX/DL/MM2/XMM2    010    C2   CA   D2   DA   E2   EA   F2   FA
EBX/BX/BL/MM3/XMM3    011    C3   CB   D3   DB   E3   EB   F3   FB
ESP/SP/AH/MM4/XMM4    100    C4   CC   D4   DC   E4   EC   F4   FC
EBP/BP/CH/MM5/XMM5    101    C5   CD   D5   DD   E5   ED   F5   FD
ESI/SI/DH/MM6/XMM6    110    C6   CE   D6   DE   E6   EE   F6   FE
EDI/DI/BH/MM7/XMM7    111    C7   CF   D7   DF   E7   EF   F7   FF
NOTES:
1. The [--][--] nomenclature means a SIB follows the ModR/M byte.
2. The disp32 nomenclature denotes a 32-bit displacement that follows the ModR/M byte (or the SIB
byte if one is present) and that is added to the index.
3. The disp8 nomenclature denotes an 8-bit displacement that follows the ModR/M byte (or the SIB
byte if one is present) and that is sign-extended and added to the index.

Answer 2

ModR / M字节有3个字段：

bit 7 & bit 6 = mod
bit 5 through bit 3 = reg = /digit
bit 2 through bit 0 = r/m

这在Vol。Figure 2-1. Intel 64 and IA-32 Architectures Instruction Format中描述。 Intel® 64 and IA-32 Architectures Software Developer’s Manual的2A。

所以，那里：

0x10 = 00.010.000（mod = 0，reg/digit=2，r/m=0）

和

0x11 = 00.010.001（mod = 0，reg/digit=2，r/m=1）。

Answer 3

/2 表示在英特尔文档第 2A 卷的表 2-2 中查找（表和卷中的 2 与那里的 /2 没有关系）。在左上角的那个表中有 /digit。因此，转到右侧的列并找到 /2。我们会回到那个话题。

现在，如果您查看 call 指令定义，您将看到 Op/En，即“操作数编码”。

Op/En       Operand 1       Operand 2       Operand 3       Operand 4
D           Offset          NA              NA              NA
M           ModRM:r/m (r)   NA              NA              NA

还要注意第一个表中的call签名，例如这个，它是对应于rax用法的64位：

Opcode    Instruction   Op/En
FF /2     CALL r/m64    M

那个 M 告诉我们在下面的“操作数编码”（Op/En）表中查找 M，即：

Op/En       Operand 1       Operand 2     Operand 3       Operand 4
M           ModRM:r/m (r)   NA            NA              NA

所以操作数 1 是 ModRM:r/m (r)。 (r) 表示操作数是读取（未写入）。 ModRM:r/m 表示操作数有一个 ModRM 字节，带有一个 r/m 值。 r 中的 r/m 表示“注册”，而 m 表示“内存”。

回到表 2-2 中的 /2 列，我们有 010，就在 REG 行上。这是指 ModRM 中间的“reg”段。

根据this，我们有：

mod     description (relevant to us)
00      register indirect addressing mode
01      one-byte signed displacement follows addressing mode byte(s)
10      four-byte signed displacement follows addressing mode byte(s)
11      register addressing mode

由于我们使用的是[rax]，即寄存器间接寻址方式，所以00。

所以我们有了 mod 和 reg，现在我们需要 r/m，来完成 ModRM 字节。

来自网络上的 elsewhere：r/m 字段编码使用哪个寄存器。如果我们回到表 2-2 和 /2 列，并将其与左侧的 Mod 00 框匹配，我们使用 EAX 行（与作为您的 RAX 中使用的 call [rax]），我们最终在 10。同样，如果我们跟随 ECX 行（与 RCX 中的 call [rcx] 相同），我们会得到 11。这给了我们：

FF 10       call [rax]
FF 11       call [rcx]

请注意，该表还显示了 r/m 值：000 为 rax，001 为 rcx。这给了我们最终的 ModRM 字节。

ModRM         for        hex
00.010.000    rax        10
00.010.001    rcx        11

还要注意，如果你做 call [eax]，它的前缀是 67 十六进制：

67 FF 01

这对应于“地址大小覆盖前缀”。

x64指令编码和ModRM字节

3 个答案: