Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 7ad6d620b7da7812d6fd948660f1c33d3456edda / . / llvm / test / Other / new-pass-manager.ll
blob: 18b4d5c151276b903b3f2210b14393a9cd5466a4 [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 Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]8; RUN: opt -disable-output -disable-verify -debug-pass-manager -debug-cgscc-pass-manager \
9; RUN: -passes=no-op-module %s 2>&1 \
10; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS
11; CHECK-MODULE-PASS: Starting module pass manager
12; CHECK-MODULE-PASS-NEXT: Running module pass: NoOpModulePass
13; CHECK-MODULE-PASS-NEXT: Finished module pass manager run.
14
15; RUN: opt -disable-output -disable-verify -debug-pass-manager -debug-cgscc-pass-manager \
16; RUN: -passes=no-op-cgscc %s 2>&1 \
17; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
18; RUN: opt -disable-output -disable-verify -debug-pass-manager -debug-cgscc-pass-manager \
19; RUN: -passes='cgscc(no-op-cgscc)' %s 2>&1 \
20; RUN: | FileCheck %s --check-prefix=CHECK-CGSCC-PASS
21; CHECK-CGSCC-PASS: Starting module pass manager
22; CHECK-CGSCC-PASS-NEXT: Running module 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 Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]25; CHECK-CGSCC-PASS-NEXT: Starting CGSCC pass manager run.
26; CHECK-CGSCC-PASS-NEXT: Running CGSCC pass: NoOpCGSCCPass
27; CHECK-CGSCC-PASS-NEXT: Finished CGSCC pass manager run.
28; CHECK-CGSCC-PASS-NEXT: Finished module pass manager run.
29
30; RUN: opt -disable-output -disable-verify -debug-pass-manager -debug-cgscc-pass-manager \
31; RUN: -passes=no-op-function %s 2>&1 \
32; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
33; RUN: opt -disable-output -disable-verify -debug-pass-manager -debug-cgscc-pass-manager \
34; RUN: -passes='function(no-op-function)' %s 2>&1 \
35; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
36; CHECK-FUNCTION-PASS: Starting module pass manager
37; CHECK-FUNCTION-PASS-NEXT: Running module pass: ModuleToFunctionPassAdaptor
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]38; CHECK-FUNCTION-PASS-NEXT: Running analysis: FunctionAnalysisManagerModuleProxy
Chandler Carruthea368f12015-01-06 08:37:58 +0000[diff] [blame]39; CHECK-FUNCTION-PASS-NEXT: Starting function pass manager run.
40; CHECK-FUNCTION-PASS-NEXT: Running function pass: NoOpFunctionPass
41; CHECK-FUNCTION-PASS-NEXT: Finished function pass manager run.
42; CHECK-FUNCTION-PASS-NEXT: Finished module pass manager run.
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
46; CHECK-MODULE-PRINT: Starting module pass manager
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]47; CHECK-MODULE-PRINT: Running module pass: VerifierPass
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]48; CHECK-MODULE-PRINT: Running module pass: PrintModulePass
49; CHECK-MODULE-PRINT: ModuleID
50; CHECK-MODULE-PRINT: define void @foo()
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]51; CHECK-MODULE-PRINT: Running module pass: VerifierPass
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]52; CHECK-MODULE-PRINT: Finished module pass manager
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
56; CHECK-MODULE-VERIFY: Starting module pass manager
57; CHECK-MODULE-VERIFY: Running module pass: PrintModulePass
58; CHECK-MODULE-VERIFY: ModuleID
59; CHECK-MODULE-VERIFY: define void @foo()
60; CHECK-MODULE-VERIFY: Running module pass: VerifierPass
61; CHECK-MODULE-VERIFY: Finished module pass manager
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
65; CHECK-FUNCTION-PRINT: Starting module pass manager
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]66; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass
Chandler Carruthe5e8fb32015-01-05 12:21:44 +0000[diff] [blame]67; CHECK-FUNCTION-PRINT: Running module pass: ModuleToFunctionPassAdaptor
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]68; CHECK-FUNCTION-PRINT: Running analysis: FunctionAnalysisManagerModuleProxy
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]69; CHECK-FUNCTION-PRINT: Starting function pass manager
70; CHECK-FUNCTION-PRINT: Running function pass: PrintFunctionPass
71; CHECK-FUNCTION-PRINT-NOT: ModuleID
72; CHECK-FUNCTION-PRINT: define void @foo()
73; CHECK-FUNCTION-PRINT: Finished function pass manager
Chandler Carruth4d356312014-01-20 11:34:08 +0000[diff] [blame]74; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]75; CHECK-FUNCTION-PRINT: Finished module pass manager
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
79; CHECK-FUNCTION-VERIFY: Starting module pass manager
80; CHECK-FUNCTION-VERIFY: Starting function pass manager
81; CHECK-FUNCTION-VERIFY: Running function pass: PrintFunctionPass
82; CHECK-FUNCTION-VERIFY-NOT: ModuleID
83; CHECK-FUNCTION-VERIFY: define void @foo()
84; CHECK-FUNCTION-VERIFY: Running function pass: VerifierPass
85; CHECK-FUNCTION-VERIFY: Finished function pass manager
86; CHECK-FUNCTION-VERIFY: Finished module pass manager
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
101; CHECK-VERIFY-EACH: Starting module pass manager
102; CHECK-VERIFY-EACH: Running module pass: VerifierPass
103; CHECK-VERIFY-EACH: Running module pass: NoOpModulePass
104; CHECK-VERIFY-EACH: Running module pass: VerifierPass
105; CHECK-VERIFY-EACH: Starting function pass manager
106; CHECK-VERIFY-EACH: Running function pass: NoOpFunctionPass
107; CHECK-VERIFY-EACH: Running function pass: VerifierPass
108; CHECK-VERIFY-EACH: Finished function pass manager
109; CHECK-VERIFY-EACH: Running module pass: VerifierPass
110; CHECK-VERIFY-EACH: Finished module pass manager
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
114; CHECK-NO-VERIFY: Starting module pass manager
115; CHECK-NO-VERIFY-NOT: VerifierPass
116; CHECK-NO-VERIFY: Running module pass: NoOpModulePass
117; CHECK-NO-VERIFY-NOT: VerifierPass
118; CHECK-NO-VERIFY: Starting function pass manager
119; CHECK-NO-VERIFY: Running function pass: NoOpFunctionPass
120; CHECK-NO-VERIFY-NOT: VerifierPass
121; CHECK-NO-VERIFY: Finished function pass manager
122; CHECK-NO-VERIFY-NOT: VerifierPass
123; CHECK-NO-VERIFY: Finished module pass manager
124
Chandler Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]125; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
128; CHECK-ANALYSES: Starting module pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]129; CHECK-ANALYSES: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]130; CHECK-ANALYSES: Running analysis: NoOpModuleAnalysis
Chandler Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]131; CHECK-ANALYSES: Starting CGSCC pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]132; CHECK-ANALYSES: Running CGSCC pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]133; CHECK-ANALYSES: Running analysis: NoOpCGSCCAnalysis
Chandler Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]134; CHECK-ANALYSES: Starting function pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]135; CHECK-ANALYSES: Running function 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 Carruth0b576b32015-01-06 02:50:06 +0000[diff] [blame]140; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
143; CHECK-NO-OP-INVALIDATION: Starting module pass manager
144; CHECK-NO-OP-INVALIDATION-NOT: Invalidating all non-preserved analyses
145
Chandler Carruth3472ffb2015-01-06 04:49:44 +0000[diff] [blame]146; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
149; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Starting module pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]150; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running module 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
154; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
157; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Starting module pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]158; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running module 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
163; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
166; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Starting CGSCC pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]167; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running CGSCC 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
171; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
174; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Starting CGSCC pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]175; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running CGSCC 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
180; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
183; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Starting function pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]184; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running function 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
188; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
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
191; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Starting function pass manager
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]192; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running function 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 Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]197; RUN: opt -disable-output -disable-verify -debug-pass-manager -debug-cgscc-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
200; CHECK-INVALIDATE-ALL: Starting module pass manager run.
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]201; CHECK-INVALIDATE-ALL: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]202; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]203; CHECK-INVALIDATE-ALL: Starting module pass manager run.
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]204; CHECK-INVALIDATE-ALL: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]205; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]206; CHECK-INVALIDATE-ALL: Starting function pass manager run.
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]207; CHECK-INVALIDATE-ALL: Running function pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]208; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]209; CHECK-INVALIDATE-ALL: Running function 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 Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]212; CHECK-INVALIDATE-ALL: Running function pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]213; CHECK-INVALIDATE-ALL: Running analysis: NoOpFunctionAnalysis
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]214; CHECK-INVALIDATE-ALL: Finished function pass manager run.
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 Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]219; CHECK-INVALIDATE-ALL: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]220; CHECK-INVALIDATE-ALL: Running analysis: NoOpModuleAnalysis
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]221; CHECK-INVALIDATE-ALL: Finished module pass manager run.
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 Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]224; CHECK-INVALIDATE-ALL: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]225; CHECK-INVALIDATE-ALL-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]226; CHECK-INVALIDATE-ALL: Finished module pass manager run.
227
228; RUN: opt -disable-output -disable-verify -debug-pass-manager -debug-cgscc-pass-manager \
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
231; CHECK-INVALIDATE-ALL-CG: Starting module pass manager run.
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]232; CHECK-INVALIDATE-ALL-CG: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]233; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]234; CHECK-INVALIDATE-ALL-CG: Starting module pass manager run.
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]235; CHECK-INVALIDATE-ALL-CG: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]236; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]237; CHECK-INVALIDATE-ALL-CG: Starting CGSCC pass manager run.
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]238; CHECK-INVALIDATE-ALL-CG: Running CGSCC pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]239; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]240; CHECK-INVALIDATE-ALL-CG: Starting function pass manager run.
Chandler Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]241; CHECK-INVALIDATE-ALL-CG: Running function pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]242; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]243; CHECK-INVALIDATE-ALL-CG: Running function 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 Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]246; CHECK-INVALIDATE-ALL-CG: Running function pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]247; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpFunctionAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]248; CHECK-INVALIDATE-ALL-CG: Finished function pass manager run.
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 Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]253; CHECK-INVALIDATE-ALL-CG: Running CGSCC pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]254; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpCGSCCAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]255; CHECK-INVALIDATE-ALL-CG: Finished CGSCC pass manager run.
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 Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]260; CHECK-INVALIDATE-ALL-CG: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]261; CHECK-INVALIDATE-ALL-CG: Running analysis: NoOpModuleAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]262; CHECK-INVALIDATE-ALL-CG: Finished module pass manager run.
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 Carruthe5b0a9c2015-01-07 11:14:51 +0000[diff] [blame]265; CHECK-INVALIDATE-ALL-CG: Running module pass: RequireAnalysisPass
Chandler Carruth7ad6d622015-01-13 02:51:47 +0000[diff] [blame^]266; CHECK-INVALIDATE-ALL-CG-NOT: Running analysis: NoOpModuleAnalysis
Chandler Carruthfdb41802015-01-07 01:58:35 +0000[diff] [blame]267; CHECK-INVALIDATE-ALL-CG: Finished module pass manager run.
Chandler Carruth4e107caf2015-01-06 09:06:35 +0000[diff] [blame]268
Chandler Carruth52eef882014-01-12 12:15:39 +0000[diff] [blame]269define void @foo() {
270 ret void
271}