NEON Intrinsics中"maximum"与"maximum number"的差异及NaN处理疑问

你猜得完全没错！这两个NEON内置函数的核心差异确实只体现在NaN的处理方式上，这也是ARM NEON针对浮点最大值操作设计的两种不同行为，用来适配不同的计算场景。

咱们具体拆解一下：

• vmaxq_f32（浮点Maximum）
  这个函数严格遵循IEEE 754的比较语义来计算最大值。如果输入向量中对应位置的两个元素里有一个是NaN，那么该位置的结果就会是NaN。举个例子：

  • 假设向量a的第0位是NaN，向量b的第0位是3.14，那么vmaxq_f32(a, b)返回的向量第0位就是NaN。

• vmaxnmq_f32（浮点Maximum Number）
  这是一个“感知NaN”的最大值操作，它会优先返回有效的浮点数值，忽略NaN：

  • 如果两个对应元素一个是NaN、一个是有效值，结果就是那个有效值；
  • 只有当两个元素都是NaN时，该位置的结果才会是NaN。
    还是刚才的例子，vmaxnmq_f32(a, b)返回的向量第0位就是3.14。

这种区分是为了适配不同的业务场景：

• 当你需要严格遵循IEEE 754的比较规则（NaN会在操作中传播）时，使用vmaxq_f32；
• 当处理的数据集可能包含NaN，且你需要计算有效值的最大值时（比如统计分析、信号处理、传感器数据处理等场景），使用vmaxnmq_f32。

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