annotate gcc/multiple_target.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Pass for parsing functions with multiple target attributes.
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 Contributed by Evgeny Stupachenko <evstupac@gmail.com>
kono
parents:
diff changeset
4
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
5 Copyright (C) 2015-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 This file is part of GCC.
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
10 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
11 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
12 version.
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
17 for more details.
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
20 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
21 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 #include "config.h"
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 "stringpool.h"
kono
parents:
diff changeset
29 #include "gimple.h"
kono
parents:
diff changeset
30 #include "diagnostic-core.h"
kono
parents:
diff changeset
31 #include "gimple-ssa.h"
kono
parents:
diff changeset
32 #include "cgraph.h"
kono
parents:
diff changeset
33 #include "tree-pass.h"
kono
parents:
diff changeset
34 #include "target.h"
kono
parents:
diff changeset
35 #include "attribs.h"
kono
parents:
diff changeset
36 #include "pretty-print.h"
kono
parents:
diff changeset
37 #include "gimple-iterator.h"
kono
parents:
diff changeset
38 #include "gimple-walk.h"
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
39 #include "tree-inline.h"
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
40 #include "intl.h"
111
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 /* Walker callback that replaces all FUNCTION_DECL of a function that's
kono
parents:
diff changeset
43 going to be versioned. */
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 static tree
kono
parents:
diff changeset
46 replace_function_decl (tree *op, int *walk_subtrees, void *data)
kono
parents:
diff changeset
47 {
kono
parents:
diff changeset
48 struct walk_stmt_info *wi = (struct walk_stmt_info *) data;
kono
parents:
diff changeset
49 cgraph_function_version_info *info = (cgraph_function_version_info *)wi->info;
kono
parents:
diff changeset
50
kono
parents:
diff changeset
51 if (TREE_CODE (*op) == FUNCTION_DECL
kono
parents:
diff changeset
52 && info->this_node->decl == *op)
kono
parents:
diff changeset
53 {
kono
parents:
diff changeset
54 *op = info->dispatcher_resolver;
kono
parents:
diff changeset
55 *walk_subtrees = 0;
kono
parents:
diff changeset
56 }
kono
parents:
diff changeset
57
kono
parents:
diff changeset
58 return NULL;
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 /* If the call in NODE has multiple target attribute with multiple fields,
kono
parents:
diff changeset
62 replace it with dispatcher call and create dispatcher (once). */
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 static void
kono
parents:
diff changeset
65 create_dispatcher_calls (struct cgraph_node *node)
kono
parents:
diff changeset
66 {
kono
parents:
diff changeset
67 ipa_ref *ref;
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 if (!DECL_FUNCTION_VERSIONED (node->decl)
kono
parents:
diff changeset
70 || !is_function_default_version (node->decl))
kono
parents:
diff changeset
71 return;
kono
parents:
diff changeset
72
kono
parents:
diff changeset
73 if (!targetm.has_ifunc_p ())
kono
parents:
diff changeset
74 {
kono
parents:
diff changeset
75 error_at (DECL_SOURCE_LOCATION (node->decl),
kono
parents:
diff changeset
76 "the call requires ifunc, which is not"
kono
parents:
diff changeset
77 " supported by this target");
kono
parents:
diff changeset
78 return;
kono
parents:
diff changeset
79 }
kono
parents:
diff changeset
80 else if (!targetm.get_function_versions_dispatcher)
kono
parents:
diff changeset
81 {
kono
parents:
diff changeset
82 error_at (DECL_SOURCE_LOCATION (node->decl),
kono
parents:
diff changeset
83 "target does not support function version dispatcher");
kono
parents:
diff changeset
84 return;
kono
parents:
diff changeset
85 }
kono
parents:
diff changeset
86
kono
parents:
diff changeset
87 tree idecl = targetm.get_function_versions_dispatcher (node->decl);
kono
parents:
diff changeset
88 if (!idecl)
kono
parents:
diff changeset
89 {
kono
parents:
diff changeset
90 error_at (DECL_SOURCE_LOCATION (node->decl),
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
91 "default %<target_clones%> attribute was not set");
111
kono
parents:
diff changeset
92 return;
kono
parents:
diff changeset
93 }
kono
parents:
diff changeset
94
kono
parents:
diff changeset
95 cgraph_node *inode = cgraph_node::get (idecl);
kono
parents:
diff changeset
96 gcc_assert (inode);
kono
parents:
diff changeset
97 tree resolver_decl = targetm.generate_version_dispatcher_body (inode);
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99 /* Update aliases. */
kono
parents:
diff changeset
100 inode->alias = true;
kono
parents:
diff changeset
101 inode->alias_target = resolver_decl;
kono
parents:
diff changeset
102 if (!inode->analyzed)
kono
parents:
diff changeset
103 inode->resolve_alias (cgraph_node::get (resolver_decl));
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 auto_vec<cgraph_edge *> edges_to_redirect;
kono
parents:
diff changeset
106 auto_vec<ipa_ref *> references_to_redirect;
kono
parents:
diff changeset
107
kono
parents:
diff changeset
108 for (unsigned i = 0; node->iterate_referring (i, ref); i++)
kono
parents:
diff changeset
109 references_to_redirect.safe_push (ref);
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 /* We need to remember NEXT_CALLER as it could be modified in the loop. */
kono
parents:
diff changeset
112 for (cgraph_edge *e = node->callers; e ; e = e->next_caller)
kono
parents:
diff changeset
113 edges_to_redirect.safe_push (e);
kono
parents:
diff changeset
114
kono
parents:
diff changeset
115 if (!edges_to_redirect.is_empty () || !references_to_redirect.is_empty ())
kono
parents:
diff changeset
116 {
kono
parents:
diff changeset
117 /* Redirect edges. */
kono
parents:
diff changeset
118 unsigned i;
kono
parents:
diff changeset
119 cgraph_edge *e;
kono
parents:
diff changeset
120 FOR_EACH_VEC_ELT (edges_to_redirect, i, e)
kono
parents:
diff changeset
121 {
kono
parents:
diff changeset
122 e->redirect_callee (inode);
kono
parents:
diff changeset
123 e->redirect_call_stmt_to_callee ();
kono
parents:
diff changeset
124 }
kono
parents:
diff changeset
125
kono
parents:
diff changeset
126 /* Redirect references. */
kono
parents:
diff changeset
127 FOR_EACH_VEC_ELT (references_to_redirect, i, ref)
kono
parents:
diff changeset
128 {
kono
parents:
diff changeset
129 if (ref->use == IPA_REF_ADDR)
kono
parents:
diff changeset
130 {
kono
parents:
diff changeset
131 struct walk_stmt_info wi;
kono
parents:
diff changeset
132 memset (&wi, 0, sizeof (wi));
kono
parents:
diff changeset
133 wi.info = (void *)node->function_version ();
kono
parents:
diff changeset
134
kono
parents:
diff changeset
135 if (dyn_cast<varpool_node *> (ref->referring))
kono
parents:
diff changeset
136 {
kono
parents:
diff changeset
137 hash_set<tree> visited_nodes;
kono
parents:
diff changeset
138 walk_tree (&DECL_INITIAL (ref->referring->decl),
kono
parents:
diff changeset
139 replace_function_decl, &wi, &visited_nodes);
kono
parents:
diff changeset
140 }
kono
parents:
diff changeset
141 else
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 gimple_stmt_iterator it = gsi_for_stmt (ref->stmt);
kono
parents:
diff changeset
144 if (ref->referring->decl != resolver_decl)
kono
parents:
diff changeset
145 walk_gimple_stmt (&it, NULL, replace_function_decl, &wi);
kono
parents:
diff changeset
146 }
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
147
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
148 symtab_node *source = ref->referring;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
149 ref->remove_reference ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
150 source->create_reference (inode, IPA_REF_ADDR);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
151 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
152 else if (ref->use == IPA_REF_ALIAS)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
153 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
154 symtab_node *source = ref->referring;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
155 ref->remove_reference ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
156 source->create_reference (inode, IPA_REF_ALIAS);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
157 source->add_to_same_comdat_group (inode);
111
kono
parents:
diff changeset
158 }
kono
parents:
diff changeset
159 else
kono
parents:
diff changeset
160 gcc_unreachable ();
kono
parents:
diff changeset
161 }
kono
parents:
diff changeset
162 }
kono
parents:
diff changeset
163
kono
parents:
diff changeset
164 symtab->change_decl_assembler_name (node->decl,
kono
parents:
diff changeset
165 clone_function_name (node->decl,
kono
parents:
diff changeset
166 "default"));
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
167
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
168 /* FIXME: copy of cgraph_node::make_local that should be cleaned up
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
169 in next stage1. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
170 node->make_decl_local ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
171 node->set_section (NULL);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
172 node->set_comdat_group (NULL);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
173 node->externally_visible = false;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
174 node->forced_by_abi = false;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
175 node->set_section (NULL);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
176 node->unique_name = ((node->resolution == LDPR_PREVAILING_DEF_IRONLY
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
177 || node->resolution == LDPR_PREVAILING_DEF_IRONLY_EXP)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
178 && !flag_incremental_link);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
179 node->resolution = LDPR_PREVAILING_DEF_IRONLY;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
180
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
181 DECL_ARTIFICIAL (node->decl) = 1;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
182 node->force_output = true;
111
kono
parents:
diff changeset
183 }
kono
parents:
diff changeset
184
kono
parents:
diff changeset
185 /* Return length of attribute names string,
kono
parents:
diff changeset
186 if arglist chain > 1, -1 otherwise. */
kono
parents:
diff changeset
187
kono
parents:
diff changeset
188 static int
kono
parents:
diff changeset
189 get_attr_len (tree arglist)
kono
parents:
diff changeset
190 {
kono
parents:
diff changeset
191 tree arg;
kono
parents:
diff changeset
192 int str_len_sum = 0;
kono
parents:
diff changeset
193 int argnum = 0;
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195 for (arg = arglist; arg; arg = TREE_CHAIN (arg))
kono
parents:
diff changeset
196 {
kono
parents:
diff changeset
197 const char *str = TREE_STRING_POINTER (TREE_VALUE (arg));
kono
parents:
diff changeset
198 size_t len = strlen (str);
kono
parents:
diff changeset
199 str_len_sum += len + 1;
kono
parents:
diff changeset
200 for (const char *p = strchr (str, ','); p; p = strchr (p + 1, ','))
kono
parents:
diff changeset
201 argnum++;
kono
parents:
diff changeset
202 argnum++;
kono
parents:
diff changeset
203 }
kono
parents:
diff changeset
204 if (argnum <= 1)
kono
parents:
diff changeset
205 return -1;
kono
parents:
diff changeset
206 return str_len_sum;
kono
parents:
diff changeset
207 }
kono
parents:
diff changeset
208
kono
parents:
diff changeset
209 /* Create string with attributes separated by comma.
kono
parents:
diff changeset
210 Return number of attributes. */
kono
parents:
diff changeset
211
kono
parents:
diff changeset
212 static int
kono
parents:
diff changeset
213 get_attr_str (tree arglist, char *attr_str)
kono
parents:
diff changeset
214 {
kono
parents:
diff changeset
215 tree arg;
kono
parents:
diff changeset
216 size_t str_len_sum = 0;
kono
parents:
diff changeset
217 int argnum = 0;
kono
parents:
diff changeset
218
kono
parents:
diff changeset
219 for (arg = arglist; arg; arg = TREE_CHAIN (arg))
kono
parents:
diff changeset
220 {
kono
parents:
diff changeset
221 const char *str = TREE_STRING_POINTER (TREE_VALUE (arg));
kono
parents:
diff changeset
222 size_t len = strlen (str);
kono
parents:
diff changeset
223 for (const char *p = strchr (str, ','); p; p = strchr (p + 1, ','))
kono
parents:
diff changeset
224 argnum++;
kono
parents:
diff changeset
225 memcpy (attr_str + str_len_sum, str, len);
kono
parents:
diff changeset
226 attr_str[str_len_sum + len] = TREE_CHAIN (arg) ? ',' : '\0';
kono
parents:
diff changeset
227 str_len_sum += len + 1;
kono
parents:
diff changeset
228 argnum++;
kono
parents:
diff changeset
229 }
kono
parents:
diff changeset
230 return argnum;
kono
parents:
diff changeset
231 }
kono
parents:
diff changeset
232
kono
parents:
diff changeset
233 /* Return number of attributes separated by comma and put them into ARGS.
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
234 If there is no DEFAULT attribute return -1. If there is an empty
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
235 string in attribute return -2. */
111
kono
parents:
diff changeset
236
kono
parents:
diff changeset
237 static int
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
238 separate_attrs (char *attr_str, char **attrs, int attrnum)
111
kono
parents:
diff changeset
239 {
kono
parents:
diff changeset
240 int i = 0;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
241 int default_count = 0;
111
kono
parents:
diff changeset
242
kono
parents:
diff changeset
243 for (char *attr = strtok (attr_str, ",");
kono
parents:
diff changeset
244 attr != NULL; attr = strtok (NULL, ","))
kono
parents:
diff changeset
245 {
kono
parents:
diff changeset
246 if (strcmp (attr, "default") == 0)
kono
parents:
diff changeset
247 {
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
248 default_count++;
111
kono
parents:
diff changeset
249 continue;
kono
parents:
diff changeset
250 }
kono
parents:
diff changeset
251 attrs[i++] = attr;
kono
parents:
diff changeset
252 }
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
253 if (default_count == 0)
111
kono
parents:
diff changeset
254 return -1;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
255 else if (i + default_count < attrnum)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
256 return -2;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
257
111
kono
parents:
diff changeset
258 return i;
kono
parents:
diff changeset
259 }
kono
parents:
diff changeset
260
kono
parents:
diff changeset
261 /* Return true if symbol is valid in assembler name. */
kono
parents:
diff changeset
262
kono
parents:
diff changeset
263 static bool
kono
parents:
diff changeset
264 is_valid_asm_symbol (char c)
kono
parents:
diff changeset
265 {
kono
parents:
diff changeset
266 if ('a' <= c && c <= 'z')
kono
parents:
diff changeset
267 return true;
kono
parents:
diff changeset
268 if ('A' <= c && c <= 'Z')
kono
parents:
diff changeset
269 return true;
kono
parents:
diff changeset
270 if ('0' <= c && c <= '9')
kono
parents:
diff changeset
271 return true;
kono
parents:
diff changeset
272 if (c == '_')
kono
parents:
diff changeset
273 return true;
kono
parents:
diff changeset
274 return false;
kono
parents:
diff changeset
275 }
kono
parents:
diff changeset
276
kono
parents:
diff changeset
277 /* Replace all not valid assembler symbols with '_'. */
kono
parents:
diff changeset
278
kono
parents:
diff changeset
279 static void
kono
parents:
diff changeset
280 create_new_asm_name (char *old_asm_name, char *new_asm_name)
kono
parents:
diff changeset
281 {
kono
parents:
diff changeset
282 int i;
kono
parents:
diff changeset
283 int old_name_len = strlen (old_asm_name);
kono
parents:
diff changeset
284
kono
parents:
diff changeset
285 /* Replace all not valid assembler symbols with '_'. */
kono
parents:
diff changeset
286 for (i = 0; i < old_name_len; i++)
kono
parents:
diff changeset
287 if (!is_valid_asm_symbol (old_asm_name[i]))
kono
parents:
diff changeset
288 new_asm_name[i] = '_';
kono
parents:
diff changeset
289 else
kono
parents:
diff changeset
290 new_asm_name[i] = old_asm_name[i];
kono
parents:
diff changeset
291 new_asm_name[old_name_len] = '\0';
kono
parents:
diff changeset
292 }
kono
parents:
diff changeset
293
kono
parents:
diff changeset
294 /* Creates target clone of NODE. */
kono
parents:
diff changeset
295
kono
parents:
diff changeset
296 static cgraph_node *
kono
parents:
diff changeset
297 create_target_clone (cgraph_node *node, bool definition, char *name)
kono
parents:
diff changeset
298 {
kono
parents:
diff changeset
299 cgraph_node *new_node;
kono
parents:
diff changeset
300
kono
parents:
diff changeset
301 if (definition)
kono
parents:
diff changeset
302 {
kono
parents:
diff changeset
303 new_node = node->create_version_clone_with_body (vNULL, NULL,
kono
parents:
diff changeset
304 NULL, false,
kono
parents:
diff changeset
305 NULL, NULL,
kono
parents:
diff changeset
306 name);
kono
parents:
diff changeset
307 new_node->force_output = true;
kono
parents:
diff changeset
308 }
kono
parents:
diff changeset
309 else
kono
parents:
diff changeset
310 {
kono
parents:
diff changeset
311 tree new_decl = copy_node (node->decl);
kono
parents:
diff changeset
312 new_node = cgraph_node::get_create (new_decl);
kono
parents:
diff changeset
313 /* Generate a new name for the new version. */
kono
parents:
diff changeset
314 symtab->change_decl_assembler_name (new_node->decl,
kono
parents:
diff changeset
315 clone_function_name (node->decl,
kono
parents:
diff changeset
316 name));
kono
parents:
diff changeset
317 }
kono
parents:
diff changeset
318 return new_node;
kono
parents:
diff changeset
319 }
kono
parents:
diff changeset
320
kono
parents:
diff changeset
321 /* If the function in NODE has multiple target attributes
kono
parents:
diff changeset
322 create the appropriate clone for each valid target attribute. */
kono
parents:
diff changeset
323
kono
parents:
diff changeset
324 static bool
kono
parents:
diff changeset
325 expand_target_clones (struct cgraph_node *node, bool definition)
kono
parents:
diff changeset
326 {
kono
parents:
diff changeset
327 int i;
kono
parents:
diff changeset
328 /* Parsing target attributes separated by comma. */
kono
parents:
diff changeset
329 tree attr_target = lookup_attribute ("target_clones",
kono
parents:
diff changeset
330 DECL_ATTRIBUTES (node->decl));
kono
parents:
diff changeset
331 /* No targets specified. */
kono
parents:
diff changeset
332 if (!attr_target)
kono
parents:
diff changeset
333 return false;
kono
parents:
diff changeset
334
kono
parents:
diff changeset
335 tree arglist = TREE_VALUE (attr_target);
kono
parents:
diff changeset
336 int attr_len = get_attr_len (arglist);
kono
parents:
diff changeset
337
kono
parents:
diff changeset
338 /* No need to clone for 1 target attribute. */
kono
parents:
diff changeset
339 if (attr_len == -1)
kono
parents:
diff changeset
340 {
kono
parents:
diff changeset
341 warning_at (DECL_SOURCE_LOCATION (node->decl),
kono
parents:
diff changeset
342 0,
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
343 "single %<target_clones%> attribute is ignored");
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
344 return false;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
345 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
346
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
347 if (node->definition
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
348 && !tree_versionable_function_p (node->decl))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
349 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
350 auto_diagnostic_group d;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
351 error_at (DECL_SOURCE_LOCATION (node->decl),
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
352 "clones for %<target_clones%> attribute cannot be created");
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
353 const char *reason = NULL;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
354 if (lookup_attribute ("noclone", DECL_ATTRIBUTES (node->decl)))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
355 reason = G_("function %q+F can never be copied "
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
356 "because it has %<noclone%> attribute");
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
357 else
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
358 reason = copy_forbidden (DECL_STRUCT_FUNCTION (node->decl));
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
359 if (reason)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
360 inform (DECL_SOURCE_LOCATION (node->decl), reason, node->decl);
111
kono
parents:
diff changeset
361 return false;
kono
parents:
diff changeset
362 }
kono
parents:
diff changeset
363
kono
parents:
diff changeset
364 char *attr_str = XNEWVEC (char, attr_len);
kono
parents:
diff changeset
365 int attrnum = get_attr_str (arglist, attr_str);
kono
parents:
diff changeset
366 char **attrs = XNEWVEC (char *, attrnum);
kono
parents:
diff changeset
367
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
368 attrnum = separate_attrs (attr_str, attrs, attrnum);
111
kono
parents:
diff changeset
369 if (attrnum == -1)
kono
parents:
diff changeset
370 {
kono
parents:
diff changeset
371 error_at (DECL_SOURCE_LOCATION (node->decl),
kono
parents:
diff changeset
372 "default target was not set");
kono
parents:
diff changeset
373 XDELETEVEC (attrs);
kono
parents:
diff changeset
374 XDELETEVEC (attr_str);
kono
parents:
diff changeset
375 return false;
kono
parents:
diff changeset
376 }
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
377 else if (attrnum == -2)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
378 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
379 error_at (DECL_SOURCE_LOCATION (node->decl),
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
380 "an empty string cannot be in %<target_clones%> attribute");
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
381 XDELETEVEC (attrs);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
382 XDELETEVEC (attr_str);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
383 return false;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
384 }
111
kono
parents:
diff changeset
385
kono
parents:
diff changeset
386 cgraph_function_version_info *decl1_v = NULL;
kono
parents:
diff changeset
387 cgraph_function_version_info *decl2_v = NULL;
kono
parents:
diff changeset
388 cgraph_function_version_info *before = NULL;
kono
parents:
diff changeset
389 cgraph_function_version_info *after = NULL;
kono
parents:
diff changeset
390 decl1_v = node->function_version ();
kono
parents:
diff changeset
391 if (decl1_v == NULL)
kono
parents:
diff changeset
392 decl1_v = node->insert_new_function_version ();
kono
parents:
diff changeset
393 before = decl1_v;
kono
parents:
diff changeset
394 DECL_FUNCTION_VERSIONED (node->decl) = 1;
kono
parents:
diff changeset
395
kono
parents:
diff changeset
396 for (i = 0; i < attrnum; i++)
kono
parents:
diff changeset
397 {
kono
parents:
diff changeset
398 char *attr = attrs[i];
kono
parents:
diff changeset
399 char *suffix = XNEWVEC (char, strlen (attr) + 1);
kono
parents:
diff changeset
400
kono
parents:
diff changeset
401 create_new_asm_name (attr, suffix);
kono
parents:
diff changeset
402 /* Create new target clone. */
kono
parents:
diff changeset
403 cgraph_node *new_node = create_target_clone (node, definition, suffix);
kono
parents:
diff changeset
404 new_node->local.local = false;
kono
parents:
diff changeset
405 XDELETEVEC (suffix);
kono
parents:
diff changeset
406
kono
parents:
diff changeset
407 /* Set new attribute for the clone. */
kono
parents:
diff changeset
408 tree attributes = make_attribute ("target", attr,
kono
parents:
diff changeset
409 DECL_ATTRIBUTES (new_node->decl));
kono
parents:
diff changeset
410 DECL_ATTRIBUTES (new_node->decl) = attributes;
kono
parents:
diff changeset
411 location_t saved_loc = input_location;
kono
parents:
diff changeset
412 input_location = DECL_SOURCE_LOCATION (node->decl);
kono
parents:
diff changeset
413 if (!targetm.target_option.valid_attribute_p (new_node->decl, NULL,
kono
parents:
diff changeset
414 TREE_VALUE (attributes),
kono
parents:
diff changeset
415 0))
kono
parents:
diff changeset
416 return false;
kono
parents:
diff changeset
417
kono
parents:
diff changeset
418 input_location = saved_loc;
kono
parents:
diff changeset
419 decl2_v = new_node->function_version ();
kono
parents:
diff changeset
420 if (decl2_v != NULL)
kono
parents:
diff changeset
421 continue;
kono
parents:
diff changeset
422 decl2_v = new_node->insert_new_function_version ();
kono
parents:
diff changeset
423
kono
parents:
diff changeset
424 /* Chain decl2_v and decl1_v. All semantically identical versions
kono
parents:
diff changeset
425 will be chained together. */
kono
parents:
diff changeset
426 after = decl2_v;
kono
parents:
diff changeset
427 while (before->next != NULL)
kono
parents:
diff changeset
428 before = before->next;
kono
parents:
diff changeset
429 while (after->prev != NULL)
kono
parents:
diff changeset
430 after = after->prev;
kono
parents:
diff changeset
431
kono
parents:
diff changeset
432 before->next = after;
kono
parents:
diff changeset
433 after->prev = before;
kono
parents:
diff changeset
434 DECL_FUNCTION_VERSIONED (new_node->decl) = 1;
kono
parents:
diff changeset
435 }
kono
parents:
diff changeset
436
kono
parents:
diff changeset
437 XDELETEVEC (attrs);
kono
parents:
diff changeset
438 XDELETEVEC (attr_str);
kono
parents:
diff changeset
439
kono
parents:
diff changeset
440 /* Setting new attribute to initial function. */
kono
parents:
diff changeset
441 tree attributes = make_attribute ("target", "default",
kono
parents:
diff changeset
442 DECL_ATTRIBUTES (node->decl));
kono
parents:
diff changeset
443 DECL_ATTRIBUTES (node->decl) = attributes;
kono
parents:
diff changeset
444 node->local.local = false;
kono
parents:
diff changeset
445 location_t saved_loc = input_location;
kono
parents:
diff changeset
446 input_location = DECL_SOURCE_LOCATION (node->decl);
kono
parents:
diff changeset
447 bool ret
kono
parents:
diff changeset
448 = targetm.target_option.valid_attribute_p (node->decl, NULL,
kono
parents:
diff changeset
449 TREE_VALUE (attributes), 0);
kono
parents:
diff changeset
450 input_location = saved_loc;
kono
parents:
diff changeset
451 return ret;
kono
parents:
diff changeset
452 }
kono
parents:
diff changeset
453
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
454 /* When NODE is a target clone, consider all callees and redirect
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
455 to a clone with equal target attributes. That prevents multiple
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
456 multi-versioning dispatches and a call-chain can be optimized. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
457
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
458 static void
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
459 redirect_to_specific_clone (cgraph_node *node)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
460 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
461 cgraph_function_version_info *fv = node->function_version ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
462 if (fv == NULL)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
463 return;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
464
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
465 tree attr_target = lookup_attribute ("target", DECL_ATTRIBUTES (node->decl));
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
466 if (attr_target == NULL_TREE)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
467 return;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
468
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
469 /* We need to remember NEXT_CALLER as it could be modified in the loop. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
470 for (cgraph_edge *e = node->callees; e ; e = e->next_callee)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
471 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
472 cgraph_function_version_info *fv2 = e->callee->function_version ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
473 if (!fv2)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
474 continue;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
475
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
476 tree attr_target2 = lookup_attribute ("target",
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
477 DECL_ATTRIBUTES (e->callee->decl));
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
478
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
479 /* Function is not calling proper target clone. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
480 if (!attribute_list_equal (attr_target, attr_target2))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
481 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
482 while (fv2->prev != NULL)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
483 fv2 = fv2->prev;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
484
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
485 /* Try to find a clone with equal target attribute. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
486 for (; fv2 != NULL; fv2 = fv2->next)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
487 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
488 cgraph_node *callee = fv2->this_node;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
489 attr_target2 = lookup_attribute ("target",
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
490 DECL_ATTRIBUTES (callee->decl));
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
491 if (attribute_list_equal (attr_target, attr_target2))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
492 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
493 e->redirect_callee (callee);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
494 e->redirect_call_stmt_to_callee ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
495 break;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
496 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
497 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
498 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
499 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
500 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
501
111
kono
parents:
diff changeset
502 static unsigned int
kono
parents:
diff changeset
503 ipa_target_clone (void)
kono
parents:
diff changeset
504 {
kono
parents:
diff changeset
505 struct cgraph_node *node;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
506 auto_vec<cgraph_node *> to_dispatch;
111
kono
parents:
diff changeset
507
kono
parents:
diff changeset
508 FOR_EACH_FUNCTION (node)
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
509 if (expand_target_clones (node, node->definition))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
510 to_dispatch.safe_push (node);
111
kono
parents:
diff changeset
511
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
512 for (unsigned i = 0; i < to_dispatch.length (); i++)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
513 create_dispatcher_calls (to_dispatch[i]);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
514
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
515 FOR_EACH_FUNCTION (node)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
516 redirect_to_specific_clone (node);
111
kono
parents:
diff changeset
517
kono
parents:
diff changeset
518 return 0;
kono
parents:
diff changeset
519 }
kono
parents:
diff changeset
520
kono
parents:
diff changeset
521 namespace {
kono
parents:
diff changeset
522
kono
parents:
diff changeset
523 const pass_data pass_data_target_clone =
kono
parents:
diff changeset
524 {
kono
parents:
diff changeset
525 SIMPLE_IPA_PASS, /* type */
kono
parents:
diff changeset
526 "targetclone", /* name */
kono
parents:
diff changeset
527 OPTGROUP_NONE, /* optinfo_flags */
kono
parents:
diff changeset
528 TV_NONE, /* tv_id */
kono
parents:
diff changeset
529 ( PROP_ssa | PROP_cfg ), /* properties_required */
kono
parents:
diff changeset
530 0, /* properties_provided */
kono
parents:
diff changeset
531 0, /* properties_destroyed */
kono
parents:
diff changeset
532 0, /* todo_flags_start */
kono
parents:
diff changeset
533 TODO_update_ssa /* todo_flags_finish */
kono
parents:
diff changeset
534 };
kono
parents:
diff changeset
535
kono
parents:
diff changeset
536 class pass_target_clone : public simple_ipa_opt_pass
kono
parents:
diff changeset
537 {
kono
parents:
diff changeset
538 public:
kono
parents:
diff changeset
539 pass_target_clone (gcc::context *ctxt)
kono
parents:
diff changeset
540 : simple_ipa_opt_pass (pass_data_target_clone, ctxt)
kono
parents:
diff changeset
541 {}
kono
parents:
diff changeset
542
kono
parents:
diff changeset
543 /* opt_pass methods: */
kono
parents:
diff changeset
544 virtual bool gate (function *);
kono
parents:
diff changeset
545 virtual unsigned int execute (function *) { return ipa_target_clone (); }
kono
parents:
diff changeset
546 };
kono
parents:
diff changeset
547
kono
parents:
diff changeset
548 bool
kono
parents:
diff changeset
549 pass_target_clone::gate (function *)
kono
parents:
diff changeset
550 {
kono
parents:
diff changeset
551 return true;
kono
parents:
diff changeset
552 }
kono
parents:
diff changeset
553
kono
parents:
diff changeset
554 } // anon namespace
kono
parents:
diff changeset
555
kono
parents:
diff changeset
556 simple_ipa_opt_pass *
kono
parents:
diff changeset
557 make_pass_target_clone (gcc::context *ctxt)
kono
parents:
diff changeset
558 {
kono
parents:
diff changeset
559 return new pass_target_clone (ctxt);
kono
parents:
diff changeset
560 }