[llvm] [ValueTracking][NFC]: Use injected condition to compute known FPClass (PR #139832)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri May 30 13:22:35 PDT 2025


================
@@ -5014,6 +5014,10 @@ static KnownFPClass computeKnownFPClassFromContext(const Value *V,
                                                    const SimplifyQuery &Q) {
   KnownFPClass KnownFromContext;
 
+  if (Q.CC && Q.CC->AffectedValues.contains(V))
+    computeKnownFPClassFromCond(V, Q.CC->Cond, 0, Q.CC->Invert, Q.CxtI,
----------------
nikic wrote:

```suggestion
    computeKnownFPClassFromCond(V, Q.CC->Cond, 0, !Q.CC->Invert, Q.CxtI,
```
This accepts CondIsTrue, so we should pass true for Invert=false.

https://github.com/llvm/llvm-project/pull/139832


More information about the llvm-commits mailing list