[llvm] [ValueTracking] Compute known FPClass from dominating condition (PR #80941)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 8 22:55:30 PST 2024


================
@@ -69,6 +69,13 @@ static void findAffectedValues(Value *Cond,
       }
     }
   }
+  // Handle patterns that computeKnownFPClass() support.
+  FCmpInst::Predicate Pred;
+  Value *A;
+  if (match(Cond, m_FCmp(Pred, m_Value(A), m_Constant())))
+    AddAffected(A);
+  if (match(Cond, m_Intrinsic<Intrinsic::is_fpclass>(m_Value(A), m_Constant())))
----------------
arsenm wrote:

This can be else if 

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


More information about the llvm-commits mailing list