[llvm-branch-commits] [llvm] InstCombine: Implement SimplifyDemandedFPClass for sqrt (PR #173883)

[Yingwei Zheng via llvm-branch-commits]

================
@@ -2244,6 +2244,37 @@ Value *InstCombinerImpl::SimplifyDemandedUseFPClass(Value *V,
       FPClassTest ValidResults = DemandedMask & Known.KnownFPClasses;
       return getFPClassConstant(VTy, ValidResults, /*IsCanonicalizing=*/true);
     }
+    case Intrinsic::sqrt: {
+      FPClassTest DemandedSrcMask =
+          DemandedMask & (fcNegZero | fcPositive | fcNan);
----------------
dtcxzyw wrote:

`sqrt(max_subnormal)` is a normal value: https://godbolt.org/z/fdf3W8vcb

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