[PATCH] D108699: [LAA] Analyze pointers forked by a select

[Graham Hunter via Phabricator via llvm-commits]

huntergr updated this revision to Diff 437820.
huntergr added a comment.

Rebased on top of Florian's patch from https://reviews.llvm.org/D114487

That patch has been reverted for now so builds will fail, but this should be pretty close to what we want once the base feature is back in.

I've cut the walker function down to only handle GEPs and selects for now; we can add more cases (and more tests) later.

I've added tests to exercise the checks that exclude a given select or GEP from processing, as well as one for the recursion limit.

I'll precommit the new tests before the next update on this patch.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D108699/new/

https://reviews.llvm.org/D108699

Files:
  llvm/lib/Analysis/LoopAccessAnalysis.cpp
  llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll
  llvm/test/Transforms/LoopVectorize/forked-pointers.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D108699.437820.patch
Type: text/x-patch
Size: 25009 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220617/9cc3932a/attachment.bin>