x86-64 长双精度

Question

Intel 64 位平台上 long double 的实际精度是多少？ 是80位填充到128还是实际的128位？

如果是前者，除了gmp之外，还有其他选择来实现真正的128精度吗？

Answer 1

x86-64 精度与常规 x86 相同。 Extended double 是 80 位，使用 x87 ISA，添加了 6 个填充字节。没有 128 位 FP 硬件。

不过，四精度或扩展四精度的软件实现可能会受益于 x86-64 64x64=>128 整数乘法指​​令。

Answer 2

我建议使用 MPFR。它是一个更复杂的多精度浮点库，构建在 GMP 之上。

Answer 3

很有可能两者都是 64 位（取决于编译器和操作系统），因为编译器发出标量 SSE2 而不是 x87 指令。

x86 不支持高于 80 位的精度，但如果您确实需要 64 位以上的 FP 算法，那么您很可能应该检查您的数字，而不是用暴力解决问题。

Answer 4

我推荐使用 MPFR 或 GMP 上的 Boost 包装器：

Boost 1.70：cpp_bin_float.

除了任意所需精度的任意类型外，还提供以下类型：

cpp_bin_float_single           (24 bits + mantissa = 32 bits)
cpp_bin_float_double           (53 bits + mantissa = 64 bits)
cpp_bin_float_double_extended  (64 bits + mantissa)
cpp_bin_float_quad             (113 bits + mantissa = 128 bits)
cpp_bin_float_oct              (237 bits) + mantissa = 256 bits)

Boost 提供几乎开箱即用的功能。编译后，所需要做的就是在 Visual Studio 项目中添加一个指向包含目录和库目录的指针。

使用 Visual Studio 2017 + Boost v1.70 进行测试。

请参阅编译 boost 的说明。