[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