diff options
| author | Chandler Carruth <chandlerc@gmail.com> | 2017-01-15 00:26:18 +0000 |
|---|---|---|
| committer | Chandler Carruth <chandlerc@gmail.com> | 2017-01-15 00:26:18 +0000 |
| commit | 2f19a324cb07c893ece46a45521c0a0bbd28a74a (patch) | |
| tree | d044d647e8a544c7d77f7f5e4594a4aeddf79186 /llvm/test | |
| parent | 4b3dc18cf15aab6a0a05672f9794ce92e6ce8d64 (diff) | |
| download | bcm5719-llvm-2f19a324cb07c893ece46a45521c0a0bbd28a74a.tar.gz bcm5719-llvm-2f19a324cb07c893ece46a45521c0a0bbd28a74a.zip | |
[PM] The assumption cache is fundamentally designed to be self-updating,
mark it as never invalidated in the new PM.
The old PM already required this to work, and after a discussion with
Hal this seems to really be the only sensible answer. The cache
gracefully degrades as the IR is mutated, and most things which do this
should already be incrementally updating the cache.
This gets rid of a bunch of logic preserving and testing the
invalidation of this analysis.
llvm-svn: 292039
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll | 14 | ||||
| -rw-r--r-- | llvm/test/Analysis/ScalarEvolution/invalidation.ll | 13 |
2 files changed, 0 insertions, 27 deletions
diff --git a/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll b/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll index 6e5d4a4bf84..478ffc2914b 100644 --- a/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll +++ b/llvm/test/Analysis/MemoryDependenceAnalysis/invalidation.ll @@ -13,20 +13,6 @@ ; CHECK-AA-INVALIDATE: Running pass: GVN ; CHECK-AA-INVALIDATE: Running analysis: MemoryDependenceAnalysis ; -; Check the assumptions analysis specifically. -; FIXME: We don't have any test cases that actually fail if the assumption -; cache becomes stale. This just tests what we believe to be correct. -; RUN: opt -disable-output -debug-pass-manager %s 2>&1 \ -; RUN: -passes='require<memdep>,invalidate<assumptions>,gvn' \ -; RUN: | FileCheck %s --check-prefix=CHECK-ASSUMPTIONS-INVALIDATE -; CHECK-ASSUMPTIONS-INVALIDATE: Running pass: RequireAnalysisPass -; CHECK-ASSUMPTIONS-INVALIDATE: Running analysis: MemoryDependenceAnalysis -; CHECK-ASSUMPTIONS-INVALIDATE: Running pass: InvalidateAnalysisPass -; CHECK-ASSUMPTIONS-INVALIDATE: Invalidating analysis: AssumptionAnalysis -; CHECK-ASSUMPTIONS-INVALIDATE: Invalidating analysis: MemoryDependenceAnalysis -; CHECK-ASSUMPTIONS-INVALIDATE: Running pass: GVN -; CHECK-ASSUMPTIONS-INVALIDATE: Running analysis: MemoryDependenceAnalysis -; ; Check domtree specifically. ; RUN: opt -disable-output -debug-pass-manager %s 2>&1 \ ; RUN: -passes='require<memdep>,invalidate<domtree>,gvn' \ diff --git a/llvm/test/Analysis/ScalarEvolution/invalidation.ll b/llvm/test/Analysis/ScalarEvolution/invalidation.ll index 1fcaddb525e..f750b3d4e5c 100644 --- a/llvm/test/Analysis/ScalarEvolution/invalidation.ll +++ b/llvm/test/Analysis/ScalarEvolution/invalidation.ll @@ -8,19 +8,6 @@ target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" -; RUN: opt < %s -passes='require<scalar-evolution>,invalidate<assumptions>,print<scalar-evolution>' \ -; RUN: -debug-pass-manager -disable-output 2>&1 \ -; RUN: | FileCheck %s -check-prefixes=CHECK,CHECK-AC-INVALIDATE -; -; CHECK-AC-INVALIDATE: Running pass: RequireAnalysisPass -; CHECK-AC-INVALIDATE: Running analysis: ScalarEvolutionAnalysis -; CHECK-AC-INVALIDATE: Running analysis: AssumptionAnalysis -; CHECK-AC-INVALIDATE: Running pass: InvalidateAnalysisPass -; CHECK-AC-INVALIDATE: Invalidating analysis: AssumptionAnalysis -; CHECK-AC-INVALIDATE: Running pass: ScalarEvolutionPrinterPass -; CHECK-AC-INVALIDATE: Running analysis: ScalarEvolutionAnalysis -; CHECK-AC-INVALIDATE: Running analysis: AssumptionAnalysis - ; RUN: opt < %s -passes='require<scalar-evolution>,invalidate<domtree>,print<scalar-evolution>' \ ; RUN: -debug-pass-manager -disable-output 2>&1 \ ; RUN: | FileCheck %s -check-prefixes=CHECK,CHECK-DT-INVALIDATE |
