1; The IR below was crafted so as:
2; 1) To have a loop, so we create a loop pass manager
3; 2) To be "immutable" in the sense that no pass in the standard
4;    pipeline will modify it.
5; Since no transformations take place, we don't expect any analyses
6; to be invalidated.
7; Any invalidation that shows up here is a bug, unless we started modifying
8; the IR, in which case we need to make it immutable harder.
9;
10; Prelink pipelines:
11; RUN: opt -disable-verify -debug-pass-manager \
12; RUN:     -passes='thinlto-pre-link<O1>,name-anon-globals' -S %s 2>&1 \
13; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O1,CHECK-PRELINK-O,CHECK-PRELINK-O-NODIS,CHECK-PRELINK-O1
14; RUN: opt -disable-verify -debug-pass-manager \
15; RUN:     -passes='thinlto-pre-link<O2>,name-anon-globals' -S  %s 2>&1 \
16; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-PRELINK-O,CHECK-PRELINK-O-NODIS,CHECK-PRELINK-O2
17; RUN: opt -disable-verify -debug-pass-manager \
18; RUN:     -passes='thinlto-pre-link<O3>,name-anon-globals' -S -passes-ep-pipeline-start='no-op-module' %s 2>&1 \
19; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O3,CHECK-PRELINK-O,CHECK-PRELINK-O-NODIS,CHECK-PRELINK-O3,CHECK-EP-PIPELINE-START
20; RUN: opt -disable-verify -debug-pass-manager \
21; RUN:     -passes='thinlto-pre-link<Os>,name-anon-globals' -S %s 2>&1 \
22; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Os,CHECK-PRELINK-O,CHECK-PRELINK-O-NODIS,CHECK-PRELINK-Os
23; RUN: opt -disable-verify -debug-pass-manager \
24; RUN:     -passes='thinlto-pre-link<Oz>,name-anon-globals' -S %s 2>&1 \
25; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Oz,CHECK-PRELINK-O,CHECK-PRELINK-O-NODIS,CHECK-PRELINK-Oz
26; RUN: opt -disable-verify -debug-pass-manager -new-pm-debug-info-for-profiling \
27; RUN:     -passes='thinlto-pre-link<O2>,name-anon-globals' -S  %s 2>&1 \
28; RUN:     | FileCheck %s --check-prefixes=CHECK-DIS,CHECK-O,CHECK-O2,CHECK-PRELINK-O,CHECK-PRELINK-O2
29; Enabling the hot-cold-split pass should not affect the ThinLTO pre-link
30; RUN: opt -disable-verify -debug-pass-manager \
31; RUN:     -passes='thinlto-pre-link<O2>,name-anon-globals' -hot-cold-split -S  %s 2>&1 \
32; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-PRELINK-O,CHECK-PRELINK-O-NODIS,CHECK-PRELINK-O2
33;
34; Postlink pipelines:
35; RUN: opt -disable-verify -debug-pass-manager \
36; RUN:     -passes='thinlto<O1>' -S %s 2>&1 \
37; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O1,CHECK-POSTLINK-O,CHECK-POSTLINK-O1
38; RUN: opt -disable-verify -debug-pass-manager \
39; RUN:     -passes='thinlto<O2>' -S  %s 2>&1 \
40; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-POSTLINK-O,CHECK-POSTLINK-O2
41; RUN: opt -disable-verify -debug-pass-manager -passes-ep-pipeline-start='no-op-module' \
42; RUN:     -passes='thinlto<O3>' -S  %s 2>&1 \
43; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O3,CHECK-POSTLINK-O,CHECK-POSTLINK-O3
44; RUN: opt -disable-verify -debug-pass-manager \
45; RUN:     -passes='thinlto<Os>' -S %s 2>&1 \
46; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Os,CHECK-POSTLINK-O,CHECK-POSTLINK-Os
47; RUN: opt -disable-verify -debug-pass-manager \
48; RUN:     -passes='thinlto<Oz>' -S %s 2>&1 \
49; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Oz,CHECK-POSTLINK-O,CHECK-POSTLINK-Oz
50; RUN: opt -disable-verify -debug-pass-manager -new-pm-debug-info-for-profiling \
51; RUN:     -passes='thinlto<O2>' -S  %s 2>&1 \
52; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-POSTLINK-O,CHECK-POSTLINK-O2
53;
54; CHECK-O: Running analysis: PassInstrumentationAnalysis
55; CHECK-O-NEXT: Starting llvm::Module pass manager run.
56; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
57; CHECK-O-NEXT: Starting llvm::Module pass manager run.
58; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass
59; CHECK-EP-PIPELINE-START-NEXT: Running pass: NoOpModulePass
60; CHECK-DIS-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}AddDiscriminatorsPass{{.*}}>
61; CHECK-DIS-NEXT: Running analysis: InnerAnalysisManagerProxy
62; CHECK-POSTLINK-O-NEXT: Running pass: PGOIndirectCallPromotion
63; CHECK-POSTLINK-O-NEXT: Running analysis: ProfileSummaryAnalysis
64; CHECK-POSTLINK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
65; CHECK-POSTLINK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
66; CHECK-POSTLINK-O-NEXT: Running analysis: PassInstrumentationAnalysis
67; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
68; CHECK-O-NEXT: Starting llvm::Module pass manager run.
69; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
70; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
71; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
72; CHECK-PRELINK-O-NODIS-NEXT: Running analysis: InnerAnalysisManagerProxy
73; CHECK-PRELINK-O-NEXT: Running analysis: PassInstrumentationAnalysis
74; CHECK-O-NEXT: Starting llvm::Function pass manager run.
75; CHECK-O-NEXT: Running pass: SimplifyCFGPass
76; CHECK-O-NEXT: Running analysis: TargetIRAnalysis
77; CHECK-O-NEXT: Running analysis: AssumptionAnalysis
78; CHECK-O-NEXT: Running pass: SROA
79; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis
80; CHECK-O-NEXT: Running pass: EarlyCSEPass
81; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
82; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass
83; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass
84; CHECK-O-NEXT: Finished llvm::Function pass manager run.
85; CHECK-O-NEXT: Running pass: IPSCCPPass
86; CHECK-O-NEXT: Running pass: CalledValuePropagationPass
87; CHECK-O-NEXT: Running pass: GlobalOptPass
88; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PromotePass>
89; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass
90; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
91; CHECK-O-NEXT: Starting llvm::Function pass manager run.
92; CHECK-O-NEXT: Running pass: InstCombinePass
93; CHECK-PRELINK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
94; CHECK-O-NEXT: Running analysis: AAManager
95; CHECK-O-NEXT: Running pass: SimplifyCFGPass
96; CHECK-O-NEXT: Finished llvm::Function pass manager run.
97; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
98; CHECK-O-NEXT: Running analysis: GlobalsAA
99; CHECK-O-NEXT: Running analysis: CallGraphAnalysis
100; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
101; CHECK-PRELINK-O-NEXT: Running analysis: ProfileSummaryAnalysis
102; CHECK-O-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor<{{.*}}LazyCallGraph{{.*}}>
103; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
104; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis
105; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
106; CHECK-O-NEXT: Starting CGSCC pass manager run.
107; CHECK-O-NEXT: Running pass: InlinerPass
108; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph{{.*}}>
109; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
110; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
111; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass
112; CHECK-O-NEXT: Running pass: CGSCCToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
113; CHECK-O-NEXT: Starting llvm::Function pass manager run.
114; CHECK-O-NEXT: Running pass: SROA
115; CHECK-O-NEXT: Running pass: EarlyCSEPass
116; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis
117; CHECK-O-NEXT: Running pass: SpeculativeExecutionPass
118; CHECK-O-NEXT: Running pass: JumpThreadingPass
119; CHECK-O-NEXT: Running analysis: LazyValueAnalysis
120; CHECK-O-NEXT: Running pass: CorrelatedValuePropagationPass
121; CHECK-O-NEXT: Running pass: SimplifyCFGPass
122; CHECK-O3-NEXT: Running pass: AggressiveInstCombinePass
123; CHECK-O-NEXT: Running pass: InstCombinePass
124; CHECK-O1-NEXT: Running pass: LibCallsShrinkWrapPass
125; CHECK-O2-NEXT: Running pass: LibCallsShrinkWrapPass
126; CHECK-O3-NEXT: Running pass: LibCallsShrinkWrapPass
127; CHECK-O-NEXT: Running pass: TailCallElimPass
128; CHECK-O-NEXT: Running pass: SimplifyCFGPass
129; CHECK-O-NEXT: Running pass: ReassociatePass
130; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
131; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
132; CHECK-O-NEXT: Starting llvm::Function pass manager run
133; CHECK-O-NEXT: Running pass: LoopSimplifyPass
134; CHECK-O-NEXT: Running analysis: LoopAnalysis
135; CHECK-O-NEXT: Running pass: LCSSAPass
136; CHECK-O-NEXT: Finished llvm::Function pass manager run
137; CHECK-O-NEXT: Running analysis: ScalarEvolutionAnalysis
138; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
139; CHECK-O-NEXT: Starting Loop pass manager run.
140; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
141; CHECK-O-NEXT: Running pass: LoopInstSimplifyPass
142; CHECK-O-NEXT: Running pass: LoopSimplifyCFGPass
143; CHECK-O-NEXT: Running pass: LoopRotatePass
144; CHECK-O-NEXT: Running pass: LICM
145; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
146; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass
147; CHECK-O-NEXT: Finished Loop pass manager run.
148; CHECK-O-NEXT: Running pass: SimplifyCFGPass
149; CHECK-O-NEXT: Running pass: InstCombinePass
150; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
151; CHECK-O-NEXT: Starting llvm::Function pass manager run
152; CHECK-O-NEXT: Running pass: LoopSimplifyPass
153; CHECK-O-NEXT: Running pass: LCSSAPass
154; CHECK-O-NEXT: Finished llvm::Function pass manager run
155; CHECK-O-NEXT: Starting Loop pass manager run.
156; CHECK-O-NEXT: Running pass: IndVarSimplifyPass
157; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass
158; CHECK-O-NEXT: Running pass: LoopDeletionPass
159; CHECK-O-NEXT: Running pass: LoopFullUnrollPass
160; CHECK-O-NEXT: Finished Loop pass manager run.
161; CHECK-Os-NEXT: Running pass: MergedLoadStoreMotionPass
162; CHECK-Os-NEXT: Running pass: GVN
163; CHECK-Os-NEXT: Running analysis: MemoryDependenceAnalysis
164; CHECK-Os-NEXT: Running analysis: PhiValuesAnalysis
165; CHECK-Oz-NEXT: Running pass: MergedLoadStoreMotionPass
166; CHECK-Oz-NEXT: Running pass: GVN
167; CHECK-Oz-NEXT: Running analysis: MemoryDependenceAnalysis
168; CHECK-Oz-NEXT: Running analysis: PhiValuesAnalysis
169; CHECK-O2-NEXT: Running pass: MergedLoadStoreMotionPass
170; CHECK-O2-NEXT: Running pass: GVN
171; CHECK-O2-NEXT: Running analysis: MemoryDependenceAnalysis
172; CHECK-O2-NEXT: Running analysis: PhiValuesAnalysis
173; CHECK-O3-NEXT: Running pass: MergedLoadStoreMotionPass
174; CHECK-O3-NEXT: Running pass: GVN
175; CHECK-O3-NEXT: Running analysis: MemoryDependenceAnalysis
176; CHECK-O3-NEXT: Running analysis: PhiValuesAnalysis
177; CHECK-O-NEXT: Running pass: MemCpyOptPass
178; CHECK-O1-NEXT: Running analysis: MemoryDependenceAnalysis
179; CHECK-O1-NEXT: Running analysis: PhiValuesAnalysis
180; CHECK-O-NEXT: Running pass: SCCPPass
181; CHECK-O-NEXT: Running pass: BDCEPass
182; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis
183; CHECK-O-NEXT: Running pass: InstCombinePass
184; CHECK-O-NEXT: Running pass: JumpThreadingPass
185; CHECK-O-NEXT: Running pass: CorrelatedValuePropagationPass
186; CHECK-O-NEXT: Running pass: DSEPass
187; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass{{.*}}>
188; CHECK-O-NEXT: Starting llvm::Function pass manager run
189; CHECK-O-NEXT: Running pass: LoopSimplifyPass
190; CHECK-O-NEXT: Running pass: LCSSAPass
191; CHECK-O-NEXT: Finished llvm::Function pass manager run
192; CHECK-O-NEXT: Running pass: ADCEPass
193; CHECK-O-NEXT: Running analysis: PostDominatorTreeAnalysis
194; CHECK-O-NEXT: Running pass: SimplifyCFGPass
195; CHECK-O-NEXT: Running pass: InstCombinePass
196; CHECK-O-NEXT: Finished llvm::Function pass manager run.
197; CHECK-O-NEXT: Finished CGSCC pass manager run.
198; CHECK-O-NEXT: Finished llvm::Module pass manager run.
199; CHECK-PRELINK-O-NEXT: Running pass: GlobalOptPass
200; CHECK-POSTLINK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
201; CHECK-POSTLINK-O-NEXT: Starting llvm::Module pass manager run.
202; CHECK-POSTLINK-O-NEXT: Running pass: GlobalOptPass
203; CHECK-POSTLINK-O-NEXT: Running pass: GlobalDCEPass
204; CHECK-POSTLINK-O-NEXT: Running pass: EliminateAvailableExternallyPass
205; CHECK-POSTLINK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass
206; CHECK-POSTLINK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
207; CHECK-POSTLINK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
208; CHECK-POSTLINK-O-NEXT: Starting llvm::Function pass manager run.
209; CHECK-POSTLINK-O-NEXT: Running pass: Float2IntPass
210; CHECK-POSTLINK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopRotatePass
211; CHECK-POSTLINK-O-NEXT: Starting llvm::Function pass manager run
212; CHECK-POSTLINK-O-NEXT: Running pass: LoopSimplifyPass
213; CHECK-POSTLINK-O-NEXT: Running pass: LCSSAPass
214; CHECK-POSTLINK-O-NEXT: Finished llvm::Function pass manager run
215; CHECK-POSTLINK-O-NEXT: Running pass: LoopDistributePass
216; CHECK-POSTLINK-O-NEXT: Running pass: LoopVectorizePass
217; CHECK-POSTLINK-O-NEXT: Running analysis: BlockFrequencyAnalysis
218; CHECK-POSTLINK-O-NEXT: Running analysis: BranchProbabilityAnalysis
219; CHECK-POSTLINK-O-NEXT: Running pass: LoopLoadEliminationPass
220; CHECK-POSTLINK-O-NEXT: Running analysis: LoopAccessAnalysis
221; CHECK-POSTLINK-O-NEXT: Running pass: InstCombinePass
222; CHECK-POSTLINK-O-NEXT: Running pass: SimplifyCFGPass
223; CHECK-POSTLINK-O-NEXT: Running pass: SLPVectorizerPass
224; CHECK-POSTLINK-O-NEXT: Running pass: InstCombinePass
225; CHECK-POSTLINK-O-NEXT: Running pass: LoopUnrollPass
226; CHECK-POSTLINK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
227; CHECK-POSTLINK-O-NEXT: Running pass: WarnMissedTransformationsPass
228; CHECK-POSTLINK-O-NEXT: Running pass: InstCombinePass
229; CHECK-POSTLINK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
230; CHECK-POSTLINK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass
231; CHECK-POSTLINK-O-NEXT: Starting llvm::Function pass manager run
232; CHECK-POSTLINK-O-NEXT: Running pass: LoopSimplifyPass
233; CHECK-POSTLINK-O-NEXT: Running pass: LCSSAPass
234; CHECK-POSTLINK-O-NEXT: Finished llvm::Function pass manager run
235; CHECK-POSTLINK-O-NEXT: Running pass: AlignmentFromAssumptionsPass
236; CHECK-POSTLINK-O-NEXT: Running pass: LoopSinkPass
237; CHECK-POSTLINK-O-NEXT: Running pass: InstSimplifyPass
238; CHECK-POSTLINK-O-NEXT: Running pass: DivRemPairsPass
239; CHECK-POSTLINK-O-NEXT: Running pass: SimplifyCFGPass
240; CHECK-POSTLINK-O-NEXT: Running pass: SpeculateAroundPHIsPass
241; CHECK-POSTLINK-O-NEXT: Finished llvm::Function pass manager run.
242; CHECK-POSTLINK-O-NEXT: Running pass: CGProfilePass
243; CHECK-POSTLINK-O-NEXT: Running pass: GlobalDCEPass
244; CHECK-POSTLINK-O-NEXT: Running pass: ConstantMergePass
245; CHECK-POSTLINK-O-NEXT: Finished llvm::Module pass manager run.
246; CHECK-O-NEXT: Finished llvm::Module pass manager run.
247; CHECK-PRELINK-O-NEXT: Running pass: NameAnonGlobalPass
248; CHECK-O-NEXT: Running pass: PrintModulePass
249
250; Make sure we get the IR back out without changes when we print the module.
251; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr {
252; CHECK-O-NEXT: entry:
253; CHECK-O-NEXT:   br label %loop
254; CHECK-O:      loop:
255; CHECK-O-NEXT:   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
256; CHECK-O-NEXT:   %iv.next = add i32 %iv, 1
257; CHECK-O-NEXT:   tail call void @bar()
258; CHECK-O-NEXT:   %cmp = icmp eq i32 %iv, %n
259; CHECK-O-NEXT:   br i1 %cmp, label %exit, label %loop
260; CHECK-O:      exit:
261; CHECK-O-NEXT:   ret void
262; CHECK-O-NEXT: }
263;
264; CHECK-O-NEXT: Finished llvm::Module pass manager run.
265
266declare void @bar() local_unnamed_addr
267
268define void @foo(i32 %n) local_unnamed_addr {
269entry:
270  br label %loop
271loop:
272  %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
273  %iv.next = add i32 %iv, 1
274  tail call void @bar()
275  %cmp = icmp eq i32 %iv, %n
276  br i1 %cmp, label %exit, label %loop
277exit:
278  ret void
279}
280