c++ - 80 位 float 和次正规数

Question

我正在尝试将一个 80 位扩展精度 float (在缓冲区中)转换为 double 。 缓冲区基本上包含 x87 寄存器的内容。

This question帮助我开始，因为我对 IEEE 标准不是很熟悉。 无论如何，我正在努力寻找有关 80 位格式的次正规(或非正规化)数字的有用信息。 我所知道的是，与 float32 或 float64 不同，它在尾数中没有隐藏位(没有隐含的 1.0 加法)，因此了解数字是否被归一化的一种方法是检查尾数中的最高位是否已设置.这给我留下了以下问题:

根据维基百科告诉我的内容，float32 和 float64 表示一个次正规数，其(有偏)指数为 0 且尾数非零。

• 80 位 float 告诉我什么？
• 尾数 < 1.0 的 80 位 float 甚至可以有非零指数吗？
• 或者，指数为 0 的 80 位 float 甚至可以有尾数 >= 1.0 吗？

编辑:我想这个问题可以归结为:

我能否期望 FPU 清理 x87 寄存器中的指数和最高尾数位？

如果不是，转换结果应该是什么类型的数字？在那种情况下我应该完全忽略指数吗？还是 qNaN？

编辑:

我阅读了英特尔手册(英特尔® 64 和 IA-32 架构软件开发人员手册，第 1 卷:基本架构)中的 FPU 部分，这并没有我担心的那么可怕。事实证明，未定义以下值:

• 指数 == 0 + 设置最高位的尾数
• 指数 != 0 + 没有设置最高位的尾数

它没有提到这些值是否可以在野外出现，也没有提到它们是否在内部转换。 所以我实际上清除了 Ollydbg 并手动设置了 x87 寄存器中的位。 我制作了 ST(0) 以包含指数中设置的所有位和尾数 0。然后我让它执行

FSTP QWORD [ESP]
FLD QWORD [ESP]

[ESP] 中存储的值已转换为信号 NaN。 在 FLD 之后，ST(0) 包含一个安静的 NaN。

我想这回答了我的问题。我接受了 J-16 SDiZ 的解决方案，因为它是最直接的解决方案(尽管它没有明确解释一些更精细的细节)。

无论如何，案子已经解决了。谢谢大家。

Answer 1

尝试 SoftFloat库，它有 floatx80_to_float32、floatx80_to_float64 和 floatx80_to_float128。检测 native 格式，并采取相应措施。