[llvm-branch-commits] [llvm] [ConstantFolding] Non-constrained functions in strictfp (PR #190478)

[Serge Pavlov via llvm-branch-commits]

================
@@ -3960,6 +3994,9 @@ static Constant *ConstantFoldScalarCall3(StringRef Name,
         }
         case Intrinsic::fma:
         case Intrinsic::fmuladd: {
+          if (isCalledFromStrictFPFunction(Call).value_or(true) &&
+              (C1.isSignaling() || C2.isSignaling() || C3.isSignaling()))
+            return nullptr;
----------------
spavloff wrote:

Yes, you are right, this intrinsic requires the same guard as the one-operand intrinsics. The treatment of `pow` has been fixed similarly.

https://github.com/llvm/llvm-project/pull/190478