[llvm] [SelectionDAG] Implement SDTCisEltOfVec in verifyNode. (PR #228519)

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 2 09:53:02 PDT 2026


================
@@ -221,8 +221,21 @@ void SDNodeInfo::verifyNode(const SelectionDAG &DAG, const SDNode *N) const {
       break;
     case SDTCisOpSmallerThanOp:
       break;
-    case SDTCisEltOfVec:
+    case SDTCisEltOfVec: {
+      SDNodeValue VecVal = GetConstraintValue(C.ConstrainingValIdx);
+      EVT VecVT = VecVal.getValueType();
+
+      if (!VecVT.isVector()) {
+        SS << VecVal << " must have vector type, but has type " << VecVT;
+        reportNodeError(DAG, N, SS.str());
+      }
+      if (VT != VecVT.getVectorElementType()) {
----------------
RKSimon wrote:

VecVT.isVectorOf(VT) ?

https://github.com/llvm/llvm-project/pull/228519


More information about the llvm-commits mailing list