mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-28 15:33:14 +00:00
c5266b5293
This is a fairly straightforward port to the new pass manager with one exception. It removes a very questionable use of releaseMemory() in the old pass to invalidate its caches between runs on a function. I don't think this is really guaranteed to be safe. I've just used the more direct port to the new PM to address this by nuking the results object each time the pass runs. While this could cause some minor malloc traffic increase, I don't expect the compile time performance hit to be noticable, and it makes the correctness and other aspects of the pass much easier to reason about. In some cases, it may make things faster by making the sets and maps smaller with better locality. Indeed, the measurements collected by Bruno (thanks!!!) show mostly compile time improvements. There is sadly very limited testing at this point as there are only two tests of memdep, and both rely on GVN. I'll be porting GVN next and that will exercise this heavily though. Differential Revision: http://reviews.llvm.org/D17962 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@263082 91177308-0d34-0410-b5e6-96231b3b80d8
362 lines
20 KiB
LLVM
362 lines
20 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 pass: ModuleToPostOrderCGSCCPassAdaptor
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis
|
|
; CHECK-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC 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 pass: ModuleToFunctionPassAdaptor
|
|
; 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()
|
|
; 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()
|
|
; 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 pass: ModuleToFunctionPassAdaptor
|
|
; 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()
|
|
; 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()
|
|
; 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() {
|
|
; 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 -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-VERIFY-EACH
|
|
; CHECK-VERIFY-EACH: Starting llvm::Module pass manager run
|
|
; CHECK-VERIFY-EACH: Running pass: VerifierPass
|
|
; CHECK-VERIFY-EACH: Running pass: NoOpModulePass
|
|
; CHECK-VERIFY-EACH: Running pass: VerifierPass
|
|
; CHECK-VERIFY-EACH: Starting llvm::Function pass manager run
|
|
; CHECK-VERIFY-EACH: Running pass: NoOpFunctionPass
|
|
; CHECK-VERIFY-EACH: Running pass: VerifierPass
|
|
; CHECK-VERIFY-EACH: Finished llvm::Function pass manager run
|
|
; CHECK-VERIFY-EACH: Running pass: VerifierPass
|
|
; CHECK-VERIFY-EACH: Finished llvm::Module pass manager run
|
|
|
|
; 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 llvm::LazyCallGraph::SCC 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
|
|
; CHECK-NO-OP-INVALIDATION-NOT: Invalidating all non-preserved analyses
|
|
|
|
; 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: Starting llvm::Module pass manager run
|
|
; 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 all non-preserved analyses
|
|
; 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 all non-preserved analyses
|
|
; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
|
|
; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL: Finished llvm::Module pass manager run
|
|
; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
|
|
; 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: Starting llvm::Module pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Starting llvm::LazyCallGraph::SCC 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 all non-preserved analyses
|
|
; 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: Invalidating all non-preserved analyses
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpFunctionAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
|
|
; 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 llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
|
|
; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpCGSCCAnalysis
|
|
; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
|
|
; 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: Finished llvm::Module pass manager run
|
|
; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
|
|
; 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<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 \
|
|
; RUN: -passes='default<O0>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-O2
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='default<O1>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-O2
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='default<O2>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-O2
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='default<Os>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-O2
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='default<Oz>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-O2
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='lto-pre-link<O2>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-O2
|
|
; CHECK-O2: Starting llvm::Module pass manager run
|
|
; CHECK-O2: Running pass: SimplifyCFGPass
|
|
; CHECK-O2: Running pass: SROA
|
|
; CHECK-O2: Running pass: EarlyCSEPass
|
|
; CHECK-O2: Running pass: LowerExpectIntrinsicPass
|
|
|
|
; RUN: opt -disable-output -disable-verify -debug-pass-manager \
|
|
; RUN: -passes='lto<O2>' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-LTO-O2
|
|
; CHECK-LTO-O2: Starting llvm::Module pass manager run
|
|
; CHECK-LTO-O2: Running pass: InstCombinePass
|
|
; CHECK-LTO-O2: Running pass: SimplifyCFGPass
|
|
|
|
define void @foo() {
|
|
ret void
|
|
}
|
|
|
|
declare void @bar()
|