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