[llvm] [SDAG] Handle insert_subvector in isKnownNeverNaN (PR #131989)
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Sat Apr 19 05:00:14 PDT 2025
================
@@ -5727,6 +5730,9 @@ bool SelectionDAG::isKnownNeverNaN(SDValue Op, bool SNaN, unsigned Depth) const
case ISD::EXTRACT_SUBVECTOR: {
return isKnownNeverNaN(Op.getOperand(0), SNaN, Depth + 1);
}
+ case ISD::INSERT_SUBVECTOR:
+ return isKnownNeverNaN(Op.getOperand(0), SNaN, Depth + 1) &&
+ isKnownNeverNaN(Op.getOperand(1), SNaN, Depth + 1);
----------------
RKSimon wrote:
@tclin914 You should now be to use adjusted DemandedElts for the base and subvector operands to correctly peek through any ISD::INSERT_SUBVECTOR pattern.
https://github.com/llvm/llvm-project/pull/131989
More information about the llvm-commits
mailing list