caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[DAG] canCreateUndefOrPoison - remove isGuaranteedNotToBeUndefOrPoison check for insert/extract vector element indices (#146514)

Browse Source 
No longer necessary now that #146490 has landed
This commit is contained in:
Simon Pilgrim
2025-07-01 14:01:54 +01:00
committed by GitHub
parent 524f090306
commit 72f87d2d69
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
View File

@@ -5640,12 +5640,8 @@ bool SelectionDAG::canCreateUndefOrPoison(SDValue Op, const APInt &DemandedElts,
// Ensure that the element index is in bounds.
EVT VecVT = Op.getOperand(0).getValueType();
SDValue Idx = Op.getOperand(Opcode == ISD::INSERT_VECTOR_ELT ? 2 : 1);
if (isGuaranteedNotToBeUndefOrPoison(Idx, DemandedElts, PoisonOnly,
Depth + 1)) {
KnownBits KnownIdx = computeKnownBits(Idx, Depth + 1);
return KnownIdx.getMaxValue().uge(VecVT.getVectorMinNumElements());
}
return true;
KnownBits KnownIdx = computeKnownBits(Idx, Depth + 1);
return KnownIdx.getMaxValue().uge(VecVT.getVectorMinNumElements());
}
case ISD::VECTOR_SHUFFLE: {