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-prefix=CHECK-O %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: Running pass: WholeProgramDevirtPass
23; CHECK-O: Running analysis: InnerAnalysisManagerProxy
24; CHECK-O: Running pass: LowerTypeTestsPass
25; CHECK-O: Invalidating analysis: InnerAnalysisManagerProxy
26; CHECK-O: Running pass: ForceFunctionAttrsPass
27; CHECK-O: Running pass: PGOIndirectCallPromotion
28; CHECK-O: Running analysis: ProfileSummaryAnalysis
29; CHECK-O: Running analysis: InnerAnalysisManagerProxy
30; CHECK-O: Running analysis: OptimizationRemarkEmitterAnalysis on main
31; CHECK-O: Running pass: InferFunctionAttrsPass
32; CHECK-O: Running pass: LowerExpectIntrinsicPass on main
33; CHECK-O: Running pass: SimplifyCFGPass on main
34; CHECK-O: Running analysis: TargetIRAnalysis on main
35; CHECK-O: Running analysis: AssumptionAnalysis on main
36; CHECK-O: Running pass: SROA on main
37; CHECK-O: Running analysis: DominatorTreeAnalysis on main
38; CHECK-O: Running pass: EarlyCSEPass on main
39; CHECK-O: Running analysis: TargetLibraryAnalysis on main
40; CHECK-O3: Running pass: CallSiteSplittingPass on main
41; CHECK-O: Running pass: LowerTypeTestsPass
42; CHECK-O: Running pass: IPSCCPPass
43; CHECK-O: Running pass: CalledValuePropagationPass
44; CHECK-O: Running pass: GlobalOptPass
45; CHECK-O: Invalidating analysis: InnerAnalysisManagerProxy
46; CHECK-O: Running analysis: InnerAnalysisManagerProxy
47; CHECK-O: Running pass: PromotePass
48; CHECK-O: Running analysis: DominatorTreeAnalysis on main
49; CHECK-O: Running analysis: AssumptionAnalysis on main
50; CHECK-O: Running pass: DeadArgumentEliminationPass
51; CHECK-O: Running pass: InstCombinePass on main
52; CHECK-O: Running analysis: TargetLibraryAnalysis on main
53; CHECK-O: Running analysis: OptimizationRemarkEmitterAnalysis on main
54; CHECK-O: Running analysis: TargetIRAnalysis on main
55; CHECK-O: Running analysis: AAManager on main
56; CHECK-O: Running analysis: BasicAA on main
57; CHECK-O: Running analysis: ScopedNoAliasAA on main
58; CHECK-O: Running analysis: TypeBasedAA on main
59; CHECK-O: Running analysis: OuterAnalysisManagerProxy
60; CHECK-O: Running pass: SimplifyCFGPass on main
61; CHECK-O: Running analysis: InnerAnalysisManagerProxy
62; CHECK-O: Running analysis: LazyCallGraphAnalysis
63; CHECK-O: Running analysis: FunctionAnalysisManagerCGSCCProxy on (main)
64; CHECK-O: Running analysis: OuterAnalysisManagerProxy
65; CHECK-O: Running pass: InlinerPass on (main)
66; CHECK-O: Running pass: PostOrderFunctionAttrsPass on (main)
67; CHECK-O: Invalidating analysis: DominatorTreeAnalysis on main
68; CHECK-O: Invalidating analysis: BasicAA on main
69; CHECK-O: Invalidating analysis: AAManager on main
70; CHECK-O3: Running pass: ArgumentPromotionPass on (main)
71; CHECK-O: Running pass: SROA on main
72; These next two can appear in any order since they are accessed as parameters
73; on the same call to SROA::runImpl
74; CHECK-O-DAG: Running analysis: DominatorTreeAnalysis on main
75; CHECK-O: Running pass: EarlyCSEPass on main
76; CHECK-O: Running analysis: MemorySSAAnalysis on main
77; CHECK-O: Running analysis: AAManager on main
78; CHECK-O: Running analysis: BasicAA on main
79; CHECK-O: Running pass: SpeculativeExecutionPass on main
80; CHECK-O: Running pass: JumpThreadingPass on main
81; CHECK-O: Running analysis: LazyValueAnalysis on main
82; CHECK-O: Running pass: CorrelatedValuePropagationPass on main
83; CHECK-O: Invalidating analysis: LazyValueAnalysis on main
84; CHECK-O: Running pass: SimplifyCFGPass on main
85; CHECK-O3: Running pass: AggressiveInstCombinePass on main
86; CHECK-O: Running pass: InstCombinePass on main
87; CHECK-O: Running pass: LibCallsShrinkWrapPass on main
88; CHECK-O: Running pass: TailCallElimPass on main
89; CHECK-O: Running pass: SimplifyCFGPass on main
90; CHECK-O: Running pass: ReassociatePass on main
91; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
92; CHECK-O: Running pass: LoopSimplifyPass on main
93; CHECK-O: Running analysis: LoopAnalysis on main
94; CHECK-O: Running pass: LCSSAPass on main
95; CHECK-O: Running pass: SimplifyCFGPass on main
96; CHECK-O: Running pass: InstCombinePass on main
97; CHECK-O: Running pass: LoopSimplifyPass on main
98; CHECK-O: Running pass: LCSSAPass on main
99; CHECK-O: Running pass: SROA on main
100; CHECK-O: Running pass: MergedLoadStoreMotionPass on main
101; CHECK-O: Running pass: GVN on main
102; CHECK-O: Running pass: SCCPPass on main
103; CHECK-O: Running pass: BDCEPass on main
104; CHECK-O: Running analysis: DemandedBitsAnalysis on main
105; CHECK-O: Running pass: InstCombinePass on main
106; CHECK-O: Running pass: JumpThreadingPass on main
107; CHECK-O: Running pass: CorrelatedValuePropagationPass on main
108; CHECK-O: Running pass: ADCEPass on main
109; CHECK-O: Running analysis: PostDominatorTreeAnalysis on main
110; CHECK-O: Running pass: MemCpyOptPass on main
111; CHECK-O: Running pass: DSEPass on main
112; CHECK-O: Running pass: LoopSimplifyPass on main
113; CHECK-O: Running pass: LCSSAPass on main
114; CHECK-O: Running pass: SimplifyCFGPass on main
115; CHECK-O: Running pass: InstCombinePass on main
116; CHECK-O: Invalidating analysis: DominatorTreeAnalysis on main
117; CHECK-O: Invalidating analysis: BasicAA on main
118; CHECK-O: Invalidating analysis: AAManager on main
119; CHECK-O: Invalidating analysis: MemorySSAAnalysis on main
120; CHECK-O: Invalidating analysis: LoopAnalysis on main
121; CHECK-O: Invalidating analysis: PhiValuesAnalysis on main
122; CHECK-O: Invalidating analysis: MemoryDependenceAnalysis on main
123; CHECK-O: Invalidating analysis: DemandedBitsAnalysis on main
124; CHECK-O: Invalidating analysis: PostDominatorTreeAnalysis on main
125; CHECK-O: Invalidating analysis: CallGraphAnalysis
126; CHECK-O: Running pass: GlobalOptPass
127; CHECK-O: Running pass: GlobalDCEPass
128; CHECK-O: Running pass: EliminateAvailableExternallyPass
129; CHECK-O: Running pass: ReversePostOrderFunctionAttrsPass
130; CHECK-O: Running analysis: CallGraphAnalysis
131; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
132; CHECK-O: Running pass: Float2IntPass on main
133; CHECK-O: Running pass: LowerConstantIntrinsicsPass on main
134; CHECK-O: Running pass: LoopSimplifyPass on main
135; CHECK-O: Running analysis: LoopAnalysis on main
136; CHECK-O: Running pass: LCSSAPass on main
137; CHECK-O: Running analysis: AAManager on main
138; CHECK-O: Running analysis: BasicAA on main
139; CHECK-O: Running analysis: ScalarEvolutionAnalysis on main
140; CHECK-O: Running analysis: InnerAnalysisManagerProxy
141; CHECK-O: Running pass: LoopRotatePass on Loop at depth 1 containing: %b
142; CHECK-O: Running pass: LoopDistributePass on main
143; CHECK-O: Running pass: InjectTLIMappings on main
144; CHECK-O: Running pass: LoopVectorizePass on main
145; CHECK-O: Running analysis: BlockFrequencyAnalysis on main
146; CHECK-O: Running analysis: BranchProbabilityAnalysis on main
147; CHECK-O: Running analysis: PostDominatorTreeAnalysis on main
148; CHECK-O: Running analysis: DemandedBitsAnalysis on main
149; CHECK-O: Running pass: LoopLoadEliminationPass on main
150; CHECK-O: Running pass: InstCombinePass on main
151; CHECK-O: Running pass: SimplifyCFGPass on main
152; CHECK-O: Running pass: SLPVectorizerPass on main
153; CHECK-O: Running pass: VectorCombinePass on main
154; CHECK-O: Running pass: InstCombinePass on main
155; CHECK-O: Running pass: LoopUnrollPass on main
156; CHECK-O: Running pass: WarnMissedTransformationsPass on main
157; CHECK-O: Running pass: InstCombinePass on main
158; CHECK-O: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
159; CHECK-O: Running pass: LoopSimplifyPass on main
160; CHECK-O: Running pass: LCSSAPass on main
161; CHECK-O: Running pass: LICMPass on Loop at depth 1 containing: %b
162; CHECK-O: Running pass: AlignmentFromAssumptionsPass on main
163; CHECK-O: Running pass: LoopSinkPass on main
164; CHECK-O: Running pass: InstSimplifyPass on main
165; CHECK-O: Running pass: DivRemPairsPass on main
166; CHECK-O: Running pass: SimplifyCFGPass on main
167; CHECK-O: Running pass: CGProfilePass
168; CHECK-O: Running pass: GlobalDCEPass
169; CHECK-O: Running pass: ConstantMergePass
170
171target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
172target triple = "x86_64-grtev4-linux-gnu"
173
174define i32 @main() {
175  br label %b
176b:
177  br label %b
178  ret i32 0
179}
180