xref: /llvm-project/llvm/test/Other/new-pm-defaults.ll (revision d3161defd6b717241a85b6ca528754c747060735)
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; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
11; RUN:     -passes='default<O1>' -S %s 2>&1 \
12; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O1,%llvmcheckext
13; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
14; RUN:     -passes='default<O2>' -S  %s 2>&1 \
15; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O2,CHECK-O23SZ,%llvmcheckext
16; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
17; RUN:     -passes='default<O3>' -S  %s 2>&1 \
18; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext
19; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
20; RUN:     -passes='default<Os>' -S %s 2>&1 \
21; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-Os,CHECK-O23SZ,%llvmcheckext
22; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
23; RUN:     -passes='default<Oz>' -S %s 2>&1 \
24; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-Oz,CHECK-O23SZ,%llvmcheckext
25; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
26; RUN:     -passes='lto-pre-link<O2>' -S %s 2>&1 \
27; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-LTO,CHECK-O2,CHECK-O23SZ,%llvmcheckext
28
29; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
30; RUN:     -passes-ep-peephole='no-op-function' \
31; RUN:     -passes='default<O3>' -S  %s 2>&1 \
32; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PEEPHOLE,CHECK-O23SZ
33; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
34; RUN:     -passes-ep-late-loop-optimizations='no-op-loop' \
35; RUN:     -passes='default<O3>' -S  %s 2>&1 \
36; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-LATE,CHECK-O23SZ
37; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
38; RUN:     -passes-ep-loop-optimizer-end='no-op-loop' \
39; RUN:     -passes='default<O3>' -S  %s 2>&1 \
40; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-LOOP-END,CHECK-O23SZ
41; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
42; RUN:     -passes-ep-scalar-optimizer-late='no-op-function' \
43; RUN:     -passes='default<O3>' -S  %s 2>&1 \
44; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-SCALAR-LATE,CHECK-O23SZ
45; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
46; RUN:     -passes-ep-cgscc-optimizer-late='no-op-cgscc' \
47; RUN:     -passes='default<O3>' -S  %s 2>&1 \
48; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-CGSCC-LATE,CHECK-O23SZ
49; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
50; RUN:     -passes-ep-vectorizer-start='no-op-function' \
51; RUN:     -passes='default<O3>' -S  %s 2>&1 \
52; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-START,CHECK-O23SZ
53; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
54; RUN:     -passes-ep-vectorizer-end='no-op-function' \
55; RUN:     -passes='default<O3>' -S  %s 2>&1 \
56; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-VECTORIZER-END,CHECK-O23SZ
57; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
58; RUN:     -passes-ep-pipeline-start='no-op-module' \
59; RUN:     -passes='default<O3>' -S  %s 2>&1 \
60; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23SZ
61; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
62; RUN:     -passes-ep-pipeline-early-simplification='no-op-module' \
63; RUN:     -passes='default<O3>' -S  %s 2>&1 \
64; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-EARLY-SIMPLIFICATION,CHECK-O23SZ
65; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
66; RUN:     -passes-ep-pipeline-start='no-op-module' \
67; RUN:     -passes='lto-pre-link<O3>' -S  %s 2>&1 \
68; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-LTO,CHECK-O3,%llvmcheckext,CHECK-EP-PIPELINE-START,CHECK-O23SZ
69; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
70; RUN:     -passes-ep-optimizer-early='no-op-module' \
71; RUN:     -passes='default<O3>' -S  %s 2>&1 \
72; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-EARLY,CHECK-O23SZ
73; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
74; RUN:     -passes-ep-optimizer-last='no-op-module' \
75; RUN:     -passes='default<O3>' -S  %s 2>&1 \
76; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,%llvmcheckext,CHECK-EP-OPTIMIZER-LAST,CHECK-O23SZ
77
78; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
79; RUN:     -passes='default<O3>' -enable-jump-table-to-switch -S  %s 2>&1 \
80; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-JUMP-TABLE-TO-SWITCH,CHECK-O23SZ,%llvmcheckext
81
82; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
83; RUN:     -passes='default<O3>' -enable-matrix -S  %s 2>&1 \
84; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-MATRIX
85
86; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
87; RUN:     -passes='default<O3>' -enable-merge-functions -S  %s 2>&1 \
88; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-MERGE-FUNCS
89
90; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
91; RUN:     -passes='default<O3>' -ir-outliner -S  %s 2>&1 \
92; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-IR-OUTLINER
93
94; RUN: opt -disable-verify -verify-analysis-invalidation=0 -eagerly-invalidate-analyses=0 -debug-pass-manager \
95; RUN:     -passes='default<O3>' -hot-cold-split -S  %s 2>&1 \
96; RUN:     | FileCheck %s --check-prefixes=CHECK-O,CHECK-DEFAULT,CHECK-O3,CHECK-O23SZ,%llvmcheckext,CHECK-HOT-COLD-SPLIT
97
98; Suppress FileCheck --allow-unused-prefixes=false diagnostics.
99; CHECK-Oz: {{^}}
100
101; CHECK-O: Running pass: Annotation2Metadata
102; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass
103; CHECK-EP-PIPELINE-START-NEXT: Running pass: NoOpModulePass
104; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
105; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
106; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
107; CHECK-O-NEXT: Running pass: CoroEarlyPass
108; CHECK-O-NEXT: Running pass: EntryExitInstrumenterPass
109; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass
110; CHECK-O-NEXT: Running pass: SimplifyCFGPass
111; CHECK-O-NEXT: Running analysis: TargetIRAnalysis
112; CHECK-O-NEXT: Running analysis: AssumptionAnalysis
113; CHECK-O-NEXT: Running pass: SROAPass
114; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis
115; CHECK-O-NEXT: Running pass: EarlyCSEPass
116; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
117; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass
118; CHECK-O-NEXT: Running pass: OpenMPOptPass
119; CHECK-EP-PIPELINE-EARLY-SIMPLIFICATION-NEXT: Running pass: NoOpModulePass
120; CHECK-O-NEXT: Running pass: IPSCCPPass
121; CHECK-O-NEXT: Running pass: CalledValuePropagationPass
122; CHECK-O-NEXT: Running pass: GlobalOptPass
123; CHECK-O-NEXT: Running pass: PromotePass
124; CHECK-O-NEXT: Running pass: InstCombinePass
125; CHECK-O-NEXT: Running analysis: LastRunTrackingAnalysis
126; CHECK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
127; CHECK-O-NEXT: Running analysis: AAManager
128; CHECK-O-NEXT: Running analysis: BasicAA
129; CHECK-O-NEXT: Running analysis: ScopedNoAliasAA
130; CHECK-O-NEXT: Running analysis: TypeBasedAA
131; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
132; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
133; CHECK-O-NEXT: Running pass: SimplifyCFGPass
134; CHECK-O-NEXT: Running pass: AlwaysInlinerPass
135; CHECK-O-NEXT: Running analysis: ProfileSummaryAnalysis
136; CHECK-O-NEXT: Running pass: ModuleInlinerWrapperPass
137; CHECK-O-NEXT: Running analysis: InlineAdvisorAnalysis
138; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
139; CHECK-O-NEXT: Running analysis: GlobalsAA
140; CHECK-O-NEXT: Running analysis: CallGraphAnalysis
141; CHECK-O-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}AAManager
142; CHECK-O-NEXT: Invalidating analysis: AAManager
143; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
144; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
145; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis
146; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
147; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph::SCC{{.*}}>
148; CHECK-O-NEXT: Running pass: DevirtSCCRepeatedPass
149; CHECK-O-NEXT: Running pass: InlinerPass
150; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
151; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass
152; CHECK-O2-NEXT: Running pass: OpenMPOptCGSCCPass on (foo)
153; CHECK-O3-NEXT: Running pass: OpenMPOptCGSCCPass on (foo)
154; CHECK-EP-CGSCC-LATE-NEXT: Running pass: NoOpCGSCCPass
155; CHECK-O-NEXT: Running pass: SROAPass
156; CHECK-O-NEXT: Running pass: EarlyCSEPass
157; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis
158; CHECK-O-NEXT: Running analysis: AAManager
159; CHECK-O23SZ-NEXT: Running pass: SpeculativeExecutionPass
160; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass
161; CHECK-O23SZ-NEXT: Running analysis: LazyValueAnalysis
162; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass
163; CHECK-O23SZ-NEXT: Invalidating analysis: LazyValueAnalysis
164; CHECK-JUMP-TABLE-TO-SWITCH-NEXT: Running pass: JumpTableToSwitchPass
165; CHECK-O-NEXT: Running pass: SimplifyCFGPass
166; CHECK-O-NEXT: Running pass: InstCombinePass
167; CHECK-O23SZ-NEXT: Running pass: AggressiveInstCombinePass
168; CHECK-O1-NEXT: Running pass: LibCallsShrinkWrapPass
169; CHECK-O2-NEXT: Running pass: LibCallsShrinkWrapPass
170; CHECK-O3-NEXT: Running pass: LibCallsShrinkWrapPass
171; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
172; CHECK-O23SZ-NEXT: Running pass: TailCallElimPass
173; CHECK-O-NEXT: Running pass: SimplifyCFGPass
174; CHECK-O-NEXT: Running pass: ReassociatePass
175; CHECK-O23SZ-NEXT: Running pass: ConstraintEliminationPass
176; CHECK-O23SZ-NEXT: Running analysis: LoopAnalysis
177; CHECK-O23SZ-NEXT: Running analysis: ScalarEvolutionAnalysis
178; CHECK-O-NEXT: Running pass: LoopSimplifyPass
179; CHECK-O1-NEXT: Running analysis: LoopAnalysis
180; CHECK-O-NEXT: Running pass: LCSSAPass
181; CHECK-O1-NEXT: Running analysis: ScalarEvolutionAnalysis
182; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
183; CHECK-O-NEXT: Running pass: LoopInstSimplifyPass
184; CHECK-O-NEXT: Running pass: LoopSimplifyCFGPass
185; CHECK-O-NEXT: Running pass: LICM
186; CHECK-O-NEXT: Running pass: LoopRotatePass
187; CHECK-O-NEXT: Running pass: LICM
188; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass
189; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
190; CHECK-O-NEXT: Running pass: SimplifyCFGPass
191; CHECK-O-NEXT: Running pass: InstCombinePass
192; CHECK-O-NEXT: Running pass: LoopSimplifyPass
193; CHECK-O-NEXT: Running pass: LCSSAPass
194; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass
195; CHECK-O-NEXT: Running pass: IndVarSimplifyPass
196; CHECK-EP-LOOP-LATE-NEXT: Running pass: NoOpLoopPass
197; CHECK-O-NEXT: Running pass: LoopDeletionPass
198; CHECK-O-NEXT: Running pass: LoopFullUnrollPass
199; CHECK-EP-LOOP-END-NEXT: Running pass: NoOpLoopPass
200; CHECK-O-NEXT: Running pass: SROAPass on foo
201; CHECK-O23SZ-NEXT: Running pass: VectorCombinePass
202; CHECK-O23SZ-NEXT: Running pass: MergedLoadStoreMotionPass
203; CHECK-O23SZ-NEXT: Running pass: GVNPass
204; CHECK-O23SZ-NEXT: Running analysis: MemoryDependenceAnalysis
205; CHECK-O1-NEXT: Running pass: MemCpyOptPass
206; CHECK-O1-NEXT: Running analysis: PostDominatorTreeAnalysis
207; CHECK-O-NEXT: Running pass: SCCPPass
208; CHECK-O-NEXT: Running pass: BDCEPass
209; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis
210; CHECK-O-NEXT: Running pass: InstCombinePass
211; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
212; CHECK-O23SZ-NEXT: Running pass: JumpThreadingPass
213; CHECK-O23SZ-NEXT: Running analysis: LazyValueAnalysis
214; CHECK-O23SZ-NEXT: Running pass: CorrelatedValuePropagationPass
215; CHECK-O23SZ-NEXT: Invalidating analysis: LazyValueAnalysis
216; CHECK-O1-NEXT: Running pass: CoroElidePass
217; CHECK-O-NEXT: Running pass: ADCEPass
218; CHECK-O23SZ-NEXT: Running analysis: PostDominatorTreeAnalysis
219; CHECK-O23SZ-NEXT: Running pass: MemCpyOptPass
220; CHECK-O23SZ-NEXT: Running pass: DSEPass
221; CHECK-O23SZ-NEXT: Running pass: MoveAutoInitPass on foo
222; CHECK-O23SZ-NEXT: Running pass: LoopSimplifyPass
223; CHECK-O23SZ-NEXT: Running pass: LCSSAPass
224; CHECK-O23SZ-NEXT: Running pass: LICMPass
225; CHECK-O23SZ-NEXT: Running pass: CoroElidePass
226; CHECK-EP-SCALAR-LATE-NEXT: Running pass: NoOpFunctionPass
227; CHECK-O-NEXT: Running pass: SimplifyCFGPass
228; CHECK-O-NEXT: Running pass: InstCombinePass
229; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
230; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
231; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ShouldNotRunFunctionPassesAnalysis
232; CHECK-O-NEXT: Running analysis: ShouldNotRunFunctionPassesAnalysis
233; CHECK-O-NEXT: Running pass: CoroSplitPass
234; CHECK-O-NEXT: Running pass: CoroAnnotationElidePass
235; CHECK-O-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ShouldNotRunFunctionPassesAnalysis
236; CHECK-O-NEXT: Invalidating analysis: ShouldNotRunFunctionPassesAnalysis
237; CHECK-O-NEXT: Invalidating analysis: InlineAdvisorAnalysis
238; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass
239; CHECK-O-NEXT: Running pass: CoroCleanupPass
240; CHECK-O-NEXT: Running pass: GlobalOptPass
241; CHECK-O-NEXT: Running pass: GlobalDCEPass
242; CHECK-DEFAULT-NEXT: Running pass: EliminateAvailableExternallyPass
243; CHECK-LTO-NOT: Running pass: EliminateAvailableExternallyPass
244; CHECK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass
245; CHECK-O-NEXT: Running pass: RecomputeGlobalsAAPass
246; CHECK-EP-OPTIMIZER-EARLY: Running pass: NoOpModulePass
247; CHECK-O-NEXT: Running pass: Float2IntPass
248; CHECK-O-NEXT: Running pass: LowerConstantIntrinsicsPass on foo
249; CHECK-MATRIX: Running pass: LowerMatrixIntrinsicsPass on f
250; CHECK-MATRIX-NEXT: Running pass: EarlyCSEPass on f
251; CHECK-O3-NEXT: Running pass: ControlHeightReductionPass
252; CHECK-EP-VECTORIZER-START-NEXT: Running pass: NoOpFunctionPass
253; CHECK-EXT: Running pass: {{.*}}::Bye on foo
254; CHECK-NOEXT:  {{^}}
255; CHECK-O-NEXT: Running pass: LoopSimplifyPass
256; CHECK-O-NEXT: Running pass: LCSSAPass
257; CHECK-O-NEXT: Running pass: LoopRotatePass
258; CHECK-O-NEXT: Running pass: LoopDeletionPass
259; CHECK-O-NEXT: Running pass: LoopDistributePass
260; CHECK-O-NEXT: Running analysis: LoopAccessAnalysis on foo
261; CHECK-O-NEXT: Running pass: InjectTLIMappings
262; CHECK-O-NEXT: Running pass: LoopVectorizePass
263; CHECK-O-NEXT: Running pass: InferAlignmentPass
264; CHECK-O-NEXT: Running pass: LoopLoadEliminationPass
265; CHECK-O-NEXT: Running pass: InstCombinePass
266; CHECK-O-NEXT: Running pass: SimplifyCFGPass
267; CHECK-O2-NEXT: Running pass: SLPVectorizerPass
268; CHECK-O3-NEXT: Running pass: SLPVectorizerPass
269; CHECK-Os-NEXT: Running pass: SLPVectorizerPass
270; CHECK-O-NEXT: Running pass: VectorCombinePass
271; CHECK-O-NEXT: Running pass: InstCombinePass
272; CHECK-O-NEXT: Running pass: LoopUnrollPass
273; CHECK-O-NEXT: Running pass: WarnMissedTransformationsPass
274; CHECK-O-NEXT: Running pass: SROAPass
275; CHECK-O-NEXT: Running pass: InferAlignmentPass
276; CHECK-O-NEXT: Running pass: InstCombinePass
277; CHECK-O-NEXT: Running pass: LoopSimplifyPass
278; CHECK-O-NEXT: Running pass: LCSSAPass
279; CHECK-O-NEXT: Running pass: LICMPass
280; CHECK-O-NEXT: Running pass: AlignmentFromAssumptionsPass
281; CHECK-EP-VECTORIZER-END-NEXT: Running pass: NoOpFunctionPass
282; CHECK-O-NEXT: Running pass: LoopSinkPass
283; CHECK-O-NEXT: Running pass: InstSimplifyPass
284; CHECK-O-NEXT: Running pass: DivRemPairsPass
285; CHECK-O-NEXT: Running pass: TailCallElimPass
286; CHECK-O-NEXT: Running pass: SimplifyCFGPass
287; CHECK-EP-OPTIMIZER-LAST: Running pass: NoOpModulePass
288; CHECK-HOT-COLD-SPLIT-NEXT: Running pass: HotColdSplittingPass
289; CHECK-IR-OUTLINER-NEXT: Running pass: IROutlinerPass
290; CHECK-IR-OUTLINER-NEXT: Running analysis: IRSimilarityAnalysis
291; CHECK-O-NEXT: Running pass: GlobalDCEPass
292; CHECK-O-NEXT: Running pass: ConstantMergePass
293; CHECK-MERGE-FUNCS-NEXT: Running pass: MergeFunctionsPass
294; CHECK-DEFAULT-NEXT: Running pass: CGProfilePass
295; CHECK-DEFAULT-NEXT: Running pass: RelLookupTableConverterPass
296; CHECK-LTO-NOT: Running pass: RelLookupTableConverterPass
297; CHECK-O-NEXT: Running pass: AnnotationRemarksPass on foo
298; CHECK-LTO-NEXT: Running pass: CanonicalizeAliasesPass
299; CHECK-LTO-NEXT: Running pass: NameAnonGlobalPass
300; CHECK-O-NEXT: Running pass: PrintModulePass
301;
302; Make sure we get the IR back out without changes when we print the module.
303; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr {
304; CHECK-O-NEXT: entry:
305; CHECK-O-NEXT:   br label %loop
306; CHECK-O:      loop:
307; CHECK-O-NEXT:   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
308; CHECK-O-NEXT:   %iv.next = add i32 %iv, 1
309; CHECK-O-NEXT:   tail call void @bar()
310; CHECK-O-NEXT:   %cmp = icmp eq i32 %iv, %n
311; CHECK-O-NEXT:   br i1 %cmp, label %exit, label %loop
312; CHECK-O:      exit:
313; CHECK-O-NEXT:   ret void
314; CHECK-O-NEXT: }
315
316declare void @bar() local_unnamed_addr
317
318define void @foo(i32 %n) local_unnamed_addr {
319entry:
320  br label %loop
321loop:
322  %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
323  %iv.next = add i32 %iv, 1
324  tail call void @bar()
325  %cmp = icmp eq i32 %iv, %n
326  br i1 %cmp, label %exit, label %loop
327exit:
328  ret void
329}
330