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

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

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).


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

https://reviews.llvm.org/D133844