新一代Intel编译器ICX快速浮点模式下无穷大判断异常求助

我正尝试从Intel OneAPI工具包中的经典ICC编译器切换至新一代DPC/C++编译器ICX，却发现浮点运算默认行为存在差异：在快速浮点模式（-fp-model=fast）下，对无穷大值调用std::isinf的结果始终为false。相同编译参数下经典ICC无此问题，且ICX不仅运行结果不符合预期，还会触发编译警告。

最小复现示例 #

#include <iostream>
#include <cmath>

int main()
{
    double a = 1.0/0.0;
    if (std::isinf(a))
        std::cout << "is infinite";
    else
        std::cout << "is not infinite";
}

编译参数：-O3 -Wall -fp-model=fast

ICC 2021.5.0输出：is infinite（已测试多个旧版本）

ICX 2022.0.0/2022.0.1输出：is not infinite

要在ICX的-fp-model=fast模式下保留性能同时恢复对无穷大的正确判断，可以通过以下两种方式：

• 针对特定代码段放宽浮点优化
  使用编译器指令#pragma float_control(precise, on)包裹需要正确处理无穷大/NaN的代码块，仅对该部分启用精确浮点行为，其余代码仍保持fast模式的性能：

  #include <iostream>
  #include <cmath>
  
  int main()
  {
      double a = 1.0/0.0;
      #pragma float_control(precise, on)
      {
          if (std::isinf(a))
              std::cout << "is infinite";
          else
              std::cout << "is not infinite";
      }
      #pragma float_control(precise, off)
  }
  

• 调整ICX的浮点模型子参数
  ICX的-fp-model=fast默认包含-ffast-math相关优化，其中会启用可能影响无穷大判断的选项。可以通过显式指定组合参数，保留快速优化的同时启用对浮点异常的正确处理：

  icx -O3 -Wall -fp-model=fast -fp-model=except your_code.cpp
  

  这个组合会在保持fast模式大部分性能优化的前提下，保留对无穷大、NaN等特殊浮点值的正确语义。

ICX对-fp-model=fast的实现相比ICC更严格遵循-ffast-math的优化规则，默认会假设程序中不会出现无穷大或NaN值，因此编译器会优化掉std::isinf的判断逻辑，导致结果不符合预期。而ICC的fast模式在这方面的优化更为宽松，仍然保留了对特殊浮点值的处理能力。

内容的提问来源于stack exchange，提问作者Yattabyte