]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/tree-pass.h
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
2014-08-14 Richard Biener <rguenther@suse.de>
[thirdparty/gcc.git] / gcc / tree-pass.h
CommitLineData
4ee9c684 1/* Definitions for describing one tree-ssa optimization pass.
3aea1f79 2 Copyright (C) 2004-2014 Free Software Foundation, Inc.
4ee9c684 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
8c4c00c1 9the Free Software Foundation; either version 3, or (at your option)
4ee9c684 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
8c4c00c1 18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
4ee9c684 20
21
22#ifndef GCC_TREE_PASS_H
23#define GCC_TREE_PASS_H 1
24
0b1615c1 25#include "timevar.h"
b9ed1410 26#include "dumpfile.h"
0f9005dd 27
31315c24 28struct function;
29
0b09525f 30/* Optimization pass type. */
31enum opt_pass_type
32{
33 GIMPLE_PASS,
34 RTL_PASS,
35 SIMPLE_IPA_PASS,
36 IPA_PASS
37};
38
bcfddb5b 39/* Metadata for a pass, non-varying across all instances of a pass. */
40struct pass_data
4ee9c684 41{
20099e35 42 /* Optimization pass type. */
0b09525f 43 enum opt_pass_type type;
44
9478582c 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. */
4ee9c684 47 const char *name;
48
c7875731 49 /* The -fopt-info optimization group flags as defined in dumpfile.h. */
50 unsigned int optinfo_flags;
51
4ee9c684 52 /* The timevar id associated with this pass. */
53 /* ??? Ideally would be dynamically assigned. */
0b1615c1 54 timevar_id_t tv_id;
4ee9c684 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;
20099e35 64};
65
bcfddb5b 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. */
5d068519 73class opt_pass : public pass_data
bcfddb5b 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
92b56240 87 /* This pass and all sub-passes are executed only if the function returns
88 true. The default implementation returns true. */
31315c24 89 virtual bool gate (function *fun);
bcfddb5b 90
6698dfce 91 /* This is the code to run. If this is not overridden, then there should
bcfddb5b 92 be sub-passes otherwise this pass does nothing.
93 The return value contains TODOs to execute in addition to those in
94 TODO_flags_finish. */
65b0537f 95 virtual unsigned int execute (function *fun);
bcfddb5b 96
97protected:
9af5ce0c 98 opt_pass (const pass_data&, gcc::context *);
bcfddb5b 99
100public:
101 /* A list of sub-passes to run, dependent on gate predicate. */
b23e5d49 102 opt_pass *sub;
bcfddb5b 103
104 /* Next in the list of passes to run, independent of gate predicate. */
b23e5d49 105 opt_pass *next;
bcfddb5b 106
107 /* Static pass number, used as a fragment of the dump file name. */
108 int static_pass_number;
109
5d00fc60 110 /* When a given dump file is being initialized, this flag is set to
111 true if the corresponding TDF_graph dump file has also been
112 initialized. */
113 bool graph_dump_initialized;
114
bcfddb5b 115protected:
ae84f584 116 gcc::context *m_ctxt;
bcfddb5b 117};
118
68e3904e 119/* Description of GIMPLE pass. */
bcfddb5b 120class gimple_opt_pass : public opt_pass
20099e35 121{
bcfddb5b 122protected:
9af5ce0c 123 gimple_opt_pass (const pass_data& data, gcc::context *ctxt)
124 : opt_pass (data, ctxt)
bcfddb5b 125 {
126 }
20099e35 127};
0f9005dd 128
f0b5f617 129/* Description of RTL pass. */
bcfddb5b 130class rtl_opt_pass : public opt_pass
20099e35 131{
bcfddb5b 132protected:
9af5ce0c 133 rtl_opt_pass (const pass_data& data, gcc::context *ctxt)
134 : opt_pass (data, ctxt)
bcfddb5b 135 {
136 }
20099e35 137};
138
098f44bc 139class varpool_node;
68e3904e 140struct cgraph_node;
5cf7e051 141struct lto_symtab_encoder_d;
68e3904e 142
143/* Description of IPA pass with generate summary, write, execute, read and
144 transform stages. */
bcfddb5b 145class ipa_opt_pass_d : public opt_pass
68e3904e 146{
bcfddb5b 147public:
9c1bff7a 148 /* IPA passes can analyze function body and variable initializers
149 using this hook and produce summary. */
150 void (*generate_summary) (void);
151
152 /* This hook is used to serialize IPA summaries on disk. */
eab36a5a 153 void (*write_summary) (void);
68e3904e 154
ddc90d88 155 /* This hook is used to deserialize IPA summaries from disk. */
9c1bff7a 156 void (*read_summary) (void);
ddc90d88 157
158 /* This hook is used to serialize IPA optimization summaries on disk. */
eab36a5a 159 void (*write_optimization_summary) (void);
ddc90d88 160
161 /* This hook is used to deserialize IPA summaries from disk. */
162 void (*read_optimization_summary) (void);
163
90464c8b 164 /* Hook to convert gimple stmt uids into true gimple statements. The second
165 parameter is an array of statements indexed by their uid. */
166 void (*stmt_fixup) (struct cgraph_node *, gimple *);
167
68e3904e 168 /* Results of interprocedural propagation of an IPA pass is applied to
169 function body via this hook. */
170 unsigned int function_transform_todo_flags_start;
171 unsigned int (*function_transform) (struct cgraph_node *);
098f44bc 172 void (*variable_transform) (varpool_node *);
bcfddb5b 173
174protected:
9af5ce0c 175 ipa_opt_pass_d (const pass_data& data, gcc::context *ctxt,
176 void (*generate_summary) (void),
177 void (*write_summary) (void),
178 void (*read_summary) (void),
179 void (*write_optimization_summary) (void),
180 void (*read_optimization_summary) (void),
181 void (*stmt_fixup) (struct cgraph_node *, gimple *),
182 unsigned int function_transform_todo_flags_start,
183 unsigned int (*function_transform) (struct cgraph_node *),
098f44bc 184 void (*variable_transform) (varpool_node *))
9af5ce0c 185 : opt_pass (data, ctxt),
186 generate_summary (generate_summary),
187 write_summary (write_summary),
188 read_summary (read_summary),
189 write_optimization_summary (write_optimization_summary),
190 read_optimization_summary (read_optimization_summary),
191 stmt_fixup (stmt_fixup),
192 function_transform_todo_flags_start (function_transform_todo_flags_start),
193 function_transform (function_transform),
194 variable_transform (variable_transform)
bcfddb5b 195 {
196 }
68e3904e 197};
198
199/* Description of simple IPA pass. Simple IPA passes have just one execute
20099e35 200 hook. */
bcfddb5b 201class simple_ipa_opt_pass : public opt_pass
20099e35 202{
bcfddb5b 203protected:
9af5ce0c 204 simple_ipa_opt_pass (const pass_data& data, gcc::context *ctxt)
205 : opt_pass (data, ctxt)
bcfddb5b 206 {
207 }
0f9005dd 208};
209
4ee9c684 210/* Pass properties. */
211#define PROP_gimple_any (1 << 0) /* entire gimple grammar */
212#define PROP_gimple_lcf (1 << 1) /* lowered control flow */
213#define PROP_gimple_leh (1 << 2) /* lowered eh */
214#define PROP_cfg (1 << 3)
b1b7c0c4 215#define PROP_ssa (1 << 5)
216#define PROP_no_crit_edges (1 << 6)
217#define PROP_rtl (1 << 7)
2f8eb909 218#define PROP_gimple_lomp (1 << 8) /* lowered OpenMP directives */
219#define PROP_cfglayout (1 << 9) /* cfglayout mode on RTL */
7b76dcb9 220#define PROP_gimple_lcx (1 << 10) /* lowered complex */
79f958cb 221#define PROP_loops (1 << 11) /* preserve loop structures */
7c3b431d 222#define PROP_gimple_lvec (1 << 12) /* lowered vector */
5290ebdb 223
224#define PROP_trees \
6354626c 225 (PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh | PROP_gimple_lomp)
4ee9c684 226
227/* To-do flags. */
533c15bc 228#define TODO_do_not_ggc_collect (1 << 1)
88dbf20f 229#define TODO_cleanup_cfg (1 << 5)
2bdae241 230#define TODO_verify_il (1 << 6)
18841b0c 231#define TODO_dump_symtab (1 << 7)
f37a5008 232#define TODO_remove_functions (1 << 8)
4ae20857 233#define TODO_rebuild_frequencies (1 << 9)
88dbf20f 234
235/* To-do flags for calls to update_ssa. */
236
237/* Update the SSA form inserting PHI nodes for newly exposed symbols
238 and virtual names marked for updating. When updating real names,
239 only insert PHI nodes for a real name O_j in blocks reached by all
240 the new and old definitions for O_j. If the iterated dominance
241 frontier for O_j is not pruned, we may end up inserting PHI nodes
242 in blocks that have one or more edges with no incoming definition
243 for O_j. This would lead to uninitialized warnings for O_j's
244 symbol. */
0806b508 245#define TODO_update_ssa (1 << 11)
88dbf20f 246
247/* Update the SSA form without inserting any new PHI nodes at all.
248 This is used by passes that have either inserted all the PHI nodes
249 themselves or passes that need only to patch use-def and def-def
250 chains for virtuals (e.g., DCE). */
0806b508 251#define TODO_update_ssa_no_phi (1 << 12)
88dbf20f 252
442e3cb9 253/* Insert PHI nodes everywhere they are needed. No pruning of the
88dbf20f 254 IDF is done. This is used by passes that need the PHI nodes for
255 O_j even if it means that some arguments will come from the default
e01f9f1f 256 definition of O_j's symbol.
48e1416a 257
88dbf20f 258 WARNING: If you need to use this flag, chances are that your pass
259 may be doing something wrong. Inserting PHI nodes for an old name
260 where not all edges carry a new replacement may lead to silent
261 codegen errors or spurious uninitialized warnings. */
0806b508 262#define TODO_update_ssa_full_phi (1 << 13)
88dbf20f 263
264/* Passes that update the SSA form on their own may want to delegate
265 the updating of virtual names to the generic updater. Since FUD
266 chains are easier to maintain, this simplifies the work they need
267 to do. NOTE: If this flag is used, any OLD->NEW mappings for real
268 names are explicitly destroyed and only the symbols marked for
269 renaming are processed. */
0806b508 270#define TODO_update_ssa_only_virtuals (1 << 14)
88dbf20f 271
db22d3cc 272/* Some passes leave unused local variables that can be removed from
edb7afe8 273 cfun->local_decls. This reduces the size of dump files
274 and the memory footprint for VAR_DECLs. */
0806b508 275#define TODO_remove_unused_locals (1 << 15)
db22d3cc 276
3072d30e 277/* Call df_finish at the end of the pass. This is done after all of
278 the dumpers have been allowed to run so that they have access to
279 the instance before it is destroyed. */
0806b508 280#define TODO_df_finish (1 << 17)
3072d30e 281
314966f4 282/* Call df_verify at the end of the pass if checking is enabled. */
0806b508 283#define TODO_df_verify (1 << 18)
314966f4 284
7e0311ae 285/* Internally used for the first instance of a pass. */
0806b508 286#define TODO_mark_first_instance (1 << 19)
7e0311ae 287
b1b7c0c4 288/* Rebuild aliasing info. */
dd277d48 289#define TODO_rebuild_alias (1 << 20)
290
291/* Rebuild the addressable-vars bitmap and do register promotion. */
292#define TODO_update_address_taken (1 << 21)
b1b7c0c4 293
a15d5ede 294/* Rebuild the callgraph edges. */
295#define TODO_rebuild_cgraph_edges (1 << 22)
296
315a45ed 297/* Internally used in execute_function_todo(). */
88dbf20f 298#define TODO_update_ssa_any \
299 (TODO_update_ssa \
300 | TODO_update_ssa_no_phi \
301 | TODO_update_ssa_full_phi \
302 | TODO_update_ssa_only_virtuals)
4ee9c684 303
8b88439e 304#define TODO_verify_all TODO_verify_il
4ee9c684 305
3efe62a1 306
307/* Register pass info. */
308
309enum pass_positioning_ops
310{
311 PASS_POS_INSERT_AFTER, /* Insert after the reference pass. */
312 PASS_POS_INSERT_BEFORE, /* Insert before the reference pass. */
313 PASS_POS_REPLACE /* Replace the reference pass. */
314};
315
316struct register_pass_info
317{
b23e5d49 318 opt_pass *pass; /* New pass to register. */
3efe62a1 319 const char *reference_pass_name; /* Name of the reference pass for hooking
320 up the new pass. */
321 int ref_pass_instance_number; /* Insert the pass at the specified
322 instance number of the reference pass.
323 Do it for every instance if it is 0. */
324 enum pass_positioning_ops pos_op; /* how to insert the new pass. */
325};
326
b3521e4b 327/* Registers a new pass. Either fill out the register_pass_info or specify
328 the individual parameters. The pass object is expected to have been
329 allocated using operator new and the pass manager takes the ownership of
330 the pass object. */
331extern void register_pass (register_pass_info *);
332extern void register_pass (opt_pass* pass, pass_positioning_ops pos,
333 const char* ref_pass_name, int ref_pass_inst_number);
334
cbe8bda8 335extern gimple_opt_pass *make_pass_asan (gcc::context *ctxt);
336extern gimple_opt_pass *make_pass_asan_O0 (gcc::context *ctxt);
337extern gimple_opt_pass *make_pass_tsan (gcc::context *ctxt);
338extern gimple_opt_pass *make_pass_tsan_O0 (gcc::context *ctxt);
339extern gimple_opt_pass *make_pass_lower_cf (gcc::context *ctxt);
340extern gimple_opt_pass *make_pass_refactor_eh (gcc::context *ctxt);
341extern gimple_opt_pass *make_pass_lower_eh (gcc::context *ctxt);
342extern gimple_opt_pass *make_pass_lower_eh_dispatch (gcc::context *ctxt);
343extern gimple_opt_pass *make_pass_lower_resx (gcc::context *ctxt);
344extern gimple_opt_pass *make_pass_build_cfg (gcc::context *ctxt);
345extern gimple_opt_pass *make_pass_early_tree_profile (gcc::context *ctxt);
346extern gimple_opt_pass *make_pass_cleanup_eh (gcc::context *ctxt);
347extern gimple_opt_pass *make_pass_sra (gcc::context *ctxt);
348extern gimple_opt_pass *make_pass_sra_early (gcc::context *ctxt);
349extern gimple_opt_pass *make_pass_early_ipa_sra (gcc::context *ctxt);
350extern gimple_opt_pass *make_pass_tail_recursion (gcc::context *ctxt);
351extern gimple_opt_pass *make_pass_tail_calls (gcc::context *ctxt);
bf8e217d 352extern gimple_opt_pass *make_pass_fix_loops (gcc::context *ctxt);
cbe8bda8 353extern gimple_opt_pass *make_pass_tree_loop (gcc::context *ctxt);
ef3f2b6f 354extern gimple_opt_pass *make_pass_tree_no_loop (gcc::context *ctxt);
cbe8bda8 355extern gimple_opt_pass *make_pass_tree_loop_init (gcc::context *ctxt);
356extern gimple_opt_pass *make_pass_lim (gcc::context *ctxt);
357extern gimple_opt_pass *make_pass_tree_unswitch (gcc::context *ctxt);
358extern gimple_opt_pass *make_pass_predcom (gcc::context *ctxt);
359extern gimple_opt_pass *make_pass_iv_canon (gcc::context *ctxt);
360extern gimple_opt_pass *make_pass_scev_cprop (gcc::context *ctxt);
361extern gimple_opt_pass *make_pass_empty_loop (gcc::context *ctxt);
362extern gimple_opt_pass *make_pass_record_bounds (gcc::context *ctxt);
363extern gimple_opt_pass *make_pass_graphite (gcc::context *ctxt);
364extern gimple_opt_pass *make_pass_graphite_transforms (gcc::context *ctxt);
365extern gimple_opt_pass *make_pass_if_conversion (gcc::context *ctxt);
366extern gimple_opt_pass *make_pass_loop_distribution (gcc::context *ctxt);
367extern gimple_opt_pass *make_pass_vectorize (gcc::context *ctxt);
368extern gimple_opt_pass *make_pass_slp_vectorize (gcc::context *ctxt);
369extern gimple_opt_pass *make_pass_complete_unroll (gcc::context *ctxt);
370extern gimple_opt_pass *make_pass_complete_unrolli (gcc::context *ctxt);
371extern gimple_opt_pass *make_pass_parallelize_loops (gcc::context *ctxt);
372extern gimple_opt_pass *make_pass_loop_prefetch (gcc::context *ctxt);
373extern gimple_opt_pass *make_pass_iv_optimize (gcc::context *ctxt);
374extern gimple_opt_pass *make_pass_tree_loop_done (gcc::context *ctxt);
375extern gimple_opt_pass *make_pass_ch (gcc::context *ctxt);
376extern gimple_opt_pass *make_pass_ccp (gcc::context *ctxt);
377extern gimple_opt_pass *make_pass_phi_only_cprop (gcc::context *ctxt);
378extern gimple_opt_pass *make_pass_build_ssa (gcc::context *ctxt);
379extern gimple_opt_pass *make_pass_build_alias (gcc::context *ctxt);
380extern gimple_opt_pass *make_pass_build_ealias (gcc::context *ctxt);
381extern gimple_opt_pass *make_pass_dominator (gcc::context *ctxt);
382extern gimple_opt_pass *make_pass_dce (gcc::context *ctxt);
cbe8bda8 383extern gimple_opt_pass *make_pass_cd_dce (gcc::context *ctxt);
384extern gimple_opt_pass *make_pass_call_cdce (gcc::context *ctxt);
385extern gimple_opt_pass *make_pass_merge_phi (gcc::context *ctxt);
386extern gimple_opt_pass *make_pass_split_crit_edges (gcc::context *ctxt);
387extern gimple_opt_pass *make_pass_pre (gcc::context *ctxt);
51385f30 388extern unsigned int tail_merge_optimize (unsigned int);
cbe8bda8 389extern gimple_opt_pass *make_pass_profile (gcc::context *ctxt);
390extern gimple_opt_pass *make_pass_strip_predict_hints (gcc::context *ctxt);
391extern gimple_opt_pass *make_pass_lower_complex_O0 (gcc::context *ctxt);
392extern gimple_opt_pass *make_pass_lower_complex (gcc::context *ctxt);
393extern gimple_opt_pass *make_pass_lower_vector (gcc::context *ctxt);
394extern gimple_opt_pass *make_pass_lower_vector_ssa (gcc::context *ctxt);
395extern gimple_opt_pass *make_pass_lower_omp (gcc::context *ctxt);
396extern gimple_opt_pass *make_pass_diagnose_omp_blocks (gcc::context *ctxt);
397extern gimple_opt_pass *make_pass_expand_omp (gcc::context *ctxt);
cbe8bda8 398extern gimple_opt_pass *make_pass_object_sizes (gcc::context *ctxt);
399extern gimple_opt_pass *make_pass_strlen (gcc::context *ctxt);
400extern gimple_opt_pass *make_pass_fold_builtins (gcc::context *ctxt);
401extern gimple_opt_pass *make_pass_stdarg (gcc::context *ctxt);
402extern gimple_opt_pass *make_pass_early_warn_uninitialized (gcc::context *ctxt);
403extern gimple_opt_pass *make_pass_late_warn_uninitialized (gcc::context *ctxt);
404extern gimple_opt_pass *make_pass_cse_reciprocals (gcc::context *ctxt);
405extern gimple_opt_pass *make_pass_cse_sincos (gcc::context *ctxt);
406extern gimple_opt_pass *make_pass_optimize_bswap (gcc::context *ctxt);
407extern gimple_opt_pass *make_pass_optimize_widening_mul (gcc::context *ctxt);
408extern gimple_opt_pass *make_pass_warn_function_return (gcc::context *ctxt);
409extern gimple_opt_pass *make_pass_warn_function_noreturn (gcc::context *ctxt);
410extern gimple_opt_pass *make_pass_cselim (gcc::context *ctxt);
411extern gimple_opt_pass *make_pass_phiopt (gcc::context *ctxt);
412extern gimple_opt_pass *make_pass_forwprop (gcc::context *ctxt);
413extern gimple_opt_pass *make_pass_phiprop (gcc::context *ctxt);
414extern gimple_opt_pass *make_pass_tree_ifcombine (gcc::context *ctxt);
415extern gimple_opt_pass *make_pass_dse (gcc::context *ctxt);
416extern gimple_opt_pass *make_pass_nrv (gcc::context *ctxt);
417extern gimple_opt_pass *make_pass_rename_ssa_copies (gcc::context *ctxt);
418extern gimple_opt_pass *make_pass_sink_code (gcc::context *ctxt);
419extern gimple_opt_pass *make_pass_fre (gcc::context *ctxt);
420extern gimple_opt_pass *make_pass_check_data_deps (gcc::context *ctxt);
421extern gimple_opt_pass *make_pass_copy_prop (gcc::context *ctxt);
db242b6d 422extern gimple_opt_pass *make_pass_isolate_erroneous_paths (gcc::context *ctxt);
cbe8bda8 423extern gimple_opt_pass *make_pass_vrp (gcc::context *ctxt);
424extern gimple_opt_pass *make_pass_uncprop (gcc::context *ctxt);
425extern gimple_opt_pass *make_pass_return_slot (gcc::context *ctxt);
426extern gimple_opt_pass *make_pass_reassoc (gcc::context *ctxt);
427extern gimple_opt_pass *make_pass_rebuild_cgraph_edges (gcc::context *ctxt);
428extern gimple_opt_pass *make_pass_remove_cgraph_callee_edges (gcc::context
429 *ctxt);
430extern gimple_opt_pass *make_pass_build_cgraph_edges (gcc::context *ctxt);
431extern gimple_opt_pass *make_pass_local_pure_const (gcc::context *ctxt);
432extern gimple_opt_pass *make_pass_tracer (gcc::context *ctxt);
433extern gimple_opt_pass *make_pass_warn_unused_result (gcc::context *ctxt);
434extern gimple_opt_pass *make_pass_diagnose_tm_blocks (gcc::context *ctxt);
435extern gimple_opt_pass *make_pass_lower_tm (gcc::context *ctxt);
436extern gimple_opt_pass *make_pass_tm_init (gcc::context *ctxt);
437extern gimple_opt_pass *make_pass_tm_mark (gcc::context *ctxt);
438extern gimple_opt_pass *make_pass_tm_memopt (gcc::context *ctxt);
439extern gimple_opt_pass *make_pass_tm_edges (gcc::context *ctxt);
440extern gimple_opt_pass *make_pass_split_functions (gcc::context *ctxt);
441extern gimple_opt_pass *make_pass_feedback_split_functions (gcc::context *ctxt);
442extern gimple_opt_pass *make_pass_strength_reduction (gcc::context *ctxt);
b710ec85 443extern gimple_opt_pass *make_pass_vtable_verify (gcc::context *ctxt);
19b928d9 444extern gimple_opt_pass *make_pass_ubsan (gcc::context *ctxt);
445extern gimple_opt_pass *make_pass_sanopt (gcc::context *ctxt);
4ee9c684 446
3dec5460 447/* IPA Passes */
cbe8bda8 448extern simple_ipa_opt_pass *make_pass_ipa_lower_emutls (gcc::context *ctxt);
449extern simple_ipa_opt_pass
450 *make_pass_ipa_function_and_variable_visibility (gcc::context *ctxt);
451extern simple_ipa_opt_pass *make_pass_ipa_tree_profile (gcc::context *ctxt);
452
453extern simple_ipa_opt_pass *make_pass_early_local_passes (gcc::context *ctxt);
454
455extern ipa_opt_pass_d *make_pass_ipa_whole_program_visibility (gcc::context
456 *ctxt);
cbe8bda8 457extern simple_ipa_opt_pass *make_pass_ipa_increase_alignment (gcc::context
458 *ctxt);
459extern ipa_opt_pass_d *make_pass_ipa_inline (gcc::context *ctxt);
460extern simple_ipa_opt_pass *make_pass_ipa_free_lang_data (gcc::context *ctxt);
461extern simple_ipa_opt_pass *make_pass_ipa_free_inline_summary (gcc::context
462 *ctxt);
463extern ipa_opt_pass_d *make_pass_ipa_cp (gcc::context *ctxt);
84f6cc40 464extern ipa_opt_pass_d *make_pass_ipa_devirt (gcc::context *ctxt);
cbe8bda8 465extern ipa_opt_pass_d *make_pass_ipa_reference (gcc::context *ctxt);
466extern ipa_opt_pass_d *make_pass_ipa_pure_const (gcc::context *ctxt);
467extern simple_ipa_opt_pass *make_pass_ipa_pta (gcc::context *ctxt);
cbe8bda8 468extern simple_ipa_opt_pass *make_pass_ipa_tm (gcc::context *ctxt);
d09768a4 469extern simple_ipa_opt_pass *make_pass_omp_simd_clone (gcc::context *ctxt);
cbe8bda8 470extern ipa_opt_pass_d *make_pass_ipa_profile (gcc::context *ctxt);
471extern ipa_opt_pass_d *make_pass_ipa_cdtor_merge (gcc::context *ctxt);
3f1f2be0 472extern ipa_opt_pass_d *make_pass_ipa_single_use (gcc::context *ctxt);
cf8b23bb 473extern ipa_opt_pass_d *make_pass_ipa_comdats (gcc::context *ctxt);
cbe8bda8 474
475extern gimple_opt_pass *make_pass_cleanup_cfg_post_optimizing (gcc::context
476 *ctxt);
477extern gimple_opt_pass *make_pass_init_datastructures (gcc::context *ctxt);
478extern gimple_opt_pass *make_pass_fixup_cfg (gcc::context *ctxt);
479
480extern rtl_opt_pass *make_pass_expand (gcc::context *ctxt);
481extern rtl_opt_pass *make_pass_instantiate_virtual_regs (gcc::context *ctxt);
482extern rtl_opt_pass *make_pass_rtl_fwprop (gcc::context *ctxt);
483extern rtl_opt_pass *make_pass_rtl_fwprop_addr (gcc::context *ctxt);
484extern rtl_opt_pass *make_pass_jump (gcc::context *ctxt);
485extern rtl_opt_pass *make_pass_jump2 (gcc::context *ctxt);
486extern rtl_opt_pass *make_pass_lower_subreg (gcc::context *ctxt);
487extern rtl_opt_pass *make_pass_cse (gcc::context *ctxt);
488extern rtl_opt_pass *make_pass_fast_rtl_dce (gcc::context *ctxt);
489extern rtl_opt_pass *make_pass_ud_rtl_dce (gcc::context *ctxt);
490extern rtl_opt_pass *make_pass_rtl_dce (gcc::context *ctxt);
491extern rtl_opt_pass *make_pass_rtl_dse1 (gcc::context *ctxt);
492extern rtl_opt_pass *make_pass_rtl_dse2 (gcc::context *ctxt);
493extern rtl_opt_pass *make_pass_rtl_dse3 (gcc::context *ctxt);
494extern rtl_opt_pass *make_pass_rtl_cprop (gcc::context *ctxt);
495extern rtl_opt_pass *make_pass_rtl_pre (gcc::context *ctxt);
496extern rtl_opt_pass *make_pass_rtl_hoist (gcc::context *ctxt);
497extern rtl_opt_pass *make_pass_rtl_store_motion (gcc::context *ctxt);
498extern rtl_opt_pass *make_pass_cse_after_global_opts (gcc::context *ctxt);
499extern rtl_opt_pass *make_pass_rtl_ifcvt (gcc::context *ctxt);
500
501extern rtl_opt_pass *make_pass_into_cfg_layout_mode (gcc::context *ctxt);
502extern rtl_opt_pass *make_pass_outof_cfg_layout_mode (gcc::context *ctxt);
503
504extern rtl_opt_pass *make_pass_loop2 (gcc::context *ctxt);
505extern rtl_opt_pass *make_pass_rtl_loop_init (gcc::context *ctxt);
506extern rtl_opt_pass *make_pass_rtl_move_loop_invariants (gcc::context *ctxt);
cbe8bda8 507extern rtl_opt_pass *make_pass_rtl_unroll_and_peel_loops (gcc::context *ctxt);
508extern rtl_opt_pass *make_pass_rtl_doloop (gcc::context *ctxt);
509extern rtl_opt_pass *make_pass_rtl_loop_done (gcc::context *ctxt);
510
511extern rtl_opt_pass *make_pass_web (gcc::context *ctxt);
512extern rtl_opt_pass *make_pass_cse2 (gcc::context *ctxt);
513extern rtl_opt_pass *make_pass_df_initialize_opt (gcc::context *ctxt);
514extern rtl_opt_pass *make_pass_df_initialize_no_opt (gcc::context *ctxt);
515extern rtl_opt_pass *make_pass_reginfo_init (gcc::context *ctxt);
516extern rtl_opt_pass *make_pass_inc_dec (gcc::context *ctxt);
517extern rtl_opt_pass *make_pass_stack_ptr_mod (gcc::context *ctxt);
518extern rtl_opt_pass *make_pass_initialize_regs (gcc::context *ctxt);
519extern rtl_opt_pass *make_pass_combine (gcc::context *ctxt);
520extern rtl_opt_pass *make_pass_if_after_combine (gcc::context *ctxt);
521extern rtl_opt_pass *make_pass_ree (gcc::context *ctxt);
522extern rtl_opt_pass *make_pass_partition_blocks (gcc::context *ctxt);
523extern rtl_opt_pass *make_pass_match_asm_constraints (gcc::context *ctxt);
cbe8bda8 524extern rtl_opt_pass *make_pass_split_all_insns (gcc::context *ctxt);
525extern rtl_opt_pass *make_pass_fast_rtl_byte_dce (gcc::context *ctxt);
526extern rtl_opt_pass *make_pass_lower_subreg2 (gcc::context *ctxt);
527extern rtl_opt_pass *make_pass_mode_switching (gcc::context *ctxt);
528extern rtl_opt_pass *make_pass_sms (gcc::context *ctxt);
529extern rtl_opt_pass *make_pass_sched (gcc::context *ctxt);
57a8bf1b 530extern rtl_opt_pass *make_pass_live_range_shrinkage (gcc::context *ctxt);
cbe8bda8 531extern rtl_opt_pass *make_pass_ira (gcc::context *ctxt);
532extern rtl_opt_pass *make_pass_reload (gcc::context *ctxt);
533extern rtl_opt_pass *make_pass_clean_state (gcc::context *ctxt);
534extern rtl_opt_pass *make_pass_branch_prob (gcc::context *ctxt);
535extern rtl_opt_pass *make_pass_value_profile_transformations (gcc::context
536 *ctxt);
537extern rtl_opt_pass *make_pass_postreload_cse (gcc::context *ctxt);
538extern rtl_opt_pass *make_pass_gcse2 (gcc::context *ctxt);
539extern rtl_opt_pass *make_pass_split_after_reload (gcc::context *ctxt);
540extern rtl_opt_pass *make_pass_branch_target_load_optimize1 (gcc::context
541 *ctxt);
542extern rtl_opt_pass *make_pass_thread_prologue_and_epilogue (gcc::context
543 *ctxt);
544extern rtl_opt_pass *make_pass_stack_adjustments (gcc::context *ctxt);
545extern rtl_opt_pass *make_pass_peephole2 (gcc::context *ctxt);
546extern rtl_opt_pass *make_pass_if_after_reload (gcc::context *ctxt);
547extern rtl_opt_pass *make_pass_regrename (gcc::context *ctxt);
548extern rtl_opt_pass *make_pass_cprop_hardreg (gcc::context *ctxt);
549extern rtl_opt_pass *make_pass_reorder_blocks (gcc::context *ctxt);
550extern rtl_opt_pass *make_pass_branch_target_load_optimize2 (gcc::context
551 *ctxt);
552extern rtl_opt_pass *make_pass_leaf_regs (gcc::context *ctxt);
553extern rtl_opt_pass *make_pass_split_before_sched2 (gcc::context *ctxt);
554extern rtl_opt_pass *make_pass_compare_elim_after_reload (gcc::context *ctxt);
555extern rtl_opt_pass *make_pass_sched2 (gcc::context *ctxt);
556extern rtl_opt_pass *make_pass_stack_regs (gcc::context *ctxt);
557extern rtl_opt_pass *make_pass_stack_regs_run (gcc::context *ctxt);
558extern rtl_opt_pass *make_pass_df_finish (gcc::context *ctxt);
559extern rtl_opt_pass *make_pass_compute_alignments (gcc::context *ctxt);
560extern rtl_opt_pass *make_pass_duplicate_computed_gotos (gcc::context *ctxt);
561extern rtl_opt_pass *make_pass_variable_tracking (gcc::context *ctxt);
562extern rtl_opt_pass *make_pass_free_cfg (gcc::context *ctxt);
563extern rtl_opt_pass *make_pass_machine_reorg (gcc::context *ctxt);
564extern rtl_opt_pass *make_pass_cleanup_barriers (gcc::context *ctxt);
565extern rtl_opt_pass *make_pass_delay_slots (gcc::context *ctxt);
566extern rtl_opt_pass *make_pass_split_for_shorten_branches (gcc::context *ctxt);
567extern rtl_opt_pass *make_pass_split_before_regstack (gcc::context *ctxt);
568extern rtl_opt_pass *make_pass_convert_to_eh_region_ranges (gcc::context *ctxt);
569extern rtl_opt_pass *make_pass_shorten_branches (gcc::context *ctxt);
570extern rtl_opt_pass *make_pass_set_nothrow_function_flags (gcc::context *ctxt);
571extern rtl_opt_pass *make_pass_dwarf2_frame (gcc::context *ctxt);
572extern rtl_opt_pass *make_pass_final (gcc::context *ctxt);
573extern rtl_opt_pass *make_pass_rtl_seqabstr (gcc::context *ctxt);
574extern gimple_opt_pass *make_pass_release_ssa_names (gcc::context *ctxt);
575extern gimple_opt_pass *make_pass_early_inline (gcc::context *ctxt);
576extern gimple_opt_pass *make_pass_inline_parameters (gcc::context *ctxt);
577extern gimple_opt_pass *make_pass_update_address_taken (gcc::context *ctxt);
578extern gimple_opt_pass *make_pass_convert_switch (gcc::context *ctxt);
77fce4cd 579
9659d177 580/* Current optimization pass. */
b23e5d49 581extern opt_pass *current_pass;
9659d177 582
b23e5d49 583extern bool execute_one_pass (opt_pass *);
3538ae0d 584extern void execute_pass_list (function *, opt_pass *);
b23e5d49 585extern void execute_ipa_pass_list (opt_pass *);
586extern void execute_ipa_summary_passes (ipa_opt_pass_d *);
7bfefa9d 587extern void execute_all_ipa_transforms (void);
90464c8b 588extern void execute_all_ipa_stmt_fixups (struct cgraph_node *, gimple *);
b23e5d49 589extern bool pass_init_dump_file (opt_pass *);
590extern void pass_fini_dump_file (opt_pass *);
7bfefa9d 591
c9036234 592extern const char *get_current_pass_name (void);
3072d30e 593extern void print_current_pass (FILE *);
594extern void debug_pass (void);
7bfefa9d 595extern void ipa_write_summaries (void);
5cf7e051 596extern void ipa_write_optimization_summaries (struct lto_symtab_encoder_d *);
7bfefa9d 597extern void ipa_read_summaries (void);
ddc90d88 598extern void ipa_read_optimization_summaries (void);
b23e5d49 599extern void register_one_dump_file (opt_pass *);
b5cebd44 600extern bool function_called_by_processed_nodes_p (void);
f1e2a033 601
7e0311ae 602/* Set to true if the pass is called the first time during compilation of the
603 current function. Note that using this information in the optimization
604 passes is considered not to be clean, and it should be avoided if possible.
605 This flag is currently used to prevent loops from being peeled repeatedly
606 in jump threading; it will be removed once we preserve loop structures
607 throughout the compilation -- we will be able to mark the affected loops
608 directly in jump threading, and avoid peeling them next time. */
609extern bool first_pass_instance;
610
c9036234 611/* Declare for plugins. */
3538ae0d 612extern void do_per_function_toporder (void (*) (function *, void *), void *);
c9036234 613
c3087ce0 614extern void disable_pass (const char *);
615extern void enable_pass (const char *);
ec4791a8 616extern void dump_passes (void);
c3087ce0 617
4ee9c684 618#endif /* GCC_TREE_PASS_H */
Mirror of https://gcc.gnu.org/git/gcc.git