[llvm] [VPlan] Assert vplan-verify-each result and get verifier passing (PR #182254)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 19 07:59:48 PST 2026


================
@@ -72,8 +72,10 @@ struct VPlanTransforms {
           dbgs() << Plan << '\n';
       }
 #endif
-      if (VerifyEachVPlan && EnableVerify)
-        verifyVPlanIsValid(Plan);
+      if (VerifyEachVPlan && EnableVerify) {
+        [[maybe_unused]] bool IsValid = verifyVPlanIsValid(Plan);
+        assert(IsValid && "VPlan is invalid");
----------------
fhahn wrote:

I think the verifier also works in release builds, can we just always exit on failure?

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


More information about the llvm-commits mailing list