[all-commits] [llvm/llvm-project] 893cc9: [LibCallsShrinkWrap] Set IsFPConstrained is true f...

[Jim Lin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 893cc970076caf9bb05dd4cc0360b7cab013e6b9
      https://github.com/llvm/llvm-project/commit/893cc970076caf9bb05dd4cc0360b7cab013e6b9
  Author: Jim Lin <jim at andestech.com>
  Date:   2023-07-06 (Thu, 06 Jul 2023)

  Changed paths:
    M llvm/lib/Transforms/Utils/LibCallsShrinkWrap.cpp
    M llvm/test/Transforms/Util/libcalls-shrinkwrap-double.ll
    M llvm/test/Transforms/Util/libcalls-shrinkwrap-float.ll
    M llvm/test/Transforms/Util/libcalls-shrinkwrap-long-double.ll
    A llvm/test/Transforms/Util/libcalls-shrinkwrap-strictfp.ll

  Log Message:
  -----------
  [LibCallsShrinkWrap] Set IsFPConstrained is true for creating quiet floating comparision if function has strictfp attribute

Create a quiet floating-point comparision if function has strictfp attribute.
Avoid unexpected FP exception raised during libcall domain error checking.
It raises an FP exception only in case where an input is a signaling NaN.

Reviewed By: efriedma

Differential Revision: https://reviews.llvm.org/D152776