為什么 C++ 中的 fetestexcept 編譯為 function 調用而不是內聯

Question

我正在評估性能關鍵/“熱”代碼中浮點異常的使用（清除和查詢）。 查看生成的二進制文件，我注意到 GCC 和 Clang 都沒有將調用擴展為我期望的內聯指令序列； 相反，它們似乎生成了對運行時庫的調用。 這對我的應用程序來說非常昂貴。

考慮以下最小示例：

#include <fenv.h>
#pragma STDC FENV_ACCESS on

inline int fetestexcept_inline(int e)
{
  unsigned int mxcsr;
  asm volatile ("vstmxcsr" " %0" : "=m" (*&mxcsr));
  return mxcsr & e & FE_ALL_EXCEPT;
}

double f1(double a)
{
    double r = a * a;
    if(r == 0 || fetestexcept_inline(FE_OVERFLOW)) return -1;
    else return r;
}

double f2(double a)
{
    double r = a * a;
    if(r == 0 || fetestexcept(FE_OVERFLOW)) return -1;
    else return r;
}

以及由 GCC 生產的 output： https://godbolt.org/z/jxjzYY

編譯器似乎知道他可以將依賴於 CPU 系列的 AVX 指令用於目標（它使用“vmulsd”進行乘法運算）。 但是，無論我嘗試哪種優化標志，它總是會產生對 glibc 的更昂貴的 function 調用，而不是（據我所知）應該執行相應 glibc function 所做的程序集。

這不是投訴，我可以添加內聯程序集。 我只是想知道是否可能存在我忽略的細微差異，這可能是 inline-assembly-version 中的錯誤。

Answer 1

它需要支持long double算術。 fetestexcept需要合並 SSE 和 FPU 狀態，因為long double操作只更新 FPU state，而不更新 MXSCR 寄存器。 因此，內聯的好處有所減少。