什么样的gcc优化可以根据是否打印而改变double?[副本]

我正在调试实现算法的代码,该算法的主循环在语句la时终止 s >= u || s <= l 是真的,在哪里 s ,请 u 和 l 是 double 在主循环中更新的。在这个例子中,所有三个变量总是介于 0.5 和 1.5 .我不包括这里的代码,因为它不是我写的,提取一个MWE很困难。我对代码在不同的体系结构上表现的不同感到困惑,我希望下面的线索可以帮助我缩小算法中的错误。

一些浮点舍入似乎是错误的根本原因。以下是迄今为止我所确定的:

• 该算法在x86-64的所有优化级别上都正确终止。
• 算法在arm64、mips64和ppc64上以-o3(未尝试其他opt级别)正确终止。
• 算法在I686上以-O0正确终止。
• 算法 无限循环 i686上有-o1、-o2和-o3。
• 主要问题: 在算法无限循环的情况下,如果 S 已打印( std::cout << s << std::endl )在它与 我 和 u .

什么样的编译器优化在这里是相关的?

在GNU/Linux系统上观察到上述所有行为,并使用GCC 6.4、7.3和8.1进行复制。