[llvm] [ValueTracking] Merge `cannotBeOrderedLessThanZeroImpl` into `computeKnownFPClass` (PR #76360)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Tue Jan 30 23:20:24 PST 2024
================
@@ -332,6 +332,12 @@ struct KnownFPClass {
void knownNot(FPClassTest RuleOut) {
KnownFPClasses = KnownFPClasses & ~RuleOut;
+ if (isKnownNever(fcNan) && !SignBit) {
+ if (isKnownNever(OrderedLessThanZeroMask | fcNegZero))
+ SignBit = false;
+ else if (isKnownNever(OrderedGreaterThanZeroMask | fcPosZero))
----------------
arsenm wrote:
```suggestion
else if (isKnownNever(fcPositive))
```
https://github.com/llvm/llvm-project/pull/76360
More information about the llvm-commits
mailing list