diff options
Diffstat (limited to 'gcc/tree-pass.h')
-rw-r--r-- | gcc/tree-pass.h | 642 |
1 files changed, 642 insertions, 0 deletions
diff --git a/gcc/tree-pass.h b/gcc/tree-pass.h new file mode 100644 index 000000000..d7b122bfd --- /dev/null +++ b/gcc/tree-pass.h @@ -0,0 +1,642 @@ +/* Definitions for describing one tree-ssa optimization pass. + Copyright (C) 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011 + Free Software Foundation, Inc. + Contributed by Richard Henderson <rth@redhat.com> + +This file is part of GCC. + +GCC is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 3, or (at your option) +any later version. + +GCC is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with GCC; see the file COPYING3. If not see +<http://www.gnu.org/licenses/>. */ + + +#ifndef GCC_TREE_PASS_H +#define GCC_TREE_PASS_H 1 + +#include "timevar.h" + +/* Different tree dump places. When you add new tree dump places, + extend the DUMP_FILES array in tree-dump.c. */ +enum tree_dump_index +{ + TDI_none, /* No dump */ + TDI_cgraph, /* dump function call graph. */ + TDI_tu, /* dump the whole translation unit. */ + TDI_class, /* dump class hierarchy. */ + TDI_original, /* dump each function before optimizing it */ + TDI_generic, /* dump each function after genericizing it */ + TDI_nested, /* dump each function after unnesting it */ + TDI_vcg, /* create a VCG graph file for each + function's flowgraph. */ + TDI_ada, /* dump declarations in Ada syntax. */ + TDI_tree_all, /* enable all the GENERIC/GIMPLE dumps. */ + TDI_rtl_all, /* enable all the RTL dumps. */ + TDI_ipa_all, /* enable all the IPA dumps. */ + + TDI_end +}; + +/* Bit masks to control dumping. Not all values are applicable to + all dumps. Add new ones at the end. When you define new + values, extend the DUMP_OPTIONS array in tree-dump.c */ +#define TDF_ADDRESS (1 << 0) /* dump node addresses */ +#define TDF_SLIM (1 << 1) /* don't go wild following links */ +#define TDF_RAW (1 << 2) /* don't unparse the function */ +#define TDF_DETAILS (1 << 3) /* show more detailed info about + each pass */ +#define TDF_STATS (1 << 4) /* dump various statistics about + each pass */ +#define TDF_BLOCKS (1 << 5) /* display basic block boundaries */ +#define TDF_VOPS (1 << 6) /* display virtual operands */ +#define TDF_LINENO (1 << 7) /* display statement line numbers */ +#define TDF_UID (1 << 8) /* display decl UIDs */ + +#define TDF_TREE (1 << 9) /* is a tree dump */ +#define TDF_RTL (1 << 10) /* is a RTL dump */ +#define TDF_IPA (1 << 11) /* is an IPA dump */ +#define TDF_STMTADDR (1 << 12) /* Address of stmt. */ + +#define TDF_GRAPH (1 << 13) /* a graph dump is being emitted */ +#define TDF_MEMSYMS (1 << 14) /* display memory symbols in expr. + Implies TDF_VOPS. */ + +#define TDF_DIAGNOSTIC (1 << 15) /* A dump to be put in a diagnostic + message. */ +#define TDF_VERBOSE (1 << 16) /* A dump that uses the full tree + dumper to print stmts. */ +#define TDF_RHS_ONLY (1 << 17) /* a flag to only print the RHS of + a gimple stmt. */ +#define TDF_ASMNAME (1 << 18) /* display asm names of decls */ +#define TDF_EH (1 << 19) /* display EH region number + holding this gimple statement. */ +#define TDF_NOUID (1 << 20) /* omit UIDs from dumps. */ +#define TDF_ALIAS (1 << 21) /* display alias information */ +#define TDF_ENUMERATE_LOCALS (1 << 22) /* Enumerate locals by uid. */ +#define TDF_CSELIB (1 << 23) /* Dump cselib details. */ + + +/* In tree-dump.c */ + +extern char *get_dump_file_name (int); +extern int dump_enabled_p (int); +extern int dump_initialized_p (int); +extern FILE *dump_begin (int, int *); +extern void dump_end (int, FILE *); +extern void dump_node (const_tree, int, FILE *); +extern int dump_switch_p (const char *); +extern const char *dump_flag_name (int); + +/* Global variables used to communicate with passes. */ +extern FILE *dump_file; +extern int dump_flags; +extern const char *dump_file_name; + +/* Return the dump_file_info for the given phase. */ +extern struct dump_file_info *get_dump_file_info (int); + +/* Optimization pass type. */ +enum opt_pass_type +{ + GIMPLE_PASS, + RTL_PASS, + SIMPLE_IPA_PASS, + IPA_PASS +}; + +/* Describe one pass; this is the common part shared across different pass + types. */ +struct opt_pass +{ + /* Optimization pass type. */ + enum opt_pass_type type; + + /* Terse name of the pass used as a fragment of the dump file + name. If the name starts with a star, no dump happens. */ + const char *name; + + /* If non-null, this pass and all sub-passes are executed only if + the function returns true. */ + bool (*gate) (void); + + /* This is the code to run. If null, then there should be sub-passes + otherwise this pass does nothing. The return value contains + TODOs to execute in addition to those in TODO_flags_finish. */ + unsigned int (*execute) (void); + + /* A list of sub-passes to run, dependent on gate predicate. */ + struct opt_pass *sub; + + /* Next in the list of passes to run, independent of gate predicate. */ + struct opt_pass *next; + + /* Static pass number, used as a fragment of the dump file name. */ + int static_pass_number; + + /* The timevar id associated with this pass. */ + /* ??? Ideally would be dynamically assigned. */ + timevar_id_t tv_id; + + /* Sets of properties input and output from this pass. */ + unsigned int properties_required; + unsigned int properties_provided; + unsigned int properties_destroyed; + + /* Flags indicating common sets things to do before and after. */ + unsigned int todo_flags_start; + unsigned int todo_flags_finish; +}; + +/* Description of GIMPLE pass. */ +struct gimple_opt_pass +{ + struct opt_pass pass; +}; + +/* Description of RTL pass. */ +struct rtl_opt_pass +{ + struct opt_pass pass; +}; + +struct varpool_node; +struct cgraph_node; +struct cgraph_node_set_def; +struct varpool_node_set_def; + +/* Description of IPA pass with generate summary, write, execute, read and + transform stages. */ +struct ipa_opt_pass_d +{ + struct opt_pass pass; + + /* IPA passes can analyze function body and variable initializers + using this hook and produce summary. */ + void (*generate_summary) (void); + + /* This hook is used to serialize IPA summaries on disk. */ + void (*write_summary) (struct cgraph_node_set_def *, + struct varpool_node_set_def *); + + /* This hook is used to deserialize IPA summaries from disk. */ + void (*read_summary) (void); + + /* This hook is used to serialize IPA optimization summaries on disk. */ + void (*write_optimization_summary) (struct cgraph_node_set_def *, + struct varpool_node_set_def *); + + /* This hook is used to deserialize IPA summaries from disk. */ + void (*read_optimization_summary) (void); + + /* Hook to convert gimple stmt uids into true gimple statements. The second + parameter is an array of statements indexed by their uid. */ + void (*stmt_fixup) (struct cgraph_node *, gimple *); + + /* Results of interprocedural propagation of an IPA pass is applied to + function body via this hook. */ + unsigned int function_transform_todo_flags_start; + unsigned int (*function_transform) (struct cgraph_node *); + void (*variable_transform) (struct varpool_node *); +}; + +/* Description of simple IPA pass. Simple IPA passes have just one execute + hook. */ +struct simple_ipa_opt_pass +{ + struct opt_pass pass; +}; + +/* Define a tree dump switch. */ +struct dump_file_info +{ + const char *suffix; /* suffix to give output file. */ + const char *swtch; /* command line switch */ + const char *glob; /* command line glob */ + int flags; /* user flags */ + int state; /* state of play */ + int num; /* dump file number */ +}; + +/* Pass properties. */ +#define PROP_gimple_any (1 << 0) /* entire gimple grammar */ +#define PROP_gimple_lcf (1 << 1) /* lowered control flow */ +#define PROP_gimple_leh (1 << 2) /* lowered eh */ +#define PROP_cfg (1 << 3) +#define PROP_referenced_vars (1 << 4) +#define PROP_ssa (1 << 5) +#define PROP_no_crit_edges (1 << 6) +#define PROP_rtl (1 << 7) +#define PROP_gimple_lomp (1 << 8) /* lowered OpenMP directives */ +#define PROP_cfglayout (1 << 9) /* cfglayout mode on RTL */ +#define PROP_gimple_lcx (1 << 10) /* lowered complex */ + +#define PROP_trees \ + (PROP_gimple_any | PROP_gimple_lcf | PROP_gimple_leh | PROP_gimple_lomp) + +/* To-do flags. */ +#define TODO_dump_func (1 << 0) +#define TODO_ggc_collect (1 << 1) +#define TODO_verify_ssa (1 << 2) +#define TODO_verify_flow (1 << 3) +#define TODO_verify_stmts (1 << 4) +#define TODO_cleanup_cfg (1 << 5) +#define TODO_dump_cgraph (1 << 7) +#define TODO_remove_functions (1 << 8) +#define TODO_rebuild_frequencies (1 << 9) +#define TODO_verify_rtl_sharing (1 << 10) + +/* To-do flags for calls to update_ssa. */ + +/* Update the SSA form inserting PHI nodes for newly exposed symbols + and virtual names marked for updating. When updating real names, + only insert PHI nodes for a real name O_j in blocks reached by all + the new and old definitions for O_j. If the iterated dominance + frontier for O_j is not pruned, we may end up inserting PHI nodes + in blocks that have one or more edges with no incoming definition + for O_j. This would lead to uninitialized warnings for O_j's + symbol. */ +#define TODO_update_ssa (1 << 11) + +/* Update the SSA form without inserting any new PHI nodes at all. + This is used by passes that have either inserted all the PHI nodes + themselves or passes that need only to patch use-def and def-def + chains for virtuals (e.g., DCE). */ +#define TODO_update_ssa_no_phi (1 << 12) + +/* Insert PHI nodes everywhere they are needed. No pruning of the + IDF is done. This is used by passes that need the PHI nodes for + O_j even if it means that some arguments will come from the default + definition of O_j's symbol. + + WARNING: If you need to use this flag, chances are that your pass + may be doing something wrong. Inserting PHI nodes for an old name + where not all edges carry a new replacement may lead to silent + codegen errors or spurious uninitialized warnings. */ +#define TODO_update_ssa_full_phi (1 << 13) + +/* Passes that update the SSA form on their own may want to delegate + the updating of virtual names to the generic updater. Since FUD + chains are easier to maintain, this simplifies the work they need + to do. NOTE: If this flag is used, any OLD->NEW mappings for real + names are explicitly destroyed and only the symbols marked for + renaming are processed. */ +#define TODO_update_ssa_only_virtuals (1 << 14) + +/* Some passes leave unused local variables that can be removed from + cfun->local_decls. This reduces the size of dump files + and the memory footprint for VAR_DECLs. */ +#define TODO_remove_unused_locals (1 << 15) + +/* Call df_finish at the end of the pass. This is done after all of + the dumpers have been allowed to run so that they have access to + the instance before it is destroyed. */ +#define TODO_df_finish (1 << 17) + +/* Call df_verify at the end of the pass if checking is enabled. */ +#define TODO_df_verify (1 << 18) + +/* Internally used for the first instance of a pass. */ +#define TODO_mark_first_instance (1 << 19) + +/* Rebuild aliasing info. */ +#define TODO_rebuild_alias (1 << 20) + +/* Rebuild the addressable-vars bitmap and do register promotion. */ +#define TODO_update_address_taken (1 << 21) + +/* Rebuild the callgraph edges. */ +#define TODO_rebuild_cgraph_edges (1 << 22) + +/* Internally used in execute_function_todo(). */ +#define TODO_update_ssa_any \ + (TODO_update_ssa \ + | TODO_update_ssa_no_phi \ + | TODO_update_ssa_full_phi \ + | TODO_update_ssa_only_virtuals) + +#define TODO_verify_all \ + (TODO_verify_ssa | TODO_verify_flow | TODO_verify_stmts) + + +/* Register pass info. */ + +enum pass_positioning_ops +{ + PASS_POS_INSERT_AFTER, /* Insert after the reference pass. */ + PASS_POS_INSERT_BEFORE, /* Insert before the reference pass. */ + PASS_POS_REPLACE /* Replace the reference pass. */ +}; + +struct register_pass_info +{ + struct opt_pass *pass; /* New pass to register. */ + const char *reference_pass_name; /* Name of the reference pass for hooking + up the new pass. */ + int ref_pass_instance_number; /* Insert the pass at the specified + instance number of the reference pass. + Do it for every instance if it is 0. */ + enum pass_positioning_ops pos_op; /* how to insert the new pass. */ +}; + +extern void tree_lowering_passes (tree decl); + +extern struct gimple_opt_pass pass_mudflap_1; +extern struct gimple_opt_pass pass_mudflap_2; +extern struct gimple_opt_pass pass_lower_cf; +extern struct gimple_opt_pass pass_refactor_eh; +extern struct gimple_opt_pass pass_lower_eh; +extern struct gimple_opt_pass pass_lower_eh_dispatch; +extern struct gimple_opt_pass pass_lower_resx; +extern struct gimple_opt_pass pass_build_cfg; +extern struct gimple_opt_pass pass_early_tree_profile; +extern struct gimple_opt_pass pass_referenced_vars; +extern struct gimple_opt_pass pass_cleanup_eh; +extern struct gimple_opt_pass pass_sra; +extern struct gimple_opt_pass pass_sra_early; +extern struct gimple_opt_pass pass_early_ipa_sra; +extern struct gimple_opt_pass pass_tail_recursion; +extern struct gimple_opt_pass pass_tail_calls; +extern struct gimple_opt_pass pass_tree_loop; +extern struct gimple_opt_pass pass_tree_loop_init; +extern struct gimple_opt_pass pass_lim; +extern struct gimple_opt_pass pass_tree_unswitch; +extern struct gimple_opt_pass pass_predcom; +extern struct gimple_opt_pass pass_iv_canon; +extern struct gimple_opt_pass pass_scev_cprop; +extern struct gimple_opt_pass pass_empty_loop; +extern struct gimple_opt_pass pass_record_bounds; +extern struct gimple_opt_pass pass_graphite; +extern struct gimple_opt_pass pass_graphite_transforms; +extern struct gimple_opt_pass pass_if_conversion; +extern struct gimple_opt_pass pass_loop_distribution; +extern struct gimple_opt_pass pass_vectorize; +extern struct gimple_opt_pass pass_slp_vectorize; +extern struct gimple_opt_pass pass_complete_unroll; +extern struct gimple_opt_pass pass_complete_unrolli; +extern struct gimple_opt_pass pass_parallelize_loops; +extern struct gimple_opt_pass pass_loop_prefetch; +extern struct gimple_opt_pass pass_iv_optimize; +extern struct gimple_opt_pass pass_tree_loop_done; +extern struct gimple_opt_pass pass_ch; +extern struct gimple_opt_pass pass_ccp; +extern struct gimple_opt_pass pass_phi_only_cprop; +extern struct gimple_opt_pass pass_build_ssa; +extern struct gimple_opt_pass pass_build_alias; +extern struct gimple_opt_pass pass_build_ealias; +extern struct gimple_opt_pass pass_dominator; +extern struct gimple_opt_pass pass_dce; +extern struct gimple_opt_pass pass_dce_loop; +extern struct gimple_opt_pass pass_cd_dce; +extern struct gimple_opt_pass pass_call_cdce; +extern struct gimple_opt_pass pass_merge_phi; +extern struct gimple_opt_pass pass_split_crit_edges; +extern struct gimple_opt_pass pass_pre; +extern struct gimple_opt_pass pass_profile; +extern struct gimple_opt_pass pass_strip_predict_hints; +extern struct gimple_opt_pass pass_lower_complex_O0; +extern struct gimple_opt_pass pass_lower_complex; +extern struct gimple_opt_pass pass_lower_vector; +extern struct gimple_opt_pass pass_lower_vector_ssa; +extern struct gimple_opt_pass pass_lower_omp; +extern struct gimple_opt_pass pass_diagnose_omp_blocks; +extern struct gimple_opt_pass pass_expand_omp; +extern struct gimple_opt_pass pass_expand_omp_ssa; +extern struct gimple_opt_pass pass_object_sizes; +extern struct gimple_opt_pass pass_fold_builtins; +extern struct gimple_opt_pass pass_stdarg; +extern struct gimple_opt_pass pass_early_warn_uninitialized; +extern struct gimple_opt_pass pass_late_warn_uninitialized; +extern struct gimple_opt_pass pass_cse_reciprocals; +extern struct gimple_opt_pass pass_cse_sincos; +extern struct gimple_opt_pass pass_optimize_bswap; +extern struct gimple_opt_pass pass_optimize_widening_mul; +extern struct gimple_opt_pass pass_warn_function_return; +extern struct gimple_opt_pass pass_warn_function_noreturn; +extern struct gimple_opt_pass pass_cselim; +extern struct gimple_opt_pass pass_phiopt; +extern struct gimple_opt_pass pass_forwprop; +extern struct gimple_opt_pass pass_phiprop; +extern struct gimple_opt_pass pass_tree_ifcombine; +extern struct gimple_opt_pass pass_dse; +extern struct gimple_opt_pass pass_nrv; +extern struct gimple_opt_pass pass_rename_ssa_copies; +extern struct gimple_opt_pass pass_rest_of_compilation; +extern struct gimple_opt_pass pass_sink_code; +extern struct gimple_opt_pass pass_fre; +extern struct gimple_opt_pass pass_check_data_deps; +extern struct gimple_opt_pass pass_copy_prop; +extern struct gimple_opt_pass pass_vrp; +extern struct gimple_opt_pass pass_uncprop; +extern struct gimple_opt_pass pass_return_slot; +extern struct gimple_opt_pass pass_reassoc; +extern struct gimple_opt_pass pass_rebuild_cgraph_edges; +extern struct gimple_opt_pass pass_remove_cgraph_callee_edges; +extern struct gimple_opt_pass pass_build_cgraph_edges; +extern struct gimple_opt_pass pass_local_pure_const; +extern struct gimple_opt_pass pass_tracer; +extern struct gimple_opt_pass pass_warn_unused_result; +extern struct gimple_opt_pass pass_split_functions; +extern struct gimple_opt_pass pass_feedback_split_functions; + +/* IPA Passes */ +extern struct simple_ipa_opt_pass pass_ipa_lower_emutls; +extern struct simple_ipa_opt_pass pass_ipa_function_and_variable_visibility; +extern struct simple_ipa_opt_pass pass_ipa_tree_profile; + +extern struct simple_ipa_opt_pass pass_early_local_passes; + +extern struct ipa_opt_pass_d pass_ipa_whole_program_visibility; +extern struct ipa_opt_pass_d pass_ipa_lto_gimple_out; +extern struct simple_ipa_opt_pass pass_ipa_increase_alignment; +extern struct simple_ipa_opt_pass pass_ipa_matrix_reorg; +extern struct ipa_opt_pass_d pass_ipa_inline; +extern struct simple_ipa_opt_pass pass_ipa_free_lang_data; +extern struct ipa_opt_pass_d pass_ipa_cp; +extern struct ipa_opt_pass_d pass_ipa_reference; +extern struct ipa_opt_pass_d pass_ipa_pure_const; +extern struct simple_ipa_opt_pass pass_ipa_type_escape; +extern struct simple_ipa_opt_pass pass_ipa_pta; +extern struct simple_ipa_opt_pass pass_ipa_struct_reorg; +extern struct ipa_opt_pass_d pass_ipa_lto_wpa_fixup; +extern struct ipa_opt_pass_d pass_ipa_lto_finish_out; +extern struct ipa_opt_pass_d pass_ipa_profile; +extern struct ipa_opt_pass_d pass_ipa_cdtor_merge; + +extern struct gimple_opt_pass pass_all_optimizations; +extern struct gimple_opt_pass pass_cleanup_cfg_post_optimizing; +extern struct gimple_opt_pass pass_init_datastructures; +extern struct gimple_opt_pass pass_fixup_cfg; + +extern struct rtl_opt_pass pass_expand; +extern struct rtl_opt_pass pass_init_function; +extern struct rtl_opt_pass pass_jump; +extern struct rtl_opt_pass pass_rtl_eh; +extern struct rtl_opt_pass pass_initial_value_sets; +extern struct rtl_opt_pass pass_unshare_all_rtl; +extern struct rtl_opt_pass pass_instantiate_virtual_regs; +extern struct rtl_opt_pass pass_rtl_fwprop; +extern struct rtl_opt_pass pass_rtl_fwprop_addr; +extern struct rtl_opt_pass pass_jump2; +extern struct rtl_opt_pass pass_lower_subreg; +extern struct rtl_opt_pass pass_cse; +extern struct rtl_opt_pass pass_fast_rtl_dce; +extern struct rtl_opt_pass pass_ud_rtl_dce; +extern struct rtl_opt_pass pass_rtl_dce; +extern struct rtl_opt_pass pass_rtl_dse1; +extern struct rtl_opt_pass pass_rtl_dse2; +extern struct rtl_opt_pass pass_rtl_dse3; +extern struct rtl_opt_pass pass_rtl_cprop; +extern struct rtl_opt_pass pass_rtl_pre; +extern struct rtl_opt_pass pass_rtl_hoist; +extern struct rtl_opt_pass pass_rtl_store_motion; +extern struct rtl_opt_pass pass_cse_after_global_opts; +extern struct rtl_opt_pass pass_rtl_ifcvt; + +extern struct rtl_opt_pass pass_into_cfg_layout_mode; +extern struct rtl_opt_pass pass_outof_cfg_layout_mode; + +extern struct rtl_opt_pass pass_loop2; +extern struct rtl_opt_pass pass_rtl_loop_init; +extern struct rtl_opt_pass pass_rtl_move_loop_invariants; +extern struct rtl_opt_pass pass_rtl_unswitch; +extern struct rtl_opt_pass pass_rtl_unroll_and_peel_loops; +extern struct rtl_opt_pass pass_rtl_doloop; +extern struct rtl_opt_pass pass_rtl_loop_done; + +extern struct rtl_opt_pass pass_web; +extern struct rtl_opt_pass pass_cse2; +extern struct rtl_opt_pass pass_df_initialize_opt; +extern struct rtl_opt_pass pass_df_initialize_no_opt; +extern struct rtl_opt_pass pass_reginfo_init; +extern struct rtl_opt_pass pass_inc_dec; +extern struct rtl_opt_pass pass_stack_ptr_mod; +extern struct rtl_opt_pass pass_initialize_regs; +extern struct rtl_opt_pass pass_combine; +extern struct rtl_opt_pass pass_if_after_combine; +extern struct rtl_opt_pass pass_implicit_zee; +extern struct rtl_opt_pass pass_partition_blocks; +extern struct rtl_opt_pass pass_match_asm_constraints; +extern struct rtl_opt_pass pass_regmove; +extern struct rtl_opt_pass pass_split_all_insns; +extern struct rtl_opt_pass pass_fast_rtl_byte_dce; +extern struct rtl_opt_pass pass_lower_subreg2; +extern struct rtl_opt_pass pass_mode_switching; +extern struct rtl_opt_pass pass_sms; +extern struct rtl_opt_pass pass_sched; +extern struct rtl_opt_pass pass_ira; +extern struct rtl_opt_pass pass_postreload; +extern struct rtl_opt_pass pass_clean_state; +extern struct rtl_opt_pass pass_branch_prob; +extern struct rtl_opt_pass pass_value_profile_transformations; +extern struct rtl_opt_pass pass_postreload_cse; +extern struct rtl_opt_pass pass_gcse2; +extern struct rtl_opt_pass pass_split_after_reload; +extern struct rtl_opt_pass pass_branch_target_load_optimize1; +extern struct rtl_opt_pass pass_thread_prologue_and_epilogue; +extern struct rtl_opt_pass pass_stack_adjustments; +extern struct rtl_opt_pass pass_peephole2; +extern struct rtl_opt_pass pass_if_after_reload; +extern struct rtl_opt_pass pass_regrename; +extern struct rtl_opt_pass pass_cprop_hardreg; +extern struct rtl_opt_pass pass_reorder_blocks; +extern struct rtl_opt_pass pass_branch_target_load_optimize2; +extern struct rtl_opt_pass pass_leaf_regs; +extern struct rtl_opt_pass pass_split_before_sched2; +extern struct rtl_opt_pass pass_compare_elim_after_reload; +extern struct rtl_opt_pass pass_sched2; +extern struct rtl_opt_pass pass_stack_regs; +extern struct rtl_opt_pass pass_stack_regs_run; +extern struct rtl_opt_pass pass_df_finish; +extern struct rtl_opt_pass pass_compute_alignments; +extern struct rtl_opt_pass pass_duplicate_computed_gotos; +extern struct rtl_opt_pass pass_variable_tracking; +extern struct rtl_opt_pass pass_free_cfg; +extern struct rtl_opt_pass pass_machine_reorg; +extern struct rtl_opt_pass pass_cleanup_barriers; +extern struct rtl_opt_pass pass_delay_slots; +extern struct rtl_opt_pass pass_split_for_shorten_branches; +extern struct rtl_opt_pass pass_split_before_regstack; +extern struct rtl_opt_pass pass_convert_to_eh_region_ranges; +extern struct rtl_opt_pass pass_shorten_branches; +extern struct rtl_opt_pass pass_set_nothrow_function_flags; +extern struct rtl_opt_pass pass_final; +extern struct rtl_opt_pass pass_rtl_seqabstr; +extern struct gimple_opt_pass pass_release_ssa_names; +extern struct gimple_opt_pass pass_early_inline; +extern struct gimple_opt_pass pass_inline_parameters; +extern struct gimple_opt_pass pass_all_early_optimizations; +extern struct gimple_opt_pass pass_update_address_taken; +extern struct gimple_opt_pass pass_convert_switch; + +/* The root of the compilation pass tree, once constructed. */ +extern struct opt_pass *all_passes, *all_small_ipa_passes, *all_lowering_passes, + *all_regular_ipa_passes, *all_lto_gen_passes; + +/* Define a list of pass lists so that both passes.c and plugins can easily + find all the pass lists. */ +#define GCC_PASS_LISTS \ + DEF_PASS_LIST (all_lowering_passes) \ + DEF_PASS_LIST (all_small_ipa_passes) \ + DEF_PASS_LIST (all_regular_ipa_passes) \ + DEF_PASS_LIST (all_lto_gen_passes) \ + DEF_PASS_LIST (all_passes) + +#define DEF_PASS_LIST(LIST) PASS_LIST_NO_##LIST, +enum +{ + GCC_PASS_LISTS + PASS_LIST_NUM +}; +#undef DEF_PASS_LIST + +/* This is used by plugins, and should also be used in + passes.c:register_pass. */ +extern struct opt_pass **gcc_pass_lists[]; + +/* Current optimization pass. */ +extern struct opt_pass *current_pass; + +extern struct opt_pass * get_pass_for_id (int); +extern bool execute_one_pass (struct opt_pass *); +extern void execute_pass_list (struct opt_pass *); +extern void execute_ipa_pass_list (struct opt_pass *); +extern void execute_ipa_summary_passes (struct ipa_opt_pass_d *); +extern void execute_all_ipa_transforms (void); +extern void execute_all_ipa_stmt_fixups (struct cgraph_node *, gimple *); +extern bool pass_init_dump_file (struct opt_pass *); +extern void pass_fini_dump_file (struct opt_pass *); + +extern const char *get_current_pass_name (void); +extern void print_current_pass (FILE *); +extern void debug_pass (void); +extern void ipa_write_summaries (void); +extern void ipa_write_optimization_summaries (struct cgraph_node_set_def *, + struct varpool_node_set_def *); +extern void ipa_read_summaries (void); +extern void ipa_read_optimization_summaries (void); +extern void register_one_dump_file (struct opt_pass *); +extern bool function_called_by_processed_nodes_p (void); +extern void register_pass (struct register_pass_info *); + +/* Set to true if the pass is called the first time during compilation of the + current function. Note that using this information in the optimization + passes is considered not to be clean, and it should be avoided if possible. + This flag is currently used to prevent loops from being peeled repeatedly + in jump threading; it will be removed once we preserve loop structures + throughout the compilation -- we will be able to mark the affected loops + directly in jump threading, and avoid peeling them next time. */ +extern bool first_pass_instance; + +/* Declare for plugins. */ +extern void do_per_function_toporder (void (*) (void *), void *); + +#endif /* GCC_TREE_PASS_H */ |