在 aarch64/arm64 上通过环绕将 float 转换为 int

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进行转换，这包含了答案，尽管文档对此相当不清楚。Aarch64 使用的是饱和的fcvtzu。

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

Answer 1

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

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