x86指令解码器如何区分操作码前缀与主操作码？

你的猜测完全正确，x86指令解码器正是通过前缀字节和当前模式下合法操作码字节的取值范围完全不重叠的规则，来区分二者的。

前缀的固定取值范围 #

x86架构所有合法的指令前缀都属于固定的字节取值集合，不同模式下的前缀范围有明确约定：

• 全模式通用前缀（16/32/64位模式均有效）：
  • 锁与重复前缀：0xF0（LOCK）、0xF2（REPNE/REPNZ）、0xF3（REP/REPE/REPZ）
  • 段覆盖与分支提示前缀：0x2E（CS段覆盖/分支不采用）、0x36（SS段覆盖）、0x3E（DS段覆盖/分支采用）、0x26（ES段覆盖）、0x64（FS段覆盖）、0x65（GS段覆盖）
  • 大小覆盖前缀：0x66（操作数大小覆盖）、0x67（地址大小覆盖）
• 64位模式独有REX前缀：取值范围为0x40~0x4F，该范围在32/16位模式下对应单字节操作码（如INC/DEC通用寄存器指令），但64位模式下这16个字节被重新定义为前缀，没有对应的操作码，不会出现取值重叠。

解码器的工作逻辑 #

解码器会基于当前CPU运行模式，按以下规则逐字节处理指令流：

1. 从指令起始位置读取第一个字节，匹配当前模式下的前缀取值集合
2. 如果匹配成功，记录该前缀的属性，继续读取下一个字节，重复步骤1
3. 如果匹配失败，判定当前字节为指令的第一个操作码字节，后续按操作码对应的格式解析剩余的ModR/M、SIB、立即数等字段

对于没有前缀的指令，第一个字节就不会命中前缀集合，解码器会直接将其作为操作码解析，不需要额外的标识位判断。

举个实际的解码示例：

64位模式下的字节流0x48 0x89 0xD8：
第一个字节0x48命中REX前缀范围，判定为REX.W前缀；下一个字节0x89不属于任何前缀集合，判定为MOV指令的操作码，后续按操作码要求解析后续字段，最终解码为mov rax, rbx。
同样的字节流在32位模式下，第一个字节0x48不命中前缀集合，直接判定为DEC EAX的操作码，是长度为1字节的独立指令。

内容的提问来源于stack exchange，提问作者Daniel Catalano