[llvm] [VPlan] Model branch cond to enter scalar epilogue in VPlan. (PR #92651)

[Florian Hahn via llvm-commits]

================
@@ -7459,6 +7415,21 @@ LoopVectorizationPlanner::executePlan(
   std::tie(State.CFG.PrevBB, CanonicalIVStartValue) =
       ILV.createVectorizedLoopSkeleton(ExpandedSCEVs ? *ExpandedSCEVs
                                                      : State.ExpandedSCEVs);
+#ifdef EXPENSIVE_CHECKS
+  assert(DT->verify(DominatorTree::VerificationLevel::Fast));
+#endif
----------------
fhahn wrote:

I think we would have to move it to all implementations of `createVectorizedLoopSkeleton`. Left here for now, as this keeps it at a single place and makes sure it is called fro all all different ILV specializations.

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