[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