Arm64架构下fcmp与SIMD指令的无效操作问题咨询

先看问题中的代码片段：

ldr q0, [x0]
cmeq v0.16b, v0.16b, #0
shrn v0.8b, v0.8h, #4
fcmp d0, #0.0

Linux下未触发异常的原因 #

Linux Arm64环境中，进程初始化阶段会默认配置浮点控制寄存器（FPCR），屏蔽了浮点无效操作异常的信号传递。当fcmp指令遇到信号NaN时，仅会置位浮点状态寄存器（FPSR）的IOC（Invalid Operation Cumulative）状态位，不会向进程发送SIGFPE信号，因此程序不会崩溃或进入异常处理流程。这是Linux为兼容大量现有代码、避免意外中断而采用的默认行为。

是否会在其他系统触发异常 #

是的，该代码在部分操作系统或特定配置下可能触发异常：

• 实时操作系统（RTOS）：多数RTOS默认不屏蔽浮点异常，遇到信号NaN会直接触发硬件异常。
• BSD类系统：部分BSD变体默认启用更严格的浮点异常检查，执行到该fcmp指令时会发送SIGFPE信号。
• 自定义配置的程序：如果程序显式修改FPCR寄存器，开启了无效操作异常的启用位（IOE），执行该指令时也会触发异常。

可移植性分析 #

这类依赖fcmp的SIMD strlen实现存在可移植性风险：

• 其行为完全依赖操作系统对浮点异常的默认屏蔽策略，不同系统的处理逻辑差异较大。
• 若要提升可移植性，建议修改指令序列规避信号NaN的生成，或改用非浮点指令判断结果。例如，可将shrn后的结果通过位操作（如tst、orr）判断是否全零，彻底绕开浮点异常相关的问题。

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