1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2013 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This is the top level of cc1/c++.
21 It parses command args, opens files, invokes the various passes
22 in the proper order, and counts the time used by each.
23 Error messages and low-level interface to malloc also handled here. */
27 #include "coretypes.h"
30 #include "hash-table.h"
36 #include "insn-attr.h"
37 #include "insn-config.h"
38 #include "insn-flags.h"
39 #include "hard-reg-set.h"
46 #include "basic-block.h"
51 #include "diagnostic-core.h"
56 #include "langhooks.h"
58 #include "hosthooks.h"
61 #include "value-prof.h"
62 #include "tree-inline.h"
64 #include "gimple-ssa.h"
66 #include "tree-ssanames.h"
67 #include "tree-ssa-loop-manip.h"
68 #include "tree-into-ssa.h"
71 #include "tree-pass.h"
72 #include "tree-dump.h"
75 #include "lto-streamer.h"
77 #include "ipa-utils.h"
78 #include "tree-pretty-print.h" /* for dump_function_header */
80 #include "pass_manager.h"
81 #include "tree-ssa-live.h" /* For remove_unused_locals. */
82 #include "tree-cfgcleanup.h"
86 /* This is used for debugging. It allows the current pass to printed
87 from anywhere in compilation.
88 The variable current_pass is also used for statistics and plugins. */
89 struct opt_pass
*current_pass
;
91 static void register_pass_name (struct opt_pass
*, const char *);
93 /* Most passes are single-instance (within their context) and thus don't
94 need to implement cloning, but passes that support multiple instances
95 *must* provide their own implementation of the clone method.
97 Handle this by providing a default implemenation, but make it a fatal
103 internal_error ("pass %s does not support cloning", name
);
118 opt_pass::opt_pass (const pass_data
&data
, context
*ctxt
)
122 static_pass_number (0),
129 pass_manager::execute_early_local_passes ()
131 execute_pass_list (pass_early_local_passes_1
->sub
);
135 pass_manager::execute_pass_mode_switching ()
137 return pass_mode_switching_1
->execute ();
141 /* Call from anywhere to find out what pass this is. Useful for
142 printing out debugging information deep inside an service
145 print_current_pass (FILE *file
)
148 fprintf (file
, "current pass = %s (%d)\n",
149 current_pass
->name
, current_pass
->static_pass_number
);
151 fprintf (file
, "no current pass.\n");
155 /* Call from the debugger to get the current pass name. */
159 print_current_pass (stderr
);
164 /* Global variables used to communicate with passes. */
166 bool first_pass_instance
;
169 /* This is called from various places for FUNCTION_DECL, VAR_DECL,
172 This does nothing for local (non-static) variables, unless the
173 variable is a register variable with DECL_ASSEMBLER_NAME set. In
174 that case, or if the variable is not an automatic, it sets up the
175 RTL and outputs any assembler code (label definition, storage
176 allocation and initialization).
178 DECL is the declaration. TOP_LEVEL is nonzero
179 if this declaration is not within a function. */
182 rest_of_decl_compilation (tree decl
,
186 /* We deferred calling assemble_alias so that we could collect
187 other attributes such as visibility. Emit the alias now. */
191 alias
= lookup_attribute ("alias", DECL_ATTRIBUTES (decl
));
194 alias
= TREE_VALUE (TREE_VALUE (alias
));
195 alias
= get_identifier (TREE_STRING_POINTER (alias
));
196 /* A quirk of the initial implementation of aliases required that the
197 user add "extern" to all of them. Which is silly, but now
198 historical. Do note that the symbol is in fact locally defined. */
199 DECL_EXTERNAL (decl
) = 0;
200 TREE_STATIC (decl
) = 1;
201 assemble_alias (decl
, alias
);
205 /* Can't defer this, because it needs to happen before any
206 later function definitions are processed. */
207 if (DECL_ASSEMBLER_NAME_SET_P (decl
) && DECL_REGISTER (decl
))
208 make_decl_rtl (decl
);
210 /* Forward declarations for nested functions are not "external",
211 but we need to treat them as if they were. */
212 if (TREE_STATIC (decl
) || DECL_EXTERNAL (decl
)
213 || TREE_CODE (decl
) == FUNCTION_DECL
)
215 timevar_push (TV_VARCONST
);
217 /* Don't output anything when a tentative file-scope definition
218 is seen. But at end of compilation, do output code for them.
220 We do output all variables and rely on
221 callgraph code to defer them except for forward declarations
222 (see gcc.c-torture/compile/920624-1.c) */
224 || !DECL_DEFER_OUTPUT (decl
)
225 || DECL_INITIAL (decl
))
226 && (TREE_CODE (decl
) != VAR_DECL
|| !DECL_HAS_VALUE_EXPR_P (decl
))
227 && !DECL_EXTERNAL (decl
))
229 /* When reading LTO unit, we also read varpool, so do not
231 if (in_lto_p
&& !at_end
)
233 else if (TREE_CODE (decl
) != FUNCTION_DECL
)
234 varpool_finalize_decl (decl
);
237 #ifdef ASM_FINISH_DECLARE_OBJECT
238 if (decl
== last_assemble_variable_decl
)
240 ASM_FINISH_DECLARE_OBJECT (asm_out_file
, decl
,
245 timevar_pop (TV_VARCONST
);
247 else if (TREE_CODE (decl
) == TYPE_DECL
248 /* Like in rest_of_type_compilation, avoid confusing the debug
249 information machinery when there are errors. */
252 timevar_push (TV_SYMOUT
);
253 debug_hooks
->type_decl (decl
, !top_level
);
254 timevar_pop (TV_SYMOUT
);
257 /* Let cgraph know about the existence of variables. */
258 if (in_lto_p
&& !at_end
)
260 else if (TREE_CODE (decl
) == VAR_DECL
&& !DECL_EXTERNAL (decl
)
261 && TREE_STATIC (decl
))
262 varpool_node_for_decl (decl
);
265 /* Called after finishing a record, union or enumeral type. */
268 rest_of_type_compilation (tree type
, int toplev
)
270 /* Avoid confusing the debug information machinery when there are
275 timevar_push (TV_SYMOUT
);
276 debug_hooks
->type_decl (TYPE_STUB_DECL (type
), !toplev
);
277 timevar_pop (TV_SYMOUT
);
284 finish_optimization_passes (void)
287 struct dump_file_info
*dfi
;
289 gcc::dump_manager
*dumps
= m_ctxt
->get_dumps ();
291 timevar_push (TV_DUMP
);
292 if (profile_arc_flag
|| flag_test_coverage
|| flag_branch_probabilities
)
294 dumps
->dump_start (pass_profile_1
->static_pass_number
, NULL
);
296 dumps
->dump_finish (pass_profile_1
->static_pass_number
);
301 dumps
->dump_start (pass_profile_1
->static_pass_number
, NULL
);
302 print_combine_total_stats ();
303 dumps
->dump_finish (pass_profile_1
->static_pass_number
);
306 /* Do whatever is necessary to finish printing the graphs. */
307 for (i
= TDI_end
; (dfi
= dumps
->get_dump_file_info (i
)) != NULL
; ++i
)
308 if (dumps
->dump_initialized_p (i
)
309 && (dfi
->pflags
& TDF_GRAPH
) != 0
310 && (name
= dumps
->get_dump_file_name (i
)) != NULL
)
312 finish_graph_dump_file (name
);
316 timevar_pop (TV_DUMP
);
320 execute_all_early_local_passes (void)
322 /* Once this pass (and its sub-passes) are complete, all functions
323 will be in SSA form. Technically this state change is happening
324 a tad early, since the sub-passes have not yet run, but since
325 none of the sub-passes are IPA passes and do not create new
326 functions, this is ok. We're setting this value for the benefit
327 of IPA passes that follow. */
328 if (cgraph_state
< CGRAPH_STATE_IPA_SSA
)
329 cgraph_state
= CGRAPH_STATE_IPA_SSA
;
333 /* Gate: execute, or not, all of the non-trivial optimizations. */
336 gate_all_early_local_passes (void)
338 /* Don't bother doing anything if the program has errors. */
339 return (!seen_error () && !in_lto_p
);
344 const pass_data pass_data_early_local_passes
=
346 SIMPLE_IPA_PASS
, /* type */
347 "early_local_cleanups", /* name */
348 OPTGROUP_NONE
, /* optinfo_flags */
350 true, /* has_execute */
351 TV_EARLY_LOCAL
, /* tv_id */
352 0, /* properties_required */
353 0, /* properties_provided */
354 0, /* properties_destroyed */
355 0, /* todo_flags_start */
356 TODO_remove_functions
, /* todo_flags_finish */
359 class pass_early_local_passes
: public simple_ipa_opt_pass
362 pass_early_local_passes (gcc::context
*ctxt
)
363 : simple_ipa_opt_pass (pass_data_early_local_passes
, ctxt
)
366 /* opt_pass methods: */
367 bool gate () { return gate_all_early_local_passes (); }
368 unsigned int execute () { return execute_all_early_local_passes (); }
370 }; // class pass_early_local_passes
374 simple_ipa_opt_pass
*
375 make_pass_early_local_passes (gcc::context
*ctxt
)
377 return new pass_early_local_passes (ctxt
);
380 /* Gate: execute, or not, all of the non-trivial optimizations. */
383 gate_all_early_optimizations (void)
385 return (optimize
>= 1
386 /* Don't bother doing anything if the program has errors. */
392 const pass_data pass_data_all_early_optimizations
=
394 GIMPLE_PASS
, /* type */
395 "early_optimizations", /* name */
396 OPTGROUP_NONE
, /* optinfo_flags */
398 false, /* has_execute */
400 0, /* properties_required */
401 0, /* properties_provided */
402 0, /* properties_destroyed */
403 0, /* todo_flags_start */
404 0, /* todo_flags_finish */
407 class pass_all_early_optimizations
: public gimple_opt_pass
410 pass_all_early_optimizations (gcc::context
*ctxt
)
411 : gimple_opt_pass (pass_data_all_early_optimizations
, ctxt
)
414 /* opt_pass methods: */
415 bool gate () { return gate_all_early_optimizations (); }
417 }; // class pass_all_early_optimizations
421 static gimple_opt_pass
*
422 make_pass_all_early_optimizations (gcc::context
*ctxt
)
424 return new pass_all_early_optimizations (ctxt
);
427 /* Gate: execute, or not, all of the non-trivial optimizations. */
430 gate_all_optimizations (void)
432 return optimize
>= 1 && !optimize_debug
;
437 const pass_data pass_data_all_optimizations
=
439 GIMPLE_PASS
, /* type */
440 "*all_optimizations", /* name */
441 OPTGROUP_NONE
, /* optinfo_flags */
443 false, /* has_execute */
444 TV_OPTIMIZE
, /* tv_id */
445 0, /* properties_required */
446 0, /* properties_provided */
447 0, /* properties_destroyed */
448 0, /* todo_flags_start */
449 0, /* todo_flags_finish */
452 class pass_all_optimizations
: public gimple_opt_pass
455 pass_all_optimizations (gcc::context
*ctxt
)
456 : gimple_opt_pass (pass_data_all_optimizations
, ctxt
)
459 /* opt_pass methods: */
460 bool gate () { return gate_all_optimizations (); }
462 }; // class pass_all_optimizations
466 static gimple_opt_pass
*
467 make_pass_all_optimizations (gcc::context
*ctxt
)
469 return new pass_all_optimizations (ctxt
);
472 /* Gate: execute, or not, all of the non-trivial optimizations. */
475 gate_all_optimizations_g (void)
477 return optimize
>= 1 && optimize_debug
;
482 const pass_data pass_data_all_optimizations_g
=
484 GIMPLE_PASS
, /* type */
485 "*all_optimizations_g", /* name */
486 OPTGROUP_NONE
, /* optinfo_flags */
488 false, /* has_execute */
489 TV_OPTIMIZE
, /* tv_id */
490 0, /* properties_required */
491 0, /* properties_provided */
492 0, /* properties_destroyed */
493 0, /* todo_flags_start */
494 0, /* todo_flags_finish */
497 class pass_all_optimizations_g
: public gimple_opt_pass
500 pass_all_optimizations_g (gcc::context
*ctxt
)
501 : gimple_opt_pass (pass_data_all_optimizations_g
, ctxt
)
504 /* opt_pass methods: */
505 bool gate () { return gate_all_optimizations_g (); }
507 }; // class pass_all_optimizations_g
511 static gimple_opt_pass
*
512 make_pass_all_optimizations_g (gcc::context
*ctxt
)
514 return new pass_all_optimizations_g (ctxt
);
518 gate_rest_of_compilation (void)
520 /* Early return if there were errors. We can run afoul of our
521 consistency checks, and there's not really much point in fixing them. */
522 return !(rtl_dump_and_exit
|| flag_syntax_only
|| seen_error ());
527 const pass_data pass_data_rest_of_compilation
=
530 "*rest_of_compilation", /* name */
531 OPTGROUP_NONE
, /* optinfo_flags */
533 false, /* has_execute */
534 TV_REST_OF_COMPILATION
, /* tv_id */
535 PROP_rtl
, /* properties_required */
536 0, /* properties_provided */
537 0, /* properties_destroyed */
538 0, /* todo_flags_start */
539 0, /* todo_flags_finish */
542 class pass_rest_of_compilation
: public rtl_opt_pass
545 pass_rest_of_compilation (gcc::context
*ctxt
)
546 : rtl_opt_pass (pass_data_rest_of_compilation
, ctxt
)
549 /* opt_pass methods: */
550 bool gate () { return gate_rest_of_compilation (); }
552 }; // class pass_rest_of_compilation
556 static rtl_opt_pass
*
557 make_pass_rest_of_compilation (gcc::context
*ctxt
)
559 return new pass_rest_of_compilation (ctxt
);
563 gate_postreload (void)
565 return reload_completed
;
570 const pass_data pass_data_postreload
=
573 "*all-postreload", /* name */
574 OPTGROUP_NONE
, /* optinfo_flags */
576 false, /* has_execute */
577 TV_POSTRELOAD
, /* tv_id */
578 PROP_rtl
, /* properties_required */
579 0, /* properties_provided */
580 0, /* properties_destroyed */
581 0, /* todo_flags_start */
582 TODO_verify_rtl_sharing
, /* todo_flags_finish */
585 class pass_postreload
: public rtl_opt_pass
588 pass_postreload (gcc::context
*ctxt
)
589 : rtl_opt_pass (pass_data_postreload
, ctxt
)
592 /* opt_pass methods: */
593 bool gate () { return gate_postreload (); }
595 }; // class pass_postreload
599 static rtl_opt_pass
*
600 make_pass_postreload (gcc::context
*ctxt
)
602 return new pass_postreload (ctxt
);
607 /* Set the static pass number of pass PASS to ID and record that
608 in the mapping from static pass number to pass. */
612 set_pass_for_id (int id
, struct opt_pass
*pass
)
614 pass
->static_pass_number
= id
;
615 if (passes_by_id_size
<= id
)
617 passes_by_id
= XRESIZEVEC (struct opt_pass
*, passes_by_id
, id
+ 1);
618 memset (passes_by_id
+ passes_by_id_size
, 0,
619 (id
+ 1 - passes_by_id_size
) * sizeof (void *));
620 passes_by_id_size
= id
+ 1;
622 passes_by_id
[id
] = pass
;
625 /* Return the pass with the static pass number ID. */
628 pass_manager::get_pass_for_id (int id
) const
630 if (id
>= passes_by_id_size
)
632 return passes_by_id
[id
];
635 /* Iterate over the pass tree allocating dump file numbers. We want
636 to do this depth first, and independent of whether the pass is
640 register_one_dump_file (struct opt_pass
*pass
)
642 g
->get_passes ()->register_one_dump_file (pass
);
646 pass_manager::register_one_dump_file (struct opt_pass
*pass
)
648 char *dot_name
, *flag_name
, *glob_name
;
649 const char *name
, *full_name
, *prefix
;
652 int optgroup_flags
= OPTGROUP_NONE
;
653 gcc::dump_manager
*dumps
= m_ctxt
->get_dumps ();
655 /* See below in next_pass_1. */
657 if (pass
->static_pass_number
!= -1)
658 sprintf (num
, "%d", ((int) pass
->static_pass_number
< 0
659 ? 1 : pass
->static_pass_number
));
661 /* The name is both used to identify the pass for the purposes of plugins,
662 and to specify dump file name and option.
663 The latter two might want something short which is not quite unique; for
664 that reason, we may have a disambiguating prefix, followed by a space
665 to mark the start of the following dump file name / option string. */
666 name
= strchr (pass
->name
, ' ');
667 name
= name
? name
+ 1 : pass
->name
;
668 dot_name
= concat (".", name
, num
, NULL
);
669 if (pass
->type
== SIMPLE_IPA_PASS
|| pass
->type
== IPA_PASS
)
673 optgroup_flags
|= OPTGROUP_IPA
;
675 else if (pass
->type
== GIMPLE_PASS
)
686 flag_name
= concat (prefix
, name
, num
, NULL
);
687 glob_name
= concat (prefix
, name
, NULL
);
688 optgroup_flags
|= pass
->optinfo_flags
;
689 /* For any passes that do not have an optgroup set, and which are not
690 IPA passes setup above, set the optgroup to OPTGROUP_OTHER so that
691 any dump messages are emitted properly under -fopt-info(-optall). */
692 if (optgroup_flags
== OPTGROUP_NONE
)
693 optgroup_flags
= OPTGROUP_OTHER
;
694 id
= dumps
->dump_register (dot_name
, flag_name
, glob_name
, flags
,
696 set_pass_for_id (id
, pass
);
697 full_name
= concat (prefix
, pass
->name
, num
, NULL
);
698 register_pass_name (pass
, full_name
);
699 free (CONST_CAST (char *, full_name
));
702 /* Recursive worker function for register_dump_files. */
706 register_dump_files_1 (struct opt_pass
*pass
, int properties
)
710 int new_properties
= (properties
| pass
->properties_provided
)
711 & ~pass
->properties_destroyed
;
713 if (pass
->name
&& pass
->name
[0] != '*')
714 register_one_dump_file (pass
);
717 new_properties
= register_dump_files_1 (pass
->sub
, new_properties
);
719 /* If we have a gate, combine the properties that we could have with
720 and without the pass being examined. */
722 properties
&= new_properties
;
724 properties
= new_properties
;
733 /* Register the dump files for the pass_manager starting at PASS.
734 PROPERTIES reflects the properties that are guaranteed to be available at
735 the beginning of the pipeline. */
739 register_dump_files (struct opt_pass
*pass
,int properties
)
741 pass
->properties_required
|= properties
;
742 register_dump_files_1 (pass
, properties
);
747 const char* unique_name
;
748 struct opt_pass
*pass
;
751 /* Helper for pass_registry hash table. */
753 struct pass_registry_hasher
: typed_noop_remove
<pass_registry
>
755 typedef pass_registry value_type
;
756 typedef pass_registry compare_type
;
757 static inline hashval_t
hash (const value_type
*);
758 static inline bool equal (const value_type
*, const compare_type
*);
761 /* Pass registry hash function. */
764 pass_registry_hasher::hash (const value_type
*s
)
766 return htab_hash_string (s
->unique_name
);
769 /* Hash equal function */
772 pass_registry_hasher::equal (const value_type
*s1
, const compare_type
*s2
)
774 return !strcmp (s1
->unique_name
, s2
->unique_name
);
777 static hash_table
<pass_registry_hasher
> name_to_pass_map
;
779 /* Register PASS with NAME. */
782 register_pass_name (struct opt_pass
*pass
, const char *name
)
784 struct pass_registry
**slot
;
785 struct pass_registry pr
;
787 if (!name_to_pass_map
.is_created ())
788 name_to_pass_map
.create (256);
790 pr
.unique_name
= name
;
791 slot
= name_to_pass_map
.find_slot (&pr
, INSERT
);
794 struct pass_registry
*new_pr
;
796 new_pr
= XCNEW (struct pass_registry
);
797 new_pr
->unique_name
= xstrdup (name
);
802 return; /* Ignore plugin passes. */
805 /* Map from pass id to canonicalized pass name. */
807 typedef const char *char_ptr
;
808 static vec
<char_ptr
> pass_tab
= vNULL
;
810 /* Callback function for traversing NAME_TO_PASS_MAP. */
813 passes_pass_traverse (pass_registry
**p
, void *data ATTRIBUTE_UNUSED
)
815 struct opt_pass
*pass
= (*p
)->pass
;
817 gcc_assert (pass
->static_pass_number
> 0);
818 gcc_assert (pass_tab
.exists ());
820 pass_tab
[pass
->static_pass_number
] = (*p
)->unique_name
;
825 /* The function traverses NAME_TO_PASS_MAP and creates a pass info
826 table for dumping purpose. */
829 create_pass_tab (void)
831 if (!flag_dump_passes
)
834 pass_tab
.safe_grow_cleared (g
->get_passes ()->passes_by_id_size
+ 1);
835 name_to_pass_map
.traverse
<void *, passes_pass_traverse
> (NULL
);
838 static bool override_gate_status (struct opt_pass
*, tree
, bool);
840 /* Dump the instantiated name for PASS. IS_ON indicates if PASS
841 is turned on or not. */
844 dump_one_pass (struct opt_pass
*pass
, int pass_indent
)
846 int indent
= 3 * pass_indent
;
848 bool is_on
, is_really_on
;
850 is_on
= pass
->has_gate
? pass
->gate () : true;
851 is_really_on
= override_gate_status (pass
, current_function_decl
, is_on
);
853 if (pass
->static_pass_number
<= 0)
856 pn
= pass_tab
[pass
->static_pass_number
];
858 fprintf (stderr
, "%*s%-40s%*s:%s%s\n", indent
, " ", pn
,
859 (15 - indent
< 0 ? 0 : 15 - indent
), " ",
860 is_on
? " ON" : " OFF",
861 ((!is_on
) == (!is_really_on
) ? ""
862 : (is_really_on
? " (FORCED_ON)" : " (FORCED_OFF)")));
865 /* Dump pass list PASS with indentation INDENT. */
868 dump_pass_list (struct opt_pass
*pass
, int indent
)
872 dump_one_pass (pass
, indent
);
874 dump_pass_list (pass
->sub
, indent
+ 1);
880 /* Dump all optimization passes. */
885 g
->get_passes ()->dump_passes ();
889 pass_manager::dump_passes () const
891 struct cgraph_node
*n
, *node
= NULL
;
895 FOR_EACH_FUNCTION (n
)
896 if (DECL_STRUCT_FUNCTION (n
->symbol
.decl
))
905 push_cfun (DECL_STRUCT_FUNCTION (node
->symbol
.decl
));
907 dump_pass_list (all_lowering_passes
, 1);
908 dump_pass_list (all_small_ipa_passes
, 1);
909 dump_pass_list (all_regular_ipa_passes
, 1);
910 dump_pass_list (all_lto_gen_passes
, 1);
911 dump_pass_list (all_late_ipa_passes
, 1);
912 dump_pass_list (all_passes
, 1);
918 /* Returns the pass with NAME. */
920 static struct opt_pass
*
921 get_pass_by_name (const char *name
)
923 struct pass_registry
**slot
, pr
;
925 pr
.unique_name
= name
;
926 slot
= name_to_pass_map
.find_slot (&pr
, NO_INSERT
);
931 return (*slot
)->pass
;
935 /* Range [start, last]. */
941 const char *assem_name
;
942 struct uid_range
*next
;
945 typedef struct uid_range
*uid_range_p
;
948 static vec
<uid_range_p
>
949 enabled_pass_uid_range_tab
= vNULL
;
950 static vec
<uid_range_p
>
951 disabled_pass_uid_range_tab
= vNULL
;
954 /* Parse option string for -fdisable- and -fenable-
955 The syntax of the options:
958 -fdisable-<pass_name>
960 -fenable-<pass_name>=s1:e1,s2:e2,...
961 -fdisable-<pass_name>=s1:e1,s2:e2,...
965 enable_disable_pass (const char *arg
, bool is_enable
)
967 struct opt_pass
*pass
;
968 char *range_str
, *phase_name
;
969 char *argstr
= xstrdup (arg
);
970 vec
<uid_range_p
> *tab
= 0;
972 range_str
= strchr (argstr
,'=');
983 error ("unrecognized option -fenable");
985 error ("unrecognized option -fdisable");
989 pass
= get_pass_by_name (phase_name
);
990 if (!pass
|| pass
->static_pass_number
== -1)
993 error ("unknown pass %s specified in -fenable", phase_name
);
995 error ("unknown pass %s specified in -fdisable", phase_name
);
1001 tab
= &enabled_pass_uid_range_tab
;
1003 tab
= &disabled_pass_uid_range_tab
;
1005 if ((unsigned) pass
->static_pass_number
>= tab
->length ())
1006 tab
->safe_grow_cleared (pass
->static_pass_number
+ 1);
1011 uid_range_p new_range
= XCNEW (struct uid_range
);
1013 new_range
->start
= 0;
1014 new_range
->last
= (unsigned)-1;
1016 slot
= (*tab
)[pass
->static_pass_number
];
1017 new_range
->next
= slot
;
1018 (*tab
)[pass
->static_pass_number
] = new_range
;
1020 inform (UNKNOWN_LOCATION
, "enable pass %s for functions in the range "
1021 "of [%u, %u]", phase_name
, new_range
->start
, new_range
->last
);
1023 inform (UNKNOWN_LOCATION
, "disable pass %s for functions in the range "
1024 "of [%u, %u]", phase_name
, new_range
->start
, new_range
->last
);
1028 char *next_range
= NULL
;
1029 char *one_range
= range_str
;
1030 char *end_val
= NULL
;
1035 uid_range_p new_range
;
1036 char *invalid
= NULL
;
1038 char *func_name
= NULL
;
1040 next_range
= strchr (one_range
, ',');
1047 end_val
= strchr (one_range
, ':');
1053 start
= strtol (one_range
, &invalid
, 10);
1054 if (*invalid
|| start
< 0)
1056 if (end_val
|| (one_range
[0] >= '0'
1057 && one_range
[0] <= '9'))
1059 error ("Invalid range %s in option %s",
1061 is_enable
? "-fenable" : "-fdisable");
1065 func_name
= one_range
;
1069 new_range
= XCNEW (struct uid_range
);
1072 new_range
->start
= (unsigned) start
;
1073 new_range
->last
= (unsigned) start
;
1077 new_range
->start
= (unsigned) -1;
1078 new_range
->last
= (unsigned) -1;
1079 new_range
->assem_name
= xstrdup (func_name
);
1084 long last
= strtol (end_val
, &invalid
, 10);
1085 if (*invalid
|| last
< start
)
1087 error ("Invalid range %s in option %s",
1089 is_enable
? "-fenable" : "-fdisable");
1093 new_range
= XCNEW (struct uid_range
);
1094 new_range
->start
= (unsigned) start
;
1095 new_range
->last
= (unsigned) last
;
1098 slot
= (*tab
)[pass
->static_pass_number
];
1099 new_range
->next
= slot
;
1100 (*tab
)[pass
->static_pass_number
] = new_range
;
1103 if (new_range
->assem_name
)
1104 inform (UNKNOWN_LOCATION
,
1105 "enable pass %s for function %s",
1106 phase_name
, new_range
->assem_name
);
1108 inform (UNKNOWN_LOCATION
,
1109 "enable pass %s for functions in the range of [%u, %u]",
1110 phase_name
, new_range
->start
, new_range
->last
);
1114 if (new_range
->assem_name
)
1115 inform (UNKNOWN_LOCATION
,
1116 "disable pass %s for function %s",
1117 phase_name
, new_range
->assem_name
);
1119 inform (UNKNOWN_LOCATION
,
1120 "disable pass %s for functions in the range of [%u, %u]",
1121 phase_name
, new_range
->start
, new_range
->last
);
1124 one_range
= next_range
;
1125 } while (next_range
);
1131 /* Enable pass specified by ARG. */
1134 enable_pass (const char *arg
)
1136 enable_disable_pass (arg
, true);
1139 /* Disable pass specified by ARG. */
1142 disable_pass (const char *arg
)
1144 enable_disable_pass (arg
, false);
1147 /* Returns true if PASS is explicitly enabled/disabled for FUNC. */
1150 is_pass_explicitly_enabled_or_disabled (struct opt_pass
*pass
,
1152 vec
<uid_range_p
> tab
)
1154 uid_range_p slot
, range
;
1156 const char *aname
= NULL
;
1159 || (unsigned) pass
->static_pass_number
>= tab
.length ()
1160 || pass
->static_pass_number
== -1)
1163 slot
= tab
[pass
->static_pass_number
];
1167 cgraph_uid
= func
? cgraph_get_node (func
)->uid
: 0;
1168 if (func
&& DECL_ASSEMBLER_NAME_SET_P (func
))
1169 aname
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (func
));
1174 if ((unsigned) cgraph_uid
>= range
->start
1175 && (unsigned) cgraph_uid
<= range
->last
)
1177 if (range
->assem_name
&& aname
1178 && !strcmp (range
->assem_name
, aname
))
1180 range
= range
->next
;
1187 /* Update static_pass_number for passes (and the flag
1188 TODO_mark_first_instance).
1190 Passes are constructed with static_pass_number preinitialized to 0
1192 This field is used in two different ways: initially as instance numbers
1193 of their kind, and then as ids within the entire pass manager.
1195 Within pass_manager::pass_manager:
1197 * In add_pass_instance(), as called by next_pass_1 in
1198 NEXT_PASS in init_optimization_passes
1200 * When the initial instance of a pass within a pass manager is seen,
1201 it is flagged, and its static_pass_number is set to -1
1203 * On subsequent times that it is seen, the static pass number
1204 is decremented each time, so that if there are e.g. 4 dups,
1205 they have static_pass_number -4, 2, 3, 4 respectively (note
1206 how the initial one is negative and gives the count); these
1207 can be thought of as instance numbers of the specific pass
1209 * Within the register_dump_files () traversal, set_pass_for_id()
1210 is called on each pass, using these instance numbers to create
1211 dumpfile switches, and then overwriting them with a pass id,
1212 which are global to the whole pass manager (based on
1213 (TDI_end + current value of extra_dump_files_in_use) ) */
1216 add_pass_instance (struct opt_pass
*new_pass
, bool track_duplicates
,
1217 opt_pass
*initial_pass
)
1219 /* Are we dealing with the first pass of its kind, or a clone? */
1220 if (new_pass
!= initial_pass
)
1222 /* We're dealing with a clone. */
1223 new_pass
->todo_flags_start
&= ~TODO_mark_first_instance
;
1225 /* Indicate to register_dump_files that this pass has duplicates,
1226 and so it should rename the dump file. The first instance will
1227 be -1, and be number of duplicates = -static_pass_number - 1.
1228 Subsequent instances will be > 0 and just the duplicate number. */
1229 if ((new_pass
->name
&& new_pass
->name
[0] != '*') || track_duplicates
)
1231 initial_pass
->static_pass_number
-= 1;
1232 new_pass
->static_pass_number
= -initial_pass
->static_pass_number
;
1237 /* We're dealing with the first pass of its kind. */
1238 new_pass
->todo_flags_start
|= TODO_mark_first_instance
;
1239 new_pass
->static_pass_number
= -1;
1241 invoke_plugin_callbacks (PLUGIN_NEW_PASS
, new_pass
);
1245 /* Add a pass to the pass list. Duplicate the pass if it's already
1248 static struct opt_pass
**
1249 next_pass_1 (struct opt_pass
**list
, struct opt_pass
*pass
,
1250 struct opt_pass
*initial_pass
)
1252 /* Every pass should have a name so that plugins can refer to them. */
1253 gcc_assert (pass
->name
!= NULL
);
1255 add_pass_instance (pass
, false, initial_pass
);
1258 return &(*list
)->next
;
1261 /* List node for an inserted pass instance. We need to keep track of all
1262 the newly-added pass instances (with 'added_pass_nodes' defined below)
1263 so that we can register their dump files after pass-positioning is finished.
1264 Registering dumping files needs to be post-processed or the
1265 static_pass_number of the opt_pass object would be modified and mess up
1266 the dump file names of future pass instances to be added. */
1268 struct pass_list_node
1270 struct opt_pass
*pass
;
1271 struct pass_list_node
*next
;
1274 static struct pass_list_node
*added_pass_nodes
= NULL
;
1275 static struct pass_list_node
*prev_added_pass_node
;
1277 /* Insert the pass at the proper position. Return true if the pass
1278 is successfully added.
1280 NEW_PASS_INFO - new pass to be inserted
1281 PASS_LIST - root of the pass list to insert the new pass to */
1284 position_pass (struct register_pass_info
*new_pass_info
,
1285 struct opt_pass
**pass_list
)
1287 struct opt_pass
*pass
= *pass_list
, *prev_pass
= NULL
;
1288 bool success
= false;
1290 for ( ; pass
; prev_pass
= pass
, pass
= pass
->next
)
1292 /* Check if the current pass is of the same type as the new pass and
1293 matches the name and the instance number of the reference pass. */
1294 if (pass
->type
== new_pass_info
->pass
->type
1296 && !strcmp (pass
->name
, new_pass_info
->reference_pass_name
)
1297 && ((new_pass_info
->ref_pass_instance_number
== 0)
1298 || (new_pass_info
->ref_pass_instance_number
==
1299 pass
->static_pass_number
)
1300 || (new_pass_info
->ref_pass_instance_number
== 1
1301 && pass
->todo_flags_start
& TODO_mark_first_instance
)))
1303 struct opt_pass
*new_pass
;
1304 struct pass_list_node
*new_pass_node
;
1306 if (new_pass_info
->ref_pass_instance_number
== 0)
1308 new_pass
= new_pass_info
->pass
->clone ();
1309 add_pass_instance (new_pass
, true, new_pass_info
->pass
);
1313 new_pass
= new_pass_info
->pass
;
1314 add_pass_instance (new_pass
, true, new_pass
);
1317 /* Insert the new pass instance based on the positioning op. */
1318 switch (new_pass_info
->pos_op
)
1320 case PASS_POS_INSERT_AFTER
:
1321 new_pass
->next
= pass
->next
;
1322 pass
->next
= new_pass
;
1324 /* Skip newly inserted pass to avoid repeated
1325 insertions in the case where the new pass and the
1326 existing one have the same name. */
1329 case PASS_POS_INSERT_BEFORE
:
1330 new_pass
->next
= pass
;
1332 prev_pass
->next
= new_pass
;
1334 *pass_list
= new_pass
;
1336 case PASS_POS_REPLACE
:
1337 new_pass
->next
= pass
->next
;
1339 prev_pass
->next
= new_pass
;
1341 *pass_list
= new_pass
;
1342 new_pass
->sub
= pass
->sub
;
1343 new_pass
->tv_id
= pass
->tv_id
;
1347 error ("invalid pass positioning operation");
1351 /* Save the newly added pass (instance) in the added_pass_nodes
1352 list so that we can register its dump file later. Note that
1353 we cannot register the dump file now because doing so will modify
1354 the static_pass_number of the opt_pass object and therefore
1355 mess up the dump file name of future instances. */
1356 new_pass_node
= XCNEW (struct pass_list_node
);
1357 new_pass_node
->pass
= new_pass
;
1358 if (!added_pass_nodes
)
1359 added_pass_nodes
= new_pass_node
;
1361 prev_added_pass_node
->next
= new_pass_node
;
1362 prev_added_pass_node
= new_pass_node
;
1367 if (pass
->sub
&& position_pass (new_pass_info
, &pass
->sub
))
1374 /* Hooks a new pass into the pass lists.
1376 PASS_INFO - pass information that specifies the opt_pass object,
1377 reference pass, instance number, and how to position
1381 register_pass (struct register_pass_info
*pass_info
)
1383 g
->get_passes ()->register_pass (pass_info
);
1387 register_pass (opt_pass
* pass
, pass_positioning_ops pos
,
1388 const char* ref_pass_name
, int ref_pass_inst_number
)
1390 register_pass_info i
;
1392 i
.reference_pass_name
= ref_pass_name
;
1393 i
.ref_pass_instance_number
= ref_pass_inst_number
;
1396 g
->get_passes ()->register_pass (&i
);
1400 pass_manager::register_pass (struct register_pass_info
*pass_info
)
1402 bool all_instances
, success
;
1403 gcc::dump_manager
*dumps
= m_ctxt
->get_dumps ();
1405 /* The checks below could fail in buggy plugins. Existing GCC
1406 passes should never fail these checks, so we mention plugin in
1408 if (!pass_info
->pass
)
1409 fatal_error ("plugin cannot register a missing pass");
1411 if (!pass_info
->pass
->name
)
1412 fatal_error ("plugin cannot register an unnamed pass");
1414 if (!pass_info
->reference_pass_name
)
1416 ("plugin cannot register pass %qs without reference pass name",
1417 pass_info
->pass
->name
);
1419 /* Try to insert the new pass to the pass lists. We need to check
1420 all five lists as the reference pass could be in one (or all) of
1422 all_instances
= pass_info
->ref_pass_instance_number
== 0;
1423 success
= position_pass (pass_info
, &all_lowering_passes
);
1424 if (!success
|| all_instances
)
1425 success
|= position_pass (pass_info
, &all_small_ipa_passes
);
1426 if (!success
|| all_instances
)
1427 success
|= position_pass (pass_info
, &all_regular_ipa_passes
);
1428 if (!success
|| all_instances
)
1429 success
|= position_pass (pass_info
, &all_lto_gen_passes
);
1430 if (!success
|| all_instances
)
1431 success
|= position_pass (pass_info
, &all_late_ipa_passes
);
1432 if (!success
|| all_instances
)
1433 success
|= position_pass (pass_info
, &all_passes
);
1436 ("pass %qs not found but is referenced by new pass %qs",
1437 pass_info
->reference_pass_name
, pass_info
->pass
->name
);
1439 /* OK, we have successfully inserted the new pass. We need to register
1440 the dump files for the newly added pass and its duplicates (if any).
1441 Because the registration of plugin/backend passes happens after the
1442 command-line options are parsed, the options that specify single
1443 pass dumping (e.g. -fdump-tree-PASSNAME) cannot be used for new
1444 passes. Therefore we currently can only enable dumping of
1445 new passes when the 'dump-all' flags (e.g. -fdump-tree-all)
1446 are specified. While doing so, we also delete the pass_list_node
1447 objects created during pass positioning. */
1448 while (added_pass_nodes
)
1450 struct pass_list_node
*next_node
= added_pass_nodes
->next
;
1451 enum tree_dump_index tdi
;
1452 register_one_dump_file (added_pass_nodes
->pass
);
1453 if (added_pass_nodes
->pass
->type
== SIMPLE_IPA_PASS
1454 || added_pass_nodes
->pass
->type
== IPA_PASS
)
1456 else if (added_pass_nodes
->pass
->type
== GIMPLE_PASS
)
1460 /* Check if dump-all flag is specified. */
1461 if (dumps
->get_dump_file_info (tdi
)->pstate
)
1462 dumps
->get_dump_file_info (added_pass_nodes
->pass
->static_pass_number
)
1463 ->pstate
= dumps
->get_dump_file_info (tdi
)->pstate
;
1464 XDELETE (added_pass_nodes
);
1465 added_pass_nodes
= next_node
;
1469 /* Construct the pass tree. The sequencing of passes is driven by
1470 the cgraph routines:
1472 finalize_compilation_unit ()
1473 for each node N in the cgraph
1474 cgraph_analyze_function (N)
1475 cgraph_lower_function (N) -> all_lowering_passes
1477 If we are optimizing, compile is then invoked:
1480 ipa_passes () -> all_small_ipa_passes
1481 -> Analysis of all_regular_ipa_passes
1482 * possible LTO streaming at copmilation time *
1483 -> Execution of all_regular_ipa_passes
1484 * possible LTO streaming at link time *
1485 -> all_late_ipa_passes
1486 expand_all_functions ()
1487 for each node N in the cgraph
1488 expand_function (N) -> Transformation of all_regular_ipa_passes
1493 pass_manager::operator new (size_t sz
)
1495 /* Ensure that all fields of the pass manager are zero-initialized. */
1496 return xcalloc (1, sz
);
1499 pass_manager::pass_manager (context
*ctxt
)
1500 : all_passes (NULL
), all_small_ipa_passes (NULL
), all_lowering_passes (NULL
),
1501 all_regular_ipa_passes (NULL
), all_lto_gen_passes (NULL
),
1502 all_late_ipa_passes (NULL
), passes_by_id (NULL
), passes_by_id_size (0),
1505 struct opt_pass
**p
;
1507 /* Initialize the pass_lists array. */
1508 #define DEF_PASS_LIST(LIST) pass_lists[PASS_LIST_NO_##LIST] = &LIST;
1510 #undef DEF_PASS_LIST
1512 /* Build the tree of passes. */
1514 #define INSERT_PASSES_AFTER(PASS) \
1517 #define PUSH_INSERT_PASSES_WITHIN(PASS) \
1519 struct opt_pass **p = &(PASS ## _1)->sub;
1521 #define POP_INSERT_PASSES() \
1524 #define NEXT_PASS(PASS, NUM) \
1526 gcc_assert (NULL == PASS ## _ ## NUM); \
1528 PASS ## _1 = make_##PASS (m_ctxt); \
1531 gcc_assert (PASS ## _1); \
1532 PASS ## _ ## NUM = PASS ## _1->clone (); \
1534 p = next_pass_1 (p, PASS ## _ ## NUM, PASS ## _1); \
1537 #define TERMINATE_PASS_LIST() \
1540 #include "pass-instances.def"
1542 #undef INSERT_PASSES_AFTER
1543 #undef PUSH_INSERT_PASSES_WITHIN
1544 #undef POP_INSERT_PASSES
1546 #undef TERMINATE_PASS_LIST
1548 /* Register the passes with the tree dump code. */
1549 register_dump_files (all_lowering_passes
, PROP_gimple_any
);
1550 register_dump_files (all_small_ipa_passes
,
1551 PROP_gimple_any
| PROP_gimple_lcf
| PROP_gimple_leh
1553 register_dump_files (all_regular_ipa_passes
,
1554 PROP_gimple_any
| PROP_gimple_lcf
| PROP_gimple_leh
1556 register_dump_files (all_lto_gen_passes
,
1557 PROP_gimple_any
| PROP_gimple_lcf
| PROP_gimple_leh
1559 register_dump_files (all_late_ipa_passes
,
1560 PROP_gimple_any
| PROP_gimple_lcf
| PROP_gimple_leh
1562 register_dump_files (all_passes
,
1563 PROP_gimple_any
| PROP_gimple_lcf
| PROP_gimple_leh
1567 /* If we are in IPA mode (i.e., current_function_decl is NULL), call
1568 function CALLBACK for every function in the call graph. Otherwise,
1569 call CALLBACK on the current function. */
1572 do_per_function (void (*callback
) (void *data
), void *data
)
1574 if (current_function_decl
)
1578 struct cgraph_node
*node
;
1579 FOR_EACH_DEFINED_FUNCTION (node
)
1580 if (node
->symbol
.analyzed
&& gimple_has_body_p (node
->symbol
.decl
)
1581 && (!node
->clone_of
|| node
->symbol
.decl
!= node
->clone_of
->symbol
.decl
))
1583 push_cfun (DECL_STRUCT_FUNCTION (node
->symbol
.decl
));
1587 free_dominance_info (CDI_DOMINATORS
);
1588 free_dominance_info (CDI_POST_DOMINATORS
);
1596 /* Because inlining might remove no-longer reachable nodes, we need to
1597 keep the array visible to garbage collector to avoid reading collected
1600 static GTY ((length ("nnodes"))) cgraph_node_ptr
*order
;
1602 /* If we are in IPA mode (i.e., current_function_decl is NULL), call
1603 function CALLBACK for every function in the call graph. Otherwise,
1604 call CALLBACK on the current function.
1605 This function is global so that plugins can use it. */
1607 do_per_function_toporder (void (*callback
) (void *data
), void *data
)
1611 if (current_function_decl
)
1615 gcc_assert (!order
);
1616 order
= ggc_alloc_vec_cgraph_node_ptr (cgraph_n_nodes
);
1617 nnodes
= ipa_reverse_postorder (order
);
1618 for (i
= nnodes
- 1; i
>= 0; i
--)
1619 order
[i
]->process
= 1;
1620 for (i
= nnodes
- 1; i
>= 0; i
--)
1622 struct cgraph_node
*node
= order
[i
];
1624 /* Allow possibly removed nodes to be garbage collected. */
1627 if (cgraph_function_with_gimple_body_p (node
))
1629 cgraph_get_body (node
);
1630 push_cfun (DECL_STRUCT_FUNCTION (node
->symbol
.decl
));
1632 free_dominance_info (CDI_DOMINATORS
);
1633 free_dominance_info (CDI_POST_DOMINATORS
);
1644 /* Helper function to perform function body dump. */
1647 execute_function_dump (void *data ATTRIBUTE_UNUSED
)
1649 if (dump_file
&& current_function_decl
)
1651 if (cfun
->curr_properties
& PROP_trees
)
1652 dump_function_to_file (current_function_decl
, dump_file
, dump_flags
);
1654 print_rtl_with_bb (dump_file
, get_insns (), dump_flags
);
1656 /* Flush the file. If verification fails, we won't be able to
1657 close the file before aborting. */
1660 if ((cfun
->curr_properties
& PROP_cfg
)
1661 && (dump_flags
& TDF_GRAPH
))
1662 print_graph_cfg (dump_file_name
, cfun
);
1666 static struct profile_record
*profile_record
;
1668 /* Do profile consistency book-keeping for the pass with static number INDEX.
1669 If SUBPASS is zero, we run _before_ the pass, and if SUBPASS is one, then
1670 we run _after_ the pass. RUN is true if the pass really runs, or FALSE
1671 if we are only book-keeping on passes that may have selectively disabled
1672 themselves on a given function. */
1674 check_profile_consistency (int index
, int subpass
, bool run
)
1676 pass_manager
*passes
= g
->get_passes ();
1679 if (!profile_record
)
1680 profile_record
= XCNEWVEC (struct profile_record
,
1681 passes
->passes_by_id_size
);
1682 gcc_assert (index
< passes
->passes_by_id_size
&& index
>= 0);
1683 gcc_assert (subpass
< 2);
1684 profile_record
[index
].run
|= run
;
1685 account_profile_record (&profile_record
[index
], subpass
);
1688 /* Output profile consistency. */
1691 dump_profile_report (void)
1693 g
->get_passes ()->dump_profile_report ();
1697 pass_manager::dump_profile_report () const
1700 int last_freq_in
= 0, last_count_in
= 0, last_freq_out
= 0, last_count_out
= 0;
1701 gcov_type last_time
= 0, last_size
= 0;
1702 double rel_time_change
, rel_size_change
;
1703 int last_reported
= 0;
1705 if (!profile_record
)
1707 fprintf (stderr
, "\nProfile consistency report:\n\n");
1708 fprintf (stderr
, "Pass name |mismatch in |mismated out|Overall\n");
1709 fprintf (stderr
, " |freq count |freq count |size time\n");
1711 for (i
= 0; i
< passes_by_id_size
; i
++)
1712 for (j
= 0 ; j
< 2; j
++)
1713 if (profile_record
[i
].run
)
1716 rel_time_change
= (profile_record
[i
].time
[j
]
1717 - (double)last_time
) * 100 / (double)last_time
;
1719 rel_time_change
= 0;
1721 rel_size_change
= (profile_record
[i
].size
[j
]
1722 - (double)last_size
) * 100 / (double)last_size
;
1724 rel_size_change
= 0;
1726 if (profile_record
[i
].num_mismatched_freq_in
[j
] != last_freq_in
1727 || profile_record
[i
].num_mismatched_freq_out
[j
] != last_freq_out
1728 || profile_record
[i
].num_mismatched_count_in
[j
] != last_count_in
1729 || profile_record
[i
].num_mismatched_count_out
[j
] != last_count_out
1730 || rel_time_change
|| rel_size_change
)
1733 fprintf (stderr
, "%-20s %s",
1734 passes_by_id
[i
]->name
,
1735 j
? "(after TODO)" : " ");
1736 if (profile_record
[i
].num_mismatched_freq_in
[j
] != last_freq_in
)
1737 fprintf (stderr
, "| %+5i",
1738 profile_record
[i
].num_mismatched_freq_in
[j
]
1741 fprintf (stderr
, "| ");
1742 if (profile_record
[i
].num_mismatched_count_in
[j
] != last_count_in
)
1743 fprintf (stderr
, " %+5i",
1744 profile_record
[i
].num_mismatched_count_in
[j
]
1747 fprintf (stderr
, " ");
1748 if (profile_record
[i
].num_mismatched_freq_out
[j
] != last_freq_out
)
1749 fprintf (stderr
, "| %+5i",
1750 profile_record
[i
].num_mismatched_freq_out
[j
]
1753 fprintf (stderr
, "| ");
1754 if (profile_record
[i
].num_mismatched_count_out
[j
] != last_count_out
)
1755 fprintf (stderr
, " %+5i",
1756 profile_record
[i
].num_mismatched_count_out
[j
]
1759 fprintf (stderr
, " ");
1761 /* Size/time units change across gimple and RTL. */
1762 if (i
== pass_expand_1
->static_pass_number
)
1763 fprintf (stderr
, "|----------");
1766 if (rel_size_change
)
1767 fprintf (stderr
, "| %+8.4f%%", rel_size_change
);
1769 fprintf (stderr
, "| ");
1770 if (rel_time_change
)
1771 fprintf (stderr
, " %+8.4f%%", rel_time_change
);
1773 fprintf (stderr
, "\n");
1774 last_freq_in
= profile_record
[i
].num_mismatched_freq_in
[j
];
1775 last_freq_out
= profile_record
[i
].num_mismatched_freq_out
[j
];
1776 last_count_in
= profile_record
[i
].num_mismatched_count_in
[j
];
1777 last_count_out
= profile_record
[i
].num_mismatched_count_out
[j
];
1779 else if (j
&& last_reported
!= i
)
1782 fprintf (stderr
, "%-20s ------------| | |\n",
1783 passes_by_id
[i
]->name
);
1785 last_time
= profile_record
[i
].time
[j
];
1786 last_size
= profile_record
[i
].size
[j
];
1790 /* Perform all TODO actions that ought to be done on each function. */
1793 execute_function_todo (void *data
)
1795 unsigned int flags
= (size_t)data
;
1796 flags
&= ~cfun
->last_verified
;
1800 /* Always cleanup the CFG before trying to update SSA. */
1801 if (flags
& TODO_cleanup_cfg
)
1803 cleanup_tree_cfg ();
1805 /* When cleanup_tree_cfg merges consecutive blocks, it may
1806 perform some simplistic propagation when removing single
1807 valued PHI nodes. This propagation may, in turn, cause the
1808 SSA form to become out-of-date (see PR 22037). So, even
1809 if the parent pass had not scheduled an SSA update, we may
1810 still need to do one. */
1811 if (!(flags
& TODO_update_ssa_any
) && need_ssa_update_p (cfun
))
1812 flags
|= TODO_update_ssa
;
1815 if (flags
& TODO_update_ssa_any
)
1817 unsigned update_flags
= flags
& TODO_update_ssa_any
;
1818 update_ssa (update_flags
);
1819 cfun
->last_verified
&= ~TODO_verify_ssa
;
1822 if (flag_tree_pta
&& (flags
& TODO_rebuild_alias
))
1823 compute_may_aliases ();
1825 if (optimize
&& (flags
& TODO_update_address_taken
))
1826 execute_update_addresses_taken ();
1828 if (flags
& TODO_remove_unused_locals
)
1829 remove_unused_locals ();
1831 if (flags
& TODO_rebuild_frequencies
)
1832 rebuild_frequencies ();
1834 if (flags
& TODO_rebuild_cgraph_edges
)
1835 rebuild_cgraph_edges ();
1837 /* If we've seen errors do not bother running any verifiers. */
1841 #if defined ENABLE_CHECKING
1842 if (flags
& TODO_verify_ssa
1843 || (current_loops
&& loops_state_satisfies_p (LOOP_CLOSED_SSA
)))
1845 verify_gimple_in_cfg (cfun
);
1848 else if (flags
& TODO_verify_stmts
)
1849 verify_gimple_in_cfg (cfun
);
1850 if (flags
& TODO_verify_flow
)
1851 verify_flow_info ();
1852 if (current_loops
&& loops_state_satisfies_p (LOOP_CLOSED_SSA
))
1853 verify_loop_closed_ssa (false);
1854 if (flags
& TODO_verify_rtl_sharing
)
1855 verify_rtl_sharing ();
1858 cfun
->last_verified
= flags
& TODO_verify_all
;
1861 /* Perform all TODO actions. */
1863 execute_todo (unsigned int flags
)
1865 #if defined ENABLE_CHECKING
1867 && need_ssa_update_p (cfun
))
1868 gcc_assert (flags
& TODO_update_ssa_any
);
1871 timevar_push (TV_TODO
);
1873 /* Inform the pass whether it is the first time it is run. */
1874 first_pass_instance
= (flags
& TODO_mark_first_instance
) != 0;
1876 statistics_fini_pass ();
1878 do_per_function (execute_function_todo
, (void *)(size_t) flags
);
1880 /* Always remove functions just as before inlining: IPA passes might be
1881 interested to see bodies of extern inline functions that are not inlined
1882 to analyze side effects. The full removal is done just at the end
1883 of IPA pass queue. */
1884 if (flags
& TODO_remove_functions
)
1887 symtab_remove_unreachable_nodes (true, dump_file
);
1890 if ((flags
& TODO_dump_symtab
) && dump_file
&& !current_function_decl
)
1893 dump_symtab (dump_file
);
1894 /* Flush the file. If verification fails, we won't be able to
1895 close the file before aborting. */
1899 /* Now that the dumping has been done, we can get rid of the optional
1901 if (flags
& TODO_df_finish
)
1902 df_finish_pass ((flags
& TODO_df_verify
) != 0);
1904 timevar_pop (TV_TODO
);
1907 /* Verify invariants that should hold between passes. This is a place
1908 to put simple sanity checks. */
1911 verify_interpass_invariants (void)
1913 gcc_checking_assert (!fold_deferring_overflow_warnings_p ());
1916 /* Clear the last verified flag. */
1919 clear_last_verified (void *data ATTRIBUTE_UNUSED
)
1921 cfun
->last_verified
= 0;
1924 /* Helper function. Verify that the properties has been turn into the
1925 properties expected by the pass. */
1927 #ifdef ENABLE_CHECKING
1929 verify_curr_properties (void *data
)
1931 unsigned int props
= (size_t)data
;
1932 gcc_assert ((cfun
->curr_properties
& props
) == props
);
1936 /* Initialize pass dump file. */
1937 /* This is non-static so that the plugins can use it. */
1940 pass_init_dump_file (struct opt_pass
*pass
)
1942 /* If a dump file name is present, open it if enabled. */
1943 if (pass
->static_pass_number
!= -1)
1945 timevar_push (TV_DUMP
);
1946 gcc::dump_manager
*dumps
= g
->get_dumps ();
1947 bool initializing_dump
=
1948 !dumps
->dump_initialized_p (pass
->static_pass_number
);
1949 dump_file_name
= dumps
->get_dump_file_name (pass
->static_pass_number
);
1950 dumps
->dump_start (pass
->static_pass_number
, &dump_flags
);
1951 if (dump_file
&& current_function_decl
)
1952 dump_function_header (dump_file
, current_function_decl
, dump_flags
);
1953 if (initializing_dump
1954 && dump_file
&& (dump_flags
& TDF_GRAPH
)
1955 && cfun
&& (cfun
->curr_properties
& PROP_cfg
))
1956 clean_graph_dump_file (dump_file_name
);
1957 timevar_pop (TV_DUMP
);
1958 return initializing_dump
;
1964 /* Flush PASS dump file. */
1965 /* This is non-static so that plugins can use it. */
1968 pass_fini_dump_file (struct opt_pass
*pass
)
1970 timevar_push (TV_DUMP
);
1972 /* Flush and close dump file. */
1975 free (CONST_CAST (char *, dump_file_name
));
1976 dump_file_name
= NULL
;
1979 g
->get_dumps ()->dump_finish (pass
->static_pass_number
);
1980 timevar_pop (TV_DUMP
);
1983 /* After executing the pass, apply expected changes to the function
1987 update_properties_after_pass (void *data
)
1989 struct opt_pass
*pass
= (struct opt_pass
*) data
;
1990 cfun
->curr_properties
= (cfun
->curr_properties
| pass
->properties_provided
)
1991 & ~pass
->properties_destroyed
;
1994 /* Execute summary generation for all of the passes in IPA_PASS. */
1997 execute_ipa_summary_passes (struct ipa_opt_pass_d
*ipa_pass
)
2001 struct opt_pass
*pass
= ipa_pass
;
2003 /* Execute all of the IPA_PASSes in the list. */
2004 if (ipa_pass
->type
== IPA_PASS
2005 && ((!pass
->has_gate
) || pass
->gate ())
2006 && ipa_pass
->generate_summary
)
2008 pass_init_dump_file (pass
);
2010 /* If a timevar is present, start it. */
2012 timevar_push (pass
->tv_id
);
2014 ipa_pass
->generate_summary ();
2018 timevar_pop (pass
->tv_id
);
2020 pass_fini_dump_file (pass
);
2022 ipa_pass
= (struct ipa_opt_pass_d
*)ipa_pass
->next
;
2026 /* Execute IPA_PASS function transform on NODE. */
2029 execute_one_ipa_transform_pass (struct cgraph_node
*node
,
2030 struct ipa_opt_pass_d
*ipa_pass
)
2032 struct opt_pass
*pass
= ipa_pass
;
2033 unsigned int todo_after
= 0;
2035 current_pass
= pass
;
2036 if (!ipa_pass
->function_transform
)
2039 /* Note that the folders should only create gimple expressions.
2040 This is a hack until the new folder is ready. */
2041 in_gimple_form
= (cfun
&& (cfun
->curr_properties
& PROP_trees
)) != 0;
2043 pass_init_dump_file (pass
);
2045 /* Run pre-pass verification. */
2046 execute_todo (ipa_pass
->function_transform_todo_flags_start
);
2048 /* If a timevar is present, start it. */
2049 if (pass
->tv_id
!= TV_NONE
)
2050 timevar_push (pass
->tv_id
);
2053 todo_after
= ipa_pass
->function_transform (node
);
2056 if (pass
->tv_id
!= TV_NONE
)
2057 timevar_pop (pass
->tv_id
);
2059 if (profile_report
&& cfun
&& (cfun
->curr_properties
& PROP_cfg
))
2060 check_profile_consistency (pass
->static_pass_number
, 0, true);
2062 /* Run post-pass cleanup and verification. */
2063 execute_todo (todo_after
);
2064 verify_interpass_invariants ();
2065 if (profile_report
&& cfun
&& (cfun
->curr_properties
& PROP_cfg
))
2066 check_profile_consistency (pass
->static_pass_number
, 1, true);
2068 do_per_function (execute_function_dump
, NULL
);
2069 pass_fini_dump_file (pass
);
2071 current_pass
= NULL
;
2073 /* Signal this is a suitable GC collection point. */
2074 if (!(todo_after
& TODO_do_not_ggc_collect
))
2078 /* For the current function, execute all ipa transforms. */
2081 execute_all_ipa_transforms (void)
2083 struct cgraph_node
*node
;
2086 node
= cgraph_get_node (current_function_decl
);
2088 if (node
->ipa_transforms_to_apply
.exists ())
2092 for (i
= 0; i
< node
->ipa_transforms_to_apply
.length (); i
++)
2093 execute_one_ipa_transform_pass (node
, node
->ipa_transforms_to_apply
[i
]);
2094 node
->ipa_transforms_to_apply
.release ();
2098 /* Callback for do_per_function to apply all IPA transforms. */
2101 apply_ipa_transforms (void *data
)
2103 struct cgraph_node
*node
= cgraph_get_node (current_function_decl
);
2104 if (!node
->global
.inlined_to
&& node
->ipa_transforms_to_apply
.exists ())
2106 *(bool *)data
= true;
2107 execute_all_ipa_transforms ();
2108 rebuild_cgraph_edges ();
2112 /* Check if PASS is explicitly disabled or enabled and return
2113 the gate status. FUNC is the function to be processed, and
2114 GATE_STATUS is the gate status determined by pass manager by
2118 override_gate_status (struct opt_pass
*pass
, tree func
, bool gate_status
)
2120 bool explicitly_enabled
= false;
2121 bool explicitly_disabled
= false;
2124 = is_pass_explicitly_enabled_or_disabled (pass
, func
,
2125 enabled_pass_uid_range_tab
);
2127 = is_pass_explicitly_enabled_or_disabled (pass
, func
,
2128 disabled_pass_uid_range_tab
);
2130 gate_status
= !explicitly_disabled
&& (gate_status
|| explicitly_enabled
);
2139 execute_one_pass (struct opt_pass
*pass
)
2141 unsigned int todo_after
= 0;
2145 /* IPA passes are executed on whole program, so cfun should be NULL.
2146 Other passes need function context set. */
2147 if (pass
->type
== SIMPLE_IPA_PASS
|| pass
->type
== IPA_PASS
)
2148 gcc_assert (!cfun
&& !current_function_decl
);
2150 gcc_assert (cfun
&& current_function_decl
);
2152 current_pass
= pass
;
2154 /* Check whether gate check should be avoided.
2155 User controls the value of the gate through the parameter "gate_status". */
2156 gate_status
= pass
->has_gate
? pass
->gate () : true;
2157 gate_status
= override_gate_status (pass
, current_function_decl
, gate_status
);
2159 /* Override gate with plugin. */
2160 invoke_plugin_callbacks (PLUGIN_OVERRIDE_GATE
, &gate_status
);
2164 /* Run so passes selectively disabling themselves on a given function
2165 are not miscounted. */
2166 if (profile_report
&& cfun
&& (cfun
->curr_properties
& PROP_cfg
))
2168 check_profile_consistency (pass
->static_pass_number
, 0, false);
2169 check_profile_consistency (pass
->static_pass_number
, 1, false);
2171 current_pass
= NULL
;
2175 /* Pass execution event trigger: useful to identify passes being
2177 invoke_plugin_callbacks (PLUGIN_PASS_EXECUTION
, pass
);
2179 /* SIPLE IPA passes do not handle callgraphs with IPA transforms in it.
2180 Apply all trnasforms first. */
2181 if (pass
->type
== SIMPLE_IPA_PASS
)
2183 bool applied
= false;
2184 do_per_function (apply_ipa_transforms
, (void *)&applied
);
2186 symtab_remove_unreachable_nodes (true, dump_file
);
2187 /* Restore current_pass. */
2188 current_pass
= pass
;
2191 if (!quiet_flag
&& !cfun
)
2192 fprintf (stderr
, " <%s>", pass
->name
? pass
->name
: "");
2194 /* Note that the folders should only create gimple expressions.
2195 This is a hack until the new folder is ready. */
2196 in_gimple_form
= (cfun
&& (cfun
->curr_properties
& PROP_trees
)) != 0;
2198 pass_init_dump_file (pass
);
2200 /* Run pre-pass verification. */
2201 execute_todo (pass
->todo_flags_start
);
2203 #ifdef ENABLE_CHECKING
2204 do_per_function (verify_curr_properties
,
2205 (void *)(size_t)pass
->properties_required
);
2208 /* If a timevar is present, start it. */
2209 if (pass
->tv_id
!= TV_NONE
)
2210 timevar_push (pass
->tv_id
);
2213 if (pass
->has_execute
)
2215 todo_after
= pass
->execute ();
2216 do_per_function (clear_last_verified
, NULL
);
2220 if (pass
->tv_id
!= TV_NONE
)
2221 timevar_pop (pass
->tv_id
);
2223 do_per_function (update_properties_after_pass
, pass
);
2225 if (profile_report
&& cfun
&& (cfun
->curr_properties
& PROP_cfg
))
2226 check_profile_consistency (pass
->static_pass_number
, 0, true);
2228 /* Run post-pass cleanup and verification. */
2229 execute_todo (todo_after
| pass
->todo_flags_finish
);
2230 if (profile_report
&& cfun
&& (cfun
->curr_properties
& PROP_cfg
))
2231 check_profile_consistency (pass
->static_pass_number
, 1, true);
2233 verify_interpass_invariants ();
2234 do_per_function (execute_function_dump
, NULL
);
2235 if (pass
->type
== IPA_PASS
)
2237 struct cgraph_node
*node
;
2238 FOR_EACH_FUNCTION_WITH_GIMPLE_BODY (node
)
2239 node
->ipa_transforms_to_apply
.safe_push ((struct ipa_opt_pass_d
*)pass
);
2242 if (!current_function_decl
)
2243 cgraph_process_new_functions ();
2245 pass_fini_dump_file (pass
);
2247 if (pass
->type
!= SIMPLE_IPA_PASS
&& pass
->type
!= IPA_PASS
)
2248 gcc_assert (!(cfun
->curr_properties
& PROP_trees
)
2249 || pass
->type
!= RTL_PASS
);
2251 current_pass
= NULL
;
2253 /* Signal this is a suitable GC collection point. */
2254 if (!((todo_after
| pass
->todo_flags_finish
) & TODO_do_not_ggc_collect
))
2261 execute_pass_list (struct opt_pass
*pass
)
2265 gcc_assert (pass
->type
== GIMPLE_PASS
2266 || pass
->type
== RTL_PASS
);
2267 if (execute_one_pass (pass
) && pass
->sub
)
2268 execute_pass_list (pass
->sub
);
2274 /* Same as execute_pass_list but assume that subpasses of IPA passes
2275 are local passes. If SET is not NULL, write out summaries of only
2276 those node in SET. */
2279 ipa_write_summaries_2 (struct opt_pass
*pass
, struct lto_out_decl_state
*state
)
2283 struct ipa_opt_pass_d
*ipa_pass
= (struct ipa_opt_pass_d
*)pass
;
2284 gcc_assert (!current_function_decl
);
2286 gcc_assert (pass
->type
== SIMPLE_IPA_PASS
|| pass
->type
== IPA_PASS
);
2287 if (pass
->type
== IPA_PASS
2288 && ipa_pass
->write_summary
2289 && ((!pass
->has_gate
) || pass
->gate ()))
2291 /* If a timevar is present, start it. */
2293 timevar_push (pass
->tv_id
);
2295 pass_init_dump_file (pass
);
2297 ipa_pass
->write_summary ();
2299 pass_fini_dump_file (pass
);
2301 /* If a timevar is present, start it. */
2303 timevar_pop (pass
->tv_id
);
2306 if (pass
->sub
&& pass
->sub
->type
!= GIMPLE_PASS
)
2307 ipa_write_summaries_2 (pass
->sub
, state
);
2313 /* Helper function of ipa_write_summaries. Creates and destroys the
2314 decl state and calls ipa_write_summaries_2 for all passes that have
2315 summaries. SET is the set of nodes to be written. */
2318 ipa_write_summaries_1 (lto_symtab_encoder_t encoder
)
2320 pass_manager
*passes
= g
->get_passes ();
2321 struct lto_out_decl_state
*state
= lto_new_out_decl_state ();
2322 state
->symtab_node_encoder
= encoder
;
2324 lto_push_out_decl_state (state
);
2326 gcc_assert (!flag_wpa
);
2327 ipa_write_summaries_2 (passes
->all_regular_ipa_passes
, state
);
2328 ipa_write_summaries_2 (passes
->all_lto_gen_passes
, state
);
2330 gcc_assert (lto_get_out_decl_state () == state
);
2331 lto_pop_out_decl_state ();
2332 lto_delete_out_decl_state (state
);
2335 /* Write out summaries for all the nodes in the callgraph. */
2338 ipa_write_summaries (void)
2340 lto_symtab_encoder_t encoder
;
2342 struct varpool_node
*vnode
;
2343 struct cgraph_node
*node
;
2344 struct cgraph_node
**order
;
2346 if (!flag_generate_lto
|| seen_error ())
2349 encoder
= lto_symtab_encoder_new (false);
2351 /* Create the callgraph set in the same order used in
2352 cgraph_expand_all_functions. This mostly facilitates debugging,
2353 since it causes the gimple file to be processed in the same order
2354 as the source code. */
2355 order
= XCNEWVEC (struct cgraph_node
*, cgraph_n_nodes
);
2356 order_pos
= ipa_reverse_postorder (order
);
2357 gcc_assert (order_pos
== cgraph_n_nodes
);
2359 for (i
= order_pos
- 1; i
>= 0; i
--)
2361 struct cgraph_node
*node
= order
[i
];
2363 if (cgraph_function_with_gimple_body_p (node
))
2365 /* When streaming out references to statements as part of some IPA
2366 pass summary, the statements need to have uids assigned and the
2367 following does that for all the IPA passes here. Naturally, this
2368 ordering then matches the one IPA-passes get in their stmt_fixup
2371 push_cfun (DECL_STRUCT_FUNCTION (node
->symbol
.decl
));
2372 renumber_gimple_stmt_uids ();
2375 if (node
->symbol
.definition
)
2376 lto_set_symtab_encoder_in_partition (encoder
, (symtab_node
)node
);
2379 FOR_EACH_DEFINED_FUNCTION (node
)
2380 if (node
->symbol
.alias
)
2381 lto_set_symtab_encoder_in_partition (encoder
, (symtab_node
)node
);
2382 FOR_EACH_DEFINED_VARIABLE (vnode
)
2383 lto_set_symtab_encoder_in_partition (encoder
, (symtab_node
)vnode
);
2385 ipa_write_summaries_1 (compute_ltrans_boundary (encoder
));
2390 /* Same as execute_pass_list but assume that subpasses of IPA passes
2391 are local passes. If SET is not NULL, write out optimization summaries of
2392 only those node in SET. */
2395 ipa_write_optimization_summaries_1 (struct opt_pass
*pass
, struct lto_out_decl_state
*state
)
2399 struct ipa_opt_pass_d
*ipa_pass
= (struct ipa_opt_pass_d
*)pass
;
2400 gcc_assert (!current_function_decl
);
2402 gcc_assert (pass
->type
== SIMPLE_IPA_PASS
|| pass
->type
== IPA_PASS
);
2403 if (pass
->type
== IPA_PASS
2404 && ipa_pass
->write_optimization_summary
2405 && ((!pass
->has_gate
) || pass
->gate ()))
2407 /* If a timevar is present, start it. */
2409 timevar_push (pass
->tv_id
);
2411 pass_init_dump_file (pass
);
2413 ipa_pass
->write_optimization_summary ();
2415 pass_fini_dump_file (pass
);
2417 /* If a timevar is present, start it. */
2419 timevar_pop (pass
->tv_id
);
2422 if (pass
->sub
&& pass
->sub
->type
!= GIMPLE_PASS
)
2423 ipa_write_optimization_summaries_1 (pass
->sub
, state
);
2429 /* Write all the optimization summaries for the cgraph nodes in SET. If SET is
2430 NULL, write out all summaries of all nodes. */
2433 ipa_write_optimization_summaries (lto_symtab_encoder_t encoder
)
2435 struct lto_out_decl_state
*state
= lto_new_out_decl_state ();
2436 lto_symtab_encoder_iterator lsei
;
2437 state
->symtab_node_encoder
= encoder
;
2439 lto_push_out_decl_state (state
);
2440 for (lsei
= lsei_start_function_in_partition (encoder
);
2441 !lsei_end_p (lsei
); lsei_next_function_in_partition (&lsei
))
2443 struct cgraph_node
*node
= lsei_cgraph_node (lsei
);
2444 /* When streaming out references to statements as part of some IPA
2445 pass summary, the statements need to have uids assigned.
2447 For functions newly born at WPA stage we need to initialize
2449 if (node
->symbol
.definition
2450 && gimple_has_body_p (node
->symbol
.decl
))
2452 push_cfun (DECL_STRUCT_FUNCTION (node
->symbol
.decl
));
2453 renumber_gimple_stmt_uids ();
2458 gcc_assert (flag_wpa
);
2459 pass_manager
*passes
= g
->get_passes ();
2460 ipa_write_optimization_summaries_1 (passes
->all_regular_ipa_passes
, state
);
2461 ipa_write_optimization_summaries_1 (passes
->all_lto_gen_passes
, state
);
2463 gcc_assert (lto_get_out_decl_state () == state
);
2464 lto_pop_out_decl_state ();
2465 lto_delete_out_decl_state (state
);
2468 /* Same as execute_pass_list but assume that subpasses of IPA passes
2469 are local passes. */
2472 ipa_read_summaries_1 (struct opt_pass
*pass
)
2476 struct ipa_opt_pass_d
*ipa_pass
= (struct ipa_opt_pass_d
*) pass
;
2478 gcc_assert (!current_function_decl
);
2480 gcc_assert (pass
->type
== SIMPLE_IPA_PASS
|| pass
->type
== IPA_PASS
);
2482 if ((!pass
->has_gate
) || pass
->gate ())
2484 if (pass
->type
== IPA_PASS
&& ipa_pass
->read_summary
)
2486 /* If a timevar is present, start it. */
2488 timevar_push (pass
->tv_id
);
2490 pass_init_dump_file (pass
);
2492 ipa_pass
->read_summary ();
2494 pass_fini_dump_file (pass
);
2498 timevar_pop (pass
->tv_id
);
2501 if (pass
->sub
&& pass
->sub
->type
!= GIMPLE_PASS
)
2502 ipa_read_summaries_1 (pass
->sub
);
2509 /* Read all the summaries for all_regular_ipa_passes and all_lto_gen_passes. */
2512 ipa_read_summaries (void)
2514 pass_manager
*passes
= g
->get_passes ();
2515 ipa_read_summaries_1 (passes
->all_regular_ipa_passes
);
2516 ipa_read_summaries_1 (passes
->all_lto_gen_passes
);
2519 /* Same as execute_pass_list but assume that subpasses of IPA passes
2520 are local passes. */
2523 ipa_read_optimization_summaries_1 (struct opt_pass
*pass
)
2527 struct ipa_opt_pass_d
*ipa_pass
= (struct ipa_opt_pass_d
*) pass
;
2529 gcc_assert (!current_function_decl
);
2531 gcc_assert (pass
->type
== SIMPLE_IPA_PASS
|| pass
->type
== IPA_PASS
);
2533 if ((!pass
->has_gate
) || pass
->gate ())
2535 if (pass
->type
== IPA_PASS
&& ipa_pass
->read_optimization_summary
)
2537 /* If a timevar is present, start it. */
2539 timevar_push (pass
->tv_id
);
2541 pass_init_dump_file (pass
);
2543 ipa_pass
->read_optimization_summary ();
2545 pass_fini_dump_file (pass
);
2549 timevar_pop (pass
->tv_id
);
2552 if (pass
->sub
&& pass
->sub
->type
!= GIMPLE_PASS
)
2553 ipa_read_optimization_summaries_1 (pass
->sub
);
2559 /* Read all the summaries for all_regular_ipa_passes and all_lto_gen_passes. */
2562 ipa_read_optimization_summaries (void)
2564 pass_manager
*passes
= g
->get_passes ();
2565 ipa_read_optimization_summaries_1 (passes
->all_regular_ipa_passes
);
2566 ipa_read_optimization_summaries_1 (passes
->all_lto_gen_passes
);
2569 /* Same as execute_pass_list but assume that subpasses of IPA passes
2570 are local passes. */
2572 execute_ipa_pass_list (struct opt_pass
*pass
)
2576 gcc_assert (!current_function_decl
);
2578 gcc_assert (pass
->type
== SIMPLE_IPA_PASS
|| pass
->type
== IPA_PASS
);
2579 if (execute_one_pass (pass
) && pass
->sub
)
2581 if (pass
->sub
->type
== GIMPLE_PASS
)
2583 invoke_plugin_callbacks (PLUGIN_EARLY_GIMPLE_PASSES_START
, NULL
);
2584 do_per_function_toporder ((void (*)(void *))execute_pass_list
,
2586 invoke_plugin_callbacks (PLUGIN_EARLY_GIMPLE_PASSES_END
, NULL
);
2588 else if (pass
->sub
->type
== SIMPLE_IPA_PASS
2589 || pass
->sub
->type
== IPA_PASS
)
2590 execute_ipa_pass_list (pass
->sub
);
2594 gcc_assert (!current_function_decl
);
2595 cgraph_process_new_functions ();
2601 /* Execute stmt fixup hooks of all passes in PASS for NODE and STMTS. */
2604 execute_ipa_stmt_fixups (struct opt_pass
*pass
,
2605 struct cgraph_node
*node
, gimple
*stmts
)
2609 /* Execute all of the IPA_PASSes in the list. */
2610 if (pass
->type
== IPA_PASS
2611 && ((!pass
->has_gate
) || pass
->gate ()))
2613 struct ipa_opt_pass_d
*ipa_pass
= (struct ipa_opt_pass_d
*) pass
;
2615 if (ipa_pass
->stmt_fixup
)
2617 pass_init_dump_file (pass
);
2618 /* If a timevar is present, start it. */
2620 timevar_push (pass
->tv_id
);
2622 ipa_pass
->stmt_fixup (node
, stmts
);
2626 timevar_pop (pass
->tv_id
);
2627 pass_fini_dump_file (pass
);
2630 execute_ipa_stmt_fixups (pass
->sub
, node
, stmts
);
2636 /* Execute stmt fixup hooks of all IPA passes for NODE and STMTS. */
2639 execute_all_ipa_stmt_fixups (struct cgraph_node
*node
, gimple
*stmts
)
2641 pass_manager
*passes
= g
->get_passes ();
2642 execute_ipa_stmt_fixups (passes
->all_regular_ipa_passes
, node
, stmts
);
2646 extern void debug_properties (unsigned int);
2647 extern void dump_properties (FILE *, unsigned int);
2650 dump_properties (FILE *dump
, unsigned int props
)
2652 fprintf (dump
, "Properties:\n");
2653 if (props
& PROP_gimple_any
)
2654 fprintf (dump
, "PROP_gimple_any\n");
2655 if (props
& PROP_gimple_lcf
)
2656 fprintf (dump
, "PROP_gimple_lcf\n");
2657 if (props
& PROP_gimple_leh
)
2658 fprintf (dump
, "PROP_gimple_leh\n");
2659 if (props
& PROP_cfg
)
2660 fprintf (dump
, "PROP_cfg\n");
2661 if (props
& PROP_ssa
)
2662 fprintf (dump
, "PROP_ssa\n");
2663 if (props
& PROP_no_crit_edges
)
2664 fprintf (dump
, "PROP_no_crit_edges\n");
2665 if (props
& PROP_rtl
)
2666 fprintf (dump
, "PROP_rtl\n");
2667 if (props
& PROP_gimple_lomp
)
2668 fprintf (dump
, "PROP_gimple_lomp\n");
2669 if (props
& PROP_gimple_lcx
)
2670 fprintf (dump
, "PROP_gimple_lcx\n");
2671 if (props
& PROP_gimple_lvec
)
2672 fprintf (dump
, "PROP_gimple_lvec\n");
2673 if (props
& PROP_cfglayout
)
2674 fprintf (dump
, "PROP_cfglayout\n");
2678 debug_properties (unsigned int props
)
2680 dump_properties (stderr
, props
);
2683 /* Called by local passes to see if function is called by already processed nodes.
2684 Because we process nodes in topological order, this means that function is
2685 in recursive cycle or we introduced new direct calls. */
2687 function_called_by_processed_nodes_p (void)
2689 struct cgraph_edge
*e
;
2690 for (e
= cgraph_get_node (current_function_decl
)->callers
;
2694 if (e
->caller
->symbol
.decl
== current_function_decl
)
2696 if (!cgraph_function_with_gimple_body_p (e
->caller
))
2698 if (TREE_ASM_WRITTEN (e
->caller
->symbol
.decl
))
2700 if (!e
->caller
->process
&& !e
->caller
->global
.inlined_to
)
2705 fprintf (dump_file
, "Already processed call to:\n");
2706 dump_cgraph_node (dump_file
, e
->caller
);
2711 #include "gt-passes.h"