1; Validate ThinLTO post link pipeline when we have instrumentation PGO
2;
3; Postlink pipelines:
4; RUN: opt -disable-verify -debug-pass-manager \
5; RUN:     -passes='thinlto<O1>' -S %s 2>&1 \
6; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O1,%llvmcheckext --dump-input=fail
7; RUN: opt -disable-verify -debug-pass-manager \
8; RUN:     -passes='thinlto<O2>' -S  %s 2>&1 \
9; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-O23SZ,%llvmcheckext --dump-input=fail
10; RUN: opt -disable-verify -debug-pass-manager -passes-ep-pipeline-start='no-op-module' \
11; RUN:     -passes='thinlto<O3>' -S  %s 2>&1 \
12; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O3,CHECK-O23SZ,%llvmcheckext --dump-input=fail
13; RUN: opt -disable-verify -debug-pass-manager \
14; RUN:     -passes='thinlto<Os>' -S %s 2>&1 \
15; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Os,CHECK-O23SZ,%llvmcheckext --dump-input=fail
16; RUN: opt -disable-verify -debug-pass-manager \
17; RUN:     -passes='thinlto<Oz>' -S %s 2>&1 \
18; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Oz,CHECK-O23SZ,%llvmcheckext --dump-input=fail
19; RUN: opt -disable-verify -debug-pass-manager -new-pm-debug-info-for-profiling \
20; RUN:     -passes='thinlto<O2>' -S  %s 2>&1 \
21; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-O23SZ,%llvmcheckext --dump-input=fail
22;
23; CHECK-O: Running analysis: PassInstrumentationAnalysis
24; CHECK-O-NEXT: Starting {{.*}}Module pass manager run.
25; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
26; CHECK-O-NEXT: Starting {{.*}}Module pass manager run.
27; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass
28; CHECK-EP-PIPELINE-START-NEXT: Running pass: NoOpModulePass
29; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
30; CHECK-O-NEXT: Starting {{.*}}Module pass manager run.
31; CHECK-O-NEXT: Running pass: PGOIndirectCallPromotion
32; CHECK-O-NEXT: Running analysis: ProfileSummaryAnalysis
33; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
34; CHECK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
35; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
36; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
37; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
38; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
39; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
40; CHECK-O-NEXT: Starting {{.*}}Function pass manager run.
41; CHECK-O-NEXT: Running pass: SimplifyCFGPass
42; CHECK-O-NEXT: Running analysis: TargetIRAnalysis
43; CHECK-O-NEXT: Running analysis: AssumptionAnalysis
44; CHECK-O-NEXT: Running pass: SROA
45; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis
46; CHECK-O-NEXT: Running pass: EarlyCSEPass
47; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
48; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass
49; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass
50; CHECK-O-NEXT: Finished {{.*}}Function pass manager run.
51; CHECK-O-NEXT: Running pass: IPSCCPPass
52; CHECK-O-NEXT: Running pass: CalledValuePropagationPass
53; CHECK-O-NEXT: Running pass: GlobalOptPass
54; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PromotePass>
55; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass
56; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
57; CHECK-O-NEXT: Starting {{.*}}Function pass manager run.
58; CHECK-O-NEXT: Running pass: InstCombinePass
59; CHECK-O-NEXT: Running analysis: AAManager
60; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
61; CHECK-O-NEXT: Running analysis: BlockFrequencyAnalysis on foo
62; These next two can appear in any order since they are accessed as parameters
63; on the same call to BlockFrequencyInfo::calculate.
64; CHECK-O-DAG: Running analysis: BranchProbabilityAnalysis on foo
65; CHECK-O-DAG: Running analysis: LoopAnalysis on foo
66; CHECK-O-NEXT: Running pass: SimplifyCFGPass
67; CHECK-O-NEXT: Finished {{.*}}Function pass manager run.
68; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
69; CHECK-O-NEXT: Running analysis: GlobalsAA
70; CHECK-O-NEXT: Running analysis: CallGraphAnalysis
71; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
72; CHECK-O-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor<{{.*}}LazyCallGraph{{.*}}>
73; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
74; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis
75; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
76; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
77; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>
78; CHECK-O-NEXT: Starting CGSCC pass manager run.
79; CHECK-O-NEXT: Running pass: InlinerPass
80; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
81; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass
82; CHECK-O2-NEXT: Running pass: OpenMPOptPass
83; CHECK-O3-NEXT: Running pass: OpenMPOptPass
84; CHECK-O-NEXT: Running pass: CGSCCToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
85; CHECK-O-NEXT: Starting {{.*}}Function pass manager run.
86; CHECK-O-NEXT: Running pass: SROA
87; CHECK-O-NEXT: Running pass: EarlyCSEPass
88; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis
89; CHECK-O23SZ-NEXT: Running pass: SpeculativeExecutionPass
90; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass
91; CHECK-O23SZ-NEXT: Running analysis: LazyValueAnalysis
92; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass
93; CHECK-O-NEXT: Running pass: SimplifyCFGPass
94; CHECK-O3-NEXT: Running pass: AggressiveInstCombinePass
95; CHECK-O-NEXT: Running pass: InstCombinePass
96; CHECK-O1-NEXT: Running pass: LibCallsShrinkWrapPass
97; CHECK-O2-NEXT: Running pass: LibCallsShrinkWrapPass
98; CHECK-O3-NEXT: Running pass: LibCallsShrinkWrapPass
99; CHECK-O23SZ-NEXT: Running pass: TailCallElimPass
100; CHECK-O-NEXT: Running pass: SimplifyCFGPass
101; CHECK-O-NEXT: Running pass: ReassociatePass
102; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
103; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
104; CHECK-O-NEXT: Starting {{.*}}Function pass manager run
105; CHECK-O-NEXT: Running pass: LoopSimplifyPass
106; CHECK-O-NEXT: Running pass: LCSSAPass
107; CHECK-O-NEXT: Finished {{.*}}Function pass manager run
108; CHECK-O-NEXT: Running analysis: ScalarEvolutionAnalysis
109; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
110; CHECK-O-NEXT: Starting Loop pass manager run.
111; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
112; CHECK-O-NEXT: Running pass: LoopInstSimplifyPass
113; CHECK-O-NEXT: Running pass: LoopSimplifyCFGPass
114; CHECK-O-NEXT: Running pass: LoopRotatePass
115; CHECK-O-NEXT: Running pass: LICM
116; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass
117; CHECK-O-NEXT: Finished Loop pass manager run.
118; CHECK-O-NEXT: Running pass: SimplifyCFGPass
119; CHECK-O-NEXT: Running pass: InstCombinePass
120; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
121; CHECK-O-NEXT: Starting {{.*}}Function pass manager run
122; CHECK-O-NEXT: Running pass: LoopSimplifyPass
123; CHECK-O-NEXT: Running pass: LCSSAPass
124; CHECK-O-NEXT: Finished {{.*}}Function pass manager run
125; CHECK-O-NEXT: Starting Loop pass manager run.
126; CHECK-O-NEXT: Running pass: IndVarSimplifyPass
127; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass
128; CHECK-O-NEXT: Running pass: LoopDeletionPass
129; CHECK-O-NEXT: Running pass: LoopFullUnrollPass
130; CHECK-O-NEXT: Finished Loop pass manager run.
131; CHECK-O-NEXT: Running pass: SROA on foo
132; CHECK-Os-NEXT: Running pass: MergedLoadStoreMotionPass
133; CHECK-Os-NEXT: Running pass: GVN
134; CHECK-Os-NEXT: Running analysis: MemoryDependenceAnalysis
135; CHECK-Os-NEXT: Running analysis: PhiValuesAnalysis
136; CHECK-Oz-NEXT: Running pass: MergedLoadStoreMotionPass
137; CHECK-Oz-NEXT: Running pass: GVN
138; CHECK-Oz-NEXT: Running analysis: MemoryDependenceAnalysis
139; CHECK-Oz-NEXT: Running analysis: PhiValuesAnalysis
140; CHECK-O2-NEXT: Running pass: MergedLoadStoreMotionPass
141; CHECK-O2-NEXT: Running pass: GVN
142; CHECK-O2-NEXT: Running analysis: MemoryDependenceAnalysis
143; CHECK-O2-NEXT: Running analysis: PhiValuesAnalysis
144; CHECK-O3-NEXT: Running pass: MergedLoadStoreMotionPass
145; CHECK-O3-NEXT: Running pass: GVN
146; CHECK-O3-NEXT: Running analysis: MemoryDependenceAnalysis
147; CHECK-O3-NEXT: Running analysis: PhiValuesAnalysis
148; CHECK-O-NEXT: Running pass: MemCpyOptPass
149; CHECK-O1-NEXT: Running analysis: MemoryDependenceAnalysis
150; CHECK-O1-NEXT: Running analysis: PhiValuesAnalysis
151; CHECK-O-NEXT: Running pass: SCCPPass
152; CHECK-O-NEXT: Running pass: BDCEPass
153; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis
154; CHECK-O-NEXT: Running pass: InstCombinePass
155; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass
156; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass
157; CHECK-O23SZ-NEXT: Running pass: DSEPass
158; CHECK-O23SZ-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass{{.*}}>
159; CHECK-O23SZ-NEXT: Starting {{.*}}Function pass manager run
160; CHECK-O23SZ-NEXT: Running pass: LoopSimplifyPass
161; CHECK-O23SZ-NEXT: Running pass: LCSSAPass
162; CHECK-O23SZ-NEXT: Finished {{.*}}Function pass manager run
163; CHECK-O-NEXT: Running pass: ADCEPass
164; CHECK-O-NEXT: Running analysis: PostDominatorTreeAnalysis
165; CHECK-O-NEXT: Running pass: SimplifyCFGPass
166; CHECK-O-NEXT: Running pass: InstCombinePass
167; CHECK-O-NEXT: Finished {{.*}}Function pass manager run.
168; CHECK-O-NEXT: Finished CGSCC pass manager run.
169; CHECK-O-NEXT: Finished {{.*}}Module pass manager run.
170; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
171; CHECK-O-NEXT: Starting {{.*}}Module pass manager run.
172; CHECK-O-NEXT: Running pass: GlobalOptPass
173; CHECK-O-NEXT: Running pass: GlobalDCEPass
174; CHECK-O-NEXT: Running pass: EliminateAvailableExternallyPass
175; CHECK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass
176; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
177; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
178; CHECK-O-NEXT: Starting {{.*}}Function pass manager run.
179; CHECK-O-NEXT: Running pass: Float2IntPass
180; CHECK-O-NEXT: Running pass: LowerConstantIntrinsicsPass
181; CHECK-EXT: Running pass: {{.*}}::Bye
182; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopRotatePass
183; CHECK-O-NEXT: Starting {{.*}}Function pass manager run
184; CHECK-O-NEXT: Running pass: LoopSimplifyPass
185; CHECK-O-NEXT: Running pass: LCSSAPass
186; CHECK-O-NEXT: Finished {{.*}}Function pass manager run
187; CHECK-O-NEXT: Running pass: LoopDistributePass
188; CHECK-O-NEXT: Running pass: LoopVectorizePass
189; CHECK-O-NEXT: Running pass: VectorCombinePass
190; CHECK-O-NEXT: Running pass: EarlyCSEPass
191; CHECK-O-NEXT: Running pass: LoopLoadEliminationPass
192; CHECK-O-NEXT: Running analysis: LoopAccessAnalysis
193; CHECK-O-NEXT: Running pass: InstCombinePass
194; CHECK-O-NEXT: Running pass: SimplifyCFGPass
195; CHECK-O2-NEXT: Running pass: SLPVectorizerPass
196; CHECK-O3-NEXT: Running pass: SLPVectorizerPass
197; CHECK-Os-NEXT: Running pass: SLPVectorizerPass
198; CHECK-O-NEXT: Running pass: InstCombinePass
199; CHECK-O-NEXT: Running pass: LoopUnrollPass
200; CHECK-O-NEXT: Running pass: WarnMissedTransformationsPass
201; CHECK-O-NEXT: Running pass: InstCombinePass
202; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
203; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass
204; CHECK-O-NEXT: Starting {{.*}}Function pass manager run
205; CHECK-O-NEXT: Running pass: LoopSimplifyPass
206; CHECK-O-NEXT: Running pass: LCSSAPass
207; CHECK-O-NEXT: Finished {{.*}}Function pass manager run
208; CHECK-O-NEXT: Running pass: AlignmentFromAssumptionsPass
209; CHECK-O-NEXT: Running pass: LoopSinkPass
210; CHECK-O-NEXT: Running pass: InstSimplifyPass
211; CHECK-O-NEXT: Running pass: DivRemPairsPass
212; CHECK-O-NEXT: Running pass: SimplifyCFGPass
213; CHECK-O-NEXT: Running pass: SpeculateAroundPHIsPass
214; CHECK-O-NEXT: Finished {{.*}}Function pass manager run.
215; CHECK-O-NEXT: Running pass: CGProfilePass
216; CHECK-O-NEXT: Running pass: GlobalDCEPass
217; CHECK-O-NEXT: Running pass: ConstantMergePass
218; CHECK-O-NEXT: Finished {{.*}}Module pass manager run.
219; CHECK-O-NEXT: Finished {{.*}}Module pass manager run.
220; CHECK-O-NEXT: Running pass: PrintModulePass
221
222; Make sure we get the IR back out without changes when we print the module.
223; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr {
224; CHECK-O-NEXT: entry:
225; CHECK-O-NEXT:   br label %loop
226; CHECK-O:      loop:
227; CHECK-O-NEXT:   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
228; CHECK-O-NEXT:   %iv.next = add i32 %iv, 1
229; CHECK-O-NEXT:   tail call void @bar()
230; CHECK-O-NEXT:   %cmp = icmp eq i32 %iv, %n
231; CHECK-O-NEXT:   br i1 %cmp, label %exit, label %loop
232; CHECK-O:      exit:
233; CHECK-O-NEXT:   ret void
234; CHECK-O-NEXT: }
235;
236; Ignore a bunch of intervening metadata containing profile data.
237;
238; CHECK-O: Finished {{.*}}Module pass manager run.
239
240declare void @bar() local_unnamed_addr
241
242define void @foo(i32 %n) local_unnamed_addr {
243entry:
244  br label %loop
245loop:
246  %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
247  %iv.next = add i32 %iv, 1
248  tail call void @bar()
249  %cmp = icmp eq i32 %iv, %n
250  br i1 %cmp, label %exit, label %loop
251exit:
252  ret void
253}
254
255!llvm.module.flags = !{!0}
256
257!0 = !{i32 1, !"ProfileSummary", !1}
258!1 = !{!2, !3, !4, !5, !6, !7, !8, !9}
259!2 = !{!"ProfileFormat", !"InstrProf"}
260!3 = !{!"TotalCount", i64 0}
261!4 = !{!"MaxCount", i64 0}
262!5 = !{!"MaxInternalCount", i64 0}
263!6 = !{!"MaxFunctionCount", i64 0}
264!7 = !{!"NumCounts", i64 0}
265!8 = !{!"NumFunctions", i64 0}
266!9 = !{!"DetailedSummary", !10}
267!10 = !{!11, !12, !13, !14, !15, !16, !17, !18, !19, !20, !21, !22, !23, !24, !25, !26}
268!11 = !{i32 10000, i64 0, i32 0}
269!12 = !{i32 100000, i64 0, i32 0}
270!13 = !{i32 200000, i64 0, i32 0}
271!14 = !{i32 300000, i64 0, i32 0}
272!15 = !{i32 400000, i64 0, i32 0}
273!16 = !{i32 500000, i64 0, i32 0}
274!17 = !{i32 600000, i64 0, i32 0}
275!18 = !{i32 700000, i64 0, i32 0}
276!19 = !{i32 800000, i64 0, i32 0}
277!20 = !{i32 900000, i64 0, i32 0}
278!21 = !{i32 950000, i64 0, i32 0}
279!22 = !{i32 990000, i64 0, i32 0}
280!23 = !{i32 999000, i64 0, i32 0}
281!24 = !{i32 999900, i64 0, i32 0}
282!25 = !{i32 999990, i64 0, i32 0}
283!26 = !{i32 999999, i64 0, i32 0}
284