[llvm] [InstCombine] Extend fcmp+select folding to minnum/maxnum intrinsics (PR #112088)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 14 08:59:36 PDT 2024


================
@@ -3834,11 +3834,13 @@ Instruction *InstCombinerImpl::visitSelectInst(SelectInst &SI) {
     // minnum/maxnum intrinsics.
     if (SIFPOp->hasNoNaNs() && SIFPOp->hasNoSignedZeros()) {
       Value *X, *Y;
-      if (match(&SI, m_OrdFMax(m_Value(X), m_Value(Y))))
+      if (match(&SI, m_OrdFMax(m_Value(X), m_Value(Y))) ||
+          match(&SI, m_UnordFMax(m_Value(X), m_Value(Y))))
----------------
arsenm wrote:

It's not that bad, can do in a follow up if it's worth it. I haven't looked at the other users of these, maybe they are missing this case too? 

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


More information about the llvm-commits mailing list