[PATCH] D88353: [BasicAA] Integrate MaxObjSize for NoAlias

[Atmn Patel via Phabricator via llvm-commits]

atmnpatel created this revision.
atmnpatel added reviewers: jdoerfert, sstefan1, baziotis, uenoku.
Herald added subscribers: llvm-commits, okura, kuter, hiraditya.
Herald added a project: LLVM.
atmnpatel requested review of this revision.
Herald added a subscriber: bbn.

With the introduction of the `maxobjsize` attribute (D87975 <https://reviews.llvm.org/D87975>, D87978 <https://reviews.llvm.org/D87978>), we should be able
to more easily determine when two objects cannot alias by using
`dereferenceable` as the lower bound on the object size and `maxobjsize`
as the upper bound on the object size, that is, if either object is
known to be at least larger than the other, we know that they cannot
alias. This patch implements these changes within BasicAliasAnalysis.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D88353

Files:
  llvm/lib/Analysis/BasicAliasAnalysis.cpp
  llvm/test/Transforms/Attributor/readattrs.ll
  llvm/test/Transforms/DeadStoreElimination/MSSA/calloc-store.ll
  llvm/test/Transforms/InstCombine/pr46680.ll
  llvm/test/Transforms/LoopVectorize/X86/pr23997.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88353.294481.patch
Type: text/x-patch
Size: 17979 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200926/34d7da11/attachment.bin>