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

[Florian Hahn 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.
----------------
fhahn wrote:

Yep.

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