[llvm] [VPlan] Verify scalar types in VPlanVerifier. NFCI (PR #122679)

[Florian Hahn via llvm-commits]

================
@@ -71,15 +74,17 @@ Type *VPTypeAnalysis::inferScalarTypeForRecipe(const VPInstruction *R) {
   case VPInstruction::FirstOrderRecurrenceSplice:
   case VPInstruction::Not:
   case VPInstruction::ResumePhi:
+  case VPInstruction::CalculateTripCountMinusVF:
+  case VPInstruction::CanonicalIVIncrementForPart:
+  case VPInstruction::AnyOf:
+  case VPInstruction::LogicalAnd:
----------------
fhahn wrote:

Are there any uses that use LogicalAnd for non-bools? I think the intention is to be only used with bools (LogicalAnd is a poison-safe version of regular bitwise AND for bools). I think that matches the meaning of `LogicalAnd` in other parts of LLVM (but different to general AND)

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