[PATCH] D146206: [LAA] Fix transitive analysis invalidation bug by implementing LoopAccessInfoManager::invalidate

[Florian Hahn via Phabricator via llvm-commits]

fhahn accepted this revision.
fhahn added a comment.

Fix LGTM with comments by other people addressed.



================
Comment at: llvm/test/Analysis/LoopAccessAnalysis/invalidation.ll:2
+; Test that access-info gets invalidated when the analyses it depends on are
+; invalidated.
+
----------------
Might be good to include a reference to the bug as well.


================
Comment at: llvm/test/Analysis/LoopAccessAnalysis/invalidation.ll:75
+
+attributes #0 = { nofree norecurse nosync nounwind memory(argmem: write) }
----------------
are those needed?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D146206