[PATCH] D109746: [AA] Teach BasicAA to recognize basic GEP range information.
Clement Courbet via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 14 01:53:53 PDT 2021
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>
More information about the llvm-commits
mailing list