[llvm] [DAG] getNode - assert that INSERT_VECTOR_ELT operand types are legal (PR #143502)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 10 17:04:46 PDT 2025


================
@@ -7896,7 +7896,18 @@ SDValue SelectionDAG::getNode(unsigned Opcode, const SDLoc &DL, EVT VT,
     break;
   }
   case ISD::INSERT_VECTOR_ELT: {
-    ConstantSDNode *N3C = dyn_cast<ConstantSDNode>(N3);
+    assert(VT.isVector() && VT == N1.getValueType() &&
+           "INSERT_VECTOR_ELT vector type mismatch");
+    assert(VT.isFloatingPoint() == N2.getValueType().isFloatingPoint() &&
+           "INSERT_VECTOR_ELT scalar fp/int mismatch");
----------------
arsenm wrote:

Mismatched FP element types should also be illegal 

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


More information about the llvm-commits mailing list