ada: Fix wrong finalization for call to BIP function in conditional expression
[official-gcc.git] / gcc / profile-count.cc
blob16585045f8ea08ca0cafb581103777e08a008fd9
1 /* Profile counter container type.
2 Copyright (C) 2017-2023 Free Software Foundation, Inc.
3 Contributed by Jan Hubicka
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "profile-count.h"
25 #include "options.h"
26 #include "tree.h"
27 #include "basic-block.h"
28 #include "function.h"
29 #include "cfg.h"
30 #include "gimple.h"
31 #include "data-streamer.h"
32 #include "cgraph.h"
33 #include "wide-int.h"
34 #include "sreal.h"
36 /* Names from profile_quality enum values. */
38 const char *profile_quality_names[] =
40 "uninitialized",
41 "guessed_local",
42 "guessed_global0",
43 "guessed_global0adjusted",
44 "guessed",
45 "afdo",
46 "adjusted",
47 "precise"
50 /* Get a string describing QUALITY. */
52 const char *
53 profile_quality_as_string (enum profile_quality quality)
55 return profile_quality_names[quality];
58 /* Parse VALUE as profile quality and return true when a valid QUALITY. */
60 bool
61 parse_profile_quality (const char *value, profile_quality *quality)
63 for (unsigned i = 0; i < ARRAY_SIZE (profile_quality_names); i++)
64 if (strcmp (profile_quality_names[i], value) == 0)
66 *quality = (profile_quality)i;
67 return true;
70 return false;
73 /* Display names from profile_quality enum values. */
75 const char *profile_quality_display_names[] =
77 NULL,
78 "estimated locally",
79 "estimated locally, globally 0",
80 "estimated locally, globally 0 adjusted",
81 "guessed",
82 "auto FDO",
83 "adjusted",
84 "precise"
87 /* Dump THIS to BUFFER. */
89 void
90 profile_count::dump (char *buffer) const
92 if (!initialized_p ())
93 sprintf (buffer, "uninitialized");
94 else
95 sprintf (buffer, "%" PRId64 " (%s)", m_val,
96 profile_quality_display_names[m_quality]);
99 /* Dump THIS to F. */
101 void
102 profile_count::dump (FILE *f) const
104 char buffer[64];
105 dump (buffer);
106 fputs (buffer, f);
109 /* Dump THIS to stderr. */
111 void
112 profile_count::debug () const
114 dump (stderr);
115 fprintf (stderr, "\n");
118 /* Return true if THIS differs from OTHER; tolerate small differences. */
120 bool
121 profile_count::differs_from_p (profile_count other) const
123 gcc_checking_assert (compatible_p (other));
124 if (!initialized_p () || !other.initialized_p ())
125 return false;
126 if ((uint64_t)m_val - (uint64_t)other.m_val < 100
127 || (uint64_t)other.m_val - (uint64_t)m_val < 100)
128 return false;
129 if (!other.m_val)
130 return true;
131 int64_t ratio = (int64_t)m_val * 100 / other.m_val;
132 return ratio < 99 || ratio > 101;
135 /* Stream THIS from IB. */
137 profile_count
138 profile_count::stream_in (class lto_input_block *ib)
140 profile_count ret;
141 ret.m_val = streamer_read_gcov_count (ib);
142 ret.m_quality = (profile_quality) streamer_read_uhwi (ib);
143 return ret;
146 /* Stream THIS to OB. */
148 void
149 profile_count::stream_out (struct output_block *ob)
151 streamer_write_gcov_count (ob, m_val);
152 streamer_write_uhwi (ob, m_quality);
155 /* Stream THIS to OB. */
157 void
158 profile_count::stream_out (struct lto_output_stream *ob)
160 streamer_write_gcov_count_stream (ob, m_val);
161 streamer_write_uhwi_stream (ob, m_quality);
165 /* Output THIS to BUFFER. */
167 void
168 profile_probability::dump (char *buffer) const
170 if (!initialized_p ())
171 sprintf (buffer, "uninitialized");
172 else
174 /* Make difference between 0.00 as a roundoff error and actual 0.
175 Similarly for 1. */
176 if (m_val == 0)
177 buffer += sprintf (buffer, "never");
178 else if (m_val == max_probability)
179 buffer += sprintf (buffer, "always");
180 else
181 buffer += sprintf (buffer, "%3.1f%%", (double)m_val * 100 / max_probability);
183 if (m_quality == ADJUSTED)
184 sprintf (buffer, " (adjusted)");
185 else if (m_quality == AFDO)
186 sprintf (buffer, " (auto FDO)");
187 else if (m_quality == GUESSED)
188 sprintf (buffer, " (guessed)");
192 /* Dump THIS to F. */
194 void
195 profile_probability::dump (FILE *f) const
197 char buffer[64];
198 dump (buffer);
199 fputs (buffer, f);
202 /* Dump THIS to stderr. */
204 void
205 profile_probability::debug () const
207 dump (stderr);
208 fprintf (stderr, "\n");
211 /* Return true if THIS differs from OTHER; tolerate small differences. */
213 bool
214 profile_probability::differs_from_p (profile_probability other) const
216 if (!initialized_p () || !other.initialized_p ())
217 return false;
218 if ((uint64_t)m_val - (uint64_t)other.m_val < max_probability / 1000
219 || (uint64_t)other.m_val - (uint64_t)max_probability < 1000)
220 return false;
221 if (!other.m_val)
222 return true;
223 int64_t ratio = (int64_t)m_val * 100 / other.m_val;
224 return ratio < 99 || ratio > 101;
227 /* Return true if THIS differs significantly from OTHER. */
229 bool
230 profile_probability::differs_lot_from_p (profile_probability other) const
232 if (!initialized_p () || !other.initialized_p ())
233 return false;
234 uint32_t d = m_val > other.m_val ? m_val - other.m_val : other.m_val - m_val;
235 return d > max_probability / 2;
238 /* Stream THIS from IB. */
240 profile_probability
241 profile_probability::stream_in (class lto_input_block *ib)
243 profile_probability ret;
244 ret.m_val = streamer_read_uhwi (ib);
245 ret.m_quality = (profile_quality) streamer_read_uhwi (ib);
246 return ret;
249 /* Stream THIS to OB. */
251 void
252 profile_probability::stream_out (struct output_block *ob)
254 streamer_write_uhwi (ob, m_val);
255 streamer_write_uhwi (ob, m_quality);
258 /* Stream THIS to OB. */
260 void
261 profile_probability::stream_out (struct lto_output_stream *ob)
263 streamer_write_uhwi_stream (ob, m_val);
264 streamer_write_uhwi_stream (ob, m_quality);
267 /* Compute RES=(a*b + c/2)/c capping and return false if overflow happened. */
269 bool
270 slow_safe_scale_64bit (uint64_t a, uint64_t b, uint64_t c, uint64_t *res)
272 FIXED_WIDE_INT (128) tmp = a;
273 wi::overflow_type overflow;
274 tmp = wi::udiv_floor (wi::umul (tmp, b, &overflow) + (c / 2), c);
275 gcc_checking_assert (!overflow);
276 if (wi::fits_uhwi_p (tmp))
278 *res = tmp.to_uhwi ();
279 return true;
281 *res = (uint64_t) -1;
282 return false;
285 /* Return count as frequency within FUN scaled in range 0 to REG_FREQ_MAX
286 Used for legacy code and should not be used anymore. */
289 profile_count::to_frequency (struct function *fun) const
291 if (!initialized_p ())
292 return BB_FREQ_MAX;
293 if (*this == zero ())
294 return 0;
295 STATIC_ASSERT (REG_BR_PROB_BASE == BB_FREQ_MAX);
296 gcc_assert (fun->cfg->count_max.initialized_p ());
297 profile_probability prob = probability_in (fun->cfg->count_max);
298 if (!prob.initialized_p ())
299 return REG_BR_PROB_BASE;
300 return prob.to_reg_br_prob_base ();
303 /* Return count as frequency within FUN scaled in range 0 to CGRAPH_FREQ_MAX
304 where CGRAPH_FREQ_BASE means that count equals to entry block count.
305 Used for legacy code and should not be used anymore. */
308 profile_count::to_cgraph_frequency (profile_count entry_bb_count) const
310 if (!initialized_p () || !entry_bb_count.initialized_p ())
311 return CGRAPH_FREQ_BASE;
312 if (*this == zero ())
313 return 0;
314 gcc_checking_assert (entry_bb_count.initialized_p ());
315 uint64_t scale;
316 gcc_checking_assert (compatible_p (entry_bb_count));
317 if (!safe_scale_64bit (!entry_bb_count.m_val ? m_val + 1 : m_val,
318 CGRAPH_FREQ_BASE, MAX (1, entry_bb_count.m_val), &scale))
319 return CGRAPH_FREQ_MAX;
320 return MIN (scale, CGRAPH_FREQ_MAX);
323 /* Return THIS/IN as sreal value. */
325 sreal
326 profile_count::to_sreal_scale (profile_count in, bool *known) const
328 if (*this == zero ()
329 && !(in == zero ()))
331 if (known)
332 *known = true;
333 return 0;
335 if (!initialized_p () || !in.initialized_p ())
337 if (known)
338 *known = false;
339 return 1;
341 if (known)
342 *known = true;
343 if (*this == in)
344 return 1;
345 gcc_checking_assert (compatible_p (in));
346 if (m_val == in.m_val)
347 return 1;
348 if (!in.m_val)
349 return m_val * 4;
350 return (sreal)m_val / (sreal)in.m_val;
353 /* We want to scale profile across function boundary from NUM to DEN.
354 Take care of the side case when DEN is zeros. We still want to behave
355 sanely here which means
356 - scale to profile_count::zero () if NUM is profile_count::zero
357 - do not affect anything if NUM == DEN
358 - preserve counter value but adjust quality in other cases. */
360 void
361 profile_count::adjust_for_ipa_scaling (profile_count *num,
362 profile_count *den)
364 /* Scaling is no-op if NUM and DEN are the same. */
365 if (*num == *den)
366 return;
367 /* Scaling to zero is always zero. */
368 if (*num == zero ())
369 return;
370 /* If den is non-zero we are safe. */
371 if (den->force_nonzero () == *den)
372 return;
373 /* Force both to non-zero so we do not push profiles to 0 when
374 both num == 0 and den == 0. */
375 *den = den->force_nonzero ();
376 *num = num->force_nonzero ();
379 /* THIS is a count of bb which is known to be executed IPA times.
380 Combine this information into bb counter. This means returning IPA
381 if it is nonzero, not changing anything if IPA is uninitialized
382 and if IPA is zero, turning THIS into corresponding local profile with
383 global0. */
385 profile_count
386 profile_count::combine_with_ipa_count (profile_count ipa)
388 if (!initialized_p ())
389 return *this;
390 ipa = ipa.ipa ();
391 if (ipa.nonzero_p ())
392 return ipa;
393 if (!ipa.initialized_p () || *this == zero ())
394 return *this;
395 if (ipa == zero ())
396 return this->global0 ();
397 return this->global0adjusted ();
400 /* Sae as profile_count::combine_with_ipa_count but within function with count
401 IPA2. */
402 profile_count
403 profile_count::combine_with_ipa_count_within (profile_count ipa,
404 profile_count ipa2)
406 profile_count ret;
407 if (!initialized_p ())
408 return *this;
409 if (ipa2.ipa () == ipa2 && ipa.initialized_p ())
410 ret = ipa;
411 else
412 ret = combine_with_ipa_count (ipa);
413 gcc_checking_assert (ret.compatible_p (ipa2));
414 return ret;
417 /* The profiling runtime uses gcov_type, which is usually 64bit integer.
418 Conversions back and forth are used to read the coverage and get it
419 into internal representation. */
421 profile_count
422 profile_count::from_gcov_type (gcov_type v, profile_quality quality)
424 profile_count ret;
425 gcc_checking_assert (v >= 0);
426 if (dump_file && v >= (gcov_type)max_count)
427 fprintf (dump_file,
428 "Capping gcov count %" PRId64 " to max_count %" PRId64 "\n",
429 (int64_t) v, (int64_t) max_count);
430 ret.m_val = MIN (v, (gcov_type)max_count);
431 ret.m_quality = quality;
432 return ret;
435 /* COUNT1 times event happens with *THIS probability, COUNT2 times OTHER
436 happens with COUNT2 probability. Return probability that either *THIS or
437 OTHER happens. */
439 profile_probability
440 profile_probability::combine_with_count (profile_count count1,
441 profile_probability other,
442 profile_count count2) const
444 /* If probabilities are same, we are done.
445 If counts are nonzero we can distribute accordingly. In remaining
446 cases just average the values and hope for the best. */
447 if (*this == other || count1 == count2
448 || (count2 == profile_count::zero ()
449 && !(count1 == profile_count::zero ())))
450 return *this;
451 if (count1 == profile_count::zero () && !(count2 == profile_count::zero ()))
452 return other;
453 else if (count1.nonzero_p () || count2.nonzero_p ())
454 return *this * count1.probability_in (count1 + count2)
455 + other * count2.probability_in (count1 + count2);
456 else
457 return *this * even () + other * even ();
460 /* Return probability as sreal in range [0, 1]. */
462 sreal
463 profile_probability::to_sreal () const
465 gcc_checking_assert (initialized_p ());
466 return ((sreal)m_val) >> (n_bits - 2);