1 /* Description of pass structure
2 Copyright (C) 1987-2016 Free Software Foundation, Inc.
4 This file is part of GCC.
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
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
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/>. */
21 Macros that should be defined when using this file:
22 INSERT_PASSES_AFTER (PASS)
23 PUSH_INSERT_PASSES_WITHIN (PASS)
26 TERMINATE_PASS_LIST (PASS)
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
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);
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 (all_lowering_passes)
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_ipa_chkp_versioning);
53 NEXT_PASS (pass_ipa_chkp_early_produce_thunks);
54 NEXT_PASS (pass_build_ssa_passes);
55 PUSH_INSERT_PASSES_WITHIN (pass_build_ssa_passes)
56 NEXT_PASS (pass_fixup_cfg);
57 NEXT_PASS (pass_build_ssa);
58 NEXT_PASS (pass_warn_nonnull_compare);
59 NEXT_PASS (pass_ubsan);
60 NEXT_PASS (pass_early_warn_uninitialized);
61 NEXT_PASS (pass_nothrow);
64 NEXT_PASS (pass_chkp_instrumentation_passes);
65 PUSH_INSERT_PASSES_WITHIN (pass_chkp_instrumentation_passes)
66 NEXT_PASS (pass_fixup_cfg);
67 NEXT_PASS (pass_chkp);
68 NEXT_PASS (pass_rebuild_cgraph_edges);
71 NEXT_PASS (pass_local_optimization_passes);
72 PUSH_INSERT_PASSES_WITHIN (pass_local_optimization_passes)
73 NEXT_PASS (pass_fixup_cfg);
74 NEXT_PASS (pass_rebuild_cgraph_edges);
75 NEXT_PASS (pass_inline_parameters);
76 NEXT_PASS (pass_early_inline);
77 NEXT_PASS (pass_all_early_optimizations);
78 PUSH_INSERT_PASSES_WITHIN (pass_all_early_optimizations)
79 NEXT_PASS (pass_remove_cgraph_callee_edges);
80 NEXT_PASS (pass_object_sizes, true /* insert_min_max_p */);
81 /* Don't record nonzero bits before IPA to avoid
82 using too much memory. */
83 NEXT_PASS (pass_ccp, false /* nonzero_p */);
84 /* After CCP we rewrite no longer addressed locals into SSA
86 NEXT_PASS (pass_forwprop);
87 NEXT_PASS (pass_early_thread_jumps);
88 NEXT_PASS (pass_sra_early);
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);
93 NEXT_PASS (pass_merge_phi);
95 NEXT_PASS (pass_cd_dce);
96 NEXT_PASS (pass_early_ipa_sra);
97 NEXT_PASS (pass_tail_recursion);
98 NEXT_PASS (pass_convert_switch);
99 NEXT_PASS (pass_cleanup_eh);
100 NEXT_PASS (pass_profile);
101 NEXT_PASS (pass_local_pure_const);
102 /* Split functions creates parts that are not run through
103 early optimizations again. It is thus good idea to do this
105 NEXT_PASS (pass_split_functions);
107 NEXT_PASS (pass_release_ssa_names);
108 NEXT_PASS (pass_rebuild_cgraph_edges);
109 NEXT_PASS (pass_inline_parameters);
112 NEXT_PASS (pass_ipa_oacc);
113 PUSH_INSERT_PASSES_WITHIN (pass_ipa_oacc)
114 NEXT_PASS (pass_ipa_pta);
115 /* Pass group that runs when the function is an offloaded function
116 containing oacc kernels loops. */
117 NEXT_PASS (pass_ipa_oacc_kernels);
118 PUSH_INSERT_PASSES_WITHIN (pass_ipa_oacc_kernels)
119 NEXT_PASS (pass_oacc_kernels);
120 PUSH_INSERT_PASSES_WITHIN (pass_oacc_kernels)
122 NEXT_PASS (pass_fre);
123 /* We use pass_lim to rewrite in-memory iteration and reduction
124 variable accesses in loops into local variables accesses. */
125 NEXT_PASS (pass_lim);
126 NEXT_PASS (pass_dominator, false /* may_peel_loop_headers_p */);
127 NEXT_PASS (pass_dce);
128 NEXT_PASS (pass_parallelize_loops, true /* oacc_kernels_p */);
129 NEXT_PASS (pass_expand_omp_ssa);
130 NEXT_PASS (pass_rebuild_cgraph_edges);
135 NEXT_PASS (pass_ipa_chkp_produce_thunks);
136 NEXT_PASS (pass_ipa_auto_profile);
137 NEXT_PASS (pass_ipa_free_inline_summary);
138 NEXT_PASS (pass_ipa_tree_profile);
139 PUSH_INSERT_PASSES_WITHIN (pass_ipa_tree_profile)
140 NEXT_PASS (pass_feedback_split_functions);
142 NEXT_PASS (pass_ipa_increase_alignment);
143 NEXT_PASS (pass_ipa_tm);
144 NEXT_PASS (pass_ipa_lower_emutls);
145 TERMINATE_PASS_LIST (all_small_ipa_passes)
147 INSERT_PASSES_AFTER (all_regular_ipa_passes)
148 NEXT_PASS (pass_ipa_whole_program_visibility);
149 NEXT_PASS (pass_ipa_profile);
150 NEXT_PASS (pass_ipa_icf);
151 NEXT_PASS (pass_ipa_devirt);
152 NEXT_PASS (pass_ipa_cp);
153 NEXT_PASS (pass_ipa_cdtor_merge);
154 NEXT_PASS (pass_target_clone);
155 NEXT_PASS (pass_ipa_hsa);
156 NEXT_PASS (pass_ipa_inline);
157 NEXT_PASS (pass_ipa_pure_const);
158 NEXT_PASS (pass_ipa_reference);
159 /* This pass needs to be scheduled after any IP code duplication. */
160 NEXT_PASS (pass_ipa_single_use);
161 /* Comdat privatization come last, as direct references to comdat local
162 symbols are not allowed outside of the comdat group. Privatizing early
163 would result in missed optimizations due to this restriction. */
164 NEXT_PASS (pass_ipa_comdats);
165 TERMINATE_PASS_LIST (all_regular_ipa_passes)
167 /* Simple IPA passes executed after the regular passes. In WHOPR mode the
168 passes are executed after partitioning and thus see just parts of the
170 INSERT_PASSES_AFTER (all_late_ipa_passes)
171 NEXT_PASS (pass_materialize_all_clones);
172 NEXT_PASS (pass_ipa_pta);
173 NEXT_PASS (pass_dispatcher_calls);
174 NEXT_PASS (pass_omp_simd_clone);
175 TERMINATE_PASS_LIST (all_late_ipa_passes)
177 /* These passes are run after IPA passes on every function that is being
178 output to the assembler file. */
179 INSERT_PASSES_AFTER (all_passes)
180 NEXT_PASS (pass_fixup_cfg);
181 NEXT_PASS (pass_lower_eh_dispatch);
182 NEXT_PASS (pass_oacc_device_lower);
183 NEXT_PASS (pass_omp_target_link);
184 NEXT_PASS (pass_all_optimizations);
185 PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations)
186 NEXT_PASS (pass_remove_cgraph_callee_edges);
187 /* Initial scalar cleanups before alias computation.
188 They ensure memory accesses are not indirect wherever possible. */
189 NEXT_PASS (pass_strip_predict_hints);
190 NEXT_PASS (pass_ccp, true /* nonzero_p */);
191 /* After CCP we rewrite no longer addressed locals into SSA
193 NEXT_PASS (pass_complete_unrolli);
194 NEXT_PASS (pass_backprop);
195 NEXT_PASS (pass_phiprop);
196 NEXT_PASS (pass_forwprop);
197 NEXT_PASS (pass_object_sizes, false /* insert_min_max_p */);
198 /* pass_build_alias is a dummy pass that ensures that we
199 execute TODO_rebuild_alias at this point. */
200 NEXT_PASS (pass_build_alias);
201 NEXT_PASS (pass_return_slot);
202 NEXT_PASS (pass_fre);
203 NEXT_PASS (pass_merge_phi);
204 NEXT_PASS (pass_thread_jumps);
205 NEXT_PASS (pass_vrp, true /* warn_array_bounds_p */);
206 NEXT_PASS (pass_chkp_opt);
207 NEXT_PASS (pass_dce);
208 NEXT_PASS (pass_stdarg);
209 NEXT_PASS (pass_call_cdce);
210 NEXT_PASS (pass_cselim);
211 NEXT_PASS (pass_copy_prop);
212 NEXT_PASS (pass_tree_ifcombine);
213 NEXT_PASS (pass_merge_phi);
214 NEXT_PASS (pass_phiopt);
215 NEXT_PASS (pass_tail_recursion);
217 NEXT_PASS (pass_lower_complex);
218 NEXT_PASS (pass_sra);
219 /* The dom pass will also resolve all __builtin_constant_p calls
220 that are still there to 0. This has to be done after some
221 propagations have already run, but before some more dead code
222 is removed, and this place fits nicely. Remember this when
223 trying to move or duplicate pass_dominator somewhere earlier. */
224 NEXT_PASS (pass_thread_jumps);
225 NEXT_PASS (pass_dominator, true /* may_peel_loop_headers_p */);
226 /* At this point the majority of const/copy propagations
227 are exposed. Go ahead and identify paths that should never
228 be executed in a conforming program and isolate those paths.
230 This will expose more degenerate PHIs in the main path and
231 expose more PRE/DOM optimization opportunities. */
232 NEXT_PASS (pass_isolate_erroneous_paths);
233 /* The only const/copy propagation opportunities left after
234 DOM and erroneous path isolation should be due to degenerate PHI nodes.
235 So rather than run the full propagators, run a specialized pass which
236 only examines PHIs to discover const/copy propagation
238 NEXT_PASS (pass_phi_only_cprop);
239 NEXT_PASS (pass_dse);
240 NEXT_PASS (pass_reassoc, true /* insert_powi_p */);
241 NEXT_PASS (pass_dce);
242 NEXT_PASS (pass_forwprop);
243 NEXT_PASS (pass_phiopt);
244 NEXT_PASS (pass_ccp, true /* nonzero_p */);
245 /* After CCP we rewrite no longer addressed locals into SSA
247 NEXT_PASS (pass_cse_sincos);
248 NEXT_PASS (pass_optimize_bswap);
249 NEXT_PASS (pass_laddress);
250 NEXT_PASS (pass_lim);
251 NEXT_PASS (pass_split_crit_edges);
252 NEXT_PASS (pass_pre);
253 NEXT_PASS (pass_sink_code);
254 NEXT_PASS (pass_sancov);
255 NEXT_PASS (pass_asan);
256 NEXT_PASS (pass_tsan);
257 NEXT_PASS (pass_dce);
258 /* Pass group that runs when 1) enabled, 2) there are loops
259 in the function. Make sure to run pass_fix_loops before
260 to discover/remove loops before running the gate function
261 of pass_tree_loop. */
262 NEXT_PASS (pass_fix_loops);
263 NEXT_PASS (pass_tree_loop);
264 PUSH_INSERT_PASSES_WITHIN (pass_tree_loop)
265 NEXT_PASS (pass_tree_loop_init);
266 NEXT_PASS (pass_tree_unswitch);
267 NEXT_PASS (pass_scev_cprop);
268 NEXT_PASS (pass_record_bounds);
269 NEXT_PASS (pass_loop_distribution);
270 NEXT_PASS (pass_copy_prop);
271 NEXT_PASS (pass_graphite);
272 PUSH_INSERT_PASSES_WITHIN (pass_graphite)
273 NEXT_PASS (pass_graphite_transforms);
274 NEXT_PASS (pass_lim);
275 NEXT_PASS (pass_copy_prop);
276 NEXT_PASS (pass_dce);
278 NEXT_PASS (pass_iv_canon);
279 NEXT_PASS (pass_parallelize_loops, false /* oacc_kernels_p */);
280 NEXT_PASS (pass_expand_omp_ssa);
281 NEXT_PASS (pass_ch_vect);
282 NEXT_PASS (pass_if_conversion);
283 /* pass_vectorize must immediately follow pass_if_conversion.
284 Please do not add any other passes in between. */
285 NEXT_PASS (pass_vectorize);
286 PUSH_INSERT_PASSES_WITHIN (pass_vectorize)
287 NEXT_PASS (pass_dce);
289 NEXT_PASS (pass_predcom);
290 NEXT_PASS (pass_complete_unroll);
291 NEXT_PASS (pass_slp_vectorize);
292 NEXT_PASS (pass_loop_prefetch);
293 /* Run IVOPTs after the last pass that uses data-reference analysis
294 as that doesn't handle TARGET_MEM_REFs. */
295 NEXT_PASS (pass_iv_optimize);
296 NEXT_PASS (pass_lim);
297 NEXT_PASS (pass_tree_loop_done);
299 /* Pass group that runs when pass_tree_loop is disabled or there
300 are no loops in the function. */
301 NEXT_PASS (pass_tree_no_loop);
302 PUSH_INSERT_PASSES_WITHIN (pass_tree_no_loop)
303 NEXT_PASS (pass_slp_vectorize);
305 NEXT_PASS (pass_simduid_cleanup);
306 NEXT_PASS (pass_lower_vector_ssa);
307 NEXT_PASS (pass_cse_reciprocals);
308 NEXT_PASS (pass_reassoc, false /* insert_powi_p */);
309 NEXT_PASS (pass_strength_reduction);
310 NEXT_PASS (pass_split_paths);
311 NEXT_PASS (pass_tracer);
312 NEXT_PASS (pass_thread_jumps);
313 NEXT_PASS (pass_dominator, false /* may_peel_loop_headers_p */);
314 NEXT_PASS (pass_strlen);
315 NEXT_PASS (pass_thread_jumps);
316 NEXT_PASS (pass_vrp, false /* warn_array_bounds_p */);
317 /* The only const/copy propagation opportunities left after
318 DOM and VRP should be due to degenerate PHI nodes. So rather than
319 run the full propagators, run a specialized pass which
320 only examines PHIs to discover const/copy propagation
322 NEXT_PASS (pass_phi_only_cprop);
323 NEXT_PASS (pass_dse);
324 NEXT_PASS (pass_cd_dce);
325 NEXT_PASS (pass_forwprop);
326 NEXT_PASS (pass_phiopt);
327 NEXT_PASS (pass_fold_builtins);
328 NEXT_PASS (pass_optimize_widening_mul);
329 NEXT_PASS (pass_tail_calls);
330 /* If DCE is not run before checking for uninitialized uses,
331 we may get false warnings (e.g., testsuite/gcc.dg/uninit-5.c).
332 However, this also causes us to misdiagnose cases that should be
333 real warnings (e.g., testsuite/gcc.dg/pr18501.c). */
334 NEXT_PASS (pass_dce);
335 /* Split critical edges before late uninit warning to reduce the
336 number of false positives from it. */
337 NEXT_PASS (pass_split_crit_edges);
338 NEXT_PASS (pass_late_warn_uninitialized);
339 NEXT_PASS (pass_uncprop);
340 NEXT_PASS (pass_local_pure_const);
342 NEXT_PASS (pass_all_optimizations_g);
343 PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations_g)
344 NEXT_PASS (pass_remove_cgraph_callee_edges);
345 NEXT_PASS (pass_strip_predict_hints);
346 /* Lower remaining pieces of GIMPLE. */
347 NEXT_PASS (pass_lower_complex);
348 NEXT_PASS (pass_lower_vector_ssa);
349 /* Perform simple scalar cleanup which is constant/copy propagation. */
350 NEXT_PASS (pass_ccp, true /* nonzero_p */);
351 NEXT_PASS (pass_object_sizes);
352 /* Fold remaining builtins. */
353 NEXT_PASS (pass_fold_builtins);
354 /* Copy propagation also copy-propagates constants, this is necessary
355 to forward object-size and builtin folding results properly. */
356 NEXT_PASS (pass_copy_prop);
357 NEXT_PASS (pass_dce);
358 NEXT_PASS (pass_sancov);
359 NEXT_PASS (pass_asan);
360 NEXT_PASS (pass_tsan);
361 /* ??? We do want some kind of loop invariant motion, but we possibly
362 need to adjust LIM to be more friendly towards preserving accurate
363 debug information here. */
364 /* Split critical edges before late uninit warning to reduce the
365 number of false positives from it. */
366 NEXT_PASS (pass_split_crit_edges);
367 NEXT_PASS (pass_late_warn_uninitialized);
368 NEXT_PASS (pass_uncprop);
369 NEXT_PASS (pass_local_pure_const);
371 NEXT_PASS (pass_tm_init);
372 PUSH_INSERT_PASSES_WITHIN (pass_tm_init)
373 NEXT_PASS (pass_tm_mark);
374 NEXT_PASS (pass_tm_memopt);
375 NEXT_PASS (pass_tm_edges);
377 NEXT_PASS (pass_simduid_cleanup);
378 NEXT_PASS (pass_vtable_verify);
379 NEXT_PASS (pass_lower_vaarg);
380 NEXT_PASS (pass_lower_vector);
381 NEXT_PASS (pass_lower_complex_O0);
382 NEXT_PASS (pass_sancov_O0);
383 NEXT_PASS (pass_asan_O0);
384 NEXT_PASS (pass_tsan_O0);
385 NEXT_PASS (pass_sanopt);
386 NEXT_PASS (pass_cleanup_eh);
387 NEXT_PASS (pass_lower_resx);
388 NEXT_PASS (pass_nrv);
389 NEXT_PASS (pass_cleanup_cfg_post_optimizing);
390 NEXT_PASS (pass_warn_function_noreturn);
391 NEXT_PASS (pass_gen_hsail);
393 NEXT_PASS (pass_expand);
395 NEXT_PASS (pass_rest_of_compilation);
396 PUSH_INSERT_PASSES_WITHIN (pass_rest_of_compilation)
397 NEXT_PASS (pass_instantiate_virtual_regs);
398 NEXT_PASS (pass_into_cfg_layout_mode);
399 NEXT_PASS (pass_jump);
400 NEXT_PASS (pass_lower_subreg);
401 NEXT_PASS (pass_df_initialize_opt);
402 NEXT_PASS (pass_cse);
403 NEXT_PASS (pass_rtl_fwprop);
404 NEXT_PASS (pass_rtl_cprop);
405 NEXT_PASS (pass_rtl_pre);
406 NEXT_PASS (pass_rtl_hoist);
407 NEXT_PASS (pass_rtl_cprop);
408 NEXT_PASS (pass_rtl_store_motion);
409 NEXT_PASS (pass_cse_after_global_opts);
410 NEXT_PASS (pass_rtl_ifcvt);
411 NEXT_PASS (pass_reginfo_init);
412 /* Perform loop optimizations. It might be better to do them a bit
413 sooner, but we want the profile feedback to work more
415 NEXT_PASS (pass_loop2);
416 PUSH_INSERT_PASSES_WITHIN (pass_loop2)
417 NEXT_PASS (pass_rtl_loop_init);
418 NEXT_PASS (pass_rtl_move_loop_invariants);
419 NEXT_PASS (pass_rtl_unroll_loops);
420 NEXT_PASS (pass_rtl_doloop);
421 NEXT_PASS (pass_rtl_loop_done);
423 NEXT_PASS (pass_web);
424 NEXT_PASS (pass_rtl_cprop);
425 NEXT_PASS (pass_cse2);
426 NEXT_PASS (pass_rtl_dse1);
427 NEXT_PASS (pass_rtl_fwprop_addr);
428 NEXT_PASS (pass_inc_dec);
429 NEXT_PASS (pass_initialize_regs);
430 NEXT_PASS (pass_ud_rtl_dce);
431 NEXT_PASS (pass_combine);
432 NEXT_PASS (pass_if_after_combine);
433 NEXT_PASS (pass_partition_blocks);
434 NEXT_PASS (pass_outof_cfg_layout_mode);
435 NEXT_PASS (pass_split_all_insns);
436 NEXT_PASS (pass_lower_subreg2);
437 NEXT_PASS (pass_df_initialize_no_opt);
438 NEXT_PASS (pass_stack_ptr_mod);
439 NEXT_PASS (pass_mode_switching);
440 NEXT_PASS (pass_match_asm_constraints);
441 NEXT_PASS (pass_sms);
442 NEXT_PASS (pass_live_range_shrinkage);
443 NEXT_PASS (pass_sched);
444 NEXT_PASS (pass_ira);
445 NEXT_PASS (pass_reload);
446 NEXT_PASS (pass_postreload);
447 PUSH_INSERT_PASSES_WITHIN (pass_postreload)
448 NEXT_PASS (pass_postreload_cse);
449 NEXT_PASS (pass_gcse2);
450 NEXT_PASS (pass_split_after_reload);
451 NEXT_PASS (pass_ree);
452 NEXT_PASS (pass_compare_elim_after_reload);
453 NEXT_PASS (pass_branch_target_load_optimize1);
454 NEXT_PASS (pass_thread_prologue_and_epilogue);
455 NEXT_PASS (pass_rtl_dse2);
456 NEXT_PASS (pass_stack_adjustments);
457 NEXT_PASS (pass_jump2);
458 NEXT_PASS (pass_duplicate_computed_gotos);
459 NEXT_PASS (pass_sched_fusion);
460 NEXT_PASS (pass_peephole2);
461 NEXT_PASS (pass_if_after_reload);
462 NEXT_PASS (pass_regrename);
463 NEXT_PASS (pass_cprop_hardreg);
464 NEXT_PASS (pass_fast_rtl_dce);
465 NEXT_PASS (pass_reorder_blocks);
466 NEXT_PASS (pass_branch_target_load_optimize2);
467 NEXT_PASS (pass_leaf_regs);
468 NEXT_PASS (pass_split_before_sched2);
469 NEXT_PASS (pass_sched2);
470 NEXT_PASS (pass_stack_regs);
471 PUSH_INSERT_PASSES_WITHIN (pass_stack_regs)
472 NEXT_PASS (pass_split_before_regstack);
473 NEXT_PASS (pass_stack_regs_run);
476 NEXT_PASS (pass_late_compilation);
477 PUSH_INSERT_PASSES_WITHIN (pass_late_compilation)
478 NEXT_PASS (pass_compute_alignments);
479 NEXT_PASS (pass_variable_tracking);
480 NEXT_PASS (pass_free_cfg);
481 NEXT_PASS (pass_machine_reorg);
482 NEXT_PASS (pass_cleanup_barriers);
483 NEXT_PASS (pass_delay_slots);
484 NEXT_PASS (pass_split_for_shorten_branches);
485 NEXT_PASS (pass_convert_to_eh_region_ranges);
486 NEXT_PASS (pass_shorten_branches);
487 NEXT_PASS (pass_set_nothrow_function_flags);
488 NEXT_PASS (pass_dwarf2_frame);
489 NEXT_PASS (pass_final);
491 NEXT_PASS (pass_df_finish);
493 NEXT_PASS (pass_clean_state);
494 TERMINATE_PASS_LIST (all_passes)