diff options
author | Florian Hahn <flo@fhahn.com> | 2025-08-01 14:18:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-08-01 14:18:07 +0100 |
commit | 2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8 (patch) | |
tree | 9016795ce5fd22d4c66fa7a255238a75b5258231 /llvm/lib/Analysis/Loads.cpp | |
parent | 6da1a0908a975a55adb5eae293b37ae0a850b21d (diff) | |
download | llvm-2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8.zip llvm-2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8.tar.gz llvm-2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8.tar.bz2 |
[LAA] Support assumptions in evaluatePtrAddRecAtMaxBTCWillNotWrap (#147047)
This patch extends the logic added in
https://github.com/llvm/llvm-project/pull/128061 to support
dereferenceability information from assumptions as well.
Unfortunately both assumption cache and the dominator tree need to be
threaded through multiple layers to make them available where needed.
PR: https://github.com/llvm/llvm-project/pull/147047
Diffstat (limited to 'llvm/lib/Analysis/Loads.cpp')
-rw-r--r-- | llvm/lib/Analysis/Loads.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/Loads.cpp b/llvm/lib/Analysis/Loads.cpp index 393f264..6fc81d787 100644 --- a/llvm/lib/Analysis/Loads.cpp +++ b/llvm/lib/Analysis/Loads.cpp @@ -342,7 +342,7 @@ bool llvm::isDereferenceableAndAlignedInLoop( : SE.getConstantMaxBackedgeTakenCount(L); } const auto &[AccessStart, AccessEnd] = getStartAndEndForAccess( - L, PtrScev, LI->getType(), BECount, MaxBECount, &SE, nullptr); + L, PtrScev, LI->getType(), BECount, MaxBECount, &SE, nullptr, &DT, AC); if (isa<SCEVCouldNotCompute>(AccessStart) || isa<SCEVCouldNotCompute>(AccessEnd)) return false; |