fcvtzs d0,d0是否为AArch64 SIMD指令？gcc与clang判定谁正确

GCC侧的判定是正确的，Clang的汇编器存在指令分类校验的漏洞。

要搞清楚这个差异，首先要明确AArch64架构下指令的扩展归属规则，以及fcvtzs不同形式的分类：

• AArch64的基础标量浮点（FP）扩展和高级SIMD（ASIMD/Neon）扩展是两个独立但强关联的可选扩展：FP扩展支持双精度/单精度浮点的标量运算，运算结果要么存放在浮点寄存器中作为浮点值使用，要么转换后存入通用整数寄存器；ASIMD扩展除了支持向量并行运算外，还包含一组操作SIMD寄存器文件的标量整数/浮点转换、运算指令。
• fcvtzs指令按操作数不同分属两个扩展：
  • 目标操作数为通用寄存器（W/X寄存器）的形式，比如fcvtzs w0, d0，功能是把浮点值转换为整数后存入通用寄存器，属于基础FP扩展指令，不需要SIMD支持；
  • 源、目标操作数均为S/D/Q/V类SIMD/浮点寄存器的形式，比如测试用的fcvtzs d0,d0，功能是把寄存器内的浮点值按零截断为整数值，结果仍存放在SIMD寄存器中等待后续SIMD指令处理，属于ASIMD扩展指令，必须开启SIMD支持才可以使用。

测试涉及的fcvtzs d0,d0完全符合第二类ASIMD指令的特征，在指定+nosimd关闭SIMD扩展时，处理器确实不支持该指令，GCC触发报错是符合架构规范的。

• GCC 10编译汇编文件时，实际调用的是GNU Binutils套件中的aarch64-linux-gnu-as汇编器，这个汇编器严格按照ARM官方发布的架构指令分类规则做特性校验，能正确识别出该指令属于SIMD扩展范畴，因此抛出了正确的错误。
• 测试所用的Clang版本走的是内置的集成汇编器，它的+nosimd特性校验逻辑存在遗漏：仅把操作Q/V寄存器、一次处理多个元素的并行向量指令判定为SIMD指令，没有把操作S/D寄存器、仅处理单个元素的ASIMD标量指令纳入SIMD校验范围，因此错误放过了本应被拦截的指令。

可以用下面的汇编写测试用例进一步确认：

# 基础FP指令，仅关闭SIMD、保留FP时可以正常汇编
fcvtzs w0, d0
# ASIMD标量指令，关闭SIMD时必须报错
fcvtzs d0, d0

如果汇编参数配置正确，第一行指令在-mcpu=cortex-a53+nosimd下不会报错，第二行指令必须报错。

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