mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 12:12:47 +01:00
cdf50f8461
We tend to assume that the AA pipeline is by default the default AA pipeline and it's confusing when it's empty instead. PR48779 Initially reverted due to BasicAA running analyses in an unspecified order (multiple function calls as parameters), fixed by fetching analyses before the call to construct BasicAA. Reviewed By: asbirlea Differential Revision: https://reviews.llvm.org/D95117
484 lines
28 KiB
LLVM
484 lines
28 KiB
LLVM
; This test is essentially doing very basic things with the opt tool and the
|
|
; new pass manager pipeline. It will be used to flesh out the feature
|
|
; completeness of the opt tool when the new pass manager is engaged. The tests
|
|
; may not be useful once it becomes the default or may get spread out into other
|
|
; files, but for now this is just going to step the new process through its
|
|
; paces.
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes=no-op-module %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS
|
|
; CHECK-MODULE-PASS: Starting llvm::Module pass manager run
|
|
; CHECK-MODULE-PASS-NEXT: Running pass: NoOpModulePass
|
|
; CHECK-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes=no-op-cgscc %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='cgscc(no-op-cgscc)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
|
|
; CHECK-CGSCC-PASS: Starting llvm::Module pass manager run
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*(CGSCCAnalysisManager|AnalysisManager<.*LazyCallGraph::SCC.*>).*}},{{.*}}Module>
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*(FunctionAnalysisManager|AnalysisManager<.*Function.*>).*}},{{.*}}Module>
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: TargetLibraryAnalysis
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>
|
|
; CHECK-CGSCC-PASS-NEXT: Starting CGSCC pass manager run
|
|
; CHECK-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-CGSCC-PASS-NEXT: Finished CGSCC pass manager run
|
|
; CHECK-CGSCC-PASS-NEXT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes=no-op-function %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='function(no-op-function)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
|
|
; CHECK-FUNCTION-PASS: Starting llvm::Module pass manager run
|
|
; CHECK-FUNCTION-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
|
|
; CHECK-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
|
|
; CHECK-FUNCTION-PASS-NEXT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PRINT
|
|
; CHECK-MODULE-PRINT: Starting llvm::Module pass manager run
|
|
; CHECK-MODULE-PRINT: Running pass: VerifierPass
|
|
; CHECK-MODULE-PRINT: Running pass: PrintModulePass
|
|
; CHECK-MODULE-PRINT: ModuleID
|
|
; CHECK-MODULE-PRINT: define void @foo(i1 %x, i8* %p1, i8* %p2)
|
|
; CHECK-MODULE-PRINT: Running pass: VerifierPass
|
|
; CHECK-MODULE-PRINT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='print,verify' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY
|
|
; CHECK-MODULE-VERIFY: Starting llvm::Module pass manager run
|
|
; CHECK-MODULE-VERIFY: Running pass: PrintModulePass
|
|
; CHECK-MODULE-VERIFY: ModuleID
|
|
; CHECK-MODULE-VERIFY: define void @foo(i1 %x, i8* %p1, i8* %p2)
|
|
; CHECK-MODULE-VERIFY: Running pass: VerifierPass
|
|
; CHECK-MODULE-VERIFY: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT
|
|
; CHECK-FUNCTION-PRINT: Starting llvm::Module pass manager run
|
|
; CHECK-FUNCTION-PRINT: Running pass: VerifierPass
|
|
; CHECK-FUNCTION-PRINT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-FUNCTION-PRINT: Starting llvm::Function pass manager run
|
|
; CHECK-FUNCTION-PRINT: Running pass: PrintFunctionPass
|
|
; CHECK-FUNCTION-PRINT-NOT: ModuleID
|
|
; CHECK-FUNCTION-PRINT: define void @foo(i1 %x, i8* %p1, i8* %p2)
|
|
; CHECK-FUNCTION-PRINT: Finished llvm::Function pass manager run
|
|
; CHECK-FUNCTION-PRINT: Running pass: VerifierPass
|
|
; CHECK-FUNCTION-PRINT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='function(print,verify)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY
|
|
; CHECK-FUNCTION-VERIFY: Starting llvm::Module pass manager run
|
|
; CHECK-FUNCTION-VERIFY: Starting llvm::Function pass manager run
|
|
; CHECK-FUNCTION-VERIFY: Running pass: PrintFunctionPass
|
|
; CHECK-FUNCTION-VERIFY-NOT: ModuleID
|
|
; CHECK-FUNCTION-VERIFY: define void @foo(i1 %x, i8* %p1, i8* %p2)
|
|
; CHECK-FUNCTION-VERIFY: Running pass: VerifierPass
|
|
; CHECK-FUNCTION-VERIFY: Finished llvm::Function pass manager run
|
|
; CHECK-FUNCTION-VERIFY: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
|
|
; CHECK-NOOP: define void @foo(i1 %x, i8* %p1, i8* %p2) {
|
|
; CHECK-NOOP: entry:
|
|
; CHECK-NOOP: store i8 42, i8* %p1
|
|
; CHECK-NOOP: br i1 %x, label %loop, label %exit
|
|
; CHECK-NOOP: loop:
|
|
; CHECK-NOOP: %tmp1 = load i8, i8* %p2
|
|
; CHECK-NOOP: br label %loop
|
|
; CHECK-NOOP: exit:
|
|
; CHECK-NOOP: ret void
|
|
; CHECK-NOOP: }
|
|
|
|
; Round trip through bitcode.
|
|
; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \
|
|
; RUN: | llvm-dis \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY
|
|
; CHECK-NO-VERIFY: Starting llvm::Module pass manager run
|
|
; CHECK-NO-VERIFY-NOT: VerifierPass
|
|
; CHECK-NO-VERIFY: Running pass: NoOpModulePass
|
|
; CHECK-NO-VERIFY-NOT: VerifierPass
|
|
; CHECK-NO-VERIFY: Starting llvm::Function pass manager run
|
|
; CHECK-NO-VERIFY: Running pass: NoOpFunctionPass
|
|
; CHECK-NO-VERIFY-NOT: VerifierPass
|
|
; CHECK-NO-VERIFY: Finished llvm::Function pass manager run
|
|
; CHECK-NO-VERIFY-NOT: VerifierPass
|
|
; CHECK-NO-VERIFY: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-ANALYSES
|
|
; CHECK-ANALYSES: Starting llvm::Module pass manager run
|
|
; CHECK-ANALYSES: Running pass: RequireAnalysisPass
|
|
; CHECK-ANALYSES: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-ANALYSES: Starting CGSCC pass manager run
|
|
; CHECK-ANALYSES: Running pass: RequireAnalysisPass
|
|
; CHECK-ANALYSES: Running analysis: NoOpCGSCCAnalysis
|
|
; CHECK-ANALYSES: Starting llvm::Function pass manager run
|
|
; CHECK-ANALYSES: Running pass: RequireAnalysisPass
|
|
; CHECK-ANALYSES: Running analysis: NoOpFunctionAnalysis
|
|
|
|
; Make sure no-op passes that preserve all analyses don't even try to do any
|
|
; analysis invalidation.
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-NO-OP-INVALIDATION
|
|
; CHECK-NO-OP-INVALIDATION: Starting llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='require<no-op-module>,require<no-op-module>,require<no-op-module>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS
|
|
; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
|
|
; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
|
|
; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS-NOT: Running analysis: NoOpModuleAnalysis
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='require<no-op-module>,invalidate<no-op-module>,require<no-op-module>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS
|
|
; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
|
|
; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
|
|
; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Invalidating analysis: NoOpModuleAnalysis
|
|
; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='cgscc(require<no-op-cgscc>,require<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS
|
|
; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
|
|
; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
|
|
; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
|
|
; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS-NOT: Running analysis: NoOpCGSCCAnalysis
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='cgscc(require<no-op-cgscc>,invalidate<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS
|
|
; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
|
|
; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
|
|
; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
|
|
; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Invalidating analysis: NoOpCGSCCAnalysis
|
|
; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='function(require<no-op-function>,require<no-op-function>,require<no-op-function>)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS
|
|
; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
|
|
; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
|
|
; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS-NOT: Running analysis: NoOpFunctionAnalysis
|
|
|
|
; RUN: opt -disable-output -debug-pass-manager \
|
|
; RUN: -passes='function(require<no-op-function>,invalidate<no-op-function>,require<no-op-function>)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS
|
|
; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
|
|
; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
|
|
; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Invalidating analysis: NoOpFunctionAnalysis
|
|
; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='require<no-op-module>,module(require<no-op-module>,function(require<no-op-function>,invalidate<all>,require<no-op-function>),require<no-op-module>),require<no-op-module>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL
|
|
; CHECK-INVALIDATE-ALL: Starting llvm::Module pass manager run
|
|
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL: Starting llvm::Function pass manager run
|
|
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL: Running pass: InvalidateAllAnalysesPass
|
|
; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL: Finished llvm::Function pass manager run
|
|
; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-NOT: Invalidating analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='require<no-op-module>,module(require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>,invalidate<all>,require<no-op-function>),require<no-op-cgscc>),require<no-op-module>),require<no-op-module>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL-CG
|
|
; CHECK-INVALIDATE-ALL-CG: Starting llvm::Module pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Starting CGSCC pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Starting llvm::Function pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: InvalidateAllAnalysesPass
|
|
; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Finished llvm::Function pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpCGSCCAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Finished CGSCC pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpCGSCCAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<targetlibinfo>,invalidate<all>,require<targetlibinfo>' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-TLI
|
|
; CHECK-TLI: Starting llvm::Module pass manager run
|
|
; CHECK-TLI: Running pass: RequireAnalysisPass
|
|
; CHECK-TLI: Running analysis: TargetLibraryAnalysis
|
|
; CHECK-TLI: Running pass: InvalidateAllAnalysesPass
|
|
; CHECK-TLI-NOT: Invalidating analysis: TargetLibraryAnalysis
|
|
; CHECK-TLI: Running pass: RequireAnalysisPass
|
|
; CHECK-TLI-NOT: Running analysis: TargetLibraryAnalysis
|
|
; CHECK-TLI: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<targetir>,invalidate<all>,require<targetir>' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-TIRA
|
|
; CHECK-TIRA: Starting llvm::Module pass manager run
|
|
; CHECK-TIRA: Running pass: RequireAnalysisPass
|
|
; CHECK-TIRA: Running analysis: TargetIRAnalysis
|
|
; CHECK-TIRA: Running pass: InvalidateAllAnalysesPass
|
|
; CHECK-TIRA-NOT: Invalidating analysis: TargetIRAnalysis
|
|
; CHECK-TIRA: Running pass: RequireAnalysisPass
|
|
; CHECK-TIRA-NOT: Running analysis: TargetIRAnalysis
|
|
; CHECK-TIRA: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<domtree>' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-DT
|
|
; CHECK-DT: Starting llvm::Module pass manager run
|
|
; CHECK-DT: Running pass: RequireAnalysisPass
|
|
; CHECK-DT: Running analysis: DominatorTreeAnalysis
|
|
; CHECK-DT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<basic-aa>' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-BASIC-AA
|
|
; CHECK-BASIC-AA: Starting llvm::Module pass manager run
|
|
; CHECK-BASIC-AA: Running pass: RequireAnalysisPass
|
|
; CHECK-BASIC-AA: Running analysis: BasicAA
|
|
; CHECK-BASIC-AA: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<aa>' -aa-pipeline='basic-aa' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-AA
|
|
; CHECK-AA: Starting llvm::Module pass manager run
|
|
; CHECK-AA: Running pass: RequireAnalysisPass
|
|
; CHECK-AA: Running analysis: AAManager
|
|
; CHECK-AA: Running analysis: BasicAA
|
|
; CHECK-AA: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<aa>' -aa-pipeline='default' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-AA-DEFAULT
|
|
; CHECK-AA-DEFAULT: Starting llvm::Module pass manager run
|
|
; CHECK-AA-DEFAULT: Running pass: RequireAnalysisPass
|
|
; CHECK-AA-DEFAULT: Running analysis: AAManager
|
|
; CHECK-AA-DEFAULT: Running analysis: BasicAA
|
|
; CHECK-AA-DEFAULT: Running analysis: ScopedNoAliasAA
|
|
; CHECK-AA-DEFAULT: Running analysis: TypeBasedAA
|
|
; CHECK-AA-DEFAULT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<aa>,invalidate<domtree>,aa-eval' -aa-pipeline='basic-aa' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-AA-FUNCTION-INVALIDATE
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Starting llvm::Function pass manager run
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Running pass: RequireAnalysisPass
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: AAManager
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: BasicAA
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Running pass: InvalidateAnalysisPass
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Invalidating analysis: DominatorTreeAnalysis
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Invalidating analysis: BasicAA
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Invalidating analysis: AAManager
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Running pass: AAEvaluator
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: AAManager
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Running analysis: BasicAA
|
|
; CHECK-AA-FUNCTION-INVALIDATE: Finished llvm::Function pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<globals-aa>,function(require<aa>),invalidate<globals-aa>,require<globals-aa>,function(aa-eval)' -aa-pipeline='globals-aa' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-AA-MODULE-INVALIDATE
|
|
; CHECK-AA-MODULE-INVALIDATE: Starting llvm::Module pass manager run
|
|
; 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: RequireAnalysisPass
|
|
; 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: 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: Finished llvm::Function pass manager run
|
|
; CHECK-AA-MODULE-INVALIDATE: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<memdep>' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-MEMDEP
|
|
; CHECK-MEMDEP: Starting llvm::Module pass manager run
|
|
; CHECK-MEMDEP: Running pass: RequireAnalysisPass
|
|
; CHECK-MEMDEP: Running analysis: MemoryDependenceAnalysis
|
|
; CHECK-MEMDEP: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
|
; RUN: -passes='require<callgraph>' \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-CALLGRAPH
|
|
; CHECK-CALLGRAPH: Starting llvm::Module pass manager run
|
|
; CHECK-CALLGRAPH: Running pass: RequireAnalysisPass
|
|
; CHECK-CALLGRAPH: Running analysis: CallGraphAnalysis
|
|
; CHECK-CALLGRAPH: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='default<O0>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-O0 --check-prefix=%llvmcheckext
|
|
; CHECK-O0: Starting llvm::Module pass manager run
|
|
; CHECK-O0-NEXT: Running pass: AlwaysInlinerPass
|
|
; CHECK-O0-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-O0-NEXT: Running analysis: ProfileSummaryAnalysis
|
|
; CHECK-EXT-NEXT: Starting llvm::Function pass manager run.
|
|
; CHECK-EXT-NEXT: Running pass: {{.*}}Bye
|
|
; CHECK-EXT-NEXT: Finished llvm::Function pass manager run.
|
|
; We don't have checks for CHECK-NOEXT here, but this simplifies the test, while
|
|
; avoiding FileCheck complaining about the unused prefix.
|
|
; CHECK-NOEXT: {{.*}}
|
|
; CHECK-O0-NEXT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='repeat<3>(no-op-module)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-MODULE-PASS
|
|
; CHECK-REPEAT-MODULE-PASS: Starting llvm::Module pass manager run
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: RepeatedPass
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Starting llvm::Module pass manager run
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Starting llvm::Module pass manager run
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Starting llvm::Module pass manager run
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
|
|
; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='cgscc(repeat<3>(no-op-cgscc))' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-CGSCC-PASS
|
|
; CHECK-REPEAT-CGSCC-PASS: Starting llvm::Module pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*(CGSCCAnalysisManager|AnalysisManager<.*LazyCallGraph::SCC.*>).*}},{{.*}}Module>
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*(FunctionAnalysisManager|AnalysisManager<.*Function.*>).*}},{{.*}}Module>
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: TargetLibraryAnalysis
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: RepeatedPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished CGSCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='function(repeat<3>(no-op-function))' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-FUNCTION-PASS
|
|
; CHECK-REPEAT-FUNCTION-PASS: Starting llvm::Module pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: RepeatedPass
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
|
|
; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Module pass manager run
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='loop(repeat<3>(no-op-loop))' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-LOOP-PASS
|
|
; CHECK-REPEAT-LOOP-PASS: Starting llvm::Module pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: LoopSimplify
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: LoopAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: DominatorTreeAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: AssumptionAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: LCSSAPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Function pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: AAManager
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: TargetLibraryAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: BasicAA
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: ScopedNoAliasAA
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: TypeBasedAA
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: OuterAnalysisManagerProxy
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: ScalarEvolutionAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: TargetIRAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: RepeatedPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Function pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Module pass manager run
|
|
|
|
define void @foo(i1 %x, i8* %p1, i8* %p2) {
|
|
entry:
|
|
store i8 42, i8* %p1
|
|
br i1 %x, label %loop, label %exit
|
|
|
|
loop:
|
|
%tmp1 = load i8, i8* %p2
|
|
br label %loop
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
declare void @bar()
|