[llvm] c554fc9 - [LAA] Use m_scev_AffineAddRec in LAA (NFC).
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon May 26 12:00:01 PDT 2025
Author: Florian Hahn
Date: 2025-05-26T19:58:22+01:00
New Revision: c554fc9245e200b2e06509f4c44233974f6888f0
URL: https://github.com/llvm/llvm-project/commit/c554fc9245e200b2e06509f4c44233974f6888f0
DIFF: https://github.com/llvm/llvm-project/commit/c554fc9245e200b2e06509f4c44233974f6888f0.diff
LOG: [LAA] Use m_scev_AffineAddRec in LAA (NFC).
Added:
Modified:
llvm/lib/Analysis/LoopAccessAnalysis.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Analysis/LoopAccessAnalysis.cpp b/llvm/lib/Analysis/LoopAccessAnalysis.cpp
index 767f832711f9b..755a6ac317e8d 100644
--- a/llvm/lib/Analysis/LoopAccessAnalysis.cpp
+++ b/llvm/lib/Analysis/LoopAccessAnalysis.cpp
@@ -290,10 +290,16 @@ bool RuntimePointerChecking::tryToCreateDiffCheck(
if (AccSink[0] < AccSrc[0])
std::swap(Src, Sink);
- auto *SrcAR = dyn_cast<SCEVAddRecExpr>(Src->Expr);
- auto *SinkAR = dyn_cast<SCEVAddRecExpr>(Sink->Expr);
- if (!SrcAR || !SinkAR || SrcAR->getLoop() != DC.getInnermostLoop() ||
- SinkAR->getLoop() != DC.getInnermostLoop())
+ const SCEVConstant *Step;
+ const SCEV *SrcStart;
+ const SCEV *SinkStart;
+ const Loop *InnerLoop = DC.getInnermostLoop();
+ if (!match(Src->Expr,
+ m_scev_AffineAddRec(m_SCEV(SrcStart), m_SCEVConstant(Step),
+ m_SpecificLoop(InnerLoop))) ||
+ !match(Sink->Expr,
+ m_scev_AffineAddRec(m_SCEV(SinkStart), m_scev_Specific(Step),
+ m_SpecificLoop(InnerLoop))))
return false;
SmallVector<Instruction *, 4> SrcInsts =
@@ -305,17 +311,14 @@ bool RuntimePointerChecking::tryToCreateDiffCheck(
if (isa<ScalableVectorType>(SrcTy) || isa<ScalableVectorType>(DstTy))
return false;
- const DataLayout &DL =
- SinkAR->getLoop()->getHeader()->getDataLayout();
+ const DataLayout &DL = InnerLoop->getHeader()->getDataLayout();
unsigned AllocSize =
std::max(DL.getTypeAllocSize(SrcTy), DL.getTypeAllocSize(DstTy));
// Only matching constant steps matching the AllocSize are supported at the
// moment. This simplifies the
diff erence computation. Can be extended in the
// future.
- auto *Step = dyn_cast<SCEVConstant>(SinkAR->getStepRecurrence(*SE));
- if (!Step || Step != SrcAR->getStepRecurrence(*SE) ||
- Step->getAPInt().abs() != AllocSize)
+ if (Step->getAPInt().abs() != AllocSize)
return false;
IntegerType *IntTy =
@@ -324,15 +327,14 @@ bool RuntimePointerChecking::tryToCreateDiffCheck(
// When counting down, the dependence distance needs to be swapped.
if (Step->getValue()->isNegative())
- std::swap(SinkAR, SrcAR);
+ std::swap(SinkStart, SrcStart);
- const SCEV *SinkStartInt = SE->getPtrToIntExpr(SinkAR->getStart(), IntTy);
- const SCEV *SrcStartInt = SE->getPtrToIntExpr(SrcAR->getStart(), IntTy);
+ const SCEV *SinkStartInt = SE->getPtrToIntExpr(SinkStart, IntTy);
+ const SCEV *SrcStartInt = SE->getPtrToIntExpr(SrcStart, IntTy);
if (isa<SCEVCouldNotCompute>(SinkStartInt) ||
isa<SCEVCouldNotCompute>(SrcStartInt))
return false;
- const Loop *InnerLoop = SrcAR->getLoop();
// If the start values for both Src and Sink also vary according to an outer
// loop, then it's probably better to avoid creating
diff checks because
// they may not be hoisted. We should instead let llvm::addRuntimeChecks
@@ -2811,17 +2813,9 @@ static const SCEV *getStrideFromPointer(Value *Ptr, ScalarEvolution *SE, Loop *L
while (auto *C = dyn_cast<SCEVIntegralCastExpr>(V))
V = C->getOperand();
- auto *S = dyn_cast<SCEVAddRecExpr>(V);
- if (!S)
+ if (!match(V, m_scev_AffineAddRec(m_SCEV(), m_SCEV(V), m_SpecificLoop(Lp))))
return nullptr;
- // If the pointer is invariant then there is no stride and it makes no
- // sense to add it here.
- if (Lp != S->getLoop())
- return nullptr;
-
- V = S->getStepRecurrence(*SE);
-
// Note that the restriction after this loop invariant check are only
// profitability restrictions.
if (!SE->isLoopInvariant(V, Lp))
More information about the llvm-commits
mailing list