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 | |
5 | This file is part of GCC. |
6 | |
7 | GCC is free software; you can redistribute it and/or modify |
8 | it under the terms of the GNU General Public License as published by |
9 | the Free Software Foundation; either version 3, or (at your option) |
10 | any later version. |
11 | |
12 | GCC is distributed in the hope that it will be useful, |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
15 | GNU General Public License for more details. |
16 | |
17 | You should have received a copy of the GNU General Public License |
18 | along 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 | |
28 | struct function; |
29 | |
30 | /* Optimization pass type. */ |
31 | enum 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. */ |
40 | struct 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 | |
66 | namespace 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. */ |
73 | class opt_pass : public pass_data |
74 | { |
75 | public: |
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 | |
98 | protected: |
99 | opt_pass (const pass_data&, gcc::context *); |
100 | |
101 | public: |
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 | |
111 | protected: |
112 | gcc::context *m_ctxt; |
113 | }; |
114 | |
115 | /* Description of GIMPLE pass. */ |
116 | class gimple_opt_pass : public opt_pass |
117 | { |
118 | protected: |
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. */ |
126 | class rtl_opt_pass : public opt_pass |
127 | { |
128 | protected: |
129 | rtl_opt_pass (const pass_data& data, gcc::context *ctxt) |
130 | : opt_pass (data, ctxt) |
131 | { |
132 | } |
133 | }; |
134 | |
135 | struct varpool_node; |
136 | struct cgraph_node; |
137 | struct lto_symtab_encoder_d; |
138 | |
139 | /* Description of IPA pass with generate summary, write, execute, read and |
140 | transform stages. */ |
141 | class ipa_opt_pass_d : public opt_pass |
142 | { |
143 | public: |
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 | |
170 | protected: |
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. */ |
197 | class simple_ipa_opt_pass : public opt_pass |
198 | { |
199 | protected: |
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 | |
327 | enum 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 | |
334 | struct 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. */ |
349 | extern void register_pass (register_pass_info *); |
350 | extern void register_pass (opt_pass* pass, pass_positioning_ops pos, |
351 | const char* ref_pass_name, int ref_pass_inst_number); |
352 | |
353 | extern gimple_opt_pass *make_pass_asan (gcc::context *ctxt); |
354 | extern gimple_opt_pass *make_pass_asan_O0 (gcc::context *ctxt); |
355 | extern gimple_opt_pass *make_pass_tsan (gcc::context *ctxt); |
356 | extern gimple_opt_pass *make_pass_tsan_O0 (gcc::context *ctxt); |
357 | extern gimple_opt_pass *make_pass_sancov (gcc::context *ctxt); |
358 | extern gimple_opt_pass *make_pass_sancov_O0 (gcc::context *ctxt); |
359 | extern gimple_opt_pass *make_pass_lower_cf (gcc::context *ctxt); |
360 | extern gimple_opt_pass *make_pass_refactor_eh (gcc::context *ctxt); |
361 | extern gimple_opt_pass *make_pass_lower_eh (gcc::context *ctxt); |
362 | extern gimple_opt_pass *make_pass_lower_eh_dispatch (gcc::context *ctxt); |
363 | extern gimple_opt_pass *make_pass_lower_resx (gcc::context *ctxt); |
364 | extern gimple_opt_pass *make_pass_build_cfg (gcc::context *ctxt); |
365 | extern gimple_opt_pass *make_pass_early_tree_profile (gcc::context *ctxt); |
366 | extern gimple_opt_pass *make_pass_cleanup_eh (gcc::context *ctxt); |
367 | extern gimple_opt_pass *make_pass_sra (gcc::context *ctxt); |
368 | extern gimple_opt_pass *make_pass_sra_early (gcc::context *ctxt); |
369 | extern gimple_opt_pass *make_pass_tail_recursion (gcc::context *ctxt); |
370 | extern gimple_opt_pass *make_pass_tail_calls (gcc::context *ctxt); |
371 | extern gimple_opt_pass *make_pass_fix_loops (gcc::context *ctxt); |
372 | extern gimple_opt_pass *make_pass_tree_loop (gcc::context *ctxt); |
373 | extern gimple_opt_pass *make_pass_tree_no_loop (gcc::context *ctxt); |
374 | extern gimple_opt_pass *make_pass_tree_loop_init (gcc::context *ctxt); |
375 | extern gimple_opt_pass *make_pass_loop_versioning (gcc::context *ctxt); |
376 | extern gimple_opt_pass *make_pass_lim (gcc::context *ctxt); |
377 | extern gimple_opt_pass *make_pass_linterchange (gcc::context *ctxt); |
378 | extern gimple_opt_pass *make_pass_tree_unswitch (gcc::context *ctxt); |
379 | extern gimple_opt_pass *make_pass_loop_split (gcc::context *ctxt); |
380 | extern gimple_opt_pass *make_pass_loop_jam (gcc::context *ctxt); |
381 | extern gimple_opt_pass *make_pass_predcom (gcc::context *ctxt); |
382 | extern gimple_opt_pass *make_pass_iv_canon (gcc::context *ctxt); |
383 | extern gimple_opt_pass *make_pass_scev_cprop (gcc::context *ctxt); |
384 | extern gimple_opt_pass *make_pass_empty_loop (gcc::context *ctxt); |
385 | extern gimple_opt_pass *make_pass_graphite (gcc::context *ctxt); |
386 | extern gimple_opt_pass *make_pass_graphite_transforms (gcc::context *ctxt); |
387 | extern gimple_opt_pass *make_pass_if_conversion (gcc::context *ctxt); |
388 | extern gimple_opt_pass *make_pass_if_to_switch (gcc::context *ctxt); |
389 | extern gimple_opt_pass *make_pass_loop_distribution (gcc::context *ctxt); |
390 | extern gimple_opt_pass *make_pass_vectorize (gcc::context *ctxt); |
391 | extern gimple_opt_pass *make_pass_simduid_cleanup (gcc::context *ctxt); |
392 | extern gimple_opt_pass *make_pass_slp_vectorize (gcc::context *ctxt); |
393 | extern gimple_opt_pass *make_pass_complete_unroll (gcc::context *ctxt); |
394 | extern gimple_opt_pass *make_pass_complete_unrolli (gcc::context *ctxt); |
395 | extern gimple_opt_pass *make_pass_pre_slp_scalar_cleanup (gcc::context *ctxt); |
396 | extern gimple_opt_pass *make_pass_parallelize_loops (gcc::context *ctxt); |
397 | extern gimple_opt_pass *make_pass_loop_prefetch (gcc::context *ctxt); |
398 | extern gimple_opt_pass *make_pass_iv_optimize (gcc::context *ctxt); |
399 | extern gimple_opt_pass *make_pass_tree_loop_done (gcc::context *ctxt); |
400 | extern gimple_opt_pass *make_pass_ch (gcc::context *ctxt); |
401 | extern gimple_opt_pass *make_pass_ch_vect (gcc::context *ctxt); |
402 | extern gimple_opt_pass *make_pass_ccp (gcc::context *ctxt); |
403 | extern gimple_opt_pass *make_pass_split_paths (gcc::context *ctxt); |
404 | extern gimple_opt_pass *make_pass_build_ssa (gcc::context *ctxt); |
405 | extern gimple_opt_pass *make_pass_build_alias (gcc::context *ctxt); |
406 | extern gimple_opt_pass *make_pass_build_ealias (gcc::context *ctxt); |
407 | extern gimple_opt_pass *make_pass_dominator (gcc::context *ctxt); |
408 | extern gimple_opt_pass *make_pass_dce (gcc::context *ctxt); |
409 | extern gimple_opt_pass *make_pass_cd_dce (gcc::context *ctxt); |
410 | extern gimple_opt_pass *make_pass_call_cdce (gcc::context *ctxt); |
411 | extern gimple_opt_pass *make_pass_merge_phi (gcc::context *ctxt); |
412 | extern gimple_opt_pass *make_pass_thread_jumps (gcc::context *ctxt); |
413 | extern gimple_opt_pass *make_pass_thread_jumps_full (gcc::context *ctxt); |
414 | extern gimple_opt_pass *make_pass_early_thread_jumps (gcc::context *ctxt); |
415 | extern gimple_opt_pass *make_pass_split_crit_edges (gcc::context *ctxt); |
416 | extern gimple_opt_pass *make_pass_laddress (gcc::context *ctxt); |
417 | extern gimple_opt_pass *make_pass_pre (gcc::context *ctxt); |
418 | extern unsigned int tail_merge_optimize (bool); |
419 | extern gimple_opt_pass *make_pass_profile (gcc::context *ctxt); |
420 | extern gimple_opt_pass *make_pass_strip_predict_hints (gcc::context *ctxt); |
421 | extern gimple_opt_pass *make_pass_rebuild_frequencies (gcc::context *ctxt); |
422 | extern gimple_opt_pass *make_pass_lower_complex_O0 (gcc::context *ctxt); |
423 | extern gimple_opt_pass *make_pass_lower_complex (gcc::context *ctxt); |
424 | extern gimple_opt_pass *make_pass_lower_bitint_O0 (gcc::context *ctxt); |
425 | extern gimple_opt_pass *make_pass_lower_bitint (gcc::context *ctxt); |
426 | extern gimple_opt_pass *make_pass_lower_switch (gcc::context *ctxt); |
427 | extern gimple_opt_pass *make_pass_lower_switch_O0 (gcc::context *ctxt); |
428 | extern gimple_opt_pass *make_pass_lower_vector (gcc::context *ctxt); |
429 | extern gimple_opt_pass *make_pass_lower_vector_ssa (gcc::context *ctxt); |
430 | extern gimple_opt_pass *make_pass_omp_oacc_kernels_decompose (gcc::context *ctxt); |
431 | extern gimple_opt_pass *make_pass_lower_omp (gcc::context *ctxt); |
432 | extern gimple_opt_pass *make_pass_diagnose_omp_blocks (gcc::context *ctxt); |
433 | extern gimple_opt_pass *make_pass_expand_omp (gcc::context *ctxt); |
434 | extern gimple_opt_pass *make_pass_expand_omp_ssa (gcc::context *ctxt); |
435 | extern gimple_opt_pass *make_pass_omp_target_link (gcc::context *ctxt); |
436 | extern gimple_opt_pass *make_pass_oacc_loop_designation (gcc::context *ctxt); |
437 | extern gimple_opt_pass *make_pass_omp_oacc_neuter_broadcast (gcc::context *ctxt); |
438 | extern gimple_opt_pass *make_pass_oacc_device_lower (gcc::context *ctxt); |
439 | extern gimple_opt_pass *make_pass_omp_device_lower (gcc::context *ctxt); |
440 | extern gimple_opt_pass *make_pass_object_sizes (gcc::context *ctxt); |
441 | extern gimple_opt_pass *make_pass_early_object_sizes (gcc::context *ctxt); |
442 | extern gimple_opt_pass *make_pass_warn_access (gcc::context *ctxt); |
443 | extern gimple_opt_pass *make_pass_warn_printf (gcc::context *ctxt); |
444 | extern gimple_opt_pass *make_pass_warn_recursion (gcc::context *ctxt); |
445 | extern gimple_opt_pass *make_pass_strlen (gcc::context *ctxt); |
446 | extern gimple_opt_pass *make_pass_fold_builtins (gcc::context *ctxt); |
447 | extern gimple_opt_pass *make_pass_post_ipa_warn (gcc::context *ctxt); |
448 | extern gimple_opt_pass *make_pass_stdarg (gcc::context *ctxt); |
449 | extern gimple_opt_pass *make_pass_early_warn_uninitialized (gcc::context *ctxt); |
450 | extern gimple_opt_pass *make_pass_late_warn_uninitialized (gcc::context *ctxt); |
451 | extern gimple_opt_pass *make_pass_cse_reciprocals (gcc::context *ctxt); |
452 | extern gimple_opt_pass *make_pass_cse_sincos (gcc::context *ctxt); |
453 | extern gimple_opt_pass *make_pass_expand_powcabs (gcc::context *ctxt); |
454 | extern gimple_opt_pass *make_pass_optimize_bswap (gcc::context *ctxt); |
455 | extern gimple_opt_pass *make_pass_store_merging (gcc::context *ctxt); |
456 | extern gimple_opt_pass *make_pass_optimize_widening_mul (gcc::context *ctxt); |
457 | extern gimple_opt_pass *make_pass_warn_function_return (gcc::context *ctxt); |
458 | extern gimple_opt_pass *make_pass_warn_function_noreturn (gcc::context *ctxt); |
459 | extern gimple_opt_pass *make_pass_cselim (gcc::context *ctxt); |
460 | extern gimple_opt_pass *make_pass_phiopt (gcc::context *ctxt); |
461 | extern gimple_opt_pass *make_pass_forwprop (gcc::context *ctxt); |
462 | extern gimple_opt_pass *make_pass_phiprop (gcc::context *ctxt); |
463 | extern gimple_opt_pass *make_pass_tree_ifcombine (gcc::context *ctxt); |
464 | extern gimple_opt_pass *make_pass_dse (gcc::context *ctxt); |
465 | extern gimple_opt_pass *make_pass_nrv (gcc::context *ctxt); |
466 | extern gimple_opt_pass *make_pass_rename_ssa_copies (gcc::context *ctxt); |
467 | extern gimple_opt_pass *make_pass_sink_code (gcc::context *ctxt); |
468 | extern gimple_opt_pass *make_pass_fre (gcc::context *ctxt); |
469 | extern gimple_opt_pass *make_pass_check_data_deps (gcc::context *ctxt); |
470 | extern gimple_opt_pass *make_pass_copy_prop (gcc::context *ctxt); |
471 | extern gimple_opt_pass *make_pass_isolate_erroneous_paths (gcc::context *ctxt); |
472 | extern gimple_opt_pass *make_pass_early_vrp (gcc::context *ctxt); |
473 | extern gimple_opt_pass *make_pass_fast_vrp (gcc::context *ctxt); |
474 | extern gimple_opt_pass *make_pass_vrp (gcc::context *ctxt); |
475 | extern gimple_opt_pass *make_pass_assumptions (gcc::context *ctxt); |
476 | extern gimple_opt_pass *make_pass_uncprop (gcc::context *ctxt); |
477 | extern gimple_opt_pass *make_pass_return_slot (gcc::context *ctxt); |
478 | extern gimple_opt_pass *make_pass_reassoc (gcc::context *ctxt); |
479 | extern gimple_opt_pass *make_pass_rebuild_cgraph_edges (gcc::context *ctxt); |
480 | extern gimple_opt_pass *make_pass_remove_cgraph_callee_edges (gcc::context |
481 | *ctxt); |
482 | extern gimple_opt_pass *make_pass_build_cgraph_edges (gcc::context *ctxt); |
483 | extern gimple_opt_pass *make_pass_local_pure_const (gcc::context *ctxt); |
484 | extern gimple_opt_pass *make_pass_nothrow (gcc::context *ctxt); |
485 | extern gimple_opt_pass *make_pass_tracer (gcc::context *ctxt); |
486 | extern gimple_opt_pass *make_pass_warn_restrict (gcc::context *ctxt); |
487 | extern gimple_opt_pass *make_pass_warn_unused_result (gcc::context *ctxt); |
488 | extern gimple_opt_pass *make_pass_diagnose_tm_blocks (gcc::context *ctxt); |
489 | extern gimple_opt_pass *make_pass_lower_tm (gcc::context *ctxt); |
490 | extern gimple_opt_pass *make_pass_tm_init (gcc::context *ctxt); |
491 | extern gimple_opt_pass *make_pass_tm_mark (gcc::context *ctxt); |
492 | extern gimple_opt_pass *make_pass_tm_memopt (gcc::context *ctxt); |
493 | extern gimple_opt_pass *make_pass_tm_edges (gcc::context *ctxt); |
494 | extern gimple_opt_pass *make_pass_split_functions (gcc::context *ctxt); |
495 | extern gimple_opt_pass *make_pass_feedback_split_functions (gcc::context *ctxt); |
496 | extern gimple_opt_pass *make_pass_strength_reduction (gcc::context *ctxt); |
497 | extern gimple_opt_pass *make_pass_vtable_verify (gcc::context *ctxt); |
498 | extern gimple_opt_pass *make_pass_ubsan (gcc::context *ctxt); |
499 | extern gimple_opt_pass *make_pass_sanopt (gcc::context *ctxt); |
500 | extern gimple_opt_pass *make_pass_oacc_kernels (gcc::context *ctxt); |
501 | extern simple_ipa_opt_pass *make_pass_ipa_oacc (gcc::context *ctxt); |
502 | extern simple_ipa_opt_pass *make_pass_ipa_oacc_kernels (gcc::context *ctxt); |
503 | extern gimple_opt_pass *make_pass_warn_nonnull_compare (gcc::context *ctxt); |
504 | extern gimple_opt_pass *make_pass_sprintf_length (gcc::context *ctxt); |
505 | extern gimple_opt_pass *make_pass_walloca (gcc::context *ctxt); |
506 | extern gimple_opt_pass *make_pass_modref (gcc::context *ctxt); |
507 | extern gimple_opt_pass *make_pass_coroutine_lower_builtins (gcc::context *ctxt); |
508 | extern gimple_opt_pass *make_pass_coroutine_early_expand_ifns (gcc::context *ctxt); |
509 | extern gimple_opt_pass *make_pass_adjust_alignment (gcc::context *ctxt); |
510 | |
511 | /* IPA Passes */ |
512 | extern simple_ipa_opt_pass *make_pass_ipa_lower_emutls (gcc::context *ctxt); |
513 | extern simple_ipa_opt_pass |
514 | *make_pass_ipa_function_and_variable_visibility (gcc::context *ctxt); |
515 | extern simple_ipa_opt_pass *make_pass_ipa_tree_profile (gcc::context *ctxt); |
516 | extern simple_ipa_opt_pass *make_pass_ipa_auto_profile (gcc::context *ctxt); |
517 | |
518 | extern simple_ipa_opt_pass *make_pass_build_ssa_passes (gcc::context *ctxt); |
519 | extern simple_ipa_opt_pass *make_pass_local_optimization_passes (gcc::context *ctxt); |
520 | extern simple_ipa_opt_pass *make_pass_ipa_remove_symbols (gcc::context *ctxt); |
521 | |
522 | extern ipa_opt_pass_d *make_pass_analyzer (gcc::context *ctxt); |
523 | extern ipa_opt_pass_d *make_pass_ipa_whole_program_visibility (gcc::context |
524 | *ctxt); |
525 | extern simple_ipa_opt_pass *make_pass_ipa_increase_alignment (gcc::context |
526 | *ctxt); |
527 | extern ipa_opt_pass_d *make_pass_ipa_fn_summary (gcc::context *ctxt); |
528 | extern ipa_opt_pass_d *make_pass_ipa_inline (gcc::context *ctxt); |
529 | extern simple_ipa_opt_pass *make_pass_ipa_free_lang_data (gcc::context *ctxt); |
530 | extern simple_ipa_opt_pass *make_pass_ipa_free_fn_summary (gcc::context *ctxt); |
531 | extern ipa_opt_pass_d *make_pass_ipa_cp (gcc::context *ctxt); |
532 | extern ipa_opt_pass_d *make_pass_ipa_sra (gcc::context *ctxt); |
533 | extern ipa_opt_pass_d *make_pass_ipa_icf (gcc::context *ctxt); |
534 | extern ipa_opt_pass_d *make_pass_ipa_devirt (gcc::context *ctxt); |
535 | extern ipa_opt_pass_d *make_pass_ipa_odr (gcc::context *ctxt); |
536 | extern ipa_opt_pass_d *make_pass_ipa_reference (gcc::context *ctxt); |
537 | extern ipa_opt_pass_d *make_pass_ipa_pure_const (gcc::context *ctxt); |
538 | extern simple_ipa_opt_pass *make_pass_ipa_pta (gcc::context *ctxt); |
539 | extern simple_ipa_opt_pass *make_pass_ipa_tm (gcc::context *ctxt); |
540 | extern simple_ipa_opt_pass *make_pass_target_clone (gcc::context *ctxt); |
541 | extern simple_ipa_opt_pass *make_pass_dispatcher_calls (gcc::context *ctxt); |
542 | extern simple_ipa_opt_pass *make_pass_omp_simd_clone (gcc::context *ctxt); |
543 | extern ipa_opt_pass_d *make_pass_ipa_profile (gcc::context *ctxt); |
544 | extern ipa_opt_pass_d *make_pass_ipa_cdtor_merge (gcc::context *ctxt); |
545 | extern ipa_opt_pass_d *make_pass_ipa_single_use (gcc::context *ctxt); |
546 | extern ipa_opt_pass_d *make_pass_ipa_comdats (gcc::context *ctxt); |
547 | extern ipa_opt_pass_d *make_pass_ipa_modref (gcc::context *ctxt); |
548 | |
549 | extern gimple_opt_pass *make_pass_cleanup_cfg_post_optimizing (gcc::context |
550 | *ctxt); |
551 | extern gimple_opt_pass *make_pass_fixup_cfg (gcc::context *ctxt); |
552 | extern gimple_opt_pass *make_pass_backprop (gcc::context *ctxt); |
553 | |
554 | extern rtl_opt_pass *make_pass_expand (gcc::context *ctxt); |
555 | extern rtl_opt_pass *make_pass_instantiate_virtual_regs (gcc::context *ctxt); |
556 | extern rtl_opt_pass *make_pass_rtl_fwprop (gcc::context *ctxt); |
557 | extern rtl_opt_pass *make_pass_rtl_fwprop_addr (gcc::context *ctxt); |
558 | extern rtl_opt_pass *make_pass_jump (gcc::context *ctxt); |
559 | extern rtl_opt_pass *make_pass_jump2 (gcc::context *ctxt); |
560 | extern rtl_opt_pass *make_pass_lower_subreg (gcc::context *ctxt); |
561 | extern rtl_opt_pass *make_pass_cse (gcc::context *ctxt); |
562 | extern rtl_opt_pass *make_pass_fast_rtl_dce (gcc::context *ctxt); |
563 | extern rtl_opt_pass *make_pass_ud_rtl_dce (gcc::context *ctxt); |
564 | extern rtl_opt_pass *make_pass_rtl_dce (gcc::context *ctxt); |
565 | extern rtl_opt_pass *make_pass_rtl_dse1 (gcc::context *ctxt); |
566 | extern rtl_opt_pass *make_pass_rtl_dse2 (gcc::context *ctxt); |
567 | extern rtl_opt_pass *make_pass_rtl_dse3 (gcc::context *ctxt); |
568 | extern rtl_opt_pass *make_pass_rtl_cprop (gcc::context *ctxt); |
569 | extern rtl_opt_pass *make_pass_rtl_pre (gcc::context *ctxt); |
570 | extern rtl_opt_pass *make_pass_rtl_hoist (gcc::context *ctxt); |
571 | extern rtl_opt_pass *make_pass_rtl_store_motion (gcc::context *ctxt); |
572 | extern rtl_opt_pass *make_pass_cse_after_global_opts (gcc::context *ctxt); |
573 | extern rtl_opt_pass *make_pass_rtl_ifcvt (gcc::context *ctxt); |
574 | |
575 | extern rtl_opt_pass *make_pass_into_cfg_layout_mode (gcc::context *ctxt); |
576 | extern rtl_opt_pass *make_pass_outof_cfg_layout_mode (gcc::context *ctxt); |
577 | |
578 | extern rtl_opt_pass *make_pass_loop2 (gcc::context *ctxt); |
579 | extern rtl_opt_pass *make_pass_rtl_loop_init (gcc::context *ctxt); |
580 | extern rtl_opt_pass *make_pass_rtl_move_loop_invariants (gcc::context *ctxt); |
581 | extern rtl_opt_pass *make_pass_rtl_unroll_loops (gcc::context *ctxt); |
582 | extern rtl_opt_pass *make_pass_rtl_doloop (gcc::context *ctxt); |
583 | extern rtl_opt_pass *make_pass_rtl_loop_done (gcc::context *ctxt); |
584 | |
585 | extern rtl_opt_pass *make_pass_lower_subreg2 (gcc::context *ctxt); |
586 | extern rtl_opt_pass *make_pass_web (gcc::context *ctxt); |
587 | extern rtl_opt_pass *make_pass_cse2 (gcc::context *ctxt); |
588 | extern rtl_opt_pass *make_pass_df_initialize_opt (gcc::context *ctxt); |
589 | extern rtl_opt_pass *make_pass_df_initialize_no_opt (gcc::context *ctxt); |
590 | extern rtl_opt_pass *make_pass_reginfo_init (gcc::context *ctxt); |
591 | extern rtl_opt_pass *make_pass_inc_dec (gcc::context *ctxt); |
592 | extern rtl_opt_pass *make_pass_stack_ptr_mod (gcc::context *ctxt); |
593 | extern rtl_opt_pass *make_pass_initialize_regs (gcc::context *ctxt); |
594 | extern rtl_opt_pass *make_pass_combine (gcc::context *ctxt); |
595 | extern rtl_opt_pass *make_pass_if_after_combine (gcc::context *ctxt); |
596 | extern rtl_opt_pass *make_pass_jump_after_combine (gcc::context *ctxt); |
597 | extern rtl_opt_pass *make_pass_ree (gcc::context *ctxt); |
598 | extern rtl_opt_pass *make_pass_partition_blocks (gcc::context *ctxt); |
599 | extern rtl_opt_pass *make_pass_match_asm_constraints (gcc::context *ctxt); |
600 | extern rtl_opt_pass *make_pass_split_all_insns (gcc::context *ctxt); |
601 | extern rtl_opt_pass *make_pass_fast_rtl_byte_dce (gcc::context *ctxt); |
602 | extern rtl_opt_pass *make_pass_lower_subreg3 (gcc::context *ctxt); |
603 | extern rtl_opt_pass *make_pass_mode_switching (gcc::context *ctxt); |
604 | extern rtl_opt_pass *make_pass_sms (gcc::context *ctxt); |
605 | extern rtl_opt_pass *make_pass_sched (gcc::context *ctxt); |
606 | extern rtl_opt_pass *make_pass_live_range_shrinkage (gcc::context *ctxt); |
607 | extern rtl_opt_pass *make_pass_early_remat (gcc::context *ctxt); |
608 | extern rtl_opt_pass *make_pass_ira (gcc::context *ctxt); |
609 | extern rtl_opt_pass *make_pass_reload (gcc::context *ctxt); |
610 | extern rtl_opt_pass *make_pass_clean_state (gcc::context *ctxt); |
611 | extern rtl_opt_pass *make_pass_branch_prob (gcc::context *ctxt); |
612 | extern rtl_opt_pass *make_pass_value_profile_transformations (gcc::context |
613 | *ctxt); |
614 | extern rtl_opt_pass *make_pass_postreload_cse (gcc::context *ctxt); |
615 | extern rtl_opt_pass *make_pass_gcse2 (gcc::context *ctxt); |
616 | extern rtl_opt_pass *make_pass_split_after_reload (gcc::context *ctxt); |
617 | extern rtl_opt_pass *make_pass_thread_prologue_and_epilogue (gcc::context |
618 | *ctxt); |
619 | extern rtl_opt_pass *make_pass_zero_call_used_regs (gcc::context *ctxt); |
620 | extern rtl_opt_pass *make_pass_stack_adjustments (gcc::context *ctxt); |
621 | extern rtl_opt_pass *make_pass_sched_fusion (gcc::context *ctxt); |
622 | extern rtl_opt_pass *make_pass_peephole2 (gcc::context *ctxt); |
623 | extern rtl_opt_pass *make_pass_if_after_reload (gcc::context *ctxt); |
624 | extern rtl_opt_pass *make_pass_regrename (gcc::context *ctxt); |
625 | extern rtl_opt_pass *make_pass_fold_mem_offsets (gcc::context *ctxt); |
626 | extern rtl_opt_pass *make_pass_cprop_hardreg (gcc::context *ctxt); |
627 | extern rtl_opt_pass *make_pass_reorder_blocks (gcc::context *ctxt); |
628 | extern rtl_opt_pass *make_pass_leaf_regs (gcc::context *ctxt); |
629 | extern rtl_opt_pass *make_pass_split_before_sched2 (gcc::context *ctxt); |
630 | extern rtl_opt_pass *make_pass_compare_elim_after_reload (gcc::context *ctxt); |
631 | extern rtl_opt_pass *make_pass_sched2 (gcc::context *ctxt); |
632 | extern rtl_opt_pass *make_pass_stack_regs (gcc::context *ctxt); |
633 | extern rtl_opt_pass *make_pass_stack_regs_run (gcc::context *ctxt); |
634 | extern rtl_opt_pass *make_pass_df_finish (gcc::context *ctxt); |
635 | extern rtl_opt_pass *make_pass_compute_alignments (gcc::context *ctxt); |
636 | extern rtl_opt_pass *make_pass_duplicate_computed_gotos (gcc::context *ctxt); |
637 | extern rtl_opt_pass *make_pass_variable_tracking (gcc::context *ctxt); |
638 | extern rtl_opt_pass *make_pass_free_cfg (gcc::context *ctxt); |
639 | extern rtl_opt_pass *make_pass_machine_reorg (gcc::context *ctxt); |
640 | extern rtl_opt_pass *make_pass_cleanup_barriers (gcc::context *ctxt); |
641 | extern rtl_opt_pass *make_pass_delay_slots (gcc::context *ctxt); |
642 | extern rtl_opt_pass *make_pass_split_for_shorten_branches (gcc::context *ctxt); |
643 | extern rtl_opt_pass *make_pass_split_before_regstack (gcc::context *ctxt); |
644 | extern rtl_opt_pass *make_pass_convert_to_eh_region_ranges (gcc::context *ctxt); |
645 | extern rtl_opt_pass *make_pass_shorten_branches (gcc::context *ctxt); |
646 | extern rtl_opt_pass *make_pass_set_nothrow_function_flags (gcc::context *ctxt); |
647 | extern rtl_opt_pass *make_pass_dwarf2_frame (gcc::context *ctxt); |
648 | extern rtl_opt_pass *make_pass_final (gcc::context *ctxt); |
649 | extern rtl_opt_pass *make_pass_rtl_seqabstr (gcc::context *ctxt); |
650 | extern gimple_opt_pass *make_pass_release_ssa_names (gcc::context *ctxt); |
651 | extern gimple_opt_pass *make_pass_early_inline (gcc::context *ctxt); |
652 | extern gimple_opt_pass *make_pass_local_fn_summary (gcc::context *ctxt); |
653 | extern gimple_opt_pass *make_pass_update_address_taken (gcc::context *ctxt); |
654 | extern gimple_opt_pass *make_pass_convert_switch (gcc::context *ctxt); |
655 | extern gimple_opt_pass *make_pass_lower_vaarg (gcc::context *ctxt); |
656 | extern gimple_opt_pass *make_pass_gimple_isel (gcc::context *ctxt); |
657 | extern gimple_opt_pass *make_pass_harden_compares (gcc::context *ctxt); |
658 | extern gimple_opt_pass *make_pass_harden_conditional_branches (gcc::context |
659 | *ctxt); |
660 | extern gimple_opt_pass *make_pass_harden_control_flow_redundancy (gcc::context |
661 | *ctxt); |
662 | |
663 | /* Current optimization pass. */ |
664 | extern opt_pass *current_pass; |
665 | |
666 | extern bool execute_one_pass (opt_pass *); |
667 | extern void execute_pass_list (function *, opt_pass *); |
668 | extern void execute_ipa_pass_list (opt_pass *); |
669 | extern void execute_ipa_summary_passes (ipa_opt_pass_d *); |
670 | extern void execute_all_ipa_transforms (bool); |
671 | extern void execute_all_ipa_stmt_fixups (struct cgraph_node *, gimple **); |
672 | extern bool pass_init_dump_file (opt_pass *); |
673 | extern void pass_fini_dump_file (opt_pass *); |
674 | extern void emergency_dump_function (void); |
675 | |
676 | extern void print_current_pass (FILE *); |
677 | extern void debug_pass (void); |
678 | extern void ipa_write_summaries (void); |
679 | extern void ipa_write_optimization_summaries (struct lto_symtab_encoder_d *); |
680 | extern void ipa_read_summaries (void); |
681 | extern void ipa_read_optimization_summaries (void); |
682 | extern void register_one_dump_file (opt_pass *); |
683 | extern bool function_called_by_processed_nodes_p (void); |
684 | |
685 | /* Declare for plugins. */ |
686 | extern void do_per_function_toporder (void (*) (function *, void *), void *); |
687 | |
688 | extern void disable_pass (const char *); |
689 | extern void enable_pass (const char *); |
690 | extern void dump_passes (void); |
691 | |
692 | #endif /* GCC_TREE_PASS_H */ |
693 | |