annotate gcc/tree-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
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 /* Calculate branch probabilities, and basic block execution counts.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 Copyright (C) 1990-2020 Free Software Foundation, Inc.
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 Contributed by James E. Wilson, UC Berkeley/Cygnus Support;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 based on some ideas from Dain Samples of UC Berkeley.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 Further mangling by Bob Manson, Cygnus Support.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 Converted to use trees by Dale Johannesen, Apple Computer.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 This file is part of GCC.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 GCC is free software; you can redistribute it and/or modify it under
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 the terms of the GNU General Public License as published by the Free
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 Software Foundation; either version 3, or (at your option) any later
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 version.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 WARRANTY; without even the implied warranty of MERCHANTABILITY or
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 for more details.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 You should have received a copy of the GNU General Public License
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 along with GCC; see the file COPYING3. If not see
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 <http://www.gnu.org/licenses/>. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 /* Generate basic block profile instrumentation and auxiliary files.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 Tree-based version. See profile.c for overview. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 #include "config.h"
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 #include "system.h"
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 #include "coretypes.h"
111
kono
parents: 67
diff changeset
30 #include "memmodel.h"
kono
parents: 67
diff changeset
31 #include "backend.h"
kono
parents: 67
diff changeset
32 #include "target.h"
kono
parents: 67
diff changeset
33 #include "tree.h"
kono
parents: 67
diff changeset
34 #include "gimple.h"
kono
parents: 67
diff changeset
35 #include "cfghooks.h"
kono
parents: 67
diff changeset
36 #include "tree-pass.h"
kono
parents: 67
diff changeset
37 #include "ssa.h"
kono
parents: 67
diff changeset
38 #include "cgraph.h"
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 #include "coverage.h"
111
kono
parents: 67
diff changeset
40 #include "diagnostic-core.h"
kono
parents: 67
diff changeset
41 #include "fold-const.h"
kono
parents: 67
diff changeset
42 #include "varasm.h"
kono
parents: 67
diff changeset
43 #include "tree-nested.h"
kono
parents: 67
diff changeset
44 #include "gimplify.h"
kono
parents: 67
diff changeset
45 #include "gimple-iterator.h"
kono
parents: 67
diff changeset
46 #include "gimplify-me.h"
kono
parents: 67
diff changeset
47 #include "tree-cfg.h"
kono
parents: 67
diff changeset
48 #include "tree-into-ssa.h"
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 #include "value-prof.h"
111
kono
parents: 67
diff changeset
50 #include "profile.h"
kono
parents: 67
diff changeset
51 #include "tree-cfgcleanup.h"
kono
parents: 67
diff changeset
52 #include "stringpool.h"
kono
parents: 67
diff changeset
53 #include "attribs.h"
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
54 #include "tree-pretty-print.h"
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
55 #include "langhooks.h"
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
56 #include "stor-layout.h"
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
57 #include "xregex.h"
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 static GTY(()) tree gcov_type_node;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 static GTY(()) tree tree_interval_profiler_fn;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 static GTY(()) tree tree_pow2_profiler_fn;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
62 static GTY(()) tree tree_topn_values_profiler_fn;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 static GTY(()) tree tree_indirect_call_profiler_fn;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 static GTY(()) tree tree_average_profiler_fn;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 static GTY(()) tree tree_ior_profiler_fn;
111
kono
parents: 67
diff changeset
66 static GTY(()) tree tree_time_profiler_counter;
kono
parents: 67
diff changeset
67
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
69 static GTY(()) tree ic_tuple_var;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
70 static GTY(()) tree ic_tuple_counters_field;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
71 static GTY(()) tree ic_tuple_callee_field;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 /* Do initialization work for the edge profiler. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 /* Add code:
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
76 __thread gcov* __gcov_indirect_call.counters; // pointer to actual counter
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
77 __thread void* __gcov_indirect_call.callee; // actual callee address
111
kono
parents: 67
diff changeset
78 __thread int __gcov_function_counter; // time profiler function counter
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 static void
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
81 init_ic_make_global_vars (void)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 {
111
kono
parents: 67
diff changeset
83 tree gcov_type_ptr;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
85 gcov_type_ptr = build_pointer_type (get_gcov_type ());
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
86
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
87 tree tuple_type = lang_hooks.types.make_type (RECORD_TYPE);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
88
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
89 /* callee */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
90 ic_tuple_callee_field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
91 ptr_type_node);
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
92
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
93 /* counters */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
94 ic_tuple_counters_field = build_decl (BUILTINS_LOCATION, FIELD_DECL,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
95 NULL_TREE, gcov_type_ptr);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
96 DECL_CHAIN (ic_tuple_counters_field) = ic_tuple_callee_field;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
97
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
98 finish_builtin_struct (tuple_type, "indirect_call_tuple",
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
99 ic_tuple_counters_field, NULL_TREE);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
100
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
101 ic_tuple_var
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
102 = build_decl (UNKNOWN_LOCATION, VAR_DECL,
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
103 get_identifier ("__gcov_indirect_call"), tuple_type);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
104 TREE_PUBLIC (ic_tuple_var) = 1;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
105 DECL_ARTIFICIAL (ic_tuple_var) = 1;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
106 DECL_INITIAL (ic_tuple_var) = NULL;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
107 DECL_EXTERNAL (ic_tuple_var) = 1;
111
kono
parents: 67
diff changeset
108 if (targetm.have_tls)
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
109 set_decl_tls_model (ic_tuple_var, decl_default_tls_model (ic_tuple_var));
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111
111
kono
parents: 67
diff changeset
112 /* Create the type and function decls for the interface with gcov. */
kono
parents: 67
diff changeset
113
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
114 void
111
kono
parents: 67
diff changeset
115 gimple_init_gcov_profiler (void)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 {
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 tree interval_profiler_fn_type;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 tree pow2_profiler_fn_type;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
119 tree topn_values_profiler_fn_type;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 tree gcov_type_ptr;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 tree ic_profiler_fn_type;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 tree average_profiler_fn_type;
111
kono
parents: 67
diff changeset
123 const char *fn_name;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
124
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 if (!gcov_type_node)
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 {
111
kono
parents: 67
diff changeset
127 const char *fn_suffix
kono
parents: 67
diff changeset
128 = flag_profile_update == PROFILE_UPDATE_ATOMIC ? "_atomic" : "";
kono
parents: 67
diff changeset
129
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 gcov_type_node = get_gcov_type ();
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 gcov_type_ptr = build_pointer_type (gcov_type_node);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
132
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 /* void (*) (gcov_type *, gcov_type, int, unsigned) */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 interval_profiler_fn_type
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 = build_function_type_list (void_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 gcov_type_ptr, gcov_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 integer_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 unsigned_type_node, NULL_TREE);
111
kono
parents: 67
diff changeset
139 fn_name = concat ("__gcov_interval_profiler", fn_suffix, NULL);
kono
parents: 67
diff changeset
140 tree_interval_profiler_fn = build_fn_decl (fn_name,
kono
parents: 67
diff changeset
141 interval_profiler_fn_type);
kono
parents: 67
diff changeset
142 free (CONST_CAST (char *, fn_name));
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
143 TREE_NOTHROW (tree_interval_profiler_fn) = 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
144 DECL_ATTRIBUTES (tree_interval_profiler_fn)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
145 = tree_cons (get_identifier ("leaf"), NULL,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
146 DECL_ATTRIBUTES (tree_interval_profiler_fn));
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
147
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 /* void (*) (gcov_type *, gcov_type) */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
149 pow2_profiler_fn_type
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 = build_function_type_list (void_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 gcov_type_ptr, gcov_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 NULL_TREE);
111
kono
parents: 67
diff changeset
153 fn_name = concat ("__gcov_pow2_profiler", fn_suffix, NULL);
kono
parents: 67
diff changeset
154 tree_pow2_profiler_fn = build_fn_decl (fn_name, pow2_profiler_fn_type);
kono
parents: 67
diff changeset
155 free (CONST_CAST (char *, fn_name));
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
156 TREE_NOTHROW (tree_pow2_profiler_fn) = 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
157 DECL_ATTRIBUTES (tree_pow2_profiler_fn)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
158 = tree_cons (get_identifier ("leaf"), NULL,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
159 DECL_ATTRIBUTES (tree_pow2_profiler_fn));
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
160
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
161 /* void (*) (gcov_type *, gcov_type) */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
162 topn_values_profiler_fn_type
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
163 = build_function_type_list (void_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 gcov_type_ptr, gcov_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 NULL_TREE);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
166 fn_name = concat ("__gcov_topn_values_profiler", fn_suffix, NULL);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
167 tree_topn_values_profiler_fn
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
168 = build_fn_decl (fn_name, topn_values_profiler_fn_type);
111
kono
parents: 67
diff changeset
169 free (CONST_CAST (char *, fn_name));
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
170
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
171 TREE_NOTHROW (tree_topn_values_profiler_fn) = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
172 DECL_ATTRIBUTES (tree_topn_values_profiler_fn)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
173 = tree_cons (get_identifier ("leaf"), NULL,
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
174 DECL_ATTRIBUTES (tree_topn_values_profiler_fn));
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
175
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
176 init_ic_make_global_vars ();
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
177
111
kono
parents: 67
diff changeset
178 /* void (*) (gcov_type, void *) */
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
179 ic_profiler_fn_type
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 = build_function_type_list (void_type_node,
111
kono
parents: 67
diff changeset
181 gcov_type_node,
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
182 ptr_type_node,
111
kono
parents: 67
diff changeset
183 NULL_TREE);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
184 fn_name = concat ("__gcov_indirect_call_profiler_v4", fn_suffix, NULL);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 tree_indirect_call_profiler_fn
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
186 = build_fn_decl (fn_name, ic_profiler_fn_type);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
187 free (CONST_CAST (char *, fn_name));
111
kono
parents: 67
diff changeset
188
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
189 TREE_NOTHROW (tree_indirect_call_profiler_fn) = 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
190 DECL_ATTRIBUTES (tree_indirect_call_profiler_fn)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
191 = tree_cons (get_identifier ("leaf"), NULL,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
192 DECL_ATTRIBUTES (tree_indirect_call_profiler_fn));
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
193
111
kono
parents: 67
diff changeset
194 tree_time_profiler_counter
kono
parents: 67
diff changeset
195 = build_decl (UNKNOWN_LOCATION, VAR_DECL,
kono
parents: 67
diff changeset
196 get_identifier ("__gcov_time_profiler_counter"),
kono
parents: 67
diff changeset
197 get_gcov_type ());
kono
parents: 67
diff changeset
198 TREE_PUBLIC (tree_time_profiler_counter) = 1;
kono
parents: 67
diff changeset
199 DECL_EXTERNAL (tree_time_profiler_counter) = 1;
kono
parents: 67
diff changeset
200 TREE_STATIC (tree_time_profiler_counter) = 1;
kono
parents: 67
diff changeset
201 DECL_ARTIFICIAL (tree_time_profiler_counter) = 1;
kono
parents: 67
diff changeset
202 DECL_INITIAL (tree_time_profiler_counter) = NULL;
kono
parents: 67
diff changeset
203
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 /* void (*) (gcov_type *, gcov_type) */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 average_profiler_fn_type
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 = build_function_type_list (void_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 gcov_type_ptr, gcov_type_node, NULL_TREE);
111
kono
parents: 67
diff changeset
208 fn_name = concat ("__gcov_average_profiler", fn_suffix, NULL);
kono
parents: 67
diff changeset
209 tree_average_profiler_fn = build_fn_decl (fn_name,
kono
parents: 67
diff changeset
210 average_profiler_fn_type);
kono
parents: 67
diff changeset
211 free (CONST_CAST (char *, fn_name));
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
212 TREE_NOTHROW (tree_average_profiler_fn) = 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
213 DECL_ATTRIBUTES (tree_average_profiler_fn)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
214 = tree_cons (get_identifier ("leaf"), NULL,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
215 DECL_ATTRIBUTES (tree_average_profiler_fn));
111
kono
parents: 67
diff changeset
216 fn_name = concat ("__gcov_ior_profiler", fn_suffix, NULL);
kono
parents: 67
diff changeset
217 tree_ior_profiler_fn = build_fn_decl (fn_name, average_profiler_fn_type);
kono
parents: 67
diff changeset
218 free (CONST_CAST (char *, fn_name));
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
219 TREE_NOTHROW (tree_ior_profiler_fn) = 1;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
220 DECL_ATTRIBUTES (tree_ior_profiler_fn)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
221 = tree_cons (get_identifier ("leaf"), NULL,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
222 DECL_ATTRIBUTES (tree_ior_profiler_fn));
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
223
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
224 /* LTO streamer needs assembler names. Because we create these decls
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
225 late, we need to initialize them by hand. */
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
226 DECL_ASSEMBLER_NAME (tree_interval_profiler_fn);
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
227 DECL_ASSEMBLER_NAME (tree_pow2_profiler_fn);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
228 DECL_ASSEMBLER_NAME (tree_topn_values_profiler_fn);
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
229 DECL_ASSEMBLER_NAME (tree_indirect_call_profiler_fn);
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
230 DECL_ASSEMBLER_NAME (tree_average_profiler_fn);
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
231 DECL_ASSEMBLER_NAME (tree_ior_profiler_fn);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
232 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
233 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
234
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
235 /* Output instructions as GIMPLE trees to increment the edge
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
236 execution count, and insert them on E. We rely on
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
237 gsi_insert_on_edge to preserve the order. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
238
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
239 void
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
240 gimple_gen_edge_profiler (int edgeno, edge e)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
241 {
111
kono
parents: 67
diff changeset
242 tree one;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
243
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
244 one = build_int_cst (gcov_type_node, 1);
111
kono
parents: 67
diff changeset
245
kono
parents: 67
diff changeset
246 if (flag_profile_update == PROFILE_UPDATE_ATOMIC)
kono
parents: 67
diff changeset
247 {
kono
parents: 67
diff changeset
248 /* __atomic_fetch_add (&counter, 1, MEMMODEL_RELAXED); */
kono
parents: 67
diff changeset
249 tree addr = tree_coverage_counter_addr (GCOV_COUNTER_ARCS, edgeno);
kono
parents: 67
diff changeset
250 tree f = builtin_decl_explicit (LONG_LONG_TYPE_SIZE > 32
kono
parents: 67
diff changeset
251 ? BUILT_IN_ATOMIC_FETCH_ADD_8:
kono
parents: 67
diff changeset
252 BUILT_IN_ATOMIC_FETCH_ADD_4);
kono
parents: 67
diff changeset
253 gcall *stmt = gimple_build_call (f, 3, addr, one,
kono
parents: 67
diff changeset
254 build_int_cst (integer_type_node,
kono
parents: 67
diff changeset
255 MEMMODEL_RELAXED));
kono
parents: 67
diff changeset
256 gsi_insert_on_edge (e, stmt);
kono
parents: 67
diff changeset
257 }
kono
parents: 67
diff changeset
258 else
kono
parents: 67
diff changeset
259 {
kono
parents: 67
diff changeset
260 tree ref = tree_coverage_counter_ref (GCOV_COUNTER_ARCS, edgeno);
kono
parents: 67
diff changeset
261 tree gcov_type_tmp_var = make_temp_ssa_name (gcov_type_node,
kono
parents: 67
diff changeset
262 NULL, "PROF_edge_counter");
kono
parents: 67
diff changeset
263 gassign *stmt1 = gimple_build_assign (gcov_type_tmp_var, ref);
kono
parents: 67
diff changeset
264 gcov_type_tmp_var = make_temp_ssa_name (gcov_type_node,
kono
parents: 67
diff changeset
265 NULL, "PROF_edge_counter");
kono
parents: 67
diff changeset
266 gassign *stmt2 = gimple_build_assign (gcov_type_tmp_var, PLUS_EXPR,
kono
parents: 67
diff changeset
267 gimple_assign_lhs (stmt1), one);
kono
parents: 67
diff changeset
268 gassign *stmt3 = gimple_build_assign (unshare_expr (ref),
kono
parents: 67
diff changeset
269 gimple_assign_lhs (stmt2));
kono
parents: 67
diff changeset
270 gsi_insert_on_edge (e, stmt1);
kono
parents: 67
diff changeset
271 gsi_insert_on_edge (e, stmt2);
kono
parents: 67
diff changeset
272 gsi_insert_on_edge (e, stmt3);
kono
parents: 67
diff changeset
273 }
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
274 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
275
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
276 /* Emits code to get VALUE to instrument at GSI, and returns the
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
277 variable containing the value. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
278
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
279 static tree
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
280 prepare_instrumented_value (gimple_stmt_iterator *gsi, histogram_value value)
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
281 {
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
282 tree val = value->hvalue.value;
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
283 if (POINTER_TYPE_P (TREE_TYPE (val)))
111
kono
parents: 67
diff changeset
284 val = fold_convert (build_nonstandard_integer_type
kono
parents: 67
diff changeset
285 (TYPE_PRECISION (TREE_TYPE (val)), 1), val);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
286 return force_gimple_operand_gsi (gsi, fold_convert (gcov_type_node, val),
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
287 true, NULL_TREE, true, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
288 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
289
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
290 /* Output instructions as GIMPLE trees to increment the interval histogram
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
291 counter. VALUE is the expression whose value is profiled. TAG is the
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
292 tag of the section for counters, BASE is offset of the counter position. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
293
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
294 void
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
295 gimple_gen_interval_profiler (histogram_value value, unsigned tag)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
296 {
111
kono
parents: 67
diff changeset
297 gimple *stmt = value->hvalue.stmt;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
298 gimple_stmt_iterator gsi = gsi_for_stmt (stmt);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
299 tree ref = tree_coverage_counter_ref (tag, 0), ref_ptr;
111
kono
parents: 67
diff changeset
300 gcall *call;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
301 tree val;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
302 tree start = build_int_cst_type (integer_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
303 value->hdata.intvl.int_start);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
304 tree steps = build_int_cst_type (unsigned_type_node,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
305 value->hdata.intvl.steps);
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
306
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
307 ref_ptr = force_gimple_operand_gsi (&gsi,
111
kono
parents: 67
diff changeset
308 build_addr (ref),
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
309 true, NULL_TREE, true, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
310 val = prepare_instrumented_value (&gsi, value);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
311 call = gimple_build_call (tree_interval_profiler_fn, 4,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
312 ref_ptr, val, start, steps);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
313 gsi_insert_before (&gsi, call, GSI_NEW_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
314 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
315
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
316 /* Output instructions as GIMPLE trees to increment the power of two histogram
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
317 counter. VALUE is the expression whose value is profiled. TAG is the tag
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
318 of the section for counters. */
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
319
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
320 void
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
321 gimple_gen_pow2_profiler (histogram_value value, unsigned tag)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
322 {
111
kono
parents: 67
diff changeset
323 gimple *stmt = value->hvalue.stmt;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
324 gimple_stmt_iterator gsi = gsi_for_stmt (stmt);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
325 tree ref_ptr = tree_coverage_counter_addr (tag, 0);
111
kono
parents: 67
diff changeset
326 gcall *call;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
327 tree val;
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
328
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
329 ref_ptr = force_gimple_operand_gsi (&gsi, ref_ptr,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
330 true, NULL_TREE, true, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
331 val = prepare_instrumented_value (&gsi, value);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
332 call = gimple_build_call (tree_pow2_profiler_fn, 2, ref_ptr, val);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
333 gsi_insert_before (&gsi, call, GSI_NEW_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
334 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
335
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
336 /* Output instructions as GIMPLE trees for code to find the most N common
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
337 values. VALUE is the expression whose value is profiled. TAG is the tag
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
338 of the section for counters. */
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
339
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
340 void
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
341 gimple_gen_topn_values_profiler (histogram_value value, unsigned tag)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
342 {
111
kono
parents: 67
diff changeset
343 gimple *stmt = value->hvalue.stmt;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
344 gimple_stmt_iterator gsi = gsi_for_stmt (stmt);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
345 tree ref_ptr = tree_coverage_counter_addr (tag, 0);
111
kono
parents: 67
diff changeset
346 gcall *call;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
347 tree val;
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
348
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
349 ref_ptr = force_gimple_operand_gsi (&gsi, ref_ptr,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
350 true, NULL_TREE, true, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
351 val = prepare_instrumented_value (&gsi, value);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
352 call = gimple_build_call (tree_topn_values_profiler_fn, 2, ref_ptr, val);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
353 gsi_insert_before (&gsi, call, GSI_NEW_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
354 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
355
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
356
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
357 /* Output instructions as GIMPLE trees for code to find the most
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
358 common called function in indirect call.
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
359 VALUE is the call expression whose indirect callee is profiled.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
360 TAG is the tag of the section for counters. */
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
361
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
362 void
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
363 gimple_gen_ic_profiler (histogram_value value, unsigned tag)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
364 {
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
365 tree tmp1;
111
kono
parents: 67
diff changeset
366 gassign *stmt1, *stmt2, *stmt3;
kono
parents: 67
diff changeset
367 gimple *stmt = value->hvalue.stmt;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
368 gimple_stmt_iterator gsi = gsi_for_stmt (stmt);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
369 tree ref_ptr = tree_coverage_counter_addr (tag, 0);
111
kono
parents: 67
diff changeset
370
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
371 ref_ptr = force_gimple_operand_gsi (&gsi, ref_ptr,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
372 true, NULL_TREE, true, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
373
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
374 /* Insert code:
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
375
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
376 stmt1: __gcov_indirect_call.counters = get_relevant_counter_ptr ();
111
kono
parents: 67
diff changeset
377 stmt2: tmp1 = (void *) (indirect call argument value)
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
378 stmt3: __gcov_indirect_call.callee = tmp1;
111
kono
parents: 67
diff changeset
379
kono
parents: 67
diff changeset
380 Example:
kono
parents: 67
diff changeset
381 f_1 = foo;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
382 __gcov_indirect_call.counters = &__gcov4.main[0];
111
kono
parents: 67
diff changeset
383 PROF_9 = f_1;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
384 __gcov_indirect_call.callee = PROF_9;
111
kono
parents: 67
diff changeset
385 _4 = f_1 ();
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
386 */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
387
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
388 tree gcov_type_ptr = build_pointer_type (get_gcov_type ());
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
389
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
390 tree counter_ref = build3 (COMPONENT_REF, gcov_type_ptr,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
391 ic_tuple_var, ic_tuple_counters_field, NULL_TREE);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
392
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
393 stmt1 = gimple_build_assign (counter_ref, ref_ptr);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
394 tmp1 = make_temp_ssa_name (ptr_type_node, NULL, "PROF");
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
395 stmt2 = gimple_build_assign (tmp1, unshare_expr (value->hvalue.value));
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
396 tree callee_ref = build3 (COMPONENT_REF, ptr_type_node,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
397 ic_tuple_var, ic_tuple_callee_field, NULL_TREE);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
398 stmt3 = gimple_build_assign (callee_ref, tmp1);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
399
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
400 gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
401 gsi_insert_before (&gsi, stmt2, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
402 gsi_insert_before (&gsi, stmt3, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
403 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
404
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
405
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
406 /* Output instructions as GIMPLE trees for code to find the most
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
407 common called function in indirect call. Insert instructions at the
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
408 beginning of every possible called function.
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
409 */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
410
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
411 void
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
412 gimple_gen_ic_func_profiler (void)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
413 {
111
kono
parents: 67
diff changeset
414 struct cgraph_node * c_node = cgraph_node::get (current_function_decl);
kono
parents: 67
diff changeset
415 gcall *stmt1;
kono
parents: 67
diff changeset
416 tree tree_uid, cur_func, void0;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
417
111
kono
parents: 67
diff changeset
418 if (c_node->only_called_directly_p ())
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
419 return;
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
420
111
kono
parents: 67
diff changeset
421 gimple_init_gcov_profiler ();
kono
parents: 67
diff changeset
422
kono
parents: 67
diff changeset
423 basic_block entry = ENTRY_BLOCK_PTR_FOR_FN (cfun);
kono
parents: 67
diff changeset
424 basic_block cond_bb = split_edge (single_succ_edge (entry));
kono
parents: 67
diff changeset
425 basic_block update_bb = split_edge (single_succ_edge (cond_bb));
kono
parents: 67
diff changeset
426
kono
parents: 67
diff changeset
427 /* We need to do an extra split in order to not create an input
kono
parents: 67
diff changeset
428 for a possible PHI node. */
kono
parents: 67
diff changeset
429 split_edge (single_succ_edge (update_bb));
kono
parents: 67
diff changeset
430
kono
parents: 67
diff changeset
431 edge true_edge = single_succ_edge (cond_bb);
kono
parents: 67
diff changeset
432 true_edge->flags = EDGE_TRUE_VALUE;
kono
parents: 67
diff changeset
433
kono
parents: 67
diff changeset
434 profile_probability probability;
kono
parents: 67
diff changeset
435 if (DECL_VIRTUAL_P (current_function_decl))
kono
parents: 67
diff changeset
436 probability = profile_probability::very_likely ();
kono
parents: 67
diff changeset
437 else
kono
parents: 67
diff changeset
438 probability = profile_probability::unlikely ();
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
439
111
kono
parents: 67
diff changeset
440 true_edge->probability = probability;
kono
parents: 67
diff changeset
441 edge e = make_edge (cond_bb, single_succ_edge (update_bb)->dest,
kono
parents: 67
diff changeset
442 EDGE_FALSE_VALUE);
kono
parents: 67
diff changeset
443 e->probability = true_edge->probability.invert ();
kono
parents: 67
diff changeset
444
kono
parents: 67
diff changeset
445 /* Insert code:
kono
parents: 67
diff changeset
446
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
447 if (__gcov_indirect_call.callee != NULL)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
448 __gcov_indirect_call_profiler_v3 (profile_id, &current_function_decl);
111
kono
parents: 67
diff changeset
449
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
450 The function __gcov_indirect_call_profiler_v3 is responsible for
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
451 resetting __gcov_indirect_call.callee to NULL. */
111
kono
parents: 67
diff changeset
452
kono
parents: 67
diff changeset
453 gimple_stmt_iterator gsi = gsi_start_bb (cond_bb);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
454 void0 = build_int_cst (ptr_type_node, 0);
111
kono
parents: 67
diff changeset
455
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
456 tree callee_ref = build3 (COMPONENT_REF, ptr_type_node,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
457 ic_tuple_var, ic_tuple_callee_field, NULL_TREE);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
458
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
459 tree ref = force_gimple_operand_gsi (&gsi, callee_ref, true, NULL_TREE,
111
kono
parents: 67
diff changeset
460 true, GSI_SAME_STMT);
kono
parents: 67
diff changeset
461
kono
parents: 67
diff changeset
462 gcond *cond = gimple_build_cond (NE_EXPR, ref,
kono
parents: 67
diff changeset
463 void0, NULL, NULL);
kono
parents: 67
diff changeset
464 gsi_insert_before (&gsi, cond, GSI_NEW_STMT);
kono
parents: 67
diff changeset
465
kono
parents: 67
diff changeset
466 gsi = gsi_after_labels (update_bb);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
467
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
468 cur_func = force_gimple_operand_gsi (&gsi,
111
kono
parents: 67
diff changeset
469 build_addr (current_function_decl),
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
470 true, NULL_TREE,
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
471 true, GSI_SAME_STMT);
111
kono
parents: 67
diff changeset
472 tree_uid = build_int_cst
kono
parents: 67
diff changeset
473 (gcov_type_node,
kono
parents: 67
diff changeset
474 cgraph_node::get (current_function_decl)->profile_id);
kono
parents: 67
diff changeset
475 stmt1 = gimple_build_call (tree_indirect_call_profiler_fn, 2,
kono
parents: 67
diff changeset
476 tree_uid, cur_func);
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
477 gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
478 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
479
111
kono
parents: 67
diff changeset
480 /* Output instructions as GIMPLE tree at the beginning for each function.
kono
parents: 67
diff changeset
481 TAG is the tag of the section for counters, BASE is offset of the
kono
parents: 67
diff changeset
482 counter position and GSI is the iterator we place the counter. */
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
483
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
484 void
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
485 gimple_gen_time_profiler (unsigned tag)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
486 {
111
kono
parents: 67
diff changeset
487 tree type = get_gcov_type ();
kono
parents: 67
diff changeset
488 basic_block entry = ENTRY_BLOCK_PTR_FOR_FN (cfun);
kono
parents: 67
diff changeset
489 basic_block cond_bb = split_edge (single_succ_edge (entry));
kono
parents: 67
diff changeset
490 basic_block update_bb = split_edge (single_succ_edge (cond_bb));
kono
parents: 67
diff changeset
491
kono
parents: 67
diff changeset
492 /* We need to do an extra split in order to not create an input
kono
parents: 67
diff changeset
493 for a possible PHI node. */
kono
parents: 67
diff changeset
494 split_edge (single_succ_edge (update_bb));
kono
parents: 67
diff changeset
495
kono
parents: 67
diff changeset
496 edge true_edge = single_succ_edge (cond_bb);
kono
parents: 67
diff changeset
497 true_edge->flags = EDGE_TRUE_VALUE;
kono
parents: 67
diff changeset
498 true_edge->probability = profile_probability::unlikely ();
kono
parents: 67
diff changeset
499 edge e
kono
parents: 67
diff changeset
500 = make_edge (cond_bb, single_succ_edge (update_bb)->dest, EDGE_FALSE_VALUE);
kono
parents: 67
diff changeset
501 e->probability = true_edge->probability.invert ();
kono
parents: 67
diff changeset
502
kono
parents: 67
diff changeset
503 gimple_stmt_iterator gsi = gsi_start_bb (cond_bb);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
504 tree original_ref = tree_coverage_counter_ref (tag, 0);
111
kono
parents: 67
diff changeset
505 tree ref = force_gimple_operand_gsi (&gsi, original_ref, true, NULL_TREE,
kono
parents: 67
diff changeset
506 true, GSI_SAME_STMT);
kono
parents: 67
diff changeset
507 tree one = build_int_cst (type, 1);
kono
parents: 67
diff changeset
508
kono
parents: 67
diff changeset
509 /* Emit: if (counters[0] != 0). */
kono
parents: 67
diff changeset
510 gcond *cond = gimple_build_cond (EQ_EXPR, ref, build_int_cst (type, 0),
kono
parents: 67
diff changeset
511 NULL, NULL);
kono
parents: 67
diff changeset
512 gsi_insert_before (&gsi, cond, GSI_NEW_STMT);
kono
parents: 67
diff changeset
513
kono
parents: 67
diff changeset
514 gsi = gsi_start_bb (update_bb);
kono
parents: 67
diff changeset
515
kono
parents: 67
diff changeset
516 /* Emit: counters[0] = ++__gcov_time_profiler_counter. */
kono
parents: 67
diff changeset
517 if (flag_profile_update == PROFILE_UPDATE_ATOMIC)
kono
parents: 67
diff changeset
518 {
kono
parents: 67
diff changeset
519 tree ptr = make_temp_ssa_name (build_pointer_type (type), NULL,
kono
parents: 67
diff changeset
520 "time_profiler_counter_ptr");
kono
parents: 67
diff changeset
521 tree addr = build1 (ADDR_EXPR, TREE_TYPE (ptr),
kono
parents: 67
diff changeset
522 tree_time_profiler_counter);
kono
parents: 67
diff changeset
523 gassign *assign = gimple_build_assign (ptr, NOP_EXPR, addr);
kono
parents: 67
diff changeset
524 gsi_insert_before (&gsi, assign, GSI_NEW_STMT);
kono
parents: 67
diff changeset
525 tree f = builtin_decl_explicit (LONG_LONG_TYPE_SIZE > 32
kono
parents: 67
diff changeset
526 ? BUILT_IN_ATOMIC_ADD_FETCH_8:
kono
parents: 67
diff changeset
527 BUILT_IN_ATOMIC_ADD_FETCH_4);
kono
parents: 67
diff changeset
528 gcall *stmt = gimple_build_call (f, 3, ptr, one,
kono
parents: 67
diff changeset
529 build_int_cst (integer_type_node,
kono
parents: 67
diff changeset
530 MEMMODEL_RELAXED));
kono
parents: 67
diff changeset
531 tree result_type = TREE_TYPE (TREE_TYPE (f));
kono
parents: 67
diff changeset
532 tree tmp = make_temp_ssa_name (result_type, NULL, "time_profile");
kono
parents: 67
diff changeset
533 gimple_set_lhs (stmt, tmp);
kono
parents: 67
diff changeset
534 gsi_insert_after (&gsi, stmt, GSI_NEW_STMT);
kono
parents: 67
diff changeset
535 tmp = make_temp_ssa_name (type, NULL, "time_profile");
kono
parents: 67
diff changeset
536 assign = gimple_build_assign (tmp, NOP_EXPR,
kono
parents: 67
diff changeset
537 gimple_call_lhs (stmt));
kono
parents: 67
diff changeset
538 gsi_insert_after (&gsi, assign, GSI_NEW_STMT);
kono
parents: 67
diff changeset
539 assign = gimple_build_assign (original_ref, tmp);
kono
parents: 67
diff changeset
540 gsi_insert_after (&gsi, assign, GSI_NEW_STMT);
kono
parents: 67
diff changeset
541 }
kono
parents: 67
diff changeset
542 else
kono
parents: 67
diff changeset
543 {
kono
parents: 67
diff changeset
544 tree tmp = make_temp_ssa_name (type, NULL, "time_profile");
kono
parents: 67
diff changeset
545 gassign *assign = gimple_build_assign (tmp, tree_time_profiler_counter);
kono
parents: 67
diff changeset
546 gsi_insert_before (&gsi, assign, GSI_NEW_STMT);
kono
parents: 67
diff changeset
547
kono
parents: 67
diff changeset
548 tmp = make_temp_ssa_name (type, NULL, "time_profile");
kono
parents: 67
diff changeset
549 assign = gimple_build_assign (tmp, PLUS_EXPR, gimple_assign_lhs (assign),
kono
parents: 67
diff changeset
550 one);
kono
parents: 67
diff changeset
551 gsi_insert_after (&gsi, assign, GSI_NEW_STMT);
kono
parents: 67
diff changeset
552 assign = gimple_build_assign (original_ref, tmp);
kono
parents: 67
diff changeset
553 gsi_insert_after (&gsi, assign, GSI_NEW_STMT);
kono
parents: 67
diff changeset
554 assign = gimple_build_assign (tree_time_profiler_counter, tmp);
kono
parents: 67
diff changeset
555 gsi_insert_after (&gsi, assign, GSI_NEW_STMT);
kono
parents: 67
diff changeset
556 }
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
557 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
558
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
559 /* Output instructions as GIMPLE trees to increment the average histogram
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
560 counter. VALUE is the expression whose value is profiled. TAG is the
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
561 tag of the section for counters, BASE is offset of the counter position. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
562
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
563 void
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
564 gimple_gen_average_profiler (histogram_value value, unsigned tag)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
565 {
111
kono
parents: 67
diff changeset
566 gimple *stmt = value->hvalue.stmt;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
567 gimple_stmt_iterator gsi = gsi_for_stmt (stmt);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
568 tree ref_ptr = tree_coverage_counter_addr (tag, 0);
111
kono
parents: 67
diff changeset
569 gcall *call;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
570 tree val;
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
571
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
572 ref_ptr = force_gimple_operand_gsi (&gsi, ref_ptr,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
573 true, NULL_TREE,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
574 true, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
575 val = prepare_instrumented_value (&gsi, value);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
576 call = gimple_build_call (tree_average_profiler_fn, 2, ref_ptr, val);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
577 gsi_insert_before (&gsi, call, GSI_NEW_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
578 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
579
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
580 /* Output instructions as GIMPLE trees to increment the ior histogram
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
581 counter. VALUE is the expression whose value is profiled. TAG is the
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
582 tag of the section for counters, BASE is offset of the counter position. */
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
583
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
584 void
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
585 gimple_gen_ior_profiler (histogram_value value, unsigned tag)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
586 {
111
kono
parents: 67
diff changeset
587 gimple *stmt = value->hvalue.stmt;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
588 gimple_stmt_iterator gsi = gsi_for_stmt (stmt);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
589 tree ref_ptr = tree_coverage_counter_addr (tag, 0);
111
kono
parents: 67
diff changeset
590 gcall *call;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
591 tree val;
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
592
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
593 ref_ptr = force_gimple_operand_gsi (&gsi, ref_ptr,
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
594 true, NULL_TREE, true, GSI_SAME_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
595 val = prepare_instrumented_value (&gsi, value);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
596 call = gimple_build_call (tree_ior_profiler_fn, 2, ref_ptr, val);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
597 gsi_insert_before (&gsi, call, GSI_NEW_STMT);
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
598 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
599
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
600 static vec<regex_t> profile_filter_files;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
601 static vec<regex_t> profile_exclude_files;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
602
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
603 /* Parse list of provided REGEX (separated with semi-collon) and
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
604 create expressions (of type regex_t) and save them into V vector.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
605 If there is a regular expression parsing error, error message is
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
606 printed for FLAG_NAME. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
607
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
608 static void
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
609 parse_profile_filter (const char *regex, vec<regex_t> *v,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
610 const char *flag_name)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
611 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
612 v->create (4);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
613 if (regex != NULL)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
614 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
615 char *str = xstrdup (regex);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
616 for (char *p = strtok (str, ";"); p != NULL; p = strtok (NULL, ";"))
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
617 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
618 regex_t r;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
619 if (regcomp (&r, p, REG_EXTENDED | REG_NOSUB) != 0)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
620 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
621 error ("invalid regular expression %qs in %qs",
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
622 p, flag_name);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
623 return;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
624 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
625
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
626 v->safe_push (r);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
627 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
628 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
629 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
630
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
631 /* Parse values of -fprofile-filter-files and -fprofile-exclude-files
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
632 options. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
633
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
634 static void
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
635 parse_profile_file_filtering ()
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
636 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
637 parse_profile_filter (flag_profile_filter_files, &profile_filter_files,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
638 "-fprofile-filter-files");
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
639 parse_profile_filter (flag_profile_exclude_files, &profile_exclude_files,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
640 "-fprofile-exclude-files");
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
641 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
642
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
643 /* Parse vectors of regular expressions. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
644
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
645 static void
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
646 release_profile_file_filtering ()
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
647 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
648 profile_filter_files.release ();
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
649 profile_exclude_files.release ();
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
650 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
651
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
652 /* Return true when FILENAME should be instrumented based on
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
653 -fprofile-filter-files and -fprofile-exclude-files options. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
654
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
655 static bool
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
656 include_source_file_for_profile (const char *filename)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
657 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
658 /* First check whether file is included in flag_profile_exclude_files. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
659 for (unsigned i = 0; i < profile_exclude_files.length (); i++)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
660 if (regexec (&profile_exclude_files[i],
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
661 filename, 0, NULL, 0) == REG_NOERROR)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
662 return false;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
663
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
664 /* For non-empty flag_profile_filter_files include only files matching a
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
665 regex in the flag. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
666 if (profile_filter_files.is_empty ())
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
667 return true;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
668
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
669 for (unsigned i = 0; i < profile_filter_files.length (); i++)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
670 if (regexec (&profile_filter_files[i], filename, 0, NULL, 0) == REG_NOERROR)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
671 return true;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
672
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
673 return false;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
674 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
675
111
kono
parents: 67
diff changeset
676 #ifndef HAVE_sync_compare_and_swapsi
kono
parents: 67
diff changeset
677 #define HAVE_sync_compare_and_swapsi 0
kono
parents: 67
diff changeset
678 #endif
kono
parents: 67
diff changeset
679 #ifndef HAVE_atomic_compare_and_swapsi
kono
parents: 67
diff changeset
680 #define HAVE_atomic_compare_and_swapsi 0
kono
parents: 67
diff changeset
681 #endif
kono
parents: 67
diff changeset
682
kono
parents: 67
diff changeset
683 #ifndef HAVE_sync_compare_and_swapdi
kono
parents: 67
diff changeset
684 #define HAVE_sync_compare_and_swapdi 0
kono
parents: 67
diff changeset
685 #endif
kono
parents: 67
diff changeset
686 #ifndef HAVE_atomic_compare_and_swapdi
kono
parents: 67
diff changeset
687 #define HAVE_atomic_compare_and_swapdi 0
kono
parents: 67
diff changeset
688 #endif
kono
parents: 67
diff changeset
689
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
690 /* Profile all functions in the callgraph. */
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
691
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
692 static unsigned int
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
693 tree_profiling (void)
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
694 {
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
695 struct cgraph_node *node;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
696
111
kono
parents: 67
diff changeset
697 /* Verify whether we can utilize atomic update operations. */
kono
parents: 67
diff changeset
698 bool can_support_atomic = false;
kono
parents: 67
diff changeset
699 unsigned HOST_WIDE_INT gcov_type_size
kono
parents: 67
diff changeset
700 = tree_to_uhwi (TYPE_SIZE_UNIT (get_gcov_type ()));
kono
parents: 67
diff changeset
701 if (gcov_type_size == 4)
kono
parents: 67
diff changeset
702 can_support_atomic
kono
parents: 67
diff changeset
703 = HAVE_sync_compare_and_swapsi || HAVE_atomic_compare_and_swapsi;
kono
parents: 67
diff changeset
704 else if (gcov_type_size == 8)
kono
parents: 67
diff changeset
705 can_support_atomic
kono
parents: 67
diff changeset
706 = HAVE_sync_compare_and_swapdi || HAVE_atomic_compare_and_swapdi;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
707
111
kono
parents: 67
diff changeset
708 if (flag_profile_update == PROFILE_UPDATE_ATOMIC
kono
parents: 67
diff changeset
709 && !can_support_atomic)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
710 {
111
kono
parents: 67
diff changeset
711 warning (0, "target does not support atomic profile update, "
kono
parents: 67
diff changeset
712 "single mode is selected");
kono
parents: 67
diff changeset
713 flag_profile_update = PROFILE_UPDATE_SINGLE;
kono
parents: 67
diff changeset
714 }
kono
parents: 67
diff changeset
715 else if (flag_profile_update == PROFILE_UPDATE_PREFER_ATOMIC)
kono
parents: 67
diff changeset
716 flag_profile_update = can_support_atomic
kono
parents: 67
diff changeset
717 ? PROFILE_UPDATE_ATOMIC : PROFILE_UPDATE_SINGLE;
kono
parents: 67
diff changeset
718
kono
parents: 67
diff changeset
719 /* This is a small-ipa pass that gets called only once, from
kono
parents: 67
diff changeset
720 cgraphunit.c:ipa_passes(). */
kono
parents: 67
diff changeset
721 gcc_assert (symtab->state == IPA_SSA);
kono
parents: 67
diff changeset
722
kono
parents: 67
diff changeset
723 init_node_map (true);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
724 parse_profile_file_filtering ();
111
kono
parents: 67
diff changeset
725
kono
parents: 67
diff changeset
726 FOR_EACH_DEFINED_FUNCTION (node)
kono
parents: 67
diff changeset
727 {
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
728 bool thunk = false;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
729 if (!gimple_has_body_p (node->decl) && !node->thunk.thunk_p)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
730 continue;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
731
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
732 /* Don't profile functions produced for builtin stuff. */
111
kono
parents: 67
diff changeset
733 if (DECL_SOURCE_LOCATION (node->decl) == BUILTINS_LOCATION)
kono
parents: 67
diff changeset
734 continue;
kono
parents: 67
diff changeset
735
kono
parents: 67
diff changeset
736 if (lookup_attribute ("no_profile_instrument_function",
kono
parents: 67
diff changeset
737 DECL_ATTRIBUTES (node->decl)))
kono
parents: 67
diff changeset
738 continue;
kono
parents: 67
diff changeset
739 /* Do not instrument extern inline functions when testing coverage.
kono
parents: 67
diff changeset
740 While this is not perfectly consistent (early inlined extern inlines
kono
parents: 67
diff changeset
741 will get acocunted), testsuite expects that. */
kono
parents: 67
diff changeset
742 if (DECL_EXTERNAL (node->decl)
kono
parents: 67
diff changeset
743 && flag_test_coverage)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
744 continue;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
745
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
746 const char *file = LOCATION_FILE (DECL_SOURCE_LOCATION (node->decl));
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
747 if (!include_source_file_for_profile (file))
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
748 continue;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
749
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
750 if (node->thunk.thunk_p)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
751 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
752 /* We cannot expand variadic thunks to Gimple. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
753 if (stdarg_p (TREE_TYPE (node->decl)))
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
754 continue;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
755 thunk = true;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
756 /* When generate profile, expand thunk to gimple so it can be
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
757 instrumented same way as other functions. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
758 if (profile_arc_flag)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
759 node->expand_thunk (false, true);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
760 /* Read cgraph profile but keep function as thunk at profile-use
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
761 time. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
762 else
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
763 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
764 read_thunk_profile (node);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
765 continue;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
766 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
767 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
768
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
769 push_cfun (DECL_STRUCT_FUNCTION (node->decl));
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
770
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
771 if (dump_file)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
772 dump_function_header (dump_file, cfun->decl, dump_flags);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
773
111
kono
parents: 67
diff changeset
774 /* Local pure-const may imply need to fixup the cfg. */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
775 if (gimple_has_body_p (node->decl)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
776 && (execute_fixup_cfg () & TODO_cleanup_cfg))
111
kono
parents: 67
diff changeset
777 cleanup_tree_cfg ();
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
778
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
779 branch_prob (thunk);
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
780
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
781 if (! flag_branch_probabilities
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
782 && flag_profile_values)
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
783 gimple_gen_ic_func_profiler ();
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
784
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
785 if (flag_branch_probabilities
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
786 && !thunk
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
787 && flag_profile_values
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
788 && flag_value_profile_transformations
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
789 && profile_status_for_fn (cfun) == PROFILE_READ)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
790 gimple_value_profile_transformations ();
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
791
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
792 /* The above could hose dominator info. Currently there is
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
793 none coming in, this is a safety valve. It should be
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
794 easy to adjust it, if and when there is some. */
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
795 free_dominance_info (CDI_DOMINATORS);
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
796 free_dominance_info (CDI_POST_DOMINATORS);
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
797 pop_cfun ();
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
798 }
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
799
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
800 release_profile_file_filtering ();
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
801
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
802 /* Drop pure/const flags from instrumented functions. */
111
kono
parents: 67
diff changeset
803 if (profile_arc_flag || flag_test_coverage)
kono
parents: 67
diff changeset
804 FOR_EACH_DEFINED_FUNCTION (node)
kono
parents: 67
diff changeset
805 {
kono
parents: 67
diff changeset
806 if (!gimple_has_body_p (node->decl)
kono
parents: 67
diff changeset
807 || !(!node->clone_of
kono
parents: 67
diff changeset
808 || node->decl != node->clone_of->decl))
kono
parents: 67
diff changeset
809 continue;
kono
parents: 67
diff changeset
810
kono
parents: 67
diff changeset
811 /* Don't profile functions produced for builtin stuff. */
kono
parents: 67
diff changeset
812 if (DECL_SOURCE_LOCATION (node->decl) == BUILTINS_LOCATION)
kono
parents: 67
diff changeset
813 continue;
kono
parents: 67
diff changeset
814
kono
parents: 67
diff changeset
815 node->set_const_flag (false, false);
kono
parents: 67
diff changeset
816 node->set_pure_flag (false, false);
kono
parents: 67
diff changeset
817 }
kono
parents: 67
diff changeset
818
kono
parents: 67
diff changeset
819 /* Update call statements and rebuild the cgraph. */
kono
parents: 67
diff changeset
820 FOR_EACH_DEFINED_FUNCTION (node)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
821 {
111
kono
parents: 67
diff changeset
822 basic_block bb;
kono
parents: 67
diff changeset
823
kono
parents: 67
diff changeset
824 if (!gimple_has_body_p (node->decl)
kono
parents: 67
diff changeset
825 || !(!node->clone_of
kono
parents: 67
diff changeset
826 || node->decl != node->clone_of->decl))
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
827 continue;
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
828
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
829 /* Don't profile functions produced for builtin stuff. */
111
kono
parents: 67
diff changeset
830 if (DECL_SOURCE_LOCATION (node->decl) == BUILTINS_LOCATION)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
831 continue;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
832
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
833 push_cfun (DECL_STRUCT_FUNCTION (node->decl));
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
834
111
kono
parents: 67
diff changeset
835 FOR_EACH_BB_FN (bb, cfun)
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
836 {
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
837 gimple_stmt_iterator gsi;
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
838 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
839 {
111
kono
parents: 67
diff changeset
840 gimple *stmt = gsi_stmt (gsi);
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
841 if (is_gimple_call (stmt))
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
842 update_stmt (stmt);
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
843 }
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
844 }
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
845
111
kono
parents: 67
diff changeset
846 /* re-merge split blocks. */
kono
parents: 67
diff changeset
847 cleanup_tree_cfg ();
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
848 update_ssa (TODO_update_ssa);
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
849
111
kono
parents: 67
diff changeset
850 cgraph_edge::rebuild_edges ();
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
851
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
852 pop_cfun ();
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
853 }
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
854
111
kono
parents: 67
diff changeset
855 handle_missing_profiles ();
kono
parents: 67
diff changeset
856
kono
parents: 67
diff changeset
857 del_node_map ();
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
858 return 0;
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
859 }
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
860
111
kono
parents: 67
diff changeset
861 namespace {
kono
parents: 67
diff changeset
862
kono
parents: 67
diff changeset
863 const pass_data pass_data_ipa_tree_profile =
kono
parents: 67
diff changeset
864 {
kono
parents: 67
diff changeset
865 SIMPLE_IPA_PASS, /* type */
kono
parents: 67
diff changeset
866 "profile", /* name */
kono
parents: 67
diff changeset
867 OPTGROUP_NONE, /* optinfo_flags */
kono
parents: 67
diff changeset
868 TV_IPA_PROFILE, /* tv_id */
kono
parents: 67
diff changeset
869 0, /* properties_required */
kono
parents: 67
diff changeset
870 0, /* properties_provided */
kono
parents: 67
diff changeset
871 0, /* properties_destroyed */
kono
parents: 67
diff changeset
872 0, /* todo_flags_start */
kono
parents: 67
diff changeset
873 TODO_dump_symtab, /* todo_flags_finish */
kono
parents: 67
diff changeset
874 };
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
875
111
kono
parents: 67
diff changeset
876 class pass_ipa_tree_profile : public simple_ipa_opt_pass
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
877 {
111
kono
parents: 67
diff changeset
878 public:
kono
parents: 67
diff changeset
879 pass_ipa_tree_profile (gcc::context *ctxt)
kono
parents: 67
diff changeset
880 : simple_ipa_opt_pass (pass_data_ipa_tree_profile, ctxt)
kono
parents: 67
diff changeset
881 {}
kono
parents: 67
diff changeset
882
kono
parents: 67
diff changeset
883 /* opt_pass methods: */
kono
parents: 67
diff changeset
884 virtual bool gate (function *);
kono
parents: 67
diff changeset
885 virtual unsigned int execute (function *) { return tree_profiling (); }
kono
parents: 67
diff changeset
886
kono
parents: 67
diff changeset
887 }; // class pass_ipa_tree_profile
kono
parents: 67
diff changeset
888
kono
parents: 67
diff changeset
889 bool
kono
parents: 67
diff changeset
890 pass_ipa_tree_profile::gate (function *)
kono
parents: 67
diff changeset
891 {
kono
parents: 67
diff changeset
892 /* When profile instrumentation, use or test coverage shall be performed.
kono
parents: 67
diff changeset
893 But for AutoFDO, this there is no instrumentation, thus this pass is
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
894 disabled. */
111
kono
parents: 67
diff changeset
895 return (!in_lto_p && !flag_auto_profile
67
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
896 && (flag_branch_probabilities || flag_test_coverage
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
897 || profile_arc_flag));
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
898 }
f6334be47118 update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 63
diff changeset
899
111
kono
parents: 67
diff changeset
900 } // anon namespace
kono
parents: 67
diff changeset
901
kono
parents: 67
diff changeset
902 simple_ipa_opt_pass *
kono
parents: 67
diff changeset
903 make_pass_ipa_tree_profile (gcc::context *ctxt)
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
904 {
111
kono
parents: 67
diff changeset
905 return new pass_ipa_tree_profile (ctxt);
kono
parents: 67
diff changeset
906 }
0
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
907
a06113de4d67 first commit
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
908 #include "gt-tree-profile.h"