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

[Bjorn Pettersson via Phabricator via llvm-commits]

bjope updated this revision to Diff 505871.
bjope added a comment.

1. Simplify return stmt in LoopAccessInfoManager::invalidate according to feedback.
2. Use a separate RUN line in the test case to verify invalidata<access-info>.
3. Reduce amount of CHECK:s in the test case. Don't think we need to verify what is going on with all other analyses. Better to make the CHECK:s focus on what is important for each sub-test.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D146206

Files:
  llvm/include/llvm/Analysis/LoopAccessAnalysis.h
  llvm/lib/Analysis/LoopAccessAnalysis.cpp
  llvm/test/Analysis/LoopAccessAnalysis/invalidation.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D146206.505871.patch
Type: text/x-patch
Size: 4842 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230316/30c468cb/attachment.bin>