1; FIXME: This test should use CHECK-NEXT to keep up-to-date.
2; REQUIRES: x86-registered-target
3
4; Validate ThinLTO post link pipeline at O2 and O3
5
6; RUN: opt -thinlto-bc -o %t.o %s
7
8; RUN: llvm-lto2 run -thinlto-distributed-indexes %t.o \
9; RUN:   -o %t2.index \
10; RUN:   -r=%t.o,main,px
11
12; RUN: %clang -target x86_64-grtev4-linux-gnu \
13; RUN:   -O2 -fexperimental-new-pass-manager -Xclang -fdebug-pass-manager \
14; RUN:   -c -fthinlto-index=%t.o.thinlto.bc \
15; RUN:   -o %t.native.o -x ir %t.o 2>&1 | FileCheck -check-prefixes=CHECK-O,CHECK-O2 %s --dump-input=fail
16
17; RUN: %clang -target x86_64-grtev4-linux-gnu \
18; RUN:   -O3 -fexperimental-new-pass-manager -Xclang -fdebug-pass-manager \
19; RUN:   -c -fthinlto-index=%t.o.thinlto.bc \
20; RUN:   -o %t.native.o -x ir %t.o 2>&1 | FileCheck -check-prefixes=CHECK-O,CHECK-O3 %s --dump-input=fail
21
22; CHECK-O: Starting {{.*}}Module pass manager run.
23; CHECK-O: Running pass: WholeProgramDevirtPass
24; CHECK-O: Running analysis: InnerAnalysisManagerProxy
25; CHECK-O: Running pass: LowerTypeTestsPass
26; CHECK-O: Invalidating all non-preserved analyses for:
27; CHECK-O: Invalidating analysis: InnerAnalysisManagerProxy
28; CHECK-O: Running pass: ForceFunctionAttrsPass
29; CHECK-O: Starting {{.*}}Module pass manager run.
30; CHECK-O: Running pass: PGOIndirectCallPromotion
31; CHECK-O: Running analysis: ProfileSummaryAnalysis
32; CHECK-O: Running analysis: InnerAnalysisManagerProxy
33; CHECK-O: Running analysis: OptimizationRemarkEmitterAnalysis on main
34; CHECK-O: Running pass: InferFunctionAttrsPass
35; CHECK-O: Starting {{.*}}Function pass manager run.
36; CHECK-O: Running pass: SimplifyCFGPass on main
37; CHECK-O: Running analysis: TargetIRAnalysis on main
38; CHECK-O: Running analysis: AssumptionAnalysis on main
39; CHECK-O: Running pass: SROA on main
40; CHECK-O: Running analysis: DominatorTreeAnalysis on main
41; CHECK-O: Running pass: EarlyCSEPass on main
42; CHECK-O: Running analysis: TargetLibraryAnalysis on main
43; CHECK-O: Running pass: LowerExpectIntrinsicPass on main
44; CHECK-O3: Running pass: CallSiteSplittingPass on main
45; CHECK-O: Finished {{.*}}Function pass manager run.
46; CHECK-O: Running pass: LowerTypeTestsPass
47; CHECK-O: Running pass: IPSCCPPass
48; CHECK-O: Running pass: CalledValuePropagationPass
49; CHECK-O: Running pass: GlobalOptPass
50; CHECK-O: Invalidating all non-preserved analyses for:
51; CHECK-O: Invalidating analysis: InnerAnalysisManagerProxy
52; CHECK-O: Running analysis: InnerAnalysisManagerProxy
53; CHECK-O: Running pass: PromotePass
54; CHECK-O: Running analysis: DominatorTreeAnalysis on main
55; CHECK-O: Running analysis: AssumptionAnalysis on main
56; CHECK-O: Running pass: DeadArgumentEliminationPass
57; CHECK-O: Starting {{.*}}Function pass manager run.
58; CHECK-O: Running pass: InstCombinePass on main
59; CHECK-O: Running analysis: TargetLibraryAnalysis on main
60; CHECK-O: Running analysis: OptimizationRemarkEmitterAnalysis on main
61; CHECK-O: Running analysis: TargetIRAnalysis on main
62; CHECK-O: Running analysis: AAManager on main
63; CHECK-O: Running analysis: BasicAA on main
64; CHECK-O: Running analysis: ScopedNoAliasAA on main
65; CHECK-O: Running analysis: TypeBasedAA on main
66; CHECK-O: Running analysis: OuterAnalysisManagerProxy
67; CHECK-O: Running pass: SimplifyCFGPass on main
68; CHECK-O: Finished {{.*}}Function pass manager run.
69; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
70; CHECK-O: Running analysis: GlobalsAA
71; CHECK-O: Running analysis: CallGraphAnalysis
72; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
73; CHECK-O: Running analysis: InnerAnalysisManagerProxy
74; CHECK-O: Running analysis: LazyCallGraphAnalysis
75; CHECK-O: Running analysis: FunctionAnalysisManagerCGSCCProxy on (main)
76; CHECK-O: Running analysis: OuterAnalysisManagerProxy
77; CHECK-O: Starting CGSCC pass manager run.
78; CHECK-O: Running pass: InlinerPass on (main)
79; CHECK-O: Running pass: PostOrderFunctionAttrsPass on (main)
80; CHECK-O: Invalidating all non-preserved analyses for: (main)
81; CHECK-O: Clearing all analysis results for: main
82; CHECK-O3: Running pass: ArgumentPromotionPass on (main)
83; CHECK-O3: Running analysis: TargetIRAnalysis on main
84; CHECK-O: Starting {{.*}}Function pass manager run.
85; CHECK-O: Running pass: SROA on main
86; These next two can appear in any order since they are accessed as parameters
87; on the same call to SROA::runImpl
88; CHECK-O-DAG: Running analysis: DominatorTreeAnalysis on main
89; CHECK-O-DAG: Running analysis: AssumptionAnalysis on main
90; CHECK-O: Running pass: EarlyCSEPass on main
91; CHECK-O: Running analysis: TargetLibraryAnalysis on main
92; CHECK-O2: Running analysis: TargetIRAnalysis on main
93; CHECK-O: Running analysis: MemorySSAAnalysis on main
94; CHECK-O: Running analysis: AAManager on main
95; CHECK-O: Running analysis: BasicAA on main
96; CHECK-O: Running analysis: ScopedNoAliasAA on main
97; CHECK-O: Running analysis: TypeBasedAA on main
98; CHECK-O: Running analysis: OuterAnalysisManagerProxy
99; CHECK-O: Running pass: SpeculativeExecutionPass on main
100; CHECK-O: Running pass: JumpThreadingPass on main
101; CHECK-O: Running analysis: LazyValueAnalysis on main
102; CHECK-O: Running pass: CorrelatedValuePropagationPass on main
103; CHECK-O: Running pass: SimplifyCFGPass on main
104; CHECK-O3: Running pass: AggressiveInstCombinePass on main
105; CHECK-O: Running pass: InstCombinePass on main
106; CHECK-O: Running analysis: OptimizationRemarkEmitterAnalysis on main
107; CHECK-O: Running pass: LibCallsShrinkWrapPass on main
108; CHECK-O: Running pass: TailCallElimPass on main
109; CHECK-O: Running pass: SimplifyCFGPass on main
110; CHECK-O: Running pass: ReassociatePass on main
111; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
112; CHECK-O: Starting {{.*}}Function pass manager run.
113; CHECK-O: Running pass: LoopSimplifyPass on main
114; CHECK-O: Running analysis: LoopAnalysis on main
115; CHECK-O: Running pass: LCSSAPass on main
116; CHECK-O: Finished {{.*}}Function pass manager run.
117; CHECK-O: Running pass: SimplifyCFGPass on main
118; CHECK-O: Running pass: InstCombinePass on main
119; CHECK-O: Starting {{.*}}Function pass manager run.
120; CHECK-O: Running pass: LoopSimplifyPass on main
121; CHECK-O: Running pass: LCSSAPass on main
122; CHECK-O: Finished {{.*}}Function pass manager run.
123; CHECK-O: Running pass: SROA on main
124; CHECK-O: Running pass: MergedLoadStoreMotionPass on main
125; CHECK-O: Running pass: GVN on main
126; CHECK-O: Running analysis: MemoryDependenceAnalysis on main
127; CHECK-O: Running analysis: PhiValuesAnalysis on main
128; CHECK-O: Running pass: MemCpyOptPass on main
129; CHECK-O: Running pass: SCCPPass on main
130; CHECK-O: Running pass: BDCEPass on main
131; CHECK-O: Running analysis: DemandedBitsAnalysis on main
132; CHECK-O: Running pass: InstCombinePass on main
133; CHECK-O: Running pass: JumpThreadingPass on main
134; CHECK-O: Running pass: CorrelatedValuePropagationPass on main
135; CHECK-O: Running pass: DSEPass on main
136; CHECK-O: Starting {{.*}}Function pass manager run.
137; CHECK-O: Running pass: LoopSimplifyPass on main
138; CHECK-O: Running pass: LCSSAPass on main
139; CHECK-O: Finished {{.*}}Function pass manager run.
140; CHECK-O: Running pass: ADCEPass on main
141; CHECK-O: Running analysis: PostDominatorTreeAnalysis on main
142; CHECK-O: Running pass: SimplifyCFGPass on main
143; CHECK-O: Running pass: InstCombinePass on main
144; CHECK-O: Finished {{.*}}Function pass manager run.
145; CHECK-O: Finished CGSCC pass manager run.
146; CHECK-O: Invalidating all non-preserved analyses for:
147; CHECK-O: Invalidating all non-preserved analyses for: main
148; CHECK-O: Invalidating analysis: DominatorTreeAnalysis on main
149; CHECK-O: Invalidating analysis: BasicAA on main
150; CHECK-O: Invalidating analysis: AAManager on main
151; CHECK-O: Invalidating analysis: MemorySSAAnalysis on main
152; CHECK-O: Invalidating analysis: LazyValueAnalysis on main
153; CHECK-O: Invalidating analysis: LoopAnalysis on main
154; CHECK-O: Invalidating analysis: PhiValuesAnalysis on main
155; CHECK-O: Invalidating analysis: MemoryDependenceAnalysis on main
156; CHECK-O: Invalidating analysis: DemandedBitsAnalysis on main
157; CHECK-O: Invalidating analysis: PostDominatorTreeAnalysis on main
158; CHECK-O: Invalidating analysis: CallGraphAnalysis
159; CHECK-O: Finished {{.*}}Module pass manager run.
160; CHECK-O: Starting {{.*}}Module pass manager run.
161; CHECK-O: Running pass: GlobalOptPass
162; CHECK-O: Running pass: GlobalDCEPass
163; CHECK-O: Running pass: EliminateAvailableExternallyPass
164; CHECK-O: Running pass: ReversePostOrderFunctionAttrsPass
165; CHECK-O: Running analysis: CallGraphAnalysis
166; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
167; CHECK-O: Starting {{.*}}Function pass manager run.
168; CHECK-O: Running pass: Float2IntPass on main
169; CHECK-O: Running pass: LowerConstantIntrinsicsPass on main
170; CHECK-O: Starting {{.*}}Function pass manager run.
171; CHECK-O: Running pass: LoopSimplifyPass on main
172; CHECK-O: Running analysis: LoopAnalysis on main
173; CHECK-O: Running pass: LCSSAPass on main
174; CHECK-O: Finished {{.*}}Function pass manager run.
175; CHECK-O: Running analysis: MemorySSAAnalysis on main
176; CHECK-O: Running analysis: AAManager on main
177; CHECK-O: Running analysis: BasicAA on main
178; CHECK-O: Running analysis: ScalarEvolutionAnalysis on main
179; CHECK-O: Running analysis: InnerAnalysisManagerProxy
180; CHECK-O: Running pass: LoopRotatePass on Loop at depth 1 containing: %b
181; CHECK-O: Running pass: LoopDistributePass on main
182; CHECK-O: Running pass: InjectTLIMappings on main
183; CHECK-O: Running pass: LoopVectorizePass on main
184; CHECK-O: Running analysis: BlockFrequencyAnalysis on main
185; CHECK-O: Running analysis: BranchProbabilityAnalysis on main
186; CHECK-O: Running analysis: PostDominatorTreeAnalysis on main
187; CHECK-O: Running analysis: DemandedBitsAnalysis on main
188; CHECK-O: Running pass: LoopLoadEliminationPass on main
189; CHECK-O: Running analysis: LoopAccessAnalysis on Loop at depth 1 containing: %b
190; CHECK-O: Running pass: InstCombinePass on main
191; CHECK-O: Running pass: SimplifyCFGPass on main
192; CHECK-O: Running pass: SLPVectorizerPass on main
193; CHECK-O: Running pass: VectorCombinePass on main
194; CHECK-O: Running pass: InstCombinePass on main
195; CHECK-O: Running pass: LoopUnrollPass on main
196; CHECK-O: Running pass: WarnMissedTransformationsPass on main
197; CHECK-O: Running pass: InstCombinePass on main
198; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
199; CHECK-O: Starting {{.*}}Function pass manager run.
200; CHECK-O: Running pass: LoopSimplifyPass on main
201; CHECK-O: Running pass: LCSSAPass on main
202; CHECK-O: Finished {{.*}}Function pass manager run.
203; CHECK-O: Running pass: LICMPass on Loop at depth 1 containing: %b
204; CHECK-O: Running pass: AlignmentFromAssumptionsPass on main
205; CHECK-O: Running pass: LoopSinkPass on main
206; CHECK-O: Running pass: InstSimplifyPass on main
207; CHECK-O: Running pass: DivRemPairsPass on main
208; CHECK-O: Running pass: SimplifyCFGPass on main
209; CHECK-O: Running pass: SpeculateAroundPHIsPass on main
210; CHECK-O: Finished {{.*}}Function pass manager run.
211; CHECK-O: Running pass: CGProfilePass
212; CHECK-O: Running pass: GlobalDCEPass
213; CHECK-O: Running pass: ConstantMergePass
214; CHECK-O: Finished {{.*}}Module pass manager run.
215; CHECK-O: Finished {{.*}}Module pass manager run.
216
217target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
218target triple = "x86_64-grtev4-linux-gnu"
219
220define i32 @main() {
221  br label %b
222b:
223  br label %b
224  ret i32 0
225}
226