diff options
| author | Alina Sbirlea <asbirlea@google.com> | 2019-04-23 17:21:18 +0000 |
|---|---|---|
| committer | Alina Sbirlea <asbirlea@google.com> | 2019-04-23 17:21:18 +0000 |
| commit | a809e8e5e759d333e3183b4f1d270cfc4ad9d2dd (patch) | |
| tree | 5f9a3aa681c99dff87b95123c8e06e662637e2f9 /llvm/test | |
| parent | e50e6d256375b47efb30a6f9f1fe795f7d95a8a3 (diff) | |
| download | bcm5719-llvm-a809e8e5e759d333e3183b4f1d270cfc4ad9d2dd.tar.gz bcm5719-llvm-a809e8e5e759d333e3183b4f1d270cfc4ad9d2dd.zip | |
[AliasAnalysis] AAResults preserves AAManager.
Summary:
AAResults should not invalidate AAManager.
Update tests.
Reviewers: chandlerc
Subscribers: mehdi_amini, jlebar, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D60914
llvm-svn: 359014
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll | 7 | ||||
| -rw-r--r-- | llvm/test/Other/new-pass-manager.ll | 2 |
2 files changed, 3 insertions, 6 deletions
diff --git a/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll b/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll index 478ffc2914b..16d17161ad2 100644 --- a/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll +++ b/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll @@ -1,17 +1,16 @@ ; Test that memdep gets invalidated when the analyses it depends on are ; invalidated. ; -; Check AA specifically. +; Check AA. AA is stateless, there's nothing to invalidate. ; RUN: opt -disable-output -debug-pass-manager -aa-pipeline='basic-aa' %s 2>&1 \ ; RUN: -passes='require<memdep>,invalidate<aa>,gvn' \ ; RUN: | FileCheck %s --check-prefix=CHECK-AA-INVALIDATE ; CHECK-AA-INVALIDATE: Running pass: RequireAnalysisPass ; CHECK-AA-INVALIDATE: Running analysis: MemoryDependenceAnalysis ; CHECK-AA-INVALIDATE: Running pass: InvalidateAnalysisPass -; CHECK-AA-INVALIDATE: Invalidating analysis: AAManager -; CHECK-AA-INVALIDATE: Invalidating analysis: MemoryDependenceAnalysis +; CHECK-NOT-AA-INVALIDATE: Invalidating analysis: MemoryDependenceAnalysis ; CHECK-AA-INVALIDATE: Running pass: GVN -; CHECK-AA-INVALIDATE: Running analysis: MemoryDependenceAnalysis +; CHECK-NOT-AA-INVALIDATE: Running analysis: MemoryDependenceAnalysis ; ; Check domtree specifically. ; RUN: opt -disable-output -debug-pass-manager %s 2>&1 \ diff --git a/llvm/test/Other/new-pass-manager.ll b/llvm/test/Other/new-pass-manager.ll index 9c914d4de4c..e836b321007 100644 --- a/llvm/test/Other/new-pass-manager.ll +++ b/llvm/test/Other/new-pass-manager.ll @@ -355,13 +355,11 @@ ; CHECK-AA-MODULE-INVALIDATE: Running analysis: AAManager ; CHECK-AA-MODULE-INVALIDATE: Finished llvm::Function pass manager run ; CHECK-AA-MODULE-INVALIDATE: Running pass: InvalidateAnalysisPass -; CHECK-AA-MODULE-INVALIDATE: Invalidating analysis: AAManager ; CHECK-AA-MODULE-INVALIDATE: Invalidating analysis: GlobalsAA ; CHECK-AA-MODULE-INVALIDATE: Running pass: RequireAnalysisPass ; CHECK-AA-MODULE-INVALIDATE: Running analysis: GlobalsAA ; CHECK-AA-MODULE-INVALIDATE: Starting llvm::Function pass manager run ; CHECK-AA-MODULE-INVALIDATE: Running pass: AAEvaluator -; CHECK-AA-MODULE-INVALIDATE: Running analysis: AAManager ; CHECK-AA-MODULE-INVALIDATE: Finished llvm::Function pass manager run ; CHECK-AA-MODULE-INVALIDATE: Finished llvm::Module pass manager run |
