[PATCH] D150194: Alias analysis: Make use of GEP inrange attributes

[Simeon Krastnikov via Phabricator via llvm-commits]

simeon-imgtec created this revision.
simeon-imgtec added reviewers: pcc, eli.friedman.
simeon-imgtec created this object with visibility "All Users".
Herald added subscribers: jeroen.dobbelaere, hiraditya.
Herald added a project: All.
simeon-imgtec requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This builds on D150192 <https://reviews.llvm.org/D150192> by demonstrating its application to alias analysis.

In BasicAA when computing a DecomposedGEP for a GEP with an inrange index, store the inferred range of allowable offsets in the resulting DecomposedGEP.

      

Allow BasicAA to infer that two GEPs don't alias if the two corresponding DecomposedGEPs have equal bases but disjoint ranges.

Depends on D150192 <https://reviews.llvm.org/D150192>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D150194

Files:
  llvm/lib/Analysis/BasicAliasAnalysis.cpp
  llvm/test/Analysis/BasicAA/struct-arrays.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D150194.520662.patch
Type: text/x-patch
Size: 6929 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230509/24297a05/attachment.bin>