有人知道valgrind的FPU仿真的当前状态是什么吗?搜索显示了10多年前的不准确问题,但没有真正明确这是否被认为是一个问题,或者永远都不会得到解决。
在我的例子中,对于所有舍入模式,我需要32位(是的,32位)浮点运算的结果完全符合IEEE-754中的定义。但是,valgrind稍微关闭了,我的程序在检测到错误时终止。在x86上,获得正确的32位IEEE FPU需要SSE操作,这使得工作变得很困难。
valgrind的一种选择是链接到外部IEEE仿真器中。
发布于 2016-04-16 15:03:13
x86浮点模拟仍然有局限性。例如,参见http://www.valgrind.org/docs/manual/manual-core.html#manual-core.limits和https://bugs.kde.org/show_bug.cgi?id=197915
https://stackoverflow.com/questions/36596974
复制相似问题