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

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