ARM架构下double转int64_t转换溢出时会出现什么行为

ARM架构（含主流64位AArch64、32位ARMv7）下double转int64_t的越界行为和x86不保证一致，做双平台可移植代码绝对不能依赖硬件原生的越界返回值。

具体行为差异 #

• x86（x87/SSE/AVX）的行为是架构强保证的：转换结果超出int64_t范围、输入为NaN时，固定返回魔数1 << 63（即INT64_MIN，值为0x8000000000000000，英特尔定义为integer indefinite），同时置位浮点状态寄存器的无效操作异常标记。
• AArch64（ARMv8及之后的64位架构，当前主流服务器、消费级电子设备的ARM架构均属此类）的普通非饱和转换指令FCVTZS（即C语言强制转换默认使用的向零舍入指令），仅在触发无效操作（越界、NaN输入）时置位浮点无效标记的行为和x86一致，但返回值属于实现定义范畴：架构规范不做强制要求，目前量产的Cortex-A系列、苹果M系列、高通自研核大多也返回0x8000000000000000，但不排除个别定制核、仿真环境返回其他值的可能。如果使用饱和转换指令SQCVTZS，越界时会返回对应方向的边界极值（上越界返回INT64_MAX，下越界返回INT64_MIN），和x86行为不同。
• 32位ARMv7架构原生VFP指令集没有直接支持double到int64_t的转换，编译器通常会插入软浮点辅助函数实现转换，越界返回值完全取决于辅助函数的实现，没有统一标准。

可移植实现方案 #

不需要依赖硬件行为，转换前加少量边界判断即可保证双平台行为完全一致，性能损耗可忽略。如果要对齐x86的越界返回INT64_MIN的逻辑，参考实现如下：

#include <stdint.h>
#include <math.h>

int64_t double_to_int64_align_x86(double x) {
    const double dbl_int64_max = (double)INT64_MAX;
    const double dbl_int64_min = (double)INT64_MIN;

    // 上越界、下越界、NaN输入统一返回x86约定的整数不确定值INT64_MIN
    if (x >= dbl_int64_max || x <= dbl_int64_min || isnan(x)) {
        return INT64_MIN;
    }

    return (int64_t)x;
}

如果业务不需要对齐x86的魔数返回，也可以按需求调整越界分支的返回值、增加错误码置位逻辑，完全不用关心底层硬件的差异。

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