[llvm] [LV] Support tail-folded epilogue loops (PR #208764)
David Sherwood via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 21 04:05:20 PDT 2026
================
@@ -5384,12 +5420,113 @@ void LoopVectorizationPlanner::plan(ElementCount UserVF, unsigned UserIC) {
CM->collectNonVectorizedAndSetWideningDecisions(VF);
}
- buildVPlans(*VPlan1, ElementCount::getFixed(1), MaxFactors.FixedVF);
- buildVPlans(*VPlan1, ElementCount::getScalable(1), MaxFactors.ScalableVF);
+ buildVPlans(*VPlan1, ElementCount::getFixed(1), MaxFactors.FixedVF, *CM);
+ buildVPlans(*VPlan1, ElementCount::getScalable(1), MaxFactors.ScalableVF,
+ *CM);
LLVM_DEBUG(printPlans(dbgs()));
}
+bool LoopVectorizationPlanner::planForEpilogueTF() {
+ EpilogueLowering EpilogueTailLoweringStatus =
+ getEpilogueTailLowering(*CM, OrigLoop, ORE, *Legal, Config.getHints());
+ if (EpilogueTailLoweringStatus !=
+ EpilogueLowering::CM_EpilogueNotNeededFoldTail)
+ return false;
+ LLVM_DEBUG(dbgs() << "LV: epilogue tail-folding is enabled\n");
+
+ bool UseInterleaved = TTI.enableInterleavedAccessVectorization();
+ if (EnableInterleavedMemAccesses.getNumOccurrences() > 0)
+ UseInterleaved = EnableInterleavedMemAccesses;
+
+ EpilogueTfIAI = std::make_unique<InterleavedAccessInfo>(
+ PSE, OrigLoop, DT, LI, Legal->getLAI(), Config.OptForSize);
+ if (UseInterleaved)
+ EpilogueTfIAI->analyzeInterleaving(useMaskedInterleavedAccesses(TTI));
+ LoopVectorizationCostModel EpilogueTfCM(
+ EpilogueTailLoweringStatus, OrigLoop, PSE, LI, Legal, TTI, TLI, CM->AC,
+ ORE, CM->GetBFI, CM->TheFunction, *EpilogueTfIAI, Config);
+
+ assert(EpilogueTfCM.preferTailFoldedLoop() &&
+ "Epilogue tail-folding is expected to be enabled");
+
+ LLVM_DEBUG(dbgs() << "LV: plan for tail-folded epilogue\n");
+
+ EpilogueTfCM.ValuesToIgnore.insert_range(CM->ValuesToIgnore);
+ EpilogueTfCM.VecValuesToIgnore.insert_range(CM->VecValuesToIgnore);
+
+ FixedScalableVFPair MaxFactors =
+ EpilogueTfCM.computeMaxVF(EpilogueVectorizationForceVF, /*UserIC*/ 1);
+ if (!MaxFactors || !EpilogueTfCM.foldTailByMasking()) {
+ // Cases that should not to be vectorized or tail-folded.
----------------
david-arm wrote:
nit: I think this should be `// Cases that should not be vectorized or tail-folded.`
https://github.com/llvm/llvm-project/pull/208764
More information about the llvm-commits
mailing list