Revert r354244 "[DAGCombiner] Eliminate dead stores to stack."
[llvm-complete.git] / test / Other / opt-Os-pipeline.ll
blobc44f6506c4ef76b83c9ff908accfd4b97365a2f6
1 ; RUN: opt -mtriple=x86_64-- -Os -debug-pass=Structure < %s -o /dev/null 2>&1 | FileCheck %s
3 ; REQUIRES: asserts
5 ; CHECK-LABEL: Pass Arguments:
6 ; CHECK-NEXT: Target Transform Information
7 ; CHECK-NEXT: Type-Based Alias Analysis
8 ; CHECK-NEXT: Scoped NoAlias Alias Analysis
9 ; CHECK-NEXT: Assumption Cache Tracker
10 ; CHECK-NEXT: Target Library Information
11 ; CHECK-NEXT:   FunctionPass Manager
12 ; CHECK-NEXT:     Module Verifier
13 ; CHECK-NEXT:     Instrument function entry/exit with calls to e.g. mcount() (pre inlining)
14 ; CHECK-NEXT:     Simplify the CFG
15 ; CHECK-NEXT:     Dominator Tree Construction
16 ; CHECK-NEXT:     SROA
17 ; CHECK-NEXT:     Early CSE
18 ; CHECK-NEXT:     Lower 'expect' Intrinsics
19 ; CHECK-NEXT: Pass Arguments:
20 ; CHECK-NEXT: Target Library Information
21 ; CHECK-NEXT: Target Transform Information
22 ;             Target Pass Configuration
23 ; CHECK:      Type-Based Alias Analysis
24 ; CHECK-NEXT: Scoped NoAlias Alias Analysis
25 ; CHECK-NEXT: Assumption Cache Tracker
26 ; CHECK-NEXT: Profile summary info
27 ; CHECK-NEXT:   ModulePass Manager
28 ; CHECK-NEXT:     Force set function attributes
29 ; CHECK-NEXT:     Infer set function attributes
30 ; CHECK-NEXT:     Interprocedural Sparse Conditional Constant Propagation
31 ; CHECK-NEXT:       Unnamed pass: implement Pass::getPassName()
32 ; CHECK-NEXT:     Called Value Propagation
33 ; CHECK-NEXT:     Global Variable Optimizer
34 ; CHECK-NEXT:       Unnamed pass: implement Pass::getPassName()
35 ; CHECK-NEXT:     FunctionPass Manager
36 ; CHECK-NEXT:       Dominator Tree Construction
37 ; CHECK-NEXT:       Promote Memory to Register
38 ; CHECK-NEXT:     Dead Argument Elimination
39 ; CHECK-NEXT:     FunctionPass Manager
40 ; CHECK-NEXT:       Dominator Tree Construction
41 ; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
42 ; CHECK-NEXT:       Function Alias Analysis Results
43 ; CHECK-NEXT:       Natural Loop Information
44 ; CHECK-NEXT:       Lazy Branch Probability Analysis
45 ; CHECK-NEXT:       Lazy Block Frequency Analysis
46 ; CHECK-NEXT:       Optimization Remark Emitter
47 ; CHECK-NEXT:       Combine redundant instructions
48 ; CHECK-NEXT:       Simplify the CFG
49 ; CHECK-NEXT:     CallGraph Construction
50 ; CHECK-NEXT:     Globals Alias Analysis
51 ; CHECK-NEXT:     Call Graph SCC Pass Manager
52 ; CHECK-NEXT:       Remove unused exception handling info
53 ; CHECK-NEXT:       Function Integration/Inlining
54 ; CHECK-NEXT:       Deduce function attributes
55 ; CHECK-NEXT:       FunctionPass Manager
56 ; CHECK-NEXT:         Dominator Tree Construction
57 ; CHECK-NEXT:         SROA
58 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
59 ; CHECK-NEXT:         Function Alias Analysis Results
60 ; CHECK-NEXT:         Memory SSA
61 ; CHECK-NEXT:         Early CSE w/ MemorySSA
62 ; CHECK-NEXT:         Speculatively execute instructions if target has divergent branches
63 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
64 ; CHECK-NEXT:         Function Alias Analysis Results
65 ; CHECK-NEXT:         Lazy Value Information Analysis
66 ; CHECK-NEXT:         Jump Threading
67 ; CHECK-NEXT:         Value Propagation
68 ; CHECK-NEXT:         Simplify the CFG
69 ; CHECK-NEXT:         Dominator Tree Construction
70 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
71 ; CHECK-NEXT:         Function Alias Analysis Results
72 ; CHECK-NEXT:         Natural Loop Information
73 ; CHECK-NEXT:         Lazy Branch Probability Analysis
74 ; CHECK-NEXT:         Lazy Block Frequency Analysis
75 ; CHECK-NEXT:         Optimization Remark Emitter
76 ; CHECK-NEXT:         Combine redundant instructions
77 ; CHECK-NEXT:         Optimization Remark Emitter
78 ; CHECK-NEXT:         Tail Call Elimination
79 ; CHECK-NEXT:         Simplify the CFG
80 ; CHECK-NEXT:         Reassociate expressions
81 ; CHECK-NEXT:         Dominator Tree Construction
82 ; CHECK-NEXT:         Natural Loop Information
83 ; CHECK-NEXT:         Canonicalize natural loops
84 ; CHECK-NEXT:         LCSSA Verifier
85 ; CHECK-NEXT:         Loop-Closed SSA Form Pass
86 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
87 ; CHECK-NEXT:         Function Alias Analysis Results
88 ; CHECK-NEXT:         Scalar Evolution Analysis
89 ; CHECK-NEXT:         Loop Pass Manager
90 ; CHECK-NEXT:           Rotate Loops
91 ; CHECK-NEXT:           Loop Invariant Code Motion
92 ; CHECK-NEXT:           Unswitch loops
93 ; CHECK-NEXT:         Simplify the CFG
94 ; CHECK-NEXT:         Dominator Tree Construction
95 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
96 ; CHECK-NEXT:         Function Alias Analysis Results
97 ; CHECK-NEXT:         Natural Loop Information
98 ; CHECK-NEXT:         Lazy Branch Probability Analysis
99 ; CHECK-NEXT:         Lazy Block Frequency Analysis
100 ; CHECK-NEXT:         Optimization Remark Emitter
101 ; CHECK-NEXT:         Combine redundant instructions
102 ; CHECK-NEXT:         Canonicalize natural loops
103 ; CHECK-NEXT:         LCSSA Verifier
104 ; CHECK-NEXT:         Loop-Closed SSA Form Pass
105 ; CHECK-NEXT:         Scalar Evolution Analysis
106 ; CHECK-NEXT:         Loop Pass Manager
107 ; CHECK-NEXT:           Induction Variable Simplification
108 ; CHECK-NEXT:           Recognize loop idioms
109 ; CHECK-NEXT:           Delete dead loops
110 ; CHECK-NEXT:           Unroll loops
111 ; CHECK-NEXT:         MergedLoadStoreMotion
112 ; CHECK-NEXT:         Phi Values Analysis
113 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
114 ; CHECK-NEXT:         Function Alias Analysis Results
115 ; CHECK-NEXT:         Memory Dependence Analysis
116 ; CHECK-NEXT:         Lazy Branch Probability Analysis
117 ; CHECK-NEXT:         Lazy Block Frequency Analysis
118 ; CHECK-NEXT:         Optimization Remark Emitter
119 ; CHECK-NEXT:         Global Value Numbering
120 ; CHECK-NEXT:         Phi Values Analysis
121 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
122 ; CHECK-NEXT:         Function Alias Analysis Results
123 ; CHECK-NEXT:         Memory Dependence Analysis
124 ; CHECK-NEXT:         MemCpy Optimization
125 ; CHECK-NEXT:         Sparse Conditional Constant Propagation
126 ; CHECK-NEXT:         Demanded bits analysis
127 ; CHECK-NEXT:         Bit-Tracking Dead Code Elimination
128 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
129 ; CHECK-NEXT:         Function Alias Analysis Results
130 ; CHECK-NEXT:         Natural Loop Information
131 ; CHECK-NEXT:         Lazy Branch Probability Analysis
132 ; CHECK-NEXT:         Lazy Block Frequency Analysis
133 ; CHECK-NEXT:         Optimization Remark Emitter
134 ; CHECK-NEXT:         Combine redundant instructions
135 ; CHECK-NEXT:         Lazy Value Information Analysis
136 ; CHECK-NEXT:         Jump Threading
137 ; CHECK-NEXT:         Value Propagation
138 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
139 ; CHECK-NEXT:         Function Alias Analysis Results
140 ; CHECK-NEXT:         Phi Values Analysis
141 ; CHECK-NEXT:         Memory Dependence Analysis
142 ; CHECK-NEXT:         Dead Store Elimination
143 ; CHECK-NEXT:         Natural Loop Information
144 ; CHECK-NEXT:         Canonicalize natural loops
145 ; CHECK-NEXT:         LCSSA Verifier
146 ; CHECK-NEXT:         Loop-Closed SSA Form Pass
147 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
148 ; CHECK-NEXT:         Function Alias Analysis Results
149 ; CHECK-NEXT:         Scalar Evolution Analysis
150 ; CHECK-NEXT:         Loop Pass Manager
151 ; CHECK-NEXT:           Loop Invariant Code Motion
152 ; CHECK-NEXT:         Post-Dominator Tree Construction
153 ; CHECK-NEXT:         Aggressive Dead Code Elimination
154 ; CHECK-NEXT:         Simplify the CFG
155 ; CHECK-NEXT:         Dominator Tree Construction
156 ; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
157 ; CHECK-NEXT:         Function Alias Analysis Results
158 ; CHECK-NEXT:         Natural Loop Information
159 ; CHECK-NEXT:         Lazy Branch Probability Analysis
160 ; CHECK-NEXT:         Lazy Block Frequency Analysis
161 ; CHECK-NEXT:         Optimization Remark Emitter
162 ; CHECK-NEXT:         Combine redundant instructions
163 ; CHECK-NEXT:     A No-Op Barrier Pass
164 ; CHECK-NEXT:     Eliminate Available Externally Globals
165 ; CHECK-NEXT:     CallGraph Construction
166 ; CHECK-NEXT:     Deduce function attributes in RPO
167 ; CHECK-NEXT:     Global Variable Optimizer
168 ; CHECK-NEXT:       Unnamed pass: implement Pass::getPassName()
169 ; CHECK-NEXT:     Dead Global Elimination
170 ; CHECK-NEXT:     CallGraph Construction
171 ; CHECK-NEXT:     Globals Alias Analysis
172 ; CHECK-NEXT:     FunctionPass Manager
173 ; CHECK-NEXT:       Float to int
174 ; CHECK-NEXT:       Dominator Tree Construction
175 ; CHECK-NEXT:       Natural Loop Information
176 ; CHECK-NEXT:       Canonicalize natural loops
177 ; CHECK-NEXT:       LCSSA Verifier
178 ; CHECK-NEXT:       Loop-Closed SSA Form Pass
179 ; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
180 ; CHECK-NEXT:       Function Alias Analysis Results
181 ; CHECK-NEXT:       Scalar Evolution Analysis
182 ; CHECK-NEXT:       Loop Pass Manager
183 ; CHECK-NEXT:         Rotate Loops
184 ; CHECK-NEXT:       Loop Access Analysis
185 ; CHECK-NEXT:       Lazy Branch Probability Analysis
186 ; CHECK-NEXT:       Lazy Block Frequency Analysis
187 ; CHECK-NEXT:       Optimization Remark Emitter
188 ; CHECK-NEXT:       Loop Distribution
189 ; CHECK-NEXT:       Branch Probability Analysis
190 ; CHECK-NEXT:       Block Frequency Analysis
191 ; CHECK-NEXT:       Scalar Evolution Analysis
192 ; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
193 ; CHECK-NEXT:       Function Alias Analysis Results
194 ; CHECK-NEXT:       Loop Access Analysis
195 ; CHECK-NEXT:       Demanded bits analysis
196 ; CHECK-NEXT:       Lazy Branch Probability Analysis
197 ; CHECK-NEXT:       Lazy Block Frequency Analysis
198 ; CHECK-NEXT:       Optimization Remark Emitter
199 ; CHECK-NEXT:       Loop Vectorization
200 ; CHECK-NEXT:       Canonicalize natural loops
201 ; CHECK-NEXT:       Scalar Evolution Analysis
202 ; CHECK-NEXT:       Function Alias Analysis Results
203 ; CHECK-NEXT:       Loop Access Analysis
204 ; CHECK-NEXT:       Loop Load Elimination
205 ; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
206 ; CHECK-NEXT:       Function Alias Analysis Results
207 ; CHECK-NEXT:       Lazy Branch Probability Analysis
208 ; CHECK-NEXT:       Lazy Block Frequency Analysis
209 ; CHECK-NEXT:       Optimization Remark Emitter
210 ; CHECK-NEXT:       Combine redundant instructions
211 ; CHECK-NEXT:       Simplify the CFG
212 ; CHECK-NEXT:       Dominator Tree Construction
213 ; CHECK-NEXT:       Natural Loop Information
214 ; CHECK-NEXT:       Scalar Evolution Analysis
215 ; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
216 ; CHECK-NEXT:       Function Alias Analysis Results
217 ; CHECK-NEXT:       Demanded bits analysis
218 ; CHECK-NEXT:       Lazy Branch Probability Analysis
219 ; CHECK-NEXT:       Lazy Block Frequency Analysis
220 ; CHECK-NEXT:       Optimization Remark Emitter
221 ; CHECK-NEXT:       SLP Vectorizer
222 ; CHECK-NEXT:       Optimization Remark Emitter
223 ; CHECK-NEXT:       Combine redundant instructions
224 ; CHECK-NEXT:       Canonicalize natural loops
225 ; CHECK-NEXT:       LCSSA Verifier
226 ; CHECK-NEXT:       Loop-Closed SSA Form Pass
227 ; CHECK-NEXT:       Scalar Evolution Analysis
228 ; CHECK-NEXT:       Loop Pass Manager
229 ; CHECK-NEXT:         Unroll loops
230 ; CHECK-NEXT:       Lazy Branch Probability Analysis
231 ; CHECK-NEXT:       Lazy Block Frequency Analysis
232 ; CHECK-NEXT:       Optimization Remark Emitter
233 ; CHECK-NEXT:       Combine redundant instructions
234 ; CHECK-NEXT:       Canonicalize natural loops
235 ; CHECK-NEXT:       LCSSA Verifier
236 ; CHECK-NEXT:       Loop-Closed SSA Form Pass
237 ; CHECK-NEXT:       Scalar Evolution Analysis
238 ; CHECK-NEXT:       Loop Pass Manager
239 ; CHECK-NEXT:         Loop Invariant Code Motion
240 ; CHECK-NEXT:       Lazy Branch Probability Analysis
241 ; CHECK-NEXT:       Lazy Block Frequency Analysis
242 ; CHECK-NEXT:       Optimization Remark Emitter
243 ; CHECK-NEXT:       Warn about non-applied transformations
244 ; CHECK-NEXT:       Alignment from assumptions
245 ; CHECK-NEXT:     Strip Unused Function Prototypes
246 ; CHECK-NEXT:     Dead Global Elimination
247 ; CHECK-NEXT:     Merge Duplicate Global Constants
248 ; CHECK-NEXT:     FunctionPass Manager
249 ; CHECK-NEXT:       Dominator Tree Construction
250 ; CHECK-NEXT:       Natural Loop Information
251 ; CHECK-NEXT:       Branch Probability Analysis
252 ; CHECK-NEXT:       Block Frequency Analysis
253 ; CHECK-NEXT:       Canonicalize natural loops
254 ; CHECK-NEXT:       LCSSA Verifier
255 ; CHECK-NEXT:       Loop-Closed SSA Form Pass
256 ; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
257 ; CHECK-NEXT:       Function Alias Analysis Results
258 ; CHECK-NEXT:       Scalar Evolution Analysis
259 ; CHECK-NEXT:       Branch Probability Analysis
260 ; CHECK-NEXT:       Block Frequency Analysis
261 ; CHECK-NEXT:       Loop Pass Manager
262 ; CHECK-NEXT:         Loop Sink
263 ; CHECK-NEXT:       Lazy Branch Probability Analysis
264 ; CHECK-NEXT:       Lazy Block Frequency Analysis
265 ; CHECK-NEXT:       Optimization Remark Emitter
266 ; CHECK-NEXT:       Remove redundant instructions
267 ; CHECK-NEXT:       Hoist/decompose integer division and remainder
268 ; CHECK-NEXT:       Simplify the CFG
269 ; CHECK-NEXT:       Module Verifier
270 ; CHECK-NEXT:     Bitcode Writer
271 ; CHECK-NEXT: Pass Arguments:
272 ; CHECK-NEXT:  FunctionPass Manager
273 ; CHECK-NEXT:     Dominator Tree Construction
274 ; CHECK-NEXT: Pass Arguments:
275 ; CHECK-NEXT: Target Library Information
276 ; CHECK-NEXT:   FunctionPass Manager
277 ; CHECK-NEXT:     Dominator Tree Construction
278 ; CHECK-NEXT:     Natural Loop Information
279 ; CHECK-NEXT:     Branch Probability Analysis
280 ; CHECK-NEXT:     Block Frequency Analysis
281 ; CHECK-NEXT: Pass Arguments:
282 ; CHECK-NEXT: Target Library Information
283 ; CHECK-NEXT:   FunctionPass Manager
284 ; CHECK-NEXT:     Dominator Tree Construction
285 ; CHECK-NEXT:     Natural Loop Information
286 ; CHECK-NEXT:     Branch Probability Analysis
287 ; CHECK-NEXT:     Block Frequency Analysis
289 define void @f() {
290   ret void