[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