1/* Definitions for describing one tree-ssa optimization pass.
2 Copyright (C) 2004-2022 Free Software Foundation, Inc.
3 Contributed by Richard Henderson <rth@redhat.com>
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
9the Free Software Foundation; either version 3, or (at your option)
10any later version.
11
12GCC is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
20
21
22#ifndef GCC_TREE_PASS_H
23#define GCC_TREE_PASS_H 1
24
25#include "timevar.h"
26#include "dumpfile.h"
27
28struct function;
29
30/* Optimization pass type. */
31enum opt_pass_type
32{
33 GIMPLE_PASS,
34 RTL_PASS,
35 SIMPLE_IPA_PASS,
36 IPA_PASS
37};
38
39/* Metadata for a pass, non-varying across all instances of a pass. */
40struct pass_data
41{
42 /* Optimization pass type. */
43 enum opt_pass_type type;
44
45 /* Terse name of the pass used as a fragment of the dump file
46 name. If the name starts with a star, no dump happens. */
47 const char *name;
48
49 /* The -fopt-info optimization group flags as defined in dumpfile.h. */
50 optgroup_flags_t optinfo_flags;
51
52 /* The timevar id associated with this pass. */
53 /* ??? Ideally would be dynamically assigned. */
54 timevar_id_t tv_id;
55
56 /* Sets of properties input and output from this pass. */
57 unsigned int properties_required;
58 unsigned int properties_provided;
59 unsigned int properties_destroyed;
60
61 /* Flags indicating common sets things to do before and after. */
62 unsigned int todo_flags_start;
63 unsigned int todo_flags_finish;
64};
65
66namespace gcc
67{
68 class context;
69} // namespace gcc
70
71/* An instance of a pass. This is also "pass_data" to minimize the
72 changes in existing code. */
73class opt_pass : public pass_data
74{
75public:
76 virtual ~opt_pass () { }
77
78 /* Create a copy of this pass.
79
80 Passes that can have multiple instances must provide their own
81 implementation of this, to ensure that any sharing of state between
82 this instance and the copy is "wired up" correctly.
83
84 The default implementation prints an error message and aborts. */
85 virtual opt_pass *clone ();
86 virtual void set_pass_param (unsigned int, bool);
87
88 /* This pass and all sub-passes are executed only if the function returns
89 true. The default implementation returns true. */
90 virtual bool gate (function *fun);
91
92 /* This is the code to run. If this is not overridden, then there should
93 be sub-passes otherwise this pass does nothing.
94 The return value contains TODOs to execute in addition to those in
95 TODO_flags_finish. */
96 virtual unsigned int execute (function *fun);
97
98protected:
99 opt_pass (const pass_data&, gcc::context *);
100
101public:
102 /* A list of sub-passes to run, dependent on gate predicate. */
103 opt_pass *sub;
104
105 /* Next in the list of passes to run, independent of gate predicate. */
106 opt_pass *next;
107
108 /* Static pass number, used as a fragment of the dump file name. */
109 int static_pass_number;
110
111protected:
112 gcc::context *m_ctxt;
113};
114
115/* Description of GIMPLE pass. */
116class gimple_opt_pass : public opt_pass
117{
118protected:
119 gimple_opt_pass (const pass_data& data, gcc::context *ctxt)
120 : opt_pass (data, ctxt)
121 {
122 }
123};
124
125/* Description of RTL pass. */
126class rtl_opt_pass : public opt_pass
127{
128protected:
129 rtl_opt_pass (const pass_data& data, gcc::context *ctxt)
130 : opt_pass (data, ctxt)
131 {
132 }
133};
134
135struct varpool_node;
136struct cgraph_node;
137struct lto_symtab_encoder_d;
138
139/* Description of IPA pass with generate summary, write, execute, read and
140 transform stages. */
141class ipa_opt_pass_d : public opt_pass
142{
143public:
144 /* IPA passes can analyze function body and variable initializers
145 using this hook and produce summary. */
146 void (*generate_summary) (void);
147
148 /* This hook is used to serialize IPA summaries on disk. */
149 void (*write_summary) (void);
150
151 /* This hook is used to deserialize IPA summaries from disk. */
152 void (*read_summary) (void);
153
154 /* This hook is used to serialize IPA optimization summaries on disk. */
155 void (*write_optimization_summary) (void);
156
157 /* This hook is used to deserialize IPA summaries from disk. */
158 void (*read_optimization_summary) (void);
159
160 /* Hook to convert gimple stmt uids into true gimple statements. The second
161 parameter is an array of statements indexed by their uid. */
162 void (*stmt_fixup) (struct cgraph_node *, gimple **);
163
164 /* Results of interprocedural propagation of an IPA pass is applied to
165 function body via this hook. */
166 unsigned int function_transform_todo_flags_start;
167 unsigned int (*function_transform) (struct cgraph_node *);
168 void (*variable_transform) (varpool_node *);
169
170protected:
171 ipa_opt_pass_d (const pass_data& data, gcc::context *ctxt,
172 void (*generate_summary) (void),
173 void (*write_summary) (void),
174 void (*read_summary) (void),
175 void (*write_optimization_summary) (void),
176 void (*read_optimization_summary) (void),
177 void (*stmt_fixup) (struct cgraph_node *, gimple **),
178 unsigned int function_transform_todo_flags_start,
179 unsigned int (*function_transform) (struct cgraph_node *),
180 void (*variable_transform) (varpool_node *))
181 : opt_pass (data, ctxt),
182 generate_summary (generate_summary),
183 write_summary (write_summary),
184 read_summary (read_summary),
185 write_optimization_summary (write_optimization_summary),
186 read_optimization_summary (read_optimization_summary),
187 stmt_fixup (stmt_fixup),
188 function_transform_todo_flags_start (function_transform_todo_flags_start),
189 function_transform (function_transform),
190 variable_transform (variable_transform)
191 {
192 }
193};
194
195/* Description of simple IPA pass. Simple IPA passes have just one execute
196 hook. */
197class simple_ipa_opt_pass : public opt_pass
198{
199protected:
200 simple_ipa_opt_pass (const pass_data& data, gcc::context *ctxt)
201 : opt_pass (data, ctxt)
202 {
203 }
204};
205
206/* Pass properties. */
207#define PROP_gimple_any (1 << 0) /* entire gimple grammar */
208#define PROP_gimple_lcf (1 << 1) /* lowered control flow */
209#define PROP_gimple_leh (1 << 2) /* lowered eh */
210#define PROP_cfg (1 << 3)
211#define PROP_objsz (1 << 4) /* object sizes computed */
212#define PROP_ssa (1 << 5)
213#define PROP_no_crit_edges (1 << 6)
214#define PROP_rtl (1 << 7)
215#define PROP_gimple_lomp (1 << 8) /* lowered OpenMP directives */
216#define PROP_cfglayout (1 << 9) /* cfglayout mode on RTL */
217#define PROP_gimple_lcx (1 << 10) /* lowered complex */
218#define PROP_loops (1 << 11) /* preserve loop structures */
219#define PROP_gimple_lvec (1 << 12) /* lowered vector */
220#define PROP_gimple_eomp (1 << 13) /* no OpenMP directives */
221#define PROP_gimple_lva (1 << 14) /* No va_arg internal function. */
222#define PROP_gimple_opt_math (1 << 15) /* Disable canonicalization
223 of math functions; the
224 current choices have
225 been optimized. */
226#define PROP_gimple_lomp_dev (1 << 16) /* done omp_device_lower */
227#define PROP_rtl_split_insns (1 << 17) /* RTL has insns split. */
228#define PROP_loop_opts_done (1 << 18) /* SSA loop optimizations
229 have completed. */
230
231#define PROP_gimple \
232 (PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh | PROP_gimple_lomp)
233
234/* To-do flags. */
235#define TODO_do_not_ggc_collect (1 << 1)
236#define TODO_cleanup_cfg (1 << 5)
237#define TODO_verify_il (1 << 6)
238#define TODO_dump_symtab (1 << 7)
239#define TODO_remove_functions (1 << 8)
240#define TODO_rebuild_frequencies (1 << 9)
241
242/* To-do flags for calls to update_ssa. */
243
244/* Update the SSA form inserting PHI nodes for newly exposed symbols
245 and virtual names marked for updating. When updating real names,
246 only insert PHI nodes for a real name O_j in blocks reached by all
247 the new and old definitions for O_j. If the iterated dominance
248 frontier for O_j is not pruned, we may end up inserting PHI nodes
249 in blocks that have one or more edges with no incoming definition
250 for O_j. This would lead to uninitialized warnings for O_j's
251 symbol. */
252#define TODO_update_ssa (1 << 11)
253
254/* Update the SSA form without inserting any new PHI nodes at all.
255 This is used by passes that have either inserted all the PHI nodes
256 themselves or passes that need only to patch use-def and def-def
257 chains for virtuals (e.g., DCE). */
258#define TODO_update_ssa_no_phi (1 << 12)
259
260/* Insert PHI nodes everywhere they are needed. No pruning of the
261 IDF is done. This is used by passes that need the PHI nodes for
262 O_j even if it means that some arguments will come from the default
263 definition of O_j's symbol.
264
265 WARNING: If you need to use this flag, chances are that your pass
266 may be doing something wrong. Inserting PHI nodes for an old name
267 where not all edges carry a new replacement may lead to silent
268 codegen errors or spurious uninitialized warnings. */
269#define TODO_update_ssa_full_phi (1 << 13)
270
271/* Passes that update the SSA form on their own may want to delegate
272 the updating of virtual names to the generic updater. Since FUD
273 chains are easier to maintain, this simplifies the work they need
274 to do. NOTE: If this flag is used, any OLD->NEW mappings for real
275 names are explicitly destroyed and only the symbols marked for
276 renaming are processed. */
277#define TODO_update_ssa_only_virtuals (1 << 14)
278
279/* Some passes leave unused local variables that can be removed from
280 cfun->local_decls. This reduces the size of dump files
281 and the memory footprint for VAR_DECLs. */
282#define TODO_remove_unused_locals (1 << 15)
283
284/* Call df_finish at the end of the pass. This is done after all of
285 the dumpers have been allowed to run so that they have access to
286 the instance before it is destroyed. */
287#define TODO_df_finish (1 << 17)
288
289/* Call df_verify at the end of the pass if checking is enabled. */
290#define TODO_df_verify (1 << 18)
291
292/* Internally used for the first instance of a pass. */
293#define TODO_mark_first_instance (1 << 19)
294
295/* Rebuild aliasing info. */
296#define TODO_rebuild_alias (1 << 20)
297
298/* Rebuild the addressable-vars bitmap and do register promotion. */
299#define TODO_update_address_taken (1 << 21)
300
301/* Rebuild the callgraph edges. */
302#define TODO_rebuild_cgraph_edges (1 << 22)
303
304/* Release function body and stop pass manager. */
305#define TODO_discard_function (1 << 23)
306
307/* Internally used in execute_function_todo(). */
308#define TODO_update_ssa_any \
309 (TODO_update_ssa \
310 | TODO_update_ssa_no_phi \
311 | TODO_update_ssa_full_phi \
312 | TODO_update_ssa_only_virtuals)
313
314#define TODO_verify_all TODO_verify_il
315
316/* To-do flags for pending_TODOs. */
317
318/* Tell the next scalar cleanup pass that there is
319 work for it to do. */
320#define PENDING_TODO_force_next_scalar_cleanup (1 << 1)
321
322/* Register pass info. */
323
324enum pass_positioning_ops
325{
326 PASS_POS_INSERT_AFTER, /* Insert after the reference pass. */
327 PASS_POS_INSERT_BEFORE, /* Insert before the reference pass. */
328 PASS_POS_REPLACE /* Replace the reference pass. */
329};
330
331struct register_pass_info
332{
333 opt_pass *pass; /* New pass to register. */
334 const char *reference_pass_name; /* Name of the reference pass for hooking
335 up the new pass. */
336 int ref_pass_instance_number; /* Insert the pass at the specified
337 instance number of the reference pass.
338 Do it for every instance if it is 0. */
339 enum pass_positioning_ops pos_op; /* how to insert the new pass. */
340};
341
342/* Registers a new pass. Either fill out the register_pass_info or specify
343 the individual parameters. The pass object is expected to have been
344 allocated using operator new and the pass manager takes the ownership of
345 the pass object. */
346extern void register_pass (register_pass_info *);
347extern void register_pass (opt_pass* pass, pass_positioning_ops pos,
348 const char* ref_pass_name, int ref_pass_inst_number);
349
350extern gimple_opt_pass *make_pass_asan (gcc::context *ctxt);
351extern gimple_opt_pass *make_pass_asan_O0 (gcc::context *ctxt);
352extern gimple_opt_pass *make_pass_tsan (gcc::context *ctxt);
353extern gimple_opt_pass *make_pass_tsan_O0 (gcc::context *ctxt);
354extern gimple_opt_pass *make_pass_sancov (gcc::context *ctxt);
355extern gimple_opt_pass *make_pass_sancov_O0 (gcc::context *ctxt);
356extern gimple_opt_pass *make_pass_lower_cf (gcc::context *ctxt);
357extern gimple_opt_pass *make_pass_refactor_eh (gcc::context *ctxt);
358extern gimple_opt_pass *make_pass_lower_eh (gcc::context *ctxt);
359extern gimple_opt_pass *make_pass_lower_eh_dispatch (gcc::context *ctxt);
360extern gimple_opt_pass *make_pass_lower_resx (gcc::context *ctxt);
361extern gimple_opt_pass *make_pass_build_cfg (gcc::context *ctxt);
362extern gimple_opt_pass *make_pass_early_tree_profile (gcc::context *ctxt);
363extern gimple_opt_pass *make_pass_cleanup_eh (gcc::context *ctxt);
364extern gimple_opt_pass *make_pass_sra (gcc::context *ctxt);
365extern gimple_opt_pass *make_pass_sra_early (gcc::context *ctxt);
366extern gimple_opt_pass *make_pass_tail_recursion (gcc::context *ctxt);
367extern gimple_opt_pass *make_pass_tail_calls (gcc::context *ctxt);
368extern gimple_opt_pass *make_pass_fix_loops (gcc::context *ctxt);
369extern gimple_opt_pass *make_pass_tree_loop (gcc::context *ctxt);
370extern gimple_opt_pass *make_pass_tree_no_loop (gcc::context *ctxt);
371extern gimple_opt_pass *make_pass_tree_loop_init (gcc::context *ctxt);
372extern gimple_opt_pass *make_pass_loop_versioning (gcc::context *ctxt);
373extern gimple_opt_pass *make_pass_lim (gcc::context *ctxt);
374extern gimple_opt_pass *make_pass_linterchange (gcc::context *ctxt);
375extern gimple_opt_pass *make_pass_tree_unswitch (gcc::context *ctxt);
376extern gimple_opt_pass *make_pass_loop_split (gcc::context *ctxt);
377extern gimple_opt_pass *make_pass_loop_jam (gcc::context *ctxt);
378extern gimple_opt_pass *make_pass_predcom (gcc::context *ctxt);
379extern gimple_opt_pass *make_pass_iv_canon (gcc::context *ctxt);
380extern gimple_opt_pass *make_pass_scev_cprop (gcc::context *ctxt);
381extern gimple_opt_pass *make_pass_empty_loop (gcc::context *ctxt);
382extern gimple_opt_pass *make_pass_graphite (gcc::context *ctxt);
383extern gimple_opt_pass *make_pass_graphite_transforms (gcc::context *ctxt);
384extern gimple_opt_pass *make_pass_if_conversion (gcc::context *ctxt);
385extern gimple_opt_pass *make_pass_if_to_switch (gcc::context *ctxt);
386extern gimple_opt_pass *make_pass_loop_distribution (gcc::context *ctxt);
387extern gimple_opt_pass *make_pass_vectorize (gcc::context *ctxt);
388extern gimple_opt_pass *make_pass_simduid_cleanup (gcc::context *ctxt);
389extern gimple_opt_pass *make_pass_slp_vectorize (gcc::context *ctxt);
390extern gimple_opt_pass *make_pass_complete_unroll (gcc::context *ctxt);
391extern gimple_opt_pass *make_pass_complete_unrolli (gcc::context *ctxt);
392extern gimple_opt_pass *make_pass_pre_slp_scalar_cleanup (gcc::context *ctxt);
393extern gimple_opt_pass *make_pass_parallelize_loops (gcc::context *ctxt);
394extern gimple_opt_pass *make_pass_loop_prefetch (gcc::context *ctxt);
395extern gimple_opt_pass *make_pass_iv_optimize (gcc::context *ctxt);
396extern gimple_opt_pass *make_pass_tree_loop_done (gcc::context *ctxt);
397extern gimple_opt_pass *make_pass_ch (gcc::context *ctxt);
398extern gimple_opt_pass *make_pass_ch_vect (gcc::context *ctxt);
399extern gimple_opt_pass *make_pass_ccp (gcc::context *ctxt);
400extern gimple_opt_pass *make_pass_split_paths (gcc::context *ctxt);
401extern gimple_opt_pass *make_pass_build_ssa (gcc::context *ctxt);
402extern gimple_opt_pass *make_pass_build_alias (gcc::context *ctxt);
403extern gimple_opt_pass *make_pass_build_ealias (gcc::context *ctxt);
404extern gimple_opt_pass *make_pass_dominator (gcc::context *ctxt);
405extern gimple_opt_pass *make_pass_dce (gcc::context *ctxt);
406extern gimple_opt_pass *make_pass_cd_dce (gcc::context *ctxt);
407extern gimple_opt_pass *make_pass_call_cdce (gcc::context *ctxt);
408extern gimple_opt_pass *make_pass_merge_phi (gcc::context *ctxt);
409extern gimple_opt_pass *make_pass_thread_jumps (gcc::context *ctxt);
410extern gimple_opt_pass *make_pass_thread_jumps_full (gcc::context *ctxt);
411extern gimple_opt_pass *make_pass_early_thread_jumps (gcc::context *ctxt);
412extern gimple_opt_pass *make_pass_split_crit_edges (gcc::context *ctxt);
413extern gimple_opt_pass *make_pass_laddress (gcc::context *ctxt);
414extern gimple_opt_pass *make_pass_pre (gcc::context *ctxt);
415extern unsigned int tail_merge_optimize (bool);
416extern gimple_opt_pass *make_pass_profile (gcc::context *ctxt);
417extern gimple_opt_pass *make_pass_strip_predict_hints (gcc::context *ctxt);
418extern gimple_opt_pass *make_pass_lower_complex_O0 (gcc::context *ctxt);
419extern gimple_opt_pass *make_pass_lower_complex (gcc::context *ctxt);
420extern gimple_opt_pass *make_pass_lower_switch (gcc::context *ctxt);
421extern gimple_opt_pass *make_pass_lower_switch_O0 (gcc::context *ctxt);
422extern gimple_opt_pass *make_pass_lower_vector (gcc::context *ctxt);
423extern gimple_opt_pass *make_pass_lower_vector_ssa (gcc::context *ctxt);
424extern gimple_opt_pass *make_pass_omp_oacc_kernels_decompose (gcc::context *ctxt);
425extern gimple_opt_pass *make_pass_lower_omp (gcc::context *ctxt);
426extern gimple_opt_pass *make_pass_diagnose_omp_blocks (gcc::context *ctxt);
427extern gimple_opt_pass *make_pass_expand_omp (gcc::context *ctxt);
428extern gimple_opt_pass *make_pass_expand_omp_ssa (gcc::context *ctxt);
429extern gimple_opt_pass *make_pass_omp_target_link (gcc::context *ctxt);
430extern gimple_opt_pass *make_pass_oacc_loop_designation (gcc::context *ctxt);
431extern gimple_opt_pass *make_pass_omp_oacc_neuter_broadcast (gcc::context *ctxt);
432extern gimple_opt_pass *make_pass_oacc_device_lower (gcc::context *ctxt);
433extern gimple_opt_pass *make_pass_omp_device_lower (gcc::context *ctxt);
434extern gimple_opt_pass *make_pass_object_sizes (gcc::context *ctxt);
435extern gimple_opt_pass *make_pass_early_object_sizes (gcc::context *ctxt);
436extern gimple_opt_pass *make_pass_warn_access (gcc::context *ctxt);
437extern gimple_opt_pass *make_pass_warn_printf (gcc::context *ctxt);
438extern gimple_opt_pass *make_pass_warn_recursion (gcc::context *ctxt);
439extern gimple_opt_pass *make_pass_strlen (gcc::context *ctxt);
440extern gimple_opt_pass *make_pass_fold_builtins (gcc::context *ctxt);
441extern gimple_opt_pass *make_pass_post_ipa_warn (gcc::context *ctxt);
442extern gimple_opt_pass *make_pass_stdarg (gcc::context *ctxt);
443extern gimple_opt_pass *make_pass_early_warn_uninitialized (gcc::context *ctxt);
444extern gimple_opt_pass *make_pass_late_warn_uninitialized (gcc::context *ctxt);
445extern gimple_opt_pass *make_pass_cse_reciprocals (gcc::context *ctxt);
446extern gimple_opt_pass *make_pass_cse_sincos (gcc::context *ctxt);
447extern gimple_opt_pass *make_pass_expand_powcabs (gcc::context *ctxt);
448extern gimple_opt_pass *make_pass_optimize_bswap (gcc::context *ctxt);
449extern gimple_opt_pass *make_pass_store_merging (gcc::context *ctxt);
450extern gimple_opt_pass *make_pass_optimize_widening_mul (gcc::context *ctxt);
451extern gimple_opt_pass *make_pass_warn_function_return (gcc::context *ctxt);
452extern gimple_opt_pass *make_pass_warn_function_noreturn (gcc::context *ctxt);
453extern gimple_opt_pass *make_pass_cselim (gcc::context *ctxt);
454extern gimple_opt_pass *make_pass_phiopt (gcc::context *ctxt);
455extern gimple_opt_pass *make_pass_forwprop (gcc::context *ctxt);
456extern gimple_opt_pass *make_pass_phiprop (gcc::context *ctxt);
457extern gimple_opt_pass *make_pass_tree_ifcombine (gcc::context *ctxt);
458extern gimple_opt_pass *make_pass_dse (gcc::context *ctxt);
459extern gimple_opt_pass *make_pass_nrv (gcc::context *ctxt);
460extern gimple_opt_pass *make_pass_rename_ssa_copies (gcc::context *ctxt);
461extern gimple_opt_pass *make_pass_sink_code (gcc::context *ctxt);
462extern gimple_opt_pass *make_pass_fre (gcc::context *ctxt);
463extern gimple_opt_pass *make_pass_check_data_deps (gcc::context *ctxt);
464extern gimple_opt_pass *make_pass_copy_prop (gcc::context *ctxt);
465extern gimple_opt_pass *make_pass_isolate_erroneous_paths (gcc::context *ctxt);
466extern gimple_opt_pass *make_pass_early_vrp (gcc::context *ctxt);
467extern gimple_opt_pass *make_pass_vrp (gcc::context *ctxt);
468extern gimple_opt_pass *make_pass_uncprop (gcc::context *ctxt);
469extern gimple_opt_pass *make_pass_return_slot (gcc::context *ctxt);
470extern gimple_opt_pass *make_pass_reassoc (gcc::context *ctxt);
471extern gimple_opt_pass *make_pass_rebuild_cgraph_edges (gcc::context *ctxt);
472extern gimple_opt_pass *make_pass_remove_cgraph_callee_edges (gcc::context
473 *ctxt);
474extern gimple_opt_pass *make_pass_build_cgraph_edges (gcc::context *ctxt);
475extern gimple_opt_pass *make_pass_local_pure_const (gcc::context *ctxt);
476extern gimple_opt_pass *make_pass_nothrow (gcc::context *ctxt);
477extern gimple_opt_pass *make_pass_tracer (gcc::context *ctxt);
478extern gimple_opt_pass *make_pass_warn_restrict (gcc::context *ctxt);
479extern gimple_opt_pass *make_pass_warn_unused_result (gcc::context *ctxt);
480extern gimple_opt_pass *make_pass_diagnose_tm_blocks (gcc::context *ctxt);
481extern gimple_opt_pass *make_pass_lower_tm (gcc::context *ctxt);
482extern gimple_opt_pass *make_pass_tm_init (gcc::context *ctxt);
483extern gimple_opt_pass *make_pass_tm_mark (gcc::context *ctxt);
484extern gimple_opt_pass *make_pass_tm_memopt (gcc::context *ctxt);
485extern gimple_opt_pass *make_pass_tm_edges (gcc::context *ctxt);
486extern gimple_opt_pass *make_pass_split_functions (gcc::context *ctxt);
487extern gimple_opt_pass *make_pass_feedback_split_functions (gcc::context *ctxt);
488extern gimple_opt_pass *make_pass_strength_reduction (gcc::context *ctxt);
489extern gimple_opt_pass *make_pass_vtable_verify (gcc::context *ctxt);
490extern gimple_opt_pass *make_pass_ubsan (gcc::context *ctxt);
491extern gimple_opt_pass *make_pass_sanopt (gcc::context *ctxt);
492extern gimple_opt_pass *make_pass_oacc_kernels (gcc::context *ctxt);
493extern simple_ipa_opt_pass *make_pass_ipa_oacc (gcc::context *ctxt);
494extern simple_ipa_opt_pass *make_pass_ipa_oacc_kernels (gcc::context *ctxt);
495extern gimple_opt_pass *make_pass_warn_nonnull_compare (gcc::context *ctxt);
496extern gimple_opt_pass *make_pass_sprintf_length (gcc::context *ctxt);
497extern gimple_opt_pass *make_pass_walloca (gcc::context *ctxt);
498extern gimple_opt_pass *make_pass_modref (gcc::context *ctxt);
499extern gimple_opt_pass *make_pass_coroutine_lower_builtins (gcc::context *ctxt);
500extern gimple_opt_pass *make_pass_coroutine_early_expand_ifns (gcc::context *ctxt);
501extern gimple_opt_pass *make_pass_adjust_alignment (gcc::context *ctxt);
502
503/* IPA Passes */
504extern simple_ipa_opt_pass *make_pass_ipa_lower_emutls (gcc::context *ctxt);
505extern simple_ipa_opt_pass
506 *make_pass_ipa_function_and_variable_visibility (gcc::context *ctxt);
507extern simple_ipa_opt_pass *make_pass_ipa_tree_profile (gcc::context *ctxt);
508extern simple_ipa_opt_pass *make_pass_ipa_auto_profile (gcc::context *ctxt);
509
510extern simple_ipa_opt_pass *make_pass_build_ssa_passes (gcc::context *ctxt);
511extern simple_ipa_opt_pass *make_pass_local_optimization_passes (gcc::context *ctxt);
512extern simple_ipa_opt_pass *make_pass_ipa_remove_symbols (gcc::context *ctxt);
513
514extern ipa_opt_pass_d *make_pass_analyzer (gcc::context *ctxt);
515extern ipa_opt_pass_d *make_pass_ipa_whole_program_visibility (gcc::context
516 *ctxt);
517extern simple_ipa_opt_pass *make_pass_ipa_increase_alignment (gcc::context
518 *ctxt);
519extern ipa_opt_pass_d *make_pass_ipa_fn_summary (gcc::context *ctxt);
520extern ipa_opt_pass_d *make_pass_ipa_inline (gcc::context *ctxt);
521extern simple_ipa_opt_pass *make_pass_ipa_free_lang_data (gcc::context *ctxt);
522extern simple_ipa_opt_pass *make_pass_ipa_free_fn_summary (gcc::context *ctxt);
523extern ipa_opt_pass_d *make_pass_ipa_cp (gcc::context *ctxt);
524extern ipa_opt_pass_d *make_pass_ipa_sra (gcc::context *ctxt);
525extern ipa_opt_pass_d *make_pass_ipa_icf (gcc::context *ctxt);
526extern ipa_opt_pass_d *make_pass_ipa_devirt (gcc::context *ctxt);
527extern ipa_opt_pass_d *make_pass_ipa_odr (gcc::context *ctxt);
528extern ipa_opt_pass_d *make_pass_ipa_reference (gcc::context *ctxt);
529extern ipa_opt_pass_d *make_pass_ipa_pure_const (gcc::context *ctxt);
530extern simple_ipa_opt_pass *make_pass_ipa_pta (gcc::context *ctxt);
531extern simple_ipa_opt_pass *make_pass_ipa_tm (gcc::context *ctxt);
532extern simple_ipa_opt_pass *make_pass_target_clone (gcc::context *ctxt);
533extern simple_ipa_opt_pass *make_pass_dispatcher_calls (gcc::context *ctxt);
534extern simple_ipa_opt_pass *make_pass_omp_simd_clone (gcc::context *ctxt);
535extern ipa_opt_pass_d *make_pass_ipa_profile (gcc::context *ctxt);
536extern ipa_opt_pass_d *make_pass_ipa_cdtor_merge (gcc::context *ctxt);
537extern ipa_opt_pass_d *make_pass_ipa_single_use (gcc::context *ctxt);
538extern ipa_opt_pass_d *make_pass_ipa_comdats (gcc::context *ctxt);
539extern ipa_opt_pass_d *make_pass_ipa_modref (gcc::context *ctxt);
540
541extern gimple_opt_pass *make_pass_cleanup_cfg_post_optimizing (gcc::context
542 *ctxt);
543extern gimple_opt_pass *make_pass_fixup_cfg (gcc::context *ctxt);
544extern gimple_opt_pass *make_pass_backprop (gcc::context *ctxt);
545
546extern rtl_opt_pass *make_pass_expand (gcc::context *ctxt);
547extern rtl_opt_pass *make_pass_instantiate_virtual_regs (gcc::context *ctxt);
548extern rtl_opt_pass *make_pass_rtl_fwprop (gcc::context *ctxt);
549extern rtl_opt_pass *make_pass_rtl_fwprop_addr (gcc::context *ctxt);
550extern rtl_opt_pass *make_pass_jump (gcc::context *ctxt);
551extern rtl_opt_pass *make_pass_jump2 (gcc::context *ctxt);
552extern rtl_opt_pass *make_pass_lower_subreg (gcc::context *ctxt);
553extern rtl_opt_pass *make_pass_cse (gcc::context *ctxt);
554extern rtl_opt_pass *make_pass_fast_rtl_dce (gcc::context *ctxt);
555extern rtl_opt_pass *make_pass_ud_rtl_dce (gcc::context *ctxt);
556extern rtl_opt_pass *make_pass_rtl_dce (gcc::context *ctxt);
557extern rtl_opt_pass *make_pass_rtl_dse1 (gcc::context *ctxt);
558extern rtl_opt_pass *make_pass_rtl_dse2 (gcc::context *ctxt);
559extern rtl_opt_pass *make_pass_rtl_dse3 (gcc::context *ctxt);
560extern rtl_opt_pass *make_pass_rtl_cprop (gcc::context *ctxt);
561extern rtl_opt_pass *make_pass_rtl_pre (gcc::context *ctxt);
562extern rtl_opt_pass *make_pass_rtl_hoist (gcc::context *ctxt);
563extern rtl_opt_pass *make_pass_rtl_store_motion (gcc::context *ctxt);
564extern rtl_opt_pass *make_pass_cse_after_global_opts (gcc::context *ctxt);
565extern rtl_opt_pass *make_pass_rtl_ifcvt (gcc::context *ctxt);
566
567extern rtl_opt_pass *make_pass_into_cfg_layout_mode (gcc::context *ctxt);
568extern rtl_opt_pass *make_pass_outof_cfg_layout_mode (gcc::context *ctxt);
569
570extern rtl_opt_pass *make_pass_loop2 (gcc::context *ctxt);
571extern rtl_opt_pass *make_pass_rtl_loop_init (gcc::context *ctxt);
572extern rtl_opt_pass *make_pass_rtl_move_loop_invariants (gcc::context *ctxt);
573extern rtl_opt_pass *make_pass_rtl_unroll_loops (gcc::context *ctxt);
574extern rtl_opt_pass *make_pass_rtl_doloop (gcc::context *ctxt);
575extern rtl_opt_pass *make_pass_rtl_loop_done (gcc::context *ctxt);
576
577extern rtl_opt_pass *make_pass_lower_subreg2 (gcc::context *ctxt);
578extern rtl_opt_pass *make_pass_web (gcc::context *ctxt);
579extern rtl_opt_pass *make_pass_cse2 (gcc::context *ctxt);
580extern rtl_opt_pass *make_pass_df_initialize_opt (gcc::context *ctxt);
581extern rtl_opt_pass *make_pass_df_initialize_no_opt (gcc::context *ctxt);
582extern rtl_opt_pass *make_pass_reginfo_init (gcc::context *ctxt);
583extern rtl_opt_pass *make_pass_inc_dec (gcc::context *ctxt);
584extern rtl_opt_pass *make_pass_stack_ptr_mod (gcc::context *ctxt);
585extern rtl_opt_pass *make_pass_initialize_regs (gcc::context *ctxt);
586extern rtl_opt_pass *make_pass_combine (gcc::context *ctxt);
587extern rtl_opt_pass *make_pass_if_after_combine (gcc::context *ctxt);
588extern rtl_opt_pass *make_pass_jump_after_combine (gcc::context *ctxt);
589extern rtl_opt_pass *make_pass_ree (gcc::context *ctxt);
590extern rtl_opt_pass *make_pass_partition_blocks (gcc::context *ctxt);
591extern rtl_opt_pass *make_pass_match_asm_constraints (gcc::context *ctxt);
592extern rtl_opt_pass *make_pass_split_all_insns (gcc::context *ctxt);
593extern rtl_opt_pass *make_pass_fast_rtl_byte_dce (gcc::context *ctxt);
594extern rtl_opt_pass *make_pass_lower_subreg3 (gcc::context *ctxt);
595extern rtl_opt_pass *make_pass_mode_switching (gcc::context *ctxt);
596extern rtl_opt_pass *make_pass_sms (gcc::context *ctxt);
597extern rtl_opt_pass *make_pass_sched (gcc::context *ctxt);
598extern rtl_opt_pass *make_pass_live_range_shrinkage (gcc::context *ctxt);
599extern rtl_opt_pass *make_pass_early_remat (gcc::context *ctxt);
600extern rtl_opt_pass *make_pass_ira (gcc::context *ctxt);
601extern rtl_opt_pass *make_pass_reload (gcc::context *ctxt);
602extern rtl_opt_pass *make_pass_clean_state (gcc::context *ctxt);
603extern rtl_opt_pass *make_pass_branch_prob (gcc::context *ctxt);
604extern rtl_opt_pass *make_pass_value_profile_transformations (gcc::context
605 *ctxt);
606extern rtl_opt_pass *make_pass_postreload_cse (gcc::context *ctxt);
607extern rtl_opt_pass *make_pass_gcse2 (gcc::context *ctxt);
608extern rtl_opt_pass *make_pass_split_after_reload (gcc::context *ctxt);
609extern rtl_opt_pass *make_pass_thread_prologue_and_epilogue (gcc::context
610 *ctxt);
611extern rtl_opt_pass *make_pass_zero_call_used_regs (gcc::context *ctxt);
612extern rtl_opt_pass *make_pass_stack_adjustments (gcc::context *ctxt);
613extern rtl_opt_pass *make_pass_sched_fusion (gcc::context *ctxt);
614extern rtl_opt_pass *make_pass_peephole2 (gcc::context *ctxt);
615extern rtl_opt_pass *make_pass_if_after_reload (gcc::context *ctxt);
616extern rtl_opt_pass *make_pass_regrename (gcc::context *ctxt);
617extern rtl_opt_pass *make_pass_cprop_hardreg (gcc::context *ctxt);
618extern rtl_opt_pass *make_pass_reorder_blocks (gcc::context *ctxt);
619extern rtl_opt_pass *make_pass_leaf_regs (gcc::context *ctxt);
620extern rtl_opt_pass *make_pass_split_before_sched2 (gcc::context *ctxt);
621extern rtl_opt_pass *make_pass_compare_elim_after_reload (gcc::context *ctxt);
622extern rtl_opt_pass *make_pass_sched2 (gcc::context *ctxt);
623extern rtl_opt_pass *make_pass_stack_regs (gcc::context *ctxt);
624extern rtl_opt_pass *make_pass_stack_regs_run (gcc::context *ctxt);
625extern rtl_opt_pass *make_pass_df_finish (gcc::context *ctxt);
626extern rtl_opt_pass *make_pass_compute_alignments (gcc::context *ctxt);
627extern rtl_opt_pass *make_pass_duplicate_computed_gotos (gcc::context *ctxt);
628extern rtl_opt_pass *make_pass_variable_tracking (gcc::context *ctxt);
629extern rtl_opt_pass *make_pass_free_cfg (gcc::context *ctxt);
630extern rtl_opt_pass *make_pass_machine_reorg (gcc::context *ctxt);
631extern rtl_opt_pass *make_pass_cleanup_barriers (gcc::context *ctxt);
632extern rtl_opt_pass *make_pass_delay_slots (gcc::context *ctxt);
633extern rtl_opt_pass *make_pass_split_for_shorten_branches (gcc::context *ctxt);
634extern rtl_opt_pass *make_pass_split_before_regstack (gcc::context *ctxt);
635extern rtl_opt_pass *make_pass_convert_to_eh_region_ranges (gcc::context *ctxt);
636extern rtl_opt_pass *make_pass_shorten_branches (gcc::context *ctxt);
637extern rtl_opt_pass *make_pass_set_nothrow_function_flags (gcc::context *ctxt);
638extern rtl_opt_pass *make_pass_dwarf2_frame (gcc::context *ctxt);
639extern rtl_opt_pass *make_pass_final (gcc::context *ctxt);
640extern rtl_opt_pass *make_pass_rtl_seqabstr (gcc::context *ctxt);
641extern gimple_opt_pass *make_pass_release_ssa_names (gcc::context *ctxt);
642extern gimple_opt_pass *make_pass_early_inline (gcc::context *ctxt);
643extern gimple_opt_pass *make_pass_local_fn_summary (gcc::context *ctxt);
644extern gimple_opt_pass *make_pass_update_address_taken (gcc::context *ctxt);
645extern gimple_opt_pass *make_pass_convert_switch (gcc::context *ctxt);
646extern gimple_opt_pass *make_pass_lower_vaarg (gcc::context *ctxt);
647extern gimple_opt_pass *make_pass_gimple_isel (gcc::context *ctxt);
648extern gimple_opt_pass *make_pass_harden_compares (gcc::context *ctxt);
649extern gimple_opt_pass *make_pass_harden_conditional_branches (gcc::context
650 *ctxt);
651
652/* Current optimization pass. */
653extern opt_pass *current_pass;
654
655extern bool execute_one_pass (opt_pass *);
656extern void execute_pass_list (function *, opt_pass *);
657extern void execute_ipa_pass_list (opt_pass *);
658extern void execute_ipa_summary_passes (ipa_opt_pass_d *);
659extern void execute_all_ipa_transforms (bool);
660extern void execute_all_ipa_stmt_fixups (struct cgraph_node *, gimple **);
661extern bool pass_init_dump_file (opt_pass *);
662extern void pass_fini_dump_file (opt_pass *);
663extern void emergency_dump_function (void);
664
665extern void print_current_pass (FILE *);
666extern void debug_pass (void);
667extern void ipa_write_summaries (void);
668extern void ipa_write_optimization_summaries (struct lto_symtab_encoder_d *);
669extern void ipa_read_summaries (void);
670extern void ipa_read_optimization_summaries (void);
671extern void register_one_dump_file (opt_pass *);
672extern bool function_called_by_processed_nodes_p (void);
673
674/* Declare for plugins. */
675extern void do_per_function_toporder (void (*) (function *, void *), void *);
676
677extern void disable_pass (const char *);
678extern void enable_pass (const char *);
679extern void dump_passes (void);
680
681#endif /* GCC_TREE_PASS_H */
682

source code of gcc/tree-pass.h