annotate gcc/auto-profile.c @ 128:fe568345ddd5

fix CbC-example
author mir3636
date Wed, 11 Apr 2018 19:32:28 +0900
parents 04ced10e8804
children 84e7813d76e9
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.
kono
parents:
diff changeset
2 Copyright (C) 2014-2017 Free Software Foundation, Inc.
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
kono
parents:
diff changeset
321 /* gcov_ctr_summary structure to store the profile_info. */
kono
parents:
diff changeset
322 static struct gcov_ctr_summary *afdo_profile_info;
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 {
kono
parents:
diff changeset
357 tree decl;
kono
parents:
diff changeset
358
kono
parents:
diff changeset
359 if (LOCATION_LOCUS (BLOCK_SOURCE_LOCATION (block)) == UNKNOWN_LOCATION)
kono
parents:
diff changeset
360 return NULL_TREE;
kono
parents:
diff changeset
361
kono
parents:
diff changeset
362 for (decl = BLOCK_ABSTRACT_ORIGIN (block);
kono
parents:
diff changeset
363 decl && (TREE_CODE (decl) == BLOCK);
kono
parents:
diff changeset
364 decl = BLOCK_ABSTRACT_ORIGIN (decl))
kono
parents:
diff changeset
365 if (TREE_CODE (decl) == FUNCTION_DECL)
kono
parents:
diff changeset
366 break;
kono
parents:
diff changeset
367 return decl;
kono
parents:
diff changeset
368 }
kono
parents:
diff changeset
369
kono
parents:
diff changeset
370 /* Store inline stack for STMT in STACK. */
kono
parents:
diff changeset
371
kono
parents:
diff changeset
372 static void
kono
parents:
diff changeset
373 get_inline_stack (location_t locus, inline_stack *stack)
kono
parents:
diff changeset
374 {
kono
parents:
diff changeset
375 if (LOCATION_LOCUS (locus) == UNKNOWN_LOCATION)
kono
parents:
diff changeset
376 return;
kono
parents:
diff changeset
377
kono
parents:
diff changeset
378 tree block = LOCATION_BLOCK (locus);
kono
parents:
diff changeset
379 if (block && TREE_CODE (block) == BLOCK)
kono
parents:
diff changeset
380 {
kono
parents:
diff changeset
381 int level = 0;
kono
parents:
diff changeset
382 for (block = BLOCK_SUPERCONTEXT (block);
kono
parents:
diff changeset
383 block && (TREE_CODE (block) == BLOCK);
kono
parents:
diff changeset
384 block = BLOCK_SUPERCONTEXT (block))
kono
parents:
diff changeset
385 {
kono
parents:
diff changeset
386 location_t tmp_locus = BLOCK_SOURCE_LOCATION (block);
kono
parents:
diff changeset
387 if (LOCATION_LOCUS (tmp_locus) == UNKNOWN_LOCATION)
kono
parents:
diff changeset
388 continue;
kono
parents:
diff changeset
389
kono
parents:
diff changeset
390 tree decl = get_function_decl_from_block (block);
kono
parents:
diff changeset
391 stack->safe_push (
kono
parents:
diff changeset
392 std::make_pair (decl, get_combined_location (locus, decl)));
kono
parents:
diff changeset
393 locus = tmp_locus;
kono
parents:
diff changeset
394 level++;
kono
parents:
diff changeset
395 }
kono
parents:
diff changeset
396 }
kono
parents:
diff changeset
397 stack->safe_push (
kono
parents:
diff changeset
398 std::make_pair (current_function_decl,
kono
parents:
diff changeset
399 get_combined_location (locus, current_function_decl)));
kono
parents:
diff changeset
400 }
kono
parents:
diff changeset
401
kono
parents:
diff changeset
402 /* Return STMT's combined location, which is a 32bit integer in which
kono
parents:
diff changeset
403 higher 16 bits stores the line offset of LOC to the start lineno
kono
parents:
diff changeset
404 of DECL, The lower 16 bits stores the discriminator. */
kono
parents:
diff changeset
405
kono
parents:
diff changeset
406 static unsigned
kono
parents:
diff changeset
407 get_relative_location_for_stmt (gimple *stmt)
kono
parents:
diff changeset
408 {
kono
parents:
diff changeset
409 location_t locus = gimple_location (stmt);
kono
parents:
diff changeset
410 if (LOCATION_LOCUS (locus) == UNKNOWN_LOCATION)
kono
parents:
diff changeset
411 return UNKNOWN_LOCATION;
kono
parents:
diff changeset
412
kono
parents:
diff changeset
413 for (tree block = gimple_block (stmt); block && (TREE_CODE (block) == BLOCK);
kono
parents:
diff changeset
414 block = BLOCK_SUPERCONTEXT (block))
kono
parents:
diff changeset
415 if (LOCATION_LOCUS (BLOCK_SOURCE_LOCATION (block)) != UNKNOWN_LOCATION)
kono
parents:
diff changeset
416 return get_combined_location (locus,
kono
parents:
diff changeset
417 get_function_decl_from_block (block));
kono
parents:
diff changeset
418 return get_combined_location (locus, current_function_decl);
kono
parents:
diff changeset
419 }
kono
parents:
diff changeset
420
kono
parents:
diff changeset
421 /* Return true if BB contains indirect call. */
kono
parents:
diff changeset
422
kono
parents:
diff changeset
423 static bool
kono
parents:
diff changeset
424 has_indirect_call (basic_block bb)
kono
parents:
diff changeset
425 {
kono
parents:
diff changeset
426 gimple_stmt_iterator gsi;
kono
parents:
diff changeset
427
kono
parents:
diff changeset
428 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
429 {
kono
parents:
diff changeset
430 gimple *stmt = gsi_stmt (gsi);
kono
parents:
diff changeset
431 if (gimple_code (stmt) == GIMPLE_CALL && !gimple_call_internal_p (stmt)
kono
parents:
diff changeset
432 && (gimple_call_fn (stmt) == NULL
kono
parents:
diff changeset
433 || TREE_CODE (gimple_call_fn (stmt)) != FUNCTION_DECL))
kono
parents:
diff changeset
434 return true;
kono
parents:
diff changeset
435 }
kono
parents:
diff changeset
436 return false;
kono
parents:
diff changeset
437 }
kono
parents:
diff changeset
438
kono
parents:
diff changeset
439 /* Member functions for string_table. */
kono
parents:
diff changeset
440
kono
parents:
diff changeset
441 /* Deconstructor. */
kono
parents:
diff changeset
442
kono
parents:
diff changeset
443 string_table::~string_table ()
kono
parents:
diff changeset
444 {
kono
parents:
diff changeset
445 for (unsigned i = 0; i < vector_.length (); i++)
kono
parents:
diff changeset
446 free (vector_[i]);
kono
parents:
diff changeset
447 }
kono
parents:
diff changeset
448
kono
parents:
diff changeset
449
kono
parents:
diff changeset
450 /* Return the index of a given function NAME. Return -1 if NAME is not
kono
parents:
diff changeset
451 found in string table. */
kono
parents:
diff changeset
452
kono
parents:
diff changeset
453 int
kono
parents:
diff changeset
454 string_table::get_index (const char *name) const
kono
parents:
diff changeset
455 {
kono
parents:
diff changeset
456 if (name == NULL)
kono
parents:
diff changeset
457 return -1;
kono
parents:
diff changeset
458 string_index_map::const_iterator iter = map_.find (name);
kono
parents:
diff changeset
459 if (iter == map_.end ())
kono
parents:
diff changeset
460 return -1;
kono
parents:
diff changeset
461
kono
parents:
diff changeset
462 return iter->second;
kono
parents:
diff changeset
463 }
kono
parents:
diff changeset
464
kono
parents:
diff changeset
465 /* Return the index of a given function DECL. Return -1 if DECL is not
kono
parents:
diff changeset
466 found in string table. */
kono
parents:
diff changeset
467
kono
parents:
diff changeset
468 int
kono
parents:
diff changeset
469 string_table::get_index_by_decl (tree decl) const
kono
parents:
diff changeset
470 {
kono
parents:
diff changeset
471 char *name
kono
parents:
diff changeset
472 = get_original_name (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
kono
parents:
diff changeset
473 int ret = get_index (name);
kono
parents:
diff changeset
474 free (name);
kono
parents:
diff changeset
475 if (ret != -1)
kono
parents:
diff changeset
476 return ret;
kono
parents:
diff changeset
477 ret = get_index (lang_hooks.dwarf_name (decl, 0));
kono
parents:
diff changeset
478 if (ret != -1)
kono
parents:
diff changeset
479 return ret;
kono
parents:
diff changeset
480 if (DECL_ABSTRACT_ORIGIN (decl))
kono
parents:
diff changeset
481 return get_index_by_decl (DECL_ABSTRACT_ORIGIN (decl));
kono
parents:
diff changeset
482
kono
parents:
diff changeset
483 return -1;
kono
parents:
diff changeset
484 }
kono
parents:
diff changeset
485
kono
parents:
diff changeset
486 /* Return the function name of a given INDEX. */
kono
parents:
diff changeset
487
kono
parents:
diff changeset
488 const char *
kono
parents:
diff changeset
489 string_table::get_name (int index) const
kono
parents:
diff changeset
490 {
kono
parents:
diff changeset
491 gcc_assert (index > 0 && index < (int)vector_.length ());
kono
parents:
diff changeset
492 return vector_[index];
kono
parents:
diff changeset
493 }
kono
parents:
diff changeset
494
kono
parents:
diff changeset
495 /* Read the string table. Return TRUE if reading is successful. */
kono
parents:
diff changeset
496
kono
parents:
diff changeset
497 bool
kono
parents:
diff changeset
498 string_table::read ()
kono
parents:
diff changeset
499 {
kono
parents:
diff changeset
500 if (gcov_read_unsigned () != GCOV_TAG_AFDO_FILE_NAMES)
kono
parents:
diff changeset
501 return false;
kono
parents:
diff changeset
502 /* Skip the length of the section. */
kono
parents:
diff changeset
503 gcov_read_unsigned ();
kono
parents:
diff changeset
504 /* Read in the file name table. */
kono
parents:
diff changeset
505 unsigned string_num = gcov_read_unsigned ();
kono
parents:
diff changeset
506 for (unsigned i = 0; i < string_num; i++)
kono
parents:
diff changeset
507 {
kono
parents:
diff changeset
508 vector_.safe_push (get_original_name (gcov_read_string ()));
kono
parents:
diff changeset
509 map_[vector_.last ()] = i;
kono
parents:
diff changeset
510 }
kono
parents:
diff changeset
511 return true;
kono
parents:
diff changeset
512 }
kono
parents:
diff changeset
513
kono
parents:
diff changeset
514 /* Member functions for function_instance. */
kono
parents:
diff changeset
515
kono
parents:
diff changeset
516 function_instance::~function_instance ()
kono
parents:
diff changeset
517 {
kono
parents:
diff changeset
518 for (callsite_map::iterator iter = callsites.begin ();
kono
parents:
diff changeset
519 iter != callsites.end (); ++iter)
kono
parents:
diff changeset
520 delete iter->second;
kono
parents:
diff changeset
521 }
kono
parents:
diff changeset
522
kono
parents:
diff changeset
523 /* Traverse callsites of the current function_instance to find one at the
kono
parents:
diff changeset
524 location of LINENO and callee name represented in DECL. */
kono
parents:
diff changeset
525
kono
parents:
diff changeset
526 function_instance *
kono
parents:
diff changeset
527 function_instance::get_function_instance_by_decl (unsigned lineno,
kono
parents:
diff changeset
528 tree decl) const
kono
parents:
diff changeset
529 {
kono
parents:
diff changeset
530 int func_name_idx = afdo_string_table->get_index_by_decl (decl);
kono
parents:
diff changeset
531 if (func_name_idx != -1)
kono
parents:
diff changeset
532 {
kono
parents:
diff changeset
533 callsite_map::const_iterator ret
kono
parents:
diff changeset
534 = callsites.find (std::make_pair (lineno, func_name_idx));
kono
parents:
diff changeset
535 if (ret != callsites.end ())
kono
parents:
diff changeset
536 return ret->second;
kono
parents:
diff changeset
537 }
kono
parents:
diff changeset
538 func_name_idx
kono
parents:
diff changeset
539 = afdo_string_table->get_index (lang_hooks.dwarf_name (decl, 0));
kono
parents:
diff changeset
540 if (func_name_idx != -1)
kono
parents:
diff changeset
541 {
kono
parents:
diff changeset
542 callsite_map::const_iterator ret
kono
parents:
diff changeset
543 = callsites.find (std::make_pair (lineno, func_name_idx));
kono
parents:
diff changeset
544 if (ret != callsites.end ())
kono
parents:
diff changeset
545 return ret->second;
kono
parents:
diff changeset
546 }
kono
parents:
diff changeset
547 if (DECL_ABSTRACT_ORIGIN (decl))
kono
parents:
diff changeset
548 return get_function_instance_by_decl (lineno, DECL_ABSTRACT_ORIGIN (decl));
kono
parents:
diff changeset
549
kono
parents:
diff changeset
550 return NULL;
kono
parents:
diff changeset
551 }
kono
parents:
diff changeset
552
kono
parents:
diff changeset
553 /* Store the profile info for LOC in INFO. Return TRUE if profile info
kono
parents:
diff changeset
554 is found. */
kono
parents:
diff changeset
555
kono
parents:
diff changeset
556 bool
kono
parents:
diff changeset
557 function_instance::get_count_info (location_t loc, count_info *info) const
kono
parents:
diff changeset
558 {
kono
parents:
diff changeset
559 position_count_map::const_iterator iter = pos_counts.find (loc);
kono
parents:
diff changeset
560 if (iter == pos_counts.end ())
kono
parents:
diff changeset
561 return false;
kono
parents:
diff changeset
562 *info = iter->second;
kono
parents:
diff changeset
563 return true;
kono
parents:
diff changeset
564 }
kono
parents:
diff changeset
565
kono
parents:
diff changeset
566 /* Mark LOC as annotated. */
kono
parents:
diff changeset
567
kono
parents:
diff changeset
568 void
kono
parents:
diff changeset
569 function_instance::mark_annotated (location_t loc)
kono
parents:
diff changeset
570 {
kono
parents:
diff changeset
571 position_count_map::iterator iter = pos_counts.find (loc);
kono
parents:
diff changeset
572 if (iter == pos_counts.end ())
kono
parents:
diff changeset
573 return;
kono
parents:
diff changeset
574 iter->second.annotated = true;
kono
parents:
diff changeset
575 }
kono
parents:
diff changeset
576
kono
parents:
diff changeset
577 /* Read the inlined indirect call target profile for STMT and store it in
kono
parents:
diff changeset
578 MAP, return the total count for all inlined indirect calls. */
kono
parents:
diff changeset
579
kono
parents:
diff changeset
580 gcov_type
kono
parents:
diff changeset
581 function_instance::find_icall_target_map (gcall *stmt,
kono
parents:
diff changeset
582 icall_target_map *map) const
kono
parents:
diff changeset
583 {
kono
parents:
diff changeset
584 gcov_type ret = 0;
kono
parents:
diff changeset
585 unsigned stmt_offset = get_relative_location_for_stmt (stmt);
kono
parents:
diff changeset
586
kono
parents:
diff changeset
587 for (callsite_map::const_iterator iter = callsites.begin ();
kono
parents:
diff changeset
588 iter != callsites.end (); ++iter)
kono
parents:
diff changeset
589 {
kono
parents:
diff changeset
590 unsigned callee = iter->second->name ();
kono
parents:
diff changeset
591 /* Check if callsite location match the stmt. */
kono
parents:
diff changeset
592 if (iter->first.first != stmt_offset)
kono
parents:
diff changeset
593 continue;
kono
parents:
diff changeset
594 struct cgraph_node *node = cgraph_node::get_for_asmname (
kono
parents:
diff changeset
595 get_identifier (afdo_string_table->get_name (callee)));
kono
parents:
diff changeset
596 if (node == NULL)
kono
parents:
diff changeset
597 continue;
kono
parents:
diff changeset
598 if (!check_ic_target (stmt, node))
kono
parents:
diff changeset
599 continue;
kono
parents:
diff changeset
600 (*map)[callee] = iter->second->total_count ();
kono
parents:
diff changeset
601 ret += iter->second->total_count ();
kono
parents:
diff changeset
602 }
kono
parents:
diff changeset
603 return ret;
kono
parents:
diff changeset
604 }
kono
parents:
diff changeset
605
kono
parents:
diff changeset
606 /* Read the profile and create a function_instance with head count as
kono
parents:
diff changeset
607 HEAD_COUNT. Recursively read callsites to create nested function_instances
kono
parents:
diff changeset
608 too. STACK is used to track the recursive creation process. */
kono
parents:
diff changeset
609
kono
parents:
diff changeset
610 /* function instance profile format:
kono
parents:
diff changeset
611
kono
parents:
diff changeset
612 ENTRY_COUNT: 8 bytes
kono
parents:
diff changeset
613 NAME_INDEX: 4 bytes
kono
parents:
diff changeset
614 NUM_POS_COUNTS: 4 bytes
kono
parents:
diff changeset
615 NUM_CALLSITES: 4 byte
kono
parents:
diff changeset
616 POS_COUNT_1:
kono
parents:
diff changeset
617 POS_1_OFFSET: 4 bytes
kono
parents:
diff changeset
618 NUM_TARGETS: 4 bytes
kono
parents:
diff changeset
619 COUNT: 8 bytes
kono
parents:
diff changeset
620 TARGET_1:
kono
parents:
diff changeset
621 VALUE_PROFILE_TYPE: 4 bytes
kono
parents:
diff changeset
622 TARGET_IDX: 8 bytes
kono
parents:
diff changeset
623 COUNT: 8 bytes
kono
parents:
diff changeset
624 TARGET_2
kono
parents:
diff changeset
625 ...
kono
parents:
diff changeset
626 TARGET_n
kono
parents:
diff changeset
627 POS_COUNT_2
kono
parents:
diff changeset
628 ...
kono
parents:
diff changeset
629 POS_COUNT_N
kono
parents:
diff changeset
630 CALLSITE_1:
kono
parents:
diff changeset
631 CALLSITE_1_OFFSET: 4 bytes
kono
parents:
diff changeset
632 FUNCTION_INSTANCE_PROFILE (nested)
kono
parents:
diff changeset
633 CALLSITE_2
kono
parents:
diff changeset
634 ...
kono
parents:
diff changeset
635 CALLSITE_n. */
kono
parents:
diff changeset
636
kono
parents:
diff changeset
637 function_instance *
kono
parents:
diff changeset
638 function_instance::read_function_instance (function_instance_stack *stack,
kono
parents:
diff changeset
639 gcov_type head_count)
kono
parents:
diff changeset
640 {
kono
parents:
diff changeset
641 unsigned name = gcov_read_unsigned ();
kono
parents:
diff changeset
642 unsigned num_pos_counts = gcov_read_unsigned ();
kono
parents:
diff changeset
643 unsigned num_callsites = gcov_read_unsigned ();
kono
parents:
diff changeset
644 function_instance *s = new function_instance (name, head_count);
kono
parents:
diff changeset
645 stack->safe_push (s);
kono
parents:
diff changeset
646
kono
parents:
diff changeset
647 for (unsigned i = 0; i < num_pos_counts; i++)
kono
parents:
diff changeset
648 {
kono
parents:
diff changeset
649 unsigned offset = gcov_read_unsigned () & 0xffff0000;
kono
parents:
diff changeset
650 unsigned num_targets = gcov_read_unsigned ();
kono
parents:
diff changeset
651 gcov_type count = gcov_read_counter ();
kono
parents:
diff changeset
652 s->pos_counts[offset].count = count;
kono
parents:
diff changeset
653 for (unsigned j = 0; j < stack->length (); j++)
kono
parents:
diff changeset
654 (*stack)[j]->total_count_ += count;
kono
parents:
diff changeset
655 for (unsigned j = 0; j < num_targets; j++)
kono
parents:
diff changeset
656 {
kono
parents:
diff changeset
657 /* Only indirect call target histogram is supported now. */
kono
parents:
diff changeset
658 gcov_read_unsigned ();
kono
parents:
diff changeset
659 gcov_type target_idx = gcov_read_counter ();
kono
parents:
diff changeset
660 s->pos_counts[offset].targets[target_idx] = gcov_read_counter ();
kono
parents:
diff changeset
661 }
kono
parents:
diff changeset
662 }
kono
parents:
diff changeset
663 for (unsigned i = 0; i < num_callsites; i++)
kono
parents:
diff changeset
664 {
kono
parents:
diff changeset
665 unsigned offset = gcov_read_unsigned ();
kono
parents:
diff changeset
666 function_instance *callee_function_instance
kono
parents:
diff changeset
667 = read_function_instance (stack, 0);
kono
parents:
diff changeset
668 s->callsites[std::make_pair (offset, callee_function_instance->name ())]
kono
parents:
diff changeset
669 = callee_function_instance;
kono
parents:
diff changeset
670 }
kono
parents:
diff changeset
671 stack->pop ();
kono
parents:
diff changeset
672 return s;
kono
parents:
diff changeset
673 }
kono
parents:
diff changeset
674
kono
parents:
diff changeset
675 /* Sum of counts that is used during annotation. */
kono
parents:
diff changeset
676
kono
parents:
diff changeset
677 gcov_type
kono
parents:
diff changeset
678 function_instance::total_annotated_count () const
kono
parents:
diff changeset
679 {
kono
parents:
diff changeset
680 gcov_type ret = 0;
kono
parents:
diff changeset
681 for (callsite_map::const_iterator iter = callsites.begin ();
kono
parents:
diff changeset
682 iter != callsites.end (); ++iter)
kono
parents:
diff changeset
683 ret += iter->second->total_annotated_count ();
kono
parents:
diff changeset
684 for (position_count_map::const_iterator iter = pos_counts.begin ();
kono
parents:
diff changeset
685 iter != pos_counts.end (); ++iter)
kono
parents:
diff changeset
686 if (iter->second.annotated)
kono
parents:
diff changeset
687 ret += iter->second.count;
kono
parents:
diff changeset
688 return ret;
kono
parents:
diff changeset
689 }
kono
parents:
diff changeset
690
kono
parents:
diff changeset
691 /* Member functions for autofdo_source_profile. */
kono
parents:
diff changeset
692
kono
parents:
diff changeset
693 autofdo_source_profile::~autofdo_source_profile ()
kono
parents:
diff changeset
694 {
kono
parents:
diff changeset
695 for (name_function_instance_map::const_iterator iter = map_.begin ();
kono
parents:
diff changeset
696 iter != map_.end (); ++iter)
kono
parents:
diff changeset
697 delete iter->second;
kono
parents:
diff changeset
698 }
kono
parents:
diff changeset
699
kono
parents:
diff changeset
700 /* For a given DECL, returns the top-level function_instance. */
kono
parents:
diff changeset
701
kono
parents:
diff changeset
702 function_instance *
kono
parents:
diff changeset
703 autofdo_source_profile::get_function_instance_by_decl (tree decl) const
kono
parents:
diff changeset
704 {
kono
parents:
diff changeset
705 int index = afdo_string_table->get_index_by_decl (decl);
kono
parents:
diff changeset
706 if (index == -1)
kono
parents:
diff changeset
707 return NULL;
kono
parents:
diff changeset
708 name_function_instance_map::const_iterator ret = map_.find (index);
kono
parents:
diff changeset
709 return ret == map_.end () ? NULL : ret->second;
kono
parents:
diff changeset
710 }
kono
parents:
diff changeset
711
kono
parents:
diff changeset
712 /* Find count_info for a given gimple STMT. If found, store the count_info
kono
parents:
diff changeset
713 in INFO and return true; otherwise return false. */
kono
parents:
diff changeset
714
kono
parents:
diff changeset
715 bool
kono
parents:
diff changeset
716 autofdo_source_profile::get_count_info (gimple *stmt, count_info *info) const
kono
parents:
diff changeset
717 {
kono
parents:
diff changeset
718 if (LOCATION_LOCUS (gimple_location (stmt)) == cfun->function_end_locus)
kono
parents:
diff changeset
719 return false;
kono
parents:
diff changeset
720
kono
parents:
diff changeset
721 inline_stack stack;
kono
parents:
diff changeset
722 get_inline_stack (gimple_location (stmt), &stack);
kono
parents:
diff changeset
723 if (stack.length () == 0)
kono
parents:
diff changeset
724 return false;
kono
parents:
diff changeset
725 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
726 if (s == NULL)
kono
parents:
diff changeset
727 return false;
kono
parents:
diff changeset
728 return s->get_count_info (stack[0].second, info);
kono
parents:
diff changeset
729 }
kono
parents:
diff changeset
730
kono
parents:
diff changeset
731 /* Mark LOC as annotated. */
kono
parents:
diff changeset
732
kono
parents:
diff changeset
733 void
kono
parents:
diff changeset
734 autofdo_source_profile::mark_annotated (location_t loc)
kono
parents:
diff changeset
735 {
kono
parents:
diff changeset
736 inline_stack stack;
kono
parents:
diff changeset
737 get_inline_stack (loc, &stack);
kono
parents:
diff changeset
738 if (stack.length () == 0)
kono
parents:
diff changeset
739 return;
kono
parents:
diff changeset
740 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
741 if (s == NULL)
kono
parents:
diff changeset
742 return;
kono
parents:
diff changeset
743 s->mark_annotated (stack[0].second);
kono
parents:
diff changeset
744 }
kono
parents:
diff changeset
745
kono
parents:
diff changeset
746 /* Update value profile INFO for STMT from the inlined indirect callsite.
kono
parents:
diff changeset
747 Return true if INFO is updated. */
kono
parents:
diff changeset
748
kono
parents:
diff changeset
749 bool
kono
parents:
diff changeset
750 autofdo_source_profile::update_inlined_ind_target (gcall *stmt,
kono
parents:
diff changeset
751 count_info *info)
kono
parents:
diff changeset
752 {
kono
parents:
diff changeset
753 if (dump_file)
kono
parents:
diff changeset
754 {
kono
parents:
diff changeset
755 fprintf (dump_file, "Checking indirect call -> direct call ");
kono
parents:
diff changeset
756 print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
kono
parents:
diff changeset
757 }
kono
parents:
diff changeset
758
kono
parents:
diff changeset
759 if (LOCATION_LOCUS (gimple_location (stmt)) == cfun->function_end_locus)
kono
parents:
diff changeset
760 {
kono
parents:
diff changeset
761 if (dump_file)
kono
parents:
diff changeset
762 fprintf (dump_file, " good locus\n");
kono
parents:
diff changeset
763 return false;
kono
parents:
diff changeset
764 }
kono
parents:
diff changeset
765
kono
parents:
diff changeset
766 count_info old_info;
kono
parents:
diff changeset
767 get_count_info (stmt, &old_info);
kono
parents:
diff changeset
768 gcov_type total = 0;
kono
parents:
diff changeset
769 for (icall_target_map::const_iterator iter = old_info.targets.begin ();
kono
parents:
diff changeset
770 iter != old_info.targets.end (); ++iter)
kono
parents:
diff changeset
771 total += iter->second;
kono
parents:
diff changeset
772
kono
parents:
diff changeset
773 /* Program behavior changed, original promoted (and inlined) target is not
kono
parents:
diff changeset
774 hot any more. Will avoid promote the original target.
kono
parents:
diff changeset
775
kono
parents:
diff changeset
776 To check if original promoted target is still hot, we check the total
kono
parents:
diff changeset
777 count of the unpromoted targets (stored in TOTAL). If a callsite count
kono
parents:
diff changeset
778 (stored in INFO) is smaller than half of the total count, the original
kono
parents:
diff changeset
779 promoted target is considered not hot any more. */
kono
parents:
diff changeset
780 if (info->count < total / 2)
kono
parents:
diff changeset
781 {
kono
parents:
diff changeset
782 if (dump_file)
kono
parents:
diff changeset
783 fprintf (dump_file, " not hot anymore %ld < %ld",
kono
parents:
diff changeset
784 (long)info->count,
kono
parents:
diff changeset
785 (long)total /2);
kono
parents:
diff changeset
786 return false;
kono
parents:
diff changeset
787 }
kono
parents:
diff changeset
788
kono
parents:
diff changeset
789 inline_stack stack;
kono
parents:
diff changeset
790 get_inline_stack (gimple_location (stmt), &stack);
kono
parents:
diff changeset
791 if (stack.length () == 0)
kono
parents:
diff changeset
792 {
kono
parents:
diff changeset
793 if (dump_file)
kono
parents:
diff changeset
794 fprintf (dump_file, " no inline stack\n");
kono
parents:
diff changeset
795 return false;
kono
parents:
diff changeset
796 }
kono
parents:
diff changeset
797 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
798 if (s == NULL)
kono
parents:
diff changeset
799 {
kono
parents:
diff changeset
800 if (dump_file)
kono
parents:
diff changeset
801 fprintf (dump_file, " function not found in inline stack\n");
kono
parents:
diff changeset
802 return false;
kono
parents:
diff changeset
803 }
kono
parents:
diff changeset
804 icall_target_map map;
kono
parents:
diff changeset
805 if (s->find_icall_target_map (stmt, &map) == 0)
kono
parents:
diff changeset
806 {
kono
parents:
diff changeset
807 if (dump_file)
kono
parents:
diff changeset
808 fprintf (dump_file, " no target map\n");
kono
parents:
diff changeset
809 return false;
kono
parents:
diff changeset
810 }
kono
parents:
diff changeset
811 for (icall_target_map::const_iterator iter = map.begin ();
kono
parents:
diff changeset
812 iter != map.end (); ++iter)
kono
parents:
diff changeset
813 info->targets[iter->first] = iter->second;
kono
parents:
diff changeset
814 if (dump_file)
kono
parents:
diff changeset
815 fprintf (dump_file, " looks good\n");
kono
parents:
diff changeset
816 return true;
kono
parents:
diff changeset
817 }
kono
parents:
diff changeset
818
kono
parents:
diff changeset
819 /* Find total count of the callee of EDGE. */
kono
parents:
diff changeset
820
kono
parents:
diff changeset
821 gcov_type
kono
parents:
diff changeset
822 autofdo_source_profile::get_callsite_total_count (
kono
parents:
diff changeset
823 struct cgraph_edge *edge) const
kono
parents:
diff changeset
824 {
kono
parents:
diff changeset
825 inline_stack stack;
kono
parents:
diff changeset
826 stack.safe_push (std::make_pair (edge->callee->decl, 0));
kono
parents:
diff changeset
827 get_inline_stack (gimple_location (edge->call_stmt), &stack);
kono
parents:
diff changeset
828
kono
parents:
diff changeset
829 function_instance *s = get_function_instance_by_inline_stack (stack);
kono
parents:
diff changeset
830 if (s == NULL
kono
parents:
diff changeset
831 || afdo_string_table->get_index (IDENTIFIER_POINTER (
kono
parents:
diff changeset
832 DECL_ASSEMBLER_NAME (edge->callee->decl))) != s->name ())
kono
parents:
diff changeset
833 return 0;
kono
parents:
diff changeset
834
kono
parents:
diff changeset
835 return s->total_count ();
kono
parents:
diff changeset
836 }
kono
parents:
diff changeset
837
kono
parents:
diff changeset
838 /* Read AutoFDO profile and returns TRUE on success. */
kono
parents:
diff changeset
839
kono
parents:
diff changeset
840 /* source profile format:
kono
parents:
diff changeset
841
kono
parents:
diff changeset
842 GCOV_TAG_AFDO_FUNCTION: 4 bytes
kono
parents:
diff changeset
843 LENGTH: 4 bytes
kono
parents:
diff changeset
844 NUM_FUNCTIONS: 4 bytes
kono
parents:
diff changeset
845 FUNCTION_INSTANCE_1
kono
parents:
diff changeset
846 FUNCTION_INSTANCE_2
kono
parents:
diff changeset
847 ...
kono
parents:
diff changeset
848 FUNCTION_INSTANCE_N. */
kono
parents:
diff changeset
849
kono
parents:
diff changeset
850 bool
kono
parents:
diff changeset
851 autofdo_source_profile::read ()
kono
parents:
diff changeset
852 {
kono
parents:
diff changeset
853 if (gcov_read_unsigned () != GCOV_TAG_AFDO_FUNCTION)
kono
parents:
diff changeset
854 {
kono
parents:
diff changeset
855 inform (0, "Not expected TAG.");
kono
parents:
diff changeset
856 return false;
kono
parents:
diff changeset
857 }
kono
parents:
diff changeset
858
kono
parents:
diff changeset
859 /* Skip the length of the section. */
kono
parents:
diff changeset
860 gcov_read_unsigned ();
kono
parents:
diff changeset
861
kono
parents:
diff changeset
862 /* Read in the function/callsite profile, and store it in local
kono
parents:
diff changeset
863 data structure. */
kono
parents:
diff changeset
864 unsigned function_num = gcov_read_unsigned ();
kono
parents:
diff changeset
865 for (unsigned i = 0; i < function_num; i++)
kono
parents:
diff changeset
866 {
kono
parents:
diff changeset
867 function_instance::function_instance_stack stack;
kono
parents:
diff changeset
868 function_instance *s = function_instance::read_function_instance (
kono
parents:
diff changeset
869 &stack, gcov_read_counter ());
kono
parents:
diff changeset
870 afdo_profile_info->sum_all += s->total_count ();
kono
parents:
diff changeset
871 map_[s->name ()] = s;
kono
parents:
diff changeset
872 }
kono
parents:
diff changeset
873 return true;
kono
parents:
diff changeset
874 }
kono
parents:
diff changeset
875
kono
parents:
diff changeset
876 /* Return the function_instance in the profile that correspond to the
kono
parents:
diff changeset
877 inline STACK. */
kono
parents:
diff changeset
878
kono
parents:
diff changeset
879 function_instance *
kono
parents:
diff changeset
880 autofdo_source_profile::get_function_instance_by_inline_stack (
kono
parents:
diff changeset
881 const inline_stack &stack) const
kono
parents:
diff changeset
882 {
kono
parents:
diff changeset
883 name_function_instance_map::const_iterator iter = map_.find (
kono
parents:
diff changeset
884 afdo_string_table->get_index_by_decl (stack[stack.length () - 1].first));
kono
parents:
diff changeset
885 if (iter == map_.end())
kono
parents:
diff changeset
886 return NULL;
kono
parents:
diff changeset
887 function_instance *s = iter->second;
kono
parents:
diff changeset
888 for (unsigned i = stack.length() - 1; i > 0; i--)
kono
parents:
diff changeset
889 {
kono
parents:
diff changeset
890 s = s->get_function_instance_by_decl (
kono
parents:
diff changeset
891 stack[i].second, stack[i - 1].first);
kono
parents:
diff changeset
892 if (s == NULL)
kono
parents:
diff changeset
893 return NULL;
kono
parents:
diff changeset
894 }
kono
parents:
diff changeset
895 return s;
kono
parents:
diff changeset
896 }
kono
parents:
diff changeset
897
kono
parents:
diff changeset
898 /* Module profile is only used by LIPO. Here we simply ignore it. */
kono
parents:
diff changeset
899
kono
parents:
diff changeset
900 static void
kono
parents:
diff changeset
901 fake_read_autofdo_module_profile ()
kono
parents:
diff changeset
902 {
kono
parents:
diff changeset
903 /* Read in the module info. */
kono
parents:
diff changeset
904 gcov_read_unsigned ();
kono
parents:
diff changeset
905
kono
parents:
diff changeset
906 /* Skip the length of the section. */
kono
parents:
diff changeset
907 gcov_read_unsigned ();
kono
parents:
diff changeset
908
kono
parents:
diff changeset
909 /* Read in the file name table. */
kono
parents:
diff changeset
910 unsigned total_module_num = gcov_read_unsigned ();
kono
parents:
diff changeset
911 gcc_assert (total_module_num == 0);
kono
parents:
diff changeset
912 }
kono
parents:
diff changeset
913
kono
parents:
diff changeset
914 /* Read data from profile data file. */
kono
parents:
diff changeset
915
kono
parents:
diff changeset
916 static void
kono
parents:
diff changeset
917 read_profile (void)
kono
parents:
diff changeset
918 {
kono
parents:
diff changeset
919 if (gcov_open (auto_profile_file, 1) == 0)
kono
parents:
diff changeset
920 {
kono
parents:
diff changeset
921 error ("cannot open profile file %s", auto_profile_file);
kono
parents:
diff changeset
922 return;
kono
parents:
diff changeset
923 }
kono
parents:
diff changeset
924
kono
parents:
diff changeset
925 if (gcov_read_unsigned () != GCOV_DATA_MAGIC)
kono
parents:
diff changeset
926 {
kono
parents:
diff changeset
927 error ("AutoFDO profile magic number does not match");
kono
parents:
diff changeset
928 return;
kono
parents:
diff changeset
929 }
kono
parents:
diff changeset
930
kono
parents:
diff changeset
931 /* Skip the version number. */
kono
parents:
diff changeset
932 unsigned version = gcov_read_unsigned ();
kono
parents:
diff changeset
933 if (version != AUTO_PROFILE_VERSION)
kono
parents:
diff changeset
934 {
kono
parents:
diff changeset
935 error ("AutoFDO profile version %u does match %u",
kono
parents:
diff changeset
936 version, AUTO_PROFILE_VERSION);
kono
parents:
diff changeset
937 return;
kono
parents:
diff changeset
938 }
kono
parents:
diff changeset
939
kono
parents:
diff changeset
940 /* Skip the empty integer. */
kono
parents:
diff changeset
941 gcov_read_unsigned ();
kono
parents:
diff changeset
942
kono
parents:
diff changeset
943 /* string_table. */
kono
parents:
diff changeset
944 afdo_string_table = new string_table ();
kono
parents:
diff changeset
945 if (!afdo_string_table->read())
kono
parents:
diff changeset
946 {
kono
parents:
diff changeset
947 error ("cannot read string table 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_source_profile. */
kono
parents:
diff changeset
952 afdo_source_profile = autofdo_source_profile::create ();
kono
parents:
diff changeset
953 if (afdo_source_profile == NULL)
kono
parents:
diff changeset
954 {
kono
parents:
diff changeset
955 error ("cannot read function profile from %s", auto_profile_file);
kono
parents:
diff changeset
956 return;
kono
parents:
diff changeset
957 }
kono
parents:
diff changeset
958
kono
parents:
diff changeset
959 /* autofdo_module_profile. */
kono
parents:
diff changeset
960 fake_read_autofdo_module_profile ();
kono
parents:
diff changeset
961
kono
parents:
diff changeset
962 /* Read in the working set. */
kono
parents:
diff changeset
963 if (gcov_read_unsigned () != GCOV_TAG_AFDO_WORKING_SET)
kono
parents:
diff changeset
964 {
kono
parents:
diff changeset
965 error ("cannot read working set from %s", auto_profile_file);
kono
parents:
diff changeset
966 return;
kono
parents:
diff changeset
967 }
kono
parents:
diff changeset
968
kono
parents:
diff changeset
969 /* Skip the length of the section. */
kono
parents:
diff changeset
970 gcov_read_unsigned ();
kono
parents:
diff changeset
971 gcov_working_set_t set[128];
kono
parents:
diff changeset
972 for (unsigned i = 0; i < 128; i++)
kono
parents:
diff changeset
973 {
kono
parents:
diff changeset
974 set[i].num_counters = gcov_read_unsigned ();
kono
parents:
diff changeset
975 set[i].min_counter = gcov_read_counter ();
kono
parents:
diff changeset
976 }
kono
parents:
diff changeset
977 add_working_set (set);
kono
parents:
diff changeset
978 }
kono
parents:
diff changeset
979
kono
parents:
diff changeset
980 /* From AutoFDO profiles, find values inside STMT for that we want to measure
kono
parents:
diff changeset
981 histograms for indirect-call optimization.
kono
parents:
diff changeset
982
kono
parents:
diff changeset
983 This function is actually served for 2 purposes:
kono
parents:
diff changeset
984 * before annotation, we need to mark histogram, promote and inline
kono
parents:
diff changeset
985 * after annotation, we just need to mark, and let follow-up logic to
kono
parents:
diff changeset
986 decide if it needs to promote and inline. */
kono
parents:
diff changeset
987
kono
parents:
diff changeset
988 static void
kono
parents:
diff changeset
989 afdo_indirect_call (gimple_stmt_iterator *gsi, const icall_target_map &map,
kono
parents:
diff changeset
990 bool transform)
kono
parents:
diff changeset
991 {
kono
parents:
diff changeset
992 gimple *gs = gsi_stmt (*gsi);
kono
parents:
diff changeset
993 tree callee;
kono
parents:
diff changeset
994
kono
parents:
diff changeset
995 if (map.size () == 0)
kono
parents:
diff changeset
996 return;
kono
parents:
diff changeset
997 gcall *stmt = dyn_cast <gcall *> (gs);
kono
parents:
diff changeset
998 if ((!stmt) || gimple_call_fndecl (stmt) != NULL_TREE)
kono
parents:
diff changeset
999 return;
kono
parents:
diff changeset
1000
kono
parents:
diff changeset
1001 callee = gimple_call_fn (stmt);
kono
parents:
diff changeset
1002
kono
parents:
diff changeset
1003 histogram_value hist = gimple_alloc_histogram_value (
kono
parents:
diff changeset
1004 cfun, HIST_TYPE_INDIR_CALL, stmt, callee);
kono
parents:
diff changeset
1005 hist->n_counters = 3;
kono
parents:
diff changeset
1006 hist->hvalue.counters = XNEWVEC (gcov_type, hist->n_counters);
kono
parents:
diff changeset
1007 gimple_add_histogram_value (cfun, stmt, hist);
kono
parents:
diff changeset
1008
kono
parents:
diff changeset
1009 gcov_type total = 0;
kono
parents:
diff changeset
1010 icall_target_map::const_iterator max_iter = map.end ();
kono
parents:
diff changeset
1011
kono
parents:
diff changeset
1012 for (icall_target_map::const_iterator iter = map.begin ();
kono
parents:
diff changeset
1013 iter != map.end (); ++iter)
kono
parents:
diff changeset
1014 {
kono
parents:
diff changeset
1015 total += iter->second;
kono
parents:
diff changeset
1016 if (max_iter == map.end () || max_iter->second < iter->second)
kono
parents:
diff changeset
1017 max_iter = iter;
kono
parents:
diff changeset
1018 }
kono
parents:
diff changeset
1019
kono
parents:
diff changeset
1020 hist->hvalue.counters[0]
kono
parents:
diff changeset
1021 = (unsigned long long)afdo_string_table->get_name (max_iter->first);
kono
parents:
diff changeset
1022 hist->hvalue.counters[1] = max_iter->second;
kono
parents:
diff changeset
1023 hist->hvalue.counters[2] = total;
kono
parents:
diff changeset
1024
kono
parents:
diff changeset
1025 if (!transform)
kono
parents:
diff changeset
1026 return;
kono
parents:
diff changeset
1027
kono
parents:
diff changeset
1028 struct cgraph_edge *indirect_edge
kono
parents:
diff changeset
1029 = cgraph_node::get (current_function_decl)->get_edge (stmt);
kono
parents:
diff changeset
1030 struct cgraph_node *direct_call = cgraph_node::get_for_asmname (
kono
parents:
diff changeset
1031 get_identifier ((const char *) hist->hvalue.counters[0]));
kono
parents:
diff changeset
1032
kono
parents:
diff changeset
1033 if (dump_file)
kono
parents:
diff changeset
1034 {
kono
parents:
diff changeset
1035 fprintf (dump_file, "Indirect call -> direct call ");
kono
parents:
diff changeset
1036 print_generic_expr (dump_file, callee, TDF_SLIM);
kono
parents:
diff changeset
1037 fprintf (dump_file, " => ");
kono
parents:
diff changeset
1038 print_generic_expr (dump_file, direct_call->decl, TDF_SLIM);
kono
parents:
diff changeset
1039 }
kono
parents:
diff changeset
1040
kono
parents:
diff changeset
1041 if (direct_call == NULL || !check_ic_target (stmt, direct_call))
kono
parents:
diff changeset
1042 {
kono
parents:
diff changeset
1043 if (dump_file)
kono
parents:
diff changeset
1044 fprintf (dump_file, " not transforming\n");
kono
parents:
diff changeset
1045 return;
kono
parents:
diff changeset
1046 }
kono
parents:
diff changeset
1047 if (DECL_STRUCT_FUNCTION (direct_call->decl) == NULL)
kono
parents:
diff changeset
1048 {
kono
parents:
diff changeset
1049 if (dump_file)
kono
parents:
diff changeset
1050 fprintf (dump_file, " no declaration\n");
kono
parents:
diff changeset
1051 return;
kono
parents:
diff changeset
1052 }
kono
parents:
diff changeset
1053
kono
parents:
diff changeset
1054 if (dump_file)
kono
parents:
diff changeset
1055 {
kono
parents:
diff changeset
1056 fprintf (dump_file, " transformation on insn ");
kono
parents:
diff changeset
1057 print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
kono
parents:
diff changeset
1058 fprintf (dump_file, "\n");
kono
parents:
diff changeset
1059 }
kono
parents:
diff changeset
1060
kono
parents:
diff changeset
1061 /* FIXME: Count should be initialized. */
kono
parents:
diff changeset
1062 struct cgraph_edge *new_edge
kono
parents:
diff changeset
1063 = indirect_edge->make_speculative (direct_call,
kono
parents:
diff changeset
1064 profile_count::uninitialized (), 0);
kono
parents:
diff changeset
1065 new_edge->redirect_call_stmt_to_callee ();
kono
parents:
diff changeset
1066 gimple_remove_histogram_value (cfun, stmt, hist);
kono
parents:
diff changeset
1067 inline_call (new_edge, true, NULL, NULL, false);
kono
parents:
diff changeset
1068 }
kono
parents:
diff changeset
1069
kono
parents:
diff changeset
1070 /* From AutoFDO profiles, find values inside STMT for that we want to measure
kono
parents:
diff changeset
1071 histograms and adds them to list VALUES. */
kono
parents:
diff changeset
1072
kono
parents:
diff changeset
1073 static void
kono
parents:
diff changeset
1074 afdo_vpt (gimple_stmt_iterator *gsi, const icall_target_map &map,
kono
parents:
diff changeset
1075 bool transform)
kono
parents:
diff changeset
1076 {
kono
parents:
diff changeset
1077 afdo_indirect_call (gsi, map, transform);
kono
parents:
diff changeset
1078 }
kono
parents:
diff changeset
1079
kono
parents:
diff changeset
1080 typedef std::set<basic_block> bb_set;
kono
parents:
diff changeset
1081 typedef std::set<edge> edge_set;
kono
parents:
diff changeset
1082
kono
parents:
diff changeset
1083 static bool
kono
parents:
diff changeset
1084 is_bb_annotated (const basic_block bb, const bb_set &annotated)
kono
parents:
diff changeset
1085 {
kono
parents:
diff changeset
1086 return annotated.find (bb) != annotated.end ();
kono
parents:
diff changeset
1087 }
kono
parents:
diff changeset
1088
kono
parents:
diff changeset
1089 static void
kono
parents:
diff changeset
1090 set_bb_annotated (basic_block bb, bb_set *annotated)
kono
parents:
diff changeset
1091 {
kono
parents:
diff changeset
1092 annotated->insert (bb);
kono
parents:
diff changeset
1093 }
kono
parents:
diff changeset
1094
kono
parents:
diff changeset
1095 static bool
kono
parents:
diff changeset
1096 is_edge_annotated (const edge e, const edge_set &annotated)
kono
parents:
diff changeset
1097 {
kono
parents:
diff changeset
1098 return annotated.find (e) != annotated.end ();
kono
parents:
diff changeset
1099 }
kono
parents:
diff changeset
1100
kono
parents:
diff changeset
1101 static void
kono
parents:
diff changeset
1102 set_edge_annotated (edge e, edge_set *annotated)
kono
parents:
diff changeset
1103 {
kono
parents:
diff changeset
1104 annotated->insert (e);
kono
parents:
diff changeset
1105 }
kono
parents:
diff changeset
1106
kono
parents:
diff changeset
1107 /* For a given BB, set its execution count. Attach value profile if a stmt
kono
parents:
diff changeset
1108 is not in PROMOTED, because we only want to promote an indirect call once.
kono
parents:
diff changeset
1109 Return TRUE if BB is annotated. */
kono
parents:
diff changeset
1110
kono
parents:
diff changeset
1111 static bool
kono
parents:
diff changeset
1112 afdo_set_bb_count (basic_block bb, const stmt_set &promoted)
kono
parents:
diff changeset
1113 {
kono
parents:
diff changeset
1114 gimple_stmt_iterator gsi;
kono
parents:
diff changeset
1115 edge e;
kono
parents:
diff changeset
1116 edge_iterator ei;
kono
parents:
diff changeset
1117 gcov_type max_count = 0;
kono
parents:
diff changeset
1118 bool has_annotated = false;
kono
parents:
diff changeset
1119
kono
parents:
diff changeset
1120 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1121 {
kono
parents:
diff changeset
1122 count_info info;
kono
parents:
diff changeset
1123 gimple *stmt = gsi_stmt (gsi);
kono
parents:
diff changeset
1124 if (gimple_clobber_p (stmt) || is_gimple_debug (stmt))
kono
parents:
diff changeset
1125 continue;
kono
parents:
diff changeset
1126 if (afdo_source_profile->get_count_info (stmt, &info))
kono
parents:
diff changeset
1127 {
kono
parents:
diff changeset
1128 if (info.count > max_count)
kono
parents:
diff changeset
1129 max_count = info.count;
kono
parents:
diff changeset
1130 has_annotated = true;
kono
parents:
diff changeset
1131 if (info.targets.size () > 0
kono
parents:
diff changeset
1132 && promoted.find (stmt) == promoted.end ())
kono
parents:
diff changeset
1133 afdo_vpt (&gsi, info.targets, false);
kono
parents:
diff changeset
1134 }
kono
parents:
diff changeset
1135 }
kono
parents:
diff changeset
1136
kono
parents:
diff changeset
1137 if (!has_annotated)
kono
parents:
diff changeset
1138 return false;
kono
parents:
diff changeset
1139
kono
parents:
diff changeset
1140 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1141 afdo_source_profile->mark_annotated (gimple_location (gsi_stmt (gsi)));
kono
parents:
diff changeset
1142 for (gphi_iterator gpi = gsi_start_phis (bb);
kono
parents:
diff changeset
1143 !gsi_end_p (gpi);
kono
parents:
diff changeset
1144 gsi_next (&gpi))
kono
parents:
diff changeset
1145 {
kono
parents:
diff changeset
1146 gphi *phi = gpi.phi ();
kono
parents:
diff changeset
1147 size_t i;
kono
parents:
diff changeset
1148 for (i = 0; i < gimple_phi_num_args (phi); i++)
kono
parents:
diff changeset
1149 afdo_source_profile->mark_annotated (gimple_phi_arg_location (phi, i));
kono
parents:
diff changeset
1150 }
kono
parents:
diff changeset
1151 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1152 afdo_source_profile->mark_annotated (e->goto_locus);
kono
parents:
diff changeset
1153
kono
parents:
diff changeset
1154 bb->count = profile_count::from_gcov_type (max_count).afdo ();
kono
parents:
diff changeset
1155 return true;
kono
parents:
diff changeset
1156 }
kono
parents:
diff changeset
1157
kono
parents:
diff changeset
1158 /* BB1 and BB2 are in an equivalent class iff:
kono
parents:
diff changeset
1159 1. BB1 dominates BB2.
kono
parents:
diff changeset
1160 2. BB2 post-dominates BB1.
kono
parents:
diff changeset
1161 3. BB1 and BB2 are in the same loop nest.
kono
parents:
diff changeset
1162 This function finds the equivalent class for each basic block, and
kono
parents:
diff changeset
1163 stores a pointer to the first BB in its equivalent class. Meanwhile,
kono
parents:
diff changeset
1164 set bb counts for the same equivalent class to be idenical. Update
kono
parents:
diff changeset
1165 ANNOTATED_BB for the first BB in its equivalent class. */
kono
parents:
diff changeset
1166
kono
parents:
diff changeset
1167 static void
kono
parents:
diff changeset
1168 afdo_find_equiv_class (bb_set *annotated_bb)
kono
parents:
diff changeset
1169 {
kono
parents:
diff changeset
1170 basic_block bb;
kono
parents:
diff changeset
1171
kono
parents:
diff changeset
1172 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1173 bb->aux = NULL;
kono
parents:
diff changeset
1174
kono
parents:
diff changeset
1175 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1176 {
kono
parents:
diff changeset
1177 vec<basic_block> dom_bbs;
kono
parents:
diff changeset
1178 basic_block bb1;
kono
parents:
diff changeset
1179 int i;
kono
parents:
diff changeset
1180
kono
parents:
diff changeset
1181 if (bb->aux != NULL)
kono
parents:
diff changeset
1182 continue;
kono
parents:
diff changeset
1183 bb->aux = bb;
kono
parents:
diff changeset
1184 dom_bbs = get_dominated_by (CDI_DOMINATORS, bb);
kono
parents:
diff changeset
1185 FOR_EACH_VEC_ELT (dom_bbs, i, bb1)
kono
parents:
diff changeset
1186 if (bb1->aux == NULL && dominated_by_p (CDI_POST_DOMINATORS, bb, bb1)
kono
parents:
diff changeset
1187 && bb1->loop_father == bb->loop_father)
kono
parents:
diff changeset
1188 {
kono
parents:
diff changeset
1189 bb1->aux = bb;
kono
parents:
diff changeset
1190 if (bb1->count > bb->count && is_bb_annotated (bb1, *annotated_bb))
kono
parents:
diff changeset
1191 {
kono
parents:
diff changeset
1192 bb->count = bb1->count;
kono
parents:
diff changeset
1193 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1194 }
kono
parents:
diff changeset
1195 }
kono
parents:
diff changeset
1196 dom_bbs = get_dominated_by (CDI_POST_DOMINATORS, bb);
kono
parents:
diff changeset
1197 FOR_EACH_VEC_ELT (dom_bbs, i, bb1)
kono
parents:
diff changeset
1198 if (bb1->aux == NULL && dominated_by_p (CDI_DOMINATORS, bb, bb1)
kono
parents:
diff changeset
1199 && bb1->loop_father == bb->loop_father)
kono
parents:
diff changeset
1200 {
kono
parents:
diff changeset
1201 bb1->aux = bb;
kono
parents:
diff changeset
1202 if (bb1->count > bb->count && is_bb_annotated (bb1, *annotated_bb))
kono
parents:
diff changeset
1203 {
kono
parents:
diff changeset
1204 bb->count = bb1->count;
kono
parents:
diff changeset
1205 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1206 }
kono
parents:
diff changeset
1207 }
kono
parents:
diff changeset
1208 }
kono
parents:
diff changeset
1209 }
kono
parents:
diff changeset
1210
kono
parents:
diff changeset
1211 /* If a basic block's count is known, and only one of its in/out edges' count
kono
parents:
diff changeset
1212 is unknown, its count can be calculated. Meanwhile, if all of the in/out
kono
parents:
diff changeset
1213 edges' counts are known, then the basic block's unknown count can also be
kono
parents:
diff changeset
1214 calculated.
kono
parents:
diff changeset
1215 IS_SUCC is true if out edges of a basic blocks are examined.
kono
parents:
diff changeset
1216 Update ANNOTATED_BB and ANNOTATED_EDGE accordingly.
kono
parents:
diff changeset
1217 Return TRUE if any basic block/edge count is changed. */
kono
parents:
diff changeset
1218
kono
parents:
diff changeset
1219 static bool
kono
parents:
diff changeset
1220 afdo_propagate_edge (bool is_succ, bb_set *annotated_bb,
kono
parents:
diff changeset
1221 edge_set *annotated_edge)
kono
parents:
diff changeset
1222 {
kono
parents:
diff changeset
1223 basic_block bb;
kono
parents:
diff changeset
1224 bool changed = false;
kono
parents:
diff changeset
1225
kono
parents:
diff changeset
1226 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1227 {
kono
parents:
diff changeset
1228 edge e, unknown_edge = NULL;
kono
parents:
diff changeset
1229 edge_iterator ei;
kono
parents:
diff changeset
1230 int num_unknown_edge = 0;
kono
parents:
diff changeset
1231 profile_count total_known_count = profile_count::zero ().afdo ();
kono
parents:
diff changeset
1232
kono
parents:
diff changeset
1233 FOR_EACH_EDGE (e, ei, is_succ ? bb->succs : bb->preds)
kono
parents:
diff changeset
1234 if (!is_edge_annotated (e, *annotated_edge))
kono
parents:
diff changeset
1235 num_unknown_edge++, unknown_edge = e;
kono
parents:
diff changeset
1236 else
kono
parents:
diff changeset
1237 total_known_count += e->count ();
kono
parents:
diff changeset
1238
kono
parents:
diff changeset
1239 if (num_unknown_edge == 0)
kono
parents:
diff changeset
1240 {
kono
parents:
diff changeset
1241 if (total_known_count > bb->count)
kono
parents:
diff changeset
1242 {
kono
parents:
diff changeset
1243 bb->count = total_known_count;
kono
parents:
diff changeset
1244 changed = true;
kono
parents:
diff changeset
1245 }
kono
parents:
diff changeset
1246 if (!is_bb_annotated (bb, *annotated_bb))
kono
parents:
diff changeset
1247 {
kono
parents:
diff changeset
1248 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1249 changed = true;
kono
parents:
diff changeset
1250 }
kono
parents:
diff changeset
1251 }
kono
parents:
diff changeset
1252 else if (num_unknown_edge == 1 && is_bb_annotated (bb, *annotated_bb))
kono
parents:
diff changeset
1253 {
kono
parents:
diff changeset
1254 unknown_edge->probability
kono
parents:
diff changeset
1255 = total_known_count.probability_in (bb->count);
kono
parents:
diff changeset
1256 set_edge_annotated (unknown_edge, annotated_edge);
kono
parents:
diff changeset
1257 changed = true;
kono
parents:
diff changeset
1258 }
kono
parents:
diff changeset
1259 }
kono
parents:
diff changeset
1260 return changed;
kono
parents:
diff changeset
1261 }
kono
parents:
diff changeset
1262
kono
parents:
diff changeset
1263 /* Special propagation for circuit expressions. Because GCC translates
kono
parents:
diff changeset
1264 control flow into data flow for circuit expressions. E.g.
kono
parents:
diff changeset
1265 BB1:
kono
parents:
diff changeset
1266 if (a && b)
kono
parents:
diff changeset
1267 BB2
kono
parents:
diff changeset
1268 else
kono
parents:
diff changeset
1269 BB3
kono
parents:
diff changeset
1270
kono
parents:
diff changeset
1271 will be translated into:
kono
parents:
diff changeset
1272
kono
parents:
diff changeset
1273 BB1:
kono
parents:
diff changeset
1274 if (a)
kono
parents:
diff changeset
1275 goto BB.t1
kono
parents:
diff changeset
1276 else
kono
parents:
diff changeset
1277 goto BB.t3
kono
parents:
diff changeset
1278 BB.t1:
kono
parents:
diff changeset
1279 if (b)
kono
parents:
diff changeset
1280 goto BB.t2
kono
parents:
diff changeset
1281 else
kono
parents:
diff changeset
1282 goto BB.t3
kono
parents:
diff changeset
1283 BB.t2:
kono
parents:
diff changeset
1284 goto BB.t3
kono
parents:
diff changeset
1285 BB.t3:
kono
parents:
diff changeset
1286 tmp = PHI (0 (BB1), 0 (BB.t1), 1 (BB.t2)
kono
parents:
diff changeset
1287 if (tmp)
kono
parents:
diff changeset
1288 goto BB2
kono
parents:
diff changeset
1289 else
kono
parents:
diff changeset
1290 goto BB3
kono
parents:
diff changeset
1291
kono
parents:
diff changeset
1292 In this case, we need to propagate through PHI to determine the edge
kono
parents:
diff changeset
1293 count of BB1->BB.t1, BB.t1->BB.t2.
kono
parents:
diff changeset
1294 Update ANNOTATED_EDGE accordingly. */
kono
parents:
diff changeset
1295
kono
parents:
diff changeset
1296 static void
kono
parents:
diff changeset
1297 afdo_propagate_circuit (const bb_set &annotated_bb, edge_set *annotated_edge)
kono
parents:
diff changeset
1298 {
kono
parents:
diff changeset
1299 basic_block bb;
kono
parents:
diff changeset
1300 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1301 {
kono
parents:
diff changeset
1302 gimple *def_stmt;
kono
parents:
diff changeset
1303 tree cmp_rhs, cmp_lhs;
kono
parents:
diff changeset
1304 gimple *cmp_stmt = last_stmt (bb);
kono
parents:
diff changeset
1305 edge e;
kono
parents:
diff changeset
1306 edge_iterator ei;
kono
parents:
diff changeset
1307
kono
parents:
diff changeset
1308 if (!cmp_stmt || gimple_code (cmp_stmt) != GIMPLE_COND)
kono
parents:
diff changeset
1309 continue;
kono
parents:
diff changeset
1310 cmp_rhs = gimple_cond_rhs (cmp_stmt);
kono
parents:
diff changeset
1311 cmp_lhs = gimple_cond_lhs (cmp_stmt);
kono
parents:
diff changeset
1312 if (!TREE_CONSTANT (cmp_rhs)
kono
parents:
diff changeset
1313 || !(integer_zerop (cmp_rhs) || integer_onep (cmp_rhs)))
kono
parents:
diff changeset
1314 continue;
kono
parents:
diff changeset
1315 if (TREE_CODE (cmp_lhs) != SSA_NAME)
kono
parents:
diff changeset
1316 continue;
kono
parents:
diff changeset
1317 if (!is_bb_annotated (bb, annotated_bb))
kono
parents:
diff changeset
1318 continue;
kono
parents:
diff changeset
1319 def_stmt = SSA_NAME_DEF_STMT (cmp_lhs);
kono
parents:
diff changeset
1320 while (def_stmt && gimple_code (def_stmt) == GIMPLE_ASSIGN
kono
parents:
diff changeset
1321 && gimple_assign_single_p (def_stmt)
kono
parents:
diff changeset
1322 && TREE_CODE (gimple_assign_rhs1 (def_stmt)) == SSA_NAME)
kono
parents:
diff changeset
1323 def_stmt = SSA_NAME_DEF_STMT (gimple_assign_rhs1 (def_stmt));
kono
parents:
diff changeset
1324 if (!def_stmt)
kono
parents:
diff changeset
1325 continue;
kono
parents:
diff changeset
1326 gphi *phi_stmt = dyn_cast <gphi *> (def_stmt);
kono
parents:
diff changeset
1327 if (!phi_stmt)
kono
parents:
diff changeset
1328 continue;
kono
parents:
diff changeset
1329 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1330 {
kono
parents:
diff changeset
1331 unsigned i, total = 0;
kono
parents:
diff changeset
1332 edge only_one;
kono
parents:
diff changeset
1333 bool check_value_one = (((integer_onep (cmp_rhs))
kono
parents:
diff changeset
1334 ^ (gimple_cond_code (cmp_stmt) == EQ_EXPR))
kono
parents:
diff changeset
1335 ^ ((e->flags & EDGE_TRUE_VALUE) != 0));
kono
parents:
diff changeset
1336 if (!is_edge_annotated (e, *annotated_edge))
kono
parents:
diff changeset
1337 continue;
kono
parents:
diff changeset
1338 for (i = 0; i < gimple_phi_num_args (phi_stmt); i++)
kono
parents:
diff changeset
1339 {
kono
parents:
diff changeset
1340 tree val = gimple_phi_arg_def (phi_stmt, i);
kono
parents:
diff changeset
1341 edge ep = gimple_phi_arg_edge (phi_stmt, i);
kono
parents:
diff changeset
1342
kono
parents:
diff changeset
1343 if (!TREE_CONSTANT (val)
kono
parents:
diff changeset
1344 || !(integer_zerop (val) || integer_onep (val)))
kono
parents:
diff changeset
1345 continue;
kono
parents:
diff changeset
1346 if (check_value_one ^ integer_onep (val))
kono
parents:
diff changeset
1347 continue;
kono
parents:
diff changeset
1348 total++;
kono
parents:
diff changeset
1349 only_one = ep;
kono
parents:
diff changeset
1350 if (!e->probability.initialized_p ()
kono
parents:
diff changeset
1351 && !is_edge_annotated (ep, *annotated_edge))
kono
parents:
diff changeset
1352 {
kono
parents:
diff changeset
1353 ep->probability = profile_probability::never ().afdo ();
kono
parents:
diff changeset
1354 set_edge_annotated (ep, annotated_edge);
kono
parents:
diff changeset
1355 }
kono
parents:
diff changeset
1356 }
kono
parents:
diff changeset
1357 if (total == 1 && !is_edge_annotated (only_one, *annotated_edge))
kono
parents:
diff changeset
1358 {
kono
parents:
diff changeset
1359 only_one->probability = e->probability;
kono
parents:
diff changeset
1360 set_edge_annotated (only_one, annotated_edge);
kono
parents:
diff changeset
1361 }
kono
parents:
diff changeset
1362 }
kono
parents:
diff changeset
1363 }
kono
parents:
diff changeset
1364 }
kono
parents:
diff changeset
1365
kono
parents:
diff changeset
1366 /* Propagate the basic block count and edge count on the control flow
kono
parents:
diff changeset
1367 graph. We do the propagation iteratively until stablize. */
kono
parents:
diff changeset
1368
kono
parents:
diff changeset
1369 static void
kono
parents:
diff changeset
1370 afdo_propagate (bb_set *annotated_bb, edge_set *annotated_edge)
kono
parents:
diff changeset
1371 {
kono
parents:
diff changeset
1372 basic_block bb;
kono
parents:
diff changeset
1373 bool changed = true;
kono
parents:
diff changeset
1374 int i = 0;
kono
parents:
diff changeset
1375
kono
parents:
diff changeset
1376 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1377 {
kono
parents:
diff changeset
1378 bb->count = ((basic_block)bb->aux)->count;
kono
parents:
diff changeset
1379 if (is_bb_annotated ((basic_block)bb->aux, *annotated_bb))
kono
parents:
diff changeset
1380 set_bb_annotated (bb, annotated_bb);
kono
parents:
diff changeset
1381 }
kono
parents:
diff changeset
1382
kono
parents:
diff changeset
1383 while (changed && i++ < 10)
kono
parents:
diff changeset
1384 {
kono
parents:
diff changeset
1385 changed = false;
kono
parents:
diff changeset
1386
kono
parents:
diff changeset
1387 if (afdo_propagate_edge (true, annotated_bb, annotated_edge))
kono
parents:
diff changeset
1388 changed = true;
kono
parents:
diff changeset
1389 if (afdo_propagate_edge (false, annotated_bb, annotated_edge))
kono
parents:
diff changeset
1390 changed = true;
kono
parents:
diff changeset
1391 afdo_propagate_circuit (*annotated_bb, annotated_edge);
kono
parents:
diff changeset
1392 }
kono
parents:
diff changeset
1393 }
kono
parents:
diff changeset
1394
kono
parents:
diff changeset
1395 /* Propagate counts on control flow graph and calculate branch
kono
parents:
diff changeset
1396 probabilities. */
kono
parents:
diff changeset
1397
kono
parents:
diff changeset
1398 static void
kono
parents:
diff changeset
1399 afdo_calculate_branch_prob (bb_set *annotated_bb, edge_set *annotated_edge)
kono
parents:
diff changeset
1400 {
kono
parents:
diff changeset
1401 basic_block bb;
kono
parents:
diff changeset
1402 bool has_sample = false;
kono
parents:
diff changeset
1403
kono
parents:
diff changeset
1404 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1405 {
kono
parents:
diff changeset
1406 if (bb->count > profile_count::zero ())
kono
parents:
diff changeset
1407 {
kono
parents:
diff changeset
1408 has_sample = true;
kono
parents:
diff changeset
1409 break;
kono
parents:
diff changeset
1410 }
kono
parents:
diff changeset
1411 }
kono
parents:
diff changeset
1412
kono
parents:
diff changeset
1413 if (!has_sample)
kono
parents:
diff changeset
1414 return;
kono
parents:
diff changeset
1415
kono
parents:
diff changeset
1416 calculate_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1417 calculate_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1418 loop_optimizer_init (0);
kono
parents:
diff changeset
1419
kono
parents:
diff changeset
1420 afdo_find_equiv_class (annotated_bb);
kono
parents:
diff changeset
1421 afdo_propagate (annotated_bb, annotated_edge);
kono
parents:
diff changeset
1422
kono
parents:
diff changeset
1423 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1424 {
kono
parents:
diff changeset
1425 edge e;
kono
parents:
diff changeset
1426 edge_iterator ei;
kono
parents:
diff changeset
1427 int num_unknown_succ = 0;
kono
parents:
diff changeset
1428 profile_count total_count = profile_count::zero ();
kono
parents:
diff changeset
1429
kono
parents:
diff changeset
1430 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1431 {
kono
parents:
diff changeset
1432 if (!is_edge_annotated (e, *annotated_edge))
kono
parents:
diff changeset
1433 num_unknown_succ++;
kono
parents:
diff changeset
1434 else
kono
parents:
diff changeset
1435 total_count += e->count ();
kono
parents:
diff changeset
1436 }
kono
parents:
diff changeset
1437 if (num_unknown_succ == 0 && total_count > profile_count::zero ())
kono
parents:
diff changeset
1438 {
kono
parents:
diff changeset
1439 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1440 e->probability = e->count ().probability_in (total_count);
kono
parents:
diff changeset
1441 }
kono
parents:
diff changeset
1442 }
kono
parents:
diff changeset
1443 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
1444 bb->aux = NULL;
kono
parents:
diff changeset
1445
kono
parents:
diff changeset
1446 loop_optimizer_finalize ();
kono
parents:
diff changeset
1447 free_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1448 free_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1449 }
kono
parents:
diff changeset
1450
kono
parents:
diff changeset
1451 /* Perform value profile transformation using AutoFDO profile. Add the
kono
parents:
diff changeset
1452 promoted stmts to PROMOTED_STMTS. Return TRUE if there is any
kono
parents:
diff changeset
1453 indirect call promoted. */
kono
parents:
diff changeset
1454
kono
parents:
diff changeset
1455 static bool
kono
parents:
diff changeset
1456 afdo_vpt_for_early_inline (stmt_set *promoted_stmts)
kono
parents:
diff changeset
1457 {
kono
parents:
diff changeset
1458 basic_block bb;
kono
parents:
diff changeset
1459 if (afdo_source_profile->get_function_instance_by_decl (
kono
parents:
diff changeset
1460 current_function_decl) == NULL)
kono
parents:
diff changeset
1461 return false;
kono
parents:
diff changeset
1462
kono
parents:
diff changeset
1463 compute_fn_summary (cgraph_node::get (current_function_decl), true);
kono
parents:
diff changeset
1464
kono
parents:
diff changeset
1465 bool has_vpt = false;
kono
parents:
diff changeset
1466 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1467 {
kono
parents:
diff changeset
1468 if (!has_indirect_call (bb))
kono
parents:
diff changeset
1469 continue;
kono
parents:
diff changeset
1470 gimple_stmt_iterator gsi;
kono
parents:
diff changeset
1471
kono
parents:
diff changeset
1472 gcov_type bb_count = 0;
kono
parents:
diff changeset
1473 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1474 {
kono
parents:
diff changeset
1475 count_info info;
kono
parents:
diff changeset
1476 gimple *stmt = gsi_stmt (gsi);
kono
parents:
diff changeset
1477 if (afdo_source_profile->get_count_info (stmt, &info))
kono
parents:
diff changeset
1478 bb_count = MAX (bb_count, info.count);
kono
parents:
diff changeset
1479 }
kono
parents:
diff changeset
1480
kono
parents:
diff changeset
1481 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
kono
parents:
diff changeset
1482 {
kono
parents:
diff changeset
1483 gcall *stmt = dyn_cast <gcall *> (gsi_stmt (gsi));
kono
parents:
diff changeset
1484 /* IC_promotion and early_inline_2 is done in multiple iterations.
kono
parents:
diff changeset
1485 No need to promoted the stmt if its in promoted_stmts (means
kono
parents:
diff changeset
1486 it is already been promoted in the previous iterations). */
kono
parents:
diff changeset
1487 if ((!stmt) || gimple_call_fn (stmt) == NULL
kono
parents:
diff changeset
1488 || TREE_CODE (gimple_call_fn (stmt)) == FUNCTION_DECL
kono
parents:
diff changeset
1489 || promoted_stmts->find (stmt) != promoted_stmts->end ())
kono
parents:
diff changeset
1490 continue;
kono
parents:
diff changeset
1491
kono
parents:
diff changeset
1492 count_info info;
kono
parents:
diff changeset
1493 afdo_source_profile->get_count_info (stmt, &info);
kono
parents:
diff changeset
1494 info.count = bb_count;
kono
parents:
diff changeset
1495 if (afdo_source_profile->update_inlined_ind_target (stmt, &info))
kono
parents:
diff changeset
1496 {
kono
parents:
diff changeset
1497 /* Promote the indirect call and update the promoted_stmts. */
kono
parents:
diff changeset
1498 promoted_stmts->insert (stmt);
kono
parents:
diff changeset
1499 afdo_vpt (&gsi, info.targets, true);
kono
parents:
diff changeset
1500 has_vpt = true;
kono
parents:
diff changeset
1501 }
kono
parents:
diff changeset
1502 }
kono
parents:
diff changeset
1503 }
kono
parents:
diff changeset
1504
kono
parents:
diff changeset
1505 if (has_vpt)
kono
parents:
diff changeset
1506 {
kono
parents:
diff changeset
1507 unsigned todo = optimize_inline_calls (current_function_decl);
kono
parents:
diff changeset
1508 if (todo & TODO_update_ssa_any)
kono
parents:
diff changeset
1509 update_ssa (TODO_update_ssa);
kono
parents:
diff changeset
1510 return true;
kono
parents:
diff changeset
1511 }
kono
parents:
diff changeset
1512
kono
parents:
diff changeset
1513 return false;
kono
parents:
diff changeset
1514 }
kono
parents:
diff changeset
1515
kono
parents:
diff changeset
1516 /* Annotate auto profile to the control flow graph. Do not annotate value
kono
parents:
diff changeset
1517 profile for stmts in PROMOTED_STMTS. */
kono
parents:
diff changeset
1518
kono
parents:
diff changeset
1519 static void
kono
parents:
diff changeset
1520 afdo_annotate_cfg (const stmt_set &promoted_stmts)
kono
parents:
diff changeset
1521 {
kono
parents:
diff changeset
1522 basic_block bb;
kono
parents:
diff changeset
1523 bb_set annotated_bb;
kono
parents:
diff changeset
1524 edge_set annotated_edge;
kono
parents:
diff changeset
1525 const function_instance *s
kono
parents:
diff changeset
1526 = afdo_source_profile->get_function_instance_by_decl (
kono
parents:
diff changeset
1527 current_function_decl);
kono
parents:
diff changeset
1528
kono
parents:
diff changeset
1529 if (s == NULL)
kono
parents:
diff changeset
1530 return;
kono
parents:
diff changeset
1531 cgraph_node::get (current_function_decl)->count
kono
parents:
diff changeset
1532 = profile_count::from_gcov_type (s->head_count ()).afdo ();
kono
parents:
diff changeset
1533 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count
kono
parents:
diff changeset
1534 = profile_count::from_gcov_type (s->head_count ()).afdo ();
kono
parents:
diff changeset
1535 profile_count max_count = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
kono
parents:
diff changeset
1536
kono
parents:
diff changeset
1537 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1538 {
kono
parents:
diff changeset
1539 edge e;
kono
parents:
diff changeset
1540 edge_iterator ei;
kono
parents:
diff changeset
1541
kono
parents:
diff changeset
1542 /* As autoFDO uses sampling approach, we have to assume that all
kono
parents:
diff changeset
1543 counters are zero when not seen by autoFDO. */
kono
parents:
diff changeset
1544 bb->count = profile_count::zero ().afdo ();
kono
parents:
diff changeset
1545 FOR_EACH_EDGE (e, ei, bb->succs)
kono
parents:
diff changeset
1546 e->probability = profile_probability::uninitialized ();
kono
parents:
diff changeset
1547
kono
parents:
diff changeset
1548 if (afdo_set_bb_count (bb, promoted_stmts))
kono
parents:
diff changeset
1549 set_bb_annotated (bb, &annotated_bb);
kono
parents:
diff changeset
1550 if (bb->count > max_count)
kono
parents:
diff changeset
1551 max_count = bb->count;
kono
parents:
diff changeset
1552 }
kono
parents:
diff changeset
1553 if (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count
kono
parents:
diff changeset
1554 > ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb->count)
kono
parents:
diff changeset
1555 {
kono
parents:
diff changeset
1556 ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb->count
kono
parents:
diff changeset
1557 = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
kono
parents:
diff changeset
1558 set_bb_annotated (ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb, &annotated_bb);
kono
parents:
diff changeset
1559 }
kono
parents:
diff changeset
1560 if (ENTRY_BLOCK_PTR_FOR_FN (cfun)->count
kono
parents:
diff changeset
1561 > EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb->count)
kono
parents:
diff changeset
1562 {
kono
parents:
diff changeset
1563 EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb->count
kono
parents:
diff changeset
1564 = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
kono
parents:
diff changeset
1565 set_bb_annotated (EXIT_BLOCK_PTR_FOR_FN (cfun)->prev_bb, &annotated_bb);
kono
parents:
diff changeset
1566 }
kono
parents:
diff changeset
1567 afdo_source_profile->mark_annotated (
kono
parents:
diff changeset
1568 DECL_SOURCE_LOCATION (current_function_decl));
kono
parents:
diff changeset
1569 afdo_source_profile->mark_annotated (cfun->function_start_locus);
kono
parents:
diff changeset
1570 afdo_source_profile->mark_annotated (cfun->function_end_locus);
kono
parents:
diff changeset
1571 if (max_count > profile_count::zero ())
kono
parents:
diff changeset
1572 {
kono
parents:
diff changeset
1573 afdo_calculate_branch_prob (&annotated_bb, &annotated_edge);
kono
parents:
diff changeset
1574 counts_to_freqs ();
kono
parents:
diff changeset
1575 profile_status_for_fn (cfun) = PROFILE_READ;
kono
parents:
diff changeset
1576 }
kono
parents:
diff changeset
1577 if (flag_value_profile_transformations)
kono
parents:
diff changeset
1578 {
kono
parents:
diff changeset
1579 gimple_value_profile_transformations ();
kono
parents:
diff changeset
1580 free_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1581 free_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1582 update_ssa (TODO_update_ssa);
kono
parents:
diff changeset
1583 }
kono
parents:
diff changeset
1584 }
kono
parents:
diff changeset
1585
kono
parents:
diff changeset
1586 /* Wrapper function to invoke early inliner. */
kono
parents:
diff changeset
1587
kono
parents:
diff changeset
1588 static void
kono
parents:
diff changeset
1589 early_inline ()
kono
parents:
diff changeset
1590 {
kono
parents:
diff changeset
1591 compute_fn_summary (cgraph_node::get (current_function_decl), true);
kono
parents:
diff changeset
1592 unsigned todo = early_inliner (cfun);
kono
parents:
diff changeset
1593 if (todo & TODO_update_ssa_any)
kono
parents:
diff changeset
1594 update_ssa (TODO_update_ssa);
kono
parents:
diff changeset
1595 }
kono
parents:
diff changeset
1596
kono
parents:
diff changeset
1597 /* Use AutoFDO profile to annoate the control flow graph.
kono
parents:
diff changeset
1598 Return the todo flag. */
kono
parents:
diff changeset
1599
kono
parents:
diff changeset
1600 static unsigned int
kono
parents:
diff changeset
1601 auto_profile (void)
kono
parents:
diff changeset
1602 {
kono
parents:
diff changeset
1603 struct cgraph_node *node;
kono
parents:
diff changeset
1604
kono
parents:
diff changeset
1605 if (symtab->state == FINISHED)
kono
parents:
diff changeset
1606 return 0;
kono
parents:
diff changeset
1607
kono
parents:
diff changeset
1608 init_node_map (true);
kono
parents:
diff changeset
1609 profile_info = autofdo::afdo_profile_info;
kono
parents:
diff changeset
1610
kono
parents:
diff changeset
1611 FOR_EACH_FUNCTION (node)
kono
parents:
diff changeset
1612 {
kono
parents:
diff changeset
1613 if (!gimple_has_body_p (node->decl))
kono
parents:
diff changeset
1614 continue;
kono
parents:
diff changeset
1615
kono
parents:
diff changeset
1616 /* Don't profile functions produced for builtin stuff. */
kono
parents:
diff changeset
1617 if (DECL_SOURCE_LOCATION (node->decl) == BUILTINS_LOCATION)
kono
parents:
diff changeset
1618 continue;
kono
parents:
diff changeset
1619
kono
parents:
diff changeset
1620 push_cfun (DECL_STRUCT_FUNCTION (node->decl));
kono
parents:
diff changeset
1621
kono
parents:
diff changeset
1622 /* First do indirect call promotion and early inline to make the
kono
parents:
diff changeset
1623 IR match the profiled binary before actual annotation.
kono
parents:
diff changeset
1624
kono
parents:
diff changeset
1625 This is needed because an indirect call might have been promoted
kono
parents:
diff changeset
1626 and inlined in the profiled binary. If we do not promote and
kono
parents:
diff changeset
1627 inline these indirect calls before annotation, the profile for
kono
parents:
diff changeset
1628 these promoted functions will be lost.
kono
parents:
diff changeset
1629
kono
parents:
diff changeset
1630 e.g. foo() --indirect_call--> bar()
kono
parents:
diff changeset
1631 In profiled binary, the callsite is promoted and inlined, making
kono
parents:
diff changeset
1632 the profile look like:
kono
parents:
diff changeset
1633
kono
parents:
diff changeset
1634 foo: {
kono
parents:
diff changeset
1635 loc_foo_1: count_1
kono
parents:
diff changeset
1636 bar@loc_foo_2: {
kono
parents:
diff changeset
1637 loc_bar_1: count_2
kono
parents:
diff changeset
1638 loc_bar_2: count_3
kono
parents:
diff changeset
1639 }
kono
parents:
diff changeset
1640 }
kono
parents:
diff changeset
1641
kono
parents:
diff changeset
1642 Before AutoFDO pass, loc_foo_2 is not promoted thus not inlined.
kono
parents:
diff changeset
1643 If we perform annotation on it, the profile inside bar@loc_foo2
kono
parents:
diff changeset
1644 will be wasted.
kono
parents:
diff changeset
1645
kono
parents:
diff changeset
1646 To avoid this, we promote loc_foo_2 and inline the promoted bar
kono
parents:
diff changeset
1647 function before annotation, so the profile inside bar@loc_foo2
kono
parents:
diff changeset
1648 will be useful. */
kono
parents:
diff changeset
1649 autofdo::stmt_set promoted_stmts;
kono
parents:
diff changeset
1650 for (int i = 0; i < PARAM_VALUE (PARAM_EARLY_INLINER_MAX_ITERATIONS); i++)
kono
parents:
diff changeset
1651 {
kono
parents:
diff changeset
1652 if (!flag_value_profile_transformations
kono
parents:
diff changeset
1653 || !autofdo::afdo_vpt_for_early_inline (&promoted_stmts))
kono
parents:
diff changeset
1654 break;
kono
parents:
diff changeset
1655 early_inline ();
kono
parents:
diff changeset
1656 }
kono
parents:
diff changeset
1657
kono
parents:
diff changeset
1658 early_inline ();
kono
parents:
diff changeset
1659 autofdo::afdo_annotate_cfg (promoted_stmts);
kono
parents:
diff changeset
1660 compute_function_frequency ();
kono
parents:
diff changeset
1661
kono
parents:
diff changeset
1662 /* Local pure-const may imply need to fixup the cfg. */
kono
parents:
diff changeset
1663 if (execute_fixup_cfg () & TODO_cleanup_cfg)
kono
parents:
diff changeset
1664 cleanup_tree_cfg ();
kono
parents:
diff changeset
1665
kono
parents:
diff changeset
1666 free_dominance_info (CDI_DOMINATORS);
kono
parents:
diff changeset
1667 free_dominance_info (CDI_POST_DOMINATORS);
kono
parents:
diff changeset
1668 cgraph_edge::rebuild_edges ();
kono
parents:
diff changeset
1669 compute_fn_summary (cgraph_node::get (current_function_decl), true);
kono
parents:
diff changeset
1670 pop_cfun ();
kono
parents:
diff changeset
1671 }
kono
parents:
diff changeset
1672
kono
parents:
diff changeset
1673 return TODO_rebuild_cgraph_edges;
kono
parents:
diff changeset
1674 }
kono
parents:
diff changeset
1675 } /* namespace autofdo. */
kono
parents:
diff changeset
1676
kono
parents:
diff changeset
1677 /* Read the profile from the profile data file. */
kono
parents:
diff changeset
1678
kono
parents:
diff changeset
1679 void
kono
parents:
diff changeset
1680 read_autofdo_file (void)
kono
parents:
diff changeset
1681 {
kono
parents:
diff changeset
1682 if (auto_profile_file == NULL)
kono
parents:
diff changeset
1683 auto_profile_file = DEFAULT_AUTO_PROFILE_FILE;
kono
parents:
diff changeset
1684
kono
parents:
diff changeset
1685 autofdo::afdo_profile_info = (struct gcov_ctr_summary *)xcalloc (
kono
parents:
diff changeset
1686 1, sizeof (struct gcov_ctr_summary));
kono
parents:
diff changeset
1687 autofdo::afdo_profile_info->runs = 1;
kono
parents:
diff changeset
1688 autofdo::afdo_profile_info->sum_max = 0;
kono
parents:
diff changeset
1689 autofdo::afdo_profile_info->sum_all = 0;
kono
parents:
diff changeset
1690
kono
parents:
diff changeset
1691 /* Read the profile from the profile file. */
kono
parents:
diff changeset
1692 autofdo::read_profile ();
kono
parents:
diff changeset
1693 }
kono
parents:
diff changeset
1694
kono
parents:
diff changeset
1695 /* Free the resources. */
kono
parents:
diff changeset
1696
kono
parents:
diff changeset
1697 void
kono
parents:
diff changeset
1698 end_auto_profile (void)
kono
parents:
diff changeset
1699 {
kono
parents:
diff changeset
1700 delete autofdo::afdo_source_profile;
kono
parents:
diff changeset
1701 delete autofdo::afdo_string_table;
kono
parents:
diff changeset
1702 profile_info = NULL;
kono
parents:
diff changeset
1703 }
kono
parents:
diff changeset
1704
kono
parents:
diff changeset
1705 /* Returns TRUE if EDGE is hot enough to be inlined early. */
kono
parents:
diff changeset
1706
kono
parents:
diff changeset
1707 bool
kono
parents:
diff changeset
1708 afdo_callsite_hot_enough_for_early_inline (struct cgraph_edge *edge)
kono
parents:
diff changeset
1709 {
kono
parents:
diff changeset
1710 gcov_type count
kono
parents:
diff changeset
1711 = autofdo::afdo_source_profile->get_callsite_total_count (edge);
kono
parents:
diff changeset
1712
kono
parents:
diff changeset
1713 if (count > 0)
kono
parents:
diff changeset
1714 {
kono
parents:
diff changeset
1715 bool is_hot;
kono
parents:
diff changeset
1716 const struct gcov_ctr_summary *saved_profile_info = profile_info;
kono
parents:
diff changeset
1717 /* At early inline stage, profile_info is not set yet. We need to
kono
parents:
diff changeset
1718 temporarily set it to afdo_profile_info to calculate hotness. */
kono
parents:
diff changeset
1719 profile_info = autofdo::afdo_profile_info;
kono
parents:
diff changeset
1720 is_hot = maybe_hot_count_p (NULL, profile_count::from_gcov_type (count));
kono
parents:
diff changeset
1721 profile_info = saved_profile_info;
kono
parents:
diff changeset
1722 return is_hot;
kono
parents:
diff changeset
1723 }
kono
parents:
diff changeset
1724
kono
parents:
diff changeset
1725 return false;
kono
parents:
diff changeset
1726 }
kono
parents:
diff changeset
1727
kono
parents:
diff changeset
1728 namespace
kono
parents:
diff changeset
1729 {
kono
parents:
diff changeset
1730
kono
parents:
diff changeset
1731 const pass_data pass_data_ipa_auto_profile = {
kono
parents:
diff changeset
1732 SIMPLE_IPA_PASS, "afdo", /* name */
kono
parents:
diff changeset
1733 OPTGROUP_NONE, /* optinfo_flags */
kono
parents:
diff changeset
1734 TV_IPA_AUTOFDO, /* tv_id */
kono
parents:
diff changeset
1735 0, /* properties_required */
kono
parents:
diff changeset
1736 0, /* properties_provided */
kono
parents:
diff changeset
1737 0, /* properties_destroyed */
kono
parents:
diff changeset
1738 0, /* todo_flags_start */
kono
parents:
diff changeset
1739 0, /* todo_flags_finish */
kono
parents:
diff changeset
1740 };
kono
parents:
diff changeset
1741
kono
parents:
diff changeset
1742 class pass_ipa_auto_profile : public simple_ipa_opt_pass
kono
parents:
diff changeset
1743 {
kono
parents:
diff changeset
1744 public:
kono
parents:
diff changeset
1745 pass_ipa_auto_profile (gcc::context *ctxt)
kono
parents:
diff changeset
1746 : simple_ipa_opt_pass (pass_data_ipa_auto_profile, ctxt)
kono
parents:
diff changeset
1747 {
kono
parents:
diff changeset
1748 }
kono
parents:
diff changeset
1749
kono
parents:
diff changeset
1750 /* opt_pass methods: */
kono
parents:
diff changeset
1751 virtual bool
kono
parents:
diff changeset
1752 gate (function *)
kono
parents:
diff changeset
1753 {
kono
parents:
diff changeset
1754 return flag_auto_profile;
kono
parents:
diff changeset
1755 }
kono
parents:
diff changeset
1756 virtual unsigned int
kono
parents:
diff changeset
1757 execute (function *)
kono
parents:
diff changeset
1758 {
kono
parents:
diff changeset
1759 return autofdo::auto_profile ();
kono
parents:
diff changeset
1760 }
kono
parents:
diff changeset
1761 }; // class pass_ipa_auto_profile
kono
parents:
diff changeset
1762
kono
parents:
diff changeset
1763 } // anon namespace
kono
parents:
diff changeset
1764
kono
parents:
diff changeset
1765 simple_ipa_opt_pass *
kono
parents:
diff changeset
1766 make_pass_ipa_auto_profile (gcc::context *ctxt)
kono
parents:
diff changeset
1767 {
kono
parents:
diff changeset
1768 return new pass_ipa_auto_profile (ctxt);
kono
parents:
diff changeset
1769 }