1; Validate ThinLTO prelink pipeline when we have Sample PGO
2;
3; RUN: opt -disable-verify -debug-pass-manager \
4; RUN:     -pgo-kind=pgo-sample-use-pipeline -profile-file='%S/Inputs/new-pm-thinlto-samplepgo-defaults.prof' \
5; RUN:     -passes='thinlto-pre-link<O1>,name-anon-globals' -S %s 2>&1 \
6; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O1,CHECK-O-NODIS,CHECK-O123 --dump-input=fail
7; RUN: opt -disable-verify -debug-pass-manager \
8; RUN:     -pgo-kind=pgo-sample-use-pipeline -profile-file='%S/Inputs/new-pm-thinlto-samplepgo-defaults.prof' \
9; RUN:     -passes='thinlto-pre-link<O2>,name-anon-globals' -S  %s 2>&1 \
10; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-O23SZ,CHECK-O-NODIS,CHECK-O123 --dump-input=fail
11; RUN: opt -disable-verify -debug-pass-manager \
12; RUN:     -pgo-kind=pgo-sample-use-pipeline -profile-file='%S/Inputs/new-pm-thinlto-samplepgo-defaults.prof' \
13; RUN:     -passes='thinlto-pre-link<O3>,name-anon-globals' -S -passes-ep-pipeline-start='no-op-module' %s 2>&1 \
14; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O3,CHECK-O23SZ,CHECK-O-NODIS,CHECK-O123,CHECK-EP-PIPELINE-START --dump-input=fail
15; RUN: opt -disable-verify -debug-pass-manager \
16; RUN:     -pgo-kind=pgo-sample-use-pipeline -profile-file='%S/Inputs/new-pm-thinlto-samplepgo-defaults.prof' \
17; RUN:     -passes='thinlto-pre-link<Os>,name-anon-globals' -S %s 2>&1 \
18; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Os,CHECK-O23SZ,CHECK-O-NODIS --dump-input=fail
19; RUN: opt -disable-verify -debug-pass-manager \
20; RUN:     -pgo-kind=pgo-sample-use-pipeline -profile-file='%S/Inputs/new-pm-thinlto-samplepgo-defaults.prof' \
21; RUN:     -passes='thinlto-pre-link<Oz>,name-anon-globals' -S %s 2>&1 \
22; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Oz,CHECK-O23SZ,CHECK-O-NODIS --dump-input=fail
23; RUN: opt -disable-verify -debug-pass-manager -new-pm-debug-info-for-profiling \
24; RUN:     -pgo-kind=pgo-sample-use-pipeline -profile-file='%S/Inputs/new-pm-thinlto-samplepgo-defaults.prof' \
25; RUN:     -passes='thinlto-pre-link<O2>,name-anon-globals' -S  %s 2>&1 \
26; RUN:     | FileCheck %s --check-prefixes=CHECK-DIS,CHECK-O,CHECK-O2,CHECK-O23SZ,CHECK-O123 --dump-input=fail
27;
28; CHECK-O: Running analysis: PassInstrumentationAnalysis
29; CHECK-O-NEXT: Starting {{.*}}Module pass manager run.
30; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
31; CHECK-O-NEXT: Starting {{.*}}Module pass manager run.
32; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass
33; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}AddDiscriminatorsPass>
34; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
35; CHECK-EP-PIPELINE-START-NEXT: Running pass: NoOpModulePass
36; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
37; CHECK-O-NEXT: Starting {{.*}}Module pass manager run.
38; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
39; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
40; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
41; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
42; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
43; CHECK-O-NEXT: Starting {{.*}}Function pass manager run.
44; CHECK-O-NEXT: Running pass: SimplifyCFGPass
45; CHECK-O-NEXT: Running analysis: TargetIRAnalysis
46; CHECK-O-NEXT: Running analysis: AssumptionAnalysis
47; CHECK-O-NEXT: Running pass: SROA
48; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis
49; CHECK-O-NEXT: Running pass: EarlyCSEPass
50; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
51; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass
52; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass
53; CHECK-O-NEXT: Running pass: InstCombinePass on foo
54; CHECK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis on foo
55; CHECK-O-NEXT: Running analysis: AAManager on foo
56; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
57; CHECK-O-NEXT: Finished {{.*}}Function pass manager run.
58; CHECK-O-NEXT: Running pass: SampleProfileLoaderPass
59; CHECK-O-NEXT: Running analysis: ProfileSummaryAnalysis
60; CHECK-O-NEXT: Running analysis: CallGraphAnalysis
61; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
62; CHECK-O-NEXT: Running pass: IPSCCPPass
63; CHECK-O-NEXT: Running pass: CalledValuePropagationPass
64; CHECK-O-NEXT: Running pass: GlobalOptPass
65; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PromotePass>
66; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass
67; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
68; CHECK-O-NEXT: Starting {{.*}}Function pass manager run.
69; CHECK-O-NEXT: Running pass: InstCombinePass
70; CHECK-O-NEXT: Running analysis: BlockFrequencyAnalysis on foo
71; These next two can appear in any order since they are accessed as parameters
72; on the same call to BlockFrequencyInfo::calculate.
73; CHECK-O-DAG: Running analysis: BranchProbabilityAnalysis on foo
74; CHECK-O-DAG: Running analysis: LoopAnalysis on foo
75; CHECK-O-NEXT: Running pass: SimplifyCFGPass on foo
76; CHECK-O-NEXT: Finished {{.*}}Function pass manager run
77; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
78; CHECK-O-NEXT: Running analysis: GlobalsAA
79; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
80; CHECK-O-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor<{{.*}}LazyCallGraph{{.*}}>
81; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
82; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis
83; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
84; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
85; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>
86; CHECK-O-NEXT: Starting CGSCC pass manager run.
87; CHECK-O-NEXT: Running pass: InlinerPass
88; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
89; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass
90; CHECK-O2-NEXT: Running pass: OpenMPOptPass
91; CHECK-O3-NEXT: Running pass: OpenMPOptPass
92; CHECK-O-NEXT: Running pass: CGSCCToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
93; CHECK-O-NEXT: Starting {{.*}}Function pass manager run.
94; CHECK-O-NEXT: Running pass: SROA
95; CHECK-O-NEXT: Running pass: EarlyCSEPass
96; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis
97; CHECK-O23SZ-NEXT: Running pass: SpeculativeExecutionPass
98; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass
99; CHECK-O23SZ-NEXT: Running analysis: LazyValueAnalysis
100; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass
101; CHECK-O-NEXT: Running pass: SimplifyCFGPass
102; CHECK-O3-NEXT: Running pass: AggressiveInstCombinePass
103; CHECK-O-NEXT: Running pass: InstCombinePass
104; CHECK-O1-NEXT: Running pass: LibCallsShrinkWrapPass
105; CHECK-O2-NEXT: Running pass: LibCallsShrinkWrapPass
106; CHECK-O3-NEXT: Running pass: LibCallsShrinkWrapPass
107; CHECK-O23SZ-NEXT: Running pass: TailCallElimPass
108; CHECK-O-NEXT: Running pass: SimplifyCFGPass
109; CHECK-O-NEXT: Running pass: ReassociatePass
110; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
111; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
112; CHECK-O-NEXT: Starting {{.*}}Function pass manager run
113; CHECK-O-NEXT: Running pass: LoopSimplifyPass
114; CHECK-O-NEXT: Running pass: LCSSAPass
115; CHECK-O-NEXT: Finished {{.*}}Function pass manager run
116; CHECK-O-NEXT: Running analysis: ScalarEvolutionAnalysis
117; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
118; CHECK-O-NEXT: Starting Loop pass manager run.
119; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
120; CHECK-O-NEXT: Running pass: LoopInstSimplifyPass
121; CHECK-O-NEXT: Running pass: LoopSimplifyCFGPass
122; CHECK-O-NEXT: Running pass: LoopRotatePass
123; CHECK-O-NEXT: Running pass: LICM
124; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass
125; CHECK-O-NEXT: Finished Loop pass manager run.
126; CHECK-O-NEXT: Running pass: SimplifyCFGPass
127; CHECK-O-NEXT: Running pass: InstCombinePass
128; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
129; CHECK-O-NEXT: Starting {{.*}}Function pass manager run
130; CHECK-O-NEXT: Running pass: LoopSimplifyPass
131; CHECK-O-NEXT: Running pass: LCSSAPass
132; CHECK-O-NEXT: Finished {{.*}}Function pass manager run
133; CHECK-O-NEXT: Starting Loop pass manager run.
134; CHECK-O-NEXT: Running pass: IndVarSimplifyPass
135; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass
136; CHECK-O-NEXT: Running pass: LoopDeletionPass
137; CHECK-O-NEXT: Finished Loop pass manager run.
138; CHECK-O-NEXT: Running pass: SROA on foo
139; CHECK-Os-NEXT: Running pass: MergedLoadStoreMotionPass
140; CHECK-Os-NEXT: Running pass: GVN
141; CHECK-Os-NEXT: Running analysis: MemoryDependenceAnalysis
142; CHECK-Os-NEXT: Running analysis: PhiValuesAnalysis
143; CHECK-Oz-NEXT: Running pass: MergedLoadStoreMotionPass
144; CHECK-Oz-NEXT: Running pass: GVN
145; CHECK-Oz-NEXT: Running analysis: MemoryDependenceAnalysis
146; CHECK-Oz-NEXT: Running analysis: PhiValuesAnalysis
147; CHECK-O2-NEXT: Running pass: MergedLoadStoreMotionPass
148; CHECK-O2-NEXT: Running pass: GVN
149; CHECK-O2-NEXT: Running analysis: MemoryDependenceAnalysis
150; CHECK-O2-NEXT: Running analysis: PhiValuesAnalysis
151; CHECK-O3-NEXT: Running pass: MergedLoadStoreMotionPass
152; CHECK-O3-NEXT: Running pass: GVN
153; CHECK-O3-NEXT: Running analysis: MemoryDependenceAnalysis
154; CHECK-O3-NEXT: Running analysis: PhiValuesAnalysis
155; CHECK-O-NEXT: Running pass: MemCpyOptPass
156; CHECK-O1-NEXT: Running analysis: MemoryDependenceAnalysis
157; CHECK-O1-NEXT: Running analysis: PhiValuesAnalysis
158; CHECK-O-NEXT: Running pass: SCCPPass
159; CHECK-O-NEXT: Running pass: BDCEPass
160; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis
161; CHECK-O-NEXT: Running pass: InstCombinePass
162; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass
163; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass
164; CHECK-O23SZ-NEXT: Running pass: DSEPass
165; CHECK-O23SZ-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass{{.*}}>
166; CHECK-O23SZ-NEXT: Starting {{.*}}Function pass manager run
167; CHECK-O23SZ-NEXT: Running pass: LoopSimplifyPass
168; CHECK-O23SZ-NEXT: Running pass: LCSSAPass
169; CHECK-O23SZ-NEXT: Finished {{.*}}Function pass manager run
170; CHECK-O-NEXT: Running pass: ADCEPass
171; CHECK-O-NEXT: Running analysis: PostDominatorTreeAnalysis
172; CHECK-O-NEXT: Running pass: SimplifyCFGPass
173; CHECK-O-NEXT: Running pass: InstCombinePass
174; CHECK-O3-NEXT: Running pass: ControlHeightReductionPass on foo
175; CHECK-O3-NEXT: Running analysis: RegionInfoAnalysis on foo
176; CHECK-O3-NEXT: Running analysis: DominanceFrontierAnalysis on foo
177; CHECK-O-NEXT: Finished {{.*}}Function pass manager run.
178; CHECK-O-NEXT: Finished CGSCC pass manager run.
179; CHECK-O-NEXT: Finished {{.*}}Module pass manager run.
180; CHECK-O-NEXT: Running pass: GlobalOptPass
181; CHECK-O-NEXT: Finished {{.*}}Module pass manager run.
182; CHECK-O-NEXT: Running pass: NameAnonGlobalPass
183; CHECK-O-NEXT: Running pass: PrintModulePass
184
185; Make sure we get the IR back out without changes when we print the module.
186; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr
187; CHECK-O-NEXT: entry:
188; CHECK-O-NEXT:   br label %loop
189; CHECK-O:      loop:
190; CHECK-O-NEXT:   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
191; CHECK-O-NEXT:   %iv.next = add i32 %iv, 1
192; CHECK-O-NEXT:   tail call void @bar()
193; CHECK-O-NEXT:   %cmp = icmp eq i32 %iv, %n
194; CHECK-O-NEXT:   br i1 %cmp, label %exit, label %loop
195; CHECK-O:      exit:
196; CHECK-O-NEXT:   ret void
197; CHECK-O-NEXT: }
198;
199; Ignore a bunch of intervening metadata containing profile data.
200;
201; CHECK-O: Finished {{.*}}Module pass manager run.
202
203declare void @bar() local_unnamed_addr
204
205define void @foo(i32 %n) local_unnamed_addr {
206entry:
207  br label %loop
208loop:
209  %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
210  %iv.next = add i32 %iv, 1
211  tail call void @bar()
212  %cmp = icmp eq i32 %iv, %n
213  br i1 %cmp, label %exit, label %loop
214exit:
215  ret void
216}
217