[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