[PATCH] D110511: [BasicAA] Improve scalable vector handling

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Sep 26 13:28:29 PDT 2021


nikic created this revision.
nikic added reviewers: efriedma, fhahn, asbirlea, reames.
Herald added a subscriber: hiraditya.
nikic requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Currently, DecomposeGEP bails out on the whole decomposition if it encounters a scalable GEP type anywhere. However, it is fine to to still analyze other GEPs that we look through before hitting the scalable GEP. This does means that the decomposed GEP base is no longer required to be the same as the underlying object. However, I don't believe this property is necessary for correctness anymore.

This allows us to compute slightly more precise aliasing results for GEP chains containing scalable vectors, though my primary interest here is simplifying the code.


https://reviews.llvm.org/D110511

Files:
  llvm/include/llvm/Analysis/BasicAliasAnalysis.h
  llvm/lib/Analysis/BasicAliasAnalysis.cpp
  llvm/test/Analysis/BasicAA/vscale.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D110511.375131.patch
Type: text/x-patch
Size: 9268 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210926/fef99dcf/attachment.bin>


More information about the llvm-commits mailing list