[PATCH] D132703: [LAA] Use BTC to rule out dependences if one ptr is loop invariant.
Florian Hahn via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Aug 25 13:39:25 PDT 2022
fhahn created this revision.
fhahn added reviewers: Ayal, anemet, Meinersbur.
Herald added subscribers: frasercrmck, luismarques, apazos, sameer.abuasal, s.egerton, Jim, jocewei, PkmX, the_o, brucehoult, MartinMosbeck, rogfer01, edward-jones, zzheng, jrtc27, niosHD, sabuasal, simoncook, johnrusso, rbar, asb, hiraditya.
Herald added a project: All.
fhahn requested review of this revision.
Herald added subscribers: pcwang-thead, MaskRay.
Herald added a project: LLVM.
isSafeDependenceDistance can also be used to rule out dependences
between loop invariant and loop-variant accesses if we ca prove the
distance between them is larger than the range the accesses will
travel through the execution of the loop.
This should help to avoid regressions after D126533 <https://reviews.llvm.org/D126533>.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D132703
Files:
llvm/lib/Analysis/LoopAccessAnalysis.cpp
llvm/test/Analysis/LoopAccessAnalysis/loop-invariant-dep-with-backedge-taken-count.ll
llvm/test/Transforms/LoopVectorize/RISCV/safe-dep-distance.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D132703.455705.patch
Type: text/x-patch
Size: 7503 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220825/7c90b14b/attachment.bin>
More information about the llvm-commits
mailing list