1/* Definitions for describing one tree-ssa optimization pass.
2 Copyright (C) 2004-2023 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#define PROP_assumptions_done (1 << 19) /* Assume function kept
231 around. */
232#define PROP_gimple_lbitint (1 << 20) /* lowered large _BitInt */
233
234#define PROP_gimple \
235 (PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh | PROP_gimple_lomp)
236
237/* To-do flags. */
238#define TODO_do_not_ggc_collect (1 << 1)
239#define TODO_cleanup_cfg (1 << 5)
240#define TODO_verify_il (1 << 6)
241#define TODO_dump_symtab (1 << 7)
242#define TODO_remove_functions (1 << 8)
243
244/* To-do flags for calls to update_ssa. */
245
246/* Update the SSA form inserting PHI nodes for newly exposed symbols
247 and virtual names marked for updating. When updating real names,
248 only insert PHI nodes for a real name O_j in blocks reached by all
249 the new and old definitions for O_j. If the iterated dominance
250 frontier for O_j is not pruned, we may end up inserting PHI nodes
251 in blocks that have one or more edges with no incoming definition
252 for O_j. This would lead to uninitialized warnings for O_j's
253 symbol. */
254#define TODO_update_ssa (1 << 11)
255
256/* Update the SSA form without inserting any new PHI nodes at all.
257 This is used by passes that have either inserted all the PHI nodes
258 themselves or passes that need only to patch use-def and def-def
259 chains for virtuals (e.g., DCE). */
260#define TODO_update_ssa_no_phi (1 << 12)
261
262/* Insert PHI nodes everywhere they are needed. No pruning of the
263 IDF is done. This is used by passes that need the PHI nodes for
264 O_j even if it means that some arguments will come from the default
265 definition of O_j's symbol.
266
267 WARNING: If you need to use this flag, chances are that your pass
268 may be doing something wrong. Inserting PHI nodes for an old name
269 where not all edges carry a new replacement may lead to silent
270 codegen errors or spurious uninitialized warnings. */
271#define TODO_update_ssa_full_phi (1 << 13)
272
273/* Passes that update the SSA form on their own may want to delegate
274 the updating of virtual names to the generic updater. Since FUD
275 chains are easier to maintain, this simplifies the work they need
276 to do. NOTE: If this flag is used, any OLD->NEW mappings for real
277 names are explicitly destroyed and only the symbols marked for
278 renaming are processed. */
279#define TODO_update_ssa_only_virtuals (1 << 14)
280
281/* Some passes leave unused local variables that can be removed from
282 cfun->local_decls. This reduces the size of dump files
283 and the memory footprint for VAR_DECLs. */
284#define TODO_remove_unused_locals (1 << 15)
285
286/* Call df_finish at the end of the pass. This is done after all of
287 the dumpers have been allowed to run so that they have access to
288 the instance before it is destroyed. */
289#define TODO_df_finish (1 << 17)
290
291/* Call df_verify at the end of the pass if checking is enabled. */
292#define TODO_df_verify (1 << 18)
293
294/* Internally used for the first instance of a pass. */
295#define TODO_mark_first_instance (1 << 19)
296
297/* Rebuild aliasing info. */
298#define TODO_rebuild_alias (1 << 20)
299
300/* Rebuild the addressable-vars bitmap and do register promotion. */
301#define TODO_update_address_taken (1 << 21)
302
303/* Rebuild the callgraph edges. */
304#define TODO_rebuild_cgraph_edges (1 << 22)
305
306/* Release function body (unless assumption function)
307 and stop pass manager. */
308#define TODO_discard_function (1 << 23)
309
310/* Internally used in execute_function_todo(). */
311#define TODO_update_ssa_any \
312 (TODO_update_ssa \
313 | TODO_update_ssa_no_phi \
314 | TODO_update_ssa_full_phi \
315 | TODO_update_ssa_only_virtuals)
316
317#define TODO_verify_all TODO_verify_il
318
319/* To-do flags for pending_TODOs. */
320
321/* Tell the next scalar cleanup pass that there is
322 work for it to do. */
323#define PENDING_TODO_force_next_scalar_cleanup (1 << 1)
324
325/* Register pass info. */
326
327enum pass_positioning_ops
328{
329 PASS_POS_INSERT_AFTER, /* Insert after the reference pass. */
330 PASS_POS_INSERT_BEFORE, /* Insert before the reference pass. */
331 PASS_POS_REPLACE /* Replace the reference pass. */
332};
333
334struct register_pass_info
335{
336 opt_pass *pass; /* New pass to register. */
337 const char *reference_pass_name; /* Name of the reference pass for hooking
338 up the new pass. */
339 int ref_pass_instance_number; /* Insert the pass at the specified
340 instance number of the reference pass.
341 Do it for every instance if it is 0. */
342 enum pass_positioning_ops pos_op; /* how to insert the new pass. */
343};
344
345/* Registers a new pass. Either fill out the register_pass_info or specify
346 the individual parameters. The pass object is expected to have been
347 allocated using operator new and the pass manager takes the ownership of
348 the pass object. */
349extern void register_pass (register_pass_info *);
350extern void register_pass (opt_pass* pass, pass_positioning_ops pos,
351 const char* ref_pass_name, int ref_pass_inst_number);
352
353extern gimple_opt_pass *make_pass_asan (gcc::context *ctxt);
354extern gimple_opt_pass *make_pass_asan_O0 (gcc::context *ctxt);
355extern gimple_opt_pass *make_pass_tsan (gcc::context *ctxt);
356extern gimple_opt_pass *make_pass_tsan_O0 (gcc::context *ctxt);
357extern gimple_opt_pass *make_pass_sancov (gcc::context *ctxt);
358extern gimple_opt_pass *make_pass_sancov_O0 (gcc::context *ctxt);
359extern gimple_opt_pass *make_pass_lower_cf (gcc::context *ctxt);
360extern gimple_opt_pass *make_pass_refactor_eh (gcc::context *ctxt);
361extern gimple_opt_pass *make_pass_lower_eh (gcc::context *ctxt);
362extern gimple_opt_pass *make_pass_lower_eh_dispatch (gcc::context *ctxt);
363extern gimple_opt_pass *make_pass_lower_resx (gcc::context *ctxt);
364extern gimple_opt_pass *make_pass_build_cfg (gcc::context *ctxt);
365extern gimple_opt_pass *make_pass_early_tree_profile (gcc::context *ctxt);
366extern gimple_opt_pass *make_pass_cleanup_eh (gcc::context *ctxt);
367extern gimple_opt_pass *make_pass_sra (gcc::context *ctxt);
368extern gimple_opt_pass *make_pass_sra_early (gcc::context *ctxt);
369extern gimple_opt_pass *make_pass_tail_recursion (gcc::context *ctxt);
370extern gimple_opt_pass *make_pass_tail_calls (gcc::context *ctxt);
371extern gimple_opt_pass *make_pass_fix_loops (gcc::context *ctxt);
372extern gimple_opt_pass *make_pass_tree_loop (gcc::context *ctxt);
373extern gimple_opt_pass *make_pass_tree_no_loop (gcc::context *ctxt);
374extern gimple_opt_pass *make_pass_tree_loop_init (gcc::context *ctxt);
375extern gimple_opt_pass *make_pass_loop_versioning (gcc::context *ctxt);
376extern gimple_opt_pass *make_pass_lim (gcc::context *ctxt);
377extern gimple_opt_pass *make_pass_linterchange (gcc::context *ctxt);
378extern gimple_opt_pass *make_pass_tree_unswitch (gcc::context *ctxt);
379extern gimple_opt_pass *make_pass_loop_split (gcc::context *ctxt);
380extern gimple_opt_pass *make_pass_loop_jam (gcc::context *ctxt);
381extern gimple_opt_pass *make_pass_predcom (gcc::context *ctxt);
382extern gimple_opt_pass *make_pass_iv_canon (gcc::context *ctxt);
383extern gimple_opt_pass *make_pass_scev_cprop (gcc::context *ctxt);
384extern gimple_opt_pass *make_pass_empty_loop (gcc::context *ctxt);
385extern gimple_opt_pass *make_pass_graphite (gcc::context *ctxt);
386extern gimple_opt_pass *make_pass_graphite_transforms (gcc::context *ctxt);
387extern gimple_opt_pass *make_pass_if_conversion (gcc::context *ctxt);
388extern gimple_opt_pass *make_pass_if_to_switch (gcc::context *ctxt);
389extern gimple_opt_pass *make_pass_loop_distribution (gcc::context *ctxt);
390extern gimple_opt_pass *make_pass_vectorize (gcc::context *ctxt);
391extern gimple_opt_pass *make_pass_simduid_cleanup (gcc::context *ctxt);
392extern gimple_opt_pass *make_pass_slp_vectorize (gcc::context *ctxt);
393extern gimple_opt_pass *make_pass_complete_unroll (gcc::context *ctxt);
394extern gimple_opt_pass *make_pass_complete_unrolli (gcc::context *ctxt);
395extern gimple_opt_pass *make_pass_pre_slp_scalar_cleanup (gcc::context *ctxt);
396extern gimple_opt_pass *make_pass_parallelize_loops (gcc::context *ctxt);
397extern gimple_opt_pass *make_pass_loop_prefetch (gcc::context *ctxt);
398extern gimple_opt_pass *make_pass_iv_optimize (gcc::context *ctxt);
399extern gimple_opt_pass *make_pass_tree_loop_done (gcc::context *ctxt);
400extern gimple_opt_pass *make_pass_ch (gcc::context *ctxt);
401extern gimple_opt_pass *make_pass_ch_vect (gcc::context *ctxt);
402extern gimple_opt_pass *make_pass_ccp (gcc::context *ctxt);
403extern gimple_opt_pass *make_pass_split_paths (gcc::context *ctxt);
404extern gimple_opt_pass *make_pass_build_ssa (gcc::context *ctxt);
405extern gimple_opt_pass *make_pass_build_alias (gcc::context *ctxt);
406extern gimple_opt_pass *make_pass_build_ealias (gcc::context *ctxt);
407extern gimple_opt_pass *make_pass_dominator (gcc::context *ctxt);
408extern gimple_opt_pass *make_pass_dce (gcc::context *ctxt);
409extern gimple_opt_pass *make_pass_cd_dce (gcc::context *ctxt);
410extern gimple_opt_pass *make_pass_call_cdce (gcc::context *ctxt);
411extern gimple_opt_pass *make_pass_merge_phi (gcc::context *ctxt);
412extern gimple_opt_pass *make_pass_thread_jumps (gcc::context *ctxt);
413extern gimple_opt_pass *make_pass_thread_jumps_full (gcc::context *ctxt);
414extern gimple_opt_pass *make_pass_early_thread_jumps (gcc::context *ctxt);
415extern gimple_opt_pass *make_pass_split_crit_edges (gcc::context *ctxt);
416extern gimple_opt_pass *make_pass_laddress (gcc::context *ctxt);
417extern gimple_opt_pass *make_pass_pre (gcc::context *ctxt);
418extern unsigned int tail_merge_optimize (bool);
419extern gimple_opt_pass *make_pass_profile (gcc::context *ctxt);
420extern gimple_opt_pass *make_pass_strip_predict_hints (gcc::context *ctxt);
421extern gimple_opt_pass *make_pass_rebuild_frequencies (gcc::context *ctxt);
422extern gimple_opt_pass *make_pass_lower_complex_O0 (gcc::context *ctxt);
423extern gimple_opt_pass *make_pass_lower_complex (gcc::context *ctxt);
424extern gimple_opt_pass *make_pass_lower_bitint_O0 (gcc::context *ctxt);
425extern gimple_opt_pass *make_pass_lower_bitint (gcc::context *ctxt);
426extern gimple_opt_pass *make_pass_lower_switch (gcc::context *ctxt);
427extern gimple_opt_pass *make_pass_lower_switch_O0 (gcc::context *ctxt);
428extern gimple_opt_pass *make_pass_lower_vector (gcc::context *ctxt);
429extern gimple_opt_pass *make_pass_lower_vector_ssa (gcc::context *ctxt);
430extern gimple_opt_pass *make_pass_omp_oacc_kernels_decompose (gcc::context *ctxt);
431extern gimple_opt_pass *make_pass_lower_omp (gcc::context *ctxt);
432extern gimple_opt_pass *make_pass_diagnose_omp_blocks (gcc::context *ctxt);
433extern gimple_opt_pass *make_pass_expand_omp (gcc::context *ctxt);
434extern gimple_opt_pass *make_pass_expand_omp_ssa (gcc::context *ctxt);
435extern gimple_opt_pass *make_pass_omp_target_link (gcc::context *ctxt);
436extern gimple_opt_pass *make_pass_oacc_loop_designation (gcc::context *ctxt);
437extern gimple_opt_pass *make_pass_omp_oacc_neuter_broadcast (gcc::context *ctxt);
438extern gimple_opt_pass *make_pass_oacc_device_lower (gcc::context *ctxt);
439extern gimple_opt_pass *make_pass_omp_device_lower (gcc::context *ctxt);
440extern gimple_opt_pass *make_pass_object_sizes (gcc::context *ctxt);
441extern gimple_opt_pass *make_pass_early_object_sizes (gcc::context *ctxt);
442extern gimple_opt_pass *make_pass_warn_access (gcc::context *ctxt);
443extern gimple_opt_pass *make_pass_warn_printf (gcc::context *ctxt);
444extern gimple_opt_pass *make_pass_warn_recursion (gcc::context *ctxt);
445extern gimple_opt_pass *make_pass_strlen (gcc::context *ctxt);
446extern gimple_opt_pass *make_pass_fold_builtins (gcc::context *ctxt);
447extern gimple_opt_pass *make_pass_post_ipa_warn (gcc::context *ctxt);
448extern gimple_opt_pass *make_pass_stdarg (gcc::context *ctxt);
449extern gimple_opt_pass *make_pass_early_warn_uninitialized (gcc::context *ctxt);
450extern gimple_opt_pass *make_pass_late_warn_uninitialized (gcc::context *ctxt);
451extern gimple_opt_pass *make_pass_cse_reciprocals (gcc::context *ctxt);
452extern gimple_opt_pass *make_pass_cse_sincos (gcc::context *ctxt);
453extern gimple_opt_pass *make_pass_expand_powcabs (gcc::context *ctxt);
454extern gimple_opt_pass *make_pass_optimize_bswap (gcc::context *ctxt);
455extern gimple_opt_pass *make_pass_store_merging (gcc::context *ctxt);
456extern gimple_opt_pass *make_pass_optimize_widening_mul (gcc::context *ctxt);
457extern gimple_opt_pass *make_pass_warn_function_return (gcc::context *ctxt);
458extern gimple_opt_pass *make_pass_warn_function_noreturn (gcc::context *ctxt);
459extern gimple_opt_pass *make_pass_cselim (gcc::context *ctxt);
460extern gimple_opt_pass *make_pass_phiopt (gcc::context *ctxt);
461extern gimple_opt_pass *make_pass_forwprop (gcc::context *ctxt);
462extern gimple_opt_pass *make_pass_phiprop (gcc::context *ctxt);
463extern gimple_opt_pass *make_pass_tree_ifcombine (gcc::context *ctxt);
464extern gimple_opt_pass *make_pass_dse (gcc::context *ctxt);
465extern gimple_opt_pass *make_pass_nrv (gcc::context *ctxt);
466extern gimple_opt_pass *make_pass_rename_ssa_copies (gcc::context *ctxt);
467extern gimple_opt_pass *make_pass_sink_code (gcc::context *ctxt);
468extern gimple_opt_pass *make_pass_fre (gcc::context *ctxt);
469extern gimple_opt_pass *make_pass_check_data_deps (gcc::context *ctxt);
470extern gimple_opt_pass *make_pass_copy_prop (gcc::context *ctxt);
471extern gimple_opt_pass *make_pass_isolate_erroneous_paths (gcc::context *ctxt);
472extern gimple_opt_pass *make_pass_early_vrp (gcc::context *ctxt);
473extern gimple_opt_pass *make_pass_fast_vrp (gcc::context *ctxt);
474extern gimple_opt_pass *make_pass_vrp (gcc::context *ctxt);
475extern gimple_opt_pass *make_pass_assumptions (gcc::context *ctxt);
476extern gimple_opt_pass *make_pass_uncprop (gcc::context *ctxt);
477extern gimple_opt_pass *make_pass_return_slot (gcc::context *ctxt);
478extern gimple_opt_pass *make_pass_reassoc (gcc::context *ctxt);
479extern gimple_opt_pass *make_pass_rebuild_cgraph_edges (gcc::context *ctxt);
480extern gimple_opt_pass *make_pass_remove_cgraph_callee_edges (gcc::context
481 *ctxt);
482extern gimple_opt_pass *make_pass_build_cgraph_edges (gcc::context *ctxt);
483extern gimple_opt_pass *make_pass_local_pure_const (gcc::context *ctxt);
484extern gimple_opt_pass *make_pass_nothrow (gcc::context *ctxt);
485extern gimple_opt_pass *make_pass_tracer (gcc::context *ctxt);
486extern gimple_opt_pass *make_pass_warn_restrict (gcc::context *ctxt);
487extern gimple_opt_pass *make_pass_warn_unused_result (gcc::context *ctxt);
488extern gimple_opt_pass *make_pass_diagnose_tm_blocks (gcc::context *ctxt);
489extern gimple_opt_pass *make_pass_lower_tm (gcc::context *ctxt);
490extern gimple_opt_pass *make_pass_tm_init (gcc::context *ctxt);
491extern gimple_opt_pass *make_pass_tm_mark (gcc::context *ctxt);
492extern gimple_opt_pass *make_pass_tm_memopt (gcc::context *ctxt);
493extern gimple_opt_pass *make_pass_tm_edges (gcc::context *ctxt);
494extern gimple_opt_pass *make_pass_split_functions (gcc::context *ctxt);
495extern gimple_opt_pass *make_pass_feedback_split_functions (gcc::context *ctxt);
496extern gimple_opt_pass *make_pass_strength_reduction (gcc::context *ctxt);
497extern gimple_opt_pass *make_pass_vtable_verify (gcc::context *ctxt);
498extern gimple_opt_pass *make_pass_ubsan (gcc::context *ctxt);
499extern gimple_opt_pass *make_pass_sanopt (gcc::context *ctxt);
500extern gimple_opt_pass *make_pass_oacc_kernels (gcc::context *ctxt);
501extern simple_ipa_opt_pass *make_pass_ipa_oacc (gcc::context *ctxt);
502extern simple_ipa_opt_pass *make_pass_ipa_oacc_kernels (gcc::context *ctxt);
503extern gimple_opt_pass *make_pass_warn_nonnull_compare (gcc::context *ctxt);
504extern gimple_opt_pass *make_pass_sprintf_length (gcc::context *ctxt);
505extern gimple_opt_pass *make_pass_walloca (gcc::context *ctxt);
506extern gimple_opt_pass *make_pass_modref (gcc::context *ctxt);
507extern gimple_opt_pass *make_pass_coroutine_lower_builtins (gcc::context *ctxt);
508extern gimple_opt_pass *make_pass_coroutine_early_expand_ifns (gcc::context *ctxt);
509extern gimple_opt_pass *make_pass_adjust_alignment (gcc::context *ctxt);
510
511/* IPA Passes */
512extern simple_ipa_opt_pass *make_pass_ipa_lower_emutls (gcc::context *ctxt);
513extern simple_ipa_opt_pass
514 *make_pass_ipa_function_and_variable_visibility (gcc::context *ctxt);
515extern simple_ipa_opt_pass *make_pass_ipa_tree_profile (gcc::context *ctxt);
516extern simple_ipa_opt_pass *make_pass_ipa_auto_profile (gcc::context *ctxt);
517
518extern simple_ipa_opt_pass *make_pass_build_ssa_passes (gcc::context *ctxt);
519extern simple_ipa_opt_pass *make_pass_local_optimization_passes (gcc::context *ctxt);
520extern simple_ipa_opt_pass *make_pass_ipa_remove_symbols (gcc::context *ctxt);
521
522extern ipa_opt_pass_d *make_pass_analyzer (gcc::context *ctxt);
523extern ipa_opt_pass_d *make_pass_ipa_whole_program_visibility (gcc::context
524 *ctxt);
525extern simple_ipa_opt_pass *make_pass_ipa_increase_alignment (gcc::context
526 *ctxt);
527extern ipa_opt_pass_d *make_pass_ipa_fn_summary (gcc::context *ctxt);
528extern ipa_opt_pass_d *make_pass_ipa_inline (gcc::context *ctxt);
529extern simple_ipa_opt_pass *make_pass_ipa_free_lang_data (gcc::context *ctxt);
530extern simple_ipa_opt_pass *make_pass_ipa_free_fn_summary (gcc::context *ctxt);
531extern ipa_opt_pass_d *make_pass_ipa_cp (gcc::context *ctxt);
532extern ipa_opt_pass_d *make_pass_ipa_sra (gcc::context *ctxt);
533extern ipa_opt_pass_d *make_pass_ipa_icf (gcc::context *ctxt);
534extern ipa_opt_pass_d *make_pass_ipa_devirt (gcc::context *ctxt);
535extern ipa_opt_pass_d *make_pass_ipa_odr (gcc::context *ctxt);
536extern ipa_opt_pass_d *make_pass_ipa_reference (gcc::context *ctxt);
537extern ipa_opt_pass_d *make_pass_ipa_pure_const (gcc::context *ctxt);
538extern simple_ipa_opt_pass *make_pass_ipa_pta (gcc::context *ctxt);
539extern simple_ipa_opt_pass *make_pass_ipa_tm (gcc::context *ctxt);
540extern simple_ipa_opt_pass *make_pass_target_clone (gcc::context *ctxt);
541extern simple_ipa_opt_pass *make_pass_dispatcher_calls (gcc::context *ctxt);
542extern simple_ipa_opt_pass *make_pass_omp_simd_clone (gcc::context *ctxt);
543extern ipa_opt_pass_d *make_pass_ipa_profile (gcc::context *ctxt);
544extern ipa_opt_pass_d *make_pass_ipa_cdtor_merge (gcc::context *ctxt);
545extern ipa_opt_pass_d *make_pass_ipa_single_use (gcc::context *ctxt);
546extern ipa_opt_pass_d *make_pass_ipa_comdats (gcc::context *ctxt);
547extern ipa_opt_pass_d *make_pass_ipa_modref (gcc::context *ctxt);
548
549extern gimple_opt_pass *make_pass_cleanup_cfg_post_optimizing (gcc::context
550 *ctxt);
551extern gimple_opt_pass *make_pass_fixup_cfg (gcc::context *ctxt);
552extern gimple_opt_pass *make_pass_backprop (gcc::context *ctxt);
553
554extern rtl_opt_pass *make_pass_expand (gcc::context *ctxt);
555extern rtl_opt_pass *make_pass_instantiate_virtual_regs (gcc::context *ctxt);
556extern rtl_opt_pass *make_pass_rtl_fwprop (gcc::context *ctxt);
557extern rtl_opt_pass *make_pass_rtl_fwprop_addr (gcc::context *ctxt);
558extern rtl_opt_pass *make_pass_jump (gcc::context *ctxt);
559extern rtl_opt_pass *make_pass_jump2 (gcc::context *ctxt);
560extern rtl_opt_pass *make_pass_lower_subreg (gcc::context *ctxt);
561extern rtl_opt_pass *make_pass_cse (gcc::context *ctxt);
562extern rtl_opt_pass *make_pass_fast_rtl_dce (gcc::context *ctxt);
563extern rtl_opt_pass *make_pass_ud_rtl_dce (gcc::context *ctxt);
564extern rtl_opt_pass *make_pass_rtl_dce (gcc::context *ctxt);
565extern rtl_opt_pass *make_pass_rtl_dse1 (gcc::context *ctxt);
566extern rtl_opt_pass *make_pass_rtl_dse2 (gcc::context *ctxt);
567extern rtl_opt_pass *make_pass_rtl_dse3 (gcc::context *ctxt);
568extern rtl_opt_pass *make_pass_rtl_cprop (gcc::context *ctxt);
569extern rtl_opt_pass *make_pass_rtl_pre (gcc::context *ctxt);
570extern rtl_opt_pass *make_pass_rtl_hoist (gcc::context *ctxt);
571extern rtl_opt_pass *make_pass_rtl_store_motion (gcc::context *ctxt);
572extern rtl_opt_pass *make_pass_cse_after_global_opts (gcc::context *ctxt);
573extern rtl_opt_pass *make_pass_rtl_ifcvt (gcc::context *ctxt);
574
575extern rtl_opt_pass *make_pass_into_cfg_layout_mode (gcc::context *ctxt);
576extern rtl_opt_pass *make_pass_outof_cfg_layout_mode (gcc::context *ctxt);
577
578extern rtl_opt_pass *make_pass_loop2 (gcc::context *ctxt);
579extern rtl_opt_pass *make_pass_rtl_loop_init (gcc::context *ctxt);
580extern rtl_opt_pass *make_pass_rtl_move_loop_invariants (gcc::context *ctxt);
581extern rtl_opt_pass *make_pass_rtl_unroll_loops (gcc::context *ctxt);
582extern rtl_opt_pass *make_pass_rtl_doloop (gcc::context *ctxt);
583extern rtl_opt_pass *make_pass_rtl_loop_done (gcc::context *ctxt);
584
585extern rtl_opt_pass *make_pass_lower_subreg2 (gcc::context *ctxt);
586extern rtl_opt_pass *make_pass_web (gcc::context *ctxt);
587extern rtl_opt_pass *make_pass_cse2 (gcc::context *ctxt);
588extern rtl_opt_pass *make_pass_df_initialize_opt (gcc::context *ctxt);
589extern rtl_opt_pass *make_pass_df_initialize_no_opt (gcc::context *ctxt);
590extern rtl_opt_pass *make_pass_reginfo_init (gcc::context *ctxt);
591extern rtl_opt_pass *make_pass_inc_dec (gcc::context *ctxt);
592extern rtl_opt_pass *make_pass_stack_ptr_mod (gcc::context *ctxt);
593extern rtl_opt_pass *make_pass_initialize_regs (gcc::context *ctxt);
594extern rtl_opt_pass *make_pass_combine (gcc::context *ctxt);
595extern rtl_opt_pass *make_pass_if_after_combine (gcc::context *ctxt);
596extern rtl_opt_pass *make_pass_jump_after_combine (gcc::context *ctxt);
597extern rtl_opt_pass *make_pass_ree (gcc::context *ctxt);
598extern rtl_opt_pass *make_pass_partition_blocks (gcc::context *ctxt);
599extern rtl_opt_pass *make_pass_match_asm_constraints (gcc::context *ctxt);
600extern rtl_opt_pass *make_pass_split_all_insns (gcc::context *ctxt);
601extern rtl_opt_pass *make_pass_fast_rtl_byte_dce (gcc::context *ctxt);
602extern rtl_opt_pass *make_pass_lower_subreg3 (gcc::context *ctxt);
603extern rtl_opt_pass *make_pass_mode_switching (gcc::context *ctxt);
604extern rtl_opt_pass *make_pass_sms (gcc::context *ctxt);
605extern rtl_opt_pass *make_pass_sched (gcc::context *ctxt);
606extern rtl_opt_pass *make_pass_live_range_shrinkage (gcc::context *ctxt);
607extern rtl_opt_pass *make_pass_early_remat (gcc::context *ctxt);
608extern rtl_opt_pass *make_pass_ira (gcc::context *ctxt);
609extern rtl_opt_pass *make_pass_reload (gcc::context *ctxt);
610extern rtl_opt_pass *make_pass_clean_state (gcc::context *ctxt);
611extern rtl_opt_pass *make_pass_branch_prob (gcc::context *ctxt);
612extern rtl_opt_pass *make_pass_value_profile_transformations (gcc::context
613 *ctxt);
614extern rtl_opt_pass *make_pass_postreload_cse (gcc::context *ctxt);
615extern rtl_opt_pass *make_pass_gcse2 (gcc::context *ctxt);
616extern rtl_opt_pass *make_pass_split_after_reload (gcc::context *ctxt);
617extern rtl_opt_pass *make_pass_thread_prologue_and_epilogue (gcc::context
618 *ctxt);
619extern rtl_opt_pass *make_pass_zero_call_used_regs (gcc::context *ctxt);
620extern rtl_opt_pass *make_pass_stack_adjustments (gcc::context *ctxt);
621extern rtl_opt_pass *make_pass_sched_fusion (gcc::context *ctxt);
622extern rtl_opt_pass *make_pass_peephole2 (gcc::context *ctxt);
623extern rtl_opt_pass *make_pass_if_after_reload (gcc::context *ctxt);
624extern rtl_opt_pass *make_pass_regrename (gcc::context *ctxt);
625extern rtl_opt_pass *make_pass_fold_mem_offsets (gcc::context *ctxt);
626extern rtl_opt_pass *make_pass_cprop_hardreg (gcc::context *ctxt);
627extern rtl_opt_pass *make_pass_reorder_blocks (gcc::context *ctxt);
628extern rtl_opt_pass *make_pass_leaf_regs (gcc::context *ctxt);
629extern rtl_opt_pass *make_pass_split_before_sched2 (gcc::context *ctxt);
630extern rtl_opt_pass *make_pass_compare_elim_after_reload (gcc::context *ctxt);
631extern rtl_opt_pass *make_pass_sched2 (gcc::context *ctxt);
632extern rtl_opt_pass *make_pass_stack_regs (gcc::context *ctxt);
633extern rtl_opt_pass *make_pass_stack_regs_run (gcc::context *ctxt);
634extern rtl_opt_pass *make_pass_df_finish (gcc::context *ctxt);
635extern rtl_opt_pass *make_pass_compute_alignments (gcc::context *ctxt);
636extern rtl_opt_pass *make_pass_duplicate_computed_gotos (gcc::context *ctxt);
637extern rtl_opt_pass *make_pass_variable_tracking (gcc::context *ctxt);
638extern rtl_opt_pass *make_pass_free_cfg (gcc::context *ctxt);
639extern rtl_opt_pass *make_pass_machine_reorg (gcc::context *ctxt);
640extern rtl_opt_pass *make_pass_cleanup_barriers (gcc::context *ctxt);
641extern rtl_opt_pass *make_pass_delay_slots (gcc::context *ctxt);
642extern rtl_opt_pass *make_pass_split_for_shorten_branches (gcc::context *ctxt);
643extern rtl_opt_pass *make_pass_split_before_regstack (gcc::context *ctxt);
644extern rtl_opt_pass *make_pass_convert_to_eh_region_ranges (gcc::context *ctxt);
645extern rtl_opt_pass *make_pass_shorten_branches (gcc::context *ctxt);
646extern rtl_opt_pass *make_pass_set_nothrow_function_flags (gcc::context *ctxt);
647extern rtl_opt_pass *make_pass_dwarf2_frame (gcc::context *ctxt);
648extern rtl_opt_pass *make_pass_final (gcc::context *ctxt);
649extern rtl_opt_pass *make_pass_rtl_seqabstr (gcc::context *ctxt);
650extern gimple_opt_pass *make_pass_release_ssa_names (gcc::context *ctxt);
651extern gimple_opt_pass *make_pass_early_inline (gcc::context *ctxt);
652extern gimple_opt_pass *make_pass_local_fn_summary (gcc::context *ctxt);
653extern gimple_opt_pass *make_pass_update_address_taken (gcc::context *ctxt);
654extern gimple_opt_pass *make_pass_convert_switch (gcc::context *ctxt);
655extern gimple_opt_pass *make_pass_lower_vaarg (gcc::context *ctxt);
656extern gimple_opt_pass *make_pass_gimple_isel (gcc::context *ctxt);
657extern gimple_opt_pass *make_pass_harden_compares (gcc::context *ctxt);
658extern gimple_opt_pass *make_pass_harden_conditional_branches (gcc::context
659 *ctxt);
660extern gimple_opt_pass *make_pass_harden_control_flow_redundancy (gcc::context
661 *ctxt);
662
663/* Current optimization pass. */
664extern opt_pass *current_pass;
665
666extern bool execute_one_pass (opt_pass *);
667extern void execute_pass_list (function *, opt_pass *);
668extern void execute_ipa_pass_list (opt_pass *);
669extern void execute_ipa_summary_passes (ipa_opt_pass_d *);
670extern void execute_all_ipa_transforms (bool);
671extern void execute_all_ipa_stmt_fixups (struct cgraph_node *, gimple **);
672extern bool pass_init_dump_file (opt_pass *);
673extern void pass_fini_dump_file (opt_pass *);
674extern void emergency_dump_function (void);
675
676extern void print_current_pass (FILE *);
677extern void debug_pass (void);
678extern void ipa_write_summaries (void);
679extern void ipa_write_optimization_summaries (struct lto_symtab_encoder_d *);
680extern void ipa_read_summaries (void);
681extern void ipa_read_optimization_summaries (void);
682extern void register_one_dump_file (opt_pass *);
683extern bool function_called_by_processed_nodes_p (void);
684
685/* Declare for plugins. */
686extern void do_per_function_toporder (void (*) (function *, void *), void *);
687
688extern void disable_pass (const char *);
689extern void enable_pass (const char *);
690extern void dump_passes (void);
691
692#endif /* GCC_TREE_PASS_H */
693

source code of gcc/tree-pass.h