无需启用-ffast-math，哪个优化标志可将libm函数视为纯函数？

下面提供几种无需开启全量-ffast-math优化的方案：

1. 手动标记数学函数为纯函数 #

通过__attribute__((pure))属性向编译器声明log、cos这类函数是纯函数——即输入相同则输出固定，且无任何副作用（比如修改全局变量、设置errno等）。修改代码示例如下：

#include <cmath>

// 重新声明log为纯函数，覆盖默认的函数属性
extern "C" double log(double) __attribute__((pure));

double log_demo(double x, int n) {
   double rv = 0.0l;
   for (int i = 0; i < n; i++) {
       rv += log(x);
   }
   return rv;
}

这种方式仅针对指定函数生效，不会影响其他浮点计算的标准行为。

2. 使用精细化的编译器优化选项 #

GCC、Clang等编译器提供了比-ffast-math更细粒度的开关，仅启用支持纯函数优化的必要选项，同时保留标准浮点语义：

• 编译时添加-fno-math-errno -fno-trapping-math
  • -fno-math-errno：告诉编译器数学函数不会设置errno（消除了函数的潜在副作用）
  • -fno-trapping-math：告知编译器数学函数不会触发浮点陷阱（比如除以零、NaN产生等）

这两个选项组合后，编译器会将循环内的log(x)视为不变量移出循环，且不会像-ffast-math那样允许精度损失、修改NaN/INF的处理逻辑。

3. 手动提取循环不变量 #

最直接且可控的方式是手动将log(x)移到循环外部，完全不依赖编译器的优化判断：

#include <cmath>

double log_demo(double x, int n) {
   if (n <= 0) return 0.0;
   const double log_x = log(x);
   double rv = 0.0l;
   for (int i = 0; i < n; i++) {
       rv += log_x;
   }
   return rv;
}

这种写法不仅能保证优化效果，还让代码逻辑更清晰，可读性更强。

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