[PATCH] D152776: [LibCallsShrinkWrap] Set IsFPConstrained is true for creating quiet floating comparision

[Jim Lin via Phabricator via llvm-commits]

Jim added a comment.

The testcase look like

  volatile double d;
  d = __builtin_nan ("");
  feclearexcept (FE_ALL_EXCEPT);
  acos(d)
  if (fetestexcept (FE_ALL_EXCEPT))  // expect no fp exception raised
    abort();

acos(d) emits extra two floating comparision that raise fp exception when a input is quiet NaN.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D152776/new/

https://reviews.llvm.org/D152776