================
@@ -2519,6 +2519,73 @@ Value
*InstCombinerImpl::SimplifyDemandedUseFPClass(Instruction *I,
return getFPClassConstant(VTy, ValidResults, /*IsCanonicalizing=*/true);
}
+ case Intrinsic::trunc:
+ case Intrinsic::floor:
+ case Intrinsic::ceil:
+ case Intrinsic::rint:
+ case Intrinsic::nearbyint:
+ case Intrinsic::round:
+ case Intrinsic::roundeven: {
+ FPClassTest DemandedSrcMask = DemandedMask;
+
+ // Zero results imply valid subnormal sources.
+ if (DemandedMask & fcNegZero)
+ DemandedSrcMask |= fcNegSubnormal;
+
+ if (DemandedMask & fcPosZero)
+ DemandedSrcMask |= fcPosSubnormal;
+
+ KnownFPClass KnownSrc;
+ if (SimplifyDemandedFPClass(CI, 0, DemandedSrcMask, KnownSrc, Depth + 1))
+ return I;
+
+ // Note: Possibly dropping snan quiet.
+ if (KnownSrc.isKnownAlways(fcInf | fcNan | fcZero))
+ return CI->getArgOperand(0);
+
+ // Propagate nnan-ness to source to simplify source checks.
+ if ((DemandedMask & fcNan) == fcNone)
+ KnownSrc.knownNot(fcNan);
----------------
arsenm wrote:
Yes, this probably needs to be sunk into the base handling at some point. But
I'll leave that for one bulk refactor
https://github.com/llvm/llvm-project/pull/174842
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
