assert negative stride

Mel-Chen · Mel-Chen · commit ef6b46a55b95 · 2025-06-30T23:23:31.000-07:00
diff --git a/llvm/lib/Transforms/Vectorize/VPlan.h b/llvm/lib/Transforms/Vectorize/VPlan.h
@@ -1720,7 +1720,7 @@ class VPVectorEndPointerRecipe : public VPRecipeWithIRFlags,
       : VPRecipeWithIRFlags(VPDef::VPVectorEndPointerSC,
                             ArrayRef<VPValue *>({Ptr, VF}), GEPFlags, DL),
         IndexedTy(IndexedTy), Stride(Stride) {
-    assert(Stride != 0 && "Stride cannot be zero");
+    assert(Stride < 0 && "Stride must be negative");
   }
 
   VP_CLASSOF_IMPL(VPDef::VPVectorEndPointerSC)

Original file line number	Diff line number	Diff line change
`@@ -1720,7 +1720,7 @@ class VPVectorEndPointerRecipe : public VPRecipeWithIRFlags,`
`1720`	`1720`	`: VPRecipeWithIRFlags(VPDef::VPVectorEndPointerSC,`
`1721`	`1721`	`ArrayRef<VPValue *>({Ptr, VF}), GEPFlags, DL),`
`1722`	`1722`	`IndexedTy(IndexedTy), Stride(Stride) {`
`1723`		`- assert(Stride != 0 && "Stride cannot be zero");`
	`1723`	`+ assert(Stride < 0 && "Stride must be negative");`
`1724`	`1724`	`}`
`1725`	`1725`
`1726`	`1726`	`VP_CLASSOF_IMPL(VPDef::VPVectorEndPointerSC)`