RISC-V GNU工具链构建：禁用硬件除法指令的方法

背景介绍

在RISC-V架构开发中，某些硬件实现可能不支持硬件除法指令。当使用标准RISC-V GNU工具链时，编译器默认生成的代码和标准库函数可能会包含这些不支持的指令，导致程序无法正常运行。本文将详细介绍如何构建一个不包含硬件除法指令的RISC-V GNU工具链。

问题分析

RISC-V架构中，整数除法指令(div/divu/divw/divuw等)和浮点除法指令(fdiv.d/fdiv.s等)都是可选扩展。如果目标硬件不支持这些指令，就需要确保：

1. 用户代码编译时不生成这些指令
2. 标准库(如Newlib)的实现也不使用这些指令

解决方案

1. 标准构建流程

首先按照常规方法获取和配置工具链源码：

git clone https://github.com/riscv-collab/riscv-gnu-toolchain
cd riscv-gnu-toolchain
./configure --prefix=`pwd`/installed-tools

2. 关键构建参数

在make命令中添加以下参数，确保所有目标代码都不包含除法指令：

make CFLAGS_FOR_TARGET_EXTRA="-mno-div -mno-fdiv" \
     CXXFLAGS_FOR_TARGET_EXTRA="-mno-div -mno-fdiv" \
     ASFLAGS_FOR_TARGET_EXTRA="-mno-div -mno-fdiv" \
     2>&1 | tee build.log

这些参数的作用：

• -mno-div: 禁用整数除法指令
• -mno-fdiv: 禁用浮点除法指令
• CFLAGS_FOR_TARGET_EXTRA: 传递给目标C编译器的额外标志
• CXXFLAGS_FOR_TARGET_EXTRA: 传递给目标C++编译器的额外标志
• ASFLAGS_FOR_TARGET_EXTRA: 传递给目标汇编器的额外标志

3. 验证构建结果

构建完成后，可以使用以下命令检查标准库是否包含除法指令：

cd installed-tools/riscv64-unknown-elf/lib
../../bin/riscv64-unknown-elf-objdump -d libc.a | grep div
../../bin/riscv64-unknown-elf-objdump -d libm.a | grep div

正确的输出应该只显示除法相关的函数名(如div、ldiv等)，而不包含实际的除法指令。

技术原理

当禁用硬件除法指令后，编译器会使用软件库函数来实现除法运算。这些库函数通常基于移位和减法等基本操作来实现除法功能，虽然性能较低，但可以在不支持硬件除法的处理器上运行。

在RISC-V架构中：

• 整数除法会调用如__divdi3、__udivdi3等运行时库函数
• 浮点除法会调用如__divdf3、__divsf3等软浮点库函数

注意事项

1. 性能影响：软件实现的除法比硬件除法慢很多，在性能敏感的应用中需要特别注意
2. 代码大小：软件除法会增加代码体积
3. 浮点运算：如果同时禁用浮点单元，还需要考虑使用软浮点ABI
4. 测试验证：构建完成后需要全面测试，确保所有数学运算都能正常工作

总结

通过上述方法构建的RISC-V GNU工具链可以确保生成的代码完全不依赖硬件除法指令，适合在不支持这些指令的RISC-V处理器上使用。这种方法不仅影响用户代码，还确保了标准库的实现也遵循相同的约束，为特殊硬件环境下的开发提供了完整的解决方案。