[llvm] [VPlan] Verify dominance for incoming values of phi-like recipes. (PR #124838)

[Florian Hahn via llvm-commits]

================
@@ -175,6 +175,12 @@ bool VPlanVerifier::verifyEVLRecipe(const VPInstruction &EVL) const {
   });
 }
 
+/// Return true if \p R is a VPIRInstruction wrapping a phi.
+static bool isVPIRInstructionPhi(const VPRecipeBase &R) {
+  auto *VPIRI = dyn_cast<VPIRInstruction>(&R);
+  return VPIRI && isa<PHINode>(VPIRI->getInstruction());
+}
+
 bool VPlanVerifier::verifyVPBasicBlock(const VPBasicBlock *VPBB) {
   if (!verifyPhiRecipes(VPBB))
----------------
fhahn wrote:

I am not sure how we could move the new code to `verifyPhiRecipes`, as here we verify def before use property looking at the  uses of a defined VPValue and when looking at the uses  we need to handle phi-like recipes. 

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