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

[via llvm-commits]

================
@@ -2702,8 +2703,17 @@ void InnerLoopVectorizer::scalarizeInstruction(const Instruction *Instr,
   bool IsVoidRetTy = Instr->getType()->isVoidTy();
 
   Instruction *Cloned = Instr->clone();
-  if (!IsVoidRetTy)
+  if (!IsVoidRetTy) {
     Cloned->setName(Instr->getName() + ".cloned");
+#if !defined(NDEBUG)
+    // Verify that VPlan type inference results agree with the type of the
----------------
ayalz wrote:

Check should appear in execute, of every recipe (fine to add others later), but easier for replicate recipe to have it here, once?

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