https://github.com/artagnon commented: I feel like re-inventing parts of the various AAs, which is unavoidable, but I wonder if we can factor this out into something like VPAliasAnalysis at some point? https://github.com/llvm/llvm-project/pull/170347