Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 8ca43224db45c489cf7bf765d057f3d1a92be92b / . / llvm / test / Other / new-pass-manager.ll
blob: 2cb54ba49a80e9ffc2ac440f9493f60fdbedee3a [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 Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]11; CHECK-MODULE-PASS: Starting pass manager
12; CHECK-MODULE-PASS-NEXT: Running pass: NoOpModulePass
13; CHECK-MODULE-PASS-NEXT: Finished pass manager
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 Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]21; CHECK-CGSCC-PASS: Starting pass manager
22; CHECK-CGSCC-PASS-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]23; CHECK-CGSCC-PASS-NEXT: Running analysis: CGSCCAnalysisManagerModuleProxy
24; CHECK-CGSCC-PASS-NEXT: Running analysis: Lazy CallGraph Analysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]25; CHECK-CGSCC-PASS-NEXT: Starting pass manager
26; CHECK-CGSCC-PASS-NEXT: Running pass: NoOpCGSCCPass
27; CHECK-CGSCC-PASS-NEXT: Finished pass manager
28; CHECK-CGSCC-PASS-NEXT: Finished pass manager
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]29
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]30; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]31; RUN: -passes=no-op-function %s 2>&1 \
32; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]33; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]34; RUN: -passes='function(no-op-function)' %s 2>&1 \
35; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]36; CHECK-FUNCTION-PASS: Starting pass manager
37; CHECK-FUNCTION-PASS-NEXT: Running pass: ModuleToFunctionPassAdaptor
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]38; CHECK-FUNCTION-PASS-NEXT: Running analysis: FunctionAnalysisManagerModuleProxy
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]39; CHECK-FUNCTION-PASS-NEXT: Starting pass manager
40; CHECK-FUNCTION-PASS-NEXT: Running pass: NoOpFunctionPass
41; CHECK-FUNCTION-PASS-NEXT: Finished pass manager
42; CHECK-FUNCTION-PASS-NEXT: Finished pass manager
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]43
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]44; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \
45; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PRINT
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]46; CHECK-MODULE-PRINT: Starting pass manager
47; CHECK-MODULE-PRINT: Running pass: VerifierPass
48; CHECK-MODULE-PRINT: Running pass: PrintModulePass
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]49; CHECK-MODULE-PRINT: ModuleID
50; CHECK-MODULE-PRINT: define void @foo()
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]51; CHECK-MODULE-PRINT: Running pass: VerifierPass
52; CHECK-MODULE-PRINT: Finished pass manager
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]53
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]54; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='print,verify' %s 2>&1 \
55; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]56; CHECK-MODULE-VERIFY: Starting pass manager
57; CHECK-MODULE-VERIFY: Running pass: PrintModulePass
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]58; CHECK-MODULE-VERIFY: ModuleID
59; CHECK-MODULE-VERIFY: define void @foo()
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]60; CHECK-MODULE-VERIFY: Running pass: VerifierPass
61; CHECK-MODULE-VERIFY: Finished pass manager
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]62
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]63; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \
64; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]65; CHECK-FUNCTION-PRINT: Starting pass manager
66; CHECK-FUNCTION-PRINT: Running pass: VerifierPass
67; CHECK-FUNCTION-PRINT: Running pass: ModuleToFunctionPassAdaptor
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]68; CHECK-FUNCTION-PRINT: Running analysis: FunctionAnalysisManagerModuleProxy
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]69; CHECK-FUNCTION-PRINT: Starting pass manager
70; CHECK-FUNCTION-PRINT: Running pass: PrintFunctionPass
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]71; CHECK-FUNCTION-PRINT-NOT: ModuleID
72; CHECK-FUNCTION-PRINT: define void @foo()
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]73; CHECK-FUNCTION-PRINT: Finished pass manager
74; CHECK-FUNCTION-PRINT: Running pass: VerifierPass
75; CHECK-FUNCTION-PRINT: Finished pass manager
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]76
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]77; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='function(print,verify)' %s 2>&1 \
78; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]79; CHECK-FUNCTION-VERIFY: Starting pass manager
80; CHECK-FUNCTION-VERIFY: Starting pass manager
81; CHECK-FUNCTION-VERIFY: Running pass: PrintFunctionPass
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]82; CHECK-FUNCTION-VERIFY-NOT: ModuleID
83; CHECK-FUNCTION-VERIFY: define void @foo()
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]84; CHECK-FUNCTION-VERIFY: Running pass: VerifierPass
85; CHECK-FUNCTION-VERIFY: Finished pass manager
86; CHECK-FUNCTION-VERIFY: Finished pass manager
Chandler Carruth9c31db42015-01-05 00:08:53 +0000[diff] [blame]87
Chandler Carruthb353c3f2014-01-13 05:16:45 +0000[diff] [blame]88; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \
89; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
90; CHECK-NOOP: define void @foo() {
91; CHECK-NOOP: ret void
92; CHECK-NOOP: }
93
Chandler Carruthb7bdfd62014-01-13 07:38:24 +0000[diff] [blame]94; Round trip through bitcode.
95; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \
96; RUN: | llvm-dis \
97; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
98
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]99; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \
100; RUN: | FileCheck %s --check-prefix=CHECK-VERIFY-EACH
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]101; CHECK-VERIFY-EACH: Starting pass manager
102; CHECK-VERIFY-EACH: Running pass: VerifierPass
103; CHECK-VERIFY-EACH: Running pass: NoOpModulePass
104; CHECK-VERIFY-EACH: Running pass: VerifierPass
105; CHECK-VERIFY-EACH: Starting pass manager
106; CHECK-VERIFY-EACH: Running pass: NoOpFunctionPass
107; CHECK-VERIFY-EACH: Running pass: VerifierPass
108; CHECK-VERIFY-EACH: Finished pass manager
109; CHECK-VERIFY-EACH: Running pass: VerifierPass
110; CHECK-VERIFY-EACH: Finished pass manager
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]111
112; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \
113; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]114; CHECK-NO-VERIFY: Starting pass manager
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]115; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]116; CHECK-NO-VERIFY: Running pass: NoOpModulePass
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]117; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]118; CHECK-NO-VERIFY: Starting pass manager
119; CHECK-NO-VERIFY: Running pass: NoOpFunctionPass
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]120; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]121; CHECK-NO-VERIFY: Finished pass manager
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]122; CHECK-NO-VERIFY-NOT: VerifierPass
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]123; CHECK-NO-VERIFY: Finished pass manager
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]124
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]125; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]126; RUN: -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \
127; RUN: | FileCheck %s --check-prefix=CHECK-ANALYSES
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]128; CHECK-ANALYSES: Starting pass manager
129; CHECK-ANALYSES: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]130; CHECK-ANALYSES: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]131; CHECK-ANALYSES: Starting pass manager
132; CHECK-ANALYSES: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]133; CHECK-ANALYSES: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]134; CHECK-ANALYSES: Starting pass manager
135; CHECK-ANALYSES: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]136; CHECK-ANALYSES: Running analysis: NoOpFunctionAnalysis
Chandler Carruthe5e8fb32015-01-05 12:21:44 +0000[diff] [blame]137
Chandler Carruth539dc4b2015-01-05 12:32:11 +0000[diff] [blame]138; Make sure no-op passes that preserve all analyses don't even try to do any
139; analysis invalidation.
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]140; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]141; 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]142; RUN: | FileCheck %s --check-prefix=CHECK-NO-OP-INVALIDATION
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]143; CHECK-NO-OP-INVALIDATION: Starting pass manager
Chandler Carruth539dc4b2015-01-05 12:32:11 +0000[diff] [blame]144; CHECK-NO-OP-INVALIDATION-NOT: Invalidating all non-preserved analyses
145
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]146; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]147; RUN: -passes='require<no-op-module>,require<no-op-module>,require<no-op-module>' %s 2>&1 \
148; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]149; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Starting pass manager
150; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]151; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
152; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]153
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]154; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]155; RUN: -passes='require<no-op-module>,invalidate<no-op-module>,require<no-op-module>' %s 2>&1 \
156; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]157; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Starting pass manager
158; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]159; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
160; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Invalidating analysis: NoOpModuleAnalysis
161; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running analysis: NoOpModuleAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]162
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]163; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]164; RUN: -passes='cgscc(require<no-op-cgscc>,require<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
165; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]166; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Starting pass manager
167; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]168; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
169; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS-NOT: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]170
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]171; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]172; RUN: -passes='cgscc(require<no-op-cgscc>,invalidate<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
173; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]174; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Starting pass manager
175; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]176; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
177; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Invalidating analysis: NoOpCGSCCAnalysis
178; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]179
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]180; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]181; RUN: -passes='function(require<no-op-function>,require<no-op-function>,require<no-op-function>)' %s 2>&1 \
182; RUN: | FileCheck %s --check-prefix=CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]183; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Starting pass manager
184; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]185; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
186; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS-NOT: Running analysis: NoOpFunctionAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]187
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]188; RUN: opt -disable-output -debug-pass-manager \
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]189; RUN: -passes='function(require<no-op-function>,invalidate<no-op-function>,require<no-op-function>)' %s 2>&1 \
190; RUN: | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]191; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Starting pass manager
192; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]193; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
194; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Invalidating analysis: NoOpFunctionAnalysis
195; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running analysis: NoOpFunctionAnalysis
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]196
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]197; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]198; 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]199; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]200; CHECK-INVALIDATE-ALL: Starting pass manager
201; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]202; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]203; CHECK-INVALIDATE-ALL: Starting pass manager
204; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]205; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]206; CHECK-INVALIDATE-ALL: Starting pass manager
207; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]208; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]209; CHECK-INVALIDATE-ALL: Running pass: InvalidateAllAnalysesPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]210; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
211; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]212; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]213; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]214; CHECK-INVALIDATE-ALL: Finished pass manager
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]215; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
216; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpFunctionAnalysis
217; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
218; CHECK-INVALIDATE-ALL: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]219; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]220; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]221; CHECK-INVALIDATE-ALL: Finished pass manager
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]222; CHECK-INVALIDATE-ALL: Invalidating all non-preserved analyses
223; CHECK-INVALIDATE-ALL-NOT: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]224; CHECK-INVALIDATE-ALL: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]225; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]226; CHECK-INVALIDATE-ALL: Finished pass manager
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]227
Chandler Carruth703378f2015-01-13 22:45:13 +0000[diff] [blame]228; RUN: opt -disable-output -disable-verify -debug-pass-manager \
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]229; 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 \
230; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE-ALL-CG
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]231; CHECK-INVALIDATE-ALL-CG: Starting pass manager
232; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]233; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]234; CHECK-INVALIDATE-ALL-CG: Starting pass manager
235; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]236; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]237; CHECK-INVALIDATE-ALL-CG: Starting pass manager
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: NoOpCGSCCAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]240; CHECK-INVALIDATE-ALL-CG: Starting pass manager
241; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]242; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]243; CHECK-INVALIDATE-ALL-CG: Running pass: InvalidateAllAnalysesPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]244; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
245; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]246; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]247; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]248; CHECK-INVALIDATE-ALL-CG: Finished pass manager
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]249; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
250; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpFunctionAnalysis
251; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
252; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpCGSCCAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]253; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]254; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]255; CHECK-INVALIDATE-ALL-CG: Finished pass manager
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]256; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
257; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpCGSCCAnalysis
258; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
259; CHECK-INVALIDATE-ALL-CG: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]260; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]261; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]262; CHECK-INVALIDATE-ALL-CG: Finished pass manager
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]263; CHECK-INVALIDATE-ALL-CG: Invalidating all non-preserved analyses
264; CHECK-INVALIDATE-ALL-CG-NOT: Invalidating analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]265; CHECK-INVALIDATE-ALL-CG: Running pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame]266; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth816702f2015-01-13 11:13:56 +0000[diff] [blame]267; CHECK-INVALIDATE-ALL-CG: Finished pass manager
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]268
Chandler Carruth8ca43222015-01-15 11:39:46 +0000[diff] [blame^]269; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
270; RUN: -passes='require<targetlibinfo>,invalidate<all>,require<targetlibinfo>' \
271; RUN: | FileCheck %s --check-prefix=CHECK-TLI
272; CHECK-TLI: Starting pass manager
273; CHECK-TLI: Running pass: RequireAnalysisPass
274; CHECK-TLI: Running analysis: TargetLibraryAnalysis
275; CHECK-TLI: Running pass: InvalidateAllAnalysesPass
276; CHECK-TLI-NOT: Invalidating analysis: TargetLibraryAnalysis
277; CHECK-TLI: Running pass: RequireAnalysisPass
278; CHECK-TLI-NOT: Running analysis: TargetLibraryAnalysis
279; CHECK-TLI: Finished pass manager
280
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]281define void @foo() {
282 ret void
283}