[llvm] DAG: Use poison for some vector element folds (PR #225406)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 22 07:12:50 PDT 2026
https://github.com/arsenm created https://github.com/llvm/llvm-project/pull/225406
None
>From 144bdf8893b033c7108a3e50cf35e0d6dd9f01fa Mon Sep 17 00:00:00 2001
From: Matt Arsenault <Matthew.Arsenault at amd.com>
Date: Wed, 1 Jul 2026 13:42:07 +0200
Subject: [PATCH] DAG: Use poison for some vector element folds
---
llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
index 17e2ab01bc11fb..0d51219ccdd002 100644
--- a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
+++ b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
@@ -25904,7 +25904,10 @@ SDValue DAGCombiner::visitEXTRACT_VECTOR_ELT(SDNode *N) {
SDValue Index = N->getOperand(1);
EVT ScalarVT = N->getValueType(0);
EVT VecVT = VecOp.getValueType();
- if (VecOp.isUndef())
+ if (VecOp.getOpcode() == ISD::POISON)
+ return DAG.getPOISON(ScalarVT);
+
+ if (VecOp.getOpcode() == ISD::UNDEF)
return DAG.getUNDEF(ScalarVT);
// extract_vector_elt (insert_vector_elt vec, val, idx), idx) -> val
@@ -26053,9 +26056,9 @@ SDValue DAGCombiner::visitEXTRACT_VECTOR_ELT(SDNode *N) {
// Find the new index to extract from.
int OrigElt = Shuf->getMaskElt(IndexC->getZExtValue());
- // Extracting an undef index is undef.
+ // Extracting an undef index is poison.
if (OrigElt == -1)
- return DAG.getUNDEF(ScalarVT);
+ return DAG.getPOISON(ScalarVT);
// Select the right vector half to extract from.
SDValue SVInVec;
@@ -26252,7 +26255,7 @@ SDValue DAGCombiner::visitEXTRACT_VECTOR_ELT(SDNode *N) {
// If Idx was -1 above, Elt is going to be -1, so just return undef.
if (Elt == -1)
- return DAG.getUNDEF(LVT);
+ return DAG.getPOISON(LVT);
if (SDValue Scalarized =
TLI.scalarizeExtractedVectorLoad(LVT, DL, VecVT, Index, LN0, DAG)) {
More information about the llvm-commits
mailing list