[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