[llvm] [Analysis] Add Scalable field in MemoryLocation.h (PR #65759)

David Green via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 8 07:45:40 PDT 2023


davemgreen wrote:

A few things I've noticed, from a look around:
 - The checks in BasicAA may not be high enough.
 - LocationSize::unionWith could do with a safe fallback for scalable vectors. It appears to be used from AST.
 - getMinimalExtentFrom doesn't look correct for scalable vectors
 - isObjectSize too in BasicAA, along with constantOffsetHeuristic although I'm not sure that is reachable at the moment for scalable values.
There may be more but it is worth checking through the uses of LocationSize to make sure non of them look like they would cause problems for Scalable sizes.

https://github.com/llvm/llvm-project/pull/65759


More information about the llvm-commits mailing list