1 /* Basic IPA optimizations based on profile.
2 Copyright (C) 2003-2024 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 /* ipa-profile pass implements the following analysis propagating profille
23 - Count histogram construction. This is a histogram analyzing how much
24 time is spent executing statements with a given execution count read
25 from profile feedback. This histogram is complete only with LTO,
26 otherwise it contains information only about the current unit.
28 The information is used to set hot/cold thresholds.
29 - Next speculative indirect call resolution is performed: the local
30 profile pass assigns profile-id to each function and provide us with a
31 histogram specifying the most common target. We look up the callgraph
32 node corresponding to the target and produce a speculative call.
34 This call may or may not survive through IPA optimization based on decision
36 - Finally we propagate the following flags: unlikely executed, executed
37 once, executed at startup and executed at exit. These flags are used to
38 control code size/performance threshold and code placement (by producing
39 .text.unlikely/.text.hot/.text.startup/.text.exit subsections). */
42 #include "coretypes.h"
47 #include "alloc-pool.h"
48 #include "tree-pass.h"
50 #include "data-streamer.h"
51 #include "gimple-iterator.h"
52 #include "ipa-utils.h"
54 #include "value-prof.h"
55 #include "tree-inline.h"
56 #include "symbol-summary.h"
59 #include "ipa-fnsummary.h"
61 /* Entry in the histogram. */
63 struct histogram_entry
70 /* Histogram of profile values.
71 The histogram is represented as an ordered vector of entries allocated via
72 histogram_pool. During construction a separate hashtable is kept to lookup
75 vec
<histogram_entry
*> histogram
;
76 static object_allocator
<histogram_entry
> histogram_pool ("IPA histogram");
78 /* Hashtable support for storing SSA names hashed by their SSA_NAME_VAR. */
80 struct histogram_hash
: nofree_ptr_hash
<histogram_entry
>
82 static inline hashval_t
hash (const histogram_entry
*);
83 static inline int equal (const histogram_entry
*, const histogram_entry
*);
87 histogram_hash::hash (const histogram_entry
*val
)
93 histogram_hash::equal (const histogram_entry
*val
, const histogram_entry
*val2
)
95 return val
->count
== val2
->count
;
98 /* Account TIME and SIZE executed COUNT times into HISTOGRAM.
99 HASHTABLE is the on-side hash kept to avoid duplicates. */
102 account_time_size (hash_table
<histogram_hash
> *hashtable
,
103 vec
<histogram_entry
*> &histogram
,
104 gcov_type count
, int time
, int size
)
106 histogram_entry key
= {count
, 0, 0};
107 histogram_entry
**val
= hashtable
->find_slot (&key
, INSERT
);
111 *val
= histogram_pool
.allocate ();
113 histogram
.safe_push (*val
);
115 (*val
)->time
+= time
;
116 (*val
)->size
+= size
;
120 cmp_counts (const void *v1
, const void *v2
)
122 const histogram_entry
*h1
= *(const histogram_entry
* const *)v1
;
123 const histogram_entry
*h2
= *(const histogram_entry
* const *)v2
;
124 if (h1
->count
< h2
->count
)
126 if (h1
->count
> h2
->count
)
131 /* Dump HISTOGRAM to FILE. */
134 dump_histogram (FILE *file
, vec
<histogram_entry
*> histogram
)
137 gcov_type overall_time
= 0, cumulated_time
= 0, cumulated_size
= 0,
140 fprintf (dump_file
, "Histogram:\n");
141 for (i
= 0; i
< histogram
.length (); i
++)
143 overall_time
+= histogram
[i
]->count
* histogram
[i
]->time
;
144 overall_size
+= histogram
[i
]->size
;
150 for (i
= 0; i
< histogram
.length (); i
++)
152 cumulated_time
+= histogram
[i
]->count
* histogram
[i
]->time
;
153 cumulated_size
+= histogram
[i
]->size
;
154 fprintf (file
, " %" PRId64
": time:%i (%2.2f) size:%i (%2.2f)\n",
155 (int64_t) histogram
[i
]->count
,
157 cumulated_time
* 100.0 / overall_time
,
159 cumulated_size
* 100.0 / overall_size
);
163 /* Structure containing speculative target information from profile. */
165 struct speculative_call_target
167 speculative_call_target (unsigned int id
= 0, int prob
= 0)
168 : target_id (id
), target_probability (prob
)
172 /* Profile_id of target obtained from profile. */
173 unsigned int target_id
;
174 /* Probability that call will land in function with target_id. */
175 unsigned int target_probability
;
178 class speculative_call_summary
181 speculative_call_summary () : speculative_call_targets ()
184 auto_vec
<speculative_call_target
> speculative_call_targets
;
190 /* Class to manage call summaries. */
192 class ipa_profile_call_summaries
193 : public call_summary
<speculative_call_summary
*>
196 ipa_profile_call_summaries (symbol_table
*table
)
197 : call_summary
<speculative_call_summary
*> (table
)
200 /* Duplicate info when an edge is cloned. */
201 void duplicate (cgraph_edge
*, cgraph_edge
*,
202 speculative_call_summary
*old_sum
,
203 speculative_call_summary
*new_sum
) final override
;
206 static ipa_profile_call_summaries
*call_sums
= NULL
;
208 /* Dump all information in speculative call summary to F. */
211 speculative_call_summary::dump (FILE *f
)
215 unsigned spec_count
= speculative_call_targets
.length ();
216 for (unsigned i
= 0; i
< spec_count
; i
++)
218 speculative_call_target item
= speculative_call_targets
[i
];
219 n2
= find_func_by_profile_id (item
.target_id
);
221 fprintf (f
, " The %i speculative target is %s with prob %3.2f\n", i
,
223 item
.target_probability
/ (float) REG_BR_PROB_BASE
);
225 fprintf (f
, " The %i speculative target is %u with prob %3.2f\n", i
,
227 item
.target_probability
/ (float) REG_BR_PROB_BASE
);
231 /* Duplicate info when an edge is cloned. */
234 ipa_profile_call_summaries::duplicate (cgraph_edge
*, cgraph_edge
*,
235 speculative_call_summary
*old_sum
,
236 speculative_call_summary
*new_sum
)
241 unsigned old_count
= old_sum
->speculative_call_targets
.length ();
245 new_sum
->speculative_call_targets
.reserve_exact (old_count
);
246 new_sum
->speculative_call_targets
.quick_grow_cleared (old_count
);
248 for (unsigned i
= 0; i
< old_count
; i
++)
250 new_sum
->speculative_call_targets
[i
]
251 = old_sum
->speculative_call_targets
[i
];
255 /* Collect histogram and speculative target summaries from CFG profiles. */
258 ipa_profile_generate_summary (void)
260 struct cgraph_node
*node
;
261 gimple_stmt_iterator gsi
;
264 hash_table
<histogram_hash
> hashtable (10);
266 gcc_checking_assert (!call_sums
);
267 call_sums
= new ipa_profile_call_summaries (symtab
);
269 FOR_EACH_FUNCTION_WITH_GIMPLE_BODY (node
)
270 if (ENTRY_BLOCK_PTR_FOR_FN
271 (DECL_STRUCT_FUNCTION (node
->decl
))->count
.ipa_p ())
272 FOR_EACH_BB_FN (bb
, DECL_STRUCT_FUNCTION (node
->decl
))
276 for (gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
); gsi_next (&gsi
))
278 gimple
*stmt
= gsi_stmt (gsi
);
279 if (gimple_code (stmt
) == GIMPLE_CALL
280 && !gimple_call_fndecl (stmt
))
283 h
= gimple_histogram_value_of_type
284 (DECL_STRUCT_FUNCTION (node
->decl
),
285 stmt
, HIST_TYPE_INDIR_CALL
);
286 /* No need to do sanity check: gimple_ic_transform already
287 takes away bad histograms. */
290 gcov_type val
, count
, all
;
291 struct cgraph_edge
*e
= node
->get_edge (stmt
);
292 if (e
&& !e
->indirect_unknown_callee
)
295 speculative_call_summary
*csum
296 = call_sums
->get_create (e
);
298 for (unsigned j
= 0; j
< GCOV_TOPN_MAXIMUM_TRACKED_VALUES
;
301 if (!get_nth_most_common_value (NULL
, "indirect call",
302 h
, &val
, &count
, &all
,
306 if (val
== 0 || count
== 0)
313 "Probability capped to 1\n");
316 speculative_call_target
item (
317 val
, GCOV_COMPUTE_SCALE (count
, all
));
318 csum
->speculative_call_targets
.safe_push (item
);
321 gimple_remove_histogram_value
322 (DECL_STRUCT_FUNCTION (node
->decl
), stmt
, h
);
325 time
+= estimate_num_insns (stmt
, &eni_time_weights
);
326 size
+= estimate_num_insns (stmt
, &eni_size_weights
);
328 if (bb
->count
.ipa_p () && bb
->count
.initialized_p ())
329 account_time_size (&hashtable
, histogram
,
330 bb
->count
.ipa ().to_gcov_type (),
333 histogram
.qsort (cmp_counts
);
336 /* Serialize the speculative summary info for LTO. */
339 ipa_profile_write_edge_summary (lto_simple_output_block
*ob
,
340 speculative_call_summary
*csum
)
344 len
= csum
->speculative_call_targets
.length ();
346 gcc_assert (len
<= GCOV_TOPN_MAXIMUM_TRACKED_VALUES
);
348 streamer_write_hwi_stream (ob
->main_stream
, len
);
352 unsigned spec_count
= csum
->speculative_call_targets
.length ();
353 for (unsigned i
= 0; i
< spec_count
; i
++)
355 speculative_call_target item
= csum
->speculative_call_targets
[i
];
356 gcc_assert (item
.target_id
);
357 streamer_write_hwi_stream (ob
->main_stream
, item
.target_id
);
358 streamer_write_hwi_stream (ob
->main_stream
, item
.target_probability
);
363 /* Serialize the ipa info for lto. */
366 ipa_profile_write_summary (void)
368 struct lto_simple_output_block
*ob
369 = lto_create_simple_output_block (LTO_section_ipa_profile
);
372 streamer_write_uhwi_stream (ob
->main_stream
, histogram
.length ());
373 for (i
= 0; i
< histogram
.length (); i
++)
375 streamer_write_gcov_count_stream (ob
->main_stream
, histogram
[i
]->count
);
376 streamer_write_uhwi_stream (ob
->main_stream
, histogram
[i
]->time
);
377 streamer_write_uhwi_stream (ob
->main_stream
, histogram
[i
]->size
);
383 /* Serialize speculative targets information. */
384 unsigned int count
= 0;
385 lto_symtab_encoder_t encoder
= ob
->decl_state
->symtab_node_encoder
;
386 lto_symtab_encoder_iterator lsei
;
389 for (lsei
= lsei_start_function_in_partition (encoder
); !lsei_end_p (lsei
);
390 lsei_next_function_in_partition (&lsei
))
392 node
= lsei_cgraph_node (lsei
);
393 if (node
->definition
&& node
->has_gimple_body_p ()
394 && node
->indirect_calls
)
398 streamer_write_uhwi_stream (ob
->main_stream
, count
);
400 /* Process all of the functions. */
401 for (lsei
= lsei_start_function_in_partition (encoder
);
402 !lsei_end_p (lsei
) && count
; lsei_next_function_in_partition (&lsei
))
404 cgraph_node
*node
= lsei_cgraph_node (lsei
);
405 if (node
->definition
&& node
->has_gimple_body_p ()
406 && node
->indirect_calls
)
408 int node_ref
= lto_symtab_encoder_encode (encoder
, node
);
409 streamer_write_uhwi_stream (ob
->main_stream
, node_ref
);
411 for (cgraph_edge
*e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
413 speculative_call_summary
*csum
= call_sums
->get_create (e
);
414 ipa_profile_write_edge_summary (ob
, csum
);
419 lto_destroy_simple_output_block (ob
);
422 /* Dump all profile summary data for all cgraph nodes and edges to file F. */
425 ipa_profile_dump_all_summaries (FILE *f
)
428 "\n========== IPA-profile speculative targets: ==========\n");
430 FOR_EACH_FUNCTION_WITH_GIMPLE_BODY (node
)
432 fprintf (f
, "\nSummary for node %s:\n", node
->dump_name ());
433 for (cgraph_edge
*e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
435 fprintf (f
, " Summary for %s of indirect edge %d:\n",
436 e
->caller
->dump_name (), e
->lto_stmt_uid
);
437 speculative_call_summary
*csum
= call_sums
->get_create (e
);
444 /* Read speculative targets information about edge for LTO WPA. */
447 ipa_profile_read_edge_summary (class lto_input_block
*ib
, cgraph_edge
*edge
)
451 len
= streamer_read_hwi (ib
);
452 gcc_assert (len
<= GCOV_TOPN_MAXIMUM_TRACKED_VALUES
);
453 speculative_call_summary
*csum
= call_sums
->get_create (edge
);
455 for (i
= 0; i
< len
; i
++)
457 unsigned int target_id
= streamer_read_hwi (ib
);
458 int target_probability
= streamer_read_hwi (ib
);
459 speculative_call_target
item (target_id
, target_probability
);
460 csum
->speculative_call_targets
.safe_push (item
);
464 /* Read profile speculative targets section information for LTO WPA. */
467 ipa_profile_read_summary_section (struct lto_file_decl_data
*file_data
,
468 class lto_input_block
*ib
)
473 lto_symtab_encoder_t encoder
= file_data
->symtab_node_encoder
;
475 unsigned int count
= streamer_read_uhwi (ib
);
481 for (i
= 0; i
< count
; i
++)
483 index
= streamer_read_uhwi (ib
);
485 = dyn_cast
<cgraph_node
*> (lto_symtab_encoder_deref (encoder
, index
));
487 for (cgraph_edge
*e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
488 ipa_profile_read_edge_summary (ib
, e
);
492 /* Deserialize the IPA histogram and speculative targets summary info for LTO.
496 ipa_profile_read_summary (void)
498 struct lto_file_decl_data
** file_data_vec
499 = lto_get_file_decl_data ();
500 struct lto_file_decl_data
* file_data
;
503 hash_table
<histogram_hash
> hashtable (10);
505 gcc_checking_assert (!call_sums
);
506 call_sums
= new ipa_profile_call_summaries (symtab
);
508 while ((file_data
= file_data_vec
[j
++]))
512 class lto_input_block
*ib
513 = lto_create_simple_input_block (file_data
,
514 LTO_section_ipa_profile
,
518 unsigned int num
= streamer_read_uhwi (ib
);
520 for (n
= 0; n
< num
; n
++)
522 gcov_type count
= streamer_read_gcov_count (ib
);
523 int time
= streamer_read_uhwi (ib
);
524 int size
= streamer_read_uhwi (ib
);
525 account_time_size (&hashtable
, histogram
,
529 ipa_profile_read_summary_section (file_data
, ib
);
531 lto_destroy_simple_input_block (file_data
,
532 LTO_section_ipa_profile
,
536 histogram
.qsort (cmp_counts
);
539 /* Data used by ipa_propagate_frequency. */
541 struct ipa_propagate_frequency_data
543 cgraph_node
*function_symbol
;
544 bool maybe_unlikely_executed
;
545 bool maybe_executed_once
;
546 bool only_called_at_startup
;
547 bool only_called_at_exit
;
550 /* Worker for ipa_propagate_frequency_1. */
553 ipa_propagate_frequency_1 (struct cgraph_node
*node
, void *data
)
555 struct ipa_propagate_frequency_data
*d
;
556 struct cgraph_edge
*edge
;
558 d
= (struct ipa_propagate_frequency_data
*)data
;
559 for (edge
= node
->callers
;
560 edge
&& (d
->maybe_unlikely_executed
|| d
->maybe_executed_once
561 || d
->only_called_at_startup
|| d
->only_called_at_exit
);
562 edge
= edge
->next_caller
)
564 if (edge
->caller
!= d
->function_symbol
)
566 d
->only_called_at_startup
&= edge
->caller
->only_called_at_startup
;
567 /* It makes sense to put main() together with the static constructors.
568 It will be executed for sure, but rest of functions called from
569 main are definitely not at startup only. */
570 if (MAIN_NAME_P (DECL_NAME (edge
->caller
->decl
)))
571 d
->only_called_at_startup
= 0;
572 d
->only_called_at_exit
&= edge
->caller
->only_called_at_exit
;
575 /* When profile feedback is available, do not try to propagate too hard;
576 counts are already good guide on function frequencies and roundoff
577 errors can make us to push function into unlikely section even when
578 it is executed by the train run. Transfer the function only if all
579 callers are unlikely executed. */
581 && !(edge
->callee
->count
.ipa () == profile_count::zero ())
582 && (edge
->caller
->frequency
!= NODE_FREQUENCY_UNLIKELY_EXECUTED
583 || (edge
->caller
->inlined_to
584 && edge
->caller
->inlined_to
->frequency
585 != NODE_FREQUENCY_UNLIKELY_EXECUTED
)))
586 d
->maybe_unlikely_executed
= false;
587 if (edge
->count
.ipa ().initialized_p ()
588 && !edge
->count
.ipa ().nonzero_p ())
590 switch (edge
->caller
->frequency
)
592 case NODE_FREQUENCY_UNLIKELY_EXECUTED
:
594 case NODE_FREQUENCY_EXECUTED_ONCE
:
596 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
597 fprintf (dump_file
, " Called by %s that is executed once\n",
598 edge
->caller
->dump_name ());
599 d
->maybe_unlikely_executed
= false;
600 ipa_call_summary
*s
= ipa_call_summaries
->get (edge
);
601 if (s
!= NULL
&& s
->loop_depth
)
603 d
->maybe_executed_once
= false;
604 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
605 fprintf (dump_file
, " Called in loop\n");
609 case NODE_FREQUENCY_HOT
:
610 case NODE_FREQUENCY_NORMAL
:
611 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
612 fprintf (dump_file
, " Called by %s that is normal or hot\n",
613 edge
->caller
->dump_name ());
614 d
->maybe_unlikely_executed
= false;
615 d
->maybe_executed_once
= false;
622 /* Return ture if NODE contains hot calls. */
625 contains_hot_call_p (struct cgraph_node
*node
)
627 struct cgraph_edge
*e
;
628 for (e
= node
->callees
; e
; e
= e
->next_callee
)
629 if (e
->maybe_hot_p ())
631 else if (!e
->inline_failed
632 && contains_hot_call_p (e
->callee
))
634 for (e
= node
->indirect_calls
; e
; e
= e
->next_callee
)
635 if (e
->maybe_hot_p ())
640 /* See if the frequency of NODE can be updated based on frequencies of its
643 ipa_propagate_frequency (struct cgraph_node
*node
)
645 struct ipa_propagate_frequency_data d
= {node
, true, true, true, true};
646 bool changed
= false;
648 /* We cannot propagate anything useful about externally visible functions
649 nor about virtuals. */
652 || (opt_for_fn (node
->decl
, flag_devirtualize
)
653 && DECL_VIRTUAL_P (node
->decl
)))
655 gcc_assert (node
->analyzed
);
656 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
657 fprintf (dump_file
, "Processing frequency %s\n", node
->dump_name ());
659 node
->call_for_symbol_and_aliases (ipa_propagate_frequency_1
, &d
,
662 if ((d
.only_called_at_startup
&& !d
.only_called_at_exit
)
663 && !node
->only_called_at_startup
)
665 node
->only_called_at_startup
= true;
667 fprintf (dump_file
, "Node %s promoted to only called at startup.\n",
671 if ((d
.only_called_at_exit
&& !d
.only_called_at_startup
)
672 && !node
->only_called_at_exit
)
674 node
->only_called_at_exit
= true;
676 fprintf (dump_file
, "Node %s promoted to only called at exit.\n",
681 /* With profile we can decide on hot/normal based on count. */
682 if (node
->count
. ipa().initialized_p ())
685 if (!(node
->count
. ipa() == profile_count::zero ())
686 && node
->count
. ipa() >= get_hot_bb_threshold ())
689 hot
|= contains_hot_call_p (node
);
692 if (node
->frequency
!= NODE_FREQUENCY_HOT
)
695 fprintf (dump_file
, "Node %s promoted to hot.\n",
697 node
->frequency
= NODE_FREQUENCY_HOT
;
702 else if (node
->frequency
== NODE_FREQUENCY_HOT
)
705 fprintf (dump_file
, "Node %s reduced to normal.\n",
707 node
->frequency
= NODE_FREQUENCY_NORMAL
;
711 /* These come either from profile or user hints; never update them. */
712 if (node
->frequency
== NODE_FREQUENCY_HOT
713 || node
->frequency
== NODE_FREQUENCY_UNLIKELY_EXECUTED
)
715 if (d
.maybe_unlikely_executed
)
717 node
->frequency
= NODE_FREQUENCY_UNLIKELY_EXECUTED
;
719 fprintf (dump_file
, "Node %s promoted to unlikely executed.\n",
723 else if (d
.maybe_executed_once
&& node
->frequency
!= NODE_FREQUENCY_EXECUTED_ONCE
)
725 node
->frequency
= NODE_FREQUENCY_EXECUTED_ONCE
;
727 fprintf (dump_file
, "Node %s promoted to executed once.\n",
734 /* Check that number of arguments of N agrees with E.
735 Be conservative when summaries are not present. */
738 check_argument_count (struct cgraph_node
*n
, struct cgraph_edge
*e
)
740 if (!ipa_node_params_sum
|| !ipa_edge_args_sum
)
742 ipa_node_params
*info
= ipa_node_params_sum
->get (n
->function_symbol ());
745 ipa_edge_args
*e_info
= ipa_edge_args_sum
->get (e
);
748 if (ipa_get_param_count (info
) != ipa_get_cs_argument_count (e_info
)
749 && (ipa_get_param_count (info
) >= ipa_get_cs_argument_count (e_info
)
750 || !stdarg_p (TREE_TYPE (n
->decl
))))
755 /* Simple ipa profile pass propagating frequencies across the callgraph. */
760 struct cgraph_node
**order
;
761 struct cgraph_edge
*e
;
763 bool something_changed
= false;
765 gcov_type overall_time
= 0, cutoff
= 0, cumulated
= 0, overall_size
= 0;
766 struct cgraph_node
*n
,*n2
;
767 int nindirect
= 0, ncommon
= 0, nunknown
= 0, nuseless
= 0, nconverted
= 0;
768 int nmismatch
= 0, nimpossible
= 0;
769 bool node_map_initialized
= false;
773 dump_histogram (dump_file
, histogram
);
774 for (i
= 0; i
< (int)histogram
.length (); i
++)
776 overall_time
+= histogram
[i
]->count
* histogram
[i
]->time
;
777 overall_size
+= histogram
[i
]->size
;
782 gcc_assert (overall_size
);
784 cutoff
= (overall_time
* param_hot_bb_count_ws_permille
+ 500) / 1000;
785 for (i
= 0; cumulated
< cutoff
; i
++)
787 cumulated
+= histogram
[i
]->count
* histogram
[i
]->time
;
788 threshold
= histogram
[i
]->count
;
794 gcov_type cumulated_time
= 0, cumulated_size
= 0;
797 i
< (int)histogram
.length () && histogram
[i
]->count
>= threshold
;
800 cumulated_time
+= histogram
[i
]->count
* histogram
[i
]->time
;
801 cumulated_size
+= histogram
[i
]->size
;
803 fprintf (dump_file
, "Determined min count: %" PRId64
804 " Time:%3.2f%% Size:%3.2f%%\n",
806 cumulated_time
* 100.0 / overall_time
,
807 cumulated_size
* 100.0 / overall_size
);
813 fprintf (dump_file
, "Setting hotness threshold in LTO mode.\n");
814 set_hot_bb_threshold (threshold
);
817 histogram
.release ();
818 histogram_pool
.release ();
820 /* Produce speculative calls: we saved common target from profiling into
821 e->target_id. Now, at link time, we can look up corresponding
822 function node and produce speculative call. */
824 gcc_checking_assert (call_sums
);
828 if (!node_map_initialized
)
829 init_node_map (false);
830 node_map_initialized
= true;
832 ipa_profile_dump_all_summaries (dump_file
);
835 FOR_EACH_DEFINED_FUNCTION (n
)
839 if (!opt_for_fn (n
->decl
, flag_ipa_profile
))
842 for (e
= n
->indirect_calls
; e
; e
= e
->next_callee
)
844 if (n
->count
.initialized_p ())
847 speculative_call_summary
*csum
= call_sums
->get_create (e
);
848 unsigned spec_count
= csum
->speculative_call_targets
.length ();
851 if (!node_map_initialized
)
852 init_node_map (false);
853 node_map_initialized
= true;
856 unsigned speculative_id
= 0;
857 profile_count orig
= e
->count
;
858 for (unsigned i
= 0; i
< spec_count
; i
++)
860 speculative_call_target item
861 = csum
->speculative_call_targets
[i
];
862 n2
= find_func_by_profile_id (item
.target_id
);
868 "Indirect call -> direct call from"
869 " other module %s => %s, prob %3.2f\n",
872 item
.target_probability
873 / (float) REG_BR_PROB_BASE
);
875 if (item
.target_probability
< REG_BR_PROB_BASE
/ 2)
881 "probability is too low.\n");
883 else if (!e
->maybe_hot_p ())
888 "Not speculating: call is cold.\n");
890 else if (n2
->get_availability () <= AVAIL_INTERPOSABLE
891 && n2
->can_be_discarded_p ())
896 "Not speculating: target is overwritable "
897 "and can be discarded.\n");
899 else if (!check_argument_count (n2
, e
))
905 "parameter count mismatch\n");
907 else if (e
->indirect_info
->polymorphic
908 && !opt_for_fn (n
->decl
, flag_devirtualize
)
909 && !possible_polymorphic_call_target_p (e
, n2
))
915 "function is not in the polymorphic "
916 "call target list\n");
920 /* Target may be overwritable, but profile says that
921 control flow goes to this particular implementation
922 of N2. Speculate on the local alias to allow
924 if (!n2
->can_be_discarded_p ())
927 alias
= dyn_cast
<cgraph_node
*>
928 (n2
->noninterposable_alias ());
933 profile_probability prob
934 = profile_probability::from_reg_br_prob_base
935 (item
.target_probability
).adjusted ();
936 e
->make_speculative (n2
,
937 orig
.apply_probability (prob
),
947 "Function with profile-id %i not found.\n",
955 ipa_update_overall_fn_summary (n
);
957 if (node_map_initialized
)
959 if (dump_file
&& nindirect
)
961 "%i indirect calls trained.\n"
962 "%i (%3.2f%%) have common target.\n"
963 "%i (%3.2f%%) targets was not found.\n"
964 "%i (%3.2f%%) targets had parameter count mismatch.\n"
965 "%i (%3.2f%%) targets was not in polymorphic call target list.\n"
966 "%i (%3.2f%%) speculations seems useless.\n"
967 "%i (%3.2f%%) speculations produced.\n",
969 ncommon
, ncommon
* 100.0 / nindirect
,
970 nunknown
, nunknown
* 100.0 / nindirect
,
971 nmismatch
, nmismatch
* 100.0 / nindirect
,
972 nimpossible
, nimpossible
* 100.0 / nindirect
,
973 nuseless
, nuseless
* 100.0 / nindirect
,
974 nconverted
, nconverted
* 100.0 / nindirect
);
976 order
= XCNEWVEC (struct cgraph_node
*, symtab
->cgraph_count
);
977 order_pos
= ipa_reverse_postorder (order
);
978 for (i
= order_pos
- 1; i
>= 0; i
--)
981 && opt_for_fn (order
[i
]->decl
, flag_ipa_profile
)
982 && ipa_propagate_frequency (order
[i
]))
984 for (e
= order
[i
]->callees
; e
; e
= e
->next_callee
)
985 if (e
->callee
->local
&& !e
->callee
->aux
)
987 something_changed
= true;
988 e
->callee
->aux
= (void *)1;
991 order
[i
]->aux
= NULL
;
994 while (something_changed
)
996 something_changed
= false;
997 for (i
= order_pos
- 1; i
>= 0; i
--)
1000 && opt_for_fn (order
[i
]->decl
, flag_ipa_profile
)
1001 && ipa_propagate_frequency (order
[i
]))
1003 for (e
= order
[i
]->callees
; e
; e
= e
->next_callee
)
1004 if (e
->callee
->local
&& !e
->callee
->aux
)
1006 something_changed
= true;
1007 e
->callee
->aux
= (void *)1;
1010 order
[i
]->aux
= NULL
;
1015 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
1016 symtab
->dump (dump_file
);
1026 const pass_data pass_data_ipa_profile
=
1028 IPA_PASS
, /* type */
1029 "profile_estimate", /* name */
1030 OPTGROUP_NONE
, /* optinfo_flags */
1031 TV_IPA_PROFILE
, /* tv_id */
1032 0, /* properties_required */
1033 0, /* properties_provided */
1034 0, /* properties_destroyed */
1035 0, /* todo_flags_start */
1036 0, /* todo_flags_finish */
1039 class pass_ipa_profile
: public ipa_opt_pass_d
1042 pass_ipa_profile (gcc::context
*ctxt
)
1043 : ipa_opt_pass_d (pass_data_ipa_profile
, ctxt
,
1044 ipa_profile_generate_summary
, /* generate_summary */
1045 ipa_profile_write_summary
, /* write_summary */
1046 ipa_profile_read_summary
, /* read_summary */
1047 NULL
, /* write_optimization_summary */
1048 NULL
, /* read_optimization_summary */
1049 NULL
, /* stmt_fixup */
1050 0, /* function_transform_todo_flags_start */
1051 NULL
, /* function_transform */
1052 NULL
) /* variable_transform */
1055 /* opt_pass methods: */
1056 bool gate (function
*) final override
{ return flag_ipa_profile
|| in_lto_p
; }
1057 unsigned int execute (function
*) final override
{ return ipa_profile (); }
1059 }; // class pass_ipa_profile
1064 make_pass_ipa_profile (gcc::context
*ctxt
)
1066 return new pass_ipa_profile (ctxt
);
1069 /* Reset all state within ipa-profile.cc so that we can rerun the compiler
1070 within the same process. For use by toplev::finalize. */
1073 ipa_profile_cc_finalize (void)