1/* Definitions for describing one tree-ssa optimization pass.
2   Copyright (C) 2004-2015 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  unsigned int 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
87  /* This pass and all sub-passes are executed only if the function returns
88     true.  The default implementation returns true.  */
89  virtual bool gate (function *fun);
90
91  /* This is the code to run.  If this is not overridden, then there should
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.   */
95  virtual unsigned int execute (function *fun);
96
97protected:
98  opt_pass (const pass_data&, gcc::context *);
99
100public:
101  /* A list of sub-passes to run, dependent on gate predicate.  */
102  opt_pass *sub;
103
104  /* Next in the list of passes to run, independent of gate predicate.  */
105  opt_pass *next;
106
107  /* Static pass number, used as a fragment of the dump file name.  */
108  int static_pass_number;
109
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
115protected:
116  gcc::context *m_ctxt;
117};
118
119/* Description of GIMPLE pass.  */
120class gimple_opt_pass : public opt_pass
121{
122protected:
123  gimple_opt_pass (const pass_data& data, gcc::context *ctxt)
124    : opt_pass (data, ctxt)
125  {
126  }
127};
128
129/* Description of RTL pass.  */
130class rtl_opt_pass : public opt_pass
131{
132protected:
133  rtl_opt_pass (const pass_data& data, gcc::context *ctxt)
134    : opt_pass (data, ctxt)
135  {
136  }
137};
138
139class varpool_node;
140struct cgraph_node;
141struct lto_symtab_encoder_d;
142
143/* Description of IPA pass with generate summary, write, execute, read and
144   transform stages.  */
145class ipa_opt_pass_d : public opt_pass
146{
147public:
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.  */
153  void (*write_summary) (void);
154
155  /* This hook is used to deserialize IPA summaries from disk.  */
156  void (*read_summary) (void);
157
158  /* This hook is used to serialize IPA optimization summaries on disk.  */
159  void (*write_optimization_summary) (void);
160
161  /* This hook is used to deserialize IPA summaries from disk.  */
162  void (*read_optimization_summary) (void);
163
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
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 *);
172  void (*variable_transform) (varpool_node *);
173
174protected:
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 *),
184		  void (*variable_transform) (varpool_node *))
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)
195  {
196  }
197};
198
199/* Description of simple IPA pass.  Simple IPA passes have just one execute
200   hook.  */
201class simple_ipa_opt_pass : public opt_pass
202{
203protected:
204  simple_ipa_opt_pass (const pass_data& data, gcc::context *ctxt)
205    : opt_pass (data, ctxt)
206  {
207  }
208};
209
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)
215#define PROP_ssa		(1 << 5)
216#define PROP_no_crit_edges      (1 << 6)
217#define PROP_rtl		(1 << 7)
218#define PROP_gimple_lomp	(1 << 8)	/* lowered OpenMP directives */
219#define PROP_cfglayout	 	(1 << 9)	/* cfglayout mode on RTL */
220#define PROP_gimple_lcx		(1 << 10)       /* lowered complex */
221#define PROP_loops		(1 << 11)	/* preserve loop structures */
222#define PROP_gimple_lvec	(1 << 12)       /* lowered vector */
223#define PROP_gimple_eomp	(1 << 13)       /* no OpenMP directives */
224
225#define PROP_trees \
226  (PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh | PROP_gimple_lomp)
227
228/* To-do flags.  */
229#define TODO_do_not_ggc_collect		(1 << 1)
230#define TODO_cleanup_cfg        	(1 << 5)
231#define TODO_verify_il			(1 << 6)
232#define TODO_dump_symtab		(1 << 7)
233#define TODO_remove_functions		(1 << 8)
234#define TODO_rebuild_frequencies	(1 << 9)
235
236/* To-do flags for calls to update_ssa.  */
237
238/* Update the SSA form inserting PHI nodes for newly exposed symbols
239   and virtual names marked for updating.  When updating real names,
240   only insert PHI nodes for a real name O_j in blocks reached by all
241   the new and old definitions for O_j.  If the iterated dominance
242   frontier for O_j is not pruned, we may end up inserting PHI nodes
243   in blocks that have one or more edges with no incoming definition
244   for O_j.  This would lead to uninitialized warnings for O_j's
245   symbol.  */
246#define TODO_update_ssa			(1 << 11)
247
248/* Update the SSA form without inserting any new PHI nodes at all.
249   This is used by passes that have either inserted all the PHI nodes
250   themselves or passes that need only to patch use-def and def-def
251   chains for virtuals (e.g., DCE).  */
252#define TODO_update_ssa_no_phi		(1 << 12)
253
254/* Insert PHI nodes everywhere they are needed.  No pruning of the
255   IDF is done.  This is used by passes that need the PHI nodes for
256   O_j even if it means that some arguments will come from the default
257   definition of O_j's symbol.
258
259   WARNING: If you need to use this flag, chances are that your pass
260   may be doing something wrong.  Inserting PHI nodes for an old name
261   where not all edges carry a new replacement may lead to silent
262   codegen errors or spurious uninitialized warnings.  */
263#define TODO_update_ssa_full_phi	(1 << 13)
264
265/* Passes that update the SSA form on their own may want to delegate
266   the updating of virtual names to the generic updater.  Since FUD
267   chains are easier to maintain, this simplifies the work they need
268   to do.  NOTE: If this flag is used, any OLD->NEW mappings for real
269   names are explicitly destroyed and only the symbols marked for
270   renaming are processed.  */
271#define TODO_update_ssa_only_virtuals	(1 << 14)
272
273/* Some passes leave unused local variables that can be removed from
274   cfun->local_decls.  This reduces the size of dump files
275   and the memory footprint for VAR_DECLs.  */
276#define TODO_remove_unused_locals	(1 << 15)
277
278/* Call df_finish at the end of the pass.  This is done after all of
279   the dumpers have been allowed to run so that they have access to
280   the instance before it is destroyed.  */
281#define TODO_df_finish                  (1 << 17)
282
283/* Call df_verify at the end of the pass if checking is enabled.  */
284#define TODO_df_verify                  (1 << 18)
285
286/* Internally used for the first instance of a pass.  */
287#define TODO_mark_first_instance	(1 << 19)
288
289/* Rebuild aliasing info.  */
290#define TODO_rebuild_alias              (1 << 20)
291
292/* Rebuild the addressable-vars bitmap and do register promotion.  */
293#define TODO_update_address_taken	(1 << 21)
294
295/* Rebuild the callgraph edges.  */
296#define TODO_rebuild_cgraph_edges       (1 << 22)
297
298/* Internally used in execute_function_todo().  */
299#define TODO_update_ssa_any		\
300    (TODO_update_ssa			\
301     | TODO_update_ssa_no_phi		\
302     | TODO_update_ssa_full_phi		\
303     | TODO_update_ssa_only_virtuals)
304
305#define TODO_verify_all TODO_verify_il
306
307
308/* Register pass info. */
309
310enum pass_positioning_ops
311{
312  PASS_POS_INSERT_AFTER,  /* Insert after the reference pass.  */
313  PASS_POS_INSERT_BEFORE, /* Insert before the reference pass.  */
314  PASS_POS_REPLACE        /* Replace the reference pass.  */
315};
316
317struct register_pass_info
318{
319  opt_pass *pass;		    /* New pass to register.  */
320  const char *reference_pass_name;  /* Name of the reference pass for hooking
321                                       up the new pass.  */
322  int ref_pass_instance_number;     /* Insert the pass at the specified
323                                       instance number of the reference pass.
324                                       Do it for every instance if it is 0.  */
325  enum pass_positioning_ops pos_op; /* how to insert the new pass.  */
326};
327
328/* Registers a new pass.  Either fill out the register_pass_info or specify
329   the individual parameters.  The pass object is expected to have been
330   allocated using operator new and the pass manager takes the ownership of
331   the pass object.  */
332extern void register_pass (register_pass_info *);
333extern void register_pass (opt_pass* pass, pass_positioning_ops pos,
334			   const char* ref_pass_name, int ref_pass_inst_number);
335
336extern simple_ipa_opt_pass *make_pass_ipa_chkp_versioning (gcc::context *ctxt);
337extern simple_ipa_opt_pass *make_pass_ipa_chkp_early_produce_thunks (gcc::context *ctxt);
338extern simple_ipa_opt_pass *make_pass_ipa_chkp_produce_thunks (gcc::context *ctxt);
339extern gimple_opt_pass *make_pass_chkp (gcc::context *ctxt);
340extern gimple_opt_pass *make_pass_chkp_opt (gcc::context *ctxt);
341extern gimple_opt_pass *make_pass_asan (gcc::context *ctxt);
342extern gimple_opt_pass *make_pass_asan_O0 (gcc::context *ctxt);
343extern gimple_opt_pass *make_pass_tsan (gcc::context *ctxt);
344extern gimple_opt_pass *make_pass_tsan_O0 (gcc::context *ctxt);
345extern gimple_opt_pass *make_pass_lower_cf (gcc::context *ctxt);
346extern gimple_opt_pass *make_pass_refactor_eh (gcc::context *ctxt);
347extern gimple_opt_pass *make_pass_lower_eh (gcc::context *ctxt);
348extern gimple_opt_pass *make_pass_lower_eh_dispatch (gcc::context *ctxt);
349extern gimple_opt_pass *make_pass_lower_resx (gcc::context *ctxt);
350extern gimple_opt_pass *make_pass_build_cfg (gcc::context *ctxt);
351extern gimple_opt_pass *make_pass_early_tree_profile (gcc::context *ctxt);
352extern gimple_opt_pass *make_pass_cleanup_eh (gcc::context *ctxt);
353extern gimple_opt_pass *make_pass_sra (gcc::context *ctxt);
354extern gimple_opt_pass *make_pass_sra_early (gcc::context *ctxt);
355extern gimple_opt_pass *make_pass_early_ipa_sra (gcc::context *ctxt);
356extern gimple_opt_pass *make_pass_tail_recursion (gcc::context *ctxt);
357extern gimple_opt_pass *make_pass_tail_calls (gcc::context *ctxt);
358extern gimple_opt_pass *make_pass_fix_loops (gcc::context *ctxt);
359extern gimple_opt_pass *make_pass_tree_loop (gcc::context *ctxt);
360extern gimple_opt_pass *make_pass_tree_no_loop (gcc::context *ctxt);
361extern gimple_opt_pass *make_pass_tree_loop_init (gcc::context *ctxt);
362extern gimple_opt_pass *make_pass_lim (gcc::context *ctxt);
363extern gimple_opt_pass *make_pass_tree_unswitch (gcc::context *ctxt);
364extern gimple_opt_pass *make_pass_predcom (gcc::context *ctxt);
365extern gimple_opt_pass *make_pass_iv_canon (gcc::context *ctxt);
366extern gimple_opt_pass *make_pass_scev_cprop (gcc::context *ctxt);
367extern gimple_opt_pass *make_pass_empty_loop (gcc::context *ctxt);
368extern gimple_opt_pass *make_pass_record_bounds (gcc::context *ctxt);
369extern gimple_opt_pass *make_pass_graphite (gcc::context *ctxt);
370extern gimple_opt_pass *make_pass_graphite_transforms (gcc::context *ctxt);
371extern gimple_opt_pass *make_pass_if_conversion (gcc::context *ctxt);
372extern gimple_opt_pass *make_pass_loop_distribution (gcc::context *ctxt);
373extern gimple_opt_pass *make_pass_vectorize (gcc::context *ctxt);
374extern gimple_opt_pass *make_pass_simduid_cleanup (gcc::context *ctxt);
375extern gimple_opt_pass *make_pass_slp_vectorize (gcc::context *ctxt);
376extern gimple_opt_pass *make_pass_complete_unroll (gcc::context *ctxt);
377extern gimple_opt_pass *make_pass_complete_unrolli (gcc::context *ctxt);
378extern gimple_opt_pass *make_pass_parallelize_loops (gcc::context *ctxt);
379extern gimple_opt_pass *make_pass_loop_prefetch (gcc::context *ctxt);
380extern gimple_opt_pass *make_pass_iv_optimize (gcc::context *ctxt);
381extern gimple_opt_pass *make_pass_tree_loop_done (gcc::context *ctxt);
382extern gimple_opt_pass *make_pass_ch (gcc::context *ctxt);
383extern gimple_opt_pass *make_pass_ccp (gcc::context *ctxt);
384extern gimple_opt_pass *make_pass_phi_only_cprop (gcc::context *ctxt);
385extern gimple_opt_pass *make_pass_build_ssa (gcc::context *ctxt);
386extern gimple_opt_pass *make_pass_build_alias (gcc::context *ctxt);
387extern gimple_opt_pass *make_pass_build_ealias (gcc::context *ctxt);
388extern gimple_opt_pass *make_pass_dominator (gcc::context *ctxt);
389extern gimple_opt_pass *make_pass_dce (gcc::context *ctxt);
390extern gimple_opt_pass *make_pass_cd_dce (gcc::context *ctxt);
391extern gimple_opt_pass *make_pass_call_cdce (gcc::context *ctxt);
392extern gimple_opt_pass *make_pass_merge_phi (gcc::context *ctxt);
393extern gimple_opt_pass *make_pass_split_crit_edges (gcc::context *ctxt);
394extern gimple_opt_pass *make_pass_pre (gcc::context *ctxt);
395extern unsigned int tail_merge_optimize (unsigned int);
396extern gimple_opt_pass *make_pass_profile (gcc::context *ctxt);
397extern gimple_opt_pass *make_pass_strip_predict_hints (gcc::context *ctxt);
398extern gimple_opt_pass *make_pass_lower_complex_O0 (gcc::context *ctxt);
399extern gimple_opt_pass *make_pass_lower_complex (gcc::context *ctxt);
400extern gimple_opt_pass *make_pass_lower_vector (gcc::context *ctxt);
401extern gimple_opt_pass *make_pass_lower_vector_ssa (gcc::context *ctxt);
402extern gimple_opt_pass *make_pass_lower_omp (gcc::context *ctxt);
403extern gimple_opt_pass *make_pass_diagnose_omp_blocks (gcc::context *ctxt);
404extern gimple_opt_pass *make_pass_expand_omp (gcc::context *ctxt);
405extern gimple_opt_pass *make_pass_expand_omp_ssa (gcc::context *ctxt);
406extern gimple_opt_pass *make_pass_object_sizes (gcc::context *ctxt);
407extern gimple_opt_pass *make_pass_strlen (gcc::context *ctxt);
408extern gimple_opt_pass *make_pass_fold_builtins (gcc::context *ctxt);
409extern gimple_opt_pass *make_pass_stdarg (gcc::context *ctxt);
410extern gimple_opt_pass *make_pass_early_warn_uninitialized (gcc::context *ctxt);
411extern gimple_opt_pass *make_pass_late_warn_uninitialized (gcc::context *ctxt);
412extern gimple_opt_pass *make_pass_cse_reciprocals (gcc::context *ctxt);
413extern gimple_opt_pass *make_pass_cse_sincos (gcc::context *ctxt);
414extern gimple_opt_pass *make_pass_optimize_bswap (gcc::context *ctxt);
415extern gimple_opt_pass *make_pass_optimize_widening_mul (gcc::context *ctxt);
416extern gimple_opt_pass *make_pass_warn_function_return (gcc::context *ctxt);
417extern gimple_opt_pass *make_pass_warn_function_noreturn (gcc::context *ctxt);
418extern gimple_opt_pass *make_pass_cselim (gcc::context *ctxt);
419extern gimple_opt_pass *make_pass_phiopt (gcc::context *ctxt);
420extern gimple_opt_pass *make_pass_forwprop (gcc::context *ctxt);
421extern gimple_opt_pass *make_pass_phiprop (gcc::context *ctxt);
422extern gimple_opt_pass *make_pass_tree_ifcombine (gcc::context *ctxt);
423extern gimple_opt_pass *make_pass_dse (gcc::context *ctxt);
424extern gimple_opt_pass *make_pass_nrv (gcc::context *ctxt);
425extern gimple_opt_pass *make_pass_rename_ssa_copies (gcc::context *ctxt);
426extern gimple_opt_pass *make_pass_sink_code (gcc::context *ctxt);
427extern gimple_opt_pass *make_pass_fre (gcc::context *ctxt);
428extern gimple_opt_pass *make_pass_check_data_deps (gcc::context *ctxt);
429extern gimple_opt_pass *make_pass_copy_prop (gcc::context *ctxt);
430extern gimple_opt_pass *make_pass_isolate_erroneous_paths (gcc::context *ctxt);
431extern gimple_opt_pass *make_pass_vrp (gcc::context *ctxt);
432extern gimple_opt_pass *make_pass_uncprop (gcc::context *ctxt);
433extern gimple_opt_pass *make_pass_return_slot (gcc::context *ctxt);
434extern gimple_opt_pass *make_pass_reassoc (gcc::context *ctxt);
435extern gimple_opt_pass *make_pass_rebuild_cgraph_edges (gcc::context *ctxt);
436extern gimple_opt_pass *make_pass_remove_cgraph_callee_edges (gcc::context
437							      *ctxt);
438extern gimple_opt_pass *make_pass_build_cgraph_edges (gcc::context *ctxt);
439extern gimple_opt_pass *make_pass_local_pure_const (gcc::context *ctxt);
440extern gimple_opt_pass *make_pass_nothrow (gcc::context *ctxt);
441extern gimple_opt_pass *make_pass_tracer (gcc::context *ctxt);
442extern gimple_opt_pass *make_pass_warn_unused_result (gcc::context *ctxt);
443extern gimple_opt_pass *make_pass_diagnose_tm_blocks (gcc::context *ctxt);
444extern gimple_opt_pass *make_pass_lower_tm (gcc::context *ctxt);
445extern gimple_opt_pass *make_pass_tm_init (gcc::context *ctxt);
446extern gimple_opt_pass *make_pass_tm_mark (gcc::context *ctxt);
447extern gimple_opt_pass *make_pass_tm_memopt (gcc::context *ctxt);
448extern gimple_opt_pass *make_pass_tm_edges (gcc::context *ctxt);
449extern gimple_opt_pass *make_pass_split_functions (gcc::context *ctxt);
450extern gimple_opt_pass *make_pass_feedback_split_functions (gcc::context *ctxt);
451extern gimple_opt_pass *make_pass_strength_reduction (gcc::context *ctxt);
452extern gimple_opt_pass *make_pass_vtable_verify (gcc::context *ctxt);
453extern gimple_opt_pass *make_pass_ubsan (gcc::context *ctxt);
454extern gimple_opt_pass *make_pass_sanopt (gcc::context *ctxt);
455
456/* IPA Passes */
457extern simple_ipa_opt_pass *make_pass_ipa_lower_emutls (gcc::context *ctxt);
458extern simple_ipa_opt_pass
459							      *make_pass_ipa_function_and_variable_visibility (gcc::context *ctxt);
460extern simple_ipa_opt_pass *make_pass_ipa_tree_profile (gcc::context *ctxt);
461extern simple_ipa_opt_pass *make_pass_ipa_auto_profile (gcc::context *ctxt);
462
463extern simple_ipa_opt_pass *make_pass_build_ssa_passes (gcc::context *ctxt);
464extern simple_ipa_opt_pass *make_pass_chkp_instrumentation_passes (gcc::context *ctxt);
465extern simple_ipa_opt_pass *make_pass_local_optimization_passes (gcc::context *ctxt);
466
467extern ipa_opt_pass_d *make_pass_ipa_whole_program_visibility (gcc::context
468							       *ctxt);
469extern simple_ipa_opt_pass *make_pass_ipa_increase_alignment (gcc::context
470							      *ctxt);
471extern ipa_opt_pass_d *make_pass_ipa_inline (gcc::context *ctxt);
472extern simple_ipa_opt_pass *make_pass_ipa_free_lang_data (gcc::context *ctxt);
473extern simple_ipa_opt_pass *make_pass_ipa_free_inline_summary (gcc::context
474							       *ctxt);
475extern ipa_opt_pass_d *make_pass_ipa_cp (gcc::context *ctxt);
476extern ipa_opt_pass_d *make_pass_ipa_icf (gcc::context *ctxt);
477extern ipa_opt_pass_d *make_pass_ipa_devirt (gcc::context *ctxt);
478extern ipa_opt_pass_d *make_pass_ipa_reference (gcc::context *ctxt);
479extern ipa_opt_pass_d *make_pass_ipa_pure_const (gcc::context *ctxt);
480extern simple_ipa_opt_pass *make_pass_ipa_pta (gcc::context *ctxt);
481extern simple_ipa_opt_pass *make_pass_ipa_tm (gcc::context *ctxt);
482extern simple_ipa_opt_pass *make_pass_omp_simd_clone (gcc::context *ctxt);
483extern ipa_opt_pass_d *make_pass_ipa_profile (gcc::context *ctxt);
484extern ipa_opt_pass_d *make_pass_ipa_cdtor_merge (gcc::context *ctxt);
485extern ipa_opt_pass_d *make_pass_ipa_single_use (gcc::context *ctxt);
486extern ipa_opt_pass_d *make_pass_ipa_comdats (gcc::context *ctxt);
487
488extern gimple_opt_pass *make_pass_cleanup_cfg_post_optimizing (gcc::context
489							       *ctxt);
490extern gimple_opt_pass *make_pass_init_datastructures (gcc::context *ctxt);
491extern gimple_opt_pass *make_pass_fixup_cfg (gcc::context *ctxt);
492
493extern rtl_opt_pass *make_pass_expand (gcc::context *ctxt);
494extern rtl_opt_pass *make_pass_instantiate_virtual_regs (gcc::context *ctxt);
495extern rtl_opt_pass *make_pass_rtl_fwprop (gcc::context *ctxt);
496extern rtl_opt_pass *make_pass_rtl_fwprop_addr (gcc::context *ctxt);
497extern rtl_opt_pass *make_pass_jump (gcc::context *ctxt);
498extern rtl_opt_pass *make_pass_jump2 (gcc::context *ctxt);
499extern rtl_opt_pass *make_pass_lower_subreg (gcc::context *ctxt);
500extern rtl_opt_pass *make_pass_cse (gcc::context *ctxt);
501extern rtl_opt_pass *make_pass_fast_rtl_dce (gcc::context *ctxt);
502extern rtl_opt_pass *make_pass_ud_rtl_dce (gcc::context *ctxt);
503extern rtl_opt_pass *make_pass_rtl_dce (gcc::context *ctxt);
504extern rtl_opt_pass *make_pass_rtl_dse1 (gcc::context *ctxt);
505extern rtl_opt_pass *make_pass_rtl_dse2 (gcc::context *ctxt);
506extern rtl_opt_pass *make_pass_rtl_dse3 (gcc::context *ctxt);
507extern rtl_opt_pass *make_pass_rtl_cprop (gcc::context *ctxt);
508extern rtl_opt_pass *make_pass_rtl_pre (gcc::context *ctxt);
509extern rtl_opt_pass *make_pass_rtl_hoist (gcc::context *ctxt);
510extern rtl_opt_pass *make_pass_rtl_store_motion (gcc::context *ctxt);
511extern rtl_opt_pass *make_pass_cse_after_global_opts (gcc::context *ctxt);
512extern rtl_opt_pass *make_pass_rtl_ifcvt (gcc::context *ctxt);
513
514extern rtl_opt_pass *make_pass_into_cfg_layout_mode (gcc::context *ctxt);
515extern rtl_opt_pass *make_pass_outof_cfg_layout_mode (gcc::context *ctxt);
516
517extern rtl_opt_pass *make_pass_loop2 (gcc::context *ctxt);
518extern rtl_opt_pass *make_pass_rtl_loop_init (gcc::context *ctxt);
519extern rtl_opt_pass *make_pass_rtl_move_loop_invariants (gcc::context *ctxt);
520extern rtl_opt_pass *make_pass_rtl_unroll_loops (gcc::context *ctxt);
521extern rtl_opt_pass *make_pass_rtl_doloop (gcc::context *ctxt);
522extern rtl_opt_pass *make_pass_rtl_loop_done (gcc::context *ctxt);
523
524extern rtl_opt_pass *make_pass_web (gcc::context *ctxt);
525extern rtl_opt_pass *make_pass_cse2 (gcc::context *ctxt);
526extern rtl_opt_pass *make_pass_df_initialize_opt (gcc::context *ctxt);
527extern rtl_opt_pass *make_pass_df_initialize_no_opt (gcc::context *ctxt);
528extern rtl_opt_pass *make_pass_reginfo_init (gcc::context *ctxt);
529extern rtl_opt_pass *make_pass_inc_dec (gcc::context *ctxt);
530extern rtl_opt_pass *make_pass_stack_ptr_mod (gcc::context *ctxt);
531extern rtl_opt_pass *make_pass_initialize_regs (gcc::context *ctxt);
532extern rtl_opt_pass *make_pass_combine (gcc::context *ctxt);
533extern rtl_opt_pass *make_pass_if_after_combine (gcc::context *ctxt);
534extern rtl_opt_pass *make_pass_ree (gcc::context *ctxt);
535extern rtl_opt_pass *make_pass_partition_blocks (gcc::context *ctxt);
536extern rtl_opt_pass *make_pass_match_asm_constraints (gcc::context *ctxt);
537extern rtl_opt_pass *make_pass_split_all_insns (gcc::context *ctxt);
538extern rtl_opt_pass *make_pass_fast_rtl_byte_dce (gcc::context *ctxt);
539extern rtl_opt_pass *make_pass_lower_subreg2 (gcc::context *ctxt);
540extern rtl_opt_pass *make_pass_mode_switching (gcc::context *ctxt);
541extern rtl_opt_pass *make_pass_sms (gcc::context *ctxt);
542extern rtl_opt_pass *make_pass_sched (gcc::context *ctxt);
543extern rtl_opt_pass *make_pass_live_range_shrinkage (gcc::context *ctxt);
544extern rtl_opt_pass *make_pass_ira (gcc::context *ctxt);
545extern rtl_opt_pass *make_pass_reload (gcc::context *ctxt);
546extern rtl_opt_pass *make_pass_clean_state (gcc::context *ctxt);
547extern rtl_opt_pass *make_pass_branch_prob (gcc::context *ctxt);
548extern rtl_opt_pass *make_pass_value_profile_transformations (gcc::context
549							      *ctxt);
550extern rtl_opt_pass *make_pass_postreload_cse (gcc::context *ctxt);
551extern rtl_opt_pass *make_pass_gcse2 (gcc::context *ctxt);
552extern rtl_opt_pass *make_pass_split_after_reload (gcc::context *ctxt);
553extern rtl_opt_pass *make_pass_branch_target_load_optimize1 (gcc::context
554							     *ctxt);
555extern rtl_opt_pass *make_pass_thread_prologue_and_epilogue (gcc::context
556							     *ctxt);
557extern rtl_opt_pass *make_pass_stack_adjustments (gcc::context *ctxt);
558extern rtl_opt_pass *make_pass_sched_fusion (gcc::context *ctxt);
559extern rtl_opt_pass *make_pass_peephole2 (gcc::context *ctxt);
560extern rtl_opt_pass *make_pass_if_after_reload (gcc::context *ctxt);
561extern rtl_opt_pass *make_pass_regrename (gcc::context *ctxt);
562extern rtl_opt_pass *make_pass_cprop_hardreg (gcc::context *ctxt);
563extern rtl_opt_pass *make_pass_reorder_blocks (gcc::context *ctxt);
564extern rtl_opt_pass *make_pass_branch_target_load_optimize2 (gcc::context
565							     *ctxt);
566extern rtl_opt_pass *make_pass_leaf_regs (gcc::context *ctxt);
567extern rtl_opt_pass *make_pass_split_before_sched2 (gcc::context *ctxt);
568extern rtl_opt_pass *make_pass_compare_elim_after_reload (gcc::context *ctxt);
569extern rtl_opt_pass *make_pass_sched2 (gcc::context *ctxt);
570extern rtl_opt_pass *make_pass_stack_regs (gcc::context *ctxt);
571extern rtl_opt_pass *make_pass_stack_regs_run (gcc::context *ctxt);
572extern rtl_opt_pass *make_pass_df_finish (gcc::context *ctxt);
573extern rtl_opt_pass *make_pass_compute_alignments (gcc::context *ctxt);
574extern rtl_opt_pass *make_pass_duplicate_computed_gotos (gcc::context *ctxt);
575extern rtl_opt_pass *make_pass_variable_tracking (gcc::context *ctxt);
576extern rtl_opt_pass *make_pass_free_cfg (gcc::context *ctxt);
577extern rtl_opt_pass *make_pass_machine_reorg (gcc::context *ctxt);
578extern rtl_opt_pass *make_pass_cleanup_barriers (gcc::context *ctxt);
579extern rtl_opt_pass *make_pass_delay_slots (gcc::context *ctxt);
580extern rtl_opt_pass *make_pass_split_for_shorten_branches (gcc::context *ctxt);
581extern rtl_opt_pass *make_pass_split_before_regstack (gcc::context *ctxt);
582extern rtl_opt_pass *make_pass_convert_to_eh_region_ranges (gcc::context *ctxt);
583extern rtl_opt_pass *make_pass_shorten_branches (gcc::context *ctxt);
584extern rtl_opt_pass *make_pass_set_nothrow_function_flags (gcc::context *ctxt);
585extern rtl_opt_pass *make_pass_dwarf2_frame (gcc::context *ctxt);
586extern rtl_opt_pass *make_pass_final (gcc::context *ctxt);
587extern rtl_opt_pass *make_pass_rtl_seqabstr (gcc::context *ctxt);
588extern gimple_opt_pass *make_pass_release_ssa_names (gcc::context *ctxt);
589extern gimple_opt_pass *make_pass_early_inline (gcc::context *ctxt);
590extern gimple_opt_pass *make_pass_inline_parameters (gcc::context *ctxt);
591extern gimple_opt_pass *make_pass_update_address_taken (gcc::context *ctxt);
592extern gimple_opt_pass *make_pass_convert_switch (gcc::context *ctxt);
593
594/* Current optimization pass.  */
595extern opt_pass *current_pass;
596
597extern bool execute_one_pass (opt_pass *);
598extern void execute_pass_list (function *, opt_pass *);
599extern void execute_ipa_pass_list (opt_pass *);
600extern void execute_ipa_summary_passes (ipa_opt_pass_d *);
601extern void execute_all_ipa_transforms (void);
602extern void execute_all_ipa_stmt_fixups (struct cgraph_node *, gimple *);
603extern bool pass_init_dump_file (opt_pass *);
604extern void pass_fini_dump_file (opt_pass *);
605
606extern const char *get_current_pass_name (void);
607extern void print_current_pass (FILE *);
608extern void debug_pass (void);
609extern void ipa_write_summaries (void);
610extern void ipa_write_optimization_summaries (struct lto_symtab_encoder_d *);
611extern void ipa_read_summaries (void);
612extern void ipa_read_optimization_summaries (void);
613extern void register_one_dump_file (opt_pass *);
614extern bool function_called_by_processed_nodes_p (void);
615
616/* Set to true if the pass is called the first time during compilation of the
617   current function.  Note that using this information in the optimization
618   passes is considered not to be clean, and it should be avoided if possible.
619   This flag is currently used to prevent loops from being peeled repeatedly
620   in jump threading; it will be removed once we preserve loop structures
621   throughout the compilation -- we will be able to mark the affected loops
622   directly in jump threading, and avoid peeling them next time.  */
623extern bool first_pass_instance;
624
625/* Declare for plugins.  */
626extern void do_per_function_toporder (void (*) (function *, void *), void *);
627
628extern void disable_pass (const char *);
629extern void enable_pass (const char *);
630extern void dump_passes (void);
631
632#endif /* GCC_TREE_PASS_H */
633