哪种语言能让IEEE 754正确？

Question

我只是花了一周的时间来讨论这个主题,并没有发现任何符合IEEE 754规范的语言.

即使GCC也不尊重相关的C99部分(它忽略了FENV_ACCESS的编译指示,而且我被告知比我的工作示例纯粹是运气).

使用库函数尊重规范是不可能的(AFAIK),您需要语言支持,因为当您使用标志或舍入时,禁止一些常见的优化.

所以这是我真正的问题:那里有语言(来自C/C++或原始程序集的appart)可以访问舍入模式,异常标志和微积分吗？

Answer 1

AFAIK，即使是 FPU 硬件单元也不能完全实现完整的 IEEE-754 规范。因此，根据您的需要，您可能会运气不佳。也许这就是为什么没有一种语言能完全正确地表达它。