[llvm] [VPlan] Add initial anlysis to infer scalar type of VPValues. (PR #69013)

[Florian Hahn via llvm-commits]

================
@@ -738,7 +739,18 @@ void VPWidenRecipe::execute(VPTransformState &State) {
                       << Instruction::getOpcodeName(Opcode));
     llvm_unreachable("Unhandled instruction!");
   } // end of switch.
+
+#if !defined(NDEBUG)
+  // Verify that VPlan type inference results agree with the type of the
+  // generated values.
+  VPTypeAnalysis A(State.Builder.GetInsertBlock()->getContext());
+  for (unsigned Part = 0; Part < State.UF; ++Part) {
+    assert(VectorType::get(A.inferScalarType(getVPSingleValue()), State.VF) ==
+           State.get(this, Part)->getType());
----------------
fhahn wrote:

Added, thanks!

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