带溢出的ARM Neon浮点整数转换行为

ARM Neon浮点到整数转换指令的行为在溢出情况下如何定义？你能相信我在特定处理器上观察到的行为吗，即结果是饱和的？非常感谢与官方文件的任何链接。

这是此类问题所有答案的来源。第A8.8.305节规定：

浮点到整数操作使用向零舍入的舍入模式

在术语表中，它澄清了：

向零进位（RZ）模式 表示结果四舍五入到最接近的可表示数，其大小不大于未舍入结果

（这与IEEE 754中“向零舍入”的含义相同。）

血淋淋的细节在

FPToFixed

和

FPUnpack

的伪代码中

因此，简而言之：是的，结果保证是饱和的