annotate gcc/profile-count.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Profile counter container type.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 Copyright (C) 2017-2020 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
3 Contributed by Jan Hubicka
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 This file is part of GCC.
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
8 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
9 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
10 version.
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
15 for more details.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
18 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
19 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 #include "config.h"
kono
parents:
diff changeset
22 #include "system.h"
kono
parents:
diff changeset
23 #include "coretypes.h"
kono
parents:
diff changeset
24 #include "profile-count.h"
kono
parents:
diff changeset
25 #include "options.h"
kono
parents:
diff changeset
26 #include "tree.h"
kono
parents:
diff changeset
27 #include "basic-block.h"
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
28 #include "function.h"
111
kono
parents:
diff changeset
29 #include "cfg.h"
kono
parents:
diff changeset
30 #include "gimple.h"
kono
parents:
diff changeset
31 #include "data-streamer.h"
kono
parents:
diff changeset
32 #include "cgraph.h"
kono
parents:
diff changeset
33 #include "wide-int.h"
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
34 #include "sreal.h"
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
35
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
36 /* Names from profile_quality enum values. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
37
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
38 const char *profile_quality_names[] =
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
39 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
40 "uninitialized",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
41 "guessed_local",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
42 "guessed_global0",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
43 "guessed_global0adjusted",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
44 "guessed",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
45 "afdo",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
46 "adjusted",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
47 "precise"
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
48 };
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
49
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
50 /* Get a string describing QUALITY. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
51
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
52 const char *
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
53 profile_quality_as_string (enum profile_quality quality)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
54 {
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
55 return profile_quality_names[quality];
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
56 }
111
kono
parents:
diff changeset
57
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
58 /* Parse VALUE as profile quality and return true when a valid QUALITY. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
59
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
60 bool
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
61 parse_profile_quality (const char *value, profile_quality *quality)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
62 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
63 for (unsigned i = 0; i < ARRAY_SIZE (profile_quality_names); i++)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
64 if (strcmp (profile_quality_names[i], value) == 0)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
65 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
66 *quality = (profile_quality)i;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
67 return true;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
68 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
69
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
70 return false;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
71 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
72
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
73 /* Display names from profile_quality enum values. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
74
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
75 const char *profile_quality_display_names[] =
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
76 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
77 NULL,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
78 "estimated locally",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
79 "estimated locally, globally 0",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
80 "estimated locally, globally 0 adjusted",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
81 "guessed",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
82 "auto FDO",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
83 "adjusted",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
84 "precise"
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
85 };
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
86
111
kono
parents:
diff changeset
87 /* Dump THIS to F. */
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 void
kono
parents:
diff changeset
90 profile_count::dump (FILE *f) const
kono
parents:
diff changeset
91 {
kono
parents:
diff changeset
92 if (!initialized_p ())
kono
parents:
diff changeset
93 fprintf (f, "uninitialized");
kono
parents:
diff changeset
94 else
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
95 fprintf (f, "%" PRId64 " (%s)", m_val,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
96 profile_quality_display_names[m_quality]);
111
kono
parents:
diff changeset
97 }
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99 /* Dump THIS to stderr. */
kono
parents:
diff changeset
100
kono
parents:
diff changeset
101 void
kono
parents:
diff changeset
102 profile_count::debug () const
kono
parents:
diff changeset
103 {
kono
parents:
diff changeset
104 dump (stderr);
kono
parents:
diff changeset
105 fprintf (stderr, "\n");
kono
parents:
diff changeset
106 }
kono
parents:
diff changeset
107
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
108 /* Return true if THIS differs from OTHER; tolerate small differences. */
111
kono
parents:
diff changeset
109
kono
parents:
diff changeset
110 bool
kono
parents:
diff changeset
111 profile_count::differs_from_p (profile_count other) const
kono
parents:
diff changeset
112 {
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
113 gcc_checking_assert (compatible_p (other));
111
kono
parents:
diff changeset
114 if (!initialized_p () || !other.initialized_p ())
kono
parents:
diff changeset
115 return false;
kono
parents:
diff changeset
116 if ((uint64_t)m_val - (uint64_t)other.m_val < 100
kono
parents:
diff changeset
117 || (uint64_t)other.m_val - (uint64_t)m_val < 100)
kono
parents:
diff changeset
118 return false;
kono
parents:
diff changeset
119 if (!other.m_val)
kono
parents:
diff changeset
120 return true;
kono
parents:
diff changeset
121 int64_t ratio = (int64_t)m_val * 100 / other.m_val;
kono
parents:
diff changeset
122 return ratio < 99 || ratio > 101;
kono
parents:
diff changeset
123 }
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 /* Stream THIS from IB. */
kono
parents:
diff changeset
126
kono
parents:
diff changeset
127 profile_count
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
128 profile_count::stream_in (class lto_input_block *ib)
111
kono
parents:
diff changeset
129 {
kono
parents:
diff changeset
130 profile_count ret;
kono
parents:
diff changeset
131 ret.m_val = streamer_read_gcov_count (ib);
kono
parents:
diff changeset
132 ret.m_quality = (profile_quality) streamer_read_uhwi (ib);
kono
parents:
diff changeset
133 return ret;
kono
parents:
diff changeset
134 }
kono
parents:
diff changeset
135
kono
parents:
diff changeset
136 /* Stream THIS to OB. */
kono
parents:
diff changeset
137
kono
parents:
diff changeset
138 void
kono
parents:
diff changeset
139 profile_count::stream_out (struct output_block *ob)
kono
parents:
diff changeset
140 {
kono
parents:
diff changeset
141 streamer_write_gcov_count (ob, m_val);
kono
parents:
diff changeset
142 streamer_write_uhwi (ob, m_quality);
kono
parents:
diff changeset
143 }
kono
parents:
diff changeset
144
kono
parents:
diff changeset
145 /* Stream THIS to OB. */
kono
parents:
diff changeset
146
kono
parents:
diff changeset
147 void
kono
parents:
diff changeset
148 profile_count::stream_out (struct lto_output_stream *ob)
kono
parents:
diff changeset
149 {
kono
parents:
diff changeset
150 streamer_write_gcov_count_stream (ob, m_val);
kono
parents:
diff changeset
151 streamer_write_uhwi_stream (ob, m_quality);
kono
parents:
diff changeset
152 }
kono
parents:
diff changeset
153
kono
parents:
diff changeset
154 /* Dump THIS to F. */
kono
parents:
diff changeset
155
kono
parents:
diff changeset
156 void
kono
parents:
diff changeset
157 profile_probability::dump (FILE *f) const
kono
parents:
diff changeset
158 {
kono
parents:
diff changeset
159 if (!initialized_p ())
kono
parents:
diff changeset
160 fprintf (f, "uninitialized");
kono
parents:
diff changeset
161 else
kono
parents:
diff changeset
162 {
kono
parents:
diff changeset
163 /* Make difference between 0.00 as a roundoff error and actual 0.
kono
parents:
diff changeset
164 Similarly for 1. */
kono
parents:
diff changeset
165 if (m_val == 0)
kono
parents:
diff changeset
166 fprintf (f, "never");
kono
parents:
diff changeset
167 else if (m_val == max_probability)
kono
parents:
diff changeset
168 fprintf (f, "always");
kono
parents:
diff changeset
169 else
kono
parents:
diff changeset
170 fprintf (f, "%3.1f%%", (double)m_val * 100 / max_probability);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
171 if (m_quality == ADJUSTED)
111
kono
parents:
diff changeset
172 fprintf (f, " (adjusted)");
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
173 else if (m_quality == AFDO)
111
kono
parents:
diff changeset
174 fprintf (f, " (auto FDO)");
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
175 else if (m_quality == GUESSED)
111
kono
parents:
diff changeset
176 fprintf (f, " (guessed)");
kono
parents:
diff changeset
177 }
kono
parents:
diff changeset
178 }
kono
parents:
diff changeset
179
kono
parents:
diff changeset
180 /* Dump THIS to stderr. */
kono
parents:
diff changeset
181
kono
parents:
diff changeset
182 void
kono
parents:
diff changeset
183 profile_probability::debug () const
kono
parents:
diff changeset
184 {
kono
parents:
diff changeset
185 dump (stderr);
kono
parents:
diff changeset
186 fprintf (stderr, "\n");
kono
parents:
diff changeset
187 }
kono
parents:
diff changeset
188
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
189 /* Return true if THIS differs from OTHER; tolerate small differences. */
111
kono
parents:
diff changeset
190
kono
parents:
diff changeset
191 bool
kono
parents:
diff changeset
192 profile_probability::differs_from_p (profile_probability other) const
kono
parents:
diff changeset
193 {
kono
parents:
diff changeset
194 if (!initialized_p () || !other.initialized_p ())
kono
parents:
diff changeset
195 return false;
kono
parents:
diff changeset
196 if ((uint64_t)m_val - (uint64_t)other.m_val < max_probability / 1000
kono
parents:
diff changeset
197 || (uint64_t)other.m_val - (uint64_t)max_probability < 1000)
kono
parents:
diff changeset
198 return false;
kono
parents:
diff changeset
199 if (!other.m_val)
kono
parents:
diff changeset
200 return true;
kono
parents:
diff changeset
201 int64_t ratio = (int64_t)m_val * 100 / other.m_val;
kono
parents:
diff changeset
202 return ratio < 99 || ratio > 101;
kono
parents:
diff changeset
203 }
kono
parents:
diff changeset
204
kono
parents:
diff changeset
205 /* Return true if THIS differs significantly from OTHER. */
kono
parents:
diff changeset
206
kono
parents:
diff changeset
207 bool
kono
parents:
diff changeset
208 profile_probability::differs_lot_from_p (profile_probability other) const
kono
parents:
diff changeset
209 {
kono
parents:
diff changeset
210 if (!initialized_p () || !other.initialized_p ())
kono
parents:
diff changeset
211 return false;
kono
parents:
diff changeset
212 uint32_t d = m_val > other.m_val ? m_val - other.m_val : other.m_val - m_val;
kono
parents:
diff changeset
213 return d > max_probability / 2;
kono
parents:
diff changeset
214 }
kono
parents:
diff changeset
215
kono
parents:
diff changeset
216 /* Stream THIS from IB. */
kono
parents:
diff changeset
217
kono
parents:
diff changeset
218 profile_probability
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
219 profile_probability::stream_in (class lto_input_block *ib)
111
kono
parents:
diff changeset
220 {
kono
parents:
diff changeset
221 profile_probability ret;
kono
parents:
diff changeset
222 ret.m_val = streamer_read_uhwi (ib);
kono
parents:
diff changeset
223 ret.m_quality = (profile_quality) streamer_read_uhwi (ib);
kono
parents:
diff changeset
224 return ret;
kono
parents:
diff changeset
225 }
kono
parents:
diff changeset
226
kono
parents:
diff changeset
227 /* Stream THIS to OB. */
kono
parents:
diff changeset
228
kono
parents:
diff changeset
229 void
kono
parents:
diff changeset
230 profile_probability::stream_out (struct output_block *ob)
kono
parents:
diff changeset
231 {
kono
parents:
diff changeset
232 streamer_write_uhwi (ob, m_val);
kono
parents:
diff changeset
233 streamer_write_uhwi (ob, m_quality);
kono
parents:
diff changeset
234 }
kono
parents:
diff changeset
235
kono
parents:
diff changeset
236 /* Stream THIS to OB. */
kono
parents:
diff changeset
237
kono
parents:
diff changeset
238 void
kono
parents:
diff changeset
239 profile_probability::stream_out (struct lto_output_stream *ob)
kono
parents:
diff changeset
240 {
kono
parents:
diff changeset
241 streamer_write_uhwi_stream (ob, m_val);
kono
parents:
diff changeset
242 streamer_write_uhwi_stream (ob, m_quality);
kono
parents:
diff changeset
243 }
kono
parents:
diff changeset
244
kono
parents:
diff changeset
245 /* Compute RES=(a*b + c/2)/c capping and return false if overflow happened. */
kono
parents:
diff changeset
246
kono
parents:
diff changeset
247 bool
kono
parents:
diff changeset
248 slow_safe_scale_64bit (uint64_t a, uint64_t b, uint64_t c, uint64_t *res)
kono
parents:
diff changeset
249 {
kono
parents:
diff changeset
250 FIXED_WIDE_INT (128) tmp = a;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
251 wi::overflow_type overflow;
111
kono
parents:
diff changeset
252 tmp = wi::udiv_floor (wi::umul (tmp, b, &overflow) + (c / 2), c);
kono
parents:
diff changeset
253 gcc_checking_assert (!overflow);
kono
parents:
diff changeset
254 if (wi::fits_uhwi_p (tmp))
kono
parents:
diff changeset
255 {
kono
parents:
diff changeset
256 *res = tmp.to_uhwi ();
kono
parents:
diff changeset
257 return true;
kono
parents:
diff changeset
258 }
kono
parents:
diff changeset
259 *res = (uint64_t) -1;
kono
parents:
diff changeset
260 return false;
kono
parents:
diff changeset
261 }
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
262
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
263 /* Return count as frequency within FUN scaled in range 0 to REG_FREQ_MAX
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
264 Used for legacy code and should not be used anymore. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
265
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
266 int
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
267 profile_count::to_frequency (struct function *fun) const
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
268 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
269 if (!initialized_p ())
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
270 return BB_FREQ_MAX;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
271 if (*this == zero ())
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
272 return 0;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
273 gcc_assert (REG_BR_PROB_BASE == BB_FREQ_MAX
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
274 && fun->cfg->count_max.initialized_p ());
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
275 profile_probability prob = probability_in (fun->cfg->count_max);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
276 if (!prob.initialized_p ())
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
277 return REG_BR_PROB_BASE;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
278 return prob.to_reg_br_prob_base ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
279 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
280
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
281 /* Return count as frequency within FUN scaled in range 0 to CGRAPH_FREQ_MAX
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
282 where CGRAPH_FREQ_BASE means that count equals to entry block count.
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
283 Used for legacy code and should not be used anymore. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
284
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
285 int
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
286 profile_count::to_cgraph_frequency (profile_count entry_bb_count) const
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
287 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
288 if (!initialized_p () || !entry_bb_count.initialized_p ())
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
289 return CGRAPH_FREQ_BASE;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
290 if (*this == zero ())
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
291 return 0;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
292 gcc_checking_assert (entry_bb_count.initialized_p ());
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
293 uint64_t scale;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
294 gcc_checking_assert (compatible_p (entry_bb_count));
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
295 if (!safe_scale_64bit (!entry_bb_count.m_val ? m_val + 1 : m_val,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
296 CGRAPH_FREQ_BASE, MAX (1, entry_bb_count.m_val), &scale))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
297 return CGRAPH_FREQ_MAX;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
298 return MIN (scale, CGRAPH_FREQ_MAX);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
299 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
300
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
301 /* Return THIS/IN as sreal value. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
302
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
303 sreal
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
304 profile_count::to_sreal_scale (profile_count in, bool *known) const
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
305 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
306 if (!initialized_p () || !in.initialized_p ())
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
307 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
308 if (known)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
309 *known = false;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
310 return 1;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
311 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
312 if (known)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
313 *known = true;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
314 /* Watch for cases where one count is IPA and other is not. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
315 if (in.ipa ().initialized_p ())
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
316 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
317 gcc_checking_assert (ipa ().initialized_p ());
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
318 /* If current count is inter-procedurally 0 and IN is inter-procedurally
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
319 non-zero, return 0. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
320 if (in.ipa ().nonzero_p ()
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
321 && !ipa().nonzero_p ())
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
322 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
323 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
324 else
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
325 /* We can handle correctly 0 IPA count within locally estimated
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
326 profile, but otherwise we are lost and this should not happen. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
327 gcc_checking_assert (!ipa ().initialized_p () || !ipa ().nonzero_p ());
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
328 if (*this == zero ())
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
329 return 0;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
330 if (m_val == in.m_val)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
331 return 1;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
332 gcc_checking_assert (compatible_p (in));
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
333
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
334 if (!in.m_val)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
335 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
336 if (!m_val)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
337 return 1;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
338 return m_val * 4;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
339 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
340 return (sreal)m_val / (sreal)in.m_val;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
341 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
342
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
343 /* We want to scale profile across function boundary from NUM to DEN.
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
344 Take care of the side case when DEN is zeros. We still want to behave
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
345 sanely here which means
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
346 - scale to profile_count::zero () if NUM is profile_count::zero
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
347 - do not affect anything if NUM == DEN
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
348 - preserve counter value but adjust quality in other cases. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
349
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
350 void
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
351 profile_count::adjust_for_ipa_scaling (profile_count *num,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
352 profile_count *den)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
353 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
354 /* Scaling is no-op if NUM and DEN are the same. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
355 if (*num == *den)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
356 return;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
357 /* Scaling to zero is always zero. */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
358 if (*num == zero ())
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
359 return;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
360 /* If den is non-zero we are safe. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
361 if (den->force_nonzero () == *den)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
362 return;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
363 /* Force both to non-zero so we do not push profiles to 0 when
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
364 both num == 0 and den == 0. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
365 *den = den->force_nonzero ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
366 *num = num->force_nonzero ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
367 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
368
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
369 /* THIS is a count of bb which is known to be executed IPA times.
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
370 Combine this information into bb counter. This means returning IPA
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
371 if it is nonzero, not changing anything if IPA is uninitialized
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
372 and if IPA is zero, turning THIS into corresponding local profile with
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
373 global0. */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
374
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
375 profile_count
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
376 profile_count::combine_with_ipa_count (profile_count ipa)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
377 {
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
378 if (!initialized_p ())
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
379 return *this;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
380 ipa = ipa.ipa ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
381 if (ipa.nonzero_p ())
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
382 return ipa;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
383 if (!ipa.initialized_p () || *this == zero ())
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
384 return *this;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
385 if (ipa == zero ())
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
386 return this->global0 ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
387 return this->global0adjusted ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
388 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
389
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
390 /* Sae as profile_count::combine_with_ipa_count but within function with count
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
391 IPA2. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
392 profile_count
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
393 profile_count::combine_with_ipa_count_within (profile_count ipa,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
394 profile_count ipa2)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
395 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
396 profile_count ret;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
397 if (!initialized_p ())
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
398 return *this;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
399 if (ipa2.ipa () == ipa2 && ipa.initialized_p ())
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
400 ret = ipa;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
401 else
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
402 ret = combine_with_ipa_count (ipa);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
403 gcc_checking_assert (ret.compatible_p (ipa2));
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
404 return ret;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
405 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
406
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
407 /* The profiling runtime uses gcov_type, which is usually 64bit integer.
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
408 Conversions back and forth are used to read the coverage and get it
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
409 into internal representation. */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
410
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
411 profile_count
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
412 profile_count::from_gcov_type (gcov_type v, profile_quality quality)
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
413 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
414 profile_count ret;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
415 gcc_checking_assert (v >= 0);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
416 if (dump_file && v >= (gcov_type)max_count)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
417 fprintf (dump_file,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
418 "Capping gcov count %" PRId64 " to max_count %" PRId64 "\n",
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
419 (int64_t) v, (int64_t) max_count);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
420 ret.m_val = MIN (v, (gcov_type)max_count);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
421 ret.m_quality = quality;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
422 return ret;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
423 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
424
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
425 /* COUNT1 times event happens with *THIS probability, COUNT2 times OTHER
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
426 happens with COUNT2 probability. Return probability that either *THIS or
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
427 OTHER happens. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
428
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
429 profile_probability
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
430 profile_probability::combine_with_count (profile_count count1,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
431 profile_probability other,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
432 profile_count count2) const
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
433 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
434 /* If probabilities are same, we are done.
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
435 If counts are nonzero we can distribute accordingly. In remaining
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
436 cases just average the values and hope for the best. */
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
437 if (*this == other || count1 == count2
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
438 || (count2 == profile_count::zero ()
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
439 && !(count1 == profile_count::zero ())))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
440 return *this;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
441 if (count1 == profile_count::zero () && !(count2 == profile_count::zero ()))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
442 return other;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
443 else if (count1.nonzero_p () || count2.nonzero_p ())
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
444 return *this * count1.probability_in (count1 + count2)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
445 + other * count2.probability_in (count1 + count2);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
446 else
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
447 return *this * even () + other * even ();
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
448 }
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
449
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
450 /* Return probability as sreal in range [0, 1]. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
451
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
452 sreal
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
453 profile_probability::to_sreal () const
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
454 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
455 gcc_checking_assert (initialized_p ());
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
456 return ((sreal)m_val) >> (n_bits - 2);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
457 }