diff options
| author | Florian Hahn <flo@fhahn.com> | 2024-03-01 19:43:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-01 19:43:06 +0000 |
| commit | 6fe60bd89fc72398795de6ee2a6120b8af44a977 (patch) | |
| tree | b08a249e880f11c72ee92deef0b4f9e00991eb7f | |
| parent | 09ffd3390852b046369405cf29b3a7ae424bfaa5 (diff) | |
[SLP] Exit early if MaxVF < MinVF (NFCI). (#83283)
Exit early if MaxVF < MinVF. In that case, the loop body below will
never get entered. Note that this adjusts the condition from MaxVF <=
MinVF. If MaxVF == MinVF, vectorization may still be feasible (and the
loop below gets entered).
PR: https://github.com/llvm/llvm-project/pull/83283
| -rw-r--r-- | llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp b/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp index 47681342239e..5e487a6b8a5d 100644 --- a/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp +++ b/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp @@ -14019,10 +14019,11 @@ bool SLPVectorizerPass::vectorizeStores(ArrayRef<StoreInst *> Stores, unsigned MinVF = TTI->getStoreMinimumVF( R.getMinVF(DL->getTypeSizeInBits(ValueTy)), StoreTy, ValueTy); - if (MaxVF <= MinVF) { + if (MaxVF < MinVF) { LLVM_DEBUG(dbgs() << "SLP: Vectorization infeasible as MaxVF (" << MaxVF - << ") <= " + << ") < " << "MinVF (" << MinVF << ")\n"); + continue; } // FIXME: Is division-by-2 the correct step? Should we assert that the |