是否有任何硬件可以将超出范围的浮点转换为非零/最小/最大整数？-解网

问：

在使用 Berkeley TestFloat 时，我注意到浮点到整数转换的测试是通过检查（特别是）特定的结果值来完成的：

// file: test_a_f32_z_i32_rx.c
// function: test_a_f32_z_i32_rx
        ...
        if ( (trueZ != subjZ) || (trueFlags != subjFlags) ) {
            if (
                   verCases_checkInvInts
                || (trueFlags != softfloat_flag_invalid)
                || (subjFlags != softfloat_flag_invalid)
                || ((subjZ != 0x7FFFFFFF) && (subjZ != -0x7FFFFFFF - 1)
                        && (! f32_isNaN( genCases_f32_a ) || (subjZ != 0)))
            ) {
                ++verCases_errorCount;

在这里，我们看到具体的结果值：、（最大有符号整数）、（最小有符号整数）。00x7FFFFFFF-0x7FFFFFFF - 1

但是，根据 C11（和更高）标准，将超出范围的浮点数转换为整数会导致 UB。由于通常会导致硬件指令的生成（例如对于x86_64），我想知道：是否有任何硬件可以将超出范围的浮点转换为非零/最小/最大整数？(int)fcvttss2si

额外：为什么将“超出范围的整数转换为整数”会导致 IB，但将“超出范围的浮点数转换为整数”会导致 UB？

浮点类型转换硬件

好的。 1）回复：“非 IEEE 硬件陷阱”：IEEE 754 具有所谓的“替代异常处理”，据我所知，允许捕获：“注 2 — 异常的即时替代异常处理可以通过陷阱实现”。2）仅供参考：如果这样的陷阱会返回（例如），那么Berkeley TestFloat将报告误报。-6

答：

0赞 prabu naresh 8/28/2023 #1

从 C11 开始，C 标准将超出范围的浮点值转换为整数视为未定义行为（UB）。这意味着编译器不受特定行为的约束，旨在防止跨平台问题。虽然某些硬件可能会单独处理此类转换，但这并不标准化或常见。Berkeley TestFloat 框架使用特定值进行测试，测试是否符合标准，但这些值可能无法反映所有硬件行为。优先考虑可移植性，遵循 C 标准的规则，避免对硬件行为的假设。显式处理超出范围的情况或使用库函数（如 isfinite）来确保在转换之前定义明确的行为。

1赞 2 revschux - Reinstate Monica #2

是否有任何硬件可以将超出范围的浮点转换为非零/最小/最大整数？

关于超出范围的内容的说明。

C 将浮点到整数的转换指定为截断浮点值的转换。

对于转换为 32 位整数，有效范围略大于 [-2,147,483,648.0 ...2,147,483,647.0]。它是（-2,147,483,649.0 ...2,147,483,648.0）。请注意 versus .()[]

转换前测试的示例代码。它利用的优势始终是 - 2 的幂（C23），这是一个梅森数。floatINT_MININT_MAX

#define FLT_INT_MIN INT_MIN
#define FLT_INT_MAX_PLUS1 ((INT_MAX/2 + 1)*2.0f)

bool float_to_int_range_test(float f) {
  return isgreater(f - FLT_INT_MIN, -1) && 
      isless(f, FLT_INT_MAX_PLUS1);
}

是否有任何硬件可以将超出范围的浮点转换为非零/最小/最大整数？

Is there any hardware which converts out of range floating-point to non-zero/min/max integer?

评论

评论