mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 11:42:57 +01:00
7dc472d231
unit for use in the PreservedAnalyses set. This doesn't have any important functional change yet but it cleans things up and makes the analysis substantially more efficient by avoiding querying through the type erasure for every analysis. I also think it makes it much easier to reason about how analyses are preserved when walking across pass managers and across IR unit abstractions. Thanks to Sean and Mehdi both for the comments and suggestions. Differential Revision: https://reviews.llvm.org/D23691 llvm-svn: 279360
456 lines
26 KiB
LLVM
456 lines
26 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: Running an SCC pass across the RefSCC: [(foo)]
|
|
; 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(i1 %x)
|
|
; 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)
|
|
; 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(i1 %x)
|
|
; 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)
|
|
; 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) {
|
|
; CHECK-NOOP: entry:
|
|
; CHECK-NOOP: br i1 %x, label %loop, label %exit
|
|
; CHECK-NOOP: loop:
|
|
; 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 -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 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: Finished llvm::Module pass manager run
|
|
; 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 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 llvm::LazyCallGraph::SCC 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: Finished llvm::Module pass manager run
|
|
; 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 %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-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
|
|
|
|
; 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 pass: ModuleToPostOrderCGSCCPassAdaptor
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running an SCC pass across the RefSCC: [(foo)]
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: RepeatedPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
|
|
; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC 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 pass: ModuleToFunctionPassAdaptor
|
|
; 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 pass: ModuleToFunctionPassAdaptor
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Function pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: FunctionToLoopPassAdaptor
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: LoopAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: DominatorTreeAnalysis
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: RepeatedPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Loop pass manager run
|
|
; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::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) {
|
|
entry:
|
|
br i1 %x, label %loop, label %exit
|
|
|
|
loop:
|
|
br label %loop
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
declare void @bar()
|