[PATCH] D61284: [AliasAnalysis/NewPassManager] Invalidate AAManager less often.

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea created this revision.
asbirlea added a reviewer: chandlerc.
Herald added subscribers: george.burgess.iv, jlebar, mehdi_amini.
Herald added a project: LLVM.

This is a redo of D60914 <https://reviews.llvm.org/D60914>.

The objective is to not invalidate AAManager, which is stateless, unless
there is an explicit invalidate in one of the AAResults.

To achieve this, this patch adds an API to PAC, to check precisely this:
is this analysis not invalidated explicitly == is this analysis not abandoned == is this analysis stateless, so preserved without explicitly being marked as preserved by everyone


Repository:
  rL LLVM

https://reviews.llvm.org/D61284

Files:
  include/llvm/Analysis/AliasAnalysis.h
  include/llvm/IR/PassManager.h
  lib/Analysis/AliasAnalysis.cpp
  test/Analysis/MemoryDependenceAnalysis/invalidation.ll
  test/Analysis/MemorySSA/invalidate.ll
  test/Other/new-pass-manager.ll
  unittests/Transforms/Scalar/LoopPassManagerTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D61284.197219.patch
Type: text/x-patch
Size: 6599 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190429/48200b05/attachment.bin>