]>
Commit | Line | Data |
---|---|---|
0f9cdef4 | 1 | /* Description of pass structure |
99dee823 | 2 | Copyright (C) 1987-2021 Free Software Foundation, Inc. |
0f9cdef4 DM |
3 | |
4 | This file is part of GCC. | |
5 | ||
6 | GCC is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU General Public License as published by the Free | |
8 | Software Foundation; either version 3, or (at your option) any later | |
9 | version. | |
10 | ||
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with GCC; see the file COPYING3. If not see | |
18 | <http://www.gnu.org/licenses/>. */ | |
19 | ||
20 | /* | |
21 | Macros that should be defined when using this file: | |
22 | INSERT_PASSES_AFTER (PASS) | |
23 | PUSH_INSERT_PASSES_WITHIN (PASS) | |
24 | POP_INSERT_PASSES () | |
25 | NEXT_PASS (PASS) | |
17e7ab87 | 26 | TERMINATE_PASS_LIST (PASS) |
0f9cdef4 DM |
27 | */ |
28 | ||
29 | /* All passes needed to lower the function into shape optimizers can | |
30 | operate on. These passes are always run first on the function, but | |
31 | backend might produce already lowered functions that are not processed | |
32 | by these passes. */ | |
33 | INSERT_PASSES_AFTER (all_lowering_passes) | |
34 | NEXT_PASS (pass_warn_unused_result); | |
35 | NEXT_PASS (pass_diagnose_omp_blocks); | |
36 | NEXT_PASS (pass_diagnose_tm_blocks); | |
e898ce79 | 37 | NEXT_PASS (pass_omp_oacc_kernels_decompose); |
0f9cdef4 DM |
38 | NEXT_PASS (pass_lower_omp); |
39 | NEXT_PASS (pass_lower_cf); | |
40 | NEXT_PASS (pass_lower_tm); | |
41 | NEXT_PASS (pass_refactor_eh); | |
42 | NEXT_PASS (pass_lower_eh); | |
49789fd0 | 43 | NEXT_PASS (pass_coroutine_lower_builtins); |
0f9cdef4 DM |
44 | NEXT_PASS (pass_build_cfg); |
45 | NEXT_PASS (pass_warn_function_return); | |
49789fd0 | 46 | NEXT_PASS (pass_coroutine_early_expand_ifns); |
0f9cdef4 | 47 | NEXT_PASS (pass_expand_omp); |
adc577c5 | 48 | NEXT_PASS (pass_walloca, /*strict_mode_p=*/true); |
6ba856d4 | 49 | NEXT_PASS (pass_build_cgraph_edges); |
17e7ab87 | 50 | TERMINATE_PASS_LIST (all_lowering_passes) |
0f9cdef4 DM |
51 | |
52 | /* Interprocedural optimization passes. */ | |
53 | INSERT_PASSES_AFTER (all_small_ipa_passes) | |
54 | NEXT_PASS (pass_ipa_free_lang_data); | |
55 | NEXT_PASS (pass_ipa_function_and_variable_visibility); | |
d5e254e1 IE |
56 | NEXT_PASS (pass_build_ssa_passes); |
57 | PUSH_INSERT_PASSES_WITHIN (pass_build_ssa_passes) | |
0f9cdef4 | 58 | NEXT_PASS (pass_fixup_cfg); |
0f9cdef4 | 59 | NEXT_PASS (pass_build_ssa); |
2254b323 | 60 | NEXT_PASS (pass_warn_printf); |
bf14eba2 | 61 | NEXT_PASS (pass_warn_nonnull_compare); |
0f9cdef4 | 62 | NEXT_PASS (pass_early_warn_uninitialized); |
31de5e4d | 63 | NEXT_PASS (pass_ubsan); |
38147a2a | 64 | NEXT_PASS (pass_nothrow); |
8a87dced | 65 | NEXT_PASS (pass_rebuild_cgraph_edges); |
d5e254e1 IE |
66 | POP_INSERT_PASSES () |
67 | ||
d5e254e1 IE |
68 | NEXT_PASS (pass_local_optimization_passes); |
69 | PUSH_INSERT_PASSES_WITHIN (pass_local_optimization_passes) | |
70 | NEXT_PASS (pass_fixup_cfg); | |
0f9cdef4 | 71 | NEXT_PASS (pass_rebuild_cgraph_edges); |
d2db2e6b | 72 | NEXT_PASS (pass_local_fn_summary); |
0f9cdef4 DM |
73 | NEXT_PASS (pass_early_inline); |
74 | NEXT_PASS (pass_all_early_optimizations); | |
75 | PUSH_INSERT_PASSES_WITHIN (pass_all_early_optimizations) | |
76 | NEXT_PASS (pass_remove_cgraph_callee_edges); | |
dddb6ffd | 77 | NEXT_PASS (pass_early_object_sizes); |
c06883ac TV |
78 | /* Don't record nonzero bits before IPA to avoid |
79 | using too much memory. */ | |
80 | NEXT_PASS (pass_ccp, false /* nonzero_p */); | |
0f9cdef4 DM |
81 | /* After CCP we rewrite no longer addressed locals into SSA |
82 | form if possible. */ | |
83 | NEXT_PASS (pass_forwprop); | |
b720e919 | 84 | NEXT_PASS (pass_early_thread_jumps); |
a9e4c82f | 85 | NEXT_PASS (pass_sra_early); |
0f9cdef4 DM |
86 | /* pass_build_ealias is a dummy pass that ensures that we |
87 | execute TODO_rebuild_alias at this point. */ | |
88 | NEXT_PASS (pass_build_ealias); | |
744fd446 | 89 | NEXT_PASS (pass_fre, true /* may_iterate */); |
973625a0 | 90 | NEXT_PASS (pass_early_vrp); |
0f9cdef4 | 91 | NEXT_PASS (pass_merge_phi); |
5a33401e | 92 | NEXT_PASS (pass_dse); |
b673e754 | 93 | NEXT_PASS (pass_cd_dce, false /* update_address_taken_p */); |
1cab645d | 94 | NEXT_PASS (pass_phiopt, true /* early_p */); |
d119f34c | 95 | NEXT_PASS (pass_modref); |
0f9cdef4 | 96 | NEXT_PASS (pass_tail_recursion); |
03eb0929 | 97 | NEXT_PASS (pass_if_to_switch); |
0f9cdef4 | 98 | NEXT_PASS (pass_convert_switch); |
d5e254e1 IE |
99 | NEXT_PASS (pass_cleanup_eh); |
100 | NEXT_PASS (pass_profile); | |
101 | NEXT_PASS (pass_local_pure_const); | |
0f9cdef4 DM |
102 | /* Split functions creates parts that are not run through |
103 | early optimizations again. It is thus good idea to do this | |
d5e254e1 IE |
104 | late. */ |
105 | NEXT_PASS (pass_split_functions); | |
7a096965 | 106 | NEXT_PASS (pass_strip_predict_hints, true /* early_p */); |
0f9cdef4 DM |
107 | POP_INSERT_PASSES () |
108 | NEXT_PASS (pass_release_ssa_names); | |
109 | NEXT_PASS (pass_rebuild_cgraph_edges); | |
d2db2e6b | 110 | NEXT_PASS (pass_local_fn_summary); |
0f9cdef4 | 111 | POP_INSERT_PASSES () |
597a8ab9 | 112 | |
12485662 | 113 | NEXT_PASS (pass_ipa_remove_symbols); |
597a8ab9 TV |
114 | NEXT_PASS (pass_ipa_oacc); |
115 | PUSH_INSERT_PASSES_WITHIN (pass_ipa_oacc) | |
116 | NEXT_PASS (pass_ipa_pta); | |
117 | /* Pass group that runs when the function is an offloaded function | |
118 | containing oacc kernels loops. */ | |
119 | NEXT_PASS (pass_ipa_oacc_kernels); | |
120 | PUSH_INSERT_PASSES_WITHIN (pass_ipa_oacc_kernels) | |
121 | NEXT_PASS (pass_oacc_kernels); | |
122 | PUSH_INSERT_PASSES_WITHIN (pass_oacc_kernels) | |
123 | NEXT_PASS (pass_ch); | |
744fd446 | 124 | NEXT_PASS (pass_fre, true /* may_iterate */); |
597a8ab9 TV |
125 | /* We use pass_lim to rewrite in-memory iteration and reduction |
126 | variable accesses in loops into local variables accesses. */ | |
127 | NEXT_PASS (pass_lim); | |
128 | NEXT_PASS (pass_dominator, false /* may_peel_loop_headers_p */); | |
129 | NEXT_PASS (pass_dce); | |
a98d4647 | 130 | NEXT_PASS (pass_parallelize_loops, true /* oacc_kernels_p */); |
597a8ab9 TV |
131 | NEXT_PASS (pass_expand_omp_ssa); |
132 | NEXT_PASS (pass_rebuild_cgraph_edges); | |
133 | POP_INSERT_PASSES () | |
134 | POP_INSERT_PASSES () | |
135 | POP_INSERT_PASSES () | |
136 | ||
46a2ab58 | 137 | NEXT_PASS (pass_target_clone); |
be3c16c4 | 138 | NEXT_PASS (pass_ipa_auto_profile); |
0f9cdef4 DM |
139 | NEXT_PASS (pass_ipa_tree_profile); |
140 | PUSH_INSERT_PASSES_WITHIN (pass_ipa_tree_profile) | |
141 | NEXT_PASS (pass_feedback_split_functions); | |
142 | POP_INSERT_PASSES () | |
442db276 | 143 | NEXT_PASS (pass_ipa_free_fn_summary, true /* small_p */); |
0f9cdef4 DM |
144 | NEXT_PASS (pass_ipa_increase_alignment); |
145 | NEXT_PASS (pass_ipa_tm); | |
146 | NEXT_PASS (pass_ipa_lower_emutls); | |
17e7ab87 | 147 | TERMINATE_PASS_LIST (all_small_ipa_passes) |
0f9cdef4 DM |
148 | |
149 | INSERT_PASSES_AFTER (all_regular_ipa_passes) | |
757bf1df | 150 | NEXT_PASS (pass_analyzer); |
3fb68f2e | 151 | NEXT_PASS (pass_ipa_odr); |
0f9cdef4 DM |
152 | NEXT_PASS (pass_ipa_whole_program_visibility); |
153 | NEXT_PASS (pass_ipa_profile); | |
b84d4347 | 154 | NEXT_PASS (pass_ipa_icf); |
bbc9396b | 155 | NEXT_PASS (pass_ipa_devirt); |
0f9cdef4 | 156 | NEXT_PASS (pass_ipa_cp); |
ff6686d2 | 157 | NEXT_PASS (pass_ipa_sra); |
0f9cdef4 | 158 | NEXT_PASS (pass_ipa_cdtor_merge); |
d2db2e6b | 159 | NEXT_PASS (pass_ipa_fn_summary); |
0f9cdef4 DM |
160 | NEXT_PASS (pass_ipa_inline); |
161 | NEXT_PASS (pass_ipa_pure_const); | |
d119f34c | 162 | NEXT_PASS (pass_ipa_modref); |
442db276 | 163 | NEXT_PASS (pass_ipa_free_fn_summary, false /* small_p */); |
0f9cdef4 | 164 | NEXT_PASS (pass_ipa_reference); |
eb6a09a7 JH |
165 | /* This pass needs to be scheduled after any IP code duplication. */ |
166 | NEXT_PASS (pass_ipa_single_use); | |
a04d9035 JH |
167 | /* Comdat privatization come last, as direct references to comdat local |
168 | symbols are not allowed outside of the comdat group. Privatizing early | |
169 | would result in missed optimizations due to this restriction. */ | |
170 | NEXT_PASS (pass_ipa_comdats); | |
17e7ab87 | 171 | TERMINATE_PASS_LIST (all_regular_ipa_passes) |
0f9cdef4 | 172 | |
0f9cdef4 DM |
173 | /* Simple IPA passes executed after the regular passes. In WHOPR mode the |
174 | passes are executed after partitioning and thus see just parts of the | |
175 | compiled unit. */ | |
176 | INSERT_PASSES_AFTER (all_late_ipa_passes) | |
177 | NEXT_PASS (pass_ipa_pta); | |
0136f8f0 | 178 | NEXT_PASS (pass_omp_simd_clone); |
17e7ab87 | 179 | TERMINATE_PASS_LIST (all_late_ipa_passes) |
0f9cdef4 DM |
180 | |
181 | /* These passes are run after IPA passes on every function that is being | |
182 | output to the assembler file. */ | |
183 | INSERT_PASSES_AFTER (all_passes) | |
9c39fca1 | 184 | NEXT_PASS (pass_fixup_cfg); |
0f9cdef4 | 185 | NEXT_PASS (pass_lower_eh_dispatch); |
0829ab79 | 186 | NEXT_PASS (pass_oacc_loop_designation); |
e2a58ed6 | 187 | NEXT_PASS (pass_omp_oacc_neuter_broadcast); |
94829f87 | 188 | NEXT_PASS (pass_oacc_device_lower); |
9669b00b | 189 | NEXT_PASS (pass_omp_device_lower); |
4a38b02b | 190 | NEXT_PASS (pass_omp_target_link); |
dfa4fcdb | 191 | NEXT_PASS (pass_adjust_alignment); |
0f9cdef4 DM |
192 | NEXT_PASS (pass_all_optimizations); |
193 | PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations) | |
194 | NEXT_PASS (pass_remove_cgraph_callee_edges); | |
195 | /* Initial scalar cleanups before alias computation. | |
196 | They ensure memory accesses are not indirect wherever possible. */ | |
7a096965 | 197 | NEXT_PASS (pass_strip_predict_hints, false /* early_p */); |
c06883ac | 198 | NEXT_PASS (pass_ccp, true /* nonzero_p */); |
0f9cdef4 DM |
199 | /* After CCP we rewrite no longer addressed locals into SSA |
200 | form if possible. */ | |
dddb6ffd JJ |
201 | NEXT_PASS (pass_object_sizes); |
202 | NEXT_PASS (pass_post_ipa_warn); | |
4ee5c752 | 203 | NEXT_PASS (pass_complete_unrolli); |
6a75d560 | 204 | NEXT_PASS (pass_backprop); |
0f9cdef4 DM |
205 | NEXT_PASS (pass_phiprop); |
206 | NEXT_PASS (pass_forwprop); | |
207 | /* pass_build_alias is a dummy pass that ensures that we | |
208 | execute TODO_rebuild_alias at this point. */ | |
209 | NEXT_PASS (pass_build_alias); | |
210 | NEXT_PASS (pass_return_slot); | |
744fd446 | 211 | NEXT_PASS (pass_fre, true /* may_iterate */); |
0f9cdef4 | 212 | NEXT_PASS (pass_merge_phi); |
8b2ef235 | 213 | NEXT_PASS (pass_thread_jumps); |
b0c77505 | 214 | NEXT_PASS (pass_vrp, true /* warn_array_bounds_p */); |
0288527f | 215 | NEXT_PASS (pass_vrp_threader); |
d8e1f1d2 | 216 | NEXT_PASS (pass_dse); |
0f9cdef4 | 217 | NEXT_PASS (pass_dce); |
8d4c374c RB |
218 | /* pass_stdarg is always run and at this point we execute |
219 | TODO_remove_unused_locals to prune CLOBBERs of dead | |
220 | variables which are otherwise a churn on alias walkings. */ | |
32966af8 | 221 | NEXT_PASS (pass_stdarg); |
0f9cdef4 DM |
222 | NEXT_PASS (pass_call_cdce); |
223 | NEXT_PASS (pass_cselim); | |
9e4f27ef | 224 | NEXT_PASS (pass_copy_prop); |
0f9cdef4 | 225 | NEXT_PASS (pass_tree_ifcombine); |
465770e4 | 226 | NEXT_PASS (pass_merge_phi); |
1cab645d | 227 | NEXT_PASS (pass_phiopt, false /* early_p */); |
0f9cdef4 DM |
228 | NEXT_PASS (pass_tail_recursion); |
229 | NEXT_PASS (pass_ch); | |
0f9cdef4 DM |
230 | NEXT_PASS (pass_lower_complex); |
231 | NEXT_PASS (pass_sra); | |
0f9cdef4 DM |
232 | /* The dom pass will also resolve all __builtin_constant_p calls |
233 | that are still there to 0. This has to be done after some | |
234 | propagations have already run, but before some more dead code | |
235 | is removed, and this place fits nicely. Remember this when | |
236 | trying to move or duplicate pass_dominator somewhere earlier. */ | |
8b2ef235 | 237 | NEXT_PASS (pass_thread_jumps); |
5ce8d99a | 238 | NEXT_PASS (pass_dominator, true /* may_peel_loop_headers_p */); |
33579b59 JL |
239 | /* Threading can leave many const/copy propagations in the IL. |
240 | Clean them up. Failure to do so well can lead to false | |
241 | positives from warnings for erroneous code. */ | |
242 | NEXT_PASS (pass_copy_prop); | |
243 | /* Identify paths that should never be executed in a conforming | |
244 | program and isolate those paths. */ | |
8fdc414d | 245 | NEXT_PASS (pass_isolate_erroneous_paths); |
2162bfe1 | 246 | NEXT_PASS (pass_reassoc, true /* insert_powi_p */); |
0f9cdef4 DM |
247 | NEXT_PASS (pass_dce); |
248 | NEXT_PASS (pass_forwprop); | |
1cab645d | 249 | NEXT_PASS (pass_phiopt, false /* early_p */); |
c06883ac | 250 | NEXT_PASS (pass_ccp, true /* nonzero_p */); |
0f9cdef4 DM |
251 | /* After CCP we rewrite no longer addressed locals into SSA |
252 | form if possible. */ | |
0f9cdef4 DM |
253 | NEXT_PASS (pass_cse_sincos); |
254 | NEXT_PASS (pass_optimize_bswap); | |
ca87c493 | 255 | NEXT_PASS (pass_laddress); |
43c0068e | 256 | NEXT_PASS (pass_lim); |
adc577c5 | 257 | NEXT_PASS (pass_walloca, false); |
0f9cdef4 DM |
258 | NEXT_PASS (pass_pre); |
259 | NEXT_PASS (pass_sink_code); | |
95e7bbb8 | 260 | NEXT_PASS (pass_sancov); |
0f9cdef4 DM |
261 | NEXT_PASS (pass_asan); |
262 | NEXT_PASS (pass_tsan); | |
d8e1f1d2 | 263 | NEXT_PASS (pass_dse); |
43c0068e | 264 | NEXT_PASS (pass_dce); |
e5d8bd8c | 265 | /* Pass group that runs when 1) enabled, 2) there are loops |
7d39012c RB |
266 | in the function. Make sure to run pass_fix_loops before |
267 | to discover/remove loops before running the gate function | |
268 | of pass_tree_loop. */ | |
269 | NEXT_PASS (pass_fix_loops); | |
0f9cdef4 DM |
270 | NEXT_PASS (pass_tree_loop); |
271 | PUSH_INSERT_PASSES_WITHIN (pass_tree_loop) | |
8964432a RB |
272 | /* Before loop_init we rewrite no longer addressed locals into SSA |
273 | form if possible. */ | |
0f9cdef4 | 274 | NEXT_PASS (pass_tree_loop_init); |
0f9cdef4 DM |
275 | NEXT_PASS (pass_tree_unswitch); |
276 | NEXT_PASS (pass_scev_cprop); | |
28df8730 | 277 | NEXT_PASS (pass_loop_split); |
13e08dc9 | 278 | NEXT_PASS (pass_loop_versioning); |
1cc521f1 | 279 | NEXT_PASS (pass_loop_jam); |
59ec925b RB |
280 | /* All unswitching, final value replacement and splitting can expose |
281 | empty loops. Remove them now. */ | |
b673e754 | 282 | NEXT_PASS (pass_cd_dce, false /* update_address_taken_p */); |
09a939a0 | 283 | NEXT_PASS (pass_iv_canon); |
0f9cdef4 | 284 | NEXT_PASS (pass_loop_distribution); |
fbdec14e | 285 | NEXT_PASS (pass_linterchange); |
0f9cdef4 DM |
286 | NEXT_PASS (pass_copy_prop); |
287 | NEXT_PASS (pass_graphite); | |
288 | PUSH_INSERT_PASSES_WITHIN (pass_graphite) | |
289 | NEXT_PASS (pass_graphite_transforms); | |
290 | NEXT_PASS (pass_lim); | |
291 | NEXT_PASS (pass_copy_prop); | |
30866dc9 | 292 | NEXT_PASS (pass_dce); |
0f9cdef4 | 293 | POP_INSERT_PASSES () |
61d9c527 | 294 | NEXT_PASS (pass_parallelize_loops, false /* oacc_kernels_p */); |
2d73a9d2 | 295 | NEXT_PASS (pass_expand_omp_ssa); |
4f9a2b4e | 296 | NEXT_PASS (pass_ch_vect); |
0f9cdef4 | 297 | NEXT_PASS (pass_if_conversion); |
5ce9450f JJ |
298 | /* pass_vectorize must immediately follow pass_if_conversion. |
299 | Please do not add any other passes in between. */ | |
0f9cdef4 | 300 | NEXT_PASS (pass_vectorize); |
f5e18dd9 | 301 | PUSH_INSERT_PASSES_WITHIN (pass_vectorize) |
30866dc9 | 302 | NEXT_PASS (pass_dce); |
f5e18dd9 KL |
303 | POP_INSERT_PASSES () |
304 | NEXT_PASS (pass_predcom); | |
0f9cdef4 | 305 | NEXT_PASS (pass_complete_unroll); |
f5e18dd9 KL |
306 | NEXT_PASS (pass_pre_slp_scalar_cleanup); |
307 | PUSH_INSERT_PASSES_WITHIN (pass_pre_slp_scalar_cleanup) | |
308 | NEXT_PASS (pass_fre, false /* may_iterate */); | |
309 | NEXT_PASS (pass_dse); | |
310 | POP_INSERT_PASSES () | |
0f9cdef4 DM |
311 | NEXT_PASS (pass_slp_vectorize); |
312 | NEXT_PASS (pass_loop_prefetch); | |
e5d8bd8c RB |
313 | /* Run IVOPTs after the last pass that uses data-reference analysis |
314 | as that doesn't handle TARGET_MEM_REFs. */ | |
0f9cdef4 DM |
315 | NEXT_PASS (pass_iv_optimize); |
316 | NEXT_PASS (pass_lim); | |
317 | NEXT_PASS (pass_tree_loop_done); | |
318 | POP_INSERT_PASSES () | |
e5d8bd8c RB |
319 | /* Pass group that runs when pass_tree_loop is disabled or there |
320 | are no loops in the function. */ | |
321 | NEXT_PASS (pass_tree_no_loop); | |
322 | PUSH_INSERT_PASSES_WITHIN (pass_tree_no_loop) | |
323 | NEXT_PASS (pass_slp_vectorize); | |
324 | POP_INSERT_PASSES () | |
8c8b9f32 | 325 | NEXT_PASS (pass_simduid_cleanup); |
0f9cdef4 | 326 | NEXT_PASS (pass_lower_vector_ssa); |
eb63c01f | 327 | NEXT_PASS (pass_lower_switch); |
0f9cdef4 | 328 | NEXT_PASS (pass_cse_reciprocals); |
2162bfe1 | 329 | NEXT_PASS (pass_reassoc, false /* insert_powi_p */); |
0f9cdef4 | 330 | NEXT_PASS (pass_strength_reduction); |
45fbe8e9 | 331 | NEXT_PASS (pass_split_paths); |
8cce4dbf | 332 | NEXT_PASS (pass_tracer); |
744fd446 | 333 | NEXT_PASS (pass_fre, false /* may_iterate */); |
bf05a3bb RB |
334 | /* After late FRE we rewrite no longer addressed locals into SSA |
335 | form if possible. */ | |
8b2ef235 | 336 | NEXT_PASS (pass_thread_jumps); |
5ce8d99a | 337 | NEXT_PASS (pass_dominator, false /* may_peel_loop_headers_p */); |
24314386 | 338 | NEXT_PASS (pass_strlen); |
8b2ef235 | 339 | NEXT_PASS (pass_thread_jumps); |
b0c77505 | 340 | NEXT_PASS (pass_vrp, false /* warn_array_bounds_p */); |
0288527f | 341 | NEXT_PASS (pass_vrp_threader); |
33579b59 | 342 | /* Threading can leave many const/copy propagations in the IL. |
da9e6e63 AO |
343 | Clean them up. Instead of just copy_prop, we use ccp to |
344 | compute alignment and nonzero bits. */ | |
345 | NEXT_PASS (pass_ccp, true /* nonzero_p */); | |
7fb1d021 | 346 | NEXT_PASS (pass_warn_restrict); |
154c9188 | 347 | NEXT_PASS (pass_dse); |
b673e754 JJ |
348 | NEXT_PASS (pass_cd_dce, true /* update_address_taken_p */); |
349 | /* After late CD DCE we rewrite no longer addressed locals into SSA | |
350 | form if possible. */ | |
154c9188 | 351 | NEXT_PASS (pass_forwprop); |
1cab645d | 352 | NEXT_PASS (pass_phiopt, false /* early_p */); |
154c9188 RB |
353 | NEXT_PASS (pass_fold_builtins); |
354 | NEXT_PASS (pass_optimize_widening_mul); | |
de56f95a | 355 | NEXT_PASS (pass_sink_code); |
f663d9ad | 356 | NEXT_PASS (pass_store_merging); |
154c9188 | 357 | NEXT_PASS (pass_tail_calls); |
24a179f8 | 358 | /* If DCE is not run before checking for uninitialized uses, |
0f9cdef4 DM |
359 | we may get false warnings (e.g., testsuite/gcc.dg/uninit-5.c). |
360 | However, this also causes us to misdiagnose cases that should be | |
24a179f8 RB |
361 | real warnings (e.g., testsuite/gcc.dg/pr18501.c). */ |
362 | NEXT_PASS (pass_dce); | |
5c2961cf RB |
363 | /* Split critical edges before late uninit warning to reduce the |
364 | number of false positives from it. */ | |
365 | NEXT_PASS (pass_split_crit_edges); | |
0f9cdef4 | 366 | NEXT_PASS (pass_late_warn_uninitialized); |
0f9cdef4 DM |
367 | NEXT_PASS (pass_uncprop); |
368 | NEXT_PASS (pass_local_pure_const); | |
d119f34c | 369 | NEXT_PASS (pass_modref); |
0f9cdef4 DM |
370 | POP_INSERT_PASSES () |
371 | NEXT_PASS (pass_all_optimizations_g); | |
372 | PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations_g) | |
373 | NEXT_PASS (pass_remove_cgraph_callee_edges); | |
7a096965 | 374 | NEXT_PASS (pass_strip_predict_hints, false /* early_p */); |
0f9cdef4 DM |
375 | /* Lower remaining pieces of GIMPLE. */ |
376 | NEXT_PASS (pass_lower_complex); | |
377 | NEXT_PASS (pass_lower_vector_ssa); | |
eb63c01f | 378 | NEXT_PASS (pass_lower_switch); |
0f9cdef4 | 379 | /* Perform simple scalar cleanup which is constant/copy propagation. */ |
c06883ac | 380 | NEXT_PASS (pass_ccp, true /* nonzero_p */); |
0dba7960 | 381 | NEXT_PASS (pass_post_ipa_warn); |
0f9cdef4 DM |
382 | NEXT_PASS (pass_object_sizes); |
383 | /* Fold remaining builtins. */ | |
384 | NEXT_PASS (pass_fold_builtins); | |
22fca489 | 385 | NEXT_PASS (pass_strlen); |
0f9cdef4 DM |
386 | /* Copy propagation also copy-propagates constants, this is necessary |
387 | to forward object-size and builtin folding results properly. */ | |
388 | NEXT_PASS (pass_copy_prop); | |
389 | NEXT_PASS (pass_dce); | |
95e7bbb8 | 390 | NEXT_PASS (pass_sancov); |
0f9cdef4 DM |
391 | NEXT_PASS (pass_asan); |
392 | NEXT_PASS (pass_tsan); | |
0f9cdef4 DM |
393 | /* ??? We do want some kind of loop invariant motion, but we possibly |
394 | need to adjust LIM to be more friendly towards preserving accurate | |
395 | debug information here. */ | |
5c2961cf RB |
396 | /* Split critical edges before late uninit warning to reduce the |
397 | number of false positives from it. */ | |
398 | NEXT_PASS (pass_split_crit_edges); | |
0f9cdef4 DM |
399 | NEXT_PASS (pass_late_warn_uninitialized); |
400 | NEXT_PASS (pass_uncprop); | |
401 | NEXT_PASS (pass_local_pure_const); | |
d119f34c | 402 | NEXT_PASS (pass_modref); |
0f9cdef4 DM |
403 | POP_INSERT_PASSES () |
404 | NEXT_PASS (pass_tm_init); | |
405 | PUSH_INSERT_PASSES_WITHIN (pass_tm_init) | |
406 | NEXT_PASS (pass_tm_mark); | |
407 | NEXT_PASS (pass_tm_memopt); | |
408 | NEXT_PASS (pass_tm_edges); | |
409 | POP_INSERT_PASSES () | |
d9a6bd32 | 410 | NEXT_PASS (pass_simduid_cleanup); |
2077db1b | 411 | NEXT_PASS (pass_vtable_verify); |
f8e89441 | 412 | NEXT_PASS (pass_lower_vaarg); |
0f9cdef4 DM |
413 | NEXT_PASS (pass_lower_vector); |
414 | NEXT_PASS (pass_lower_complex_O0); | |
95e7bbb8 | 415 | NEXT_PASS (pass_sancov_O0); |
b4c9a058 | 416 | NEXT_PASS (pass_lower_switch_O0); |
0f9cdef4 DM |
417 | NEXT_PASS (pass_asan_O0); |
418 | NEXT_PASS (pass_tsan_O0); | |
b9a55b13 | 419 | NEXT_PASS (pass_sanopt); |
0f9cdef4 DM |
420 | NEXT_PASS (pass_cleanup_eh); |
421 | NEXT_PASS (pass_lower_resx); | |
422 | NEXT_PASS (pass_nrv); | |
502d63b6 | 423 | NEXT_PASS (pass_gimple_isel); |
0f9cdef4 DM |
424 | NEXT_PASS (pass_cleanup_cfg_post_optimizing); |
425 | NEXT_PASS (pass_warn_function_noreturn); | |
2a837de2 | 426 | NEXT_PASS (pass_warn_access); |
0f9cdef4 DM |
427 | |
428 | NEXT_PASS (pass_expand); | |
429 | ||
430 | NEXT_PASS (pass_rest_of_compilation); | |
431 | PUSH_INSERT_PASSES_WITHIN (pass_rest_of_compilation) | |
432 | NEXT_PASS (pass_instantiate_virtual_regs); | |
433 | NEXT_PASS (pass_into_cfg_layout_mode); | |
434 | NEXT_PASS (pass_jump); | |
435 | NEXT_PASS (pass_lower_subreg); | |
436 | NEXT_PASS (pass_df_initialize_opt); | |
437 | NEXT_PASS (pass_cse); | |
438 | NEXT_PASS (pass_rtl_fwprop); | |
439 | NEXT_PASS (pass_rtl_cprop); | |
440 | NEXT_PASS (pass_rtl_pre); | |
441 | NEXT_PASS (pass_rtl_hoist); | |
442 | NEXT_PASS (pass_rtl_cprop); | |
443 | NEXT_PASS (pass_rtl_store_motion); | |
444 | NEXT_PASS (pass_cse_after_global_opts); | |
445 | NEXT_PASS (pass_rtl_ifcvt); | |
446 | NEXT_PASS (pass_reginfo_init); | |
447 | /* Perform loop optimizations. It might be better to do them a bit | |
448 | sooner, but we want the profile feedback to work more | |
449 | efficiently. */ | |
450 | NEXT_PASS (pass_loop2); | |
451 | PUSH_INSERT_PASSES_WITHIN (pass_loop2) | |
452 | NEXT_PASS (pass_rtl_loop_init); | |
453 | NEXT_PASS (pass_rtl_move_loop_invariants); | |
f8934be7 | 454 | NEXT_PASS (pass_rtl_unroll_loops); |
0f9cdef4 DM |
455 | NEXT_PASS (pass_rtl_doloop); |
456 | NEXT_PASS (pass_rtl_loop_done); | |
0f9cdef4 | 457 | POP_INSERT_PASSES () |
b18081df | 458 | NEXT_PASS (pass_lower_subreg2); |
0f9cdef4 DM |
459 | NEXT_PASS (pass_web); |
460 | NEXT_PASS (pass_rtl_cprop); | |
461 | NEXT_PASS (pass_cse2); | |
462 | NEXT_PASS (pass_rtl_dse1); | |
463 | NEXT_PASS (pass_rtl_fwprop_addr); | |
464 | NEXT_PASS (pass_inc_dec); | |
465 | NEXT_PASS (pass_initialize_regs); | |
466 | NEXT_PASS (pass_ud_rtl_dce); | |
467 | NEXT_PASS (pass_combine); | |
468 | NEXT_PASS (pass_if_after_combine); | |
216779db | 469 | NEXT_PASS (pass_jump_after_combine); |
0f9cdef4 | 470 | NEXT_PASS (pass_partition_blocks); |
0f9cdef4 DM |
471 | NEXT_PASS (pass_outof_cfg_layout_mode); |
472 | NEXT_PASS (pass_split_all_insns); | |
b18081df | 473 | NEXT_PASS (pass_lower_subreg3); |
0f9cdef4 DM |
474 | NEXT_PASS (pass_df_initialize_no_opt); |
475 | NEXT_PASS (pass_stack_ptr_mod); | |
476 | NEXT_PASS (pass_mode_switching); | |
477 | NEXT_PASS (pass_match_asm_constraints); | |
478 | NEXT_PASS (pass_sms); | |
f20f2613 | 479 | NEXT_PASS (pass_live_range_shrinkage); |
0f9cdef4 | 480 | NEXT_PASS (pass_sched); |
5cce8171 | 481 | NEXT_PASS (pass_early_remat); |
0f9cdef4 DM |
482 | NEXT_PASS (pass_ira); |
483 | NEXT_PASS (pass_reload); | |
484 | NEXT_PASS (pass_postreload); | |
485 | PUSH_INSERT_PASSES_WITHIN (pass_postreload) | |
486 | NEXT_PASS (pass_postreload_cse); | |
487 | NEXT_PASS (pass_gcse2); | |
488 | NEXT_PASS (pass_split_after_reload); | |
489 | NEXT_PASS (pass_ree); | |
490 | NEXT_PASS (pass_compare_elim_after_reload); | |
0f9cdef4 DM |
491 | NEXT_PASS (pass_thread_prologue_and_epilogue); |
492 | NEXT_PASS (pass_rtl_dse2); | |
493 | NEXT_PASS (pass_stack_adjustments); | |
494 | NEXT_PASS (pass_jump2); | |
fc56f9d2 | 495 | NEXT_PASS (pass_duplicate_computed_gotos); |
b16abbcb | 496 | NEXT_PASS (pass_sched_fusion); |
fc56f9d2 | 497 | NEXT_PASS (pass_peephole2); |
0f9cdef4 DM |
498 | NEXT_PASS (pass_if_after_reload); |
499 | NEXT_PASS (pass_regrename); | |
500 | NEXT_PASS (pass_cprop_hardreg); | |
501 | NEXT_PASS (pass_fast_rtl_dce); | |
502 | NEXT_PASS (pass_reorder_blocks); | |
0f9cdef4 DM |
503 | NEXT_PASS (pass_leaf_regs); |
504 | NEXT_PASS (pass_split_before_sched2); | |
505 | NEXT_PASS (pass_sched2); | |
506 | NEXT_PASS (pass_stack_regs); | |
507 | PUSH_INSERT_PASSES_WITHIN (pass_stack_regs) | |
508 | NEXT_PASS (pass_split_before_regstack); | |
509 | NEXT_PASS (pass_stack_regs_run); | |
510 | POP_INSERT_PASSES () | |
433e4164 BS |
511 | POP_INSERT_PASSES () |
512 | NEXT_PASS (pass_late_compilation); | |
513 | PUSH_INSERT_PASSES_WITHIN (pass_late_compilation) | |
d10f3e90 | 514 | NEXT_PASS (pass_zero_call_used_regs); |
0f9cdef4 | 515 | NEXT_PASS (pass_compute_alignments); |
0f9cdef4 DM |
516 | NEXT_PASS (pass_variable_tracking); |
517 | NEXT_PASS (pass_free_cfg); | |
518 | NEXT_PASS (pass_machine_reorg); | |
519 | NEXT_PASS (pass_cleanup_barriers); | |
520 | NEXT_PASS (pass_delay_slots); | |
521 | NEXT_PASS (pass_split_for_shorten_branches); | |
522 | NEXT_PASS (pass_convert_to_eh_region_ranges); | |
523 | NEXT_PASS (pass_shorten_branches); | |
524 | NEXT_PASS (pass_set_nothrow_function_flags); | |
525 | NEXT_PASS (pass_dwarf2_frame); | |
526 | NEXT_PASS (pass_final); | |
527 | POP_INSERT_PASSES () | |
528 | NEXT_PASS (pass_df_finish); | |
529 | POP_INSERT_PASSES () | |
530 | NEXT_PASS (pass_clean_state); | |
17e7ab87 | 531 | TERMINATE_PASS_LIST (all_passes) |