RISC-V GNU工具链中乘法指令生成的差异分析

在RISC-V GNU工具链开发过程中，开发者发现了一个关于乘法指令生成的优化问题。这个问题涉及到RISC-V架构中M扩展和Zmmul扩展在处理整数与常量乘法时的不同行为。

问题现象

当使用C语言编写整数与常量相乘的代码时，编译器会根据不同的指令集扩展生成不同的汇编指令。测试用例显示：

void doSomething(int *ia, int *ib, int *ic) {
    *ia = *ia * 80;
    *ib = *ib * 33938;
    *ic = *ic * 80;
    *ia = *ib * *ic;
}

使用M扩展时，编译器会直接生成mul指令：

mul     a5,a5,a3

而使用Zmmul扩展时，编译器却采用了移位和加法组合的方式实现乘法：

slli    a5,a4,2
add     a5,a5,a4
slli    a5,a5,4

技术背景

RISC-V架构中，M扩展提供了完整的乘除法指令支持，包括mul、mulh、mulhu等指令。而Zmmul扩展则是一个精简版本，仅提供乘法指令而不包含除法指令。理论上，两者在乘法运算上应该表现一致。

编译器优化通常会尝试将常数乘法转换为移位和加法操作，因为这在某些架构上可能比直接使用乘法指令更高效。然而，在RISC-V架构中，乘法指令本身已经高度优化，这种转换反而可能导致性能下降。

问题分析

这个问题源于GCC编译器在Zmmul扩展下的优化策略选择不当。编译器错误地认为即使有硬件乘法指令，使用移位和加法组合可能更优。实际上：

1. 对于像80这样的常数（0x50），编译器将其分解为(16+1)*5，通过移位和加法实现
2. 对于较大的常数如33938，编译器最终还是使用了mul指令
3. 变量间的乘法无论哪种扩展都会使用mul指令

这种不一致的行为显然不是最优选择，特别是在有专用乘法硬件的情况下。

解决方案

该问题已在GCC上游修复。修复方案确保在使用Zmmul扩展时，编译器会优先使用硬件乘法指令而不是采用软件模拟的方式。这对于追求性能的嵌入式应用尤为重要，因为：

1. 硬件乘法指令通常只需要1-3个时钟周期
2. 移位加法的组合可能需要更多指令和时钟周期
3. 代码体积也可能因此增大

临时解决方案

在修复版本发布前，开发者可以采用以下临时方案：

1. 使用M扩展并添加-mno-div编译选项
2. 对于关键性能路径，可以考虑使用内联汇编确保使用mul指令

这个问题提醒我们，在使用新兴指令集扩展时，需要仔细验证编译器的优化行为是否符合预期，特别是在性能敏感的应用程序中。