================
@@ -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.
----------------
dtcxzyw wrote:
What does `~0` mean?
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
