[llvm] [LV, VP]VP intrinsics support for the Loop Vectorizer + adding new tail-folding mode using EVL. (PR #76172)

[Florian Hahn via llvm-commits]

================
@@ -92,7 +92,47 @@ static bool verifyVPBasicBlock(const VPBasicBlock *VPBB,
   for (const VPRecipeBase &R : *VPBB)
     RecipeNumbering[&R] = Cnt++;
 
+  // Set of recipe types along with VPInstruction Opcodes of all EVL-related
+  // recipes that must appear at most once in Entry or Exiting blocks.
+  DenseSet<unsigned> EVLFound;
+  const VPlan *Plan = VPBB->getPlan();
+  bool IsHeader = Plan && Plan->getEntry()->getNumSuccessors() == 1 &&
----------------
fhahn wrote:

Ah I thought all of those tests have been fixed already. Looks like the remaining issue was that the CFG properties aren't verified before checking the contents which should be fixed in cedb9704bda4f4f96

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