diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2018-08-02 17:32:43 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2018-08-02 17:32:43 +0000 |
| commit | b7eb8e35e481a74962664b63dfb09483b200209a (patch) | |
| tree | 1937fb4a348458ce2d02ade03ac3bb0aa18d2fcd /test/Analysis/BasicAA/invalidation.ll | |
| parent | eb11fae6d08f479c0799db45860a98af528fa6e7 (diff) | |
Diffstat (limited to 'test/Analysis/BasicAA/invalidation.ll')
| -rw-r--r-- | test/Analysis/BasicAA/invalidation.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/invalidation.ll b/test/Analysis/BasicAA/invalidation.ll index 0eaf7752f89b..27e94cb6a2e2 100644 --- a/test/Analysis/BasicAA/invalidation.ll +++ b/test/Analysis/BasicAA/invalidation.ll @@ -24,6 +24,18 @@ ; CHECK-LI-INVALIDATE: Invalidating analysis: BasicAA ; CHECK-LI-INVALIDATE: Running pass: AAEvaluator ; CHECK-LI-INVALIDATE: Running analysis: BasicAA +; +; Check PhiValues specifically. +; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ +; RUN: -passes='require<phi-values>,require<aa>,invalidate<phi-values>,aa-eval' -aa-pipeline='basic-aa' \ +; RUN: | FileCheck %s --check-prefix=CHECK-PV-INVALIDATE +; CHECK-PV-INVALIDATE: Running pass: RequireAnalysisPass +; CHECK-PV-INVALIDATE: Running analysis: BasicAA +; CHECK-PV-INVALIDATE: Running pass: InvalidateAnalysisPass +; CHECK-PV-INVALIDATE: Invalidating analysis: PhiValuesAnalysis +; CHECK-PV-INVALIDATE: Invalidating analysis: BasicAA +; CHECK-PV-INVALIDATE: Running pass: AAEvaluator +; CHECK-PV-INVALIDATE: Running analysis: BasicAA ; Some code that will result in actual AA queries, including inside of a loop. ; FIXME: Sadly, none of these queries managed to use either the domtree or |