[PATCH] D99247: [BasicAA] Teach BasicAA about GEP variable index ranges.

[Clement Courbet via Phabricator via llvm-commits]

courbet created this revision.
Herald added subscribers: arphaman, javed.absar, hiraditya.
courbet requested review of this revision.
Herald added a project: LLVM.

Note that this is not as complete as what SCEV can do, but it's fast,
and it's enough for the common case, which is clang setting !range
metadata on array subscript indices.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D99247

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: D99247.332900.patch
Type: text/x-patch
Size: 9499 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210324/a5a401e2/attachment.bin>