[llvm] [VPlan] Support live-ins without underlying IR in type analysis. (PR #80723)

[via llvm-commits]

================
@@ -35,12 +35,7 @@ Type *VPTypeAnalysis::inferScalarTypeForRecipe(const VPInstruction *R) {
     CachedTypes[OtherV] = ResTy;
     return ResTy;
   }
-  case Instruction::ICmp: {
-    // TODO: Check if types for both operands agree. This also requires
-    // type-inference for the vector-trip-count, which is missing at the moment.
----------------
ayalz wrote:

nit: should have probably referred to `backedge-taken-count`, used by an ICmp to form the header mask, rather than `vector-trip-count`.

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