assert negative stride

Mel-Chen · Mel-Chen · commit 67382a4a1d9a · 2025-07-02T00:11:23.000-07:00
diff --git a/llvm/lib/Transforms/Vectorize/VPlan.h b/llvm/lib/Transforms/Vectorize/VPlan.h
@@ -1718,7 +1718,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
`@@ -1718,7 +1718,7 @@ class VPVectorEndPointerRecipe : public VPRecipeWithIRFlags,`
`1718`	`1718`	`: VPRecipeWithIRFlags(VPDef::VPVectorEndPointerSC,`
`1719`	`1719`	`ArrayRef<VPValue *>({Ptr, VF}), GEPFlags, DL),`
`1720`	`1720`	`IndexedTy(IndexedTy), Stride(Stride) {`
`1721`		`- assert(Stride != 0 && "Stride cannot be zero");`
	`1721`	`+ assert(Stride < 0 && "Stride must be negative");`
`1722`	`1722`	`}`
`1723`	`1723`
`1724`	`1724`	`VP_CLASSOF_IMPL(VPDef::VPVectorEndPointerSC)`