annotate gcc/auto-profile.c @ 143:76e1cf5455ef

add cbc_gc test
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 19:24:05 +0900
parents 84e7813d76e9
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Read and annotate call graph profile from the auto profile data file.
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
2 Copyright (C) 2014-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
3 Contributed by Dehao Chen (dehao@google.com)
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 #define INCLUDE_MAP
kono
parents:
diff changeset
23 #define INCLUDE_SET
kono
parents:
diff changeset
24 #include "system.h"
kono
parents:
diff changeset
25 #include "coretypes.h"
kono
parents:
diff changeset
26 #include "backend.h"
kono
parents:
diff changeset
27 #include "tree.h"
kono
parents:
diff changeset
28 #include "gimple.h"
kono
parents:
diff changeset
29 #include "predict.h"
kono
parents:
diff changeset
30 #include "alloc-pool.h"
kono
parents:
diff changeset
31 #include "tree-pass.h"
kono
parents:
diff changeset
32 #include "ssa.h"
kono
parents:
diff changeset
33 #include "cgraph.h"
kono
parents:
diff changeset
34 #include "gcov-io.h"
kono
parents:
diff changeset
35 #include "diagnostic-core.h"
kono
parents:
diff changeset
36 #include "profile.h"
kono
parents:
diff changeset
37 #include "langhooks.h"
kono
parents:
diff changeset
38 #include "cfgloop.h"
kono
parents:
diff changeset
39 #include "tree-cfg.h"
kono
parents:
diff changeset
40 #include "tree-cfgcleanup.h"
kono
parents:
diff changeset
41 #include "tree-into-ssa.h"
kono
parents:
diff changeset
42 #include "gimple-iterator.h"
kono
parents:
diff changeset
43 #include "value-prof.h"
kono
parents:
diff changeset
44 #include "params.h"
kono
parents:
diff changeset
45 #include "symbol-summary.h"
kono
parents:
diff changeset
46 #include "ipa-prop.h"
kono
parents:
diff changeset
47 #include "ipa-fnsummary.h"
kono
parents:
diff changeset
48 #include "ipa-inline.h"
kono
parents:
diff changeset
49 #include "tree-inline.h"
kono
parents:
diff changeset
50 #include "auto-profile.h"
kono
parents:
diff changeset
51 #include "tree-pretty-print.h"
kono
parents:
diff changeset
52 #include "gimple-pretty-print.h"
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 /* The following routines implements AutoFDO optimization.
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 This optimization uses sampling profiles to annotate basic block counts
kono
parents:
diff changeset
57 and uses heuristics to estimate branch probabilities.
kono
parents:
diff changeset
58
kono
parents:
diff changeset
59 There are three phases in AutoFDO:
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 Phase 1: Read profile from the profile data file.
kono
parents:
diff changeset
62 The following info is read from the profile datafile:
kono
parents:
diff changeset
63 * string_table: a map between function name and its index.
kono
parents:
diff changeset
64 * autofdo_source_profile: a map from function_instance name to
kono
parents:
diff changeset
65 function_instance. This is represented as a forest of
kono
parents:
diff changeset
66 function_instances.
kono
parents:
diff changeset
67 * WorkingSet: a histogram of how many instructions are covered for a
kono
parents:
diff changeset
68 given percentage of total cycles. This is describing the binary
kono
parents:
diff changeset
69 level information (not source level). This info is used to help
kono
parents:
diff changeset
70 decide if we want aggressive optimizations that could increase
kono
parents:
diff changeset
71 code footprint (e.g. loop unroll etc.)
kono
parents:
diff changeset
72 A function instance is an instance of function that could either be a
kono
parents:
diff changeset
73 standalone symbol, or a clone of a function that is inlined into another
kono
parents:
diff changeset
74 function.
kono
parents:
diff changeset
75
kono
parents:
diff changeset
76 Phase 2: Early inline + value profile transformation.
kono
parents:
diff changeset
77 Early inline uses autofdo_source_profile to find if a callsite is:
kono
parents:
diff changeset
78 * inlined in the profiled binary.
kono
parents:
diff changeset
79 * callee body is hot in the profiling run.
kono
parents:
diff changeset
80 If both condition satisfies, early inline will inline the callsite
kono
parents:
diff changeset
81 regardless of the code growth.
kono
parents:
diff changeset
82 Phase 2 is an iterative process. During each iteration, we also check
kono
parents:
diff changeset
83 if an indirect callsite is promoted and inlined in the profiling run.
kono
parents:
diff changeset
84 If yes, vpt will happen to force promote it and in the next iteration,
kono
parents:
diff changeset
85 einline will inline the promoted callsite in the next iteration.
kono
parents:
diff changeset
86
kono
parents:
diff changeset
87 Phase 3: Annotate control flow graph.
kono
parents:
diff changeset
88 AutoFDO uses a separate pass to:
kono
parents:
diff changeset
89 * Annotate basic block count
kono
parents:
diff changeset
90 * Estimate branch probability
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 After the above 3 phases, all profile is readily annotated on the GCC IR.
kono
parents:
diff changeset
93 AutoFDO tries to reuse all FDO infrastructure as much as possible to make
kono
parents:
diff changeset
94 use of the profile. E.g. it uses existing mechanism to calculate the basic
kono
parents:
diff changeset
95 block/edge frequency, as well as the cgraph node/edge count.
kono
parents:
diff changeset
96 */
kono
parents:
diff changeset
97
kono
parents:
diff changeset
98 #define DEFAULT_AUTO_PROFILE_FILE "fbdata.afdo"
kono
parents:
diff changeset
99 #define AUTO_PROFILE_VERSION 1
kono
parents:
diff changeset
100
kono
parents:
diff changeset
101 namespace autofdo
kono
parents:
diff changeset
102 {
kono
parents:
diff changeset
103
kono
parents:
diff changeset
104 /* Represent a source location: (function_decl, lineno). */
kono
parents:
diff changeset
105 typedef std::pair<tree, unsigned> decl_lineno;
kono
parents:
diff changeset
106
kono
parents:
diff changeset
107 /* Represent an inline stack. vector[0] is the leaf node. */
kono
parents:
diff changeset
108 typedef auto_vec<decl_lineno> inline_stack;
kono
parents:
diff changeset
109
kono
parents:
diff changeset
110 /* String array that stores function names. */
kono
parents:
diff changeset
111 typedef auto_vec<char *> string_vector;
kono
parents:
diff changeset
112
kono
parents:
diff changeset
113 /* Map from function name's index in string_table to target's
kono
parents:
diff changeset
114 execution count. */
kono
parents:
diff changeset
115 typedef std::map<unsigned, gcov_type> icall_target_map;
kono
parents:
diff changeset
116
kono
parents:
diff changeset
117 /* Set of gimple stmts. Used to track if the stmt has already been promoted
kono
parents:
diff changeset
118 to direct call. */
kono
parents:
diff changeset
119 typedef std::set<gimple *> stmt_set;
kono
parents:
diff changeset
120
kono
parents:
diff changeset
121 /* Represent count info of an inline stack. */
kono
parents:
diff changeset
122 struct count_info
kono
parents:
diff changeset
123 {
kono
parents:
diff changeset
124 /* Sampled count of the inline stack. */
kono
parents:
diff changeset
125 gcov_type count;
kono
parents:
diff changeset
126
kono
parents:
diff changeset
127 /* Map from indirect call target to its sample count. */
kono
parents:
diff changeset
128 icall_target_map targets;
kono
parents:
diff changeset
129
kono
parents:
diff changeset
130 /* Whether this inline stack is already used in annotation.
kono
parents:
diff changeset
131
kono
parents:
diff changeset
132 Each inline stack should only be used to annotate IR once.
kono
parents:
diff changeset
133 This will be enforced when instruction-level discriminator
kono
parents:
diff changeset
134 is supported. */
kono
parents:
diff changeset
135 bool annotated;
kono
parents:
diff changeset
136 };
kono
parents:
diff changeset
137
kono
parents:
diff changeset
138 /* operator< for "const char *". */
kono
parents:
diff changeset
139 struct string_compare
kono
parents:
diff changeset
140 {
kono
parents:
diff changeset
141 bool operator()(const char *a, const char *b) const
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 return strcmp (a, b) < 0;
kono
parents:
diff changeset
144 }
kono
parents:
diff changeset
145 };
kono
parents:
diff changeset
146
kono
parents:
diff changeset
147 /* Store a string array, indexed by string position in the array. */
kono
parents:
diff changeset
148 class string_table
kono
parents:
diff changeset
149 {
kono
parents:
diff changeset
150 public:
kono
parents:
diff changeset
151 string_table ()
kono
parents:
diff changeset
152 {}
kono
parents:
diff changeset
153
kono
parents:
diff changeset
154 ~string_table ();
kono
parents:
diff changeset
155
kono
parents:
diff changeset
156 /* For a given string, returns its index. */
kono
parents:
diff changeset
157 int get_index (const char *name) const;
kono
parents:
diff changeset
158
kono
parents:
diff changeset
159 /* For a given decl, returns the index of the decl name. */
kono
parents:
diff changeset
160 int get_index_by_decl (tree decl) const;
kono
parents:
diff changeset
161
kono
parents:
diff changeset
162 /* For a given index, returns the string. */
kono
parents:
diff changeset
163 const char *get_name (int index) const;
kono
parents:
diff changeset
164
kono
parents:
diff changeset
165 /* Read profile, return TRUE on success. */
kono
parents:
diff changeset
166 bool read ();
kono
parents:
diff changeset
167
kono
parents:
diff changeset
168 private:
kono
parents:
diff changeset
169 typedef std::map<const char *, unsigned, string_compare> string_index_map;
kono
parents:
diff changeset
170 string_vector vector_;
kono
parents:
diff changeset
171 string_index_map map_;
kono
parents:
diff changeset
172 };
kono
parents:
diff changeset
173
kono
parents:
diff changeset
174 /* Profile of a function instance:
kono
parents:
diff changeset
175 1. total_count of the function.
kono
parents:
diff changeset
176 2. head_count (entry basic block count) of the function (only valid when
kono
parents:
diff changeset
177 function is a top-level function_instance, i.e. it is the original copy
kono
parents:
diff changeset
178 instead of the inlined copy).
kono
parents:
diff changeset
179 3. map from source location (decl_lineno) to profile (count_info).
kono
parents:
diff changeset
180 4. map from callsite to callee function_instance. */
kono
parents:
diff changeset
181 class function_instance
kono
parents:
diff changeset
182 {
kono
parents:
diff changeset
183 public:
kono
parents:
diff changeset
184 typedef auto_vec<function_instance *> function_instance_stack;
kono
parents:
diff changeset
185
kono
parents:
diff changeset
186 /* Read the profile and return a function_instance with head count as
kono
parents:
diff changeset
187 HEAD_COUNT. Recursively read callsites to create nested function_instances
kono
parents:
diff changeset
188 too. STACK is used to track the recursive creation process. */
kono
parents:
diff changeset
189 static function_instance *
kono
parents:
diff changeset
190 read_function_instance (function_instance_stack *stack,
kono
parents:
diff changeset
191 gcov_type head_count);
kono
parents:
diff changeset
192
kono
parents:
diff changeset
193 /* Recursively deallocate all callsites (nested function_instances). */
kono
parents:
diff changeset
194 ~function_instance ();
kono
parents:
diff changeset
195
kono
parents:
diff changeset
196 /* Accessors. */
kono
parents:
diff changeset
197 int
kono
parents:
diff changeset
198 name () const
kono
parents:
diff changeset
199 {
kono
parents:
diff changeset
200 return name_;
kono
parents:
diff changeset
201 }
kono
parents:
diff changeset
202 gcov_type
kono
parents:
diff changeset
203 total_count () const
kono
parents:
diff changeset
204 {
kono
parents:
diff changeset
205 return total_count_;
kono
parents:
diff changeset
206 }
kono
parents:
diff changeset
207 gcov_type
kono
parents:
diff changeset
208 head_count () const
kono
parents:
diff changeset
209 {
kono
parents:
diff changeset
210 return head_count_;
kono
parents:
diff changeset
211 }
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213 /* Traverse callsites of the current function_instance to find one at the
kono
parents:
diff changeset
214 location of LINENO and callee name represented in DECL. */
kono
parents:
diff changeset
215 function_instance *get_function_instance_by_decl (unsigned lineno,
kono
parents:
diff changeset
216 tree decl) const;
kono
parents:
diff changeset
217
kono
parents:
diff changeset
218 /* Store the profile info for LOC in INFO. Return TRUE if profile info
kono
parents:
diff changeset
219 is found. */
kono
parents:
diff changeset
220 bool get_count_info (location_t loc, count_info *info) const;
kono
parents:
diff changeset
221
kono
parents:
diff changeset
222 /* Read the inlined indirect call target profile for STMT and store it in
kono
parents:
diff changeset
223 MAP, return the total count for all inlined indirect calls. */
kono
parents:
diff changeset
224 gcov_type find_icall_target_map (gcall *stmt, icall_target_map *map) const;
kono
parents:
diff changeset
225
kono
parents:
diff changeset
226 /* Sum of counts that is used during annotation. */
kono
parents:
diff changeset
227 gcov_type total_annotated_count () const;
kono
parents:
diff changeset
228
kono
parents:
diff changeset
229 /* Mark LOC as annotated. */
kono
parents:
diff changeset
230 void mark_annotated (location_t loc);
kono
parents:
diff changeset
231
kono
parents:
diff changeset
232 private:
kono
parents:
diff changeset
233 /* Callsite, represented as (decl_lineno, callee_function_name_index). */
kono
parents:
diff changeset
234 typedef std::pair<unsigned, unsigned> callsite;
kono
parents:
diff changeset
235
kono
parents:
diff changeset
236 /* Map from callsite to callee function_instance. */
kono
parents:
diff changeset
237 typedef std::map<callsite, function_instance *> callsite_map;
kono
parents:
diff changeset
238
kono
parents:
diff changeset
239 function_instance (unsigned name, gcov_type head_count)
kono
parents:
diff changeset
240 : name_ (name), total_count_ (0), head_count_ (head_count)
kono
parents:
diff changeset
241 {
kono
parents:
diff changeset
242 }
kono
parents:
diff changeset
243
kono
parents:
diff changeset
244 /* Map from source location (decl_lineno) to profile (count_info). */
kono
parents:
diff changeset
245 typedef std::map<unsigned, count_info> position_count_map;
kono
parents:
diff changeset
246
kono
parents:
diff changeset
247 /* function_instance name index in the string_table. */
kono
parents:
diff changeset
248 unsigned name_;
kono
parents:
diff changeset
249
kono
parents:
diff changeset
250 /* Total sample count. */
kono
parents:
diff changeset
251 gcov_type total_count_;
kono
parents:
diff changeset
252
kono
parents:
diff changeset
253 /* Entry BB's sample count. */
kono
parents:
diff changeset
254 gcov_type head_count_;
kono
parents:
diff changeset
255
kono
parents:
diff changeset
256 /* Map from callsite location to callee function_instance. */
kono
parents:
diff changeset
257 callsite_map callsites;
kono
parents:
diff changeset
258
kono
parents:
diff changeset
259 /* Map from source location to count_info. */
kono
parents:
diff changeset
260 position_count_map pos_counts;
kono
parents:
diff changeset
261 };
kono
parents:
diff changeset
262
kono
parents:
diff changeset
263 /* Profile for all functions. */
kono
parents:
diff changeset
264 class autofdo_source_profile
kono
parents:
diff changeset
265 {
kono
parents:
diff changeset
266 public:
kono
parents:
diff changeset
267 static autofdo_source_profile *
kono
parents:
diff changeset
268 create ()
kono
parents:
diff changeset
269 {
kono
parents:
diff changeset
270 autofdo_source_profile *map = new autofdo_source_profile ();
kono
parents:
diff changeset
271
kono
parents:
diff changeset
272 if (map->read ())
kono
parents:
diff changeset
273 return map;
kono
parents:
diff changeset
274 delete map;
kono
parents:
diff changeset
275 return NULL;
kono
parents:
diff changeset
276 }
kono
parents:
diff changeset
277
kono
parents:
diff changeset
278 ~autofdo_source_profile ();
kono
parents:
diff changeset
279
kono
parents:
diff changeset
280 /* For a given DECL, returns the top-level function_instance. */
kono
parents:
diff changeset
281 function_instance *get_function_instance_by_decl (tree decl) const;
kono
parents:
diff changeset
282
kono
parents:
diff changeset
283 /* Find count_info for a given gimple STMT. If found, store the count_info
kono
parents:
diff changeset
284 in INFO and return true; otherwise return false. */
kono
parents:
diff changeset
285 bool get_count_info (gimple *stmt, count_info *info) const;
kono
parents:
diff changeset
286
kono
parents:
diff changeset
287 /* Find total count of the callee of EDGE. */
kono
parents:
diff changeset
288 gcov_type get_callsite_total_count (struct cgraph_edge *edge) const;
kono
parents:
diff changeset
289
kono
parents:
diff changeset
290 /* Update value profile INFO for STMT from the inlined indirect callsite.
kono
parents:
diff changeset
291 Return true if INFO is updated. */
kono
parents:
diff changeset
292 bool update_inlined_ind_target (gcall *stmt, count_info *info);
kono
parents:
diff changeset
293
kono
parents:
diff changeset
294 /* Mark LOC as annotated. */
kono
parents:
diff changeset
295 void mark_annotated (location_t loc);
kono
parents:
diff changeset
296
kono
parents:
diff changeset
297 private:
kono
parents:
diff changeset
298 /* Map from function_instance name index (in string_table) to
kono
parents:
diff changeset
299 function_instance. */
kono
parents:
diff changeset
300 typedef std::map<unsigned, function_instance *> name_function_instance_map;
kono
parents:
diff changeset
301
kono
parents:
diff changeset
302 autofdo_source_profile () {}
kono
parents:
diff changeset
303
kono
parents:
diff changeset
304 /* Read AutoFDO profile and returns TRUE on success. */
kono
parents:
diff changeset
305 bool read ();
kono
parents:
diff changeset
306
kono
parents:
diff changeset
307 /* Return the function_instance in the profile that correspond to the
kono
parents:
diff changeset
308 inline STACK. */
kono
parents:
diff changeset
309 function_instance *
kono
parents:
diff changeset
310 get_function_instance_by_inline_stack (const inline_stack &stack) const;
kono
parents:
diff changeset
311
kono
parents:
diff changeset
312 name_function_instance_map map_;
kono
parents:
diff changeset
313 };
kono
parents:
diff changeset
314
kono
parents:
diff changeset
315 /* Store the strings read from the profile data file. */
kono
parents:
diff changeset
316 static string_table *afdo_string_table;
kono
parents:
diff changeset
317
kono
parents:
diff changeset
318 /* Store the AutoFDO source profile. */
kono
parents:
diff changeset
319 static autofdo_source_profile *afdo_source_profile;
kono
parents:
diff changeset
320
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
321 /* gcov_summary structure to store the profile_info. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
322 static gcov_summary *afdo_profile_info;
111
kono
parents:
diff changeset
323
kono
parents:
diff changeset
324 /* Helper functions. */
kono
parents:
diff changeset
325
kono
parents:
diff changeset
326 /* Return the original name of NAME: strip the suffix that starts
kono
parents:
diff changeset
327 with '.' Caller is responsible for freeing RET. */
kono
parents:
diff changeset
328
kono
parents:
diff changeset
329 static char *
kono
parents:
diff changeset
330 get_original_name (const char *name)
kono
parents:
diff changeset
331 {
kono
parents:
diff changeset
332 char *ret = xstrdup (name);
kono
parents:
diff changeset
333 char *find = strchr (ret, '.');
kono
parents:
diff changeset
334 if (find != NULL)
kono
parents:
diff changeset
335 *find = 0;
kono
parents:
diff changeset
336 return ret;
kono
parents:
diff changeset
337 }
kono
parents:
diff changeset
338
kono
parents:
diff changeset
339 /* Return the combined location, which is a 32bit integer in which
kono
parents:
diff changeset
340 higher 16 bits stores the line offset of LOC to the start lineno
kono
parents:
diff changeset
341 of DECL, The lower 16 bits stores the discriminator. */
kono
parents:
diff changeset
342
kono
parents:
diff changeset
343 static unsigned
kono
parents:
diff changeset
344 get_combined_location (location_t loc, tree decl)
kono
parents:
diff changeset
345 {
kono
parents:
diff changeset
346 /* TODO: allow more bits for line and less bits for discriminator. */
kono
parents:
diff changeset
347 if (LOCATION_LINE (loc) - DECL_SOURCE_LINE (decl) >= (1<<16))
kono
parents:
diff changeset
348 warning_at (loc, OPT_Woverflow, "offset exceeds 16 bytes");
kono
parents:
diff changeset
349 return ((LOCATION_LINE (loc) - DECL_SOURCE_LINE (decl)) << 16);
kono
parents:
diff changeset
350 }
kono
parents:
diff changeset
351
kono
parents:
diff changeset
352 /* Return the function decl of a given lexical BLOCK. */
kono
parents:
diff changeset
353
kono
parents:
diff changeset
354 static tree
kono
parents:
diff changeset
355 get_function_decl_from_block (tree block)
kono
parents:
diff changeset
356 {
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
357 if (!inlined_function_outer_scope_p (block))
111
kono
parents:
diff changeset
358 return NULL_TREE;
kono
parents:
diff changeset
359
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
360 return BLOCK_ABSTRACT_ORIGIN (block);
111
kono
parents:
diff changeset
361 }
kono
parents:
diff changeset
362
kono
parents:
diff changeset
363 /* Store inline stack for STMT in STACK. */
kono
parents:
diff changeset
364
kono
parents:
diff changeset
365 static void
kono
parents:
diff changeset
366 get_inline_stack (location_t locus, inline_stack *stack)
kono
parents:
diff changeset
367 {
kono
parents:
diff changeset
368 if (LOCATION_LOCUS (locus) == UNKNOWN_LOCATION)
kono
parents:
diff changeset
369 return;
kono
parents:
diff changeset
370
kono
parents:
diff changeset
371 tree block = LOCATION_BLOCK (locus);
kono
parents:
diff changeset
372 if (block && TREE_CODE (block) == BLOCK)
kono
parents:
diff changeset
373 {
kono
parents:
diff changeset
374 int level = 0;
kono
parents:
diff changeset
375 for (block = BLOCK_SUPERCONTEXT (block);
kono
parents:
diff changeset
376 block && (TREE_CODE (block) == BLOCK);
kono
parents:
diff changeset
377 block = BLOCK_SUPERCONTEXT (block))
kono
parents:
diff changeset
378 {
kono
parents:
diff changeset
379 location_t tmp_locus = BLOCK_SOURCE_LOCATION (block);
kono
parents:
diff changeset
380 if (LOCATION_LOCUS (tmp_locus) == UNKNOWN_LOCATION)
kono
parents:
diff changeset
381 continue;
kono
parents:
diff changeset
382
kono
parents:
diff changeset
383 tree decl = get_function_decl_from_block (block);
kono
parents:
diff changeset
384 stack->safe_push (
kono
parents:
diff changeset
385 std::make_pair (decl, get_combined_location (locus, decl)));
kono
parents:
diff changeset
386 locus = tmp_locus;
kono
parents:
diff changeset
387 level++;
kono
parents:
diff changeset
388 }
kono
parents:
diff changeset
389 }
kono
parents:
diff changeset
390 stack->safe_push (
kono
parents:
diff changeset
391 std::make_pair (current_function_decl,
kono
parents:
diff changeset
392 get_combined_location (locus, current_function_decl)));
kono
parents:
diff changeset
393 }
kono
parents:
diff changeset
394
kono
parents:
diff changeset
395 /* Return STMT's combined location, which is a 32bit integer in which
kono
parents:
diff changeset
396 higher 16 bits stores the line offset of LOC to the start lineno
kono
parents:
diff changeset
397 of DECL, The lower 16 bits stores the discriminator. */
kono
parents:
diff changeset
398
kono
parents:
diff changeset
399 static unsigned
kono
parents:
diff changeset
400 get_relative_location_for_stmt (gimple *stmt)
kono
parents:
diff changeset
401 {
kono
parents:
diff changeset
402 location_t locus = gimple_location (stmt);
kono
parents:
diff changeset
403 if (LOCATION_LOCUS (locus) == UNKNOWN_LOCATION)
kono
parents:
diff changeset
404 return UNKNOWN_LOCATION;
kono
parents:
diff changeset
405
kono
parents:
diff changeset
406 for (tree block = gimple_block (stmt); block && (TREE_CODE (block) == BLOCK);
kono
parents:
diff changeset
407 block = BLOCK_SUPERCONTEXT (block))
kono
parents:
diff changeset
408 if (LOCATION_LOCUS (BLOCK_SOURCE_LOCATION (block)) != UNKNOWN_LOCATION)
kono
parents:
diff changeset
409 return get_combined_location (locus,
kono
parents:
diff changeset
410 get_function_decl_from_block (block));
kono
parents:
diff changeset
411 return get_combined_location (locus, current_function_decl);
kono
parents:
diff changeset
412 }
kono
parents:
diff changeset
413
kono
parents:
diff changeset
414 /* Return true if BB contains indirect call. */
kono
parents:
diff changeset
415
kono
parents:
diff changeset
416 static bool
kono
parents:
diff changeset
417 has_indirect_call (basic_block bb)
kono
parents:
diff changeset
418 {
kono
parents:
diff changeset
419 gimple_stmt_iterator gsi;
kono
parents:
diff changeset
420
kono
parents:
diff changeset
421 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
422 {
kono
parents:
diff changeset
423 gimple *stmt = gsi_stmt (gsi);
kono
parents:
diff changeset
424 if (gimple_code (stmt) == GIMPLE_CALL && !gimple_call_internal_p (stmt)
kono
parents:
diff changeset
425 && (gimple_call_fn (stmt) == NULL
kono
parents:
diff changeset
426 || TREE_CODE (gimple_call_fn (stmt)) != FUNCTION_DECL))
kono
parents:
diff changeset
427 return true;
kono
parents:
diff changeset
428 }
kono
parents:
diff changeset
429 return false;
kono
parents:
diff changeset
430 }
kono
parents:
diff changeset
431
kono
parents:
diff changeset
432 /* Member functions for string_table. */
kono
parents:
diff changeset
433
kono
parents:
diff changeset
434 /* Deconstructor. */
kono
parents:
diff changeset
435
kono
parents:
diff changeset
436 string_table::~string_table ()
kono
parents:
diff changeset
437 {
kono
parents:
diff changeset
438 for (unsigned i = 0; i < vector_.length (); i++)
kono
parents:
diff changeset
439 free (vector_[i]);
kono
parents:
diff changeset
440 }
kono
parents:
diff changeset
441
kono
parents:
diff changeset
442
kono
parents:
diff changeset
443 /* Return the index of a given function NAME. Return -1 if NAME is not
kono
parents:
diff changeset
444 found in string table. */
kono
parents:
diff changeset
445
kono
parents:
diff changeset
446 int
kono
parents:
diff changeset
447 string_table::get_index (const char *name) const
kono
parents:
diff changeset
448 {
kono
parents:
diff changeset
449 if (name == NULL)
kono
parents:
diff changeset
450 return -1;
kono
parents:
diff changeset
451 string_index_map::const_iterator iter = map_.find (name);
kono
parents:
diff changeset
452 if (iter == map_.end ())
kono
parents:
diff changeset
453 return -1;
kono
parents:
diff changeset
454
kono
parents:
diff changeset
455 return iter->second;
kono
parents:
diff changeset
456 }
kono
parents:
diff changeset
457
kono
parents:
diff changeset
458 /* Return the index of a given function DECL. Return -1 if DECL is not
kono
parents:
diff changeset
459 found in string table. */
kono
parents:
diff changeset
460
kono
parents:
diff changeset
461 int
kono
parents:
diff changeset
462 string_table::get_index_by_decl (tree decl) const
kono
parents:
diff changeset
463 {
kono
parents:
diff changeset
464 char *name
kono
parents:
diff changeset
465 = get_original_name (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
kono
parents:
diff changeset
466 int ret = get_index (name);
kono
parents:
diff changeset
467 free (name);
kono
parents:
diff changeset
468 if (ret != -1)
kono
parents:
diff changeset
469 return ret;
kono
parents:
diff changeset
470 ret = get_index (lang_hooks.dwarf_name (decl, 0));
kono
parents:
diff changeset
471 if (ret != -1)
kono
parents:
diff changeset
472 return ret;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
473 if (DECL_ABSTRACT_ORIGIN (decl) && DECL_ABSTRACT_ORIGIN (decl) != decl)
111
kono
parents:
diff changeset
474 return get_index_by_decl (DECL_ABSTRACT_ORIGIN (decl));
kono
parents:
diff changeset
475
kono
parents:
diff changeset
476 return -1;
kono
parents:
diff changeset
477 }
kono
parents:
diff changeset
478
kono
parents:
diff changeset
479 /* Return the function name of a given INDEX. */
kono
parents:
diff changeset
480
kono
parents:
diff changeset
481 const char *
kono
parents:
diff changeset
482 string_table::get_name (int index) const
kono
parents:
diff changeset
483 {
kono
parents:
diff changeset
484 gcc_assert (index > 0 && index < (int)vector_.length ());
kono
parents:
diff changeset
485 return vector_[index];
kono
parents:
diff changeset
486 }
kono
parents:
diff changeset
487
kono
parents:
diff changeset
488 /* Read the string table. Return TRUE if reading is successful. */
kono
parents:
diff changeset
489
kono
parents:
diff changeset
490 bool
kono
parents:
diff changeset
491 string_table::read ()
kono
parents:
diff changeset
492 {
kono
parents:
diff changeset
493 if (gcov_read_unsigned () != GCOV_TAG_AFDO_FILE_NAMES)
kono
parents:
diff changeset
494 return false;
kono
parents:
diff changeset
495 /* Skip the length of the section. */
kono
parents:
diff changeset
496 gcov_read_unsigned ();
kono
parents:
diff changeset
497 /* Read in the file name table. */
kono
parents:
diff changeset
498 unsigned string_num = gcov_read_unsigned ();
kono
parents:
diff changeset
499 for (unsigned i = 0; i < string_num; i++)
kono
parents:
diff changeset
500 {
kono
parents:
diff changeset
501 vector_.safe_push (get_original_name (gcov_read_string ()));
kono
parents:
diff changeset
502 map_[vector_.last ()] = i;
kono
parents:
diff changeset
503 }
kono
parents:
diff changeset
504 return true;
kono
parents:
diff changeset
505 }
kono
parents:
diff changeset
506
kono
parents:
diff changeset
507 /* Member functions for function_instance. */
kono
parents:
diff changeset
508
kono
parents:
diff changeset
509 function_instance::~function_instance ()
kono
parents:
diff changeset
510 {
kono
parents:
diff changeset
511 for (callsite_map::iterator iter = callsites.begin ();
kono
parents:
diff changeset
512 iter != callsites.end (); ++iter)
kono
parents:
diff changeset
513 delete iter->second;
kono
parents:
diff changeset
514 }
kono
parents:
diff changeset
515
kono
parents:
diff changeset
516 /* Traverse callsites of the current function_instance to find one at the
kono
parents:
diff changeset
517 location of LINENO and callee name represented in DECL. */
kono
parents:
diff changeset
518
kono
parents:
diff changeset
519 function_instance *
kono
parents:
diff changeset
520 function_instance::get_function_instance_by_decl (unsigned lineno,
kono
parents:
diff changeset
521 tree decl) const
kono
parents:
diff changeset
522 {
kono
parents:
diff changeset
523 int func_name_idx = afdo_string_table->get_index_by_decl (decl);
kono
parents:
diff changeset
524 if (func_name_idx != -1)
kono
parents:
diff changeset
525 {
kono
parents:
diff changeset
526 callsite_map::const_iterator ret
kono
parents:
diff changeset
527 = callsites.find (std::make_pair (lineno, func_name_idx));
kono
parents:
diff changeset
528 if (ret != callsites.end ())
kono
parents:
diff changeset
529 return ret->second;
kono
parents:
diff changeset
530 }
kono
parents:
diff changeset
531 func_name_idx
kono
parents:
diff changeset
532 = afdo_string_table->get_index (lang_hooks.dwarf_name (decl, 0));
kono
parents:
diff changeset
533 if (func_name_idx != -1)
kono
parents:
diff changeset
534 {
kono
parents:
diff changeset
535 callsite_map::const_iterator ret
kono
parents:
diff changeset
536 = callsites.find (std::make_pair (lineno, func_name_idx));
kono
parents:
diff changeset
537 if (ret != callsites.end ())
kono
parents:
diff changeset
538 return ret->second;
kono
parents:
diff changeset
539 }
kono
parents:
diff changeset
540 if (DECL_ABSTRACT_ORIGIN (decl))
kono
parents:
diff changeset
541 return get_function_instance_by_decl (lineno, DECL_ABSTRACT_ORIGIN (decl));
kono
parents:
diff changeset
542
kono
parents:
diff changeset
543 return NULL;
kono
parents:
diff changeset
544 }
kono
parents:
diff changeset
545
kono
parents:
diff changeset
546 /* Store the profile info for LOC in INFO. Return TRUE if profile info
kono
parents:
diff changeset
547 is found. */
kono
parents:
diff changeset
548
kono
parents:
diff changeset
549 bool
kono
parents:
diff changeset
550 function_instance::get_count_info (location_t loc, count_info *info) const
kono
parents:
diff changeset
551 {
kono
parents:
diff changeset
552 position_count_map::const_iterator iter = pos_counts.find (loc);
kono
parents:
diff changeset
553 if (iter == pos_counts.end ())
kono
parents:
diff changeset
554 return false;
kono
parents:
diff changeset
555 *info = iter->second;
kono
parents:
diff changeset
556 return true;
kono
parents:
diff changeset
557 }
kono
parents:
diff changeset
558
kono
parents:
diff changeset
559 /* Mark LOC as annotated. */
kono
parents:
diff changeset
560
kono
parents:
diff changeset
561 void
kono
parents:
diff changeset
562 function_instance::mark_annotated (location_t loc)
kono
parents:
diff changeset
563 {
kono
parents:
diff changeset
564 position_count_map::iterator iter = pos_counts.find (loc);
kono
parents:
diff changeset
565 if (iter == pos_counts.end ())
kono
parents:
diff changeset
566 return;
kono
parents:
diff changeset
567 iter->second.annotated = true;
kono
parents:
diff changeset
568 }
kono
parents:
diff changeset
569
kono
parents:
diff changeset
570 /* Read the inlined indirect call target profile for STMT and store it in
kono
parents:
diff changeset
571 MAP, return the total count for all inlined indirect calls. */
kono
parents:
diff changeset
572
kono
parents:
diff changeset
573 gcov_type
kono
parents:
diff changeset
574 function_instance::find_icall_target_map (gcall *stmt,
kono
parents:
diff changeset
575 icall_target_map *map) const
kono
parents:
diff changeset
576 {
kono
parents:
diff changeset
577 gcov_type ret = 0;
kono
parents:
diff changeset
578 unsigned stmt_offset = get_relative_location_for_stmt (stmt);
kono
parents:
diff changeset
579
kono
parents:
diff changeset
580 for (callsite_map::const_iterator iter = callsites.begin ();
kono
parents:
diff changeset
581 iter != callsites.end (); ++iter)
kono
parents:
diff changeset
582 {
kono
parents:
diff changeset
583 unsigned callee = iter->second->name ();
kono
parents:
diff changeset
584 /* Check if callsite location match the stmt. */
kono
parents:
diff changeset
585 if (iter->first.first != stmt_offset)
kono
parents:
diff changeset
586 continue;
kono
parents:
diff changeset
587 struct cgraph_node *node = cgraph_node::get_for_asmname (
kono
parents:
diff changeset
588 get_identifier (afdo_string_table->get_name (callee)));
kono
parents:
diff changeset
589 if (node == NULL)
kono
parents:
diff changeset
590 continue;
kono
parents:
diff changeset
591 if (!check_ic_target (stmt, node))
kono
parents:
diff changeset
592 continue;
kono
parents:
diff changeset
593 (*map)[callee] = iter->second->total_count ();
kono
parents:
diff changeset
594 ret += iter->second->total_count ();
kono
parents:
diff changeset
595 }
kono
parents:
diff changeset
596 return ret;
kono
parents:
diff changeset
597 }
kono
parents:
diff changeset
598
kono
parents:
diff changeset
599 /* Read the profile and create a function_instance with head count as
kono
parents:
diff changeset
600 HEAD_COUNT. Recursively read callsites to create nested function_instances
kono
parents:
diff changeset
601 too. STACK is used to track the recursive creation process. */
kono
parents:
diff changeset
602
kono
parents:
diff changeset
603 /* function instance profile format:
kono
parents:
diff changeset
604
kono
parents:
diff changeset
605 ENTRY_COUNT: 8 bytes
kono
parents:
diff changeset
606 NAME_INDEX: 4 bytes
kono
parents:
diff changeset
607 NUM_POS_COUNTS: 4 bytes
kono
parents:
diff changeset
608 NUM_CALLSITES: 4 byte
kono
parents:
diff changeset
609 POS_COUNT_1:
kono
parents:
diff changeset
610 POS_1_OFFSET: 4 bytes
kono
parents:
diff changeset
611 NUM_TARGETS: 4 bytes
kono
parents:
diff changeset
612 COUNT: 8 bytes
kono
parents:
diff changeset
613 TARGET_1:
kono
parents:
diff changeset
614 VALUE_PROFILE_TYPE: 4 bytes
kono
parents:
diff changeset
615 TARGET_IDX: 8 bytes
kono
parents:
diff changeset
616 COUNT: 8 bytes
kono
parents:
diff changeset
617 TARGET_2
kono
parents:
diff changeset
618 ...
kono
parents:
diff changeset
619 TARGET_n
kono
parents:
diff changeset
620 POS_COUNT_2
kono
parents:
diff changeset
621 ...
kono
parents:
diff changeset
622 POS_COUNT_N
kono
parents:
diff changeset
623 CALLSITE_1:
kono
parents:
diff changeset
624 CALLSITE_1_OFFSET: 4 bytes
kono
parents:
diff changeset
625 FUNCTION_INSTANCE_PROFILE (nested)
kono
parents:
diff changeset
626 CALLSITE_2
kono
parents:
diff changeset
627 ...
kono
parents:
diff changeset
628 CALLSITE_n. */
kono
parents:
diff changeset
629
kono
parents:
diff changeset
630 function_instance *
kono
parents:
diff changeset
631 function_instance::read_function_instance (function_instance_stack *stack,
kono
parents:
diff changeset
632 gcov_type head_count)
kono
parents:
diff changeset
633 {
kono
parents:
diff changeset
634 unsigned name = gcov_read_unsigned ();
kono
parents:
diff changeset
635 unsigned num_pos_counts = gcov_read_unsigned ();
kono
parents:
diff changeset
636 unsigned num_callsites = gcov_read_unsigned ();
kono
parents:
diff changeset
637 function_instance *s = new function_instance (name, head_count);
kono
parents:
diff changeset
638 stack->safe_push (s);
kono
parents:
diff changeset
639
kono
parents:
diff changeset
640 for (unsigned i = 0; i < num_pos_counts; i++)
kono
parents:
diff changeset
641 {
kono
parents:
diff changeset
642 unsigned offset = gcov_read_unsigned () & 0xffff0000;
kono
parents:
diff changeset
643 unsigned num_targets = gcov_read_unsigned ();
kono
parents:
diff changeset
644 gcov_type count = gcov_read_counter ();
kono
parents:
diff changeset
645 s->pos_counts[offset].count = count;
kono
parents:
diff changeset
646 for (unsigned j = 0; j < stack->length (); j++)
kono
parents:
diff changeset
647 (*stack)[j]->total_count_ += count;
kono
parents:
diff changeset
648 for (unsigned j = 0; j < num_targets; j++)
kono
parents:
diff changeset
649 {
kono
parents:
diff changeset
650 /* Only indirect call target histogram is supported now. */
kono
parents:
diff changeset
651 gcov_read_unsigned ();
kono
parents:
diff changeset
652 gcov_type target_idx = gcov_read_counter ();
kono
parents:
diff changeset
653 s->pos_counts[offset].targets[target_idx] = gcov_read_counter ();
kono
parents:
diff changeset
654 }
kono
parents:
diff changeset
655 }
kono
parents:
diff changeset
656 for (unsigned i = 0; i < num_callsites; i++)
kono
parents:
diff changeset
657 {
kono
parents:
diff changeset
658 unsigned offset = gcov_read_unsigned ();
kono
parents:
diff changeset
659 function_instance *callee_function_instance
kono
parents:
diff changeset
660 = read_function_instance (stack, 0);
kono
parents:
diff changeset
661 s->callsites[std::make_pair (offset, callee_function_instance->name ())]
kono
parents:
diff changeset
662 = callee_function_instance;
kono
parents:
diff changeset
663 }
kono
parents:
diff changeset
664 stack->pop ();
kono
parents:
diff changeset
665 return s;
kono
parents:
diff changeset
666 }
kono
parents:
diff changeset
667
kono
parents:
diff changeset
668 /* Sum of counts that is used during annotation. */
kono
parents:
diff changeset
669
kono
parents:
diff changeset
670 gcov_type
kono
parents:
diff changeset
671 function_instance::total_annotated_count () const
kono
parents:
diff changeset
672 {
kono
parents:
diff changeset
673 gcov_type ret = 0;
kono
parents:
diff changeset
674 for (callsite_map::const_iterator iter = callsites.begin ();
kono
parents:
diff changeset
675 iter != callsites.end (); ++iter)
kono
parents:
diff changeset
676 ret += iter->second->total_annotated_count ();
kono
parents:
diff changeset
677 for (position_count_map::const_iterator iter = pos_counts.begin ();
kono
parents:
diff changeset
678 iter != pos_counts.end (); ++iter)
kono
parents:
diff changeset
679 if (iter->second.annotated)
kono
parents:
diff changeset
680 ret += iter->second.count;
kono
parents:
diff changeset
681 return ret;
kono
parents:
diff changeset
682 }
kono
parents:
diff changeset
683
kono
parents:
diff changeset
684 /* Member functions for autofdo_source_profile. */
kono
parents:
diff changeset
685
kono
parents:
diff changeset
686 autofdo_source_profile::~autofdo_source_profile ()
kono
parents:
diff changeset
687 {
kono
parents:
diff changeset
688 for (name_function_instance_map::const_iterator iter = map_.begin ();
kono
parents:
diff changeset
689 iter != map_.end (); ++iter)
kono
parents:
diff changeset
690 delete iter->second;
kono
parents:
diff changeset
691 }
kono
parents:
diff changeset
692
kono
parents:
diff changeset
693 /* For a given DECL, returns the top-level function_instance. */
kono
parents:
diff changeset
694
kono
parents:
diff changeset
695 function_instance *
kono
parents:
diff changeset
696 autofdo_source_profile::get_function_instance_by_decl (tree decl) const
kono
parents:
diff changeset
697 {
kono
parents:
diff changeset
698 int index = afdo_string_table->get_index_by_decl (decl);
kono
parents:
diff changeset
699 if (index == -1)
kono
parents:
diff changeset
700 return NULL;
kono
parents:
diff changeset
701 name_function_instance_map::const_iterator ret = map_.find (index);
kono
parents:
diff changeset
702 return ret == map_.end () ? NULL : ret->second;
kono
parents:
diff changeset
703 }
kono
parents:
diff changeset
704
kono
parents:
diff changeset
705 /* Find count_info for a given gimple STMT. If found, store the count_info
kono
parents:
diff changeset
706 in INFO and return true; otherwise return false. */
kono
parents:
diff changeset
707
kono
parents:
diff changeset
708 bool
kono
parents:
diff changeset
709 autofdo_source_profile::get_count_info (gimple *stmt, count_info *info) const
kono
parents:
diff changeset
710 {
kono
parents:
diff changeset
711 if (LOCATION_LOCUS (gimple_location (stmt)) == cfun->function_end_locus)
kono
parents:
diff changeset
712 return false;
kono
parents:
diff changeset
713
kono
parents:
diff changeset
714 inline_stack stack;
kono
parents:
diff changeset
715 get_inline_stack (gimple_location (stmt), &stack);
kono
parents:
diff changeset
716 if (stack.length () == 0)
kono
parents:
diff changeset
717 return false;
kono
parents:
diff changeset
718 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
719 if (s == NULL)
kono
parents:
diff changeset
720 return false;
kono
parents:
diff changeset
721 return s->get_count_info (stack[0].second, info);
kono
parents:
diff changeset
722 }
kono
parents:
diff changeset
723
kono
parents:
diff changeset
724 /* Mark LOC as annotated. */
kono
parents:
diff changeset
725
kono
parents:
diff changeset
726 void
kono
parents:
diff changeset
727 autofdo_source_profile::mark_annotated (location_t loc)
kono
parents:
diff changeset
728 {
kono
parents:
diff changeset
729 inline_stack stack;
kono
parents:
diff changeset
730 get_inline_stack (loc, &stack);
kono
parents:
diff changeset
731 if (stack.length () == 0)
kono
parents:
diff changeset
732 return;
kono
parents:
diff changeset
733 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
734 if (s == NULL)
kono
parents:
diff changeset
735 return;
kono
parents:
diff changeset
736 s->mark_annotated (stack[0].second);
kono
parents:
diff changeset
737 }
kono
parents:
diff changeset
738
kono
parents:
diff changeset
739 /* Update value profile INFO for STMT from the inlined indirect callsite.
kono
parents:
diff changeset
740 Return true if INFO is updated. */
kono
parents:
diff changeset
741
kono
parents:
diff changeset
742 bool
kono
parents:
diff changeset
743 autofdo_source_profile::update_inlined_ind_target (gcall *stmt,
kono
parents:
diff changeset
744 count_info *info)
kono
parents:
diff changeset
745 {
kono
parents:
diff changeset
746 if (dump_file)
kono
parents:
diff changeset
747 {
kono
parents:
diff changeset
748 fprintf (dump_file, "Checking indirect call -> direct call ");
kono
parents:
diff changeset
749 print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
kono
parents:
diff changeset
750 }
kono
parents:
diff changeset
751
kono
parents:
diff changeset
752 if (LOCATION_LOCUS (gimple_location (stmt)) == cfun->function_end_locus)
kono
parents:
diff changeset
753 {
kono
parents:
diff changeset
754 if (dump_file)
kono
parents:
diff changeset
755 fprintf (dump_file, " good locus\n");
kono
parents:
diff changeset
756 return false;
kono
parents:
diff changeset
757 }
kono
parents:
diff changeset
758
kono
parents:
diff changeset
759 count_info old_info;
kono
parents:
diff changeset
760 get_count_info (stmt, &old_info);
kono
parents:
diff changeset
761 gcov_type total = 0;
kono
parents:
diff changeset
762 for (icall_target_map::const_iterator iter = old_info.targets.begin ();
kono
parents:
diff changeset
763 iter != old_info.targets.end (); ++iter)
kono
parents:
diff changeset
764 total += iter->second;
kono
parents:
diff changeset
765
kono
parents:
diff changeset
766 /* Program behavior changed, original promoted (and inlined) target is not
kono
parents:
diff changeset
767 hot any more. Will avoid promote the original target.
kono
parents:
diff changeset
768
kono
parents:
diff changeset
769 To check if original promoted target is still hot, we check the total
kono
parents:
diff changeset
770 count of the unpromoted targets (stored in TOTAL). If a callsite count
kono
parents:
diff changeset
771 (stored in INFO) is smaller than half of the total count, the original
kono
parents:
diff changeset
772 promoted target is considered not hot any more. */
kono
parents:
diff changeset
773 if (info->count < total / 2)
kono
parents:
diff changeset
774 {
kono
parents:
diff changeset
775 if (dump_file)
kono
parents:
diff changeset
776 fprintf (dump_file, " not hot anymore %ld < %ld",
kono
parents:
diff changeset
777 (long)info->count,
kono
parents:
diff changeset
778 (long)total /2);
kono
parents:
diff changeset
779 return false;
kono
parents:
diff changeset
780 }
kono
parents:
diff changeset
781
kono
parents:
diff changeset
782 inline_stack stack;
kono
parents:
diff changeset
783 get_inline_stack (gimple_location (stmt), &stack);
kono
parents:
diff changeset
784 if (stack.length () == 0)
kono
parents:
diff changeset
785 {
kono
parents:
diff changeset
786 if (dump_file)
kono
parents:
diff changeset
787 fprintf (dump_file, " no inline stack\n");
kono
parents:
diff changeset
788 return false;
kono
parents:
diff changeset
789 }
kono
parents:
diff changeset
790 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
791 if (s == NULL)
kono
parents:
diff changeset
792 {
kono
parents:
diff changeset
793 if (dump_file)
kono
parents:
diff changeset
794 fprintf (dump_file, " function not found in inline stack\n");
kono
parents:
diff changeset
795 return false;
kono
parents:
diff changeset
796 }
kono
parents:
diff changeset
797 icall_target_map map;
kono
parents:
diff changeset
798 if (s->find_icall_target_map (stmt, &map) == 0)
kono
parents:
diff changeset
799 {
kono
parents:
diff changeset
800 if (dump_file)
kono
parents:
diff changeset
801 fprintf (dump_file, " no target map\n");
kono
parents:
diff changeset
802 return false;
kono
parents:
diff changeset
803 }
kono
parents:
diff changeset
804 for (icall_target_map::const_iterator iter = map.begin ();
kono
parents:
diff changeset
805 iter != map.end (); ++iter)
kono
parents:
diff changeset
806 info->targets[iter->first] = iter->second;
kono
parents:
diff changeset
807 if (dump_file)
kono
parents:
diff changeset
808 fprintf (dump_file, " looks good\n");
kono
parents:
diff changeset
809 return true;
kono
parents:
diff changeset
810 }
kono
parents:
diff changeset
811
kono
parents:
diff changeset
812 /* Find total count of the callee of EDGE. */
kono
parents:
diff changeset
813
kono
parents:
diff changeset
814 gcov_type
kono
parents:
diff changeset
815 autofdo_source_profile::get_callsite_total_count (
kono
parents:
diff changeset
816 struct cgraph_edge *edge) const
kono
parents:
diff changeset
817 {
kono
parents:
diff changeset
818 inline_stack stack;
kono
parents:
diff changeset
819 stack.safe_push (std::make_pair (edge->callee->decl, 0));
kono
parents:
diff changeset
820 get_inline_stack (gimple_location (edge->call_stmt), &stack);
kono
parents:
diff changeset
821
kono
parents:
diff changeset
822 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
823 if (s == NULL
kono
parents:
diff changeset
824 || afdo_string_table->get_index (IDENTIFIER_POINTER (
kono
parents:
diff changeset
825 DECL_ASSEMBLER_NAME (edge->callee->decl))) != s->name ())
kono
parents:
diff changeset
826 return 0;
kono
parents:
diff changeset
827
kono
parents:
diff changeset
828 return s->total_count ();
kono
parents:
diff changeset
829 }
kono
parents:
diff changeset
830
kono
parents:
diff changeset
831 /* Read AutoFDO profile and returns TRUE on success. */
kono
parents:
diff changeset
832
kono
parents:
diff changeset
833 /* source profile format:
kono
parents:
diff changeset
834
kono
parents:
diff changeset
835 GCOV_TAG_AFDO_FUNCTION: 4 bytes
kono
parents:
diff changeset
836 LENGTH: 4 bytes
kono
parents:
diff changeset
837 NUM_FUNCTIONS: 4 bytes
kono
parents:
diff changeset
838 FUNCTION_INSTANCE_1
kono
parents:
diff changeset
839 FUNCTION_INSTANCE_2
kono
parents:
diff changeset
840 ...
kono
parents:
diff changeset
841 FUNCTION_INSTANCE_N. */
kono
parents:
diff changeset
842
kono
parents:
diff changeset
843 bool
kono
parents:
diff changeset
844 autofdo_source_profile::read ()
kono
parents:
diff changeset
845 {
kono
parents:
diff changeset
846 if (gcov_read_unsigned () != GCOV_TAG_AFDO_FUNCTION)
kono
parents:
diff changeset
847 {
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
848 inform (UNKNOWN_LOCATION, "Not expected TAG.");
111
kono
parents:
diff changeset
849 return false;
kono
parents:
diff changeset
850 }
kono
parents:
diff changeset
851
kono
parents:
diff changeset
852 /* Skip the length of the section. */
kono
parents:
diff changeset
853 gcov_read_unsigned ();
kono
parents:
diff changeset
854
kono
parents:
diff changeset
855 /* Read in the function/callsite profile, and store it in local
kono
parents:
diff changeset
856 data structure. */
kono
parents:
diff changeset
857 unsigned function_num = gcov_read_unsigned ();
kono
parents:
diff changeset
858 for (unsigned i = 0; i < function_num; i++)
kono
parents:
diff changeset
859 {
kono
parents:
diff changeset
860 function_instance::function_instance_stack stack;
kono
parents:
diff changeset
861 function_instance *s = function_instance::read_function_instance (
kono
parents:
diff changeset
862 &stack, gcov_read_counter ());
kono
parents:
diff changeset
863 map_[s->name ()] = s;
kono
parents:
diff changeset
864 }
kono
parents:
diff changeset
865 return true;
kono
parents:
diff changeset
866 }
kono
parents:
diff changeset
867
kono
parents:
diff changeset
868 /* Return the function_instance in the profile that correspond to the
kono
parents:
diff changeset
869 inline STACK. */
kono
parents:
diff changeset
870
kono
parents:
diff changeset
871 function_instance *
kono
parents:
diff changeset
872 autofdo_source_profile::get_function_instance_by_inline_stack (
kono
parents:
diff changeset
873 const inline_stack &stack) const
kono
parents:
diff changeset
874 {
kono
parents:
diff changeset
875 name_function_instance_map::const_iterator iter = map_.find (
kono
parents:
diff changeset
876 afdo_string_table->get_index_by_decl (stack[stack.length () - 1].first));
kono
parents:
diff changeset
877 if (iter == map_.end())
kono
parents:
diff changeset
878 return NULL;
kono
parents:
diff changeset
879 function_instance *s = iter->second;
kono
parents:
diff changeset
880 for (unsigned i = stack.length() - 1; i > 0; i--)
kono
parents:
diff changeset
881 {
kono
parents:
diff changeset
882 s = s->get_function_instance_by_decl (
kono
parents:
diff changeset
883 stack[i].second, stack[i - 1].first);
kono
parents:
diff changeset
884 if (s == NULL)
kono
parents:
diff changeset
885 return NULL;
kono
parents:
diff changeset
886 }
kono
parents:
diff changeset
887 return s;
kono
parents:
diff changeset
888 }
kono
parents:
diff changeset
889
kono
parents:
diff changeset
890 /* Module profile is only used by LIPO. Here we simply ignore it. */
kono
parents:
diff changeset
891
kono
parents:
diff changeset
892 static void
kono
parents:
diff changeset
893 fake_read_autofdo_module_profile ()
kono
parents:
diff changeset
894 {
kono
parents:
diff changeset
895 /* Read in the module info. */
kono
parents:
diff changeset
896 gcov_read_unsigned ();
kono
parents:
diff changeset
897
kono
parents:
diff changeset
898 /* Skip the length of the section. */
kono
parents:
diff changeset
899 gcov_read_unsigned ();
kono
parents:
diff changeset
900
kono
parents:
diff changeset
901 /* Read in the file name table. */
kono
parents:
diff changeset
902 unsigned total_module_num = gcov_read_unsigned ();
kono
parents:
diff changeset
903 gcc_assert (total_module_num == 0);
kono
parents:
diff changeset
904 }
kono
parents:
diff changeset
905
kono
parents:
diff changeset
906 /* Read data from profile data file. */
kono
parents:
diff changeset
907
kono
parents:
diff changeset
908 static void
kono
parents:
diff changeset
909 read_profile (void)
kono
parents:
diff changeset
910 {
kono
parents:
diff changeset
911 if (gcov_open (auto_profile_file, 1) == 0)
kono
parents:
diff changeset
912 {
kono
parents:
diff changeset
913 error ("cannot open profile file %s", auto_profile_file);
kono
parents:
diff changeset
914 return;
kono
parents:
diff changeset
915 }
kono
parents:
diff changeset
916
kono
parents:
diff changeset
917 if (gcov_read_unsigned () != GCOV_DATA_MAGIC)
kono
parents:
diff changeset
918 {
kono
parents:
diff changeset
919 error ("AutoFDO profile magic number does not match");
kono
parents:
diff changeset
920 return;
kono
parents:
diff changeset
921 }
kono
parents:
diff changeset
922
kono
parents:
diff changeset
923 /* Skip the version number. */
kono
parents:
diff changeset
924 unsigned version = gcov_read_unsigned ();
kono
parents:
diff changeset
925 if (version != AUTO_PROFILE_VERSION)
kono
parents:
diff changeset
926 {
kono
parents:
diff changeset
927 error ("AutoFDO profile version %u does match %u",
kono
parents:
diff changeset
928 version, AUTO_PROFILE_VERSION);
kono
parents:
diff changeset
929 return;
kono
parents:
diff changeset
930 }
kono
parents:
diff changeset
931
kono
parents:
diff changeset
932 /* Skip the empty integer. */
kono
parents:
diff changeset
933 gcov_read_unsigned ();
kono
parents:
diff changeset
934
kono
parents:
diff changeset
935 /* string_table. */
kono
parents:
diff changeset
936 afdo_string_table = new string_table ();
kono
parents:
diff changeset
937 if (!afdo_string_table->read())
kono
parents:
diff changeset
938 {
kono
parents:
diff changeset
939 error ("cannot read string table from %s", auto_profile_file);
kono
parents:
diff changeset
940 return;
kono
parents:
diff changeset
941 }
kono
parents:
diff changeset
942
kono
parents:
diff changeset
943 /* autofdo_source_profile. */
kono
parents:
diff changeset
944 afdo_source_profile = autofdo_source_profile::create ();
kono
parents:
diff changeset
945 if (afdo_source_profile == NULL)
kono
parents:
diff changeset
946 {
kono
parents:
diff changeset
947 error ("cannot read function profile from %s", auto_profile_file);
kono
parents:
diff changeset
948 return;
kono
parents:
diff changeset
949 }
kono
parents:
diff changeset
950
kono
parents:
diff changeset
951 /* autofdo_module_profile. */
kono
parents:
diff changeset
952 fake_read_autofdo_module_profile ();
kono
parents:
diff changeset
953 }
kono
parents:
diff changeset
954
kono
parents:
diff changeset
955 /* From AutoFDO profiles, find values inside STMT for that we want to measure
kono
parents:
diff changeset
956 histograms for indirect-call optimization.
kono
parents:
diff changeset
957
kono
parents:
diff changeset
958 This function is actually served for 2 purposes:
kono
parents:
diff changeset
959 * before annotation, we need to mark histogram, promote and inline
kono
parents:
diff changeset
960 * after annotation, we just need to mark, and let follow-up logic to
kono
parents:
diff changeset
961 decide if it needs to promote and inline. */
kono
parents:
diff changeset
962
kono
parents:
diff changeset
963 static void
kono
parents:
diff changeset
964 afdo_indirect_call (gimple_stmt_iterator *gsi, const icall_target_map &map,
kono
parents:
diff changeset
965 bool transform)
kono
parents:
diff changeset
966 {
kono
parents:
diff changeset
967 gimple *gs = gsi_stmt (*gsi);
kono
parents:
diff changeset
968 tree callee;
kono
parents:
diff changeset
969
kono
parents:
diff changeset
970 if (map.size () == 0)
kono
parents:
diff changeset
971 return;
kono
parents:
diff changeset
972 gcall *stmt = dyn_cast <gcall *> (gs);
kono
parents:
diff changeset
973 if ((!stmt) || gimple_call_fndecl (stmt) != NULL_TREE)
kono
parents:
diff changeset
974 return;
kono
parents:
diff changeset
975
kono
parents:
diff changeset
976 callee = gimple_call_fn (stmt);
kono
parents:
diff changeset
977
kono
parents:
diff changeset
978 histogram_value hist = gimple_alloc_histogram_value (
kono
parents:
diff changeset
979 cfun, HIST_TYPE_INDIR_CALL, stmt, callee);
kono
parents:
diff changeset
980 hist->n_counters = 3;
kono
parents:
diff changeset
981 hist->hvalue.counters = XNEWVEC (gcov_type, hist->n_counters);
kono
parents:
diff changeset
982 gimple_add_histogram_value (cfun, stmt, hist);
kono
parents:
diff changeset
983
kono
parents:
diff changeset
984 gcov_type total = 0;
kono
parents:
diff changeset
985 icall_target_map::const_iterator max_iter = map.end ();
kono
parents:
diff changeset
986
kono
parents:
diff changeset
987 for (icall_target_map::const_iterator iter = map.begin ();
kono
parents:
diff changeset
988 iter != map.end (); ++iter)
kono
parents:
diff changeset
989 {
kono
parents:
diff changeset
990 total += iter->second;
kono
parents:
diff changeset
991 if (max_iter == map.end () || max_iter->second < iter->second)
kono
parents:
diff changeset
992 max_iter = iter;
kono
parents:
diff changeset
993 }
kono
parents:
diff changeset
994
kono
parents:
diff changeset
995 hist->hvalue.counters[0]
kono
parents:
diff changeset
996 = (unsigned long long)afdo_string_table->get_name (max_iter->first);
kono
parents:
diff changeset
997 hist->hvalue.counters[1] = max_iter->second;
kono
parents:
diff changeset
998 hist->hvalue.counters[2] = total;
kono
parents:
diff changeset
999
kono
parents:
diff changeset
1000 if (!transform)
kono
parents:
diff changeset
1001 return;
kono
parents:
diff changeset
1002
kono
parents:
diff changeset
1003 struct cgraph_edge *indirect_edge
kono
parents:
diff changeset
1004 = cgraph_node::get (current_function_decl)->get_edge (stmt);
kono
parents:
diff changeset
1005 struct cgraph_node *direct_call = cgraph_node::get_for_asmname (
kono
parents:
diff changeset
1006 get_identifier ((const char *) hist->hvalue.counters[0]));
kono
parents:
diff changeset
1007
kono
parents:
diff changeset
1008 if (dump_file)
kono
parents:
diff changeset
1009 {
kono
parents:
diff changeset
1010 fprintf (dump_file, "Indirect call -> direct call ");
kono
parents:
diff changeset
1011 print_generic_expr (dump_file, callee, TDF_SLIM);
kono
parents:
diff changeset
1012 fprintf (dump_file, " => ");
kono
parents:
diff changeset
1013 print_generic_expr (dump_file, direct_call->decl, TDF_SLIM);
kono
parents:
diff changeset
1014 }
kono
parents:
diff changeset
1015
kono
parents:
diff changeset
1016 if (direct_call == NULL || !check_ic_target (stmt, direct_call))
kono
parents:
diff changeset
1017 {
kono
parents:
diff changeset
1018 if (dump_file)
kono
parents:
diff changeset
1019 fprintf (dump_file, " not transforming\n");
kono
parents:
diff changeset
1020 return;
kono
parents:
diff changeset
1021 }
kono
parents:
diff changeset
1022 if (DECL_STRUCT_FUNCTION (direct_call->decl) == NULL)
kono
parents:
diff changeset
1023 {
kono
parents:
diff changeset
1024 if (dump_file)
kono
parents:
diff changeset
1025 fprintf (dump_file, " no declaration\n");
kono
parents:
diff changeset
1026 return;
kono
parents:
diff changeset
1027 }
kono
parents:
diff changeset
1028
kono
parents:
diff changeset
1029 if (dump_file)
kono
parents:
diff changeset
1030 {
kono
parents:
diff changeset
1031 fprintf (dump_file, " transformation on insn ");
kono
parents:
diff changeset
1032 print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
kono
parents:
diff changeset
1033 fprintf (dump_file, "\n");
kono
parents:
diff changeset
1034 }
kono
parents:
diff changeset
1035
kono
parents:
diff changeset
1036 /* FIXME: Count should be initialized. */
kono
parents:
diff changeset
1037 struct cgraph_edge *new_edge
kono
parents:
diff changeset
1038 = indirect_edge->make_speculative (direct_call,
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
1039 profile_count::uninitialized ());
111
kono
parents:
diff changeset
1040 new_edge->redirect_call_stmt_to_callee ();
kono
parents:
diff changeset
1041 gimple_remove_histogram_value (cfun, stmt, hist);
kono
parents:
diff changeset
1042 inline_call (new_edge, true, NULL, NULL, false);
kono
parents:
diff changeset
1043 }
kono
parents:
diff changeset
1044
kono
parents:
diff changeset
1045 /* From AutoFDO profiles, find values inside STMT for that we want to measure
kono
parents:
diff changeset
1046 histograms and adds them to list VALUES. */
kono
parents:
diff changeset
1047
kono
parents:
diff changeset
1048 static void
kono
parents:
diff changeset
1049 afdo_vpt (gimple_stmt_iterator *gsi, const icall_target_map &map,
kono
parents:
diff changeset
1050 bool transform)
kono
parents:
diff changeset
1051 {
kono
parents:
diff changeset
1052 afdo_indirect_call (gsi, map, transform);
kono
parents:
diff changeset
1053 }
kono
parents:
diff changeset
1054
kono
parents:
diff changeset
1055 typedef std::set<basic_block> bb_set;
kono
parents:
diff changeset
1056 typedef std::set<edge> edge_set;
kono
parents:
diff changeset
1057
kono
parents:
diff changeset
1058 static bool
kono
parents:
diff changeset
1059 is_bb_annotated (const basic_block bb, const bb_set &annotated)
kono
parents:
diff changeset
1060 {
kono
parents:
diff changeset
1061 return annotated.find (bb) != annotated.end ();
kono
parents:
diff changeset
1062 }
kono
parents:
diff changeset
1063
kono
parents:
diff changeset
1064 static void
kono
parents:
diff changeset
1065 set_bb_annotated (basic_block bb, bb_set *annotated)
kono
parents:
diff changeset
1066 {
kono
parents:
diff changeset
1067 annotated->insert (bb);
kono
parents:
diff changeset
1068 }
kono
parents:
diff changeset
1069
kono
parents:
diff changeset
1070 static bool
kono
parents:
diff changeset
1071 is_edge_annotated (const edge e, const edge_set &annotated)
kono
parents:
diff changeset
1072 {
kono
parents:
diff changeset
1073 return annotated.find (e) != annotated.end ();
kono
parents:
diff changeset
1074 }
kono
parents:
diff changeset
1075
kono
parents:
diff changeset
1076 static void
kono
parents:
diff changeset
1077 set_edge_annotated (edge e, edge_set *annotated)
kono
parents:
diff changeset
1078 {
kono
parents:
diff changeset
1079 annotated->insert (e);
kono
parents:
diff changeset
1080 }
kono
parents:
diff changeset
1081
kono
parents:
diff changeset
1082 /* For a given BB, set its execution count. Attach value profile if a stmt
kono
parents:
diff changeset
1083 is not in PROMOTED, because we only want to promote an indirect call once.
kono
parents:
diff changeset
1084 Return TRUE if BB is annotated. */
kono
parents:
diff changeset
1085
kono
parents:
diff changeset
1086 static bool
kono
parents:
diff changeset
1087 afdo_set_bb_count (basic_block bb, const stmt_set &promoted)
kono
parents:
diff changeset
1088 {
kono
parents:
diff changeset
1089 gimple_stmt_iterator gsi;
kono
parents:
diff changeset
1090 edge e;
kono
parents:
diff changeset
1091 edge_iterator ei;
kono
parents:
diff changeset
1092 gcov_type max_count = 0;
kono
parents:
diff changeset
1093 bool has_annotated = false;
kono
parents:
diff changeset
1094
kono
parents:
diff changeset
1095 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1096 {
kono
parents:
diff changeset
1097 count_info info;
kono
parents:
diff changeset
1098 gimple *stmt = gsi_stmt (gsi);
kono
parents:
diff changeset
1099 if (gimple_clobber_p (stmt) || is_gimple_debug (stmt))
kono
parents:
diff changeset
1100 continue;
kono
parents:
diff changeset
1101 if (afdo_source_profile->get_count_info (stmt, &info))
kono
parents:
diff changeset
1102 {
kono
parents:
diff changeset
1103 if (info.count > max_count)
kono
parents:
diff changeset
1104 max_count = info.count;
kono
parents:
diff changeset
1105 has_annotated = true;
kono
parents:
diff changeset
1106 if (info.targets.size () > 0
kono
parents:
diff changeset
1107 && promoted.find (stmt) == promoted.end ())
kono
parents:
diff changeset
1108 afdo_vpt (&gsi, info.targets, false);
kono
parents:
diff changeset
1109 }
kono
parents:
diff changeset
1110 }
kono
parents:
diff changeset
1111
kono
parents:
diff changeset
1112 if (!has_annotated)
kono
parents:
diff changeset
1113 return false;
kono
parents:
diff changeset
1114
kono
parents:
diff changeset
1115 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1116 afdo_source_profile->mark_annotated (gimple_location (gsi_stmt (gsi)));
kono
parents:
diff changeset
1117 for (gphi_iterator gpi = gsi_start_phis (bb);
kono
parents:
diff changeset
1118 !gsi_end_p (gpi);
kono
parents:
diff changeset
1119 gsi_next (&gpi))
kono
parents:
diff changeset
1120 {
kono
parents:
diff changeset
1121 gphi *phi = gpi.phi ();
kono
parents:
diff changeset
1122 size_t i;
kono
parents:
diff changeset
1123 for (i = 0; i < gimple_phi_num_args (phi); i++)
kono
parents:
diff changeset
1124 afdo_source_profile->mark_annotated (gimple_phi_arg_location (phi, i));
kono
parents:
diff changeset
1125 }
kono
parents:
diff changeset
1126 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1127 afdo_source_profile->mark_annotated (e->goto_locus);
kono
parents:
diff changeset
1128
kono
parents:
diff changeset
1129 bb->count = profile_count::from_gcov_type (max_count).afdo ();
kono
parents:
diff changeset
1130 return true;
kono
parents:
diff changeset
1131 }
kono
parents:
diff changeset
1132
kono
parents:
diff changeset
1133 /* BB1 and BB2 are in an equivalent class iff:
kono
parents:
diff changeset
1134 1. BB1 dominates BB2.
kono
parents:
diff changeset
1135 2. BB2 post-dominates BB1.
kono
parents:
diff changeset
1136 3. BB1 and BB2 are in the same loop nest.
kono
parents:
diff changeset
1137 This function finds the equivalent class for each basic block, and
kono
parents:
diff changeset
1138 stores a pointer to the first BB in its equivalent class. Meanwhile,
kono
parents:
diff changeset
1139 set bb counts for the same equivalent class to be idenical. Update
kono
parents:
diff changeset
1140 ANNOTATED_BB for the first BB in its equivalent class. */
kono
parents:
diff changeset
1141
kono
parents:
diff changeset
1142 static void
kono
parents:
diff changeset
1143 afdo_find_equiv_class (bb_set *annotated_bb)
kono
parents:
diff changeset
1144 {
kono
parents:
diff changeset
1145 basic_block bb;
kono
parents:
diff changeset
1146
kono
parents:
diff changeset
1147 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1148 bb->aux = NULL;
kono
parents:
diff changeset
1149
kono
parents:
diff changeset
1150 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1151 {
kono
parents:
diff changeset
1152 vec<basic_block> dom_bbs;
kono
parents:
diff changeset
1153 basic_block bb1;
kono
parents:
diff changeset
1154 int i;
kono
parents:
diff changeset
1155
kono
parents:
diff changeset
1156 if (bb->aux != NULL)
kono
parents:
diff changeset
1157 continue;
kono
parents:
diff changeset
1158 bb->aux = bb;
kono
parents:
diff changeset
1159 dom_bbs = get_dominated_by (CDI_DOMINATORS, bb);
kono
parents:
diff changeset
1160 FOR_EACH_VEC_ELT (dom_bbs, i, bb1)
kono
parents:
diff changeset
1161 if (bb1->aux == NULL && dominated_by_p (CDI_POST_DOMINATORS, bb, bb1)
kono
parents:
diff changeset
1162 && bb1->loop_father == bb->loop_father)
kono
parents:
diff changeset
1163 {
kono
parents:
diff changeset
1164 bb1->aux = bb;
kono
parents:
diff changeset
1165 if (bb1->count > bb->count && is_bb_annotated (bb1, *annotated_bb))
kono
parents:
diff changeset
1166 {
kono
parents:
diff changeset
1167 bb->count = bb1->count;
kono
parents:
diff changeset
1168 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1169 }
kono
parents:
diff changeset
1170 }
kono
parents:
diff changeset
1171 dom_bbs = get_dominated_by (CDI_POST_DOMINATORS, bb);
kono
parents:
diff changeset
1172 FOR_EACH_VEC_ELT (dom_bbs, i, bb1)
kono
parents:
diff changeset
1173 if (bb1->aux == NULL && dominated_by_p (CDI_DOMINATORS, bb, bb1)
kono
parents:
diff changeset
1174 && bb1->loop_father == bb->loop_father)
kono
parents:
diff changeset
1175 {
kono
parents:
diff changeset
1176 bb1->aux = bb;
kono
parents:
diff changeset
1177 if (bb1->count > bb->count && is_bb_annotated (bb1, *annotated_bb))
kono
parents:
diff changeset
1178 {
kono
parents:
diff changeset
1179 bb->count = bb1->count;
kono
parents:
diff changeset
1180 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1181 }
kono
parents:
diff changeset
1182 }
kono
parents:
diff changeset
1183 }
kono
parents:
diff changeset
1184 }
kono
parents:
diff changeset
1185
kono
parents:
diff changeset
1186 /* If a basic block's count is known, and only one of its in/out edges' count
kono
parents:
diff changeset
1187 is unknown, its count can be calculated. Meanwhile, if all of the in/out
kono
parents:
diff changeset
1188 edges' counts are known, then the basic block's unknown count can also be
kono
parents:
diff changeset
1189 calculated.
kono
parents:
diff changeset
1190 IS_SUCC is true if out edges of a basic blocks are examined.
kono
parents:
diff changeset
1191 Update ANNOTATED_BB and ANNOTATED_EDGE accordingly.
kono
parents:
diff changeset
1192 Return TRUE if any basic block/edge count is changed. */
kono
parents:
diff changeset
1193
kono
parents:
diff changeset
1194 static bool
kono
parents:
diff changeset
1195 afdo_propagate_edge (bool is_succ, bb_set *annotated_bb,
kono
parents:
diff changeset
1196 edge_set *annotated_edge)
kono
parents:
diff changeset
1197 {
kono
parents:
diff changeset
1198 basic_block bb;
kono
parents:
diff changeset
1199 bool changed = false;
kono
parents:
diff changeset
1200
kono
parents:
diff changeset
1201 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1202 {
kono
parents:
diff changeset
1203 edge e, unknown_edge = NULL;
kono
parents:
diff changeset
1204 edge_iterator ei;
kono
parents:
diff changeset
1205 int num_unknown_edge = 0;
kono
parents:
diff changeset
1206 profile_count total_known_count = profile_count::zero ().afdo ();
kono
parents:
diff changeset
1207
kono
parents:
diff changeset
1208 FOR_EACH_EDGE (e, ei, is_succ ? bb->succs : bb->preds)
kono
parents:
diff changeset
1209 if (!is_edge_annotated (e, *annotated_edge))
kono
parents:
diff changeset
1210 num_unknown_edge++, unknown_edge = e;
kono
parents:
diff changeset
1211 else
kono
parents:
diff changeset
1212 total_known_count += e->count ();
kono
parents:
diff changeset
1213
kono
parents:
diff changeset
1214 if (num_unknown_edge == 0)
kono
parents:
diff changeset
1215 {
kono
parents:
diff changeset
1216 if (total_known_count > bb->count)
kono
parents:
diff changeset
1217 {
kono
parents:
diff changeset
1218 bb->count = total_known_count;
kono
parents:
diff changeset
1219 changed = true;
kono
parents:
diff changeset
1220 }
kono
parents:
diff changeset
1221 if (!is_bb_annotated (bb, *annotated_bb))
kono
parents:
diff changeset
1222 {
kono
parents:
diff changeset
1223 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1224 changed = true;
kono
parents:
diff changeset
1225 }
kono
parents:
diff changeset
1226 }
kono
parents:
diff changeset
1227 else if (num_unknown_edge == 1 && is_bb_annotated (bb, *annotated_bb))
kono
parents:
diff changeset
1228 {
kono
parents:
diff changeset
1229 unknown_edge->probability
kono
parents:
diff changeset
1230 = total_known_count.probability_in (bb->count);
kono
parents:
diff changeset
1231 set_edge_annotated (unknown_edge, annotated_edge);
kono
parents:
diff changeset
1232 changed = true;
kono
parents:
diff changeset
1233 }
kono
parents:
diff changeset
1234 }
kono
parents:
diff changeset
1235 return changed;
kono
parents:
diff changeset
1236 }
kono
parents:
diff changeset
1237
kono
parents:
diff changeset
1238 /* Special propagation for circuit expressions. Because GCC translates
kono
parents:
diff changeset
1239 control flow into data flow for circuit expressions. E.g.
kono
parents:
diff changeset
1240 BB1:
kono
parents:
diff changeset
1241 if (a && b)
kono
parents:
diff changeset
1242 BB2
kono
parents:
diff changeset
1243 else
kono
parents:
diff changeset
1244 BB3
kono
parents:
diff changeset
1245
kono
parents:
diff changeset
1246 will be translated into:
kono
parents:
diff changeset
1247
kono
parents:
diff changeset
1248 BB1:
kono
parents:
diff changeset
1249 if (a)
kono
parents:
diff changeset
1250 goto BB.t1
kono
parents:
diff changeset
1251 else
kono
parents:
diff changeset
1252 goto BB.t3
kono
parents:
diff changeset
1253 BB.t1:
kono
parents:
diff changeset
1254 if (b)
kono
parents:
diff changeset
1255 goto BB.t2
kono
parents:
diff changeset
1256 else
kono
parents:
diff changeset
1257 goto BB.t3
kono
parents:
diff changeset
1258 BB.t2:
kono
parents:
diff changeset
1259 goto BB.t3
kono
parents:
diff changeset
1260 BB.t3:
kono
parents:
diff changeset
1261 tmp = PHI (0 (BB1), 0 (BB.t1), 1 (BB.t2)
kono
parents:
diff changeset
1262 if (tmp)
kono
parents:
diff changeset
1263 goto BB2
kono
parents:
diff changeset
1264 else
kono
parents:
diff changeset
1265 goto BB3
kono
parents:
diff changeset
1266
kono
parents:
diff changeset
1267 In this case, we need to propagate through PHI to determine the edge
kono
parents:
diff changeset
1268 count of BB1->BB.t1, BB.t1->BB.t2.
kono
parents:
diff changeset
1269 Update ANNOTATED_EDGE accordingly. */
kono
parents:
diff changeset
1270
kono
parents:
diff changeset
1271 static void
kono
parents:
diff changeset
1272 afdo_propagate_circuit (const bb_set &annotated_bb, edge_set *annotated_edge)
kono
parents:
diff changeset
1273 {
kono
parents:
diff changeset
1274 basic_block bb;
kono
parents:
diff changeset
1275 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1276 {
kono
parents:
diff changeset
1277 gimple *def_stmt;
kono
parents:
diff changeset
1278 tree cmp_rhs, cmp_lhs;
kono
parents:
diff changeset
1279 gimple *cmp_stmt = last_stmt (bb);
kono
parents:
diff changeset
1280 edge e;
kono
parents:
diff changeset
1281 edge_iterator ei;
kono
parents:
diff changeset
1282
kono
parents:
diff changeset
1283 if (!cmp_stmt || gimple_code (cmp_stmt) != GIMPLE_COND)
kono
parents:
diff changeset
1284 continue;
kono
parents:
diff changeset
1285 cmp_rhs = gimple_cond_rhs (cmp_stmt);
kono
parents:
diff changeset
1286 cmp_lhs = gimple_cond_lhs (cmp_stmt);
kono
parents:
diff changeset
1287 if (!TREE_CONSTANT (cmp_rhs)
kono
parents:
diff changeset
1288 || !(integer_zerop (cmp_rhs) || integer_onep (cmp_rhs)))
kono
parents:
diff changeset
1289 continue;
kono
parents:
diff changeset
1290 if (TREE_CODE (cmp_lhs) != SSA_NAME)
kono
parents:
diff changeset
1291 continue;
kono
parents:
diff changeset
1292 if (!is_bb_annotated (bb, annotated_bb))
kono
parents:
diff changeset
1293 continue;
kono
parents:
diff changeset
1294 def_stmt = SSA_NAME_DEF_STMT (cmp_lhs);
kono
parents:
diff changeset
1295 while (def_stmt && gimple_code (def_stmt) == GIMPLE_ASSIGN
kono
parents:
diff changeset
1296 && gimple_assign_single_p (def_stmt)
kono
parents:
diff changeset
1297 && TREE_CODE (gimple_assign_rhs1 (def_stmt)) == SSA_NAME)
kono
parents:
diff changeset
1298 def_stmt = SSA_NAME_DEF_STMT (gimple_assign_rhs1 (def_stmt));
kono
parents:
diff changeset
1299 if (!def_stmt)
kono
parents:
diff changeset
1300 continue;
kono
parents:
diff changeset
1301 gphi *phi_stmt = dyn_cast <gphi *> (def_stmt);
kono
parents:
diff changeset
1302 if (!phi_stmt)
kono
parents:
diff changeset
1303 continue;
kono
parents:
diff changeset
1304 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1305 {
kono
parents:
diff changeset
1306 unsigned i, total = 0;
kono
parents:
diff changeset
1307 edge only_one;
kono
parents:
diff changeset
1308 bool check_value_one = (((integer_onep (cmp_rhs))
kono
parents:
diff changeset
1309 ^ (gimple_cond_code (cmp_stmt) == EQ_EXPR))
kono
parents:
diff changeset
1310 ^ ((e->flags & EDGE_TRUE_VALUE) != 0));
kono
parents:
diff changeset
1311 if (!is_edge_annotated (e, *annotated_edge))
kono
parents:
diff changeset
1312 continue;
kono
parents:
diff changeset
1313 for (i = 0; i < gimple_phi_num_args (phi_stmt); i++)
kono
parents:
diff changeset
1314 {
kono
parents:
diff changeset
1315 tree val = gimple_phi_arg_def (phi_stmt, i);
kono
parents:
diff changeset
1316 edge ep = gimple_phi_arg_edge (phi_stmt, i);
kono
parents:
diff changeset
1317
kono
parents:
diff changeset
1318 if (!TREE_CONSTANT (val)
kono
parents:
diff changeset
1319 || !(integer_zerop (val) || integer_onep (val)))
kono
parents:
diff changeset
1320 continue;
kono
parents:
diff changeset
1321 if (check_value_one ^ integer_onep (val))
kono
parents:
diff changeset
1322 continue;
kono
parents:
diff changeset
1323 total++;
kono
parents:
diff changeset
1324 only_one = ep;
kono
parents:
diff changeset
1325 if (!e->probability.initialized_p ()
kono
parents:
diff changeset
1326 && !is_edge_annotated (ep, *annotated_edge))
kono
parents:
diff changeset
1327 {
kono
parents:
diff changeset
1328 ep->probability = profile_probability::never ().afdo ();
kono
parents:
diff changeset
1329 set_edge_annotated (ep, annotated_edge);
kono
parents:
diff changeset
1330 }
kono
parents:
diff changeset
1331 }
kono
parents:
diff changeset
1332 if (total == 1 && !is_edge_annotated (only_one, *annotated_edge))
kono
parents:
diff changeset
1333 {
kono
parents:
diff changeset
1334 only_one->probability = e->probability;
kono
parents:
diff changeset
1335 set_edge_annotated (only_one, annotated_edge);
kono
parents:
diff changeset
1336 }
kono
parents:
diff changeset
1337 }
kono
parents:
diff changeset
1338 }
kono
parents:
diff changeset
1339 }
kono
parents:
diff changeset
1340
kono
parents:
diff changeset
1341 /* Propagate the basic block count and edge count on the control flow
kono
parents:
diff changeset
1342 graph. We do the propagation iteratively until stablize. */
kono
parents:
diff changeset
1343
kono
parents:
diff changeset
1344 static void
kono
parents:
diff changeset
1345 afdo_propagate (bb_set *annotated_bb, edge_set *annotated_edge)
kono
parents:
diff changeset
1346 {
kono
parents:
diff changeset
1347 basic_block bb;
kono
parents:
diff changeset
1348 bool changed = true;
kono
parents:
diff changeset
1349 int i = 0;
kono
parents:
diff changeset
1350
kono
parents:
diff changeset
1351 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1352 {
kono
parents:
diff changeset
1353 bb->count = ((basic_block)bb->aux)->count;
kono
parents:
diff changeset
1354 if (is_bb_annotated ((basic_block)bb->aux, *annotated_bb))
kono
parents:
diff changeset
1355 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1356 }
kono
parents:
diff changeset
1357
kono
parents:
diff changeset
1358 while (changed && i++ < 10)
kono
parents:
diff changeset
1359 {
kono
parents:
diff changeset
1360 changed = false;
kono
parents:
diff changeset
1361
kono
parents:
diff changeset
1362 if (afdo_propagate_edge (true, annotated_bb, annotated_edge))
kono
parents:
diff changeset
1363 changed = true;
kono
parents:
diff changeset
1364 if (afdo_propagate_edge (false, annotated_bb, annotated_edge))
kono
parents:
diff changeset
1365 changed = true;
kono
parents:
diff changeset
1366 afdo_propagate_circuit (*annotated_bb, annotated_edge);
kono
parents:
diff changeset
1367 }
kono
parents:
diff changeset
1368 }
kono
parents:
diff changeset
1369
kono
parents:
diff changeset
1370 /* Propagate counts on control flow graph and calculate branch
kono
parents:
diff changeset
1371 probabilities. */
kono
parents:
diff changeset
1372
kono
parents:
diff changeset
1373 static void
kono
parents:
diff changeset
1374 afdo_calculate_branch_prob (bb_set *annotated_bb, edge_set *annotated_edge)
kono
parents:
diff changeset
1375 {
kono
parents:
diff changeset
1376 basic_block bb;
kono
parents:
diff changeset
1377 bool has_sample = false;
kono
parents:
diff changeset
1378
kono
parents:
diff changeset
1379 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1380 {
kono
parents:
diff changeset
1381 if (bb->count > profile_count::zero ())
kono
parents:
diff changeset
1382 {
kono
parents:
diff changeset
1383 has_sample = true;
kono
parents:
diff changeset
1384 break;
kono
parents:
diff changeset
1385 }
kono
parents:
diff changeset
1386 }
kono
parents:
diff changeset
1387
kono
parents:
diff changeset
1388 if (!has_sample)
kono
parents:
diff changeset
1389 return;
kono
parents:
diff changeset
1390
kono
parents:
diff changeset
1391 calculate_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1392 calculate_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1393 loop_optimizer_init (0);
kono
parents:
diff changeset
1394
kono
parents:
diff changeset
1395 afdo_find_equiv_class (annotated_bb);
kono
parents:
diff changeset
1396 afdo_propagate (annotated_bb, annotated_edge);
kono
parents:
diff changeset
1397
kono
parents:
diff changeset
1398 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1399 {
kono
parents:
diff changeset
1400 edge e;
kono
parents:
diff changeset
1401 edge_iterator ei;
kono
parents:
diff changeset
1402 int num_unknown_succ = 0;
kono
parents:
diff changeset
1403 profile_count total_count = profile_count::zero ();
kono
parents:
diff changeset
1404
kono
parents:
diff changeset
1405 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1406 {
kono
parents:
diff changeset
1407 if (!is_edge_annotated (e, *annotated_edge))
kono
parents:
diff changeset
1408 num_unknown_succ++;
kono
parents:
diff changeset
1409 else
kono
parents:
diff changeset
1410 total_count += e->count ();
kono
parents:
diff changeset
1411 }
kono
parents:
diff changeset
1412 if (num_unknown_succ == 0 && total_count > profile_count::zero ())
kono
parents:
diff changeset
1413 {
kono
parents:
diff changeset
1414 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1415 e->probability = e->count ().probability_in (total_count);
kono
parents:
diff changeset
1416 }
kono
parents:
diff changeset
1417 }
kono
parents:
diff changeset
1418 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1419 bb->aux = NULL;
kono
parents:
diff changeset
1420
kono
parents:
diff changeset
1421 loop_optimizer_finalize ();
kono
parents:
diff changeset
1422 free_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1423 free_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1424 }
kono
parents:
diff changeset
1425
kono
parents:
diff changeset
1426 /* Perform value profile transformation using AutoFDO profile. Add the
kono
parents:
diff changeset
1427 promoted stmts to PROMOTED_STMTS. Return TRUE if there is any
kono
parents:
diff changeset
1428 indirect call promoted. */
kono
parents:
diff changeset
1429
kono
parents:
diff changeset
1430 static bool
kono
parents:
diff changeset
1431 afdo_vpt_for_early_inline (stmt_set *promoted_stmts)
kono
parents:
diff changeset
1432 {
kono
parents:
diff changeset
1433 basic_block bb;
kono
parents:
diff changeset
1434 if (afdo_source_profile->get_function_instance_by_decl (
kono
parents:
diff changeset
1435 current_function_decl) == NULL)
kono
parents:
diff changeset
1436 return false;
kono
parents:
diff changeset
1437
kono
parents:
diff changeset
1438 compute_fn_summary (cgraph_node::get (current_function_decl), true);
kono
parents:
diff changeset
1439
kono
parents:
diff changeset
1440 bool has_vpt = false;
kono
parents:
diff changeset
1441 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1442 {
kono
parents:
diff changeset
1443 if (!has_indirect_call (bb))
kono
parents:
diff changeset
1444 continue;
kono
parents:
diff changeset
1445 gimple_stmt_iterator gsi;
kono
parents:
diff changeset
1446
kono
parents:
diff changeset
1447 gcov_type bb_count = 0;
kono
parents:
diff changeset
1448 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1449 {
kono
parents:
diff changeset
1450 count_info info;
kono
parents:
diff changeset
1451 gimple *stmt = gsi_stmt (gsi);
kono
parents:
diff changeset
1452 if (afdo_source_profile->get_count_info (stmt, &info))
kono
parents:
diff changeset
1453 bb_count = MAX (bb_count, info.count);
kono
parents:
diff changeset
1454 }
kono
parents:
diff changeset
1455
kono
parents:
diff changeset
1456 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1457 {
kono
parents:
diff changeset
1458 gcall *stmt = dyn_cast <gcall *> (gsi_stmt (gsi));
kono
parents:
diff changeset
1459 /* IC_promotion and early_inline_2 is done in multiple iterations.
kono
parents:
diff changeset
1460 No need to promoted the stmt if its in promoted_stmts (means
kono
parents:
diff changeset
1461 it is already been promoted in the previous iterations). */
kono
parents:
diff changeset
1462 if ((!stmt) || gimple_call_fn (stmt) == NULL
kono
parents:
diff changeset
1463 || TREE_CODE (gimple_call_fn (stmt)) == FUNCTION_DECL
kono
parents:
diff changeset
1464 || promoted_stmts->find (stmt) != promoted_stmts->end ())
kono
parents:
diff changeset
1465 continue;
kono
parents:
diff changeset
1466
kono
parents:
diff changeset
1467 count_info info;
kono
parents:
diff changeset
1468 afdo_source_profile->get_count_info (stmt, &info);
kono
parents:
diff changeset
1469 info.count = bb_count;
kono
parents:
diff changeset
1470 if (afdo_source_profile->update_inlined_ind_target (stmt, &info))
kono
parents:
diff changeset
1471 {
kono
parents:
diff changeset
1472 /* Promote the indirect call and update the promoted_stmts. */
kono
parents:
diff changeset
1473 promoted_stmts->insert (stmt);
kono
parents:
diff changeset
1474 afdo_vpt (&gsi, info.targets, true);
kono
parents:
diff changeset
1475 has_vpt = true;
kono
parents:
diff changeset
1476 }
kono
parents:
diff changeset
1477 }
kono
parents:
diff changeset
1478 }
kono
parents:
diff changeset
1479
kono
parents:
diff changeset
1480 if (has_vpt)
kono
parents:
diff changeset
1481 {
kono
parents:
diff changeset
1482 unsigned todo = optimize_inline_calls (current_function_decl);
kono
parents:
diff changeset
1483 if (todo & TODO_update_ssa_any)
kono
parents:
diff changeset
1484 update_ssa (TODO_update_ssa);
kono
parents:
diff changeset
1485 return true;
kono
parents:
diff changeset
1486 }
kono
parents:
diff changeset
1487
kono
parents:
diff changeset
1488 return false;
kono
parents:
diff changeset
1489 }
kono
parents:
diff changeset
1490
kono
parents:
diff changeset
1491 /* Annotate auto profile to the control flow graph. Do not annotate value
kono
parents:
diff changeset
1492 profile for stmts in PROMOTED_STMTS. */
kono
parents:
diff changeset
1493
kono
parents:
diff changeset
1494 static void
kono
parents:
diff changeset
1495 afdo_annotate_cfg (const stmt_set &promoted_stmts)
kono
parents:
diff changeset
1496 {
kono
parents:
diff changeset
1497 basic_block bb;
kono
parents:
diff changeset
1498 bb_set annotated_bb;
kono
parents:
diff changeset
1499 edge_set annotated_edge;
kono
parents:
diff changeset
1500 const function_instance *s
kono
parents:
diff changeset
1501 = afdo_source_profile->get_function_instance_by_decl (
kono
parents:
diff changeset
1502 current_function_decl);
kono
parents:
diff changeset
1503
kono
parents:
diff changeset
1504 if (s == NULL)
kono
parents:
diff changeset
1505 return;
kono
parents:
diff changeset
1506 cgraph_node::get (current_function_decl)->count
kono
parents:
diff changeset
1507 = profile_count::from_gcov_type (s->head_count ()).afdo ();
kono
parents:
diff changeset
1508 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count
kono
parents:
diff changeset
1509 = profile_count::from_gcov_type (s->head_count ()).afdo ();
kono
parents:
diff changeset
1510 profile_count max_count = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
kono
parents:
diff changeset
1511
kono
parents:
diff changeset
1512 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1513 {
kono
parents:
diff changeset
1514 edge e;
kono
parents:
diff changeset
1515 edge_iterator ei;
kono
parents:
diff changeset
1516
kono
parents:
diff changeset
1517 /* As autoFDO uses sampling approach, we have to assume that all
kono
parents:
diff changeset
1518 counters are zero when not seen by autoFDO. */
kono
parents:
diff changeset
1519 bb->count = profile_count::zero ().afdo ();
kono
parents:
diff changeset
1520 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1521 e->probability = profile_probability::uninitialized ();
kono
parents:
diff changeset
1522
kono
parents:
diff changeset
1523 if (afdo_set_bb_count (bb, promoted_stmts))
kono
parents:
diff changeset
1524 set_bb_annotated (bb, &annotated_bb);
kono
parents:
diff changeset
1525 if (bb->count > max_count)
kono
parents:
diff changeset
1526 max_count = bb->count;
kono
parents:
diff changeset
1527 }
kono
parents:
diff changeset
1528 if (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count
kono
parents:
diff changeset
1529 > ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb->count)
kono
parents:
diff changeset
1530 {
kono
parents:
diff changeset
1531 ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb->count
kono
parents:
diff changeset
1532 = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
kono
parents:
diff changeset
1533 set_bb_annotated (ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb, &annotated_bb);
kono
parents:
diff changeset
1534 }
kono
parents:
diff changeset
1535 if (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count
kono
parents:
diff changeset
1536 > EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb->count)
kono
parents:
diff changeset
1537 {
kono
parents:
diff changeset
1538 EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb->count
kono
parents:
diff changeset
1539 = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
kono
parents:
diff changeset
1540 set_bb_annotated (EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb, &annotated_bb);
kono
parents:
diff changeset
1541 }
kono
parents:
diff changeset
1542 afdo_source_profile->mark_annotated (
kono
parents:
diff changeset
1543 DECL_SOURCE_LOCATION (current_function_decl));
kono
parents:
diff changeset
1544 afdo_source_profile->mark_annotated (cfun->function_start_locus);
kono
parents:
diff changeset
1545 afdo_source_profile->mark_annotated (cfun->function_end_locus);
kono
parents:
diff changeset
1546 if (max_count > profile_count::zero ())
kono
parents:
diff changeset
1547 {
kono
parents:
diff changeset
1548 afdo_calculate_branch_prob (&annotated_bb, &annotated_edge);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
1549 update_max_bb_count ();
111
kono
parents:
diff changeset
1550 profile_status_for_fn (cfun) = PROFILE_READ;
kono
parents:
diff changeset
1551 }
kono
parents:
diff changeset
1552 if (flag_value_profile_transformations)
kono
parents:
diff changeset
1553 {
kono
parents:
diff changeset
1554 gimple_value_profile_transformations ();
kono
parents:
diff changeset
1555 free_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1556 free_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1557 update_ssa (TODO_update_ssa);
kono
parents:
diff changeset
1558 }
kono
parents:
diff changeset
1559 }
kono
parents:
diff changeset
1560
kono
parents:
diff changeset
1561 /* Wrapper function to invoke early inliner. */
kono
parents:
diff changeset
1562
kono
parents:
diff changeset
1563 static void
kono
parents:
diff changeset
1564 early_inline ()
kono
parents:
diff changeset
1565 {
kono
parents:
diff changeset
1566 compute_fn_summary (cgraph_node::get (current_function_decl), true);
kono
parents:
diff changeset
1567 unsigned todo = early_inliner (cfun);
kono
parents:
diff changeset
1568 if (todo & TODO_update_ssa_any)
kono
parents:
diff changeset
1569 update_ssa (TODO_update_ssa);
kono
parents:
diff changeset
1570 }
kono
parents:
diff changeset
1571
kono
parents:
diff changeset
1572 /* Use AutoFDO profile to annoate the control flow graph.
kono
parents:
diff changeset
1573 Return the todo flag. */
kono
parents:
diff changeset
1574
kono
parents:
diff changeset
1575 static unsigned int
kono
parents:
diff changeset
1576 auto_profile (void)
kono
parents:
diff changeset
1577 {
kono
parents:
diff changeset
1578 struct cgraph_node *node;
kono
parents:
diff changeset
1579
kono
parents:
diff changeset
1580 if (symtab->state == FINISHED)
kono
parents:
diff changeset
1581 return 0;
kono
parents:
diff changeset
1582
kono
parents:
diff changeset
1583 init_node_map (true);
kono
parents:
diff changeset
1584 profile_info = autofdo::afdo_profile_info;
kono
parents:
diff changeset
1585
kono
parents:
diff changeset
1586 FOR_EACH_FUNCTION (node)
kono
parents:
diff changeset
1587 {
kono
parents:
diff changeset
1588 if (!gimple_has_body_p (node->decl))
kono
parents:
diff changeset
1589 continue;
kono
parents:
diff changeset
1590
kono
parents:
diff changeset
1591 /* Don't profile functions produced for builtin stuff. */
kono
parents:
diff changeset
1592 if (DECL_SOURCE_LOCATION (node->decl) == BUILTINS_LOCATION)
kono
parents:
diff changeset
1593 continue;
kono
parents:
diff changeset
1594
kono
parents:
diff changeset
1595 push_cfun (DECL_STRUCT_FUNCTION (node->decl));
kono
parents:
diff changeset
1596
kono
parents:
diff changeset
1597 /* First do indirect call promotion and early inline to make the
kono
parents:
diff changeset
1598 IR match the profiled binary before actual annotation.
kono
parents:
diff changeset
1599
kono
parents:
diff changeset
1600 This is needed because an indirect call might have been promoted
kono
parents:
diff changeset
1601 and inlined in the profiled binary. If we do not promote and
kono
parents:
diff changeset
1602 inline these indirect calls before annotation, the profile for
kono
parents:
diff changeset
1603 these promoted functions will be lost.
kono
parents:
diff changeset
1604
kono
parents:
diff changeset
1605 e.g. foo() --indirect_call--> bar()
kono
parents:
diff changeset
1606 In profiled binary, the callsite is promoted and inlined, making
kono
parents:
diff changeset
1607 the profile look like:
kono
parents:
diff changeset
1608
kono
parents:
diff changeset
1609 foo: {
kono
parents:
diff changeset
1610 loc_foo_1: count_1
kono
parents:
diff changeset
1611 bar@loc_foo_2: {
kono
parents:
diff changeset
1612 loc_bar_1: count_2
kono
parents:
diff changeset
1613 loc_bar_2: count_3
kono
parents:
diff changeset
1614 }
kono
parents:
diff changeset
1615 }
kono
parents:
diff changeset
1616
kono
parents:
diff changeset
1617 Before AutoFDO pass, loc_foo_2 is not promoted thus not inlined.
kono
parents:
diff changeset
1618 If we perform annotation on it, the profile inside bar@loc_foo2
kono
parents:
diff changeset
1619 will be wasted.
kono
parents:
diff changeset
1620
kono
parents:
diff changeset
1621 To avoid this, we promote loc_foo_2 and inline the promoted bar
kono
parents:
diff changeset
1622 function before annotation, so the profile inside bar@loc_foo2
kono
parents:
diff changeset
1623 will be useful. */
kono
parents:
diff changeset
1624 autofdo::stmt_set promoted_stmts;
kono
parents:
diff changeset
1625 for (int i = 0; i < PARAM_VALUE (PARAM_EARLY_INLINER_MAX_ITERATIONS); i++)
kono
parents:
diff changeset
1626 {
kono
parents:
diff changeset
1627 if (!flag_value_profile_transformations
kono
parents:
diff changeset
1628 || !autofdo::afdo_vpt_for_early_inline (&promoted_stmts))
kono
parents:
diff changeset
1629 break;
kono
parents:
diff changeset
1630 early_inline ();
kono
parents:
diff changeset
1631 }
kono
parents:
diff changeset
1632
kono
parents:
diff changeset
1633 early_inline ();
kono
parents:
diff changeset
1634 autofdo::afdo_annotate_cfg (promoted_stmts);
kono
parents:
diff changeset
1635 compute_function_frequency ();
kono
parents:
diff changeset
1636
kono
parents:
diff changeset
1637 /* Local pure-const may imply need to fixup the cfg. */
kono
parents:
diff changeset
1638 if (execute_fixup_cfg () & TODO_cleanup_cfg)
kono
parents:
diff changeset
1639 cleanup_tree_cfg ();
kono
parents:
diff changeset
1640
kono
parents:
diff changeset
1641 free_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1642 free_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1643 cgraph_edge::rebuild_edges ();
kono
parents:
diff changeset
1644 compute_fn_summary (cgraph_node::get (current_function_decl), true);
kono
parents:
diff changeset
1645 pop_cfun ();
kono
parents:
diff changeset
1646 }
kono
parents:
diff changeset
1647
kono
parents:
diff changeset
1648 return TODO_rebuild_cgraph_edges;
kono
parents:
diff changeset
1649 }
kono
parents:
diff changeset
1650 } /* namespace autofdo. */
kono
parents:
diff changeset
1651
kono
parents:
diff changeset
1652 /* Read the profile from the profile data file. */
kono
parents:
diff changeset
1653
kono
parents:
diff changeset
1654 void
kono
parents:
diff changeset
1655 read_autofdo_file (void)
kono
parents:
diff changeset
1656 {
kono
parents:
diff changeset
1657 if (auto_profile_file == NULL)
kono
parents:
diff changeset
1658 auto_profile_file = DEFAULT_AUTO_PROFILE_FILE;
kono
parents:
diff changeset
1659
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
1660 autofdo::afdo_profile_info = XNEW (gcov_summary);
111
kono
parents:
diff changeset
1661 autofdo::afdo_profile_info->runs = 1;
kono
parents:
diff changeset
1662 autofdo::afdo_profile_info->sum_max = 0;
kono
parents:
diff changeset
1663
kono
parents:
diff changeset
1664 /* Read the profile from the profile file. */
kono
parents:
diff changeset
1665 autofdo::read_profile ();
kono
parents:
diff changeset
1666 }
kono
parents:
diff changeset
1667
kono
parents:
diff changeset
1668 /* Free the resources. */
kono
parents:
diff changeset
1669
kono
parents:
diff changeset
1670 void
kono
parents:
diff changeset
1671 end_auto_profile (void)
kono
parents:
diff changeset
1672 {
kono
parents:
diff changeset
1673 delete autofdo::afdo_source_profile;
kono
parents:
diff changeset
1674 delete autofdo::afdo_string_table;
kono
parents:
diff changeset
1675 profile_info = NULL;
kono
parents:
diff changeset
1676 }
kono
parents:
diff changeset
1677
kono
parents:
diff changeset
1678 /* Returns TRUE if EDGE is hot enough to be inlined early. */
kono
parents:
diff changeset
1679
kono
parents:
diff changeset
1680 bool
kono
parents:
diff changeset
1681 afdo_callsite_hot_enough_for_early_inline (struct cgraph_edge *edge)
kono
parents:
diff changeset
1682 {
kono
parents:
diff changeset
1683 gcov_type count
kono
parents:
diff changeset
1684 = autofdo::afdo_source_profile->get_callsite_total_count (edge);
kono
parents:
diff changeset
1685
kono
parents:
diff changeset
1686 if (count > 0)
kono
parents:
diff changeset
1687 {
kono
parents:
diff changeset
1688 bool is_hot;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
1689 gcov_summary *saved_profile_info = profile_info;
111
kono
parents:
diff changeset
1690 /* At early inline stage, profile_info is not set yet. We need to
kono
parents:
diff changeset
1691 temporarily set it to afdo_profile_info to calculate hotness. */
kono
parents:
diff changeset
1692 profile_info = autofdo::afdo_profile_info;
kono
parents:
diff changeset
1693 is_hot = maybe_hot_count_p (NULL, profile_count::from_gcov_type (count));
kono
parents:
diff changeset
1694 profile_info = saved_profile_info;
kono
parents:
diff changeset
1695 return is_hot;
kono
parents:
diff changeset
1696 }
kono
parents:
diff changeset
1697
kono
parents:
diff changeset
1698 return false;
kono
parents:
diff changeset
1699 }
kono
parents:
diff changeset
1700
kono
parents:
diff changeset
1701 namespace
kono
parents:
diff changeset
1702 {
kono
parents:
diff changeset
1703
kono
parents:
diff changeset
1704 const pass_data pass_data_ipa_auto_profile = {
kono
parents:
diff changeset
1705 SIMPLE_IPA_PASS, "afdo", /* name */
kono
parents:
diff changeset
1706 OPTGROUP_NONE, /* optinfo_flags */
kono
parents:
diff changeset
1707 TV_IPA_AUTOFDO, /* tv_id */
kono
parents:
diff changeset
1708 0, /* properties_required */
kono
parents:
diff changeset
1709 0, /* properties_provided */
kono
parents:
diff changeset
1710 0, /* properties_destroyed */
kono
parents:
diff changeset
1711 0, /* todo_flags_start */
kono
parents:
diff changeset
1712 0, /* todo_flags_finish */
kono
parents:
diff changeset
1713 };
kono
parents:
diff changeset
1714
kono
parents:
diff changeset
1715 class pass_ipa_auto_profile : public simple_ipa_opt_pass
kono
parents:
diff changeset
1716 {
kono
parents:
diff changeset
1717 public:
kono
parents:
diff changeset
1718 pass_ipa_auto_profile (gcc::context *ctxt)
kono
parents:
diff changeset
1719 : simple_ipa_opt_pass (pass_data_ipa_auto_profile, ctxt)
kono
parents:
diff changeset
1720 {
kono
parents:
diff changeset
1721 }
kono
parents:
diff changeset
1722
kono
parents:
diff changeset
1723 /* opt_pass methods: */
kono
parents:
diff changeset
1724 virtual bool
kono
parents:
diff changeset
1725 gate (function *)
kono
parents:
diff changeset
1726 {
kono
parents:
diff changeset
1727 return flag_auto_profile;
kono
parents:
diff changeset
1728 }
kono
parents:
diff changeset
1729 virtual unsigned int
kono
parents:
diff changeset
1730 execute (function *)
kono
parents:
diff changeset
1731 {
kono
parents:
diff changeset
1732 return autofdo::auto_profile ();
kono
parents:
diff changeset
1733 }
kono
parents:
diff changeset
1734 }; // class pass_ipa_auto_profile
kono
parents:
diff changeset
1735
kono
parents:
diff changeset
1736 } // anon namespace
kono
parents:
diff changeset
1737
kono
parents:
diff changeset
1738 simple_ipa_opt_pass *
kono
parents:
diff changeset
1739 make_pass_ipa_auto_profile (gcc::context *ctxt)
kono
parents:
diff changeset
1740 {
kono
parents:
diff changeset
1741 return new pass_ipa_auto_profile (ctxt);
kono
parents:
diff changeset
1742 }