关于ARM指令VMLA.F32/F64语义等价性的确认问询

是的，VMLA.F32（以及对应的VMLA.F64）指令在行为上完全等价于先执行带舍入步骤的浮点乘法，再执行浮点加法，包括NaN、无穷大及各类异常情况的处理。

具体细节说明：

• 舍入逻辑：乘法阶段会严格按照当前浮点控制寄存器的舍入模式完成舍入操作，之后再执行加法运算，加法同样遵循当前舍入规则。这和分开执行VMUL.F32 + VADD.F32（或VMUL.F64 + VADD.F64）的舍入流程完全一致。
• NaN处理：无论是乘法输入中的NaN、乘法运算产生的NaN，还是加法阶段涉及的NaN，VMLA的处理都严格遵循IEEE 754标准，和分步执行乘加指令的行为完全匹配：
  • 输入中存在NaN时，会按规则传播NaN（比如安静NaN传播，信号NaN转为安静NaN并触发异常）
  • 乘法结果为NaN时，加法阶段直接传播该NaN，不进行额外运算
• 异常标志：溢出、下溢、不精确结果等异常的触发条件和FP状态寄存器的标志位设置，VMLA指令和分步乘加的组合指令完全一致，没有特殊差异。

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