1 |
280 |
jeremybenn |
/* Interprocedural analyses.
|
2 |
|
|
Copyright (C) 2005, 2007, 2008, 2009, 2010
|
3 |
|
|
Free Software Foundation, Inc.
|
4 |
|
|
|
5 |
|
|
This file is part of GCC.
|
6 |
|
|
|
7 |
|
|
GCC is free software; you can redistribute it and/or modify it under
|
8 |
|
|
the terms of the GNU General Public License as published by the Free
|
9 |
|
|
Software Foundation; either version 3, or (at your option) any later
|
10 |
|
|
version.
|
11 |
|
|
|
12 |
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
13 |
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
14 |
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
15 |
|
|
for more details.
|
16 |
|
|
|
17 |
|
|
You should have received a copy of the GNU General Public License
|
18 |
|
|
along with GCC; see the file COPYING3. If not see
|
19 |
|
|
<http://www.gnu.org/licenses/>. */
|
20 |
|
|
|
21 |
|
|
#include "config.h"
|
22 |
|
|
#include "system.h"
|
23 |
|
|
#include "coretypes.h"
|
24 |
|
|
#include "tree.h"
|
25 |
|
|
#include "langhooks.h"
|
26 |
|
|
#include "ggc.h"
|
27 |
|
|
#include "target.h"
|
28 |
|
|
#include "cgraph.h"
|
29 |
|
|
#include "ipa-prop.h"
|
30 |
|
|
#include "tree-flow.h"
|
31 |
|
|
#include "tree-pass.h"
|
32 |
|
|
#include "tree-inline.h"
|
33 |
|
|
#include "flags.h"
|
34 |
|
|
#include "timevar.h"
|
35 |
|
|
#include "flags.h"
|
36 |
|
|
#include "diagnostic.h"
|
37 |
|
|
#include "lto-streamer.h"
|
38 |
|
|
|
39 |
|
|
/* Vector where the parameter infos are actually stored. */
|
40 |
|
|
VEC (ipa_node_params_t, heap) *ipa_node_params_vector;
|
41 |
|
|
/* Vector where the parameter infos are actually stored. */
|
42 |
|
|
VEC (ipa_edge_args_t, gc) *ipa_edge_args_vector;
|
43 |
|
|
|
44 |
|
|
/* Holders of ipa cgraph hooks: */
|
45 |
|
|
static struct cgraph_edge_hook_list *edge_removal_hook_holder;
|
46 |
|
|
static struct cgraph_node_hook_list *node_removal_hook_holder;
|
47 |
|
|
static struct cgraph_2edge_hook_list *edge_duplication_hook_holder;
|
48 |
|
|
static struct cgraph_2node_hook_list *node_duplication_hook_holder;
|
49 |
|
|
|
50 |
|
|
/* Add cgraph NODE described by INFO to the worklist WL regardless of whether
|
51 |
|
|
it is in one or not. It should almost never be used directly, as opposed to
|
52 |
|
|
ipa_push_func_to_list. */
|
53 |
|
|
|
54 |
|
|
void
|
55 |
|
|
ipa_push_func_to_list_1 (struct ipa_func_list **wl,
|
56 |
|
|
struct cgraph_node *node,
|
57 |
|
|
struct ipa_node_params *info)
|
58 |
|
|
{
|
59 |
|
|
struct ipa_func_list *temp;
|
60 |
|
|
|
61 |
|
|
info->node_enqueued = 1;
|
62 |
|
|
temp = XCNEW (struct ipa_func_list);
|
63 |
|
|
temp->node = node;
|
64 |
|
|
temp->next = *wl;
|
65 |
|
|
*wl = temp;
|
66 |
|
|
}
|
67 |
|
|
|
68 |
|
|
/* Initialize worklist to contain all functions. */
|
69 |
|
|
|
70 |
|
|
struct ipa_func_list *
|
71 |
|
|
ipa_init_func_list (void)
|
72 |
|
|
{
|
73 |
|
|
struct cgraph_node *node;
|
74 |
|
|
struct ipa_func_list * wl;
|
75 |
|
|
|
76 |
|
|
wl = NULL;
|
77 |
|
|
for (node = cgraph_nodes; node; node = node->next)
|
78 |
|
|
if (node->analyzed)
|
79 |
|
|
{
|
80 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (node);
|
81 |
|
|
/* Unreachable nodes should have been eliminated before ipcp and
|
82 |
|
|
inlining. */
|
83 |
|
|
gcc_assert (node->needed || node->reachable);
|
84 |
|
|
ipa_push_func_to_list_1 (&wl, node, info);
|
85 |
|
|
}
|
86 |
|
|
|
87 |
|
|
return wl;
|
88 |
|
|
}
|
89 |
|
|
|
90 |
|
|
/* Remove a function from the worklist WL and return it. */
|
91 |
|
|
|
92 |
|
|
struct cgraph_node *
|
93 |
|
|
ipa_pop_func_from_list (struct ipa_func_list **wl)
|
94 |
|
|
{
|
95 |
|
|
struct ipa_node_params *info;
|
96 |
|
|
struct ipa_func_list *first;
|
97 |
|
|
struct cgraph_node *node;
|
98 |
|
|
|
99 |
|
|
first = *wl;
|
100 |
|
|
*wl = (*wl)->next;
|
101 |
|
|
node = first->node;
|
102 |
|
|
free (first);
|
103 |
|
|
|
104 |
|
|
info = IPA_NODE_REF (node);
|
105 |
|
|
info->node_enqueued = 0;
|
106 |
|
|
return node;
|
107 |
|
|
}
|
108 |
|
|
|
109 |
|
|
/* Return index of the formal whose tree is PTREE in function which corresponds
|
110 |
|
|
to INFO. */
|
111 |
|
|
|
112 |
|
|
static int
|
113 |
|
|
ipa_get_param_decl_index (struct ipa_node_params *info, tree ptree)
|
114 |
|
|
{
|
115 |
|
|
int i, count;
|
116 |
|
|
|
117 |
|
|
count = ipa_get_param_count (info);
|
118 |
|
|
for (i = 0; i < count; i++)
|
119 |
|
|
if (ipa_get_param(info, i) == ptree)
|
120 |
|
|
return i;
|
121 |
|
|
|
122 |
|
|
return -1;
|
123 |
|
|
}
|
124 |
|
|
|
125 |
|
|
/* Populate the param_decl field in parameter descriptors of INFO that
|
126 |
|
|
corresponds to NODE. */
|
127 |
|
|
|
128 |
|
|
static void
|
129 |
|
|
ipa_populate_param_decls (struct cgraph_node *node,
|
130 |
|
|
struct ipa_node_params *info)
|
131 |
|
|
{
|
132 |
|
|
tree fndecl;
|
133 |
|
|
tree fnargs;
|
134 |
|
|
tree parm;
|
135 |
|
|
int param_num;
|
136 |
|
|
|
137 |
|
|
fndecl = node->decl;
|
138 |
|
|
fnargs = DECL_ARGUMENTS (fndecl);
|
139 |
|
|
param_num = 0;
|
140 |
|
|
for (parm = fnargs; parm; parm = TREE_CHAIN (parm))
|
141 |
|
|
{
|
142 |
|
|
info->params[param_num].decl = parm;
|
143 |
|
|
param_num++;
|
144 |
|
|
}
|
145 |
|
|
}
|
146 |
|
|
|
147 |
|
|
/* Return how many formal parameters FNDECL has. */
|
148 |
|
|
|
149 |
|
|
static inline int
|
150 |
|
|
count_formal_params_1 (tree fndecl)
|
151 |
|
|
{
|
152 |
|
|
tree parm;
|
153 |
|
|
int count = 0;
|
154 |
|
|
|
155 |
|
|
for (parm = DECL_ARGUMENTS (fndecl); parm; parm = TREE_CHAIN (parm))
|
156 |
|
|
count++;
|
157 |
|
|
|
158 |
|
|
return count;
|
159 |
|
|
}
|
160 |
|
|
|
161 |
|
|
/* Count number of formal parameters in NOTE. Store the result to the
|
162 |
|
|
appropriate field of INFO. */
|
163 |
|
|
|
164 |
|
|
static void
|
165 |
|
|
ipa_count_formal_params (struct cgraph_node *node,
|
166 |
|
|
struct ipa_node_params *info)
|
167 |
|
|
{
|
168 |
|
|
int param_num;
|
169 |
|
|
|
170 |
|
|
param_num = count_formal_params_1 (node->decl);
|
171 |
|
|
ipa_set_param_count (info, param_num);
|
172 |
|
|
}
|
173 |
|
|
|
174 |
|
|
/* Initialize the ipa_node_params structure associated with NODE by counting
|
175 |
|
|
the function parameters, creating the descriptors and populating their
|
176 |
|
|
param_decls. */
|
177 |
|
|
|
178 |
|
|
void
|
179 |
|
|
ipa_initialize_node_params (struct cgraph_node *node)
|
180 |
|
|
{
|
181 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (node);
|
182 |
|
|
|
183 |
|
|
if (!info->params)
|
184 |
|
|
{
|
185 |
|
|
ipa_count_formal_params (node, info);
|
186 |
|
|
info->params = XCNEWVEC (struct ipa_param_descriptor,
|
187 |
|
|
ipa_get_param_count (info));
|
188 |
|
|
ipa_populate_param_decls (node, info);
|
189 |
|
|
}
|
190 |
|
|
}
|
191 |
|
|
|
192 |
|
|
/* Callback of walk_stmt_load_store_addr_ops for the visit_store and visit_addr
|
193 |
|
|
parameters. If OP is a parameter declaration, mark it as modified in the
|
194 |
|
|
info structure passed in DATA. */
|
195 |
|
|
|
196 |
|
|
static bool
|
197 |
|
|
visit_store_addr_for_mod_analysis (gimple stmt ATTRIBUTE_UNUSED,
|
198 |
|
|
tree op, void *data)
|
199 |
|
|
{
|
200 |
|
|
struct ipa_node_params *info = (struct ipa_node_params *) data;
|
201 |
|
|
|
202 |
|
|
if (TREE_CODE (op) == PARM_DECL)
|
203 |
|
|
{
|
204 |
|
|
int index = ipa_get_param_decl_index (info, op);
|
205 |
|
|
gcc_assert (index >= 0);
|
206 |
|
|
info->params[index].modified = true;
|
207 |
|
|
}
|
208 |
|
|
|
209 |
|
|
return false;
|
210 |
|
|
}
|
211 |
|
|
|
212 |
|
|
/* Compute which formal parameters of function associated with NODE are locally
|
213 |
|
|
modified or their address is taken. Note that this does not apply on
|
214 |
|
|
parameters with SSA names but those can and should be analyzed
|
215 |
|
|
differently. */
|
216 |
|
|
|
217 |
|
|
void
|
218 |
|
|
ipa_detect_param_modifications (struct cgraph_node *node)
|
219 |
|
|
{
|
220 |
|
|
tree decl = node->decl;
|
221 |
|
|
basic_block bb;
|
222 |
|
|
struct function *func;
|
223 |
|
|
gimple_stmt_iterator gsi;
|
224 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (node);
|
225 |
|
|
|
226 |
|
|
if (ipa_get_param_count (info) == 0 || info->modification_analysis_done)
|
227 |
|
|
return;
|
228 |
|
|
|
229 |
|
|
func = DECL_STRUCT_FUNCTION (decl);
|
230 |
|
|
FOR_EACH_BB_FN (bb, func)
|
231 |
|
|
for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
|
232 |
|
|
walk_stmt_load_store_addr_ops (gsi_stmt (gsi), info, NULL,
|
233 |
|
|
visit_store_addr_for_mod_analysis,
|
234 |
|
|
visit_store_addr_for_mod_analysis);
|
235 |
|
|
|
236 |
|
|
info->modification_analysis_done = 1;
|
237 |
|
|
}
|
238 |
|
|
|
239 |
|
|
/* Count number of arguments callsite CS has and store it in
|
240 |
|
|
ipa_edge_args structure corresponding to this callsite. */
|
241 |
|
|
|
242 |
|
|
void
|
243 |
|
|
ipa_count_arguments (struct cgraph_edge *cs)
|
244 |
|
|
{
|
245 |
|
|
gimple stmt;
|
246 |
|
|
int arg_num;
|
247 |
|
|
|
248 |
|
|
stmt = cs->call_stmt;
|
249 |
|
|
gcc_assert (is_gimple_call (stmt));
|
250 |
|
|
arg_num = gimple_call_num_args (stmt);
|
251 |
|
|
if (VEC_length (ipa_edge_args_t, ipa_edge_args_vector)
|
252 |
|
|
<= (unsigned) cgraph_edge_max_uid)
|
253 |
|
|
VEC_safe_grow_cleared (ipa_edge_args_t, gc,
|
254 |
|
|
ipa_edge_args_vector, cgraph_edge_max_uid + 1);
|
255 |
|
|
ipa_set_cs_argument_count (IPA_EDGE_REF (cs), arg_num);
|
256 |
|
|
}
|
257 |
|
|
|
258 |
|
|
/* Print the jump functions of all arguments on all call graph edges going from
|
259 |
|
|
NODE to file F. */
|
260 |
|
|
|
261 |
|
|
void
|
262 |
|
|
ipa_print_node_jump_functions (FILE *f, struct cgraph_node *node)
|
263 |
|
|
{
|
264 |
|
|
int i, count;
|
265 |
|
|
struct cgraph_edge *cs;
|
266 |
|
|
struct ipa_jump_func *jump_func;
|
267 |
|
|
enum jump_func_type type;
|
268 |
|
|
|
269 |
|
|
fprintf (f, " Jump functions of caller %s:\n", cgraph_node_name (node));
|
270 |
|
|
for (cs = node->callees; cs; cs = cs->next_callee)
|
271 |
|
|
{
|
272 |
|
|
if (!ipa_edge_args_info_available_for_edge_p (cs))
|
273 |
|
|
continue;
|
274 |
|
|
|
275 |
|
|
fprintf (f, " callsite %s ", cgraph_node_name (node));
|
276 |
|
|
fprintf (f, "-> %s :: \n", cgraph_node_name (cs->callee));
|
277 |
|
|
|
278 |
|
|
count = ipa_get_cs_argument_count (IPA_EDGE_REF (cs));
|
279 |
|
|
for (i = 0; i < count; i++)
|
280 |
|
|
{
|
281 |
|
|
jump_func = ipa_get_ith_jump_func (IPA_EDGE_REF (cs), i);
|
282 |
|
|
type = jump_func->type;
|
283 |
|
|
|
284 |
|
|
fprintf (f, " param %d: ", i);
|
285 |
|
|
if (type == IPA_JF_UNKNOWN)
|
286 |
|
|
fprintf (f, "UNKNOWN\n");
|
287 |
|
|
else if (type == IPA_JF_CONST)
|
288 |
|
|
{
|
289 |
|
|
tree val = jump_func->value.constant;
|
290 |
|
|
fprintf (f, "CONST: ");
|
291 |
|
|
print_generic_expr (f, val, 0);
|
292 |
|
|
fprintf (f, "\n");
|
293 |
|
|
}
|
294 |
|
|
else if (type == IPA_JF_CONST_MEMBER_PTR)
|
295 |
|
|
{
|
296 |
|
|
fprintf (f, "CONST MEMBER PTR: ");
|
297 |
|
|
print_generic_expr (f, jump_func->value.member_cst.pfn, 0);
|
298 |
|
|
fprintf (f, ", ");
|
299 |
|
|
print_generic_expr (f, jump_func->value.member_cst.delta, 0);
|
300 |
|
|
fprintf (f, "\n");
|
301 |
|
|
}
|
302 |
|
|
else if (type == IPA_JF_PASS_THROUGH)
|
303 |
|
|
{
|
304 |
|
|
fprintf (f, "PASS THROUGH: ");
|
305 |
|
|
fprintf (f, "%d, op %s ",
|
306 |
|
|
jump_func->value.pass_through.formal_id,
|
307 |
|
|
tree_code_name[(int)
|
308 |
|
|
jump_func->value.pass_through.operation]);
|
309 |
|
|
if (jump_func->value.pass_through.operation != NOP_EXPR)
|
310 |
|
|
print_generic_expr (dump_file,
|
311 |
|
|
jump_func->value.pass_through.operand, 0);
|
312 |
|
|
fprintf (dump_file, "\n");
|
313 |
|
|
}
|
314 |
|
|
else if (type == IPA_JF_ANCESTOR)
|
315 |
|
|
{
|
316 |
|
|
fprintf (f, "ANCESTOR: ");
|
317 |
|
|
fprintf (f, "%d, offset "HOST_WIDE_INT_PRINT_DEC"\n",
|
318 |
|
|
jump_func->value.ancestor.formal_id,
|
319 |
|
|
jump_func->value.ancestor.offset);
|
320 |
|
|
}
|
321 |
|
|
}
|
322 |
|
|
}
|
323 |
|
|
}
|
324 |
|
|
|
325 |
|
|
/* Print ipa_jump_func data structures of all nodes in the call graph to F. */
|
326 |
|
|
|
327 |
|
|
void
|
328 |
|
|
ipa_print_all_jump_functions (FILE *f)
|
329 |
|
|
{
|
330 |
|
|
struct cgraph_node *node;
|
331 |
|
|
|
332 |
|
|
fprintf (f, "\nJump functions:\n");
|
333 |
|
|
for (node = cgraph_nodes; node; node = node->next)
|
334 |
|
|
{
|
335 |
|
|
ipa_print_node_jump_functions (f, node);
|
336 |
|
|
}
|
337 |
|
|
}
|
338 |
|
|
|
339 |
|
|
/* Determine whether passing ssa name NAME constitutes a polynomial
|
340 |
|
|
pass-through function or getting an address of an acestor and if so, write
|
341 |
|
|
such a jump function to JFUNC. INFO describes the caller. */
|
342 |
|
|
|
343 |
|
|
static void
|
344 |
|
|
compute_complex_pass_through (struct ipa_node_params *info,
|
345 |
|
|
struct ipa_jump_func *jfunc,
|
346 |
|
|
tree name)
|
347 |
|
|
{
|
348 |
|
|
HOST_WIDE_INT offset, size, max_size;
|
349 |
|
|
tree op1, op2, type;
|
350 |
|
|
int index;
|
351 |
|
|
gimple stmt = SSA_NAME_DEF_STMT (name);
|
352 |
|
|
|
353 |
|
|
if (!is_gimple_assign (stmt))
|
354 |
|
|
return;
|
355 |
|
|
op1 = gimple_assign_rhs1 (stmt);
|
356 |
|
|
op2 = gimple_assign_rhs2 (stmt);
|
357 |
|
|
|
358 |
|
|
if (op2)
|
359 |
|
|
{
|
360 |
|
|
if (TREE_CODE (op1) != SSA_NAME
|
361 |
|
|
|| !SSA_NAME_IS_DEFAULT_DEF (op1)
|
362 |
|
|
|| (TREE_CODE_CLASS (gimple_expr_code (stmt)) != tcc_comparison
|
363 |
|
|
&& !useless_type_conversion_p (TREE_TYPE (name),
|
364 |
|
|
TREE_TYPE (op1)))
|
365 |
|
|
|| !is_gimple_ip_invariant (op2))
|
366 |
|
|
return;
|
367 |
|
|
|
368 |
|
|
index = ipa_get_param_decl_index (info, SSA_NAME_VAR (op1));
|
369 |
|
|
if (index >= 0)
|
370 |
|
|
{
|
371 |
|
|
jfunc->type = IPA_JF_PASS_THROUGH;
|
372 |
|
|
jfunc->value.pass_through.formal_id = index;
|
373 |
|
|
jfunc->value.pass_through.operation = gimple_assign_rhs_code (stmt);
|
374 |
|
|
jfunc->value.pass_through.operand = op2;
|
375 |
|
|
}
|
376 |
|
|
return;
|
377 |
|
|
}
|
378 |
|
|
|
379 |
|
|
if (TREE_CODE (op1) != ADDR_EXPR)
|
380 |
|
|
return;
|
381 |
|
|
op1 = TREE_OPERAND (op1, 0);
|
382 |
|
|
type = TREE_TYPE (op1);
|
383 |
|
|
|
384 |
|
|
op1 = get_ref_base_and_extent (op1, &offset, &size, &max_size);
|
385 |
|
|
if (TREE_CODE (op1) != INDIRECT_REF
|
386 |
|
|
/* If this is a varying address, punt. */
|
387 |
|
|
|| max_size == -1
|
388 |
|
|
|| max_size != size)
|
389 |
|
|
return;
|
390 |
|
|
op1 = TREE_OPERAND (op1, 0);
|
391 |
|
|
if (TREE_CODE (op1) != SSA_NAME
|
392 |
|
|
|| !SSA_NAME_IS_DEFAULT_DEF (op1))
|
393 |
|
|
return;
|
394 |
|
|
|
395 |
|
|
index = ipa_get_param_decl_index (info, SSA_NAME_VAR (op1));
|
396 |
|
|
if (index >= 0)
|
397 |
|
|
{
|
398 |
|
|
jfunc->type = IPA_JF_ANCESTOR;
|
399 |
|
|
jfunc->value.ancestor.formal_id = index;
|
400 |
|
|
jfunc->value.ancestor.offset = offset;
|
401 |
|
|
jfunc->value.ancestor.type = type;
|
402 |
|
|
}
|
403 |
|
|
}
|
404 |
|
|
|
405 |
|
|
|
406 |
|
|
/* Determine the jump functions of scalar arguments. Scalar means SSA names
|
407 |
|
|
and constants of a number of selected types. INFO is the ipa_node_params
|
408 |
|
|
structure associated with the caller, FUNCTIONS is a pointer to an array of
|
409 |
|
|
jump function structures associated with CALL which is the call statement
|
410 |
|
|
being examined.*/
|
411 |
|
|
|
412 |
|
|
static void
|
413 |
|
|
compute_scalar_jump_functions (struct ipa_node_params *info,
|
414 |
|
|
struct ipa_jump_func *functions,
|
415 |
|
|
gimple call)
|
416 |
|
|
{
|
417 |
|
|
tree arg;
|
418 |
|
|
unsigned num = 0;
|
419 |
|
|
|
420 |
|
|
for (num = 0; num < gimple_call_num_args (call); num++)
|
421 |
|
|
{
|
422 |
|
|
arg = gimple_call_arg (call, num);
|
423 |
|
|
|
424 |
|
|
if (is_gimple_ip_invariant (arg))
|
425 |
|
|
{
|
426 |
|
|
functions[num].type = IPA_JF_CONST;
|
427 |
|
|
functions[num].value.constant = arg;
|
428 |
|
|
}
|
429 |
|
|
else if (TREE_CODE (arg) == SSA_NAME)
|
430 |
|
|
{
|
431 |
|
|
if (SSA_NAME_IS_DEFAULT_DEF (arg))
|
432 |
|
|
{
|
433 |
|
|
int index = ipa_get_param_decl_index (info, SSA_NAME_VAR (arg));
|
434 |
|
|
|
435 |
|
|
if (index >= 0)
|
436 |
|
|
{
|
437 |
|
|
functions[num].type = IPA_JF_PASS_THROUGH;
|
438 |
|
|
functions[num].value.pass_through.formal_id = index;
|
439 |
|
|
functions[num].value.pass_through.operation = NOP_EXPR;
|
440 |
|
|
}
|
441 |
|
|
}
|
442 |
|
|
else
|
443 |
|
|
compute_complex_pass_through (info, &functions[num], arg);
|
444 |
|
|
}
|
445 |
|
|
}
|
446 |
|
|
}
|
447 |
|
|
|
448 |
|
|
/* Inspect the given TYPE and return true iff it has the same structure (the
|
449 |
|
|
same number of fields of the same types) as a C++ member pointer. If
|
450 |
|
|
METHOD_PTR and DELTA are non-NULL, store the trees representing the
|
451 |
|
|
corresponding fields there. */
|
452 |
|
|
|
453 |
|
|
static bool
|
454 |
|
|
type_like_member_ptr_p (tree type, tree *method_ptr, tree *delta)
|
455 |
|
|
{
|
456 |
|
|
tree fld;
|
457 |
|
|
|
458 |
|
|
if (TREE_CODE (type) != RECORD_TYPE)
|
459 |
|
|
return false;
|
460 |
|
|
|
461 |
|
|
fld = TYPE_FIELDS (type);
|
462 |
|
|
if (!fld || !POINTER_TYPE_P (TREE_TYPE (fld))
|
463 |
|
|
|| TREE_CODE (TREE_TYPE (TREE_TYPE (fld))) != METHOD_TYPE)
|
464 |
|
|
return false;
|
465 |
|
|
|
466 |
|
|
if (method_ptr)
|
467 |
|
|
*method_ptr = fld;
|
468 |
|
|
|
469 |
|
|
fld = TREE_CHAIN (fld);
|
470 |
|
|
if (!fld || INTEGRAL_TYPE_P (fld))
|
471 |
|
|
return false;
|
472 |
|
|
if (delta)
|
473 |
|
|
*delta = fld;
|
474 |
|
|
|
475 |
|
|
if (TREE_CHAIN (fld))
|
476 |
|
|
return false;
|
477 |
|
|
|
478 |
|
|
return true;
|
479 |
|
|
}
|
480 |
|
|
|
481 |
|
|
/* Go through arguments of the CALL and for every one that looks like a member
|
482 |
|
|
pointer, check whether it can be safely declared pass-through and if so,
|
483 |
|
|
mark that to the corresponding item of jump FUNCTIONS. Return true iff
|
484 |
|
|
there are non-pass-through member pointers within the arguments. INFO
|
485 |
|
|
describes formal parameters of the caller. */
|
486 |
|
|
|
487 |
|
|
static bool
|
488 |
|
|
compute_pass_through_member_ptrs (struct ipa_node_params *info,
|
489 |
|
|
struct ipa_jump_func *functions,
|
490 |
|
|
gimple call)
|
491 |
|
|
{
|
492 |
|
|
bool undecided_members = false;
|
493 |
|
|
unsigned num;
|
494 |
|
|
tree arg;
|
495 |
|
|
|
496 |
|
|
for (num = 0; num < gimple_call_num_args (call); num++)
|
497 |
|
|
{
|
498 |
|
|
arg = gimple_call_arg (call, num);
|
499 |
|
|
|
500 |
|
|
if (type_like_member_ptr_p (TREE_TYPE (arg), NULL, NULL))
|
501 |
|
|
{
|
502 |
|
|
if (TREE_CODE (arg) == PARM_DECL)
|
503 |
|
|
{
|
504 |
|
|
int index = ipa_get_param_decl_index (info, arg);
|
505 |
|
|
|
506 |
|
|
gcc_assert (index >=0);
|
507 |
|
|
if (!ipa_is_param_modified (info, index))
|
508 |
|
|
{
|
509 |
|
|
functions[num].type = IPA_JF_PASS_THROUGH;
|
510 |
|
|
functions[num].value.pass_through.formal_id = index;
|
511 |
|
|
functions[num].value.pass_through.operation = NOP_EXPR;
|
512 |
|
|
}
|
513 |
|
|
else
|
514 |
|
|
undecided_members = true;
|
515 |
|
|
}
|
516 |
|
|
else
|
517 |
|
|
undecided_members = true;
|
518 |
|
|
}
|
519 |
|
|
}
|
520 |
|
|
|
521 |
|
|
return undecided_members;
|
522 |
|
|
}
|
523 |
|
|
|
524 |
|
|
/* Simple function filling in a member pointer constant jump function (with PFN
|
525 |
|
|
and DELTA as the constant value) into JFUNC. */
|
526 |
|
|
|
527 |
|
|
static void
|
528 |
|
|
fill_member_ptr_cst_jump_function (struct ipa_jump_func *jfunc,
|
529 |
|
|
tree pfn, tree delta)
|
530 |
|
|
{
|
531 |
|
|
jfunc->type = IPA_JF_CONST_MEMBER_PTR;
|
532 |
|
|
jfunc->value.member_cst.pfn = pfn;
|
533 |
|
|
jfunc->value.member_cst.delta = delta;
|
534 |
|
|
}
|
535 |
|
|
|
536 |
|
|
/* If RHS is an SSA_NAMe and it is defined by a simple copy assign statement,
|
537 |
|
|
return the rhs of its defining statement. */
|
538 |
|
|
|
539 |
|
|
static inline tree
|
540 |
|
|
get_ssa_def_if_simple_copy (tree rhs)
|
541 |
|
|
{
|
542 |
|
|
while (TREE_CODE (rhs) == SSA_NAME && !SSA_NAME_IS_DEFAULT_DEF (rhs))
|
543 |
|
|
{
|
544 |
|
|
gimple def_stmt = SSA_NAME_DEF_STMT (rhs);
|
545 |
|
|
|
546 |
|
|
if (gimple_assign_single_p (def_stmt))
|
547 |
|
|
rhs = gimple_assign_rhs1 (def_stmt);
|
548 |
|
|
else
|
549 |
|
|
break;
|
550 |
|
|
}
|
551 |
|
|
return rhs;
|
552 |
|
|
}
|
553 |
|
|
|
554 |
|
|
/* Traverse statements from CALL backwards, scanning whether the argument ARG
|
555 |
|
|
which is a member pointer is filled in with constant values. If it is, fill
|
556 |
|
|
the jump function JFUNC in appropriately. METHOD_FIELD and DELTA_FIELD are
|
557 |
|
|
fields of the record type of the member pointer. To give an example, we
|
558 |
|
|
look for a pattern looking like the following:
|
559 |
|
|
|
560 |
|
|
D.2515.__pfn ={v} printStuff;
|
561 |
|
|
D.2515.__delta ={v} 0;
|
562 |
|
|
i_1 = doprinting (D.2515); */
|
563 |
|
|
|
564 |
|
|
static void
|
565 |
|
|
determine_cst_member_ptr (gimple call, tree arg, tree method_field,
|
566 |
|
|
tree delta_field, struct ipa_jump_func *jfunc)
|
567 |
|
|
{
|
568 |
|
|
gimple_stmt_iterator gsi;
|
569 |
|
|
tree method = NULL_TREE;
|
570 |
|
|
tree delta = NULL_TREE;
|
571 |
|
|
|
572 |
|
|
gsi = gsi_for_stmt (call);
|
573 |
|
|
|
574 |
|
|
gsi_prev (&gsi);
|
575 |
|
|
for (; !gsi_end_p (gsi); gsi_prev (&gsi))
|
576 |
|
|
{
|
577 |
|
|
gimple stmt = gsi_stmt (gsi);
|
578 |
|
|
tree lhs, rhs, fld;
|
579 |
|
|
|
580 |
|
|
if (!gimple_assign_single_p (stmt))
|
581 |
|
|
return;
|
582 |
|
|
|
583 |
|
|
lhs = gimple_assign_lhs (stmt);
|
584 |
|
|
rhs = gimple_assign_rhs1 (stmt);
|
585 |
|
|
|
586 |
|
|
if (TREE_CODE (lhs) != COMPONENT_REF
|
587 |
|
|
|| TREE_OPERAND (lhs, 0) != arg)
|
588 |
|
|
continue;
|
589 |
|
|
|
590 |
|
|
fld = TREE_OPERAND (lhs, 1);
|
591 |
|
|
if (!method && fld == method_field)
|
592 |
|
|
{
|
593 |
|
|
rhs = get_ssa_def_if_simple_copy (rhs);
|
594 |
|
|
if (TREE_CODE (rhs) == ADDR_EXPR
|
595 |
|
|
&& TREE_CODE (TREE_OPERAND (rhs, 0)) == FUNCTION_DECL
|
596 |
|
|
&& TREE_CODE (TREE_TYPE (TREE_OPERAND (rhs, 0))) == METHOD_TYPE)
|
597 |
|
|
{
|
598 |
|
|
method = TREE_OPERAND (rhs, 0);
|
599 |
|
|
if (delta)
|
600 |
|
|
{
|
601 |
|
|
fill_member_ptr_cst_jump_function (jfunc, rhs, delta);
|
602 |
|
|
return;
|
603 |
|
|
}
|
604 |
|
|
}
|
605 |
|
|
else
|
606 |
|
|
return;
|
607 |
|
|
}
|
608 |
|
|
|
609 |
|
|
if (!delta && fld == delta_field)
|
610 |
|
|
{
|
611 |
|
|
rhs = get_ssa_def_if_simple_copy (rhs);
|
612 |
|
|
if (TREE_CODE (rhs) == INTEGER_CST)
|
613 |
|
|
{
|
614 |
|
|
delta = rhs;
|
615 |
|
|
if (method)
|
616 |
|
|
{
|
617 |
|
|
fill_member_ptr_cst_jump_function (jfunc, rhs, delta);
|
618 |
|
|
return;
|
619 |
|
|
}
|
620 |
|
|
}
|
621 |
|
|
else
|
622 |
|
|
return;
|
623 |
|
|
}
|
624 |
|
|
}
|
625 |
|
|
|
626 |
|
|
return;
|
627 |
|
|
}
|
628 |
|
|
|
629 |
|
|
/* Go through the arguments of the CALL and for every member pointer within
|
630 |
|
|
tries determine whether it is a constant. If it is, create a corresponding
|
631 |
|
|
constant jump function in FUNCTIONS which is an array of jump functions
|
632 |
|
|
associated with the call. */
|
633 |
|
|
|
634 |
|
|
static void
|
635 |
|
|
compute_cst_member_ptr_arguments (struct ipa_jump_func *functions,
|
636 |
|
|
gimple call)
|
637 |
|
|
{
|
638 |
|
|
unsigned num;
|
639 |
|
|
tree arg, method_field, delta_field;
|
640 |
|
|
|
641 |
|
|
for (num = 0; num < gimple_call_num_args (call); num++)
|
642 |
|
|
{
|
643 |
|
|
arg = gimple_call_arg (call, num);
|
644 |
|
|
|
645 |
|
|
if (functions[num].type == IPA_JF_UNKNOWN
|
646 |
|
|
&& type_like_member_ptr_p (TREE_TYPE (arg), &method_field,
|
647 |
|
|
&delta_field))
|
648 |
|
|
determine_cst_member_ptr (call, arg, method_field, delta_field,
|
649 |
|
|
&functions[num]);
|
650 |
|
|
}
|
651 |
|
|
}
|
652 |
|
|
|
653 |
|
|
/* Compute jump function for all arguments of callsite CS and insert the
|
654 |
|
|
information in the jump_functions array in the ipa_edge_args corresponding
|
655 |
|
|
to this callsite. */
|
656 |
|
|
|
657 |
|
|
void
|
658 |
|
|
ipa_compute_jump_functions (struct cgraph_edge *cs)
|
659 |
|
|
{
|
660 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (cs->caller);
|
661 |
|
|
struct ipa_edge_args *arguments = IPA_EDGE_REF (cs);
|
662 |
|
|
gimple call;
|
663 |
|
|
|
664 |
|
|
if (ipa_get_cs_argument_count (arguments) == 0 || arguments->jump_functions)
|
665 |
|
|
return;
|
666 |
|
|
arguments->jump_functions = GGC_CNEWVEC (struct ipa_jump_func,
|
667 |
|
|
ipa_get_cs_argument_count (arguments));
|
668 |
|
|
|
669 |
|
|
call = cs->call_stmt;
|
670 |
|
|
gcc_assert (is_gimple_call (call));
|
671 |
|
|
|
672 |
|
|
/* We will deal with constants and SSA scalars first: */
|
673 |
|
|
compute_scalar_jump_functions (info, arguments->jump_functions, call);
|
674 |
|
|
|
675 |
|
|
/* Let's check whether there are any potential member pointers and if so,
|
676 |
|
|
whether we can determine their functions as pass_through. */
|
677 |
|
|
if (!compute_pass_through_member_ptrs (info, arguments->jump_functions, call))
|
678 |
|
|
return;
|
679 |
|
|
|
680 |
|
|
/* Finally, let's check whether we actually pass a new constant member
|
681 |
|
|
pointer here... */
|
682 |
|
|
compute_cst_member_ptr_arguments (arguments->jump_functions, call);
|
683 |
|
|
}
|
684 |
|
|
|
685 |
|
|
/* If RHS looks like a rhs of a statement loading pfn from a member
|
686 |
|
|
pointer formal parameter, return the parameter, otherwise return
|
687 |
|
|
NULL. If USE_DELTA, then we look for a use of the delta field
|
688 |
|
|
rather than the pfn. */
|
689 |
|
|
|
690 |
|
|
static tree
|
691 |
|
|
ipa_get_member_ptr_load_param (tree rhs, bool use_delta)
|
692 |
|
|
{
|
693 |
|
|
tree rec, fld;
|
694 |
|
|
tree ptr_field;
|
695 |
|
|
tree delta_field;
|
696 |
|
|
|
697 |
|
|
if (TREE_CODE (rhs) != COMPONENT_REF)
|
698 |
|
|
return NULL_TREE;
|
699 |
|
|
|
700 |
|
|
rec = TREE_OPERAND (rhs, 0);
|
701 |
|
|
if (TREE_CODE (rec) != PARM_DECL
|
702 |
|
|
|| !type_like_member_ptr_p (TREE_TYPE (rec), &ptr_field, &delta_field))
|
703 |
|
|
return NULL_TREE;
|
704 |
|
|
|
705 |
|
|
fld = TREE_OPERAND (rhs, 1);
|
706 |
|
|
if (use_delta ? (fld == delta_field) : (fld == ptr_field))
|
707 |
|
|
return rec;
|
708 |
|
|
else
|
709 |
|
|
return NULL_TREE;
|
710 |
|
|
}
|
711 |
|
|
|
712 |
|
|
/* If STMT looks like a statement loading a value from a member pointer formal
|
713 |
|
|
parameter, this function returns that parameter. */
|
714 |
|
|
|
715 |
|
|
static tree
|
716 |
|
|
ipa_get_stmt_member_ptr_load_param (gimple stmt, bool use_delta)
|
717 |
|
|
{
|
718 |
|
|
tree rhs;
|
719 |
|
|
|
720 |
|
|
if (!gimple_assign_single_p (stmt))
|
721 |
|
|
return NULL_TREE;
|
722 |
|
|
|
723 |
|
|
rhs = gimple_assign_rhs1 (stmt);
|
724 |
|
|
return ipa_get_member_ptr_load_param (rhs, use_delta);
|
725 |
|
|
}
|
726 |
|
|
|
727 |
|
|
/* Returns true iff T is an SSA_NAME defined by a statement. */
|
728 |
|
|
|
729 |
|
|
static bool
|
730 |
|
|
ipa_is_ssa_with_stmt_def (tree t)
|
731 |
|
|
{
|
732 |
|
|
if (TREE_CODE (t) == SSA_NAME
|
733 |
|
|
&& !SSA_NAME_IS_DEFAULT_DEF (t))
|
734 |
|
|
return true;
|
735 |
|
|
else
|
736 |
|
|
return false;
|
737 |
|
|
}
|
738 |
|
|
|
739 |
|
|
/* Creates a new note describing a call to a parameter number FORMAL_ID and
|
740 |
|
|
attaches it to the linked list of INFO. It also sets the called flag of the
|
741 |
|
|
parameter. STMT is the corresponding call statement. */
|
742 |
|
|
|
743 |
|
|
static void
|
744 |
|
|
ipa_note_param_call (struct ipa_node_params *info, int formal_id,
|
745 |
|
|
gimple stmt)
|
746 |
|
|
{
|
747 |
|
|
struct ipa_param_call_note *note;
|
748 |
|
|
basic_block bb = gimple_bb (stmt);
|
749 |
|
|
|
750 |
|
|
note = XCNEW (struct ipa_param_call_note);
|
751 |
|
|
note->formal_id = formal_id;
|
752 |
|
|
note->stmt = stmt;
|
753 |
|
|
note->lto_stmt_uid = gimple_uid (stmt);
|
754 |
|
|
note->count = bb->count;
|
755 |
|
|
note->frequency = compute_call_stmt_bb_frequency (current_function_decl, bb);
|
756 |
|
|
note->loop_nest = bb->loop_depth;
|
757 |
|
|
|
758 |
|
|
note->next = info->param_calls;
|
759 |
|
|
info->param_calls = note;
|
760 |
|
|
|
761 |
|
|
return;
|
762 |
|
|
}
|
763 |
|
|
|
764 |
|
|
/* Analyze the CALL and examine uses of formal parameters of the caller
|
765 |
|
|
(described by INFO). Currently it checks whether the call calls a pointer
|
766 |
|
|
that is a formal parameter and if so, the parameter is marked with the
|
767 |
|
|
called flag and a note describing the call is created. This is very simple
|
768 |
|
|
for ordinary pointers represented in SSA but not-so-nice when it comes to
|
769 |
|
|
member pointers. The ugly part of this function does nothing more than
|
770 |
|
|
tries to match the pattern of such a call. An example of such a pattern is
|
771 |
|
|
the gimple dump below, the call is on the last line:
|
772 |
|
|
|
773 |
|
|
<bb 2>:
|
774 |
|
|
f$__delta_5 = f.__delta;
|
775 |
|
|
f$__pfn_24 = f.__pfn;
|
776 |
|
|
D.2496_3 = (int) f$__pfn_24;
|
777 |
|
|
D.2497_4 = D.2496_3 & 1;
|
778 |
|
|
if (D.2497_4 != 0)
|
779 |
|
|
goto <bb 3>;
|
780 |
|
|
else
|
781 |
|
|
goto <bb 4>;
|
782 |
|
|
|
783 |
|
|
<bb 3>:
|
784 |
|
|
D.2500_7 = (unsigned int) f$__delta_5;
|
785 |
|
|
D.2501_8 = &S + D.2500_7;
|
786 |
|
|
D.2502_9 = (int (*__vtbl_ptr_type) (void) * *) D.2501_8;
|
787 |
|
|
D.2503_10 = *D.2502_9;
|
788 |
|
|
D.2504_12 = f$__pfn_24 + -1;
|
789 |
|
|
D.2505_13 = (unsigned int) D.2504_12;
|
790 |
|
|
D.2506_14 = D.2503_10 + D.2505_13;
|
791 |
|
|
D.2507_15 = *D.2506_14;
|
792 |
|
|
iftmp.11_16 = (String:: *) D.2507_15;
|
793 |
|
|
|
794 |
|
|
<bb 4>:
|
795 |
|
|
# iftmp.11_1 = PHI <iftmp.11_16(3), f$__pfn_24(2)>
|
796 |
|
|
D.2500_19 = (unsigned int) f$__delta_5;
|
797 |
|
|
D.2508_20 = &S + D.2500_19;
|
798 |
|
|
D.2493_21 = iftmp.11_1 (D.2508_20, 4);
|
799 |
|
|
|
800 |
|
|
Such patterns are results of simple calls to a member pointer:
|
801 |
|
|
|
802 |
|
|
int doprinting (int (MyString::* f)(int) const)
|
803 |
|
|
{
|
804 |
|
|
MyString S ("somestring");
|
805 |
|
|
|
806 |
|
|
return (S.*f)(4);
|
807 |
|
|
}
|
808 |
|
|
*/
|
809 |
|
|
|
810 |
|
|
static void
|
811 |
|
|
ipa_analyze_call_uses (struct ipa_node_params *info, gimple call)
|
812 |
|
|
{
|
813 |
|
|
tree target = gimple_call_fn (call);
|
814 |
|
|
gimple def;
|
815 |
|
|
tree var;
|
816 |
|
|
tree n1, n2;
|
817 |
|
|
gimple d1, d2;
|
818 |
|
|
tree rec, rec2, cond;
|
819 |
|
|
gimple branch;
|
820 |
|
|
int index;
|
821 |
|
|
basic_block bb, virt_bb, join;
|
822 |
|
|
|
823 |
|
|
if (TREE_CODE (target) != SSA_NAME)
|
824 |
|
|
return;
|
825 |
|
|
|
826 |
|
|
var = SSA_NAME_VAR (target);
|
827 |
|
|
if (SSA_NAME_IS_DEFAULT_DEF (target))
|
828 |
|
|
{
|
829 |
|
|
/* assuming TREE_CODE (var) == PARM_DECL */
|
830 |
|
|
index = ipa_get_param_decl_index (info, var);
|
831 |
|
|
if (index >= 0)
|
832 |
|
|
ipa_note_param_call (info, index, call);
|
833 |
|
|
return;
|
834 |
|
|
}
|
835 |
|
|
|
836 |
|
|
/* Now we need to try to match the complex pattern of calling a member
|
837 |
|
|
pointer. */
|
838 |
|
|
|
839 |
|
|
if (!POINTER_TYPE_P (TREE_TYPE (target))
|
840 |
|
|
|| TREE_CODE (TREE_TYPE (TREE_TYPE (target))) != METHOD_TYPE)
|
841 |
|
|
return;
|
842 |
|
|
|
843 |
|
|
def = SSA_NAME_DEF_STMT (target);
|
844 |
|
|
if (gimple_code (def) != GIMPLE_PHI)
|
845 |
|
|
return;
|
846 |
|
|
|
847 |
|
|
if (gimple_phi_num_args (def) != 2)
|
848 |
|
|
return;
|
849 |
|
|
|
850 |
|
|
/* First, we need to check whether one of these is a load from a member
|
851 |
|
|
pointer that is a parameter to this function. */
|
852 |
|
|
n1 = PHI_ARG_DEF (def, 0);
|
853 |
|
|
n2 = PHI_ARG_DEF (def, 1);
|
854 |
|
|
if (!ipa_is_ssa_with_stmt_def (n1) || !ipa_is_ssa_with_stmt_def (n2))
|
855 |
|
|
return;
|
856 |
|
|
d1 = SSA_NAME_DEF_STMT (n1);
|
857 |
|
|
d2 = SSA_NAME_DEF_STMT (n2);
|
858 |
|
|
|
859 |
|
|
if ((rec = ipa_get_stmt_member_ptr_load_param (d1, false)))
|
860 |
|
|
{
|
861 |
|
|
if (ipa_get_stmt_member_ptr_load_param (d2, false))
|
862 |
|
|
return;
|
863 |
|
|
|
864 |
|
|
bb = gimple_bb (d1);
|
865 |
|
|
virt_bb = gimple_bb (d2);
|
866 |
|
|
}
|
867 |
|
|
else if ((rec = ipa_get_stmt_member_ptr_load_param (d2, false)))
|
868 |
|
|
{
|
869 |
|
|
bb = gimple_bb (d2);
|
870 |
|
|
virt_bb = gimple_bb (d1);
|
871 |
|
|
}
|
872 |
|
|
else
|
873 |
|
|
return;
|
874 |
|
|
|
875 |
|
|
/* Second, we need to check that the basic blocks are laid out in the way
|
876 |
|
|
corresponding to the pattern. */
|
877 |
|
|
|
878 |
|
|
join = gimple_bb (def);
|
879 |
|
|
if (!single_pred_p (virt_bb) || !single_succ_p (virt_bb)
|
880 |
|
|
|| single_pred (virt_bb) != bb
|
881 |
|
|
|| single_succ (virt_bb) != join)
|
882 |
|
|
return;
|
883 |
|
|
|
884 |
|
|
/* Third, let's see that the branching is done depending on the least
|
885 |
|
|
significant bit of the pfn. */
|
886 |
|
|
|
887 |
|
|
branch = last_stmt (bb);
|
888 |
|
|
if (gimple_code (branch) != GIMPLE_COND)
|
889 |
|
|
return;
|
890 |
|
|
|
891 |
|
|
if (gimple_cond_code (branch) != NE_EXPR
|
892 |
|
|
|| !integer_zerop (gimple_cond_rhs (branch)))
|
893 |
|
|
return;
|
894 |
|
|
|
895 |
|
|
cond = gimple_cond_lhs (branch);
|
896 |
|
|
if (!ipa_is_ssa_with_stmt_def (cond))
|
897 |
|
|
return;
|
898 |
|
|
|
899 |
|
|
def = SSA_NAME_DEF_STMT (cond);
|
900 |
|
|
if (!is_gimple_assign (def)
|
901 |
|
|
|| gimple_assign_rhs_code (def) != BIT_AND_EXPR
|
902 |
|
|
|| !integer_onep (gimple_assign_rhs2 (def)))
|
903 |
|
|
return;
|
904 |
|
|
|
905 |
|
|
cond = gimple_assign_rhs1 (def);
|
906 |
|
|
if (!ipa_is_ssa_with_stmt_def (cond))
|
907 |
|
|
return;
|
908 |
|
|
|
909 |
|
|
def = SSA_NAME_DEF_STMT (cond);
|
910 |
|
|
|
911 |
|
|
if (is_gimple_assign (def)
|
912 |
|
|
&& CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (def)))
|
913 |
|
|
{
|
914 |
|
|
cond = gimple_assign_rhs1 (def);
|
915 |
|
|
if (!ipa_is_ssa_with_stmt_def (cond))
|
916 |
|
|
return;
|
917 |
|
|
def = SSA_NAME_DEF_STMT (cond);
|
918 |
|
|
}
|
919 |
|
|
|
920 |
|
|
rec2 = ipa_get_stmt_member_ptr_load_param (def,
|
921 |
|
|
(TARGET_PTRMEMFUNC_VBIT_LOCATION
|
922 |
|
|
== ptrmemfunc_vbit_in_delta));
|
923 |
|
|
|
924 |
|
|
if (rec != rec2)
|
925 |
|
|
return;
|
926 |
|
|
|
927 |
|
|
index = ipa_get_param_decl_index (info, rec);
|
928 |
|
|
if (index >= 0 && !ipa_is_param_modified (info, index))
|
929 |
|
|
ipa_note_param_call (info, index, call);
|
930 |
|
|
|
931 |
|
|
return;
|
932 |
|
|
}
|
933 |
|
|
|
934 |
|
|
/* Analyze the statement STMT with respect to formal parameters (described in
|
935 |
|
|
INFO) and their uses. Currently it only checks whether formal parameters
|
936 |
|
|
are called. */
|
937 |
|
|
|
938 |
|
|
static void
|
939 |
|
|
ipa_analyze_stmt_uses (struct ipa_node_params *info, gimple stmt)
|
940 |
|
|
{
|
941 |
|
|
if (is_gimple_call (stmt))
|
942 |
|
|
ipa_analyze_call_uses (info, stmt);
|
943 |
|
|
}
|
944 |
|
|
|
945 |
|
|
/* Scan the function body of NODE and inspect the uses of formal parameters.
|
946 |
|
|
Store the findings in various structures of the associated ipa_node_params
|
947 |
|
|
structure, such as parameter flags, notes etc. */
|
948 |
|
|
|
949 |
|
|
void
|
950 |
|
|
ipa_analyze_params_uses (struct cgraph_node *node)
|
951 |
|
|
{
|
952 |
|
|
tree decl = node->decl;
|
953 |
|
|
basic_block bb;
|
954 |
|
|
struct function *func;
|
955 |
|
|
gimple_stmt_iterator gsi;
|
956 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (node);
|
957 |
|
|
|
958 |
|
|
if (ipa_get_param_count (info) == 0 || info->uses_analysis_done)
|
959 |
|
|
return;
|
960 |
|
|
|
961 |
|
|
func = DECL_STRUCT_FUNCTION (decl);
|
962 |
|
|
FOR_EACH_BB_FN (bb, func)
|
963 |
|
|
{
|
964 |
|
|
for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
|
965 |
|
|
{
|
966 |
|
|
gimple stmt = gsi_stmt (gsi);
|
967 |
|
|
ipa_analyze_stmt_uses (info, stmt);
|
968 |
|
|
}
|
969 |
|
|
}
|
970 |
|
|
|
971 |
|
|
info->uses_analysis_done = 1;
|
972 |
|
|
}
|
973 |
|
|
|
974 |
|
|
/* Update the jump functions associated with call graph edge E when the call
|
975 |
|
|
graph edge CS is being inlined, assuming that E->caller is already (possibly
|
976 |
|
|
indirectly) inlined into CS->callee and that E has not been inlined.
|
977 |
|
|
|
978 |
|
|
We keep pass through functions only if they do not contain any operation.
|
979 |
|
|
This is sufficient for inlining and greately simplifies things. */
|
980 |
|
|
|
981 |
|
|
static void
|
982 |
|
|
update_jump_functions_after_inlining (struct cgraph_edge *cs,
|
983 |
|
|
struct cgraph_edge *e)
|
984 |
|
|
{
|
985 |
|
|
struct ipa_edge_args *top = IPA_EDGE_REF (cs);
|
986 |
|
|
struct ipa_edge_args *args = IPA_EDGE_REF (e);
|
987 |
|
|
int count = ipa_get_cs_argument_count (args);
|
988 |
|
|
int i;
|
989 |
|
|
|
990 |
|
|
for (i = 0; i < count; i++)
|
991 |
|
|
{
|
992 |
|
|
struct ipa_jump_func *src, *dst = ipa_get_ith_jump_func (args, i);
|
993 |
|
|
|
994 |
|
|
if (dst->type == IPA_JF_ANCESTOR)
|
995 |
|
|
{
|
996 |
|
|
dst->type = IPA_JF_UNKNOWN;
|
997 |
|
|
continue;
|
998 |
|
|
}
|
999 |
|
|
|
1000 |
|
|
if (dst->type != IPA_JF_PASS_THROUGH)
|
1001 |
|
|
continue;
|
1002 |
|
|
|
1003 |
|
|
/* We must check range due to calls with variable number of arguments and
|
1004 |
|
|
we cannot combine jump functions with operations. */
|
1005 |
|
|
if (dst->value.pass_through.operation != NOP_EXPR
|
1006 |
|
|
|| (dst->value.pass_through.formal_id
|
1007 |
|
|
>= ipa_get_cs_argument_count (top)))
|
1008 |
|
|
{
|
1009 |
|
|
dst->type = IPA_JF_UNKNOWN;
|
1010 |
|
|
continue;
|
1011 |
|
|
}
|
1012 |
|
|
|
1013 |
|
|
src = ipa_get_ith_jump_func (top, dst->value.pass_through.formal_id);
|
1014 |
|
|
*dst = *src;
|
1015 |
|
|
}
|
1016 |
|
|
}
|
1017 |
|
|
|
1018 |
|
|
/* Print out a debug message to file F that we have discovered that an indirect
|
1019 |
|
|
call described by NT is in fact a call of a known constant function described
|
1020 |
|
|
by JFUNC. NODE is the node where the call is. */
|
1021 |
|
|
|
1022 |
|
|
static void
|
1023 |
|
|
print_edge_addition_message (FILE *f, struct ipa_param_call_note *nt,
|
1024 |
|
|
struct ipa_jump_func *jfunc,
|
1025 |
|
|
struct cgraph_node *node)
|
1026 |
|
|
{
|
1027 |
|
|
fprintf (f, "ipa-prop: Discovered an indirect call to a known target (");
|
1028 |
|
|
if (jfunc->type == IPA_JF_CONST_MEMBER_PTR)
|
1029 |
|
|
{
|
1030 |
|
|
print_node_brief (f, "", jfunc->value.member_cst.pfn, 0);
|
1031 |
|
|
print_node_brief (f, ", ", jfunc->value.member_cst.delta, 0);
|
1032 |
|
|
}
|
1033 |
|
|
else
|
1034 |
|
|
print_node_brief(f, "", jfunc->value.constant, 0);
|
1035 |
|
|
|
1036 |
|
|
fprintf (f, ") in %s: ", cgraph_node_name (node));
|
1037 |
|
|
print_gimple_stmt (f, nt->stmt, 2, TDF_SLIM);
|
1038 |
|
|
}
|
1039 |
|
|
|
1040 |
|
|
/* Update the param called notes associated with NODE when CS is being inlined,
|
1041 |
|
|
assuming NODE is (potentially indirectly) inlined into CS->callee.
|
1042 |
|
|
Moreover, if the callee is discovered to be constant, create a new cgraph
|
1043 |
|
|
edge for it. Newly discovered indirect edges will be added to *NEW_EDGES,
|
1044 |
|
|
unless NEW_EDGES is NULL. Return true iff a new edge(s) were created. */
|
1045 |
|
|
|
1046 |
|
|
static bool
|
1047 |
|
|
update_call_notes_after_inlining (struct cgraph_edge *cs,
|
1048 |
|
|
struct cgraph_node *node,
|
1049 |
|
|
VEC (cgraph_edge_p, heap) **new_edges)
|
1050 |
|
|
{
|
1051 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (node);
|
1052 |
|
|
struct ipa_edge_args *top = IPA_EDGE_REF (cs);
|
1053 |
|
|
struct ipa_param_call_note *nt;
|
1054 |
|
|
bool res = false;
|
1055 |
|
|
|
1056 |
|
|
for (nt = info->param_calls; nt; nt = nt->next)
|
1057 |
|
|
{
|
1058 |
|
|
struct ipa_jump_func *jfunc;
|
1059 |
|
|
|
1060 |
|
|
if (nt->processed)
|
1061 |
|
|
continue;
|
1062 |
|
|
|
1063 |
|
|
/* We must check range due to calls with variable number of arguments: */
|
1064 |
|
|
if (nt->formal_id >= ipa_get_cs_argument_count (top))
|
1065 |
|
|
{
|
1066 |
|
|
nt->processed = true;
|
1067 |
|
|
continue;
|
1068 |
|
|
}
|
1069 |
|
|
|
1070 |
|
|
jfunc = ipa_get_ith_jump_func (top, nt->formal_id);
|
1071 |
|
|
if (jfunc->type == IPA_JF_PASS_THROUGH
|
1072 |
|
|
&& jfunc->value.pass_through.operation == NOP_EXPR)
|
1073 |
|
|
nt->formal_id = jfunc->value.pass_through.formal_id;
|
1074 |
|
|
else if (jfunc->type == IPA_JF_CONST
|
1075 |
|
|
|| jfunc->type == IPA_JF_CONST_MEMBER_PTR)
|
1076 |
|
|
{
|
1077 |
|
|
struct cgraph_node *callee;
|
1078 |
|
|
struct cgraph_edge *new_indirect_edge;
|
1079 |
|
|
tree decl;
|
1080 |
|
|
|
1081 |
|
|
nt->processed = true;
|
1082 |
|
|
if (jfunc->type == IPA_JF_CONST_MEMBER_PTR)
|
1083 |
|
|
decl = jfunc->value.member_cst.pfn;
|
1084 |
|
|
else
|
1085 |
|
|
decl = jfunc->value.constant;
|
1086 |
|
|
|
1087 |
|
|
if (TREE_CODE (decl) != ADDR_EXPR)
|
1088 |
|
|
continue;
|
1089 |
|
|
decl = TREE_OPERAND (decl, 0);
|
1090 |
|
|
|
1091 |
|
|
if (TREE_CODE (decl) != FUNCTION_DECL)
|
1092 |
|
|
continue;
|
1093 |
|
|
callee = cgraph_node (decl);
|
1094 |
|
|
if (!callee || !callee->local.inlinable)
|
1095 |
|
|
continue;
|
1096 |
|
|
|
1097 |
|
|
res = true;
|
1098 |
|
|
if (dump_file)
|
1099 |
|
|
print_edge_addition_message (dump_file, nt, jfunc, node);
|
1100 |
|
|
|
1101 |
|
|
new_indirect_edge = cgraph_create_edge (node, callee, nt->stmt,
|
1102 |
|
|
nt->count, nt->frequency,
|
1103 |
|
|
nt->loop_nest);
|
1104 |
|
|
new_indirect_edge->lto_stmt_uid = nt->lto_stmt_uid;
|
1105 |
|
|
new_indirect_edge->indirect_call = 1;
|
1106 |
|
|
ipa_check_create_edge_args ();
|
1107 |
|
|
if (new_edges)
|
1108 |
|
|
VEC_safe_push (cgraph_edge_p, heap, *new_edges, new_indirect_edge);
|
1109 |
|
|
top = IPA_EDGE_REF (cs);
|
1110 |
|
|
}
|
1111 |
|
|
else
|
1112 |
|
|
{
|
1113 |
|
|
/* Ancestor jum functions and pass theoughs with operations should
|
1114 |
|
|
not be used on parameters that then get called. */
|
1115 |
|
|
gcc_assert (jfunc->type == IPA_JF_UNKNOWN);
|
1116 |
|
|
nt->processed = true;
|
1117 |
|
|
}
|
1118 |
|
|
}
|
1119 |
|
|
return res;
|
1120 |
|
|
}
|
1121 |
|
|
|
1122 |
|
|
/* Recursively traverse subtree of NODE (including node) made of inlined
|
1123 |
|
|
cgraph_edges when CS has been inlined and invoke
|
1124 |
|
|
update_call_notes_after_inlining on all nodes and
|
1125 |
|
|
update_jump_functions_after_inlining on all non-inlined edges that lead out
|
1126 |
|
|
of this subtree. Newly discovered indirect edges will be added to
|
1127 |
|
|
*NEW_EDGES, unless NEW_EDGES is NULL. Return true iff a new edge(s) were
|
1128 |
|
|
created. */
|
1129 |
|
|
|
1130 |
|
|
static bool
|
1131 |
|
|
propagate_info_to_inlined_callees (struct cgraph_edge *cs,
|
1132 |
|
|
struct cgraph_node *node,
|
1133 |
|
|
VEC (cgraph_edge_p, heap) **new_edges)
|
1134 |
|
|
{
|
1135 |
|
|
struct cgraph_edge *e;
|
1136 |
|
|
bool res;
|
1137 |
|
|
|
1138 |
|
|
res = update_call_notes_after_inlining (cs, node, new_edges);
|
1139 |
|
|
|
1140 |
|
|
for (e = node->callees; e; e = e->next_callee)
|
1141 |
|
|
if (!e->inline_failed)
|
1142 |
|
|
res |= propagate_info_to_inlined_callees (cs, e->callee, new_edges);
|
1143 |
|
|
else
|
1144 |
|
|
update_jump_functions_after_inlining (cs, e);
|
1145 |
|
|
|
1146 |
|
|
return res;
|
1147 |
|
|
}
|
1148 |
|
|
|
1149 |
|
|
/* Update jump functions and call note functions on inlining the call site CS.
|
1150 |
|
|
CS is expected to lead to a node already cloned by
|
1151 |
|
|
cgraph_clone_inline_nodes. Newly discovered indirect edges will be added to
|
1152 |
|
|
*NEW_EDGES, unless NEW_EDGES is NULL. Return true iff a new edge(s) were +
|
1153 |
|
|
created. */
|
1154 |
|
|
|
1155 |
|
|
bool
|
1156 |
|
|
ipa_propagate_indirect_call_infos (struct cgraph_edge *cs,
|
1157 |
|
|
VEC (cgraph_edge_p, heap) **new_edges)
|
1158 |
|
|
{
|
1159 |
|
|
/* FIXME lto: We do not stream out indirect call information. */
|
1160 |
|
|
if (flag_wpa)
|
1161 |
|
|
return false;
|
1162 |
|
|
|
1163 |
|
|
/* Do nothing if the preparation phase has not been carried out yet
|
1164 |
|
|
(i.e. during early inlining). */
|
1165 |
|
|
if (!ipa_node_params_vector)
|
1166 |
|
|
return false;
|
1167 |
|
|
gcc_assert (ipa_edge_args_vector);
|
1168 |
|
|
|
1169 |
|
|
return propagate_info_to_inlined_callees (cs, cs->callee, new_edges);
|
1170 |
|
|
}
|
1171 |
|
|
|
1172 |
|
|
/* Frees all dynamically allocated structures that the argument info points
|
1173 |
|
|
to. */
|
1174 |
|
|
|
1175 |
|
|
void
|
1176 |
|
|
ipa_free_edge_args_substructures (struct ipa_edge_args *args)
|
1177 |
|
|
{
|
1178 |
|
|
if (args->jump_functions)
|
1179 |
|
|
ggc_free (args->jump_functions);
|
1180 |
|
|
|
1181 |
|
|
memset (args, 0, sizeof (*args));
|
1182 |
|
|
}
|
1183 |
|
|
|
1184 |
|
|
/* Free all ipa_edge structures. */
|
1185 |
|
|
|
1186 |
|
|
void
|
1187 |
|
|
ipa_free_all_edge_args (void)
|
1188 |
|
|
{
|
1189 |
|
|
int i;
|
1190 |
|
|
struct ipa_edge_args *args;
|
1191 |
|
|
|
1192 |
|
|
for (i = 0;
|
1193 |
|
|
VEC_iterate (ipa_edge_args_t, ipa_edge_args_vector, i, args);
|
1194 |
|
|
i++)
|
1195 |
|
|
ipa_free_edge_args_substructures (args);
|
1196 |
|
|
|
1197 |
|
|
VEC_free (ipa_edge_args_t, gc, ipa_edge_args_vector);
|
1198 |
|
|
ipa_edge_args_vector = NULL;
|
1199 |
|
|
}
|
1200 |
|
|
|
1201 |
|
|
/* Frees all dynamically allocated structures that the param info points
|
1202 |
|
|
to. */
|
1203 |
|
|
|
1204 |
|
|
void
|
1205 |
|
|
ipa_free_node_params_substructures (struct ipa_node_params *info)
|
1206 |
|
|
{
|
1207 |
|
|
if (info->params)
|
1208 |
|
|
free (info->params);
|
1209 |
|
|
|
1210 |
|
|
while (info->param_calls)
|
1211 |
|
|
{
|
1212 |
|
|
struct ipa_param_call_note *note = info->param_calls;
|
1213 |
|
|
info->param_calls = note->next;
|
1214 |
|
|
free (note);
|
1215 |
|
|
}
|
1216 |
|
|
|
1217 |
|
|
memset (info, 0, sizeof (*info));
|
1218 |
|
|
}
|
1219 |
|
|
|
1220 |
|
|
/* Free all ipa_node_params structures. */
|
1221 |
|
|
|
1222 |
|
|
void
|
1223 |
|
|
ipa_free_all_node_params (void)
|
1224 |
|
|
{
|
1225 |
|
|
int i;
|
1226 |
|
|
struct ipa_node_params *info;
|
1227 |
|
|
|
1228 |
|
|
for (i = 0;
|
1229 |
|
|
VEC_iterate (ipa_node_params_t, ipa_node_params_vector, i, info);
|
1230 |
|
|
i++)
|
1231 |
|
|
ipa_free_node_params_substructures (info);
|
1232 |
|
|
|
1233 |
|
|
VEC_free (ipa_node_params_t, heap, ipa_node_params_vector);
|
1234 |
|
|
ipa_node_params_vector = NULL;
|
1235 |
|
|
}
|
1236 |
|
|
|
1237 |
|
|
/* Hook that is called by cgraph.c when an edge is removed. */
|
1238 |
|
|
|
1239 |
|
|
static void
|
1240 |
|
|
ipa_edge_removal_hook (struct cgraph_edge *cs, void *data ATTRIBUTE_UNUSED)
|
1241 |
|
|
{
|
1242 |
|
|
/* During IPA-CP updating we can be called on not-yet analyze clones. */
|
1243 |
|
|
if (VEC_length (ipa_edge_args_t, ipa_edge_args_vector)
|
1244 |
|
|
<= (unsigned)cs->uid)
|
1245 |
|
|
return;
|
1246 |
|
|
ipa_free_edge_args_substructures (IPA_EDGE_REF (cs));
|
1247 |
|
|
}
|
1248 |
|
|
|
1249 |
|
|
/* Hook that is called by cgraph.c when a node is removed. */
|
1250 |
|
|
|
1251 |
|
|
static void
|
1252 |
|
|
ipa_node_removal_hook (struct cgraph_node *node, void *data ATTRIBUTE_UNUSED)
|
1253 |
|
|
{
|
1254 |
|
|
ipa_free_node_params_substructures (IPA_NODE_REF (node));
|
1255 |
|
|
}
|
1256 |
|
|
|
1257 |
|
|
/* Helper function to duplicate an array of size N that is at SRC and store a
|
1258 |
|
|
pointer to it to DST. Nothing is done if SRC is NULL. */
|
1259 |
|
|
|
1260 |
|
|
static void *
|
1261 |
|
|
duplicate_array (void *src, size_t n)
|
1262 |
|
|
{
|
1263 |
|
|
void *p;
|
1264 |
|
|
|
1265 |
|
|
if (!src)
|
1266 |
|
|
return NULL;
|
1267 |
|
|
|
1268 |
|
|
p = xmalloc (n);
|
1269 |
|
|
memcpy (p, src, n);
|
1270 |
|
|
return p;
|
1271 |
|
|
}
|
1272 |
|
|
|
1273 |
|
|
/* Like duplicate_array byt in GGC memory. */
|
1274 |
|
|
|
1275 |
|
|
static void *
|
1276 |
|
|
duplicate_ggc_array (void *src, size_t n)
|
1277 |
|
|
{
|
1278 |
|
|
void *p;
|
1279 |
|
|
|
1280 |
|
|
if (!src)
|
1281 |
|
|
return NULL;
|
1282 |
|
|
|
1283 |
|
|
p = ggc_alloc (n);
|
1284 |
|
|
memcpy (p, src, n);
|
1285 |
|
|
return p;
|
1286 |
|
|
}
|
1287 |
|
|
|
1288 |
|
|
/* Hook that is called by cgraph.c when a node is duplicated. */
|
1289 |
|
|
|
1290 |
|
|
static void
|
1291 |
|
|
ipa_edge_duplication_hook (struct cgraph_edge *src, struct cgraph_edge *dst,
|
1292 |
|
|
__attribute__((unused)) void *data)
|
1293 |
|
|
{
|
1294 |
|
|
struct ipa_edge_args *old_args, *new_args;
|
1295 |
|
|
int arg_count;
|
1296 |
|
|
|
1297 |
|
|
ipa_check_create_edge_args ();
|
1298 |
|
|
|
1299 |
|
|
old_args = IPA_EDGE_REF (src);
|
1300 |
|
|
new_args = IPA_EDGE_REF (dst);
|
1301 |
|
|
|
1302 |
|
|
arg_count = ipa_get_cs_argument_count (old_args);
|
1303 |
|
|
ipa_set_cs_argument_count (new_args, arg_count);
|
1304 |
|
|
new_args->jump_functions = (struct ipa_jump_func *)
|
1305 |
|
|
duplicate_ggc_array (old_args->jump_functions,
|
1306 |
|
|
sizeof (struct ipa_jump_func) * arg_count);
|
1307 |
|
|
}
|
1308 |
|
|
|
1309 |
|
|
/* Hook that is called by cgraph.c when a node is duplicated. */
|
1310 |
|
|
|
1311 |
|
|
static void
|
1312 |
|
|
ipa_node_duplication_hook (struct cgraph_node *src, struct cgraph_node *dst,
|
1313 |
|
|
__attribute__((unused)) void *data)
|
1314 |
|
|
{
|
1315 |
|
|
struct ipa_node_params *old_info, *new_info;
|
1316 |
|
|
struct ipa_param_call_note *note;
|
1317 |
|
|
int param_count;
|
1318 |
|
|
|
1319 |
|
|
ipa_check_create_node_params ();
|
1320 |
|
|
old_info = IPA_NODE_REF (src);
|
1321 |
|
|
new_info = IPA_NODE_REF (dst);
|
1322 |
|
|
param_count = ipa_get_param_count (old_info);
|
1323 |
|
|
|
1324 |
|
|
ipa_set_param_count (new_info, param_count);
|
1325 |
|
|
new_info->params = (struct ipa_param_descriptor *)
|
1326 |
|
|
duplicate_array (old_info->params,
|
1327 |
|
|
sizeof (struct ipa_param_descriptor) * param_count);
|
1328 |
|
|
new_info->ipcp_orig_node = old_info->ipcp_orig_node;
|
1329 |
|
|
new_info->count_scale = old_info->count_scale;
|
1330 |
|
|
|
1331 |
|
|
for (note = old_info->param_calls; note; note = note->next)
|
1332 |
|
|
{
|
1333 |
|
|
struct ipa_param_call_note *nn;
|
1334 |
|
|
|
1335 |
|
|
nn = (struct ipa_param_call_note *)
|
1336 |
|
|
xcalloc (1, sizeof (struct ipa_param_call_note));
|
1337 |
|
|
memcpy (nn, note, sizeof (struct ipa_param_call_note));
|
1338 |
|
|
nn->next = new_info->param_calls;
|
1339 |
|
|
new_info->param_calls = nn;
|
1340 |
|
|
}
|
1341 |
|
|
}
|
1342 |
|
|
|
1343 |
|
|
/* Register our cgraph hooks if they are not already there. */
|
1344 |
|
|
|
1345 |
|
|
void
|
1346 |
|
|
ipa_register_cgraph_hooks (void)
|
1347 |
|
|
{
|
1348 |
|
|
if (!edge_removal_hook_holder)
|
1349 |
|
|
edge_removal_hook_holder =
|
1350 |
|
|
cgraph_add_edge_removal_hook (&ipa_edge_removal_hook, NULL);
|
1351 |
|
|
if (!node_removal_hook_holder)
|
1352 |
|
|
node_removal_hook_holder =
|
1353 |
|
|
cgraph_add_node_removal_hook (&ipa_node_removal_hook, NULL);
|
1354 |
|
|
if (!edge_duplication_hook_holder)
|
1355 |
|
|
edge_duplication_hook_holder =
|
1356 |
|
|
cgraph_add_edge_duplication_hook (&ipa_edge_duplication_hook, NULL);
|
1357 |
|
|
if (!node_duplication_hook_holder)
|
1358 |
|
|
node_duplication_hook_holder =
|
1359 |
|
|
cgraph_add_node_duplication_hook (&ipa_node_duplication_hook, NULL);
|
1360 |
|
|
}
|
1361 |
|
|
|
1362 |
|
|
/* Unregister our cgraph hooks if they are not already there. */
|
1363 |
|
|
|
1364 |
|
|
static void
|
1365 |
|
|
ipa_unregister_cgraph_hooks (void)
|
1366 |
|
|
{
|
1367 |
|
|
cgraph_remove_edge_removal_hook (edge_removal_hook_holder);
|
1368 |
|
|
edge_removal_hook_holder = NULL;
|
1369 |
|
|
cgraph_remove_node_removal_hook (node_removal_hook_holder);
|
1370 |
|
|
node_removal_hook_holder = NULL;
|
1371 |
|
|
cgraph_remove_edge_duplication_hook (edge_duplication_hook_holder);
|
1372 |
|
|
edge_duplication_hook_holder = NULL;
|
1373 |
|
|
cgraph_remove_node_duplication_hook (node_duplication_hook_holder);
|
1374 |
|
|
node_duplication_hook_holder = NULL;
|
1375 |
|
|
}
|
1376 |
|
|
|
1377 |
|
|
/* Free all ipa_node_params and all ipa_edge_args structures if they are no
|
1378 |
|
|
longer needed after ipa-cp. */
|
1379 |
|
|
|
1380 |
|
|
void
|
1381 |
|
|
free_all_ipa_structures_after_ipa_cp (void)
|
1382 |
|
|
{
|
1383 |
|
|
if (!flag_indirect_inlining)
|
1384 |
|
|
{
|
1385 |
|
|
ipa_free_all_edge_args ();
|
1386 |
|
|
ipa_free_all_node_params ();
|
1387 |
|
|
ipa_unregister_cgraph_hooks ();
|
1388 |
|
|
}
|
1389 |
|
|
}
|
1390 |
|
|
|
1391 |
|
|
/* Free all ipa_node_params and all ipa_edge_args structures if they are no
|
1392 |
|
|
longer needed after indirect inlining. */
|
1393 |
|
|
|
1394 |
|
|
void
|
1395 |
|
|
free_all_ipa_structures_after_iinln (void)
|
1396 |
|
|
{
|
1397 |
|
|
ipa_free_all_edge_args ();
|
1398 |
|
|
ipa_free_all_node_params ();
|
1399 |
|
|
ipa_unregister_cgraph_hooks ();
|
1400 |
|
|
}
|
1401 |
|
|
|
1402 |
|
|
/* Print ipa_tree_map data structures of all functions in the
|
1403 |
|
|
callgraph to F. */
|
1404 |
|
|
|
1405 |
|
|
void
|
1406 |
|
|
ipa_print_node_params (FILE * f, struct cgraph_node *node)
|
1407 |
|
|
{
|
1408 |
|
|
int i, count;
|
1409 |
|
|
tree temp;
|
1410 |
|
|
struct ipa_node_params *info;
|
1411 |
|
|
|
1412 |
|
|
if (!node->analyzed)
|
1413 |
|
|
return;
|
1414 |
|
|
info = IPA_NODE_REF (node);
|
1415 |
|
|
fprintf (f, " function %s Trees :: \n", cgraph_node_name (node));
|
1416 |
|
|
count = ipa_get_param_count (info);
|
1417 |
|
|
for (i = 0; i < count; i++)
|
1418 |
|
|
{
|
1419 |
|
|
temp = ipa_get_param (info, i);
|
1420 |
|
|
if (TREE_CODE (temp) == PARM_DECL)
|
1421 |
|
|
fprintf (f, " param %d : %s", i,
|
1422 |
|
|
(DECL_NAME (temp)
|
1423 |
|
|
? (*lang_hooks.decl_printable_name) (temp, 2)
|
1424 |
|
|
: "(unnamed)"));
|
1425 |
|
|
if (ipa_is_param_modified (info, i))
|
1426 |
|
|
fprintf (f, " modified");
|
1427 |
|
|
fprintf (f, "\n");
|
1428 |
|
|
}
|
1429 |
|
|
}
|
1430 |
|
|
|
1431 |
|
|
/* Print ipa_tree_map data structures of all functions in the
|
1432 |
|
|
callgraph to F. */
|
1433 |
|
|
|
1434 |
|
|
void
|
1435 |
|
|
ipa_print_all_params (FILE * f)
|
1436 |
|
|
{
|
1437 |
|
|
struct cgraph_node *node;
|
1438 |
|
|
|
1439 |
|
|
fprintf (f, "\nFunction parameters:\n");
|
1440 |
|
|
for (node = cgraph_nodes; node; node = node->next)
|
1441 |
|
|
ipa_print_node_params (f, node);
|
1442 |
|
|
}
|
1443 |
|
|
|
1444 |
|
|
/* Return a heap allocated vector containing formal parameters of FNDECL. */
|
1445 |
|
|
|
1446 |
|
|
VEC(tree, heap) *
|
1447 |
|
|
ipa_get_vector_of_formal_parms (tree fndecl)
|
1448 |
|
|
{
|
1449 |
|
|
VEC(tree, heap) *args;
|
1450 |
|
|
int count;
|
1451 |
|
|
tree parm;
|
1452 |
|
|
|
1453 |
|
|
count = count_formal_params_1 (fndecl);
|
1454 |
|
|
args = VEC_alloc (tree, heap, count);
|
1455 |
|
|
for (parm = DECL_ARGUMENTS (fndecl); parm; parm = TREE_CHAIN (parm))
|
1456 |
|
|
VEC_quick_push (tree, args, parm);
|
1457 |
|
|
|
1458 |
|
|
return args;
|
1459 |
|
|
}
|
1460 |
|
|
|
1461 |
|
|
/* Return a heap allocated vector containing types of formal parameters of
|
1462 |
|
|
function type FNTYPE. */
|
1463 |
|
|
|
1464 |
|
|
static inline VEC(tree, heap) *
|
1465 |
|
|
get_vector_of_formal_parm_types (tree fntype)
|
1466 |
|
|
{
|
1467 |
|
|
VEC(tree, heap) *types;
|
1468 |
|
|
int count = 0;
|
1469 |
|
|
tree t;
|
1470 |
|
|
|
1471 |
|
|
for (t = TYPE_ARG_TYPES (fntype); t; t = TREE_CHAIN (t))
|
1472 |
|
|
count++;
|
1473 |
|
|
|
1474 |
|
|
types = VEC_alloc (tree, heap, count);
|
1475 |
|
|
for (t = TYPE_ARG_TYPES (fntype); t; t = TREE_CHAIN (t))
|
1476 |
|
|
VEC_quick_push (tree, types, TREE_VALUE (t));
|
1477 |
|
|
|
1478 |
|
|
return types;
|
1479 |
|
|
}
|
1480 |
|
|
|
1481 |
|
|
/* Modify the function declaration FNDECL and its type according to the plan in
|
1482 |
|
|
ADJUSTMENTS. It also sets base fields of individual adjustments structures
|
1483 |
|
|
to reflect the actual parameters being modified which are determined by the
|
1484 |
|
|
base_index field. */
|
1485 |
|
|
|
1486 |
|
|
void
|
1487 |
|
|
ipa_modify_formal_parameters (tree fndecl, ipa_parm_adjustment_vec adjustments,
|
1488 |
|
|
const char *synth_parm_prefix)
|
1489 |
|
|
{
|
1490 |
|
|
VEC(tree, heap) *oparms, *otypes;
|
1491 |
|
|
tree orig_type, new_type = NULL;
|
1492 |
|
|
tree old_arg_types, t, new_arg_types = NULL;
|
1493 |
|
|
tree parm, *link = &DECL_ARGUMENTS (fndecl);
|
1494 |
|
|
int i, len = VEC_length (ipa_parm_adjustment_t, adjustments);
|
1495 |
|
|
tree new_reversed = NULL;
|
1496 |
|
|
bool care_for_types, last_parm_void;
|
1497 |
|
|
|
1498 |
|
|
if (!synth_parm_prefix)
|
1499 |
|
|
synth_parm_prefix = "SYNTH";
|
1500 |
|
|
|
1501 |
|
|
oparms = ipa_get_vector_of_formal_parms (fndecl);
|
1502 |
|
|
orig_type = TREE_TYPE (fndecl);
|
1503 |
|
|
old_arg_types = TYPE_ARG_TYPES (orig_type);
|
1504 |
|
|
|
1505 |
|
|
/* The following test is an ugly hack, some functions simply don't have any
|
1506 |
|
|
arguments in their type. This is probably a bug but well... */
|
1507 |
|
|
care_for_types = (old_arg_types != NULL_TREE);
|
1508 |
|
|
if (care_for_types)
|
1509 |
|
|
{
|
1510 |
|
|
last_parm_void = (TREE_VALUE (tree_last (old_arg_types))
|
1511 |
|
|
== void_type_node);
|
1512 |
|
|
otypes = get_vector_of_formal_parm_types (orig_type);
|
1513 |
|
|
if (last_parm_void)
|
1514 |
|
|
gcc_assert (VEC_length (tree, oparms) + 1 == VEC_length (tree, otypes));
|
1515 |
|
|
else
|
1516 |
|
|
gcc_assert (VEC_length (tree, oparms) == VEC_length (tree, otypes));
|
1517 |
|
|
}
|
1518 |
|
|
else
|
1519 |
|
|
{
|
1520 |
|
|
last_parm_void = false;
|
1521 |
|
|
otypes = NULL;
|
1522 |
|
|
}
|
1523 |
|
|
|
1524 |
|
|
for (i = 0; i < len; i++)
|
1525 |
|
|
{
|
1526 |
|
|
struct ipa_parm_adjustment *adj;
|
1527 |
|
|
gcc_assert (link);
|
1528 |
|
|
|
1529 |
|
|
adj = VEC_index (ipa_parm_adjustment_t, adjustments, i);
|
1530 |
|
|
parm = VEC_index (tree, oparms, adj->base_index);
|
1531 |
|
|
adj->base = parm;
|
1532 |
|
|
|
1533 |
|
|
if (adj->copy_param)
|
1534 |
|
|
{
|
1535 |
|
|
if (care_for_types)
|
1536 |
|
|
new_arg_types = tree_cons (NULL_TREE, VEC_index (tree, otypes,
|
1537 |
|
|
adj->base_index),
|
1538 |
|
|
new_arg_types);
|
1539 |
|
|
*link = parm;
|
1540 |
|
|
link = &TREE_CHAIN (parm);
|
1541 |
|
|
}
|
1542 |
|
|
else if (!adj->remove_param)
|
1543 |
|
|
{
|
1544 |
|
|
tree new_parm;
|
1545 |
|
|
tree ptype;
|
1546 |
|
|
|
1547 |
|
|
if (adj->by_ref)
|
1548 |
|
|
ptype = build_pointer_type (adj->type);
|
1549 |
|
|
else
|
1550 |
|
|
ptype = adj->type;
|
1551 |
|
|
|
1552 |
|
|
if (care_for_types)
|
1553 |
|
|
new_arg_types = tree_cons (NULL_TREE, ptype, new_arg_types);
|
1554 |
|
|
|
1555 |
|
|
new_parm = build_decl (UNKNOWN_LOCATION, PARM_DECL, NULL_TREE,
|
1556 |
|
|
ptype);
|
1557 |
|
|
DECL_NAME (new_parm) = create_tmp_var_name (synth_parm_prefix);
|
1558 |
|
|
|
1559 |
|
|
DECL_ARTIFICIAL (new_parm) = 1;
|
1560 |
|
|
DECL_ARG_TYPE (new_parm) = ptype;
|
1561 |
|
|
DECL_CONTEXT (new_parm) = fndecl;
|
1562 |
|
|
TREE_USED (new_parm) = 1;
|
1563 |
|
|
DECL_IGNORED_P (new_parm) = 1;
|
1564 |
|
|
layout_decl (new_parm, 0);
|
1565 |
|
|
|
1566 |
|
|
add_referenced_var (new_parm);
|
1567 |
|
|
mark_sym_for_renaming (new_parm);
|
1568 |
|
|
adj->base = parm;
|
1569 |
|
|
adj->reduction = new_parm;
|
1570 |
|
|
|
1571 |
|
|
*link = new_parm;
|
1572 |
|
|
|
1573 |
|
|
link = &TREE_CHAIN (new_parm);
|
1574 |
|
|
}
|
1575 |
|
|
}
|
1576 |
|
|
|
1577 |
|
|
*link = NULL_TREE;
|
1578 |
|
|
|
1579 |
|
|
if (care_for_types)
|
1580 |
|
|
{
|
1581 |
|
|
new_reversed = nreverse (new_arg_types);
|
1582 |
|
|
if (last_parm_void)
|
1583 |
|
|
{
|
1584 |
|
|
if (new_reversed)
|
1585 |
|
|
TREE_CHAIN (new_arg_types) = void_list_node;
|
1586 |
|
|
else
|
1587 |
|
|
new_reversed = void_list_node;
|
1588 |
|
|
}
|
1589 |
|
|
}
|
1590 |
|
|
|
1591 |
|
|
/* Use copy_node to preserve as much as possible from original type
|
1592 |
|
|
(debug info, attribute lists etc.)
|
1593 |
|
|
Exception is METHOD_TYPEs must have THIS argument.
|
1594 |
|
|
When we are asked to remove it, we need to build new FUNCTION_TYPE
|
1595 |
|
|
instead. */
|
1596 |
|
|
if (TREE_CODE (orig_type) != METHOD_TYPE
|
1597 |
|
|
|| (VEC_index (ipa_parm_adjustment_t, adjustments, 0)->copy_param
|
1598 |
|
|
&& VEC_index (ipa_parm_adjustment_t, adjustments, 0)->base_index == 0))
|
1599 |
|
|
{
|
1600 |
378 |
julius |
new_type = build_distinct_type_copy (orig_type);
|
1601 |
280 |
jeremybenn |
TYPE_ARG_TYPES (new_type) = new_reversed;
|
1602 |
|
|
}
|
1603 |
|
|
else
|
1604 |
|
|
{
|
1605 |
|
|
new_type
|
1606 |
|
|
= build_distinct_type_copy (build_function_type (TREE_TYPE (orig_type),
|
1607 |
|
|
new_reversed));
|
1608 |
|
|
TYPE_CONTEXT (new_type) = TYPE_CONTEXT (orig_type);
|
1609 |
|
|
DECL_VINDEX (fndecl) = NULL_TREE;
|
1610 |
|
|
}
|
1611 |
|
|
/* When signature changes, we need to clear builtin info. */
|
1612 |
|
|
if (DECL_BUILT_IN (fndecl))
|
1613 |
|
|
{
|
1614 |
|
|
DECL_BUILT_IN_CLASS (fndecl) = NOT_BUILT_IN;
|
1615 |
|
|
DECL_FUNCTION_CODE (fndecl) = (enum built_in_function) 0;
|
1616 |
|
|
}
|
1617 |
|
|
|
1618 |
|
|
/* This is a new type, not a copy of an old type. Need to reassociate
|
1619 |
|
|
variants. We can handle everything except the main variant lazily. */
|
1620 |
|
|
t = TYPE_MAIN_VARIANT (orig_type);
|
1621 |
|
|
if (orig_type != t)
|
1622 |
|
|
{
|
1623 |
|
|
TYPE_MAIN_VARIANT (new_type) = t;
|
1624 |
|
|
TYPE_NEXT_VARIANT (new_type) = TYPE_NEXT_VARIANT (t);
|
1625 |
|
|
TYPE_NEXT_VARIANT (t) = new_type;
|
1626 |
|
|
}
|
1627 |
|
|
else
|
1628 |
|
|
{
|
1629 |
|
|
TYPE_MAIN_VARIANT (new_type) = new_type;
|
1630 |
|
|
TYPE_NEXT_VARIANT (new_type) = NULL;
|
1631 |
|
|
}
|
1632 |
|
|
|
1633 |
|
|
TREE_TYPE (fndecl) = new_type;
|
1634 |
|
|
if (otypes)
|
1635 |
|
|
VEC_free (tree, heap, otypes);
|
1636 |
|
|
VEC_free (tree, heap, oparms);
|
1637 |
|
|
}
|
1638 |
|
|
|
1639 |
|
|
/* Modify actual arguments of a function call CS as indicated in ADJUSTMENTS.
|
1640 |
|
|
If this is a directly recursive call, CS must be NULL. Otherwise it must
|
1641 |
|
|
contain the corresponding call graph edge. */
|
1642 |
|
|
|
1643 |
|
|
void
|
1644 |
|
|
ipa_modify_call_arguments (struct cgraph_edge *cs, gimple stmt,
|
1645 |
|
|
ipa_parm_adjustment_vec adjustments)
|
1646 |
|
|
{
|
1647 |
|
|
VEC(tree, heap) *vargs;
|
1648 |
|
|
gimple new_stmt;
|
1649 |
|
|
gimple_stmt_iterator gsi;
|
1650 |
|
|
tree callee_decl;
|
1651 |
|
|
int i, len;
|
1652 |
|
|
|
1653 |
|
|
len = VEC_length (ipa_parm_adjustment_t, adjustments);
|
1654 |
|
|
vargs = VEC_alloc (tree, heap, len);
|
1655 |
|
|
|
1656 |
|
|
gsi = gsi_for_stmt (stmt);
|
1657 |
|
|
for (i = 0; i < len; i++)
|
1658 |
|
|
{
|
1659 |
|
|
struct ipa_parm_adjustment *adj;
|
1660 |
|
|
|
1661 |
|
|
adj = VEC_index (ipa_parm_adjustment_t, adjustments, i);
|
1662 |
|
|
|
1663 |
|
|
if (adj->copy_param)
|
1664 |
|
|
{
|
1665 |
|
|
tree arg = gimple_call_arg (stmt, adj->base_index);
|
1666 |
|
|
|
1667 |
|
|
VEC_quick_push (tree, vargs, arg);
|
1668 |
|
|
}
|
1669 |
|
|
else if (!adj->remove_param)
|
1670 |
|
|
{
|
1671 |
|
|
tree expr, orig_expr;
|
1672 |
|
|
bool allow_ptr, repl_found;
|
1673 |
|
|
|
1674 |
|
|
orig_expr = expr = gimple_call_arg (stmt, adj->base_index);
|
1675 |
|
|
if (TREE_CODE (expr) == ADDR_EXPR)
|
1676 |
|
|
{
|
1677 |
|
|
allow_ptr = false;
|
1678 |
|
|
expr = TREE_OPERAND (expr, 0);
|
1679 |
|
|
}
|
1680 |
|
|
else
|
1681 |
|
|
allow_ptr = true;
|
1682 |
|
|
|
1683 |
|
|
repl_found = build_ref_for_offset (&expr, TREE_TYPE (expr),
|
1684 |
|
|
adj->offset, adj->type,
|
1685 |
|
|
allow_ptr);
|
1686 |
|
|
if (repl_found)
|
1687 |
|
|
{
|
1688 |
|
|
if (adj->by_ref)
|
1689 |
|
|
expr = build_fold_addr_expr (expr);
|
1690 |
|
|
}
|
1691 |
|
|
else
|
1692 |
|
|
{
|
1693 |
|
|
tree ptrtype = build_pointer_type (adj->type);
|
1694 |
|
|
expr = orig_expr;
|
1695 |
|
|
if (!POINTER_TYPE_P (TREE_TYPE (expr)))
|
1696 |
|
|
expr = build_fold_addr_expr (expr);
|
1697 |
|
|
if (!useless_type_conversion_p (ptrtype, TREE_TYPE (expr)))
|
1698 |
|
|
expr = fold_convert (ptrtype, expr);
|
1699 |
|
|
expr = fold_build2 (POINTER_PLUS_EXPR, ptrtype, expr,
|
1700 |
|
|
build_int_cst (size_type_node,
|
1701 |
|
|
adj->offset / BITS_PER_UNIT));
|
1702 |
|
|
if (!adj->by_ref)
|
1703 |
|
|
expr = fold_build1 (INDIRECT_REF, adj->type, expr);
|
1704 |
|
|
}
|
1705 |
|
|
expr = force_gimple_operand_gsi (&gsi, expr,
|
1706 |
|
|
adj->by_ref
|
1707 |
|
|
|| is_gimple_reg_type (adj->type),
|
1708 |
|
|
NULL, true, GSI_SAME_STMT);
|
1709 |
|
|
VEC_quick_push (tree, vargs, expr);
|
1710 |
|
|
}
|
1711 |
|
|
}
|
1712 |
|
|
|
1713 |
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
1714 |
|
|
{
|
1715 |
|
|
fprintf (dump_file, "replacing stmt:");
|
1716 |
|
|
print_gimple_stmt (dump_file, gsi_stmt (gsi), 0, 0);
|
1717 |
|
|
}
|
1718 |
|
|
|
1719 |
|
|
callee_decl = !cs ? gimple_call_fndecl (stmt) : cs->callee->decl;
|
1720 |
|
|
new_stmt = gimple_build_call_vec (callee_decl, vargs);
|
1721 |
|
|
VEC_free (tree, heap, vargs);
|
1722 |
|
|
if (gimple_call_lhs (stmt))
|
1723 |
|
|
gimple_call_set_lhs (new_stmt, gimple_call_lhs (stmt));
|
1724 |
|
|
|
1725 |
|
|
gimple_set_block (new_stmt, gimple_block (stmt));
|
1726 |
|
|
if (gimple_has_location (stmt))
|
1727 |
|
|
gimple_set_location (new_stmt, gimple_location (stmt));
|
1728 |
|
|
gimple_call_copy_flags (new_stmt, stmt);
|
1729 |
|
|
gimple_call_set_chain (new_stmt, gimple_call_chain (stmt));
|
1730 |
|
|
|
1731 |
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
1732 |
|
|
{
|
1733 |
|
|
fprintf (dump_file, "with stmt:");
|
1734 |
|
|
print_gimple_stmt (dump_file, new_stmt, 0, 0);
|
1735 |
|
|
fprintf (dump_file, "\n");
|
1736 |
|
|
}
|
1737 |
|
|
gsi_replace (&gsi, new_stmt, true);
|
1738 |
|
|
if (cs)
|
1739 |
|
|
cgraph_set_call_stmt (cs, new_stmt);
|
1740 |
|
|
update_ssa (TODO_update_ssa);
|
1741 |
|
|
free_dominance_info (CDI_DOMINATORS);
|
1742 |
|
|
}
|
1743 |
|
|
|
1744 |
|
|
/* Return true iff BASE_INDEX is in ADJUSTMENTS more than once. */
|
1745 |
|
|
|
1746 |
|
|
static bool
|
1747 |
|
|
index_in_adjustments_multiple_times_p (int base_index,
|
1748 |
|
|
ipa_parm_adjustment_vec adjustments)
|
1749 |
|
|
{
|
1750 |
|
|
int i, len = VEC_length (ipa_parm_adjustment_t, adjustments);
|
1751 |
|
|
bool one = false;
|
1752 |
|
|
|
1753 |
|
|
for (i = 0; i < len; i++)
|
1754 |
|
|
{
|
1755 |
|
|
struct ipa_parm_adjustment *adj;
|
1756 |
|
|
adj = VEC_index (ipa_parm_adjustment_t, adjustments, i);
|
1757 |
|
|
|
1758 |
|
|
if (adj->base_index == base_index)
|
1759 |
|
|
{
|
1760 |
|
|
if (one)
|
1761 |
|
|
return true;
|
1762 |
|
|
else
|
1763 |
|
|
one = true;
|
1764 |
|
|
}
|
1765 |
|
|
}
|
1766 |
|
|
return false;
|
1767 |
|
|
}
|
1768 |
|
|
|
1769 |
|
|
|
1770 |
|
|
/* Return adjustments that should have the same effect on function parameters
|
1771 |
|
|
and call arguments as if they were first changed according to adjustments in
|
1772 |
|
|
INNER and then by adjustments in OUTER. */
|
1773 |
|
|
|
1774 |
|
|
ipa_parm_adjustment_vec
|
1775 |
|
|
ipa_combine_adjustments (ipa_parm_adjustment_vec inner,
|
1776 |
|
|
ipa_parm_adjustment_vec outer)
|
1777 |
|
|
{
|
1778 |
|
|
int i, outlen = VEC_length (ipa_parm_adjustment_t, outer);
|
1779 |
|
|
int inlen = VEC_length (ipa_parm_adjustment_t, inner);
|
1780 |
|
|
int removals = 0;
|
1781 |
|
|
ipa_parm_adjustment_vec adjustments, tmp;
|
1782 |
|
|
|
1783 |
|
|
tmp = VEC_alloc (ipa_parm_adjustment_t, heap, inlen);
|
1784 |
|
|
for (i = 0; i < inlen; i++)
|
1785 |
|
|
{
|
1786 |
|
|
struct ipa_parm_adjustment *n;
|
1787 |
|
|
n = VEC_index (ipa_parm_adjustment_t, inner, i);
|
1788 |
|
|
|
1789 |
|
|
if (n->remove_param)
|
1790 |
|
|
removals++;
|
1791 |
|
|
else
|
1792 |
|
|
VEC_quick_push (ipa_parm_adjustment_t, tmp, n);
|
1793 |
|
|
}
|
1794 |
|
|
|
1795 |
|
|
adjustments = VEC_alloc (ipa_parm_adjustment_t, heap, outlen + removals);
|
1796 |
|
|
for (i = 0; i < outlen; i++)
|
1797 |
|
|
{
|
1798 |
|
|
struct ipa_parm_adjustment *r;
|
1799 |
|
|
struct ipa_parm_adjustment *out = VEC_index (ipa_parm_adjustment_t,
|
1800 |
|
|
outer, i);
|
1801 |
|
|
struct ipa_parm_adjustment *in = VEC_index (ipa_parm_adjustment_t, tmp,
|
1802 |
|
|
out->base_index);
|
1803 |
|
|
|
1804 |
|
|
gcc_assert (!in->remove_param);
|
1805 |
|
|
if (out->remove_param)
|
1806 |
|
|
{
|
1807 |
|
|
if (!index_in_adjustments_multiple_times_p (in->base_index, tmp))
|
1808 |
|
|
{
|
1809 |
|
|
r = VEC_quick_push (ipa_parm_adjustment_t, adjustments, NULL);
|
1810 |
|
|
memset (r, 0, sizeof (*r));
|
1811 |
|
|
r->remove_param = true;
|
1812 |
|
|
}
|
1813 |
|
|
continue;
|
1814 |
|
|
}
|
1815 |
|
|
|
1816 |
|
|
r = VEC_quick_push (ipa_parm_adjustment_t, adjustments, NULL);
|
1817 |
|
|
memset (r, 0, sizeof (*r));
|
1818 |
|
|
r->base_index = in->base_index;
|
1819 |
|
|
r->type = out->type;
|
1820 |
|
|
|
1821 |
|
|
/* FIXME: Create nonlocal value too. */
|
1822 |
|
|
|
1823 |
|
|
if (in->copy_param && out->copy_param)
|
1824 |
|
|
r->copy_param = true;
|
1825 |
|
|
else if (in->copy_param)
|
1826 |
|
|
r->offset = out->offset;
|
1827 |
|
|
else if (out->copy_param)
|
1828 |
|
|
r->offset = in->offset;
|
1829 |
|
|
else
|
1830 |
|
|
r->offset = in->offset + out->offset;
|
1831 |
|
|
}
|
1832 |
|
|
|
1833 |
|
|
for (i = 0; i < inlen; i++)
|
1834 |
|
|
{
|
1835 |
|
|
struct ipa_parm_adjustment *n = VEC_index (ipa_parm_adjustment_t,
|
1836 |
|
|
inner, i);
|
1837 |
|
|
|
1838 |
|
|
if (n->remove_param)
|
1839 |
|
|
VEC_quick_push (ipa_parm_adjustment_t, adjustments, n);
|
1840 |
|
|
}
|
1841 |
|
|
|
1842 |
|
|
VEC_free (ipa_parm_adjustment_t, heap, tmp);
|
1843 |
|
|
return adjustments;
|
1844 |
|
|
}
|
1845 |
|
|
|
1846 |
|
|
/* Dump the adjustments in the vector ADJUSTMENTS to dump_file in a human
|
1847 |
|
|
friendly way, assuming they are meant to be applied to FNDECL. */
|
1848 |
|
|
|
1849 |
|
|
void
|
1850 |
|
|
ipa_dump_param_adjustments (FILE *file, ipa_parm_adjustment_vec adjustments,
|
1851 |
|
|
tree fndecl)
|
1852 |
|
|
{
|
1853 |
|
|
int i, len = VEC_length (ipa_parm_adjustment_t, adjustments);
|
1854 |
|
|
bool first = true;
|
1855 |
|
|
VEC(tree, heap) *parms = ipa_get_vector_of_formal_parms (fndecl);
|
1856 |
|
|
|
1857 |
|
|
fprintf (file, "IPA param adjustments: ");
|
1858 |
|
|
for (i = 0; i < len; i++)
|
1859 |
|
|
{
|
1860 |
|
|
struct ipa_parm_adjustment *adj;
|
1861 |
|
|
adj = VEC_index (ipa_parm_adjustment_t, adjustments, i);
|
1862 |
|
|
|
1863 |
|
|
if (!first)
|
1864 |
|
|
fprintf (file, " ");
|
1865 |
|
|
else
|
1866 |
|
|
first = false;
|
1867 |
|
|
|
1868 |
|
|
fprintf (file, "%i. base_index: %i - ", i, adj->base_index);
|
1869 |
|
|
print_generic_expr (file, VEC_index (tree, parms, adj->base_index), 0);
|
1870 |
|
|
if (adj->base)
|
1871 |
|
|
{
|
1872 |
|
|
fprintf (file, ", base: ");
|
1873 |
|
|
print_generic_expr (file, adj->base, 0);
|
1874 |
|
|
}
|
1875 |
|
|
if (adj->reduction)
|
1876 |
|
|
{
|
1877 |
|
|
fprintf (file, ", reduction: ");
|
1878 |
|
|
print_generic_expr (file, adj->reduction, 0);
|
1879 |
|
|
}
|
1880 |
|
|
if (adj->new_ssa_base)
|
1881 |
|
|
{
|
1882 |
|
|
fprintf (file, ", new_ssa_base: ");
|
1883 |
|
|
print_generic_expr (file, adj->new_ssa_base, 0);
|
1884 |
|
|
}
|
1885 |
|
|
|
1886 |
|
|
if (adj->copy_param)
|
1887 |
|
|
fprintf (file, ", copy_param");
|
1888 |
|
|
else if (adj->remove_param)
|
1889 |
|
|
fprintf (file, ", remove_param");
|
1890 |
|
|
else
|
1891 |
|
|
fprintf (file, ", offset %li", (long) adj->offset);
|
1892 |
|
|
if (adj->by_ref)
|
1893 |
|
|
fprintf (file, ", by_ref");
|
1894 |
|
|
print_node_brief (file, ", type: ", adj->type, 0);
|
1895 |
|
|
fprintf (file, "\n");
|
1896 |
|
|
}
|
1897 |
|
|
VEC_free (tree, heap, parms);
|
1898 |
|
|
}
|
1899 |
|
|
|
1900 |
|
|
/* Stream out jump function JUMP_FUNC to OB. */
|
1901 |
|
|
|
1902 |
|
|
static void
|
1903 |
|
|
ipa_write_jump_function (struct output_block *ob,
|
1904 |
|
|
struct ipa_jump_func *jump_func)
|
1905 |
|
|
{
|
1906 |
|
|
lto_output_uleb128_stream (ob->main_stream,
|
1907 |
|
|
jump_func->type);
|
1908 |
|
|
|
1909 |
|
|
switch (jump_func->type)
|
1910 |
|
|
{
|
1911 |
|
|
case IPA_JF_UNKNOWN:
|
1912 |
|
|
break;
|
1913 |
|
|
case IPA_JF_CONST:
|
1914 |
|
|
lto_output_tree (ob, jump_func->value.constant, true);
|
1915 |
|
|
break;
|
1916 |
|
|
case IPA_JF_PASS_THROUGH:
|
1917 |
|
|
lto_output_tree (ob, jump_func->value.pass_through.operand, true);
|
1918 |
|
|
lto_output_uleb128_stream (ob->main_stream,
|
1919 |
|
|
jump_func->value.pass_through.formal_id);
|
1920 |
|
|
lto_output_uleb128_stream (ob->main_stream,
|
1921 |
|
|
jump_func->value.pass_through.operation);
|
1922 |
|
|
break;
|
1923 |
|
|
case IPA_JF_ANCESTOR:
|
1924 |
|
|
lto_output_uleb128_stream (ob->main_stream,
|
1925 |
|
|
jump_func->value.ancestor.offset);
|
1926 |
|
|
lto_output_tree (ob, jump_func->value.ancestor.type, true);
|
1927 |
|
|
lto_output_uleb128_stream (ob->main_stream,
|
1928 |
|
|
jump_func->value.ancestor.formal_id);
|
1929 |
|
|
break;
|
1930 |
|
|
case IPA_JF_CONST_MEMBER_PTR:
|
1931 |
|
|
lto_output_tree (ob, jump_func->value.member_cst.pfn, true);
|
1932 |
|
|
lto_output_tree (ob, jump_func->value.member_cst.delta, false);
|
1933 |
|
|
break;
|
1934 |
|
|
}
|
1935 |
|
|
}
|
1936 |
|
|
|
1937 |
|
|
/* Read in jump function JUMP_FUNC from IB. */
|
1938 |
|
|
|
1939 |
|
|
static void
|
1940 |
|
|
ipa_read_jump_function (struct lto_input_block *ib,
|
1941 |
|
|
struct ipa_jump_func *jump_func,
|
1942 |
|
|
struct data_in *data_in)
|
1943 |
|
|
{
|
1944 |
|
|
jump_func->type = (enum jump_func_type) lto_input_uleb128 (ib);
|
1945 |
|
|
|
1946 |
|
|
switch (jump_func->type)
|
1947 |
|
|
{
|
1948 |
|
|
case IPA_JF_UNKNOWN:
|
1949 |
|
|
break;
|
1950 |
|
|
case IPA_JF_CONST:
|
1951 |
|
|
jump_func->value.constant = lto_input_tree (ib, data_in);
|
1952 |
|
|
break;
|
1953 |
|
|
case IPA_JF_PASS_THROUGH:
|
1954 |
|
|
jump_func->value.pass_through.operand = lto_input_tree (ib, data_in);
|
1955 |
|
|
jump_func->value.pass_through.formal_id = lto_input_uleb128 (ib);
|
1956 |
|
|
jump_func->value.pass_through.operation = (enum tree_code) lto_input_uleb128 (ib);
|
1957 |
|
|
break;
|
1958 |
|
|
case IPA_JF_ANCESTOR:
|
1959 |
|
|
jump_func->value.ancestor.offset = lto_input_uleb128 (ib);
|
1960 |
|
|
jump_func->value.ancestor.type = lto_input_tree (ib, data_in);
|
1961 |
|
|
jump_func->value.ancestor.formal_id = lto_input_uleb128 (ib);
|
1962 |
|
|
break;
|
1963 |
|
|
case IPA_JF_CONST_MEMBER_PTR:
|
1964 |
|
|
jump_func->value.member_cst.pfn = lto_input_tree (ib, data_in);
|
1965 |
|
|
jump_func->value.member_cst.delta = lto_input_tree (ib, data_in);
|
1966 |
|
|
break;
|
1967 |
|
|
}
|
1968 |
|
|
}
|
1969 |
|
|
|
1970 |
|
|
/* Stream out a parameter call note. */
|
1971 |
|
|
|
1972 |
|
|
static void
|
1973 |
|
|
ipa_write_param_call_note (struct output_block *ob,
|
1974 |
|
|
struct ipa_param_call_note *note)
|
1975 |
|
|
{
|
1976 |
|
|
gcc_assert (!note->processed);
|
1977 |
|
|
lto_output_uleb128_stream (ob->main_stream, gimple_uid (note->stmt));
|
1978 |
|
|
lto_output_sleb128_stream (ob->main_stream, note->formal_id);
|
1979 |
|
|
lto_output_sleb128_stream (ob->main_stream, note->count);
|
1980 |
|
|
lto_output_sleb128_stream (ob->main_stream, note->frequency);
|
1981 |
|
|
lto_output_sleb128_stream (ob->main_stream, note->loop_nest);
|
1982 |
|
|
}
|
1983 |
|
|
|
1984 |
|
|
/* Read in a parameter call note. */
|
1985 |
|
|
|
1986 |
|
|
static void
|
1987 |
|
|
ipa_read_param_call_note (struct lto_input_block *ib,
|
1988 |
|
|
struct ipa_node_params *info)
|
1989 |
|
|
|
1990 |
|
|
{
|
1991 |
|
|
struct ipa_param_call_note *note = XCNEW (struct ipa_param_call_note);
|
1992 |
|
|
|
1993 |
|
|
note->lto_stmt_uid = (unsigned int) lto_input_uleb128 (ib);
|
1994 |
|
|
note->formal_id = (int) lto_input_sleb128 (ib);
|
1995 |
|
|
note->count = (gcov_type) lto_input_sleb128 (ib);
|
1996 |
|
|
note->frequency = (int) lto_input_sleb128 (ib);
|
1997 |
|
|
note->loop_nest = (int) lto_input_sleb128 (ib);
|
1998 |
|
|
|
1999 |
|
|
note->next = info->param_calls;
|
2000 |
|
|
info->param_calls = note;
|
2001 |
|
|
}
|
2002 |
|
|
|
2003 |
|
|
|
2004 |
|
|
/* Stream out NODE info to OB. */
|
2005 |
|
|
|
2006 |
|
|
static void
|
2007 |
|
|
ipa_write_node_info (struct output_block *ob, struct cgraph_node *node)
|
2008 |
|
|
{
|
2009 |
|
|
int node_ref;
|
2010 |
|
|
lto_cgraph_encoder_t encoder;
|
2011 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (node);
|
2012 |
|
|
int j;
|
2013 |
|
|
struct cgraph_edge *e;
|
2014 |
|
|
struct bitpack_d *bp;
|
2015 |
|
|
int note_count = 0;
|
2016 |
|
|
struct ipa_param_call_note *note;
|
2017 |
|
|
|
2018 |
|
|
encoder = ob->decl_state->cgraph_node_encoder;
|
2019 |
|
|
node_ref = lto_cgraph_encoder_encode (encoder, node);
|
2020 |
|
|
lto_output_uleb128_stream (ob->main_stream, node_ref);
|
2021 |
|
|
|
2022 |
|
|
bp = bitpack_create ();
|
2023 |
|
|
bp_pack_value (bp, info->called_with_var_arguments, 1);
|
2024 |
|
|
bp_pack_value (bp, info->uses_analysis_done, 1);
|
2025 |
|
|
gcc_assert (info->modification_analysis_done
|
2026 |
|
|
|| ipa_get_param_count (info) == 0);
|
2027 |
|
|
gcc_assert (!info->node_enqueued);
|
2028 |
|
|
gcc_assert (!info->ipcp_orig_node);
|
2029 |
|
|
for (j = 0; j < ipa_get_param_count (info); j++)
|
2030 |
|
|
bp_pack_value (bp, info->params[j].modified, 1);
|
2031 |
|
|
lto_output_bitpack (ob->main_stream, bp);
|
2032 |
|
|
bitpack_delete (bp);
|
2033 |
|
|
for (e = node->callees; e; e = e->next_callee)
|
2034 |
|
|
{
|
2035 |
|
|
struct ipa_edge_args *args = IPA_EDGE_REF (e);
|
2036 |
|
|
|
2037 |
|
|
lto_output_uleb128_stream (ob->main_stream,
|
2038 |
|
|
ipa_get_cs_argument_count (args));
|
2039 |
|
|
for (j = 0; j < ipa_get_cs_argument_count (args); j++)
|
2040 |
|
|
ipa_write_jump_function (ob, ipa_get_ith_jump_func (args, j));
|
2041 |
|
|
}
|
2042 |
|
|
|
2043 |
|
|
for (note = info->param_calls; note; note = note->next)
|
2044 |
|
|
note_count++;
|
2045 |
|
|
lto_output_uleb128_stream (ob->main_stream, note_count);
|
2046 |
|
|
for (note = info->param_calls; note; note = note->next)
|
2047 |
|
|
ipa_write_param_call_note (ob, note);
|
2048 |
|
|
}
|
2049 |
|
|
|
2050 |
|
|
/* Srtream in NODE info from IB. */
|
2051 |
|
|
|
2052 |
|
|
static void
|
2053 |
|
|
ipa_read_node_info (struct lto_input_block *ib, struct cgraph_node *node,
|
2054 |
|
|
struct data_in *data_in)
|
2055 |
|
|
{
|
2056 |
|
|
struct ipa_node_params *info = IPA_NODE_REF (node);
|
2057 |
|
|
int k;
|
2058 |
|
|
struct cgraph_edge *e;
|
2059 |
|
|
struct bitpack_d *bp;
|
2060 |
|
|
int i, note_count;
|
2061 |
|
|
|
2062 |
|
|
ipa_initialize_node_params (node);
|
2063 |
|
|
|
2064 |
|
|
bp = lto_input_bitpack (ib);
|
2065 |
|
|
info->called_with_var_arguments = bp_unpack_value (bp, 1);
|
2066 |
|
|
info->uses_analysis_done = bp_unpack_value (bp, 1);
|
2067 |
|
|
if (ipa_get_param_count (info) != 0)
|
2068 |
|
|
{
|
2069 |
|
|
info->modification_analysis_done = true;
|
2070 |
|
|
info->uses_analysis_done = true;
|
2071 |
|
|
}
|
2072 |
|
|
info->node_enqueued = false;
|
2073 |
|
|
for (k = 0; k < ipa_get_param_count (info); k++)
|
2074 |
|
|
info->params[k].modified = bp_unpack_value (bp, 1);
|
2075 |
|
|
bitpack_delete (bp);
|
2076 |
|
|
for (e = node->callees; e; e = e->next_callee)
|
2077 |
|
|
{
|
2078 |
|
|
struct ipa_edge_args *args = IPA_EDGE_REF (e);
|
2079 |
|
|
int count = lto_input_uleb128 (ib);
|
2080 |
|
|
|
2081 |
|
|
ipa_set_cs_argument_count (args, count);
|
2082 |
|
|
if (!count)
|
2083 |
|
|
continue;
|
2084 |
|
|
|
2085 |
|
|
args->jump_functions = GGC_CNEWVEC (struct ipa_jump_func,
|
2086 |
|
|
ipa_get_cs_argument_count (args));
|
2087 |
|
|
for (k = 0; k < ipa_get_cs_argument_count (args); k++)
|
2088 |
|
|
ipa_read_jump_function (ib, ipa_get_ith_jump_func (args, k), data_in);
|
2089 |
|
|
}
|
2090 |
|
|
|
2091 |
|
|
note_count = lto_input_uleb128 (ib);
|
2092 |
|
|
for (i = 0; i < note_count; i++)
|
2093 |
|
|
ipa_read_param_call_note (ib, info);
|
2094 |
|
|
}
|
2095 |
|
|
|
2096 |
|
|
/* Write jump functions for nodes in SET. */
|
2097 |
|
|
|
2098 |
|
|
void
|
2099 |
|
|
ipa_prop_write_jump_functions (cgraph_node_set set)
|
2100 |
|
|
{
|
2101 |
|
|
struct cgraph_node *node;
|
2102 |
|
|
struct output_block *ob = create_output_block (LTO_section_jump_functions);
|
2103 |
|
|
unsigned int count = 0;
|
2104 |
|
|
cgraph_node_set_iterator csi;
|
2105 |
|
|
|
2106 |
|
|
ob->cgraph_node = NULL;
|
2107 |
|
|
|
2108 |
|
|
for (csi = csi_start (set); !csi_end_p (csi); csi_next (&csi))
|
2109 |
|
|
{
|
2110 |
|
|
node = csi_node (csi);
|
2111 |
|
|
if (node->analyzed && IPA_NODE_REF (node) != NULL)
|
2112 |
|
|
count++;
|
2113 |
|
|
}
|
2114 |
|
|
|
2115 |
|
|
lto_output_uleb128_stream (ob->main_stream, count);
|
2116 |
|
|
|
2117 |
|
|
/* Process all of the functions. */
|
2118 |
|
|
for (csi = csi_start (set); !csi_end_p (csi); csi_next (&csi))
|
2119 |
|
|
{
|
2120 |
|
|
node = csi_node (csi);
|
2121 |
|
|
if (node->analyzed && IPA_NODE_REF (node) != NULL)
|
2122 |
|
|
ipa_write_node_info (ob, node);
|
2123 |
|
|
}
|
2124 |
|
|
lto_output_1_stream (ob->main_stream, 0);
|
2125 |
|
|
produce_asm (ob, NULL);
|
2126 |
|
|
destroy_output_block (ob);
|
2127 |
|
|
}
|
2128 |
|
|
|
2129 |
|
|
/* Read section in file FILE_DATA of length LEN with data DATA. */
|
2130 |
|
|
|
2131 |
|
|
static void
|
2132 |
|
|
ipa_prop_read_section (struct lto_file_decl_data *file_data, const char *data,
|
2133 |
|
|
size_t len)
|
2134 |
|
|
{
|
2135 |
|
|
const struct lto_function_header *header =
|
2136 |
|
|
(const struct lto_function_header *) data;
|
2137 |
|
|
const int32_t cfg_offset = sizeof (struct lto_function_header);
|
2138 |
|
|
const int32_t main_offset = cfg_offset + header->cfg_size;
|
2139 |
|
|
const int32_t string_offset = main_offset + header->main_size;
|
2140 |
|
|
struct data_in *data_in;
|
2141 |
|
|
struct lto_input_block ib_main;
|
2142 |
|
|
unsigned int i;
|
2143 |
|
|
unsigned int count;
|
2144 |
|
|
|
2145 |
|
|
LTO_INIT_INPUT_BLOCK (ib_main, (const char *) data + main_offset, 0,
|
2146 |
|
|
header->main_size);
|
2147 |
|
|
|
2148 |
|
|
data_in =
|
2149 |
|
|
lto_data_in_create (file_data, (const char *) data + string_offset,
|
2150 |
|
|
header->string_size, NULL);
|
2151 |
|
|
count = lto_input_uleb128 (&ib_main);
|
2152 |
|
|
|
2153 |
|
|
for (i = 0; i < count; i++)
|
2154 |
|
|
{
|
2155 |
|
|
unsigned int index;
|
2156 |
|
|
struct cgraph_node *node;
|
2157 |
|
|
lto_cgraph_encoder_t encoder;
|
2158 |
|
|
|
2159 |
|
|
index = lto_input_uleb128 (&ib_main);
|
2160 |
|
|
encoder = file_data->cgraph_node_encoder;
|
2161 |
|
|
node = lto_cgraph_encoder_deref (encoder, index);
|
2162 |
|
|
ipa_read_node_info (&ib_main, node, data_in);
|
2163 |
|
|
}
|
2164 |
|
|
lto_free_section_data (file_data, LTO_section_jump_functions, NULL, data,
|
2165 |
|
|
len);
|
2166 |
|
|
lto_data_in_delete (data_in);
|
2167 |
|
|
}
|
2168 |
|
|
|
2169 |
|
|
/* Read ipcp jump functions. */
|
2170 |
|
|
|
2171 |
|
|
void
|
2172 |
|
|
ipa_prop_read_jump_functions (void)
|
2173 |
|
|
{
|
2174 |
|
|
struct lto_file_decl_data **file_data_vec = lto_get_file_decl_data ();
|
2175 |
|
|
struct lto_file_decl_data *file_data;
|
2176 |
|
|
unsigned int j = 0;
|
2177 |
|
|
|
2178 |
|
|
ipa_check_create_node_params ();
|
2179 |
|
|
ipa_check_create_edge_args ();
|
2180 |
|
|
ipa_register_cgraph_hooks ();
|
2181 |
|
|
|
2182 |
|
|
while ((file_data = file_data_vec[j++]))
|
2183 |
|
|
{
|
2184 |
|
|
size_t len;
|
2185 |
|
|
const char *data = lto_get_section_data (file_data, LTO_section_jump_functions, NULL, &len);
|
2186 |
|
|
|
2187 |
|
|
if (data)
|
2188 |
|
|
ipa_prop_read_section (file_data, data, len);
|
2189 |
|
|
}
|
2190 |
|
|
}
|
2191 |
|
|
|
2192 |
|
|
/* After merging units, we can get mismatch in argument counts.
|
2193 |
|
|
Also decl merging might've rendered parameter lists obsolette.
|
2194 |
|
|
Also compute called_with_variable_arg info. */
|
2195 |
|
|
|
2196 |
|
|
void
|
2197 |
|
|
ipa_update_after_lto_read (void)
|
2198 |
|
|
{
|
2199 |
|
|
struct cgraph_node *node;
|
2200 |
|
|
struct cgraph_edge *cs;
|
2201 |
|
|
|
2202 |
|
|
ipa_check_create_node_params ();
|
2203 |
|
|
ipa_check_create_edge_args ();
|
2204 |
|
|
|
2205 |
|
|
for (node = cgraph_nodes; node; node = node->next)
|
2206 |
|
|
if (node->analyzed)
|
2207 |
|
|
ipa_initialize_node_params (node);
|
2208 |
|
|
|
2209 |
|
|
for (node = cgraph_nodes; node; node = node->next)
|
2210 |
|
|
if (node->analyzed)
|
2211 |
|
|
for (cs = node->callees; cs; cs = cs->next_callee)
|
2212 |
|
|
{
|
2213 |
|
|
if (ipa_get_cs_argument_count (IPA_EDGE_REF (cs))
|
2214 |
|
|
!= ipa_get_param_count (IPA_NODE_REF (cs->callee)))
|
2215 |
|
|
ipa_set_called_with_variable_arg (IPA_NODE_REF (cs->callee));
|
2216 |
|
|
}
|
2217 |
|
|
}
|
2218 |
|
|
|
2219 |
|
|
/* Walk param call notes of NODE and set their call statements given the uid
|
2220 |
|
|
stored in each note and STMTS which is an array of statements indexed by the
|
2221 |
|
|
uid. */
|
2222 |
|
|
|
2223 |
|
|
void
|
2224 |
|
|
lto_ipa_fixup_call_notes (struct cgraph_node *node, gimple *stmts)
|
2225 |
|
|
{
|
2226 |
|
|
struct ipa_node_params *info;
|
2227 |
|
|
struct ipa_param_call_note *note;
|
2228 |
|
|
|
2229 |
|
|
ipa_check_create_node_params ();
|
2230 |
|
|
info = IPA_NODE_REF (node);
|
2231 |
|
|
note = info->param_calls;
|
2232 |
|
|
/* If there are no notes or they have already been fixed up (the same fixup
|
2233 |
|
|
is called for both inlining and ipa-cp), there's nothing to do. */
|
2234 |
|
|
if (!note || note->stmt)
|
2235 |
|
|
return;
|
2236 |
|
|
|
2237 |
|
|
do
|
2238 |
|
|
{
|
2239 |
|
|
note->stmt = stmts[note->lto_stmt_uid];
|
2240 |
|
|
note = note->next;
|
2241 |
|
|
}
|
2242 |
|
|
while (note);
|
2243 |
|
|
}
|