1 /* Description of pass structure
2 Copyright (C
) 1987-2014 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 ()
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 ()
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
);
57 NEXT_PASS (pass_build_ssa
);
58 NEXT_PASS (pass_ubsan
);
59 NEXT_PASS (pass_early_warn_uninitialized
);
60 NEXT_PASS (pass_rebuild_cgraph_edges
);
61 NEXT_PASS (pass_inline_parameters
);
62 NEXT_PASS (pass_early_inline
);
63 NEXT_PASS (pass_all_early_optimizations
);
64 PUSH_INSERT_PASSES_WITHIN (pass_all_early_optimizations
)
65 NEXT_PASS (pass_remove_cgraph_callee_edges
);
66 NEXT_PASS (pass_rename_ssa_copies
);
68 /* After CCP we rewrite no longer addressed locals into SSA
70 NEXT_PASS (pass_forwprop
);
71 NEXT_PASS (pass_sra_early
);
72 /* pass_build_ealias is a dummy pass that ensures that we
73 execute TODO_rebuild_alias at this point.
*/
74 NEXT_PASS (pass_build_ealias
);
76 NEXT_PASS (pass_copy_prop
);
77 NEXT_PASS (pass_merge_phi
);
78 NEXT_PASS (pass_cd_dce
);
79 NEXT_PASS (pass_early_ipa_sra
);
80 NEXT_PASS (pass_tail_recursion
);
81 NEXT_PASS (pass_convert_switch
);
82 NEXT_PASS (pass_cleanup_eh
);
83 NEXT_PASS (pass_profile
);
84 NEXT_PASS (pass_local_pure_const
);
85 /* Split functions creates parts that are not run through
86 early optimizations again. It is thus good idea to do this
88 NEXT_PASS (pass_split_functions
);
90 NEXT_PASS (pass_release_ssa_names
);
91 NEXT_PASS (pass_rebuild_cgraph_edges
);
92 NEXT_PASS (pass_inline_parameters
);
94 NEXT_PASS (pass_ipa_free_inline_summary
);
95 NEXT_PASS (pass_ipa_tree_profile
);
96 PUSH_INSERT_PASSES_WITHIN (pass_ipa_tree_profile
)
97 NEXT_PASS (pass_feedback_split_functions
);
99 NEXT_PASS (pass_ipa_increase_alignment
);
100 NEXT_PASS (pass_ipa_tm
);
101 NEXT_PASS (pass_ipa_lower_emutls
);
102 TERMINATE_PASS_LIST ()
104 INSERT_PASSES_AFTER (all_regular_ipa_passes
)
105 NEXT_PASS (pass_ipa_whole_program_visibility
);
106 NEXT_PASS (pass_ipa_profile
);
107 NEXT_PASS (pass_ipa_devirt
);
108 NEXT_PASS (pass_ipa_cp
);
109 NEXT_PASS (pass_ipa_cdtor_merge
);
110 NEXT_PASS (pass_ipa_inline
);
111 NEXT_PASS (pass_ipa_pure_const
);
112 NEXT_PASS (pass_ipa_reference
);
113 /* Comdat privatization come last
, as direct references to comdat local
114 symbols are not allowed outside of the comdat group. Privatizing early
115 would result in missed optimizations due to this restriction.
*/
116 NEXT_PASS (pass_ipa_comdats
);
117 TERMINATE_PASS_LIST ()
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
122 INSERT_PASSES_AFTER (all_late_ipa_passes
)
123 NEXT_PASS (pass_ipa_pta
);
124 NEXT_PASS (pass_omp_simd_clone
);
125 TERMINATE_PASS_LIST ()
127 /* These passes are run after IPA passes on every function that is being
128 output to the assembler file.
*/
129 INSERT_PASSES_AFTER (all_passes
)
130 NEXT_PASS (pass_fixup_cfg
);
131 NEXT_PASS (pass_lower_eh_dispatch
);
132 NEXT_PASS (pass_all_optimizations
);
133 PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations
)
134 NEXT_PASS (pass_remove_cgraph_callee_edges
);
135 /* Initial scalar cleanups before alias computation.
136 They ensure memory accesses are not indirect wherever possible.
*/
137 NEXT_PASS (pass_strip_predict_hints
);
138 NEXT_PASS (pass_rename_ssa_copies
);
139 NEXT_PASS (pass_ccp
);
140 /* After CCP we rewrite no longer addressed locals into SSA
142 NEXT_PASS (pass_copy_prop
);
143 NEXT_PASS (pass_complete_unrolli
);
144 NEXT_PASS (pass_phiprop
);
145 NEXT_PASS (pass_forwprop
);
146 NEXT_PASS (pass_object_sizes
);
147 /* pass_build_alias is a dummy pass that ensures that we
148 execute TODO_rebuild_alias at this point.
*/
149 NEXT_PASS (pass_build_alias
);
150 NEXT_PASS (pass_return_slot
);
151 NEXT_PASS (pass_fre
);
152 NEXT_PASS (pass_copy_prop
);
153 NEXT_PASS (pass_merge_phi
);
154 NEXT_PASS (pass_vrp
);
155 NEXT_PASS (pass_dce
);
156 NEXT_PASS (pass_call_cdce
);
157 NEXT_PASS (pass_cselim
);
158 NEXT_PASS (pass_tree_ifcombine
);
159 NEXT_PASS (pass_phiopt
);
160 NEXT_PASS (pass_tail_recursion
);
162 NEXT_PASS (pass_stdarg
);
163 NEXT_PASS (pass_lower_complex
);
164 NEXT_PASS (pass_sra
);
165 NEXT_PASS (pass_rename_ssa_copies
);
166 /* The dom pass will also resolve all __builtin_constant_p calls
167 that are still there to
0. This has to be done after some
168 propagations have already run
, but before some more dead code
169 is removed
, and this place fits nicely. Remember this when
170 trying to move or duplicate pass_dominator somewhere earlier.
*/
171 NEXT_PASS (pass_dominator
);
172 /* At this point the majority of const
/copy propagations
173 are exposed. Go ahead and identify paths that should never
174 be executed in a conforming program and isolate those paths.
176 This will expose more degenerate PHIs in the main path and
177 expose more PRE
/DOM optimization opportunities.
*/
178 NEXT_PASS (pass_isolate_erroneous_paths
);
179 /* The only const
/copy propagation opportunities left after
180 DOM and erroneous path isolation should be due to degenerate PHI nodes.
181 So rather than run the full propagators
, run a specialized pass which
182 only examines PHIs to discover const
/copy propagation
184 NEXT_PASS (pass_phi_only_cprop
);
185 NEXT_PASS (pass_dse
);
186 NEXT_PASS (pass_reassoc
);
187 NEXT_PASS (pass_dce
);
188 NEXT_PASS (pass_forwprop
);
189 NEXT_PASS (pass_phiopt
);
190 NEXT_PASS (pass_strlen
);
191 NEXT_PASS (pass_ccp
);
192 /* After CCP we rewrite no longer addressed locals into SSA
194 NEXT_PASS (pass_copy_prop
);
195 NEXT_PASS (pass_cse_sincos
);
196 NEXT_PASS (pass_optimize_bswap
);
197 NEXT_PASS (pass_split_crit_edges
);
198 NEXT_PASS (pass_pre
);
199 NEXT_PASS (pass_sink_code
);
200 NEXT_PASS (pass_asan
);
201 NEXT_PASS (pass_tsan
);
202 NEXT_PASS (pass_tree_loop
);
203 PUSH_INSERT_PASSES_WITHIN (pass_tree_loop
)
204 NEXT_PASS (pass_tree_loop_init
);
205 NEXT_PASS (pass_lim
);
206 NEXT_PASS (pass_copy_prop
);
207 NEXT_PASS (pass_dce_loop
);
208 NEXT_PASS (pass_tree_unswitch
);
209 NEXT_PASS (pass_scev_cprop
);
210 NEXT_PASS (pass_record_bounds
);
211 NEXT_PASS (pass_check_data_deps
);
212 NEXT_PASS (pass_loop_distribution
);
213 NEXT_PASS (pass_copy_prop
);
214 NEXT_PASS (pass_graphite
);
215 PUSH_INSERT_PASSES_WITHIN (pass_graphite
)
216 NEXT_PASS (pass_graphite_transforms
);
217 NEXT_PASS (pass_lim
);
218 NEXT_PASS (pass_copy_prop
);
219 NEXT_PASS (pass_dce_loop
);
221 NEXT_PASS (pass_iv_canon
);
222 NEXT_PASS (pass_parallelize_loops
);
223 NEXT_PASS (pass_if_conversion
);
224 /* pass_vectorize must immediately follow pass_if_conversion.
225 Please do not add any other passes in between.
*/
226 NEXT_PASS (pass_vectorize
);
227 PUSH_INSERT_PASSES_WITHIN (pass_vectorize
)
228 NEXT_PASS (pass_dce_loop
);
230 NEXT_PASS (pass_predcom
);
231 NEXT_PASS (pass_complete_unroll
);
232 NEXT_PASS (pass_slp_vectorize
);
233 NEXT_PASS (pass_loop_prefetch
);
234 NEXT_PASS (pass_iv_optimize
);
235 NEXT_PASS (pass_lim
);
236 NEXT_PASS (pass_tree_loop_done
);
238 NEXT_PASS (pass_lower_vector_ssa
);
239 NEXT_PASS (pass_cse_reciprocals
);
240 NEXT_PASS (pass_reassoc
);
241 NEXT_PASS (pass_strength_reduction
);
242 NEXT_PASS (pass_dominator
);
243 /* The only const
/copy propagation opportunities left after
244 DOM should be due to degenerate PHI nodes. So rather than
245 run the full propagators
, run a specialized pass which
246 only examines PHIs to discover const
/copy propagation
248 NEXT_PASS (pass_phi_only_cprop
);
249 NEXT_PASS (pass_vrp
);
250 NEXT_PASS (pass_cd_dce
);
251 NEXT_PASS (pass_tracer
);
252 NEXT_PASS (pass_dse
);
253 NEXT_PASS (pass_forwprop
);
254 NEXT_PASS (pass_phiopt
);
255 NEXT_PASS (pass_fold_builtins
);
256 NEXT_PASS (pass_optimize_widening_mul
);
257 NEXT_PASS (pass_tail_calls
);
258 NEXT_PASS (pass_rename_ssa_copies
);
259 /* FIXME
: If DCE is not run before checking for uninitialized uses
,
260 we may get false
warnings (e.g.
, testsuite
/gcc.dg
/uninit
-5.c
).
261 However
, this also causes us to misdiagnose cases that should be
262 real
warnings (e.g.
, testsuite
/gcc.dg
/pr18501.c
).
264 To fix the false positives in uninit
-5.c
, we would have to
265 account for the predicates protecting the set and the use of each
266 variable. Using a representation like Gated Single Assignment
268 /* Split critical edges before late uninit warning to reduce the
269 number of false positives from it.
*/
270 NEXT_PASS (pass_split_crit_edges
);
271 NEXT_PASS (pass_late_warn_uninitialized
);
272 NEXT_PASS (pass_uncprop
);
273 NEXT_PASS (pass_local_pure_const
);
275 NEXT_PASS (pass_all_optimizations_g
);
276 PUSH_INSERT_PASSES_WITHIN (pass_all_optimizations_g
)
277 NEXT_PASS (pass_remove_cgraph_callee_edges
);
278 NEXT_PASS (pass_strip_predict_hints
);
279 /* Lower remaining pieces of GIMPLE.
*/
280 NEXT_PASS (pass_lower_complex
);
281 NEXT_PASS (pass_lower_vector_ssa
);
282 /* Perform simple scalar cleanup which is constant
/copy propagation.
*/
283 NEXT_PASS (pass_ccp
);
284 NEXT_PASS (pass_object_sizes
);
285 /* Fold remaining builtins.
*/
286 NEXT_PASS (pass_fold_builtins
);
287 /* Copy propagation also copy
-propagates constants
, this is necessary
288 to forward object
-size and builtin folding results properly.
*/
289 NEXT_PASS (pass_copy_prop
);
290 NEXT_PASS (pass_dce
);
291 NEXT_PASS (pass_asan
);
292 NEXT_PASS (pass_tsan
);
293 NEXT_PASS (pass_rename_ssa_copies
);
294 /* ??? We do want some kind of loop invariant motion
, but we possibly
295 need to adjust LIM to be more friendly towards preserving accurate
296 debug information here.
*/
297 /* Split critical edges before late uninit warning to reduce the
298 number of false positives from it.
*/
299 NEXT_PASS (pass_split_crit_edges
);
300 NEXT_PASS (pass_late_warn_uninitialized
);
301 NEXT_PASS (pass_uncprop
);
302 NEXT_PASS (pass_local_pure_const
);
304 NEXT_PASS (pass_tm_init
);
305 PUSH_INSERT_PASSES_WITHIN (pass_tm_init
)
306 NEXT_PASS (pass_tm_mark
);
307 NEXT_PASS (pass_tm_memopt
);
308 NEXT_PASS (pass_tm_edges
);
310 NEXT_PASS (pass_vtable_verify
);
311 NEXT_PASS (pass_lower_vector
);
312 NEXT_PASS (pass_lower_complex_O0
);
313 NEXT_PASS (pass_asan_O0
);
314 NEXT_PASS (pass_tsan_O0
);
315 NEXT_PASS (pass_sanopt
);
316 NEXT_PASS (pass_cleanup_eh
);
317 NEXT_PASS (pass_lower_resx
);
318 NEXT_PASS (pass_nrv
);
319 NEXT_PASS (pass_cleanup_cfg_post_optimizing
);
320 NEXT_PASS (pass_warn_function_noreturn
);
322 NEXT_PASS (pass_expand
);
324 NEXT_PASS (pass_rest_of_compilation
);
325 PUSH_INSERT_PASSES_WITHIN (pass_rest_of_compilation
)
326 NEXT_PASS (pass_instantiate_virtual_regs
);
327 NEXT_PASS (pass_into_cfg_layout_mode
);
328 NEXT_PASS (pass_jump
);
329 NEXT_PASS (pass_lower_subreg
);
330 NEXT_PASS (pass_df_initialize_opt
);
331 NEXT_PASS (pass_cse
);
332 NEXT_PASS (pass_rtl_fwprop
);
333 NEXT_PASS (pass_rtl_cprop
);
334 NEXT_PASS (pass_rtl_pre
);
335 NEXT_PASS (pass_rtl_hoist
);
336 NEXT_PASS (pass_rtl_cprop
);
337 NEXT_PASS (pass_rtl_store_motion
);
338 NEXT_PASS (pass_cse_after_global_opts
);
339 NEXT_PASS (pass_rtl_ifcvt
);
340 NEXT_PASS (pass_reginfo_init
);
341 /* Perform loop optimizations. It might be better to do them a bit
342 sooner
, but we want the profile feedback to work more
344 NEXT_PASS (pass_loop2
);
345 PUSH_INSERT_PASSES_WITHIN (pass_loop2
)
346 NEXT_PASS (pass_rtl_loop_init
);
347 NEXT_PASS (pass_rtl_move_loop_invariants
);
348 NEXT_PASS (pass_rtl_unroll_and_peel_loops
);
349 NEXT_PASS (pass_rtl_doloop
);
350 NEXT_PASS (pass_rtl_loop_done
);
351 TERMINATE_PASS_LIST ()
353 NEXT_PASS (pass_web
);
354 NEXT_PASS (pass_rtl_cprop
);
355 NEXT_PASS (pass_cse2
);
356 NEXT_PASS (pass_rtl_dse1
);
357 NEXT_PASS (pass_rtl_fwprop_addr
);
358 NEXT_PASS (pass_inc_dec
);
359 NEXT_PASS (pass_initialize_regs
);
360 NEXT_PASS (pass_ud_rtl_dce
);
361 NEXT_PASS (pass_combine
);
362 NEXT_PASS (pass_if_after_combine
);
363 NEXT_PASS (pass_partition_blocks
);
364 NEXT_PASS (pass_outof_cfg_layout_mode
);
365 NEXT_PASS (pass_split_all_insns
);
366 NEXT_PASS (pass_lower_subreg2
);
367 NEXT_PASS (pass_df_initialize_no_opt
);
368 NEXT_PASS (pass_stack_ptr_mod
);
369 NEXT_PASS (pass_mode_switching
);
370 NEXT_PASS (pass_match_asm_constraints
);
371 NEXT_PASS (pass_sms
);
372 NEXT_PASS (pass_live_range_shrinkage
);
373 NEXT_PASS (pass_sched
);
374 NEXT_PASS (pass_ira
);
375 NEXT_PASS (pass_reload
);
376 NEXT_PASS (pass_postreload
);
377 PUSH_INSERT_PASSES_WITHIN (pass_postreload
)
378 NEXT_PASS (pass_postreload_cse
);
379 NEXT_PASS (pass_gcse2
);
380 NEXT_PASS (pass_split_after_reload
);
381 NEXT_PASS (pass_ree
);
382 NEXT_PASS (pass_compare_elim_after_reload
);
383 NEXT_PASS (pass_branch_target_load_optimize1
);
384 NEXT_PASS (pass_thread_prologue_and_epilogue
);
385 NEXT_PASS (pass_rtl_dse2
);
386 NEXT_PASS (pass_stack_adjustments
);
387 NEXT_PASS (pass_jump2
);
388 NEXT_PASS (pass_peephole2
);
389 NEXT_PASS (pass_if_after_reload
);
390 NEXT_PASS (pass_regrename
);
391 NEXT_PASS (pass_cprop_hardreg
);
392 NEXT_PASS (pass_fast_rtl_dce
);
393 NEXT_PASS (pass_duplicate_computed_gotos
);
394 NEXT_PASS (pass_reorder_blocks
);
395 NEXT_PASS (pass_branch_target_load_optimize2
);
396 NEXT_PASS (pass_leaf_regs
);
397 NEXT_PASS (pass_split_before_sched2
);
398 NEXT_PASS (pass_sched2
);
399 NEXT_PASS (pass_stack_regs
);
400 PUSH_INSERT_PASSES_WITHIN (pass_stack_regs
)
401 NEXT_PASS (pass_split_before_regstack
);
402 NEXT_PASS (pass_stack_regs_run
);
404 NEXT_PASS (pass_compute_alignments
);
405 NEXT_PASS (pass_variable_tracking
);
406 NEXT_PASS (pass_free_cfg
);
407 NEXT_PASS (pass_machine_reorg
);
408 NEXT_PASS (pass_cleanup_barriers
);
409 NEXT_PASS (pass_delay_slots
);
410 NEXT_PASS (pass_split_for_shorten_branches
);
411 NEXT_PASS (pass_convert_to_eh_region_ranges
);
412 NEXT_PASS (pass_shorten_branches
);
413 NEXT_PASS (pass_set_nothrow_function_flags
);
414 NEXT_PASS (pass_dwarf2_frame
);
415 NEXT_PASS (pass_final
);
417 NEXT_PASS (pass_df_finish
);
419 NEXT_PASS (pass_clean_state
);
420 TERMINATE_PASS_LIST ()
