为何FASM/NASM/GCC未优化[RBP+reg]寻址以缩减代码字节？

我用GCC、FASM和NASM汇编指令ADD EAX, DWORD PTR [RBP + RAX*1]时，三者都生成了非最优的机器码：

0:  03 44 05 00             add    eax,DWORD PTR [rbp+rax*1+0x0]

添加0x0位移是因为RBP作为基址寄存器时必须带位移。但实际上这条指令可以编码成更短的形式：

0:  03 04 28                add    eax,DWORD PTR [rax+rbp*1]

这里交换了基址和索引寄存器，只要比例因子为1就能生效。在64位平坦内存模型下，SS和DS段基址相同，RAX对应DS段、RBP作为索引对应SS段的差异不会有任何影响；32位平坦内存模型里这种优化通常也是安全的。

但有意思的是，汇编器并非完全不做这类优化：比如NASM和FASM会把ADD EAX, DWORD PTR [RBP + RSP*1]转换成：

0:  03 04 2c                add    eax,DWORD PTR [rsp+rbp*1]

这里交换基址和索引寄存器实现了无位移的SIB编码（而且这是唯一可行的编码方式，因为RSP不能作为索引寄存器）。

请问这只是汇编器没实现的优化，还是有其他原因导致它们选择不这么做？

这本质上是汇编器未实现的可选优化，而非存在硬性技术限制，核心原因如下：

• 优化优先级与收益不对等：这种优化仅能节省1字节机器码，收益极小。汇编器的优化资源通常优先投入到指令调度、寄存器分配等对性能影响更大的环节，这类小幅度编码优化的优先级很低，多数开发者认为不值得投入开发成本。

• 语义严格匹配的设计原则：主流汇编器的设计倾向于严格匹配用户编写的寻址表达式结构。用户明确写出[RBP + RAX*1]，汇编器就优先按照“RBP作为基址、RAX作为索引”的逻辑编码，只有当该编码完全不可行时（比如RSP作为索引的场景），才会尝试交换基址和索引的位置。

• 极端场景的兼容性考量：虽然平坦内存模型下DS和SS段基址一致，但极少数特殊场景（如部分内核代码、遗留系统）中，段基址可能存在差异，交换基址和索引会导致实际访问的内存地址改变。汇编器为避免在极端场景下出现意外行为，选择默认不开启该优化。

目前GCC、NASM、FASM均未默认实现该优化逻辑，部分汇编器可能支持通过特定命令行选项或伪指令触发，但并非通用方案。

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