Compiler Explorer 项目中 GCC 15 交叉编译器的构建与优化

概述

在 Compiler Explorer 项目中，团队近期完成了 GCC 15 版本编译器对原生和交叉目标的构建工作。这项工作涉及多个架构平台的适配和优化，特别是针对 ARM64、MIPS64 和 SPARC 等架构的特殊处理。

构建过程与技术挑战

构建过程中，团队遇到了几个关键的技术挑战：

1. uclibc 兼容性问题：在 MIPS64el 和 SPARC-LEON 架构上，使用 uclibc 时遇到了构建失败的问题。解决方案是采用更新的 uclibc-ng 版本，并对 SPARC-LEON 和 s390x 架构禁用了 Ada 支持，以解决 time_t 相关的问题。

2. glibc 版本依赖：特别是在 ARM64 架构上，GCC 15.1 的某些优化特性（如向量化）需要较新版本的 glibc 支持。团队发现使用 glibc 2.37 时无法实现预期的向量化优化，而升级到 glibc 2.41 后问题得到解决。

3. 执行环境问题：在原生目标上运行时，GCC 15.1 编译的程序会出现段错误，而 GCC 14.2.0 则能正常工作。这提示可能存在编译器本身的问题或与系统库的兼容性问题。

解决方案与优化

针对上述问题，团队采取了以下措施：

1. glibc 版本升级：对于 ARM64 交叉编译器，将 glibc 版本从 2.37 升级到 2.41，以支持更先进的优化特性。这一改动使得编译器能够正确生成向量化代码。

2. 系统根目录(sysroot)设置：尝试使用交叉工具链自带的 glibc 而非系统自带的版本，通过设置适当的运行时路径(rpath)来解决库版本不匹配问题。

3. 特殊架构处理：对于 SPARC-LEON 和 s390x 架构，由于时间相关类型(time_t)的问题，选择性地禁用了 Ada 语言支持。对于 MIPS64el 架构，则采用最新的 uclibc-ng 来确保构建成功。

技术细节与验证

在验证过程中，团队特别注意了以下几个技术细节：

1. 向量化优化验证：通过特定的测试用例验证 GCC 15.1 是否能够正确生成向量化指令。在 glibc 版本升级后，可以观察到编译器生成了预期的 _ZGVsMxv_sinf 等向量化函数。

2. 执行环境隔离：通过设置 sysroot 和 rpath，确保编译时和运行时使用一致的库版本，避免因库版本不匹配导致的问题。

3. 构建配置管理：使用 ct-ng (Crosstool-NG) 工具链来管理不同架构的构建配置，确保构建过程的一致性和可重复性。

总结与展望

通过这次 GCC 15 的构建工作，Compiler Explorer 项目不仅更新了编译器版本，还解决了一系列跨平台构建的复杂问题。特别是 glibc 版本管理方面的经验，为未来支持更多架构和编译器特性奠定了基础。

未来工作可能包括：

1. 进一步优化交叉编译器的构建配置，减少特殊处理的情况
2. 探索更多架构的支持，特别是新兴的 RISC-V 等架构
3. 完善执行环境隔离机制，确保编译结果在不同环境中的一致性
4. 持续跟踪 GCC 和 glibc 的新版本，及时更新工具链

这次升级不仅提升了 Compiler Explorer 的功能性，也为用户提供了更先进的编译器优化选项，特别是对于 ARM64 等架构的性能敏感型代码开发具有重要意义。