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

[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);
----------------
ayalz wrote:

independent: also worth checking that all VPIRInstructions appear in the same order as their underlying IR Instructions appear inside the BasicBlock that corresponds to their associated VPIRBasicBlock.

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