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  %s 2>&1 \
19; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O3,CHECK-PRELINK-O,CHECK-PRELINK-O-NODIS,CHECK-PRELINK-O3
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;
30; Postlink pipelines:
31; RUN: opt -disable-verify -debug-pass-manager \
32; RUN:     -passes='thinlto<O1>' -S %s 2>&1 \
33; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O1,CHECK-POSTLINK-O,CHECK-POSTLINK-O1
34; RUN: opt -disable-verify -debug-pass-manager \
35; RUN:     -passes='thinlto<O2>' -S  %s 2>&1 \
36; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-POSTLINK-O,CHECK-POSTLINK-O2
37; RUN: opt -disable-verify -debug-pass-manager \
38; RUN:     -passes='thinlto<O3>' -S  %s 2>&1 \
39; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O3,CHECK-POSTLINK-O,CHECK-POSTLINK-O3
40; RUN: opt -disable-verify -debug-pass-manager \
41; RUN:     -passes='thinlto<Os>' -S %s 2>&1 \
42; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Os,CHECK-POSTLINK-O,CHECK-POSTLINK-Os
43; RUN: opt -disable-verify -debug-pass-manager \
44; RUN:     -passes='thinlto<Oz>' -S %s 2>&1 \
45; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-Oz,CHECK-POSTLINK-O,CHECK-POSTLINK-Oz
46; RUN: opt -disable-verify -debug-pass-manager -new-pm-debug-info-for-profiling \
47; RUN:     -passes='thinlto<O2>' -S  %s 2>&1 \
48; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-O2,CHECK-POSTLINK-O,CHECK-POSTLINK-O2
49;
50; CHECK-O: Starting llvm::Module pass manager run.
51; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
52; CHECK-O-NEXT: Starting llvm::Module pass manager run.
53; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass
54; CHECK-DIS-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}AddDiscriminatorsPass{{.*}}>
55; CHECK-DIS-NEXT: Running analysis: InnerAnalysisManagerProxy
56; CHECK-POSTLINK-O-NEXT: Running pass: PGOIndirectCallPromotion
57; CHECK-POSTLINK-O-NEXT: Running analysis: ProfileSummaryAnalysis
58; CHECK-POSTLINK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
59; CHECK-POSTLINK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
60; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
61; CHECK-O-NEXT: Starting llvm::Module pass manager run.
62; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
63; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
64; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
65; CHECK-PRELINK-O-NODIS-NEXT: Running analysis: InnerAnalysisManagerProxy
66; CHECK-O-NEXT: Starting llvm::Function pass manager run.
67; CHECK-O-NEXT: Running pass: SimplifyCFGPass
68; CHECK-O-NEXT: Running analysis: TargetIRAnalysis
69; CHECK-O-NEXT: Running analysis: AssumptionAnalysis
70; CHECK-O-NEXT: Running pass: SROA
71; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis
72; CHECK-O-NEXT: Running pass: EarlyCSEPass
73; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
74; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass
75; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass
76; CHECK-O-NEXT: Finished llvm::Function pass manager run.
77; CHECK-O-NEXT: Running pass: IPSCCPPass
78; CHECK-O-NEXT: Running pass: CalledValuePropagationPass
79; CHECK-O-NEXT: Running pass: GlobalOptPass
80; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PromotePass>
81; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass
82; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
83; CHECK-O-NEXT: Starting llvm::Function pass manager run.
84; CHECK-O-NEXT: Running pass: InstCombinePass
85; CHECK-PRELINK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
86; CHECK-O-NEXT: Running analysis: AAManager
87; CHECK-O-NEXT: Running pass: SimplifyCFGPass
88; CHECK-O-NEXT: Finished llvm::Function pass manager run.
89; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
90; CHECK-O-NEXT: Running analysis: GlobalsAA
91; CHECK-O-NEXT: Running analysis: CallGraphAnalysis
92; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
93; CHECK-PRELINK-O-NEXT: Running analysis: ProfileSummaryAnalysis
94; CHECK-O-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor<{{.*}}LazyCallGraph{{.*}}>
95; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
96; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis
97; CHECK-O-NEXT: Starting CGSCC pass manager run.
98; CHECK-O-NEXT: Running pass: InlinerPass
99; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph{{.*}}>
100; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
101; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
102; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass
103; CHECK-O-NEXT: Running pass: CGSCCToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
104; CHECK-O-NEXT: Starting llvm::Function pass manager run.
105; CHECK-O-NEXT: Running pass: SROA
106; CHECK-O-NEXT: Running pass: EarlyCSEPass
107; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis
108; CHECK-O-NEXT: Running pass: SpeculativeExecutionPass
109; CHECK-O-NEXT: Running pass: JumpThreadingPass
110; CHECK-O-NEXT: Running analysis: LazyValueAnalysis
111; CHECK-O-NEXT: Running pass: CorrelatedValuePropagationPass
112; CHECK-O-NEXT: Running pass: SimplifyCFGPass
113; CHECK-O-NEXT: Running pass: InstCombinePass
114; CHECK-O1-NEXT: Running pass: LibCallsShrinkWrapPass
115; CHECK-O2-NEXT: Running pass: LibCallsShrinkWrapPass
116; CHECK-O3-NEXT: Running pass: LibCallsShrinkWrapPass
117; CHECK-O-NEXT: Running pass: TailCallElimPass
118; CHECK-O-NEXT: Running pass: SimplifyCFGPass
119; CHECK-O-NEXT: Running pass: ReassociatePass
120; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
121; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
122; CHECK-O-NEXT: Starting llvm::Function pass manager run
123; CHECK-O-NEXT: Running pass: LoopSimplifyPass
124; CHECK-O-NEXT: Running analysis: LoopAnalysis
125; CHECK-O-NEXT: Running pass: LCSSAPass
126; CHECK-O-NEXT: Finished llvm::Function pass manager run
127; CHECK-O-NEXT: Running analysis: ScalarEvolutionAnalysis
128; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
129; CHECK-O-NEXT: Starting Loop pass manager run.
130; CHECK-O-NEXT: Running pass: LoopRotatePass
131; CHECK-O-NEXT: Running pass: LICM
132; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
133; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass
134; CHECK-O-NEXT: Finished Loop pass manager run.
135; CHECK-O-NEXT: Running pass: SimplifyCFGPass
136; CHECK-O-NEXT: Running pass: InstCombinePass
137; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
138; CHECK-O-NEXT: Starting llvm::Function pass manager run
139; CHECK-O-NEXT: Running pass: LoopSimplifyPass
140; CHECK-O-NEXT: Running pass: LCSSAPass
141; CHECK-O-NEXT: Finished llvm::Function pass manager run
142; CHECK-O-NEXT: Starting Loop pass manager run.
143; CHECK-O-NEXT: Running pass: IndVarSimplifyPass
144; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass
145; CHECK-O-NEXT: Running pass: LoopDeletionPass
146; CHECK-O-NEXT: Running pass: LoopFullUnrollPass
147; CHECK-O-NEXT: Finished Loop pass manager run.
148; CHECK-Os-NEXT: Running pass: MergedLoadStoreMotionPass
149; CHECK-Os-NEXT: Running pass: GVN
150; CHECK-Os-NEXT: Running analysis: MemoryDependenceAnalysis
151; CHECK-Oz-NEXT: Running pass: MergedLoadStoreMotionPass
152; CHECK-Oz-NEXT: Running pass: GVN
153; CHECK-Oz-NEXT: Running analysis: MemoryDependenceAnalysis
154; CHECK-O2-NEXT: Running pass: MergedLoadStoreMotionPass
155; CHECK-O2-NEXT: Running pass: GVN
156; CHECK-O2-NEXT: Running analysis: MemoryDependenceAnalysis
157; CHECK-O3-NEXT: Running pass: MergedLoadStoreMotionPass
158; CHECK-O3-NEXT: Running pass: GVN
159; CHECK-O3-NEXT: Running analysis: MemoryDependenceAnalysis
160; CHECK-O-NEXT: Running pass: MemCpyOptPass
161; CHECK-O1-NEXT: Running analysis: MemoryDependenceAnalysis
162; CHECK-O-NEXT: Running pass: SCCPPass
163; CHECK-O-NEXT: Running pass: BDCEPass
164; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis
165; CHECK-O-NEXT: Running pass: InstCombinePass
166; CHECK-O-NEXT: Running pass: JumpThreadingPass
167; CHECK-O-NEXT: Running pass: CorrelatedValuePropagationPass
168; CHECK-O-NEXT: Running pass: DSEPass
169; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass{{.*}}>
170; CHECK-O-NEXT: Starting llvm::Function pass manager run
171; CHECK-O-NEXT: Running pass: LoopSimplifyPass
172; CHECK-O-NEXT: Running pass: LCSSAPass
173; CHECK-O-NEXT: Finished llvm::Function pass manager run
174; CHECK-O-NEXT: Running pass: ADCEPass
175; CHECK-O-NEXT: Running analysis: PostDominatorTreeAnalysis
176; CHECK-O-NEXT: Running pass: SimplifyCFGPass
177; CHECK-O-NEXT: Running pass: InstCombinePass
178; CHECK-O-NEXT: Finished llvm::Function pass manager run.
179; CHECK-O-NEXT: Finished CGSCC pass manager run.
180; CHECK-O-NEXT: Finished llvm::Module pass manager run.
181; CHECK-PRELINK-O-NEXT: Running pass: GlobalOptPass
182; CHECK-POSTLINK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
183; CHECK-POSTLINK-O-NEXT: Starting llvm::Module pass manager run.
184; CHECK-POSTLINK-O-NEXT: Running pass: GlobalOptPass
185; CHECK-POSTLINK-O-NEXT: Running pass: GlobalDCEPass
186; CHECK-POSTLINK-O-NEXT: Running pass: EliminateAvailableExternallyPass
187; CHECK-POSTLINK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass
188; CHECK-POSTLINK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
189; CHECK-POSTLINK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
190; CHECK-POSTLINK-O-NEXT: Starting llvm::Function pass manager run.
191; CHECK-POSTLINK-O-NEXT: Running pass: Float2IntPass
192; CHECK-POSTLINK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopRotatePass
193; CHECK-POSTLINK-O-NEXT: Starting llvm::Function pass manager run
194; CHECK-POSTLINK-O-NEXT: Running pass: LoopSimplifyPass
195; CHECK-POSTLINK-O-NEXT: Running pass: LCSSAPass
196; CHECK-POSTLINK-O-NEXT: Finished llvm::Function pass manager run
197; CHECK-POSTLINK-O-NEXT: Running pass: LoopDistributePass
198; CHECK-POSTLINK-O-NEXT: Running pass: LoopVectorizePass
199; CHECK-POSTLINK-O-NEXT: Running analysis: BlockFrequencyAnalysis
200; CHECK-POSTLINK-O-NEXT: Running analysis: BranchProbabilityAnalysis
201; CHECK-POSTLINK-O-NEXT: Running pass: LoopLoadEliminationPass
202; CHECK-POSTLINK-O-NEXT: Running analysis: LoopAccessAnalysis
203; CHECK-POSTLINK-O-NEXT: Running pass: InstCombinePass
204; CHECK-POSTLINK-O-NEXT: Running pass: SimplifyCFGPass
205; CHECK-POSTLINK-O-NEXT: Running pass: SLPVectorizerPass
206; CHECK-POSTLINK-O-NEXT: Running pass: InstCombinePass
207; CHECK-POSTLINK-O-NEXT: Running pass: LoopUnrollPass
208; CHECK-POSTLINK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
209; CHECK-POSTLINK-O-NEXT: Running pass: InstCombinePass
210; CHECK-POSTLINK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
211; CHECK-POSTLINK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass
212; CHECK-POSTLINK-O-NEXT: Starting llvm::Function pass manager run
213; CHECK-POSTLINK-O-NEXT: Running pass: LoopSimplifyPass
214; CHECK-POSTLINK-O-NEXT: Running pass: LCSSAPass
215; CHECK-POSTLINK-O-NEXT: Finished llvm::Function pass manager run
216; CHECK-POSTLINK-O-NEXT: Running pass: AlignmentFromAssumptionsPass
217; CHECK-POSTLINK-O-NEXT: Running pass: LoopSinkPass
218; CHECK-POSTLINK-O-NEXT: Running pass: InstSimplifierPass
219; CHECK-POSTLINK-O-NEXT: Running pass: DivRemPairsPass
220; CHECK-POSTLINK-O-NEXT: Running pass: SimplifyCFGPass
221; CHECK-POSTLINK-O-NEXT: Running pass: SpeculateAroundPHIsPass
222; CHECK-POSTLINK-O-NEXT: Finished llvm::Function pass manager run.
223; CHECK-POSTLINK-O-NEXT: Running pass: GlobalDCEPass
224; CHECK-POSTLINK-O-NEXT: Running pass: ConstantMergePass
225; CHECK-POSTLINK-O-NEXT: Finished llvm::Module pass manager run.
226; CHECK-O-NEXT: Finished llvm::Module pass manager run.
227; CHECK-PRELINK-O-NEXT: Running pass: NameAnonGlobalPass
228; CHECK-O-NEXT: Running pass: PrintModulePass
229
230; Make sure we get the IR back out without changes when we print the module.
231; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr {
232; CHECK-O-NEXT: entry:
233; CHECK-O-NEXT:   br label %loop
234; CHECK-O:      loop:
235; CHECK-O-NEXT:   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
236; CHECK-O-NEXT:   %iv.next = add i32 %iv, 1
237; CHECK-O-NEXT:   tail call void @bar()
238; CHECK-O-NEXT:   %cmp = icmp eq i32 %iv, %n
239; CHECK-O-NEXT:   br i1 %cmp, label %exit, label %loop
240; CHECK-O:      exit:
241; CHECK-O-NEXT:   ret void
242; CHECK-O-NEXT: }
243;
244; CHECK-O-NEXT: Finished llvm::Module pass manager run.
245
246declare void @bar() local_unnamed_addr
247
248define void @foo(i32 %n) local_unnamed_addr {
249entry:
250  br label %loop
251loop:
252  %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
253  %iv.next = add i32 %iv, 1
254  tail call void @bar()
255  %cmp = icmp eq i32 %iv, %n
256  br i1 %cmp, label %exit, label %loop
257exit:
258  ret void
259}
260