关于x86汇编指令rex.X、rex.WX(bad)及反汇编差异的技术问询

使用GDB v13.2反汇编由G++ v13.1.0以-std=c++23、-g、-o参数编译的C代码时，发现__imp__ZdlPvy（对应C的operator delete(void*, size_t)导入符号）的两次反汇编结果存在明显差异：首次反汇编出现rex.X、rex.WX(bad)指令，第二次则变为stos、or指令。针对这一现象，逐一解答疑问：

1. rex.X指令在此处的作用是什么？ #

REX前缀是x86-64架构的扩展前缀，用来启用64位寄存器、扩展寄存器集或修改指令操作数宽度。rex.X是指REX前缀的X位（第2位）单独置位的情况，正常情况下它必须跟在合法的x86指令前，用来修改指令的寻址方式（比如指定扩展寄存器作为基址/变址寄存器）。但这里单独出现的rex.X属于非法指令流——它没有后续的有效指令字节，本质是反汇编器错误解析了字节序列，不存在实际的合法作用。

2. rex.WX(bad)指令的含义及作用是什么？ #

rex.WX表示REX前缀的W位（第3位，用于指定64位操作数宽度）和X位同时置位，标注(bad)说明GDB无法识别这是一个合法的前缀+指令组合。这种情况是反汇编器遇到了无效的字节序列，把原本不属于指令前缀的字节错误解析成了REX前缀，属于指令流解析错误，没有实际功能。

3. or指令如何替代rex.WX？ #

不存在“替代”的逻辑，这是两次反汇编时字节序列解析边界不同导致的结果：第一次GDB错误地把某段字节拆成了rex.WX前缀，第二次则正确识别出这些字节其实是or指令的opcode和操作数编码。比如or指令的某些编码形式，字节值刚好和被误判的rex.WX字节组合成合法指令，本质是第一次解析时指令流同步错位了。

4. 第二次反汇编中rex.X为何被替换为stos指令？ #

这同样是指令流同步错误导致的差异：第一次反汇编时，GDB错误地将几个字节拆分成了单独的rex.X前缀；第二次解析时，它正确地将这些字节与后续字节组合成了stos指令（stos是字符串存储指令，比如stosq对应64位存储操作）。通常是因为第一次反汇编的起始地址没有对齐到正确的指令开头，导致后续解析全部错位。

5. 未修改代码的情况下，反汇编结果为何会出现差异？ #

核心原因是GDB反汇编器出现了指令流同步错误，常见触发场景包括：

• 第一次反汇编的起始地址落在了指令中间的字节上，而非指令开头，导致后续所有指令解析错位。
• __imp__开头的符号是Windows平台的导入表条目，第一次解析时GDB误将导入表的辅助数据当成了指令字节，第二次则正确定位到了实际的指令流起始点。
• GDB的反汇编逻辑在处理某些特殊字节序列时，偶发出现解析偏差，尤其是针对未完全对齐的指令流。

内容的提问来源于stack exchange，提问作者Ashley Ben Story