[llvm] ace356b - [VPlan] Always verify VPCanonicalIVPHIRecipe placement (NFC).

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2025-06-11T20:45:48+01:00
New Revision: ace356bc9777e6a5b5aa0ba2335d2546ac6f330e

URL: https://github.com/llvm/llvm-project/commit/ace356bc9777e6a5b5aa0ba2335d2546ac6f330e
DIFF: https://github.com/llvm/llvm-project/commit/ace356bc9777e6a5b5aa0ba2335d2546ac6f330e.diff

LOG: [VPlan] Always verify VPCanonicalIVPHIRecipe placement (NFC).

Loop regions are dissolved since dcef154b5caf6556e69bb1, remove the
check for VerifyLate and corresponding TODO.

Added: 
    

Modified: 
    llvm/lib/Transforms/Vectorize/VPlanVerifier.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Vectorize/VPlanVerifier.cpp b/llvm/lib/Transforms/Vectorize/VPlanVerifier.cpp
index 45010d0021581..fba4a68f4a27b 100644
--- a/llvm/lib/Transforms/Vectorize/VPlanVerifier.cpp
+++ b/llvm/lib/Transforms/Vectorize/VPlanVerifier.cpp
@@ -429,8 +429,7 @@ bool VPlanVerifier::verify(const VPlan &Plan) {
     return false;
   }
 
-  // TODO: Remove once loop regions are dissolved before execution.
-  if (!VerifyLate && !isa<VPCanonicalIVPHIRecipe>(&*Entry->begin())) {
+  if (!isa<VPCanonicalIVPHIRecipe>(&*Entry->begin())) {
     errs() << "VPlan vector loop header does not start with a "
               "VPCanonicalIVPHIRecipe\n";
     return false;