[llvm] [LoadStoreVectorizer] Batch alias analysis results to improve compile time (PR #147555)

[Drew Kersnar via llvm-commits]

================
@@ -543,6 +544,10 @@ std::vector<Chain> Vectorizer::splitChainByMayAliasInstrs(Chain &C) {
   for (const auto &E : C)
     ChainOffsets.insert({&*E.Inst, E.OffsetFromLeader});
 
+  // Across a single invocation of this function the IR is not changing, so
+  // using a batched Alias Analysis is safe and can reduce compile time.
+  BatchAAResults BatchAA(AA);
----------------
dakersnar wrote:

That's a fair point. I suggest we revisit that idea in a future change, as I have some follow up changes to the LSV and I think it would be best to consider the correctness of expanding the lifetime of this cache only once we have that complete picture.

Unless you can give me more specifics about what exactly counts as invalidating the cache and what would not. The comment above the BatchAAResult class specifies "it is intended to be used only when there are no IR changes inbetween queries." I can see how that restriction could be relaxed under certain conditions, but I don't have a complete understanding of those conditions.

For instance, I have an optimization I am going to propose that fills holes in non-contiguous chains with newly created geps and loads/stores. Would the creation of those instructions invalidate the cache somehow?

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