[PATCH] D109746: [AA] Teach BasicAA to recognize basic GEP range information.

[Clement Courbet via Phabricator via llvm-commits]

courbet created this revision.
courbet added a reviewer: lebedev.ri.
Herald added subscribers: arphaman, hiraditya.
courbet requested review of this revision.
Herald added a project: LLVM.

The information can be implicit (from `ValueTracking`) or explicit.

This implements the backend part of the following RFC
https://groups.google.com/g/llvm-dev/c/T9o51zB1JY.

We still need to settle on how to best represent the information in the
IR, but this is a separate discussion.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D109746

Files:
  llvm/lib/Analysis/BasicAliasAnalysis.cpp
  llvm/test/Analysis/BasicAA/assume-index-positive.ll
  llvm/test/Analysis/BasicAA/range.ll
  llvm/test/Analysis/BasicAA/sequential-gep.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D109746.372436.patch
Type: text/x-patch
Size: 9523 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210914/4a954f3a/attachment.bin>