[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