================
@@ -5362,6 +5362,22 @@ void computeKnownFPClass(const Value *V, const APInt
&DemandedElts,
Known.signBitMustBeZero();
}
+ if (KnownSrc.cannotBeOrderedLessThanZero()) {
+ // If the source is positive, and cannot be ~0, this cannot underflow.
+ Known.knownNot(fcPosZero);
+
+ // Cannot introduce new denormal values.
+ if (KnownSrc.isKnownNever(fcPosSubnormal))
+ Known.knownNot(fcPosSubnormal);
+ }
+
+ if (KnownSrc.cannotBeOrderedGreaterThanZero()) {
+ // If the source is negative, and cannot be infinity, this cannot
+ // overflow to infinity.
+ if (KnownSrc.isKnownNeverPosInfinity())
----------------
dtcxzyw wrote:
It is implied by the check above.
https://github.com/llvm/llvm-project/pull/173430
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
