| blob | 3ea52063c464691930d909d7abbf9c7dcad7f59f |
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.
10 ; RUN: opt -disable-verify -debug-pass-manager \
11 ; RUN: -passes='default<O1>' -S %s 2>&1 \
12 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O1
13 ; RUN: opt -disable-verify -debug-pass-manager \
14 ; RUN: -passes='default<O2>' -S %s 2>&1 \
15 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O2
16 ; RUN: opt -disable-verify -debug-pass-manager \
17 ; RUN: -passes='default<O3>' -S %s 2>&1 \
18 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3
19 ; RUN: opt -disable-verify -debug-pass-manager \
20 ; RUN: -passes='default<Os>' -S %s 2>&1 \
21 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-Os
22 ; RUN: opt -disable-verify -debug-pass-manager \
23 ; RUN: -passes='default<Oz>' -S %s 2>&1 \
24 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-Oz
25 ; RUN: opt -disable-verify -debug-pass-manager \
26 ; RUN: -passes='lto-pre-link<O2>' -S %s 2>&1 \
27 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O2
29 ; RUN: opt -disable-verify -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-prefix=CHECK-O --check-prefix=CHECK-O3 \
33 ; RUN: --check-prefix=CHECK-EP-PEEPHOLE
34 ; RUN: opt -disable-verify -debug-pass-manager \
35 ; RUN: -passes-ep-late-loop-optimizations='no-op-loop' \
36 ; RUN: -passes='default<O3>' -S %s 2>&1 \
37 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
38 ; RUN: --check-prefix=CHECK-EP-LOOP-LATE
39 ; RUN: opt -disable-verify -debug-pass-manager \
40 ; RUN: -passes-ep-loop-optimizer-end='no-op-loop' \
41 ; RUN: -passes='default<O3>' -S %s 2>&1 \
42 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
43 ; RUN: --check-prefix=CHECK-EP-LOOP-END
44 ; RUN: opt -disable-verify -debug-pass-manager \
45 ; RUN: -passes-ep-scalar-optimizer-late='no-op-function' \
46 ; RUN: -passes='default<O3>' -S %s 2>&1 \
47 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
48 ; RUN: --check-prefix=CHECK-EP-SCALAR-LATE
49 ; RUN: opt -disable-verify -debug-pass-manager \
50 ; RUN: -passes-ep-cgscc-optimizer-late='no-op-cgscc' \
51 ; RUN: -passes='default<O3>' -S %s 2>&1 \
52 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
53 ; RUN: --check-prefix=CHECK-EP-CGSCC-LATE
54 ; RUN: opt -disable-verify -debug-pass-manager \
55 ; RUN: -passes-ep-vectorizer-start='no-op-function' \
56 ; RUN: -passes='default<O3>' -S %s 2>&1 \
57 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
58 ; RUN: --check-prefix=CHECK-EP-VECTORIZER-START
59 ; RUN: opt -disable-verify -debug-pass-manager \
60 ; RUN: -passes-ep-pipeline-start='no-op-module' \
61 ; RUN: -passes='default<O3>' -S %s 2>&1 \
62 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
63 ; RUN: --check-prefix=CHECK-EP-PIPELINE-START
64 ; RUN: opt -disable-verify -debug-pass-manager \
65 ; RUN: -passes-ep-pipeline-start='no-op-module' \
66 ; RUN: -passes='lto-pre-link<O3>' -S %s 2>&1 \
67 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
68 ; RUN: --check-prefix=CHECK-EP-PIPELINE-START
69 ; RUN: opt -disable-verify -debug-pass-manager \
70 ; RUN: -passes-ep-optimizer-last='no-op-function' \
71 ; RUN: -passes='default<O3>' -S %s 2>&1 \
72 ; RUN: | FileCheck %s --check-prefix=CHECK-O --check-prefix=CHECK-O3 \
73 ; RUN: --check-prefix=CHECK-EP-OPTIMIZER-LAST
75 ; CHECK-O: Running analysis: PassInstrumentationAnalysis
76 ; CHECK-O-NEXT: Starting llvm::Module pass manager run.
77 ; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
78 ; CHECK-O-NEXT: Starting llvm::Module pass manager run.
79 ; CHECK-O-NEXT: Running pass: ForceFunctionAttrsPass
80 ; CHECK-EP-PIPELINE-START-NEXT: Running pass: NoOpModulePass
81 ; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
82 ; CHECK-O-NEXT: Starting llvm::Module pass manager run.
83 ; CHECK-O-NEXT: Running pass: InferFunctionAttrsPass
84 ; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
85 ; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
86 ; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
87 ; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
88 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
89 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
90 ; CHECK-O-NEXT: Running analysis: TargetIRAnalysis
91 ; CHECK-O-NEXT: Running analysis: AssumptionAnalysis
92 ; CHECK-O-NEXT: Running pass: SROA
93 ; CHECK-O-NEXT: Running analysis: DominatorTreeAnalysis
94 ; CHECK-O-NEXT: Running pass: EarlyCSEPass
95 ; CHECK-O-NEXT: Running analysis: TargetLibraryAnalysis
96 ; CHECK-O-NEXT: Running pass: LowerExpectIntrinsicPass
97 ; CHECK-O3-NEXT: Running pass: CallSiteSplittingPass
98 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
99 ; CHECK-O-NEXT: Running pass: IPSCCPPass
100 ; CHECK-O-NEXT: Running pass: CalledValuePropagationPass
101 ; CHECK-O-NEXT: Running pass: GlobalOptPass
102 ; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PromotePass>
103 ; CHECK-O-NEXT: Running pass: DeadArgumentEliminationPass
104 ; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
105 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
106 ; CHECK-O-NEXT: Running pass: InstCombinePass
107 ; CHECK-O-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis
108 ; CHECK-O-NEXT: Running analysis: AAManager
109 ; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
110 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
111 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
112 ; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
113 ; CHECK-O-NEXT: Running analysis: GlobalsAA
114 ; CHECK-O-NEXT: Running analysis: CallGraphAnalysis
115 ; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}ProfileSummaryAnalysis
116 ; CHECK-O-NEXT: Running analysis: ProfileSummaryAnalysis
117 ; CHECK-O-NEXT: Running pass: ModuleToPostOrderCGSCCPassAdaptor<{{.*}}LazyCallGraph{{.*}}>
118 ; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
119 ; CHECK-O-NEXT: Running analysis: LazyCallGraphAnalysis
120 ; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
121 ; CHECK-O-NEXT: Starting CGSCC pass manager run.
122 ; CHECK-O-NEXT: Running pass: InlinerPass
123 ; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy<{{.*}}LazyCallGraph{{.*}}>
124 ; CHECK-O-NEXT: Running analysis: FunctionAnalysisManagerCGSCCProxy
125 ; CHECK-O-NEXT: Running pass: PostOrderFunctionAttrsPass
126 ; CHECK-O3-NEXT: Running pass: ArgumentPromotionPass
127 ; CHECK-O-NEXT: Running pass: CGSCCToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
128 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
129 ; CHECK-O-NEXT: Running pass: SROA
130 ; CHECK-O-NEXT: Running pass: EarlyCSEPass
131 ; CHECK-O-NEXT: Running analysis: MemorySSAAnalysis
132 ; CHECK-O-NEXT: Running pass: SpeculativeExecutionPass
133 ; CHECK-O-NEXT: Running pass: JumpThreadingPass
134 ; CHECK-O-NEXT: Running analysis: LazyValueAnalysis
135 ; CHECK-O-NEXT: Running pass: CorrelatedValuePropagationPass
136 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
137 ; CHECK-O3-NEXT: AggressiveInstCombinePass
138 ; CHECK-O-NEXT: Running pass: InstCombinePass
139 ; CHECK-O1-NEXT: Running pass: LibCallsShrinkWrapPass
140 ; CHECK-O2-NEXT: Running pass: LibCallsShrinkWrapPass
141 ; CHECK-O3-NEXT: Running pass: LibCallsShrinkWrapPass
142 ; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
143 ; CHECK-O-NEXT: Running pass: TailCallElimPass
144 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
145 ; CHECK-O-NEXT: Running pass: ReassociatePass
146 ; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
147 ; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
148 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
149 ; CHECK-O-NEXT: Running pass: LoopSimplifyPass
150 ; CHECK-O-NEXT: Running analysis: LoopAnalysis
151 ; CHECK-O-NEXT: Running pass: LCSSAPass
152 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
153 ; CHECK-O-NEXT: Running analysis: ScalarEvolutionAnalysis
154 ; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
155 ; CHECK-O-NEXT: Starting Loop pass manager run.
156 ; CHECK-O-NEXT: Running analysis: PassInstrumentationAnalysis
157 ; CHECK-O-NEXT: Running pass: LoopInstSimplifyPass
158 ; CHECK-O-NEXT: Running pass: LoopSimplifyCFGPass
159 ; CHECK-O-NEXT: Running pass: LoopRotatePass
160 ; CHECK-O-NEXT: Running pass: LICM
161 ; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
162 ; CHECK-O-NEXT: Running pass: SimpleLoopUnswitchPass
163 ; CHECK-O-NEXT: Finished Loop pass manager run.
164 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
165 ; CHECK-O-NEXT: Running pass: InstCombinePass
166 ; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
167 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
168 ; CHECK-O-NEXT: Running pass: LoopSimplifyPass
169 ; CHECK-O-NEXT: Running pass: LCSSAPass
170 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
171 ; CHECK-O-NEXT: Starting Loop pass manager run.
172 ; CHECK-O-NEXT: Running pass: IndVarSimplifyPass
173 ; CHECK-O-NEXT: Running pass: LoopIdiomRecognizePass
174 ; CHECK-EP-LOOP-LATE-NEXT: Running pass: NoOpLoopPass
175 ; CHECK-O-NEXT: Running pass: LoopDeletionPass
176 ; CHECK-O-NEXT: Running pass: LoopFullUnrollPass
177 ; CHECK-EP-LOOP-END-NEXT: Running pass: NoOpLoopPass
178 ; CHECK-O-NEXT: Finished Loop pass manager run.
179 ; CHECK-Os-NEXT: Running pass: MergedLoadStoreMotionPass
180 ; CHECK-Os-NEXT: Running pass: GVN
181 ; CHECK-Os-NEXT: Running analysis: MemoryDependenceAnalysis
182 ; CHECK-Os-NEXT: Running analysis: PhiValuesAnalysis
183 ; CHECK-Oz-NEXT: Running pass: MergedLoadStoreMotionPass
184 ; CHECK-Oz-NEXT: Running pass: GVN
185 ; CHECK-Oz-NEXT: Running analysis: MemoryDependenceAnalysis
186 ; CHECK-Oz-NEXT: Running analysis: PhiValuesAnalysis
187 ; CHECK-O2-NEXT: Running pass: MergedLoadStoreMotionPass
188 ; CHECK-O2-NEXT: Running pass: GVN
189 ; CHECK-O2-NEXT: Running analysis: MemoryDependenceAnalysis
190 ; CHECK-O2-NEXT: Running analysis: PhiValuesAnalysis
191 ; CHECK-O3-NEXT: Running pass: MergedLoadStoreMotionPass
192 ; CHECK-O3-NEXT: Running pass: GVN
193 ; CHECK-O3-NEXT: Running analysis: MemoryDependenceAnalysis
194 ; CHECK-O3-NEXT: Running analysis: PhiValuesAnalysis
195 ; CHECK-O-NEXT: Running pass: MemCpyOptPass
196 ; CHECK-O1-NEXT: Running analysis: MemoryDependenceAnalysis
197 ; CHECK-O1-NEXT: Running analysis: PhiValuesAnalysis
198 ; CHECK-O-NEXT: Running pass: SCCPPass
199 ; CHECK-O-NEXT: Running pass: BDCEPass
200 ; CHECK-O-NEXT: Running analysis: DemandedBitsAnalysis
201 ; CHECK-O-NEXT: Running pass: InstCombinePass
202 ; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
203 ; CHECK-O-NEXT: Running pass: JumpThreadingPass
204 ; CHECK-O-NEXT: Running pass: CorrelatedValuePropagationPass
205 ; CHECK-O-NEXT: Running pass: DSEPass
206 ; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass{{.*}}>
207 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
208 ; CHECK-O-NEXT: Running pass: LoopSimplifyPass
209 ; CHECK-O-NEXT: Running pass: LCSSAPass
210 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
211 ; CHECK-EP-SCALAR-LATE-NEXT: Running pass: NoOpFunctionPass
212 ; CHECK-O-NEXT: Running pass: ADCEPass
213 ; CHECK-O-NEXT: Running analysis: PostDominatorTreeAnalysis
214 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
215 ; CHECK-O-NEXT: Running pass: InstCombinePass
216 ; CHECK-EP-PEEPHOLE-NEXT: Running pass: NoOpFunctionPass
217 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
218 ; CHECK-EP-CGSCC-LATE-NEXT: Running pass: NoOpCGSCCPass
219 ; CHECK-O-NEXT: Finished CGSCC pass manager run.
220 ; CHECK-O-NEXT: Finished llvm::Module pass manager run.
221 ; CHECK-O-NEXT: Running pass: PassManager<{{.*}}Module{{.*}}>
222 ; CHECK-O-NEXT: Starting llvm::Module pass manager run.
223 ; CHECK-O-NEXT: Running pass: GlobalOptPass
224 ; CHECK-O-NEXT: Running pass: GlobalDCEPass
225 ; CHECK-O-NEXT: Running pass: EliminateAvailableExternallyPass
226 ; CHECK-O-NEXT: Running pass: ReversePostOrderFunctionAttrsPass
227 ; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}GlobalsAA
228 ; CHECK-O-NEXT: Running pass: ModuleToFunctionPassAdaptor<{{.*}}PassManager{{.*}}>
229 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
230 ; CHECK-O-NEXT: Running pass: Float2IntPass
231 ; CHECK-EP-VECTORIZER-START-NEXT: Running pass: NoOpFunctionPass
232 ; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopRotatePass
233 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
234 ; CHECK-O-NEXT: Running pass: LoopSimplifyPass
235 ; CHECK-O-NEXT: Running pass: LCSSAPass
236 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
237 ; CHECK-O-NEXT: Running pass: LoopDistributePass
238 ; CHECK-O-NEXT: Running pass: LoopVectorizePass
239 ; CHECK-O-NEXT: Running analysis: BlockFrequencyAnalysis
240 ; CHECK-O-NEXT: Running analysis: BranchProbabilityAnalysis
241 ; CHECK-O-NEXT: Running pass: LoopLoadEliminationPass
242 ; CHECK-O-NEXT: Running analysis: LoopAccessAnalysis
243 ; CHECK-O-NEXT: Running pass: InstCombinePass
244 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
245 ; CHECK-O-NEXT: Running pass: SLPVectorizerPass
246 ; CHECK-O-NEXT: Running pass: InstCombinePass
247 ; CHECK-O-NEXT: Running pass: LoopUnrollPass
248 ; CHECK-O-NEXT: Running analysis: OuterAnalysisManagerProxy
249 ; CHECK-O-NEXT: Running pass: WarnMissedTransformationsPass
250 ; CHECK-O-NEXT: Running pass: InstCombinePass
251 ; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
252 ; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LICMPass
253 ; CHECK-O-NEXT: Starting llvm::Function pass manager run.
254 ; CHECK-O-NEXT: Running pass: LoopSimplifyPass
255 ; CHECK-O-NEXT: Running pass: LCSSAPass
256 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
257 ; CHECK-O-NEXT: Running pass: AlignmentFromAssumptionsPass
258 ; CHECK-O-NEXT: Running pass: LoopSinkPass
259 ; CHECK-O-NEXT: Running pass: InstSimplifyPass
260 ; CHECK-O-NEXT: Running pass: DivRemPairsPass
261 ; CHECK-O-NEXT: Running pass: SimplifyCFGPass
262 ; CHECK-O-NEXT: Running pass: SpeculateAroundPHIsPass
263 ; CHECK-EP-OPTIMIZER-LAST: Running pass: NoOpFunctionPass
264 ; CHECK-O-NEXT: Finished llvm::Function pass manager run.
265 ; CHECK-O-NEXT: Running pass: CGProfilePass
266 ; CHECK-O-NEXT: Running pass: GlobalDCEPass
267 ; CHECK-O-NEXT: Running pass: ConstantMergePass
268 ; CHECK-O-NEXT: Finished llvm::Module pass manager run.
269 ; CHECK-O-NEXT: Finished llvm::Module pass manager run.
270 ; CHECK-O-NEXT: Running pass: PrintModulePass
271 ;
272 ; Make sure we get the IR back out without changes when we print the module.
273 ; CHECK-O-LABEL: define void @foo(i32 %n) local_unnamed_addr {
274 ; CHECK-O-NEXT: entry:
275 ; CHECK-O-NEXT: br label %loop
276 ; CHECK-O: loop:
277 ; CHECK-O-NEXT: %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
278 ; CHECK-O-NEXT: %iv.next = add i32 %iv, 1
279 ; CHECK-O-NEXT: tail call void @bar()
280 ; CHECK-O-NEXT: %cmp = icmp eq i32 %iv, %n
281 ; CHECK-O-NEXT: br i1 %cmp, label %exit, label %loop
282 ; CHECK-O: exit:
283 ; CHECK-O-NEXT: ret void
284 ; CHECK-O-NEXT: }
285 ;
286 ; CHECK-O-NEXT: Finished llvm::Module pass manager run.
288 declare void @bar() local_unnamed_addr
290 define void @foo(i32 %n) local_unnamed_addr {
291 entry:
292 br label %loop
293 loop:
294 %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
295 %iv.next = add i32 %iv, 1
296 tail call void @bar()
297 %cmp = icmp eq i32 %iv, %n
298 br i1 %cmp, label %exit, label %loop
299 exit:
300 ret void
301 }