]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/passes.def
PR rtl-optimization/58997
[thirdparty/gcc.git] / gcc / passes.def
CommitLineData
ca4be2a0 1/* Description of pass structure
2 Copyright (C) 1987-2013 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
17along 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)
26 TERMINATE_PASS_LIST ()
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);
ca4be2a0 37 NEXT_PASS (pass_lower_omp);
38 NEXT_PASS (pass_lower_cf);
39 NEXT_PASS (pass_lower_tm);
40 NEXT_PASS (pass_refactor_eh);
41 NEXT_PASS (pass_lower_eh);
42 NEXT_PASS (pass_build_cfg);
43 NEXT_PASS (pass_warn_function_return);
44 NEXT_PASS (pass_expand_omp);
45 NEXT_PASS (pass_build_cgraph_edges);
46 TERMINATE_PASS_LIST ()
47
48 /* Interprocedural optimization passes. */
49 INSERT_PASSES_AFTER (all_small_ipa_passes)
50 NEXT_PASS (pass_ipa_free_lang_data);
51 NEXT_PASS (pass_ipa_function_and_variable_visibility);
52 NEXT_PASS (pass_early_local_passes);
53 PUSH_INSERT_PASSES_WITHIN (pass_early_local_passes)
54 NEXT_PASS (pass_fixup_cfg);
55 NEXT_PASS (pass_init_datastructures);
56
57 NEXT_PASS (pass_build_ssa);
58 NEXT_PASS (pass_early_warn_uninitialized);
59 NEXT_PASS (pass_rebuild_cgraph_edges);
60 NEXT_PASS (pass_inline_parameters);
61 NEXT_PASS (pass_early_inline);
62 NEXT_PASS (pass_all_early_optimizations);
63 PUSH_INSERT_PASSES_WITHIN (pass_all_early_optimizations)
64 NEXT_PASS (pass_remove_cgraph_callee_edges);
65 NEXT_PASS (pass_rename_ssa_copies);
66 NEXT_PASS (pass_ccp);
67 /* After CCP we rewrite no longer addressed locals into SSA
68 form if possible. */
69 NEXT_PASS (pass_forwprop);
70 /* pass_build_ealias is a dummy pass that ensures that we
71 execute TODO_rebuild_alias at this point. */
72 NEXT_PASS (pass_build_ealias);
73 NEXT_PASS (pass_sra_early);
74 NEXT_PASS (pass_fre);
75 NEXT_PASS (pass_copy_prop);
76 NEXT_PASS (pass_merge_phi);
77 NEXT_PASS (pass_cd_dce);
78 NEXT_PASS (pass_early_ipa_sra);
79 NEXT_PASS (pass_tail_recursion);
80 NEXT_PASS (pass_convert_switch);
81 NEXT_PASS (pass_cleanup_eh);
82 NEXT_PASS (pass_profile);
83 NEXT_PASS (pass_local_pure_const);
84 /* Split functions creates parts that are not run through
85 early optimizations again. It is thus good idea to do this
86 late. */
87 NEXT_PASS (pass_split_functions);
88 POP_INSERT_PASSES ()
89 NEXT_PASS (pass_release_ssa_names);
90 NEXT_PASS (pass_rebuild_cgraph_edges);
91 NEXT_PASS (pass_inline_parameters);
92 POP_INSERT_PASSES ()
93 NEXT_PASS (pass_ipa_free_inline_summary);
94 NEXT_PASS (pass_ipa_tree_profile);
95 PUSH_INSERT_PASSES_WITHIN (pass_ipa_tree_profile)
96 NEXT_PASS (pass_feedback_split_functions);
97 POP_INSERT_PASSES ()
98 NEXT_PASS (pass_ipa_increase_alignment);
99 NEXT_PASS (pass_ipa_tm);
100 NEXT_PASS (pass_ipa_lower_emutls);
101 TERMINATE_PASS_LIST ()
102
103 INSERT_PASSES_AFTER (all_regular_ipa_passes)
104 NEXT_PASS (pass_ipa_whole_program_visibility);
105 NEXT_PASS (pass_ipa_profile);
84f6cc40 106 NEXT_PASS (pass_ipa_devirt);
ca4be2a0 107 NEXT_PASS (pass_ipa_cp);
108 NEXT_PASS (pass_ipa_cdtor_merge);
109 NEXT_PASS (pass_ipa_inline);
110 NEXT_PASS (pass_ipa_pure_const);
111 NEXT_PASS (pass_ipa_reference);
112 TERMINATE_PASS_LIST ()
113
114 INSERT_PASSES_AFTER (all_lto_gen_passes)
115 NEXT_PASS (pass_ipa_lto_gimple_out);
116 NEXT_PASS (pass_ipa_lto_finish_out); /* This must be the last LTO pass. */
117 TERMINATE_PASS_LIST ()
118
119 /* Simple IPA passes executed after the regular passes. In WHOPR mode the
120 passes are executed after partitioning and thus see just parts of the
121 compiled unit. */
122 INSERT_PASSES_AFTER (all_late_ipa_passes)
123 NEXT_PASS (pass_ipa_pta);
124 TERMINATE_PASS_LIST ()
125
126 /* These passes are run after IPA passes on every function that is being
127 output to the assembler file. */
128 INSERT_PASSES_AFTER (all_passes)
f34e160b 129 NEXT_PASS (pass_fixup_cfg);
ca4be2a0 130 NEXT_PASS (pass_lower_eh_dispatch);
131 NEXT_PASS (pass_all_optimizations);
132 PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations)
133 NEXT_PASS (pass_remove_cgraph_callee_edges);
134 /* Initial scalar cleanups before alias computation.
135 They ensure memory accesses are not indirect wherever possible. */
136 NEXT_PASS (pass_strip_predict_hints);
137 NEXT_PASS (pass_rename_ssa_copies);
138 NEXT_PASS (pass_copy_prop);
139 NEXT_PASS (pass_complete_unrolli);
140 NEXT_PASS (pass_ccp);
141 /* After CCP we rewrite no longer addressed locals into SSA
142 form if possible. */
143 NEXT_PASS (pass_phiprop);
144 NEXT_PASS (pass_forwprop);
145 /* pass_build_alias is a dummy pass that ensures that we
146 execute TODO_rebuild_alias at this point. */
147 NEXT_PASS (pass_build_alias);
148 NEXT_PASS (pass_return_slot);
149 NEXT_PASS (pass_fre);
150 NEXT_PASS (pass_copy_prop);
151 NEXT_PASS (pass_merge_phi);
152 NEXT_PASS (pass_vrp);
153 NEXT_PASS (pass_dce);
154 NEXT_PASS (pass_call_cdce);
155 NEXT_PASS (pass_cselim);
156 NEXT_PASS (pass_tree_ifcombine);
157 NEXT_PASS (pass_phiopt);
158 NEXT_PASS (pass_tail_recursion);
159 NEXT_PASS (pass_ch);
160 NEXT_PASS (pass_stdarg);
161 NEXT_PASS (pass_lower_complex);
162 NEXT_PASS (pass_sra);
163 NEXT_PASS (pass_rename_ssa_copies);
164 /* The dom pass will also resolve all __builtin_constant_p calls
165 that are still there to 0. This has to be done after some
166 propagations have already run, but before some more dead code
167 is removed, and this place fits nicely. Remember this when
168 trying to move or duplicate pass_dominator somewhere earlier. */
169 NEXT_PASS (pass_dominator);
170 /* The only const/copy propagation opportunities left after
171 DOM should be due to degenerate PHI nodes. So rather than
172 run the full propagators, run a specialized pass which
173 only examines PHIs to discover const/copy propagation
174 opportunities. */
175 NEXT_PASS (pass_phi_only_cprop);
176 NEXT_PASS (pass_dse);
177 NEXT_PASS (pass_reassoc);
178 NEXT_PASS (pass_dce);
179 NEXT_PASS (pass_forwprop);
180 NEXT_PASS (pass_phiopt);
181 NEXT_PASS (pass_object_sizes);
182 NEXT_PASS (pass_strlen);
183 NEXT_PASS (pass_ccp);
184 /* After CCP we rewrite no longer addressed locals into SSA
185 form if possible. */
186 NEXT_PASS (pass_copy_prop);
187 NEXT_PASS (pass_cse_sincos);
188 NEXT_PASS (pass_optimize_bswap);
189 NEXT_PASS (pass_split_crit_edges);
190 NEXT_PASS (pass_pre);
191 NEXT_PASS (pass_sink_code);
192 NEXT_PASS (pass_asan);
193 NEXT_PASS (pass_tsan);
194 NEXT_PASS (pass_tree_loop);
195 PUSH_INSERT_PASSES_WITHIN (pass_tree_loop)
196 NEXT_PASS (pass_tree_loop_init);
197 NEXT_PASS (pass_lim);
198 NEXT_PASS (pass_copy_prop);
199 NEXT_PASS (pass_dce_loop);
200 NEXT_PASS (pass_tree_unswitch);
201 NEXT_PASS (pass_scev_cprop);
202 NEXT_PASS (pass_record_bounds);
203 NEXT_PASS (pass_check_data_deps);
204 NEXT_PASS (pass_loop_distribution);
205 NEXT_PASS (pass_copy_prop);
206 NEXT_PASS (pass_graphite);
207 PUSH_INSERT_PASSES_WITHIN (pass_graphite)
208 NEXT_PASS (pass_graphite_transforms);
209 NEXT_PASS (pass_lim);
210 NEXT_PASS (pass_copy_prop);
211 NEXT_PASS (pass_dce_loop);
212 POP_INSERT_PASSES ()
213 NEXT_PASS (pass_iv_canon);
214 NEXT_PASS (pass_parallelize_loops);
215 NEXT_PASS (pass_if_conversion);
216 NEXT_PASS (pass_vectorize);
217 PUSH_INSERT_PASSES_WITHIN (pass_vectorize)
218 NEXT_PASS (pass_dce_loop);
219 POP_INSERT_PASSES ()
220 NEXT_PASS (pass_predcom);
221 NEXT_PASS (pass_complete_unroll);
222 NEXT_PASS (pass_slp_vectorize);
223 NEXT_PASS (pass_loop_prefetch);
224 NEXT_PASS (pass_iv_optimize);
225 NEXT_PASS (pass_lim);
226 NEXT_PASS (pass_tree_loop_done);
227 POP_INSERT_PASSES ()
228 NEXT_PASS (pass_lower_vector_ssa);
229 NEXT_PASS (pass_cse_reciprocals);
230 NEXT_PASS (pass_reassoc);
231 NEXT_PASS (pass_strength_reduction);
232 NEXT_PASS (pass_dominator);
233 /* The only const/copy propagation opportunities left after
234 DOM should be due to degenerate PHI nodes. So rather than
235 run the full propagators, run a specialized pass which
236 only examines PHIs to discover const/copy propagation
237 opportunities. */
238 NEXT_PASS (pass_phi_only_cprop);
239 NEXT_PASS (pass_vrp);
240 NEXT_PASS (pass_cd_dce);
241 NEXT_PASS (pass_tracer);
55bc8a5a 242 NEXT_PASS (pass_dse);
243 NEXT_PASS (pass_forwprop);
244 NEXT_PASS (pass_phiopt);
245 NEXT_PASS (pass_fold_builtins);
246 NEXT_PASS (pass_optimize_widening_mul);
247 NEXT_PASS (pass_tail_calls);
248 NEXT_PASS (pass_rename_ssa_copies);
ca4be2a0 249 /* FIXME: If DCE is not run before checking for uninitialized uses,
250 we may get false warnings (e.g., testsuite/gcc.dg/uninit-5.c).
251 However, this also causes us to misdiagnose cases that should be
252 real warnings (e.g., testsuite/gcc.dg/pr18501.c).
253
254 To fix the false positives in uninit-5.c, we would have to
255 account for the predicates protecting the set and the use of each
256 variable. Using a representation like Gated Single Assignment
257 may help. */
13089d2b 258 /* Split critical edges before late uninit warning to reduce the
259 number of false positives from it. */
260 NEXT_PASS (pass_split_crit_edges);
ca4be2a0 261 NEXT_PASS (pass_late_warn_uninitialized);
ca4be2a0 262 NEXT_PASS (pass_uncprop);
263 NEXT_PASS (pass_local_pure_const);
264 POP_INSERT_PASSES ()
265 NEXT_PASS (pass_all_optimizations_g);
266 PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations_g)
267 NEXT_PASS (pass_remove_cgraph_callee_edges);
268 NEXT_PASS (pass_strip_predict_hints);
269 /* Lower remaining pieces of GIMPLE. */
270 NEXT_PASS (pass_lower_complex);
271 NEXT_PASS (pass_lower_vector_ssa);
272 /* Perform simple scalar cleanup which is constant/copy propagation. */
273 NEXT_PASS (pass_ccp);
274 NEXT_PASS (pass_object_sizes);
275 /* Fold remaining builtins. */
276 NEXT_PASS (pass_fold_builtins);
277 /* Copy propagation also copy-propagates constants, this is necessary
278 to forward object-size and builtin folding results properly. */
279 NEXT_PASS (pass_copy_prop);
280 NEXT_PASS (pass_dce);
281 NEXT_PASS (pass_asan);
282 NEXT_PASS (pass_tsan);
283 NEXT_PASS (pass_rename_ssa_copies);
284 /* ??? We do want some kind of loop invariant motion, but we possibly
285 need to adjust LIM to be more friendly towards preserving accurate
286 debug information here. */
13089d2b 287 /* Split critical edges before late uninit warning to reduce the
288 number of false positives from it. */
289 NEXT_PASS (pass_split_crit_edges);
ca4be2a0 290 NEXT_PASS (pass_late_warn_uninitialized);
291 NEXT_PASS (pass_uncprop);
292 NEXT_PASS (pass_local_pure_const);
293 POP_INSERT_PASSES ()
294 NEXT_PASS (pass_tm_init);
295 PUSH_INSERT_PASSES_WITHIN (pass_tm_init)
296 NEXT_PASS (pass_tm_mark);
297 NEXT_PASS (pass_tm_memopt);
298 NEXT_PASS (pass_tm_edges);
299 POP_INSERT_PASSES ()
b710ec85 300 NEXT_PASS (pass_vtable_verify);
ca4be2a0 301 NEXT_PASS (pass_lower_vector);
302 NEXT_PASS (pass_lower_complex_O0);
303 NEXT_PASS (pass_asan_O0);
304 NEXT_PASS (pass_tsan_O0);
305 NEXT_PASS (pass_cleanup_eh);
306 NEXT_PASS (pass_lower_resx);
307 NEXT_PASS (pass_nrv);
ca4be2a0 308 NEXT_PASS (pass_cleanup_cfg_post_optimizing);
309 NEXT_PASS (pass_warn_function_noreturn);
310
311 NEXT_PASS (pass_expand);
312
313 NEXT_PASS (pass_rest_of_compilation);
314 PUSH_INSERT_PASSES_WITHIN (pass_rest_of_compilation)
315 NEXT_PASS (pass_instantiate_virtual_regs);
316 NEXT_PASS (pass_into_cfg_layout_mode);
317 NEXT_PASS (pass_jump);
318 NEXT_PASS (pass_lower_subreg);
319 NEXT_PASS (pass_df_initialize_opt);
320 NEXT_PASS (pass_cse);
321 NEXT_PASS (pass_rtl_fwprop);
322 NEXT_PASS (pass_rtl_cprop);
323 NEXT_PASS (pass_rtl_pre);
324 NEXT_PASS (pass_rtl_hoist);
325 NEXT_PASS (pass_rtl_cprop);
326 NEXT_PASS (pass_rtl_store_motion);
327 NEXT_PASS (pass_cse_after_global_opts);
328 NEXT_PASS (pass_rtl_ifcvt);
329 NEXT_PASS (pass_reginfo_init);
330 /* Perform loop optimizations. It might be better to do them a bit
331 sooner, but we want the profile feedback to work more
332 efficiently. */
333 NEXT_PASS (pass_loop2);
334 PUSH_INSERT_PASSES_WITHIN (pass_loop2)
335 NEXT_PASS (pass_rtl_loop_init);
336 NEXT_PASS (pass_rtl_move_loop_invariants);
337 NEXT_PASS (pass_rtl_unswitch);
338 NEXT_PASS (pass_rtl_unroll_and_peel_loops);
339 NEXT_PASS (pass_rtl_doloop);
340 NEXT_PASS (pass_rtl_loop_done);
341 TERMINATE_PASS_LIST ()
342 POP_INSERT_PASSES ()
343 NEXT_PASS (pass_web);
344 NEXT_PASS (pass_rtl_cprop);
345 NEXT_PASS (pass_cse2);
346 NEXT_PASS (pass_rtl_dse1);
347 NEXT_PASS (pass_rtl_fwprop_addr);
348 NEXT_PASS (pass_inc_dec);
349 NEXT_PASS (pass_initialize_regs);
350 NEXT_PASS (pass_ud_rtl_dce);
351 NEXT_PASS (pass_combine);
352 NEXT_PASS (pass_if_after_combine);
353 NEXT_PASS (pass_partition_blocks);
ca4be2a0 354 NEXT_PASS (pass_outof_cfg_layout_mode);
355 NEXT_PASS (pass_split_all_insns);
356 NEXT_PASS (pass_lower_subreg2);
357 NEXT_PASS (pass_df_initialize_no_opt);
358 NEXT_PASS (pass_stack_ptr_mod);
359 NEXT_PASS (pass_mode_switching);
360 NEXT_PASS (pass_match_asm_constraints);
361 NEXT_PASS (pass_sms);
362 NEXT_PASS (pass_sched);
363 NEXT_PASS (pass_ira);
364 NEXT_PASS (pass_reload);
365 NEXT_PASS (pass_postreload);
366 PUSH_INSERT_PASSES_WITHIN (pass_postreload)
367 NEXT_PASS (pass_postreload_cse);
368 NEXT_PASS (pass_gcse2);
369 NEXT_PASS (pass_split_after_reload);
370 NEXT_PASS (pass_ree);
371 NEXT_PASS (pass_compare_elim_after_reload);
372 NEXT_PASS (pass_branch_target_load_optimize1);
373 NEXT_PASS (pass_thread_prologue_and_epilogue);
374 NEXT_PASS (pass_rtl_dse2);
375 NEXT_PASS (pass_stack_adjustments);
376 NEXT_PASS (pass_jump2);
377 NEXT_PASS (pass_peephole2);
378 NEXT_PASS (pass_if_after_reload);
379 NEXT_PASS (pass_regrename);
380 NEXT_PASS (pass_cprop_hardreg);
381 NEXT_PASS (pass_fast_rtl_dce);
382 NEXT_PASS (pass_reorder_blocks);
383 NEXT_PASS (pass_branch_target_load_optimize2);
384 NEXT_PASS (pass_leaf_regs);
385 NEXT_PASS (pass_split_before_sched2);
386 NEXT_PASS (pass_sched2);
387 NEXT_PASS (pass_stack_regs);
388 PUSH_INSERT_PASSES_WITHIN (pass_stack_regs)
389 NEXT_PASS (pass_split_before_regstack);
390 NEXT_PASS (pass_stack_regs_run);
391 POP_INSERT_PASSES ()
392 NEXT_PASS (pass_compute_alignments);
393 NEXT_PASS (pass_duplicate_computed_gotos);
394 NEXT_PASS (pass_variable_tracking);
395 NEXT_PASS (pass_free_cfg);
396 NEXT_PASS (pass_machine_reorg);
397 NEXT_PASS (pass_cleanup_barriers);
398 NEXT_PASS (pass_delay_slots);
399 NEXT_PASS (pass_split_for_shorten_branches);
400 NEXT_PASS (pass_convert_to_eh_region_ranges);
401 NEXT_PASS (pass_shorten_branches);
402 NEXT_PASS (pass_set_nothrow_function_flags);
403 NEXT_PASS (pass_dwarf2_frame);
404 NEXT_PASS (pass_final);
405 POP_INSERT_PASSES ()
406 NEXT_PASS (pass_df_finish);
407 POP_INSERT_PASSES ()
408 NEXT_PASS (pass_clean_state);
409 TERMINATE_PASS_LIST ()