[llvm] [VPlan] Verify scalar types in VPlanVerifier. NFCI (PR #122679)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Jan 13 10:51:14 PST 2025
================
@@ -60,7 +60,10 @@ Type *VPTypeAnalysis::inferScalarTypeForRecipe(const VPInstruction *R) {
}
case Instruction::ICmp:
case VPInstruction::ActiveLaneMask:
- return inferScalarType(R->getOperand(1));
+ assert(inferScalarType(R->getOperand(0)) ==
+ inferScalarType(R->getOperand(1)) &&
+ "different types inferred for different operands");
+ return IntegerType::get(Ctx, 1);
----------------
fhahn wrote:
Is this caught by the verifier?
https://github.com/llvm/llvm-project/pull/122679
More information about the llvm-commits
mailing list