在 aarch64/arm64 上通过环绕将浮点数转换为整数

Question

我试图在 x86_64 和 aarch64/arm64 上精确匹配应用程序运行之间的行为。但是，当浮点数超出可能的整数范围时，它们的区别在于如何将浮点数转换为整数。

考虑以下示例：

#include <stdio.h>
#include <cstdint>

void cast(float value) {
  printf("uint32_t(%.2f) = %u\n", value, uint32_t(value));
}

int main() {
  cast(4294967808.);
}

# output on x86_64:  uint32_t(4294967808.00) = 512
# output on aarch64: uint32_t(4294967808.00) = 4294967295

x86_64 版本正在使用饱和的 cvttss2si for the conversion, which wraps-around the answer, although the documentation is quite unclear on this. Aarch64 is using fcvtzu。

任何使两者对齐的解决方案都会很有趣，但理想情况下，我想在 clang 上设置一个编译器标志，以使 aarch64 版本的行为类似于 x86_64 版本（即使 aarch64 “更好” ")

Answer 1

使用 CPU 指令 fjcvtzs（或内在的 __builtin_arm_jcvt）获得 x86 在 aarch64 上的行为。

（感谢@EOF 在评论中提供足够的信息让我找到答案）

在 aarch64/arm64 上通过环绕将浮点数转换为整数

Casting float to int with wrap-around on aarch64/arm64

c++

clang

arm64

floating-point-conversion