[PATCH] D133844: [AA] Improve the BasicAA analysis capability base on GEP

[Allen zhong via Phabricator via llvm-commits]

Allen added a comment.

In D133844#3789000 <https://reviews.llvm.org/D133844#3789000>, @nikic wrote:

> If you want to support this, it must be part of GEP decomposition.
>
> If you are only interested in constants for the vscale index, then it's probably possible to support this with relatively low effort by using a VariableGEPIndex with a vscale constant expression. That should allow all the existing modelling to handle it (possibly including range analysis based on vscale_range attributes).
>
> If you are interested in variables for the vscale index, then this won't work, and it would be necessary to add first class vscale support to VariableGEPIndex (i.e. a separate bool, which all code working on decomposed GEPs has to handle in the appropriate way).

Thanks for your suggestion, Firstly I hope to address the constants vscale index only.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D133844/new/

https://reviews.llvm.org/D133844