[llvm] InstCombine: Teach SimplifyDemandedFPClass to infer nnan and ninf on fmul (PR #175854)

[Yingwei Zheng via llvm-commits]

================
@@ -2329,7 +2329,18 @@ Value *InstCombinerImpl::SimplifyDemandedUseFPClass(Instruction *I,
     Known = KnownFPClass::fmul(KnownLHS, KnownRHS, Mode);
 
     FPClassTest ValidResults = DemandedMask & Known.KnownFPClasses;
-    return getFPClassConstant(VTy, ValidResults, /*IsCanonicalizing=*/true);
+    if (Constant *SingleVal =
+            getFPClassConstant(VTy, ValidResults, /*IsCanonicalizing=*/true))
+      return SingleVal;
+
+    FastMathFlags InferredFMF =
+        inferFastMathValueFlagsBinOp(FMF, ValidResults, KnownLHS, KnownRHS);
----------------
dtcxzyw wrote:

You are right.

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