Rustc_codegen_cranelift在M1 Mac上的ARM64特性支持问题分析

在Rust编译器生态系统中，rustc_codegen_cranelift作为基于Cranelift的替代代码生成后端，为开发者提供了更快的编译速度。然而，在M1芯片的Mac设备上编译ring加密库时，开发者遇到了一个关于ARM64特性检测的问题。

问题背景

当使用cranelift后端在M1 Mac上编译ring库时，编译器会报出"evaluation of constant value failed"错误。这个错误发生在ring库对ARM CPU特性进行静态验证的断言处。具体来说，ring库假设在arm64-apple-darwin平台上，NEON、AES、SHA256和PMULL这些ARM特性应该总是可用的，因此它在编译期就对这些特性进行了断言检查。

技术分析

问题的根源在于rustc_codegen_cranelift对ARM64目标特性的处理方式。目前，cranelift后端虽然能正确检测和利用这些特性，但在编译期的特性标记(target_feature)方面存在不足：

1. 对于arm64-apple-darwin目标，cranelift只明确设置了NEON特性，而没有设置AES、SHA256和PMULL这些在M1芯片上同样可用的特性。

2. PMULL相关的内部函数(intrinsics)在cranelift中尚未完全实现，这影响了相关特性的完整支持。

3. ring库在编译期通过cfg(target_feature)和静态断言来验证这些特性，而运行时的特性检测(is_aarch64_feature_detected!())则不受影响。

解决方案

要解决这个问题，需要在多个层面进行改进：

1. 在rustc_codegen_cranelift中为arm64-apple-darwin目标添加默认特性标记，包括NEON、AES、SHA256和PMULL。

2. 完善PMULL相关内部函数的实现，确保所有声明的特性都能实际使用。

3. 考虑长期方案，让cranelift能够自动识别平台默认特性，而不是硬编码在编译器中。

影响范围

这个问题主要影响：

• 使用rustc_codegen_cranelift后端的开发者
• 在M1/M2 Mac上编译的项目
• 依赖ARM64特定加密指令集(如AES、SHA256)的加密库

当前状态

根据最新更新，ring库的测试套件现在已经在M1 Mac上通过测试，表明相关问题已得到解决。这为在Apple Silicon设备上使用cranelift后端进行高效开发铺平了道路。

这个问题展示了交叉编译和平台特定特性处理在编译器开发中的重要性，也为Rust生态系统在ARM64平台上的完善提供了宝贵经验。