Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / b33bfa198c8e655488c7f7a4f50f98f56ed6ce5a / . / llvm / test / Other / new-pass-manager.ll
blob: 13197a19409419a6975f1af38c5983d05a62c4c5 [file] [log] [blame]
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]1; This test is essentially doing very basic things with the opt tool and the
2; new pass manager pipeline. It will be used to flesh out the feature
3; completeness of the opt tool when the new pass manager is engaged. The tests
4; may not be useful once it becomes the default or may get spread out into other
5; files, but for now this is just going to step the new process through its
6; paces.
7
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]8; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]9; RUN: -passes=no-op-module %s 2>&1 \
10; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]11; CHECK-MODULE-PASS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]12; CHECK-MODULE-PASS-NEXT: Running pass: NoOpModulePass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]13; CHECK-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]14
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]15; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]16; RUN: -passes=no-op-cgscc %s 2>&1 \
17; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]18; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]19; RUN: -passes='cgscc(no-op-cgscc)' %s 2>&1 \
20; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]21; CHECK-CGSCC-PASS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]22; CHECK-CGSCC-PASS-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor
Chandler Carruth30811a42016-02-27 11:07:16 +0000[diff] [blame]23; CHECK-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
Chandler Carruth3a634352016-02-26 11:44:45 +0000[diff] [blame]24; CHECK-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis
Chandler Carruthdca83402016-06-27 23:26:08 +0000[diff] [blame]25; CHECK-CGSCC-PASS-NEXT: Running an SCC pass across the RefSCC: [(foo)]
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]26; CHECK-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]27; CHECK-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]28; CHECK-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
29; CHECK-CGSCC-PASS-NEXT: Finished llvm::Module pass manager run
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]30
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]31; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]32; RUN: -passes=no-op-function %s 2>&1 \
33; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]34; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]35; RUN: -passes='function(no-op-function)' %s 2>&1 \
36; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]37; CHECK-FUNCTION-PASS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]38; CHECK-FUNCTION-PASS-NEXT: Running pass: ModuleToFunctionPassAdaptor
Chandler Carruth30811a42016-02-27 11:07:16 +0000[diff] [blame]39; CHECK-FUNCTION-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]40; CHECK-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]41; CHECK-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]42; CHECK-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
43; CHECK-FUNCTION-PASS-NEXT: Finished llvm::Module pass manager run
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]44
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]45; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \
46; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PRINT
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]47; CHECK-MODULE-PRINT: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]48; CHECK-MODULE-PRINT: Running pass: VerifierPass
49; CHECK-MODULE-PRINT: Running pass: PrintModulePass
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]50; CHECK-MODULE-PRINT: ModuleID
Chandler Carruth241bf242016-08-03 07:44:48 +0000[diff] [blame]51; CHECK-MODULE-PRINT: define void @foo(i1 %x)
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]52; CHECK-MODULE-PRINT: Running pass: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]53; CHECK-MODULE-PRINT: Finished llvm::Module pass manager run
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]54
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]55; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='print,verify' %s 2>&1 \
56; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]57; CHECK-MODULE-VERIFY: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]58; CHECK-MODULE-VERIFY: Running pass: PrintModulePass
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]59; CHECK-MODULE-VERIFY: ModuleID
Chandler Carruth241bf242016-08-03 07:44:48 +0000[diff] [blame]60; CHECK-MODULE-VERIFY: define void @foo(i1 %x)
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]61; CHECK-MODULE-VERIFY: Running pass: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]62; CHECK-MODULE-VERIFY: Finished llvm::Module pass manager run
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]63
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]64; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \
65; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]66; CHECK-FUNCTION-PRINT: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]67; CHECK-FUNCTION-PRINT: Running pass: VerifierPass
68; CHECK-FUNCTION-PRINT: Running pass: ModuleToFunctionPassAdaptor
Chandler Carruth30811a42016-02-27 11:07:16 +0000[diff] [blame]69; CHECK-FUNCTION-PRINT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]70; CHECK-FUNCTION-PRINT: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]71; CHECK-FUNCTION-PRINT: Running pass: PrintFunctionPass
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]72; CHECK-FUNCTION-PRINT-NOT: ModuleID
Chandler Carruth241bf242016-08-03 07:44:48 +0000[diff] [blame]73; CHECK-FUNCTION-PRINT: define void @foo(i1 %x)
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]74; CHECK-FUNCTION-PRINT: Finished llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]75; CHECK-FUNCTION-PRINT: Running pass: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]76; CHECK-FUNCTION-PRINT: Finished llvm::Module pass manager run
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]77
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]78; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='function(print,verify)' %s 2>&1 \
79; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]80; CHECK-FUNCTION-VERIFY: Starting llvm::Module pass manager run
81; CHECK-FUNCTION-VERIFY: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]82; CHECK-FUNCTION-VERIFY: Running pass: PrintFunctionPass
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]83; CHECK-FUNCTION-VERIFY-NOT: ModuleID
Chandler Carruth241bf242016-08-03 07:44:48 +0000[diff] [blame]84; CHECK-FUNCTION-VERIFY: define void @foo(i1 %x)
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]85; CHECK-FUNCTION-VERIFY: Running pass: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]86; CHECK-FUNCTION-VERIFY: Finished llvm::Function pass manager run
87; CHECK-FUNCTION-VERIFY: Finished llvm::Module pass manager run
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]88
Chandler Carruthb353c3f2014-01-13 05:16:45 +0000[diff] [blame]89; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \
90; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
Chandler Carruth241bf242016-08-03 07:44:48 +0000[diff] [blame]91; CHECK-NOOP: define void @foo(i1 %x) {
92; CHECK-NOOP: entry:
93; CHECK-NOOP: br i1 %x, label %loop, label %exit
94; CHECK-NOOP: loop:
95; CHECK-NOOP: br label %loop
96; CHECK-NOOP: exit:
Chandler Carruthb353c3f2014-01-13 05:16:45 +0000[diff] [blame]97; CHECK-NOOP: ret void
98; CHECK-NOOP: }
99
Chandler Carruthb7bdfd62014-01-13 07:38:24 +0000[diff] [blame]100; Round trip through bitcode.
101; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \
102; RUN: | llvm-dis \
103; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
104
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]105; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \
106; RUN: | FileCheck %s --check-prefix=CHECK-VERIFY-EACH
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]107; CHECK-VERIFY-EACH: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]108; CHECK-VERIFY-EACH: Running pass: VerifierPass
109; CHECK-VERIFY-EACH: Running pass: NoOpModulePass
110; CHECK-VERIFY-EACH: Running pass: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]111; CHECK-VERIFY-EACH: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]112; CHECK-VERIFY-EACH: Running pass: NoOpFunctionPass
113; CHECK-VERIFY-EACH: Running pass: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]114; CHECK-VERIFY-EACH: Finished llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]115; CHECK-VERIFY-EACH: Running pass: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]116; CHECK-VERIFY-EACH: Finished llvm::Module pass manager run
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]117
118; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \
119; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]120; CHECK-NO-VERIFY: Starting llvm::Module pass manager run
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]121; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]122; CHECK-NO-VERIFY: Running pass: NoOpModulePass
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]123; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]124; CHECK-NO-VERIFY: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]125; CHECK-NO-VERIFY: Running pass: NoOpFunctionPass
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]126; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]127; CHECK-NO-VERIFY: Finished llvm::Function pass manager run
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]128; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]129; CHECK-NO-VERIFY: Finished llvm::Module pass manager run
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]130
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]131; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]132; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \
133; RUN: | FileCheck %s --check-prefix=CHECK-ANALYSES
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]134; CHECK-ANALYSES: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]135; CHECK-ANALYSES: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]136; CHECK-ANALYSES: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]137; CHECK-ANALYSES: Starting llvm::LazyCallGraph::SCC pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]138; CHECK-ANALYSES: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]139; CHECK-ANALYSES: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]140; CHECK-ANALYSES: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]141; CHECK-ANALYSES: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]142; CHECK-ANALYSES: Running analysis: NoOpFunctionAnalysis
Chandler Carruthe5e8fb32015-01-05 12:21:44 +0000[diff] [blame]143
Chandler Carruth539dc4b2015-01-05 12:32:11 +0000[diff] [blame]144; Make sure no-op passes that preserve all analyses don't even try to do any
145; analysis invalidation.
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]146; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]147; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \
Chandler Carruth539dc4b2015-01-05 12:32:11 +0000[diff] [blame]148; RUN: | FileCheck %s --check-prefix=CHECK-NO-OP-INVALIDATION
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]149; CHECK-NO-OP-INVALIDATION: Starting llvm::Module pass manager run
Chandler Carruth539dc4b2015-01-05 12:32:11 +0000[diff] [blame]150; CHECK-NO-OP-INVALIDATION-NOT: Invalidating all non-preserved analyses
151
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]152; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]153; RUN: -passes='require<no-op-module>,require<no-op-module>,require<no-op-module>' %s 2>&1 \
154; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]155; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]156; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]157; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
158; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]159
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]160; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]161; RUN: -passes='require<no-op-module>,invalidate<no-op-module>,require<no-op-module>' %s 2>&1 \
162; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]163; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]164; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]165; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
166; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Invalidating analysis: NoOpModuleAnalysis
167; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]168
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]169; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]170; RUN: -passes='cgscc(require<no-op-cgscc>,require<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
171; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]172; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]173; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]174; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
175; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS-NOT: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]176
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]177; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]178; RUN: -passes='cgscc(require<no-op-cgscc>,invalidate<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
179; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]180; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]181; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]182; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
183; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Invalidating analysis: NoOpCGSCCAnalysis
184; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]185
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]186; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]187; RUN: -passes='function(require<no-op-function>,require<no-op-function>,require<no-op-function>)' %s 2>&1 \
188; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]189; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]190; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]191; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
192; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS-NOT: Running analysis: NoOpFunctionAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]193
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]194; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]195; RUN: -passes='function(require<no-op-function>,invalidate<no-op-function>,require<no-op-function>)' %s 2>&1 \
196; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]197; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]198; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]199; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
200; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Invalidating analysis: NoOpFunctionAnalysis
201; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]202
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]203; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]204; 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 \
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]205; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]206; CHECK-INVALIDATE-ALL: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]207; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]208; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]209; CHECK-INVALIDATE-ALL: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]210; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]211; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]212; CHECK-INVALIDATE-ALL: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]213; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]214; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]215; CHECK-INVALIDATE-ALL: Running pass: InvalidateAllAnalysesPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]216; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
217; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]218; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]219; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]220; CHECK-INVALIDATE-ALL: Finished llvm::Function pass manager run
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]221; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
222; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpFunctionAnalysis
223; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
224; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]225; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]226; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]227; CHECK-INVALIDATE-ALL: Finished llvm::Module pass manager run
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]228; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
229; CHECK-INVALIDATE-ALL-NOT: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]230; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]231; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]232; CHECK-INVALIDATE-ALL: Finished llvm::Module pass manager run
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]233
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]234; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]235; 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 \
236; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL-CG
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]237; CHECK-INVALIDATE-ALL-CG: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]238; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]239; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]240; CHECK-INVALIDATE-ALL-CG: Starting llvm::Module pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]241; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]242; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]243; CHECK-INVALIDATE-ALL-CG: Starting llvm::LazyCallGraph::SCC pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]244; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]245; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]246; CHECK-INVALIDATE-ALL-CG: Starting llvm::Function pass manager run
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]247; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]248; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]249; CHECK-INVALIDATE-ALL-CG: Running pass: InvalidateAllAnalysesPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]250; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
251; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]252; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]253; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]254; CHECK-INVALIDATE-ALL-CG: Finished llvm::Function pass manager run
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]255; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
256; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpFunctionAnalysis
257; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
258; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpCGSCCAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]259; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]260; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]261; CHECK-INVALIDATE-ALL-CG: Finished llvm::LazyCallGraph::SCC pass manager run
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]262; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
263; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpCGSCCAnalysis
264; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
265; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]266; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]267; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]268; CHECK-INVALIDATE-ALL-CG: Finished llvm::Module pass manager run
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]269; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
270; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]271; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]272; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]273; CHECK-INVALIDATE-ALL-CG: Finished llvm::Module pass manager run
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]274
Chandler Carruth8ca43222015-01-15 11:39:46 +0000[diff] [blame]275; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
276; RUN: -passes='require<targetlibinfo>,invalidate<all>,require<targetlibinfo>' \
277; RUN: | FileCheck %s --check-prefix=CHECK-TLI
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]278; CHECK-TLI: Starting llvm::Module pass manager run
Chandler Carruth8ca43222015-01-15 11:39:46 +0000[diff] [blame]279; CHECK-TLI: Running pass: RequireAnalysisPass
280; CHECK-TLI: Running analysis: TargetLibraryAnalysis
281; CHECK-TLI: Running pass: InvalidateAllAnalysesPass
282; CHECK-TLI-NOT: Invalidating analysis: TargetLibraryAnalysis
283; CHECK-TLI: Running pass: RequireAnalysisPass
284; CHECK-TLI-NOT: Running analysis: TargetLibraryAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]285; CHECK-TLI: Finished llvm::Module pass manager run
Chandler Carruth8ca43222015-01-15 11:39:46 +0000[diff] [blame]286
Chandler Carruthe0385522015-02-01 10:11:22 +0000[diff] [blame]287; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
288; RUN: -passes='require<targetir>,invalidate<all>,require<targetir>' \
289; RUN: | FileCheck %s --check-prefix=CHECK-TIRA
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]290; CHECK-TIRA: Starting llvm::Module pass manager run
Chandler Carruthe0385522015-02-01 10:11:22 +0000[diff] [blame]291; CHECK-TIRA: Running pass: RequireAnalysisPass
292; CHECK-TIRA: Running analysis: TargetIRAnalysis
293; CHECK-TIRA: Running pass: InvalidateAllAnalysesPass
294; CHECK-TIRA-NOT: Invalidating analysis: TargetIRAnalysis
295; CHECK-TIRA: Running pass: RequireAnalysisPass
296; CHECK-TIRA-NOT: Running analysis: TargetIRAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]297; CHECK-TIRA: Finished llvm::Module pass manager run
Chandler Carruthe0385522015-02-01 10:11:22 +0000[diff] [blame]298
Chandler Carruth9f8d9b62015-02-01 10:47:25 +0000[diff] [blame]299; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
300; RUN: -passes='require<domtree>' \
301; RUN: | FileCheck %s --check-prefix=CHECK-DT
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]302; CHECK-DT: Starting llvm::Module pass manager run
Chandler Carruth9f8d9b62015-02-01 10:47:25 +0000[diff] [blame]303; CHECK-DT: Running pass: RequireAnalysisPass
304; CHECK-DT: Running analysis: DominatorTreeAnalysis
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]305; CHECK-DT: Finished llvm::Module pass manager run
Chandler Carruth9f8d9b62015-02-01 10:47:25 +0000[diff] [blame]306
Chandler Carruth6f5770b102016-02-13 23:32:00 +0000[diff] [blame]307; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
Chandler Carruthbece8d52016-02-13 23:46:24 +0000[diff] [blame]308; RUN: -passes='require<basic-aa>' \
309; RUN: | FileCheck %s --check-prefix=CHECK-BASIC-AA
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]310; CHECK-BASIC-AA: Starting llvm::Module pass manager run
Chandler Carruthbece8d52016-02-13 23:46:24 +0000[diff] [blame]311; CHECK-BASIC-AA: Running pass: RequireAnalysisPass
312; CHECK-BASIC-AA: Running analysis: BasicAA
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]313; CHECK-BASIC-AA: Finished llvm::Module pass manager run
Chandler Carruthbece8d52016-02-13 23:46:24 +0000[diff] [blame]314
Chandler Carruthedf59962016-02-18 09:45:17 +0000[diff] [blame]315; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
316; RUN: -passes='require<aa>' -aa-pipeline='basic-aa' \
317; RUN: | FileCheck %s --check-prefix=CHECK-AA
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]318; CHECK-AA: Starting llvm::Module pass manager run
Chandler Carruthedf59962016-02-18 09:45:17 +0000[diff] [blame]319; CHECK-AA: Running pass: RequireAnalysisPass
320; CHECK-AA: Running analysis: AAManager
321; CHECK-AA: Running analysis: BasicAA
Chandler Carruth395fe572016-02-25 10:27:39 +0000[diff] [blame]322; CHECK-AA: Finished llvm::Module pass manager run
Chandler Carruthedf59962016-02-18 09:45:17 +0000[diff] [blame]323
Chandler Carruth61440d22016-03-10 00:55:30 +0000[diff] [blame]324; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
325; RUN: -passes='require<memdep>' \
326; RUN: | FileCheck %s --check-prefix=CHECK-MEMDEP
327; CHECK-MEMDEP: Starting llvm::Module pass manager run
328; CHECK-MEMDEP: Running pass: RequireAnalysisPass
329; CHECK-MEMDEP: Running analysis: MemoryDependenceAnalysis
330; CHECK-MEMDEP: Finished llvm::Module pass manager run
331
Chandler Carruth4c660f72016-03-10 11:24:11 +0000[diff] [blame]332; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
333; RUN: -passes='require<callgraph>' \
334; RUN: | FileCheck %s --check-prefix=CHECK-CALLGRAPH
335; CHECK-CALLGRAPH: Starting llvm::Module pass manager run
336; CHECK-CALLGRAPH: Running pass: RequireAnalysisPass
337; CHECK-CALLGRAPH: Running analysis: CallGraphAnalysis
338; CHECK-CALLGRAPH: Finished llvm::Module pass manager run
339
Chandler Carruth8b5a74192016-02-28 22:16:03 +0000[diff] [blame]340; RUN: opt -disable-output -disable-verify -debug-pass-manager \
341; RUN: -passes='default<O0>' %s 2>&1 \
342; RUN: | FileCheck %s --check-prefix=CHECK-O2
343; RUN: opt -disable-output -disable-verify -debug-pass-manager \
344; RUN: -passes='default<O1>' %s 2>&1 \
345; RUN: | FileCheck %s --check-prefix=CHECK-O2
346; RUN: opt -disable-output -disable-verify -debug-pass-manager \
347; RUN: -passes='default<O2>' %s 2>&1 \
348; RUN: | FileCheck %s --check-prefix=CHECK-O2
349; RUN: opt -disable-output -disable-verify -debug-pass-manager \
350; RUN: -passes='default<Os>' %s 2>&1 \
351; RUN: | FileCheck %s --check-prefix=CHECK-O2
352; RUN: opt -disable-output -disable-verify -debug-pass-manager \
353; RUN: -passes='default<Oz>' %s 2>&1 \
354; RUN: | FileCheck %s --check-prefix=CHECK-O2
355; RUN: opt -disable-output -disable-verify -debug-pass-manager \
356; RUN: -passes='lto-pre-link<O2>' %s 2>&1 \
357; RUN: | FileCheck %s --check-prefix=CHECK-O2
358; CHECK-O2: Starting llvm::Module pass manager run
359; CHECK-O2: Running pass: SimplifyCFGPass
360; CHECK-O2: Running pass: SROA
361; CHECK-O2: Running pass: EarlyCSEPass
362; CHECK-O2: Running pass: LowerExpectIntrinsicPass
363
364; RUN: opt -disable-output -disable-verify -debug-pass-manager \
365; RUN: -passes='lto<O2>' %s 2>&1 \
366; RUN: | FileCheck %s --check-prefix=CHECK-LTO-O2
367; CHECK-LTO-O2: Starting llvm::Module pass manager run
368; CHECK-LTO-O2: Running pass: InstCombinePass
369; CHECK-LTO-O2: Running pass: SimplifyCFGPass
370
Chandler Carruth241bf242016-08-03 07:44:48 +0000[diff] [blame]371; RUN: opt -disable-output -disable-verify -debug-pass-manager \
372; RUN: -passes='repeat<3>(no-op-module)' %s 2>&1 \
373; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-MODULE-PASS
374; CHECK-REPEAT-MODULE-PASS: Starting llvm::Module pass manager run
375; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: RepeatingPassWrapper
376; CHECK-REPEAT-MODULE-PASS-NEXT: Starting llvm::Module pass manager run
377; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
378; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
379; CHECK-REPEAT-MODULE-PASS-NEXT: Starting llvm::Module pass manager run
380; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
381; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
382; CHECK-REPEAT-MODULE-PASS-NEXT: Starting llvm::Module pass manager run
383; CHECK-REPEAT-MODULE-PASS-NEXT: Running pass: NoOpModulePass
384; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
385; CHECK-REPEAT-MODULE-PASS-NEXT: Finished llvm::Module pass manager run
386
387; RUN: opt -disable-output -disable-verify -debug-pass-manager \
388; RUN: -passes='cgscc(repeat<3>(no-op-cgscc))' %s 2>&1 \
389; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-CGSCC-PASS
390; CHECK-REPEAT-CGSCC-PASS: Starting llvm::Module pass manager run
391; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor
392; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
393; CHECK-REPEAT-CGSCC-PASS-NEXT: Running analysis: LazyCallGraphAnalysis
394; CHECK-REPEAT-CGSCC-PASS-NEXT: Running an SCC pass across the RefSCC: [(foo)]
395; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
396; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: RepeatingPassWrapper
397; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
398; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
399; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
400; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
401; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
402; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
403; CHECK-REPEAT-CGSCC-PASS-NEXT: Starting llvm::LazyCallGraph::SCC pass manager run
404; CHECK-REPEAT-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
405; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
406; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::LazyCallGraph::SCC pass manager run
407; CHECK-REPEAT-CGSCC-PASS-NEXT: Finished llvm::Module pass manager run
408
409; RUN: opt -disable-output -disable-verify -debug-pass-manager \
410; RUN: -passes='function(repeat<3>(no-op-function))' %s 2>&1 \
411; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-FUNCTION-PASS
412; CHECK-REPEAT-FUNCTION-PASS: Starting llvm::Module pass manager run
413; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: ModuleToFunctionPassAdaptor
414; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
415; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
416; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: RepeatingPassWrapper
417; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
418; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
419; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
420; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
421; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
422; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
423; CHECK-REPEAT-FUNCTION-PASS-NEXT: Starting llvm::Function pass manager run
424; CHECK-REPEAT-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
425; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
426; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Function pass manager run
427; CHECK-REPEAT-FUNCTION-PASS-NEXT: Finished llvm::Module pass manager run
428
429; RUN: opt -disable-output -disable-verify -debug-pass-manager \
430; RUN: -passes='loop(repeat<3>(no-op-loop))' %s 2>&1 \
431; RUN: | FileCheck %s --check-prefix=CHECK-REPEAT-LOOP-PASS
432; CHECK-REPEAT-LOOP-PASS: Starting llvm::Module pass manager run
433; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: ModuleToFunctionPassAdaptor
434; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
435; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Function pass manager run
436; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: FunctionToLoopPassAdaptor
437; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
438; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: LoopAnalysis
439; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: DominatorTreeAnalysis
440; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
441; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: RepeatingPassWrapper
442; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
443; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
444; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Loop pass manager run
445; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
446; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
447; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Loop pass manager run
448; CHECK-REPEAT-LOOP-PASS-NEXT: Starting llvm::Loop pass manager run
449; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: NoOpLoopPass
450; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Loop pass manager run
451; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Loop pass manager run
452; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Function pass manager run
453; CHECK-REPEAT-LOOP-PASS-NEXT: Finished llvm::Module pass manager run
454
455define void @foo(i1 %x) {
456entry:
457 br i1 %x, label %loop, label %exit
458
459loop:
460 br label %loop
461
462exit:
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]463 ret void
464}
Chandler Carruth9f8d9b62015-02-01 10:47:25 +0000[diff] [blame]465
466declare void @bar()