re-land "[AA] Teach BasicAA to recognize basic GEP range information."
authorClement Courbet <courbet@google.com>
Mon, 11 Oct 2021 07:49:00 +0000 (09:49 +0200)
committerClement Courbet <courbet@google.com>
Mon, 11 Oct 2021 08:04:22 +0000 (10:04 +0200)
commit83ded5d3239170a430e49cde80ea40e68b9af230
tree53ee49f1a5518aaa1b58352034db66899e9382f3
parentc63cb0c80ec7eb2dedad6e89fb9a3042b71d3b0f
re-land "[AA] Teach BasicAA to recognize basic GEP range information."

Now that PR52104 is fixed.
llvm/lib/Analysis/BasicAliasAnalysis.cpp
llvm/test/Analysis/BasicAA/assume-index-positive.ll
llvm/test/Analysis/BasicAA/range.ll [new file with mode: 0644]
llvm/test/Analysis/BasicAA/sequential-gep.ll