[llvm] [VPlan] Relax type of DerivedIV start value (NFC) (PR #206464)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Sat Jul 4 13:53:34 PDT 2026


================
@@ -329,6 +329,13 @@ bool VPlanVerifier::verifyVPBasicBlock(const VPBasicBlock *VPBB) {
         break;
       }
     }
+    if (const auto *DIV = dyn_cast<VPDerivedIVRecipe>(&R)) {
+      if (!DIV->getStartValue()->isDefinedOutsideLoopRegions()) {
+        errs() << "VPDerivedIVRecipe must have start value defined outside "
+                  "loop regions\n";
+        return false;
+      }
+    }
----------------
fhahn wrote:

could you also add a brief test to the existing verifier unit tests?

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


More information about the llvm-commits mailing list