[llvm] [DAG] isKnownNeverNaN - add DemandedElts element mask to isKnownNeverNaN calls (PR #135952)

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Wed Apr 16 11:56:02 PDT 2025


================
@@ -5615,6 +5630,9 @@ bool SelectionDAG::isKnownNeverNaN(SDValue Op, bool SNaN, unsigned Depth) const
            (SNaN && !C->getValueAPF().isSignaling());
   }
 
+  if (!DemandedElts)
+    return false; // No demanded elts, better to assume we don't know anything.
----------------
RKSimon wrote:

We could, I've mainly matched what we've done in the past. IIRC it's helped in strange edge cases but ideally we'd catch these in the caller.

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


More information about the llvm-commits mailing list