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

[via llvm-commits]

Author: Hassnaa Hamdi
Date: 2025-06-02T11:59:43+01:00
New Revision: 67c67cd05370447c9b0eb9d4d99645d92e957578

URL: https://github.com/llvm/llvm-project/commit/67c67cd05370447c9b0eb9d4d99645d92e957578
DIFF: https://github.com/llvm/llvm-project/commit/67c67cd05370447c9b0eb9d4d99645d92e957578.diff

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

Added: 
    

Modified: 
    llvm/lib/Analysis/ValueTracking.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 7f30cd73d57c9..5445b00861dc6 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -4594,6 +4594,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,
+                                KnownFromContext);
+
   if (!Q.CxtI)
     return KnownFromContext;