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