Remove nfs bogon
[official-gcc.git] / gcc / tree-inline.c
blob6a16ce546cb04d5a858def36612cc1028a5a22c2
1 /* Tree inlining.
2 Copyright (C) 2001-2018 Free Software Foundation, Inc.
3 Contributed by Alexandre Oliva <aoliva@redhat.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
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/>. */
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "backend.h"
25 #include "target.h"
26 #include "rtl.h"
27 #include "tree.h"
28 #include "gimple.h"
29 #include "cfghooks.h"
30 #include "tree-pass.h"
31 #include "ssa.h"
32 #include "cgraph.h"
33 #include "tree-pretty-print.h"
34 #include "diagnostic-core.h"
35 #include "gimple-predict.h"
36 #include "fold-const.h"
37 #include "stor-layout.h"
38 #include "calls.h"
39 #include "tree-inline.h"
40 #include "langhooks.h"
41 #include "cfganal.h"
42 #include "tree-iterator.h"
43 #include "intl.h"
44 #include "gimple-fold.h"
45 #include "tree-eh.h"
46 #include "gimplify.h"
47 #include "gimple-iterator.h"
48 #include "gimplify-me.h"
49 #include "gimple-walk.h"
50 #include "tree-cfg.h"
51 #include "tree-into-ssa.h"
52 #include "tree-dfa.h"
53 #include "tree-ssa.h"
54 #include "except.h"
55 #include "debug.h"
56 #include "params.h"
57 #include "value-prof.h"
58 #include "cfgloop.h"
59 #include "builtins.h"
60 #include "stringpool.h"
61 #include "attribs.h"
62 #include "sreal.h"
64 /* I'm not real happy about this, but we need to handle gimple and
65 non-gimple trees. */
67 /* Inlining, Cloning, Versioning, Parallelization
69 Inlining: a function body is duplicated, but the PARM_DECLs are
70 remapped into VAR_DECLs, and non-void RETURN_EXPRs become
71 MODIFY_EXPRs that store to a dedicated returned-value variable.
72 The duplicated eh_region info of the copy will later be appended
73 to the info for the caller; the eh_region info in copied throwing
74 statements and RESX statements are adjusted accordingly.
76 Cloning: (only in C++) We have one body for a con/de/structor, and
77 multiple function decls, each with a unique parameter list.
78 Duplicate the body, using the given splay tree; some parameters
79 will become constants (like 0 or 1).
81 Versioning: a function body is duplicated and the result is a new
82 function rather than into blocks of an existing function as with
83 inlining. Some parameters will become constants.
85 Parallelization: a region of a function is duplicated resulting in
86 a new function. Variables may be replaced with complex expressions
87 to enable shared variable semantics.
89 All of these will simultaneously lookup any callgraph edges. If
90 we're going to inline the duplicated function body, and the given
91 function has some cloned callgraph nodes (one for each place this
92 function will be inlined) those callgraph edges will be duplicated.
93 If we're cloning the body, those callgraph edges will be
94 updated to point into the new body. (Note that the original
95 callgraph node and edge list will not be altered.)
97 See the CALL_EXPR handling case in copy_tree_body_r (). */
99 /* To Do:
101 o In order to make inlining-on-trees work, we pessimized
102 function-local static constants. In particular, they are now
103 always output, even when not addressed. Fix this by treating
104 function-local static constants just like global static
105 constants; the back-end already knows not to output them if they
106 are not needed.
108 o Provide heuristics to clamp inlining of recursive template
109 calls? */
112 /* Weights that estimate_num_insns uses to estimate the size of the
113 produced code. */
115 eni_weights eni_size_weights;
117 /* Weights that estimate_num_insns uses to estimate the time necessary
118 to execute the produced code. */
120 eni_weights eni_time_weights;
122 /* Prototypes. */
124 static tree declare_return_variable (copy_body_data *, tree, tree,
125 basic_block);
126 static void remap_block (tree *, copy_body_data *);
127 static void copy_bind_expr (tree *, int *, copy_body_data *);
128 static void declare_inline_vars (tree, tree);
129 static void remap_save_expr (tree *, hash_map<tree, tree> *, int *);
130 static void prepend_lexical_block (tree current_block, tree new_block);
131 static tree copy_decl_to_var (tree, copy_body_data *);
132 static tree copy_result_decl_to_var (tree, copy_body_data *);
133 static tree copy_decl_maybe_to_var (tree, copy_body_data *);
134 static gimple_seq remap_gimple_stmt (gimple *, copy_body_data *);
135 static bool delete_unreachable_blocks_update_callgraph (copy_body_data *id);
136 static void insert_init_stmt (copy_body_data *, basic_block, gimple *);
138 /* Insert a tree->tree mapping for ID. Despite the name suggests
139 that the trees should be variables, it is used for more than that. */
141 void
142 insert_decl_map (copy_body_data *id, tree key, tree value)
144 id->decl_map->put (key, value);
146 /* Always insert an identity map as well. If we see this same new
147 node again, we won't want to duplicate it a second time. */
148 if (key != value)
149 id->decl_map->put (value, value);
152 /* Insert a tree->tree mapping for ID. This is only used for
153 variables. */
155 static void
156 insert_debug_decl_map (copy_body_data *id, tree key, tree value)
158 if (!gimple_in_ssa_p (id->src_cfun))
159 return;
161 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
162 return;
164 if (!target_for_debug_bind (key))
165 return;
167 gcc_assert (TREE_CODE (key) == PARM_DECL);
168 gcc_assert (VAR_P (value));
170 if (!id->debug_map)
171 id->debug_map = new hash_map<tree, tree>;
173 id->debug_map->put (key, value);
176 /* If nonzero, we're remapping the contents of inlined debug
177 statements. If negative, an error has occurred, such as a
178 reference to a variable that isn't available in the inlined
179 context. */
180 static int processing_debug_stmt = 0;
182 /* Construct new SSA name for old NAME. ID is the inline context. */
184 static tree
185 remap_ssa_name (tree name, copy_body_data *id)
187 tree new_tree, var;
188 tree *n;
190 gcc_assert (TREE_CODE (name) == SSA_NAME);
192 n = id->decl_map->get (name);
193 if (n)
194 return unshare_expr (*n);
196 if (processing_debug_stmt)
198 if (SSA_NAME_IS_DEFAULT_DEF (name)
199 && TREE_CODE (SSA_NAME_VAR (name)) == PARM_DECL
200 && id->entry_bb == NULL
201 && single_succ_p (ENTRY_BLOCK_PTR_FOR_FN (cfun)))
203 tree vexpr = make_node (DEBUG_EXPR_DECL);
204 gimple *def_temp;
205 gimple_stmt_iterator gsi;
206 tree val = SSA_NAME_VAR (name);
208 n = id->decl_map->get (val);
209 if (n != NULL)
210 val = *n;
211 if (TREE_CODE (val) != PARM_DECL
212 && !(VAR_P (val) && DECL_ABSTRACT_ORIGIN (val)))
214 processing_debug_stmt = -1;
215 return name;
217 n = id->decl_map->get (val);
218 if (n && TREE_CODE (*n) == DEBUG_EXPR_DECL)
219 return *n;
220 def_temp = gimple_build_debug_source_bind (vexpr, val, NULL);
221 DECL_ARTIFICIAL (vexpr) = 1;
222 TREE_TYPE (vexpr) = TREE_TYPE (name);
223 SET_DECL_MODE (vexpr, DECL_MODE (SSA_NAME_VAR (name)));
224 gsi = gsi_after_labels (single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
225 gsi_insert_before (&gsi, def_temp, GSI_SAME_STMT);
226 insert_decl_map (id, val, vexpr);
227 return vexpr;
230 processing_debug_stmt = -1;
231 return name;
234 /* Remap anonymous SSA names or SSA names of anonymous decls. */
235 var = SSA_NAME_VAR (name);
236 if (!var
237 || (!SSA_NAME_IS_DEFAULT_DEF (name)
238 && VAR_P (var)
239 && !VAR_DECL_IS_VIRTUAL_OPERAND (var)
240 && DECL_ARTIFICIAL (var)
241 && DECL_IGNORED_P (var)
242 && !DECL_NAME (var)))
244 struct ptr_info_def *pi;
245 new_tree = make_ssa_name (remap_type (TREE_TYPE (name), id));
246 if (!var && SSA_NAME_IDENTIFIER (name))
247 SET_SSA_NAME_VAR_OR_IDENTIFIER (new_tree, SSA_NAME_IDENTIFIER (name));
248 insert_decl_map (id, name, new_tree);
249 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree)
250 = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name);
251 /* At least IPA points-to info can be directly transferred. */
252 if (id->src_cfun->gimple_df
253 && id->src_cfun->gimple_df->ipa_pta
254 && POINTER_TYPE_P (TREE_TYPE (name))
255 && (pi = SSA_NAME_PTR_INFO (name))
256 && !pi->pt.anything)
258 struct ptr_info_def *new_pi = get_ptr_info (new_tree);
259 new_pi->pt = pi->pt;
261 return new_tree;
264 /* Do not set DEF_STMT yet as statement is not copied yet. We do that
265 in copy_bb. */
266 new_tree = remap_decl (var, id);
268 /* We might've substituted constant or another SSA_NAME for
269 the variable.
271 Replace the SSA name representing RESULT_DECL by variable during
272 inlining: this saves us from need to introduce PHI node in a case
273 return value is just partly initialized. */
274 if ((VAR_P (new_tree) || TREE_CODE (new_tree) == PARM_DECL)
275 && (!SSA_NAME_VAR (name)
276 || TREE_CODE (SSA_NAME_VAR (name)) != RESULT_DECL
277 || !id->transform_return_to_modify))
279 struct ptr_info_def *pi;
280 new_tree = make_ssa_name (new_tree);
281 insert_decl_map (id, name, new_tree);
282 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree)
283 = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name);
284 /* At least IPA points-to info can be directly transferred. */
285 if (id->src_cfun->gimple_df
286 && id->src_cfun->gimple_df->ipa_pta
287 && POINTER_TYPE_P (TREE_TYPE (name))
288 && (pi = SSA_NAME_PTR_INFO (name))
289 && !pi->pt.anything)
291 struct ptr_info_def *new_pi = get_ptr_info (new_tree);
292 new_pi->pt = pi->pt;
294 if (SSA_NAME_IS_DEFAULT_DEF (name))
296 /* By inlining function having uninitialized variable, we might
297 extend the lifetime (variable might get reused). This cause
298 ICE in the case we end up extending lifetime of SSA name across
299 abnormal edge, but also increase register pressure.
301 We simply initialize all uninitialized vars by 0 except
302 for case we are inlining to very first BB. We can avoid
303 this for all BBs that are not inside strongly connected
304 regions of the CFG, but this is expensive to test. */
305 if (id->entry_bb
306 && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name)
307 && (!SSA_NAME_VAR (name)
308 || TREE_CODE (SSA_NAME_VAR (name)) != PARM_DECL)
309 && (id->entry_bb != EDGE_SUCC (ENTRY_BLOCK_PTR_FOR_FN (cfun),
310 0)->dest
311 || EDGE_COUNT (id->entry_bb->preds) != 1))
313 gimple_stmt_iterator gsi = gsi_last_bb (id->entry_bb);
314 gimple *init_stmt;
315 tree zero = build_zero_cst (TREE_TYPE (new_tree));
317 init_stmt = gimple_build_assign (new_tree, zero);
318 gsi_insert_after (&gsi, init_stmt, GSI_NEW_STMT);
319 SSA_NAME_IS_DEFAULT_DEF (new_tree) = 0;
321 else
323 SSA_NAME_DEF_STMT (new_tree) = gimple_build_nop ();
324 set_ssa_default_def (cfun, SSA_NAME_VAR (new_tree), new_tree);
328 else
329 insert_decl_map (id, name, new_tree);
330 return new_tree;
333 /* Remap DECL during the copying of the BLOCK tree for the function. */
335 tree
336 remap_decl (tree decl, copy_body_data *id)
338 tree *n;
340 /* We only remap local variables in the current function. */
342 /* See if we have remapped this declaration. */
344 n = id->decl_map->get (decl);
346 if (!n && processing_debug_stmt)
348 processing_debug_stmt = -1;
349 return decl;
352 /* When remapping a type within copy_gimple_seq_and_replace_locals, all
353 necessary DECLs have already been remapped and we do not want to duplicate
354 a decl coming from outside of the sequence we are copying. */
355 if (!n
356 && id->prevent_decl_creation_for_types
357 && id->remapping_type_depth > 0
358 && (VAR_P (decl) || TREE_CODE (decl) == PARM_DECL))
359 return decl;
361 /* If we didn't already have an equivalent for this declaration, create one
362 now. */
363 if (!n)
365 /* Make a copy of the variable or label. */
366 tree t = id->copy_decl (decl, id);
368 /* Remember it, so that if we encounter this local entity again
369 we can reuse this copy. Do this early because remap_type may
370 need this decl for TYPE_STUB_DECL. */
371 insert_decl_map (id, decl, t);
373 if (!DECL_P (t))
374 return t;
376 /* Remap types, if necessary. */
377 TREE_TYPE (t) = remap_type (TREE_TYPE (t), id);
378 if (TREE_CODE (t) == TYPE_DECL)
380 DECL_ORIGINAL_TYPE (t) = remap_type (DECL_ORIGINAL_TYPE (t), id);
382 /* Preserve the invariant that DECL_ORIGINAL_TYPE != TREE_TYPE,
383 which is enforced in gen_typedef_die when DECL_ABSTRACT_ORIGIN
384 is not set on the TYPE_DECL, for example in LTO mode. */
385 if (DECL_ORIGINAL_TYPE (t) == TREE_TYPE (t))
387 tree x = build_variant_type_copy (TREE_TYPE (t));
388 TYPE_STUB_DECL (x) = TYPE_STUB_DECL (TREE_TYPE (t));
389 TYPE_NAME (x) = TYPE_NAME (TREE_TYPE (t));
390 DECL_ORIGINAL_TYPE (t) = x;
394 /* Remap sizes as necessary. */
395 walk_tree (&DECL_SIZE (t), copy_tree_body_r, id, NULL);
396 walk_tree (&DECL_SIZE_UNIT (t), copy_tree_body_r, id, NULL);
398 /* If fields, do likewise for offset and qualifier. */
399 if (TREE_CODE (t) == FIELD_DECL)
401 walk_tree (&DECL_FIELD_OFFSET (t), copy_tree_body_r, id, NULL);
402 if (TREE_CODE (DECL_CONTEXT (t)) == QUAL_UNION_TYPE)
403 walk_tree (&DECL_QUALIFIER (t), copy_tree_body_r, id, NULL);
406 return t;
409 if (id->do_not_unshare)
410 return *n;
411 else
412 return unshare_expr (*n);
415 static tree
416 remap_type_1 (tree type, copy_body_data *id)
418 tree new_tree, t;
420 /* We do need a copy. build and register it now. If this is a pointer or
421 reference type, remap the designated type and make a new pointer or
422 reference type. */
423 if (TREE_CODE (type) == POINTER_TYPE)
425 new_tree = build_pointer_type_for_mode (remap_type (TREE_TYPE (type), id),
426 TYPE_MODE (type),
427 TYPE_REF_CAN_ALIAS_ALL (type));
428 if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
429 new_tree = build_type_attribute_qual_variant (new_tree,
430 TYPE_ATTRIBUTES (type),
431 TYPE_QUALS (type));
432 insert_decl_map (id, type, new_tree);
433 return new_tree;
435 else if (TREE_CODE (type) == REFERENCE_TYPE)
437 new_tree = build_reference_type_for_mode (remap_type (TREE_TYPE (type), id),
438 TYPE_MODE (type),
439 TYPE_REF_CAN_ALIAS_ALL (type));
440 if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
441 new_tree = build_type_attribute_qual_variant (new_tree,
442 TYPE_ATTRIBUTES (type),
443 TYPE_QUALS (type));
444 insert_decl_map (id, type, new_tree);
445 return new_tree;
447 else
448 new_tree = copy_node (type);
450 insert_decl_map (id, type, new_tree);
452 /* This is a new type, not a copy of an old type. Need to reassociate
453 variants. We can handle everything except the main variant lazily. */
454 t = TYPE_MAIN_VARIANT (type);
455 if (type != t)
457 t = remap_type (t, id);
458 TYPE_MAIN_VARIANT (new_tree) = t;
459 TYPE_NEXT_VARIANT (new_tree) = TYPE_NEXT_VARIANT (t);
460 TYPE_NEXT_VARIANT (t) = new_tree;
462 else
464 TYPE_MAIN_VARIANT (new_tree) = new_tree;
465 TYPE_NEXT_VARIANT (new_tree) = NULL;
468 if (TYPE_STUB_DECL (type))
469 TYPE_STUB_DECL (new_tree) = remap_decl (TYPE_STUB_DECL (type), id);
471 /* Lazily create pointer and reference types. */
472 TYPE_POINTER_TO (new_tree) = NULL;
473 TYPE_REFERENCE_TO (new_tree) = NULL;
475 /* Copy all types that may contain references to local variables; be sure to
476 preserve sharing in between type and its main variant when possible. */
477 switch (TREE_CODE (new_tree))
479 case INTEGER_TYPE:
480 case REAL_TYPE:
481 case FIXED_POINT_TYPE:
482 case ENUMERAL_TYPE:
483 case BOOLEAN_TYPE:
484 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
486 gcc_checking_assert (TYPE_MIN_VALUE (type) == TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (type)));
487 gcc_checking_assert (TYPE_MAX_VALUE (type) == TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (type)));
489 TYPE_MIN_VALUE (new_tree) = TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (new_tree));
490 TYPE_MAX_VALUE (new_tree) = TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (new_tree));
492 else
494 t = TYPE_MIN_VALUE (new_tree);
495 if (t && TREE_CODE (t) != INTEGER_CST)
496 walk_tree (&TYPE_MIN_VALUE (new_tree), copy_tree_body_r, id, NULL);
498 t = TYPE_MAX_VALUE (new_tree);
499 if (t && TREE_CODE (t) != INTEGER_CST)
500 walk_tree (&TYPE_MAX_VALUE (new_tree), copy_tree_body_r, id, NULL);
502 return new_tree;
504 case FUNCTION_TYPE:
505 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
506 && TREE_TYPE (type) == TREE_TYPE (TYPE_MAIN_VARIANT (type)))
507 TREE_TYPE (new_tree) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree));
508 else
509 TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
510 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
511 && TYPE_ARG_TYPES (type) == TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (type)))
512 TYPE_ARG_TYPES (new_tree) = TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (new_tree));
513 else
514 walk_tree (&TYPE_ARG_TYPES (new_tree), copy_tree_body_r, id, NULL);
515 return new_tree;
517 case ARRAY_TYPE:
518 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
519 && TREE_TYPE (type) == TREE_TYPE (TYPE_MAIN_VARIANT (type)))
520 TREE_TYPE (new_tree) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree));
521 else
522 TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
524 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
526 gcc_checking_assert (TYPE_DOMAIN (type) == TYPE_DOMAIN (TYPE_MAIN_VARIANT (type)));
527 TYPE_DOMAIN (new_tree) = TYPE_DOMAIN (TYPE_MAIN_VARIANT (new_tree));
529 else
530 TYPE_DOMAIN (new_tree) = remap_type (TYPE_DOMAIN (new_tree), id);
531 break;
533 case RECORD_TYPE:
534 case UNION_TYPE:
535 case QUAL_UNION_TYPE:
536 if (TYPE_MAIN_VARIANT (type) != type
537 && TYPE_FIELDS (type) == TYPE_FIELDS (TYPE_MAIN_VARIANT (type)))
538 TYPE_FIELDS (new_tree) = TYPE_FIELDS (TYPE_MAIN_VARIANT (new_tree));
539 else
541 tree f, nf = NULL;
543 for (f = TYPE_FIELDS (new_tree); f ; f = DECL_CHAIN (f))
545 t = remap_decl (f, id);
546 DECL_CONTEXT (t) = new_tree;
547 DECL_CHAIN (t) = nf;
548 nf = t;
550 TYPE_FIELDS (new_tree) = nreverse (nf);
552 break;
554 case OFFSET_TYPE:
555 default:
556 /* Shouldn't have been thought variable sized. */
557 gcc_unreachable ();
560 /* All variants of type share the same size, so use the already remaped data. */
561 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
563 tree s = TYPE_SIZE (type);
564 tree mvs = TYPE_SIZE (TYPE_MAIN_VARIANT (type));
565 tree su = TYPE_SIZE_UNIT (type);
566 tree mvsu = TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (type));
567 gcc_checking_assert ((TREE_CODE (s) == PLACEHOLDER_EXPR
568 && (TREE_CODE (mvs) == PLACEHOLDER_EXPR))
569 || s == mvs);
570 gcc_checking_assert ((TREE_CODE (su) == PLACEHOLDER_EXPR
571 && (TREE_CODE (mvsu) == PLACEHOLDER_EXPR))
572 || su == mvsu);
573 TYPE_SIZE (new_tree) = TYPE_SIZE (TYPE_MAIN_VARIANT (new_tree));
574 TYPE_SIZE_UNIT (new_tree) = TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (new_tree));
576 else
578 walk_tree (&TYPE_SIZE (new_tree), copy_tree_body_r, id, NULL);
579 walk_tree (&TYPE_SIZE_UNIT (new_tree), copy_tree_body_r, id, NULL);
582 return new_tree;
585 tree
586 remap_type (tree type, copy_body_data *id)
588 tree *node;
589 tree tmp;
591 if (type == NULL)
592 return type;
594 /* See if we have remapped this type. */
595 node = id->decl_map->get (type);
596 if (node)
597 return *node;
599 /* The type only needs remapping if it's variably modified. */
600 if (! variably_modified_type_p (type, id->src_fn))
602 insert_decl_map (id, type, type);
603 return type;
606 id->remapping_type_depth++;
607 tmp = remap_type_1 (type, id);
608 id->remapping_type_depth--;
610 return tmp;
613 /* Decide if DECL can be put into BLOCK_NONLOCAL_VARs. */
615 static bool
616 can_be_nonlocal (tree decl, copy_body_data *id)
618 /* We can not duplicate function decls. */
619 if (TREE_CODE (decl) == FUNCTION_DECL)
620 return true;
622 /* Local static vars must be non-local or we get multiple declaration
623 problems. */
624 if (VAR_P (decl) && !auto_var_in_fn_p (decl, id->src_fn))
625 return true;
627 return false;
630 static tree
631 remap_decls (tree decls, vec<tree, va_gc> **nonlocalized_list,
632 copy_body_data *id)
634 tree old_var;
635 tree new_decls = NULL_TREE;
637 /* Remap its variables. */
638 for (old_var = decls; old_var; old_var = DECL_CHAIN (old_var))
640 tree new_var;
642 if (can_be_nonlocal (old_var, id))
644 /* We need to add this variable to the local decls as otherwise
645 nothing else will do so. */
646 if (VAR_P (old_var) && ! DECL_EXTERNAL (old_var) && cfun)
647 add_local_decl (cfun, old_var);
648 if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
649 && !DECL_IGNORED_P (old_var)
650 && nonlocalized_list)
651 vec_safe_push (*nonlocalized_list, old_var);
652 continue;
655 /* Remap the variable. */
656 new_var = remap_decl (old_var, id);
658 /* If we didn't remap this variable, we can't mess with its
659 TREE_CHAIN. If we remapped this variable to the return slot, it's
660 already declared somewhere else, so don't declare it here. */
662 if (new_var == id->retvar)
664 else if (!new_var)
666 if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
667 && !DECL_IGNORED_P (old_var)
668 && nonlocalized_list)
669 vec_safe_push (*nonlocalized_list, old_var);
671 else
673 gcc_assert (DECL_P (new_var));
674 DECL_CHAIN (new_var) = new_decls;
675 new_decls = new_var;
677 /* Also copy value-expressions. */
678 if (VAR_P (new_var) && DECL_HAS_VALUE_EXPR_P (new_var))
680 tree tem = DECL_VALUE_EXPR (new_var);
681 bool old_regimplify = id->regimplify;
682 id->remapping_type_depth++;
683 walk_tree (&tem, copy_tree_body_r, id, NULL);
684 id->remapping_type_depth--;
685 id->regimplify = old_regimplify;
686 SET_DECL_VALUE_EXPR (new_var, tem);
691 return nreverse (new_decls);
694 /* Copy the BLOCK to contain remapped versions of the variables
695 therein. And hook the new block into the block-tree. */
697 static void
698 remap_block (tree *block, copy_body_data *id)
700 tree old_block;
701 tree new_block;
703 /* Make the new block. */
704 old_block = *block;
705 new_block = make_node (BLOCK);
706 TREE_USED (new_block) = TREE_USED (old_block);
707 BLOCK_ABSTRACT_ORIGIN (new_block) = old_block;
708 BLOCK_SOURCE_LOCATION (new_block) = BLOCK_SOURCE_LOCATION (old_block);
709 BLOCK_NONLOCALIZED_VARS (new_block)
710 = vec_safe_copy (BLOCK_NONLOCALIZED_VARS (old_block));
711 *block = new_block;
713 /* Remap its variables. */
714 BLOCK_VARS (new_block) = remap_decls (BLOCK_VARS (old_block),
715 &BLOCK_NONLOCALIZED_VARS (new_block),
716 id);
718 if (id->transform_lang_insert_block)
719 id->transform_lang_insert_block (new_block);
721 /* Remember the remapped block. */
722 insert_decl_map (id, old_block, new_block);
725 /* Copy the whole block tree and root it in id->block. */
727 static tree
728 remap_blocks (tree block, copy_body_data *id)
730 tree t;
731 tree new_tree = block;
733 if (!block)
734 return NULL;
736 remap_block (&new_tree, id);
737 gcc_assert (new_tree != block);
738 for (t = BLOCK_SUBBLOCKS (block); t ; t = BLOCK_CHAIN (t))
739 prepend_lexical_block (new_tree, remap_blocks (t, id));
740 /* Blocks are in arbitrary order, but make things slightly prettier and do
741 not swap order when producing a copy. */
742 BLOCK_SUBBLOCKS (new_tree) = blocks_nreverse (BLOCK_SUBBLOCKS (new_tree));
743 return new_tree;
746 /* Remap the block tree rooted at BLOCK to nothing. */
748 static void
749 remap_blocks_to_null (tree block, copy_body_data *id)
751 tree t;
752 insert_decl_map (id, block, NULL_TREE);
753 for (t = BLOCK_SUBBLOCKS (block); t ; t = BLOCK_CHAIN (t))
754 remap_blocks_to_null (t, id);
757 /* Remap the location info pointed to by LOCUS. */
759 static location_t
760 remap_location (location_t locus, copy_body_data *id)
762 if (LOCATION_BLOCK (locus))
764 tree *n = id->decl_map->get (LOCATION_BLOCK (locus));
765 gcc_assert (n);
766 if (*n)
767 return set_block (locus, *n);
770 locus = LOCATION_LOCUS (locus);
772 if (locus != UNKNOWN_LOCATION && id->block)
773 return set_block (locus, id->block);
775 return locus;
778 static void
779 copy_statement_list (tree *tp)
781 tree_stmt_iterator oi, ni;
782 tree new_tree;
784 new_tree = alloc_stmt_list ();
785 ni = tsi_start (new_tree);
786 oi = tsi_start (*tp);
787 TREE_TYPE (new_tree) = TREE_TYPE (*tp);
788 *tp = new_tree;
790 for (; !tsi_end_p (oi); tsi_next (&oi))
792 tree stmt = tsi_stmt (oi);
793 if (TREE_CODE (stmt) == STATEMENT_LIST)
794 /* This copy is not redundant; tsi_link_after will smash this
795 STATEMENT_LIST into the end of the one we're building, and we
796 don't want to do that with the original. */
797 copy_statement_list (&stmt);
798 tsi_link_after (&ni, stmt, TSI_CONTINUE_LINKING);
802 static void
803 copy_bind_expr (tree *tp, int *walk_subtrees, copy_body_data *id)
805 tree block = BIND_EXPR_BLOCK (*tp);
806 /* Copy (and replace) the statement. */
807 copy_tree_r (tp, walk_subtrees, NULL);
808 if (block)
810 remap_block (&block, id);
811 BIND_EXPR_BLOCK (*tp) = block;
814 if (BIND_EXPR_VARS (*tp))
815 /* This will remap a lot of the same decls again, but this should be
816 harmless. */
817 BIND_EXPR_VARS (*tp) = remap_decls (BIND_EXPR_VARS (*tp), NULL, id);
821 /* Create a new gimple_seq by remapping all the statements in BODY
822 using the inlining information in ID. */
824 static gimple_seq
825 remap_gimple_seq (gimple_seq body, copy_body_data *id)
827 gimple_stmt_iterator si;
828 gimple_seq new_body = NULL;
830 for (si = gsi_start (body); !gsi_end_p (si); gsi_next (&si))
832 gimple_seq new_stmts = remap_gimple_stmt (gsi_stmt (si), id);
833 gimple_seq_add_seq (&new_body, new_stmts);
836 return new_body;
840 /* Copy a GIMPLE_BIND statement STMT, remapping all the symbols in its
841 block using the mapping information in ID. */
843 static gimple *
844 copy_gimple_bind (gbind *stmt, copy_body_data *id)
846 gimple *new_bind;
847 tree new_block, new_vars;
848 gimple_seq body, new_body;
850 /* Copy the statement. Note that we purposely don't use copy_stmt
851 here because we need to remap statements as we copy. */
852 body = gimple_bind_body (stmt);
853 new_body = remap_gimple_seq (body, id);
855 new_block = gimple_bind_block (stmt);
856 if (new_block)
857 remap_block (&new_block, id);
859 /* This will remap a lot of the same decls again, but this should be
860 harmless. */
861 new_vars = gimple_bind_vars (stmt);
862 if (new_vars)
863 new_vars = remap_decls (new_vars, NULL, id);
865 new_bind = gimple_build_bind (new_vars, new_body, new_block);
867 return new_bind;
870 /* Return true if DECL is a parameter or a SSA_NAME for a parameter. */
872 static bool
873 is_parm (tree decl)
875 if (TREE_CODE (decl) == SSA_NAME)
877 decl = SSA_NAME_VAR (decl);
878 if (!decl)
879 return false;
882 return (TREE_CODE (decl) == PARM_DECL);
885 /* Remap the dependence CLIQUE from the source to the destination function
886 as specified in ID. */
888 static unsigned short
889 remap_dependence_clique (copy_body_data *id, unsigned short clique)
891 if (clique == 0 || processing_debug_stmt)
892 return 0;
893 if (!id->dependence_map)
894 id->dependence_map = new hash_map<dependence_hash, unsigned short>;
895 bool existed;
896 unsigned short &newc = id->dependence_map->get_or_insert (clique, &existed);
897 if (!existed)
898 newc = ++cfun->last_clique;
899 return newc;
902 /* Remap the GIMPLE operand pointed to by *TP. DATA is really a
903 'struct walk_stmt_info *'. DATA->INFO is a 'copy_body_data *'.
904 WALK_SUBTREES is used to indicate walk_gimple_op whether to keep
905 recursing into the children nodes of *TP. */
907 static tree
908 remap_gimple_op_r (tree *tp, int *walk_subtrees, void *data)
910 struct walk_stmt_info *wi_p = (struct walk_stmt_info *) data;
911 copy_body_data *id = (copy_body_data *) wi_p->info;
912 tree fn = id->src_fn;
914 /* For recursive invocations this is no longer the LHS itself. */
915 bool is_lhs = wi_p->is_lhs;
916 wi_p->is_lhs = false;
918 if (TREE_CODE (*tp) == SSA_NAME)
920 *tp = remap_ssa_name (*tp, id);
921 *walk_subtrees = 0;
922 if (is_lhs)
923 SSA_NAME_DEF_STMT (*tp) = wi_p->stmt;
924 return NULL;
926 else if (auto_var_in_fn_p (*tp, fn))
928 /* Local variables and labels need to be replaced by equivalent
929 variables. We don't want to copy static variables; there's
930 only one of those, no matter how many times we inline the
931 containing function. Similarly for globals from an outer
932 function. */
933 tree new_decl;
935 /* Remap the declaration. */
936 new_decl = remap_decl (*tp, id);
937 gcc_assert (new_decl);
938 /* Replace this variable with the copy. */
939 STRIP_TYPE_NOPS (new_decl);
940 /* ??? The C++ frontend uses void * pointer zero to initialize
941 any other type. This confuses the middle-end type verification.
942 As cloned bodies do not go through gimplification again the fixup
943 there doesn't trigger. */
944 if (TREE_CODE (new_decl) == INTEGER_CST
945 && !useless_type_conversion_p (TREE_TYPE (*tp), TREE_TYPE (new_decl)))
946 new_decl = fold_convert (TREE_TYPE (*tp), new_decl);
947 *tp = new_decl;
948 *walk_subtrees = 0;
950 else if (TREE_CODE (*tp) == STATEMENT_LIST)
951 gcc_unreachable ();
952 else if (TREE_CODE (*tp) == SAVE_EXPR)
953 gcc_unreachable ();
954 else if (TREE_CODE (*tp) == LABEL_DECL
955 && (!DECL_CONTEXT (*tp)
956 || decl_function_context (*tp) == id->src_fn))
957 /* These may need to be remapped for EH handling. */
958 *tp = remap_decl (*tp, id);
959 else if (TREE_CODE (*tp) == FIELD_DECL)
961 /* If the enclosing record type is variably_modified_type_p, the field
962 has already been remapped. Otherwise, it need not be. */
963 tree *n = id->decl_map->get (*tp);
964 if (n)
965 *tp = *n;
966 *walk_subtrees = 0;
968 else if (TYPE_P (*tp))
969 /* Types may need remapping as well. */
970 *tp = remap_type (*tp, id);
971 else if (CONSTANT_CLASS_P (*tp))
973 /* If this is a constant, we have to copy the node iff the type
974 will be remapped. copy_tree_r will not copy a constant. */
975 tree new_type = remap_type (TREE_TYPE (*tp), id);
977 if (new_type == TREE_TYPE (*tp))
978 *walk_subtrees = 0;
980 else if (TREE_CODE (*tp) == INTEGER_CST)
981 *tp = wide_int_to_tree (new_type, wi::to_wide (*tp));
982 else
984 *tp = copy_node (*tp);
985 TREE_TYPE (*tp) = new_type;
988 else
990 /* Otherwise, just copy the node. Note that copy_tree_r already
991 knows not to copy VAR_DECLs, etc., so this is safe. */
993 if (TREE_CODE (*tp) == MEM_REF)
995 /* We need to re-canonicalize MEM_REFs from inline substitutions
996 that can happen when a pointer argument is an ADDR_EXPR.
997 Recurse here manually to allow that. */
998 tree ptr = TREE_OPERAND (*tp, 0);
999 tree type = remap_type (TREE_TYPE (*tp), id);
1000 tree old = *tp;
1001 walk_tree (&ptr, remap_gimple_op_r, data, NULL);
1002 *tp = fold_build2 (MEM_REF, type, ptr, TREE_OPERAND (*tp, 1));
1003 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1004 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1005 TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
1006 if (MR_DEPENDENCE_CLIQUE (old) != 0)
1008 MR_DEPENDENCE_CLIQUE (*tp)
1009 = remap_dependence_clique (id, MR_DEPENDENCE_CLIQUE (old));
1010 MR_DEPENDENCE_BASE (*tp) = MR_DEPENDENCE_BASE (old);
1012 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
1013 remapped a parameter as the property might be valid only
1014 for the parameter itself. */
1015 if (TREE_THIS_NOTRAP (old)
1016 && (!is_parm (TREE_OPERAND (old, 0))
1017 || (!id->transform_parameter && is_parm (ptr))))
1018 TREE_THIS_NOTRAP (*tp) = 1;
1019 REF_REVERSE_STORAGE_ORDER (*tp) = REF_REVERSE_STORAGE_ORDER (old);
1020 *walk_subtrees = 0;
1021 return NULL;
1024 /* Here is the "usual case". Copy this tree node, and then
1025 tweak some special cases. */
1026 copy_tree_r (tp, walk_subtrees, NULL);
1028 if (TREE_CODE (*tp) != OMP_CLAUSE)
1029 TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
1031 if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
1033 /* The copied TARGET_EXPR has never been expanded, even if the
1034 original node was expanded already. */
1035 TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
1036 TREE_OPERAND (*tp, 3) = NULL_TREE;
1038 else if (TREE_CODE (*tp) == ADDR_EXPR)
1040 /* Variable substitution need not be simple. In particular,
1041 the MEM_REF substitution above. Make sure that
1042 TREE_CONSTANT and friends are up-to-date. */
1043 int invariant = is_gimple_min_invariant (*tp);
1044 walk_tree (&TREE_OPERAND (*tp, 0), remap_gimple_op_r, data, NULL);
1045 recompute_tree_invariant_for_addr_expr (*tp);
1047 /* If this used to be invariant, but is not any longer,
1048 then regimplification is probably needed. */
1049 if (invariant && !is_gimple_min_invariant (*tp))
1050 id->regimplify = true;
1052 *walk_subtrees = 0;
1056 /* Update the TREE_BLOCK for the cloned expr. */
1057 if (EXPR_P (*tp))
1059 tree new_block = id->remapping_type_depth == 0 ? id->block : NULL;
1060 tree old_block = TREE_BLOCK (*tp);
1061 if (old_block)
1063 tree *n;
1064 n = id->decl_map->get (TREE_BLOCK (*tp));
1065 if (n)
1066 new_block = *n;
1068 TREE_SET_BLOCK (*tp, new_block);
1071 /* Keep iterating. */
1072 return NULL_TREE;
1076 /* Called from copy_body_id via walk_tree. DATA is really a
1077 `copy_body_data *'. */
1079 tree
1080 copy_tree_body_r (tree *tp, int *walk_subtrees, void *data)
1082 copy_body_data *id = (copy_body_data *) data;
1083 tree fn = id->src_fn;
1084 tree new_block;
1086 /* Begin by recognizing trees that we'll completely rewrite for the
1087 inlining context. Our output for these trees is completely
1088 different from out input (e.g. RETURN_EXPR is deleted, and morphs
1089 into an edge). Further down, we'll handle trees that get
1090 duplicated and/or tweaked. */
1092 /* When requested, RETURN_EXPRs should be transformed to just the
1093 contained MODIFY_EXPR. The branch semantics of the return will
1094 be handled elsewhere by manipulating the CFG rather than a statement. */
1095 if (TREE_CODE (*tp) == RETURN_EXPR && id->transform_return_to_modify)
1097 tree assignment = TREE_OPERAND (*tp, 0);
1099 /* If we're returning something, just turn that into an
1100 assignment into the equivalent of the original RESULT_DECL.
1101 If the "assignment" is just the result decl, the result
1102 decl has already been set (e.g. a recent "foo (&result_decl,
1103 ...)"); just toss the entire RETURN_EXPR. */
1104 if (assignment && TREE_CODE (assignment) == MODIFY_EXPR)
1106 /* Replace the RETURN_EXPR with (a copy of) the
1107 MODIFY_EXPR hanging underneath. */
1108 *tp = copy_node (assignment);
1110 else /* Else the RETURN_EXPR returns no value. */
1112 *tp = NULL;
1113 return (tree) (void *)1;
1116 else if (TREE_CODE (*tp) == SSA_NAME)
1118 *tp = remap_ssa_name (*tp, id);
1119 *walk_subtrees = 0;
1120 return NULL;
1123 /* Local variables and labels need to be replaced by equivalent
1124 variables. We don't want to copy static variables; there's only
1125 one of those, no matter how many times we inline the containing
1126 function. Similarly for globals from an outer function. */
1127 else if (auto_var_in_fn_p (*tp, fn))
1129 tree new_decl;
1131 /* Remap the declaration. */
1132 new_decl = remap_decl (*tp, id);
1133 gcc_assert (new_decl);
1134 /* Replace this variable with the copy. */
1135 STRIP_TYPE_NOPS (new_decl);
1136 *tp = new_decl;
1137 *walk_subtrees = 0;
1139 else if (TREE_CODE (*tp) == STATEMENT_LIST)
1140 copy_statement_list (tp);
1141 else if (TREE_CODE (*tp) == SAVE_EXPR
1142 || TREE_CODE (*tp) == TARGET_EXPR)
1143 remap_save_expr (tp, id->decl_map, walk_subtrees);
1144 else if (TREE_CODE (*tp) == LABEL_DECL
1145 && (! DECL_CONTEXT (*tp)
1146 || decl_function_context (*tp) == id->src_fn))
1147 /* These may need to be remapped for EH handling. */
1148 *tp = remap_decl (*tp, id);
1149 else if (TREE_CODE (*tp) == BIND_EXPR)
1150 copy_bind_expr (tp, walk_subtrees, id);
1151 /* Types may need remapping as well. */
1152 else if (TYPE_P (*tp))
1153 *tp = remap_type (*tp, id);
1155 /* If this is a constant, we have to copy the node iff the type will be
1156 remapped. copy_tree_r will not copy a constant. */
1157 else if (CONSTANT_CLASS_P (*tp))
1159 tree new_type = remap_type (TREE_TYPE (*tp), id);
1161 if (new_type == TREE_TYPE (*tp))
1162 *walk_subtrees = 0;
1164 else if (TREE_CODE (*tp) == INTEGER_CST)
1165 *tp = wide_int_to_tree (new_type, wi::to_wide (*tp));
1166 else
1168 *tp = copy_node (*tp);
1169 TREE_TYPE (*tp) = new_type;
1173 /* Otherwise, just copy the node. Note that copy_tree_r already
1174 knows not to copy VAR_DECLs, etc., so this is safe. */
1175 else
1177 /* Here we handle trees that are not completely rewritten.
1178 First we detect some inlining-induced bogosities for
1179 discarding. */
1180 if (TREE_CODE (*tp) == MODIFY_EXPR
1181 && TREE_OPERAND (*tp, 0) == TREE_OPERAND (*tp, 1)
1182 && (auto_var_in_fn_p (TREE_OPERAND (*tp, 0), fn)))
1184 /* Some assignments VAR = VAR; don't generate any rtl code
1185 and thus don't count as variable modification. Avoid
1186 keeping bogosities like 0 = 0. */
1187 tree decl = TREE_OPERAND (*tp, 0), value;
1188 tree *n;
1190 n = id->decl_map->get (decl);
1191 if (n)
1193 value = *n;
1194 STRIP_TYPE_NOPS (value);
1195 if (TREE_CONSTANT (value) || TREE_READONLY (value))
1197 *tp = build_empty_stmt (EXPR_LOCATION (*tp));
1198 return copy_tree_body_r (tp, walk_subtrees, data);
1202 else if (TREE_CODE (*tp) == INDIRECT_REF)
1204 /* Get rid of *& from inline substitutions that can happen when a
1205 pointer argument is an ADDR_EXPR. */
1206 tree decl = TREE_OPERAND (*tp, 0);
1207 tree *n = id->decl_map->get (decl);
1208 if (n)
1210 /* If we happen to get an ADDR_EXPR in n->value, strip
1211 it manually here as we'll eventually get ADDR_EXPRs
1212 which lie about their types pointed to. In this case
1213 build_fold_indirect_ref wouldn't strip the INDIRECT_REF,
1214 but we absolutely rely on that. As fold_indirect_ref
1215 does other useful transformations, try that first, though. */
1216 tree type = TREE_TYPE (*tp);
1217 tree ptr = id->do_not_unshare ? *n : unshare_expr (*n);
1218 tree old = *tp;
1219 *tp = gimple_fold_indirect_ref (ptr);
1220 if (! *tp)
1222 type = remap_type (type, id);
1223 if (TREE_CODE (ptr) == ADDR_EXPR)
1226 = fold_indirect_ref_1 (EXPR_LOCATION (ptr), type, ptr);
1227 /* ??? We should either assert here or build
1228 a VIEW_CONVERT_EXPR instead of blindly leaking
1229 incompatible types to our IL. */
1230 if (! *tp)
1231 *tp = TREE_OPERAND (ptr, 0);
1233 else
1235 *tp = build1 (INDIRECT_REF, type, ptr);
1236 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1237 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1238 TREE_READONLY (*tp) = TREE_READONLY (old);
1239 /* We cannot propagate the TREE_THIS_NOTRAP flag if we
1240 have remapped a parameter as the property might be
1241 valid only for the parameter itself. */
1242 if (TREE_THIS_NOTRAP (old)
1243 && (!is_parm (TREE_OPERAND (old, 0))
1244 || (!id->transform_parameter && is_parm (ptr))))
1245 TREE_THIS_NOTRAP (*tp) = 1;
1248 *walk_subtrees = 0;
1249 return NULL;
1252 else if (TREE_CODE (*tp) == MEM_REF)
1254 /* We need to re-canonicalize MEM_REFs from inline substitutions
1255 that can happen when a pointer argument is an ADDR_EXPR.
1256 Recurse here manually to allow that. */
1257 tree ptr = TREE_OPERAND (*tp, 0);
1258 tree type = remap_type (TREE_TYPE (*tp), id);
1259 tree old = *tp;
1260 walk_tree (&ptr, copy_tree_body_r, data, NULL);
1261 *tp = fold_build2 (MEM_REF, type, ptr, TREE_OPERAND (*tp, 1));
1262 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1263 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1264 TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
1265 if (MR_DEPENDENCE_CLIQUE (old) != 0)
1267 MR_DEPENDENCE_CLIQUE (*tp)
1268 = remap_dependence_clique (id, MR_DEPENDENCE_CLIQUE (old));
1269 MR_DEPENDENCE_BASE (*tp) = MR_DEPENDENCE_BASE (old);
1271 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
1272 remapped a parameter as the property might be valid only
1273 for the parameter itself. */
1274 if (TREE_THIS_NOTRAP (old)
1275 && (!is_parm (TREE_OPERAND (old, 0))
1276 || (!id->transform_parameter && is_parm (ptr))))
1277 TREE_THIS_NOTRAP (*tp) = 1;
1278 REF_REVERSE_STORAGE_ORDER (*tp) = REF_REVERSE_STORAGE_ORDER (old);
1279 *walk_subtrees = 0;
1280 return NULL;
1283 /* Here is the "usual case". Copy this tree node, and then
1284 tweak some special cases. */
1285 copy_tree_r (tp, walk_subtrees, NULL);
1287 /* If EXPR has block defined, map it to newly constructed block.
1288 When inlining we want EXPRs without block appear in the block
1289 of function call if we are not remapping a type. */
1290 if (EXPR_P (*tp))
1292 new_block = id->remapping_type_depth == 0 ? id->block : NULL;
1293 if (TREE_BLOCK (*tp))
1295 tree *n;
1296 n = id->decl_map->get (TREE_BLOCK (*tp));
1297 if (n)
1298 new_block = *n;
1300 TREE_SET_BLOCK (*tp, new_block);
1303 if (TREE_CODE (*tp) != OMP_CLAUSE)
1304 TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
1306 /* The copied TARGET_EXPR has never been expanded, even if the
1307 original node was expanded already. */
1308 if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
1310 TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
1311 TREE_OPERAND (*tp, 3) = NULL_TREE;
1314 /* Variable substitution need not be simple. In particular, the
1315 INDIRECT_REF substitution above. Make sure that TREE_CONSTANT
1316 and friends are up-to-date. */
1317 else if (TREE_CODE (*tp) == ADDR_EXPR)
1319 int invariant = is_gimple_min_invariant (*tp);
1320 walk_tree (&TREE_OPERAND (*tp, 0), copy_tree_body_r, id, NULL);
1322 /* Handle the case where we substituted an INDIRECT_REF
1323 into the operand of the ADDR_EXPR. */
1324 if (TREE_CODE (TREE_OPERAND (*tp, 0)) == INDIRECT_REF)
1326 tree t = TREE_OPERAND (TREE_OPERAND (*tp, 0), 0);
1327 if (TREE_TYPE (t) != TREE_TYPE (*tp))
1328 t = fold_convert (remap_type (TREE_TYPE (*tp), id), t);
1329 *tp = t;
1331 else
1332 recompute_tree_invariant_for_addr_expr (*tp);
1334 /* If this used to be invariant, but is not any longer,
1335 then regimplification is probably needed. */
1336 if (invariant && !is_gimple_min_invariant (*tp))
1337 id->regimplify = true;
1339 *walk_subtrees = 0;
1343 /* Keep iterating. */
1344 return NULL_TREE;
1347 /* Helper for remap_gimple_stmt. Given an EH region number for the
1348 source function, map that to the duplicate EH region number in
1349 the destination function. */
1351 static int
1352 remap_eh_region_nr (int old_nr, copy_body_data *id)
1354 eh_region old_r, new_r;
1356 old_r = get_eh_region_from_number_fn (id->src_cfun, old_nr);
1357 new_r = static_cast<eh_region> (*id->eh_map->get (old_r));
1359 return new_r->index;
1362 /* Similar, but operate on INTEGER_CSTs. */
1364 static tree
1365 remap_eh_region_tree_nr (tree old_t_nr, copy_body_data *id)
1367 int old_nr, new_nr;
1369 old_nr = tree_to_shwi (old_t_nr);
1370 new_nr = remap_eh_region_nr (old_nr, id);
1372 return build_int_cst (integer_type_node, new_nr);
1375 /* Helper for copy_bb. Remap statement STMT using the inlining
1376 information in ID. Return the new statement copy. */
1378 static gimple_seq
1379 remap_gimple_stmt (gimple *stmt, copy_body_data *id)
1381 gimple *copy = NULL;
1382 struct walk_stmt_info wi;
1383 bool skip_first = false;
1384 gimple_seq stmts = NULL;
1386 if (is_gimple_debug (stmt)
1387 && (gimple_debug_nonbind_marker_p (stmt)
1388 ? !DECL_STRUCT_FUNCTION (id->dst_fn)->debug_nonbind_markers
1389 : !opt_for_fn (id->dst_fn, flag_var_tracking_assignments)))
1390 return NULL;
1392 /* Begin by recognizing trees that we'll completely rewrite for the
1393 inlining context. Our output for these trees is completely
1394 different from our input (e.g. RETURN_EXPR is deleted and morphs
1395 into an edge). Further down, we'll handle trees that get
1396 duplicated and/or tweaked. */
1398 /* When requested, GIMPLE_RETURN should be transformed to just the
1399 contained GIMPLE_ASSIGN. The branch semantics of the return will
1400 be handled elsewhere by manipulating the CFG rather than the
1401 statement. */
1402 if (gimple_code (stmt) == GIMPLE_RETURN && id->transform_return_to_modify)
1404 tree retval = gimple_return_retval (as_a <greturn *> (stmt));
1406 /* If we're returning something, just turn that into an
1407 assignment to the equivalent of the original RESULT_DECL.
1408 If RETVAL is just the result decl, the result decl has
1409 already been set (e.g. a recent "foo (&result_decl, ...)");
1410 just toss the entire GIMPLE_RETURN. */
1411 if (retval
1412 && (TREE_CODE (retval) != RESULT_DECL
1413 && (TREE_CODE (retval) != SSA_NAME
1414 || ! SSA_NAME_VAR (retval)
1415 || TREE_CODE (SSA_NAME_VAR (retval)) != RESULT_DECL)))
1417 copy = gimple_build_assign (id->do_not_unshare
1418 ? id->retvar : unshare_expr (id->retvar),
1419 retval);
1420 /* id->retvar is already substituted. Skip it on later remapping. */
1421 skip_first = true;
1423 else
1424 return NULL;
1426 else if (gimple_has_substatements (stmt))
1428 gimple_seq s1, s2;
1430 /* When cloning bodies from the C++ front end, we will be handed bodies
1431 in High GIMPLE form. Handle here all the High GIMPLE statements that
1432 have embedded statements. */
1433 switch (gimple_code (stmt))
1435 case GIMPLE_BIND:
1436 copy = copy_gimple_bind (as_a <gbind *> (stmt), id);
1437 break;
1439 case GIMPLE_CATCH:
1441 gcatch *catch_stmt = as_a <gcatch *> (stmt);
1442 s1 = remap_gimple_seq (gimple_catch_handler (catch_stmt), id);
1443 copy = gimple_build_catch (gimple_catch_types (catch_stmt), s1);
1445 break;
1447 case GIMPLE_EH_FILTER:
1448 s1 = remap_gimple_seq (gimple_eh_filter_failure (stmt), id);
1449 copy = gimple_build_eh_filter (gimple_eh_filter_types (stmt), s1);
1450 break;
1452 case GIMPLE_TRY:
1453 s1 = remap_gimple_seq (gimple_try_eval (stmt), id);
1454 s2 = remap_gimple_seq (gimple_try_cleanup (stmt), id);
1455 copy = gimple_build_try (s1, s2, gimple_try_kind (stmt));
1456 break;
1458 case GIMPLE_WITH_CLEANUP_EXPR:
1459 s1 = remap_gimple_seq (gimple_wce_cleanup (stmt), id);
1460 copy = gimple_build_wce (s1);
1461 break;
1463 case GIMPLE_OMP_PARALLEL:
1465 gomp_parallel *omp_par_stmt = as_a <gomp_parallel *> (stmt);
1466 s1 = remap_gimple_seq (gimple_omp_body (omp_par_stmt), id);
1467 copy = gimple_build_omp_parallel
1468 (s1,
1469 gimple_omp_parallel_clauses (omp_par_stmt),
1470 gimple_omp_parallel_child_fn (omp_par_stmt),
1471 gimple_omp_parallel_data_arg (omp_par_stmt));
1473 break;
1475 case GIMPLE_OMP_TASK:
1476 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1477 copy = gimple_build_omp_task
1478 (s1,
1479 gimple_omp_task_clauses (stmt),
1480 gimple_omp_task_child_fn (stmt),
1481 gimple_omp_task_data_arg (stmt),
1482 gimple_omp_task_copy_fn (stmt),
1483 gimple_omp_task_arg_size (stmt),
1484 gimple_omp_task_arg_align (stmt));
1485 break;
1487 case GIMPLE_OMP_FOR:
1488 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1489 s2 = remap_gimple_seq (gimple_omp_for_pre_body (stmt), id);
1490 copy = gimple_build_omp_for (s1, gimple_omp_for_kind (stmt),
1491 gimple_omp_for_clauses (stmt),
1492 gimple_omp_for_collapse (stmt), s2);
1494 size_t i;
1495 for (i = 0; i < gimple_omp_for_collapse (stmt); i++)
1497 gimple_omp_for_set_index (copy, i,
1498 gimple_omp_for_index (stmt, i));
1499 gimple_omp_for_set_initial (copy, i,
1500 gimple_omp_for_initial (stmt, i));
1501 gimple_omp_for_set_final (copy, i,
1502 gimple_omp_for_final (stmt, i));
1503 gimple_omp_for_set_incr (copy, i,
1504 gimple_omp_for_incr (stmt, i));
1505 gimple_omp_for_set_cond (copy, i,
1506 gimple_omp_for_cond (stmt, i));
1509 break;
1511 case GIMPLE_OMP_MASTER:
1512 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1513 copy = gimple_build_omp_master (s1);
1514 break;
1516 case GIMPLE_OMP_TASKGROUP:
1517 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1518 copy = gimple_build_omp_taskgroup (s1);
1519 break;
1521 case GIMPLE_OMP_ORDERED:
1522 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1523 copy = gimple_build_omp_ordered
1524 (s1,
1525 gimple_omp_ordered_clauses (as_a <gomp_ordered *> (stmt)));
1526 break;
1528 case GIMPLE_OMP_SECTION:
1529 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1530 copy = gimple_build_omp_section (s1);
1531 break;
1533 case GIMPLE_OMP_SECTIONS:
1534 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1535 copy = gimple_build_omp_sections
1536 (s1, gimple_omp_sections_clauses (stmt));
1537 break;
1539 case GIMPLE_OMP_SINGLE:
1540 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1541 copy = gimple_build_omp_single
1542 (s1, gimple_omp_single_clauses (stmt));
1543 break;
1545 case GIMPLE_OMP_TARGET:
1546 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1547 copy = gimple_build_omp_target
1548 (s1, gimple_omp_target_kind (stmt),
1549 gimple_omp_target_clauses (stmt));
1550 break;
1552 case GIMPLE_OMP_TEAMS:
1553 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1554 copy = gimple_build_omp_teams
1555 (s1, gimple_omp_teams_clauses (stmt));
1556 break;
1558 case GIMPLE_OMP_CRITICAL:
1559 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1560 copy = gimple_build_omp_critical (s1,
1561 gimple_omp_critical_name
1562 (as_a <gomp_critical *> (stmt)),
1563 gimple_omp_critical_clauses
1564 (as_a <gomp_critical *> (stmt)));
1565 break;
1567 case GIMPLE_TRANSACTION:
1569 gtransaction *old_trans_stmt = as_a <gtransaction *> (stmt);
1570 gtransaction *new_trans_stmt;
1571 s1 = remap_gimple_seq (gimple_transaction_body (old_trans_stmt),
1572 id);
1573 copy = new_trans_stmt = gimple_build_transaction (s1);
1574 gimple_transaction_set_subcode (new_trans_stmt,
1575 gimple_transaction_subcode (old_trans_stmt));
1576 gimple_transaction_set_label_norm (new_trans_stmt,
1577 gimple_transaction_label_norm (old_trans_stmt));
1578 gimple_transaction_set_label_uninst (new_trans_stmt,
1579 gimple_transaction_label_uninst (old_trans_stmt));
1580 gimple_transaction_set_label_over (new_trans_stmt,
1581 gimple_transaction_label_over (old_trans_stmt));
1583 break;
1585 default:
1586 gcc_unreachable ();
1589 else
1591 if (gimple_assign_copy_p (stmt)
1592 && gimple_assign_lhs (stmt) == gimple_assign_rhs1 (stmt)
1593 && auto_var_in_fn_p (gimple_assign_lhs (stmt), id->src_fn))
1595 /* Here we handle statements that are not completely rewritten.
1596 First we detect some inlining-induced bogosities for
1597 discarding. */
1599 /* Some assignments VAR = VAR; don't generate any rtl code
1600 and thus don't count as variable modification. Avoid
1601 keeping bogosities like 0 = 0. */
1602 tree decl = gimple_assign_lhs (stmt), value;
1603 tree *n;
1605 n = id->decl_map->get (decl);
1606 if (n)
1608 value = *n;
1609 STRIP_TYPE_NOPS (value);
1610 if (TREE_CONSTANT (value) || TREE_READONLY (value))
1611 return NULL;
1615 /* For *ptr_N ={v} {CLOBBER}, if ptr_N is SSA_NAME defined
1616 in a block that we aren't copying during tree_function_versioning,
1617 just drop the clobber stmt. */
1618 if (id->blocks_to_copy && gimple_clobber_p (stmt))
1620 tree lhs = gimple_assign_lhs (stmt);
1621 if (TREE_CODE (lhs) == MEM_REF
1622 && TREE_CODE (TREE_OPERAND (lhs, 0)) == SSA_NAME)
1624 gimple *def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (lhs, 0));
1625 if (gimple_bb (def_stmt)
1626 && !bitmap_bit_p (id->blocks_to_copy,
1627 gimple_bb (def_stmt)->index))
1628 return NULL;
1632 if (gimple_debug_bind_p (stmt))
1634 gdebug *copy
1635 = gimple_build_debug_bind (gimple_debug_bind_get_var (stmt),
1636 gimple_debug_bind_get_value (stmt),
1637 stmt);
1638 if (id->reset_location)
1639 gimple_set_location (copy, input_location);
1640 id->debug_stmts.safe_push (copy);
1641 gimple_seq_add_stmt (&stmts, copy);
1642 return stmts;
1644 if (gimple_debug_source_bind_p (stmt))
1646 gdebug *copy = gimple_build_debug_source_bind
1647 (gimple_debug_source_bind_get_var (stmt),
1648 gimple_debug_source_bind_get_value (stmt),
1649 stmt);
1650 if (id->reset_location)
1651 gimple_set_location (copy, input_location);
1652 id->debug_stmts.safe_push (copy);
1653 gimple_seq_add_stmt (&stmts, copy);
1654 return stmts;
1656 if (gimple_debug_nonbind_marker_p (stmt))
1658 /* If the inlined function has too many debug markers,
1659 don't copy them. */
1660 if (id->src_cfun->debug_marker_count
1661 > PARAM_VALUE (PARAM_MAX_DEBUG_MARKER_COUNT))
1662 return stmts;
1664 gdebug *copy = as_a <gdebug *> (gimple_copy (stmt));
1665 if (id->reset_location)
1666 gimple_set_location (copy, input_location);
1667 id->debug_stmts.safe_push (copy);
1668 gimple_seq_add_stmt (&stmts, copy);
1669 return stmts;
1672 /* Create a new deep copy of the statement. */
1673 copy = gimple_copy (stmt);
1675 /* Clear flags that need revisiting. */
1676 if (gcall *call_stmt = dyn_cast <gcall *> (copy))
1678 if (gimple_call_tail_p (call_stmt))
1679 gimple_call_set_tail (call_stmt, false);
1680 if (gimple_call_from_thunk_p (call_stmt))
1681 gimple_call_set_from_thunk (call_stmt, false);
1682 if (gimple_call_internal_p (call_stmt))
1683 switch (gimple_call_internal_fn (call_stmt))
1685 case IFN_GOMP_SIMD_LANE:
1686 case IFN_GOMP_SIMD_VF:
1687 case IFN_GOMP_SIMD_LAST_LANE:
1688 case IFN_GOMP_SIMD_ORDERED_START:
1689 case IFN_GOMP_SIMD_ORDERED_END:
1690 DECL_STRUCT_FUNCTION (id->dst_fn)->has_simduid_loops = true;
1691 break;
1692 default:
1693 break;
1697 /* Remap the region numbers for __builtin_eh_{pointer,filter},
1698 RESX and EH_DISPATCH. */
1699 if (id->eh_map)
1700 switch (gimple_code (copy))
1702 case GIMPLE_CALL:
1704 tree r, fndecl = gimple_call_fndecl (copy);
1705 if (fndecl && DECL_BUILT_IN_CLASS (fndecl) == BUILT_IN_NORMAL)
1706 switch (DECL_FUNCTION_CODE (fndecl))
1708 case BUILT_IN_EH_COPY_VALUES:
1709 r = gimple_call_arg (copy, 1);
1710 r = remap_eh_region_tree_nr (r, id);
1711 gimple_call_set_arg (copy, 1, r);
1712 /* FALLTHRU */
1714 case BUILT_IN_EH_POINTER:
1715 case BUILT_IN_EH_FILTER:
1716 r = gimple_call_arg (copy, 0);
1717 r = remap_eh_region_tree_nr (r, id);
1718 gimple_call_set_arg (copy, 0, r);
1719 break;
1721 default:
1722 break;
1725 /* Reset alias info if we didn't apply measures to
1726 keep it valid over inlining by setting DECL_PT_UID. */
1727 if (!id->src_cfun->gimple_df
1728 || !id->src_cfun->gimple_df->ipa_pta)
1729 gimple_call_reset_alias_info (as_a <gcall *> (copy));
1731 break;
1733 case GIMPLE_RESX:
1735 gresx *resx_stmt = as_a <gresx *> (copy);
1736 int r = gimple_resx_region (resx_stmt);
1737 r = remap_eh_region_nr (r, id);
1738 gimple_resx_set_region (resx_stmt, r);
1740 break;
1742 case GIMPLE_EH_DISPATCH:
1744 geh_dispatch *eh_dispatch = as_a <geh_dispatch *> (copy);
1745 int r = gimple_eh_dispatch_region (eh_dispatch);
1746 r = remap_eh_region_nr (r, id);
1747 gimple_eh_dispatch_set_region (eh_dispatch, r);
1749 break;
1751 default:
1752 break;
1756 /* If STMT has a block defined, map it to the newly constructed block. */
1757 if (gimple_block (copy))
1759 tree *n;
1760 n = id->decl_map->get (gimple_block (copy));
1761 gcc_assert (n);
1762 gimple_set_block (copy, *n);
1765 if (id->reset_location)
1766 gimple_set_location (copy, input_location);
1768 /* Debug statements ought to be rebuilt and not copied. */
1769 gcc_checking_assert (!is_gimple_debug (copy));
1771 /* Remap all the operands in COPY. */
1772 memset (&wi, 0, sizeof (wi));
1773 wi.info = id;
1774 if (skip_first)
1775 walk_tree (gimple_op_ptr (copy, 1), remap_gimple_op_r, &wi, NULL);
1776 else
1777 walk_gimple_op (copy, remap_gimple_op_r, &wi);
1779 /* Clear the copied virtual operands. We are not remapping them here
1780 but are going to recreate them from scratch. */
1781 if (gimple_has_mem_ops (copy))
1783 gimple_set_vdef (copy, NULL_TREE);
1784 gimple_set_vuse (copy, NULL_TREE);
1787 gimple_seq_add_stmt (&stmts, copy);
1788 return stmts;
1792 /* Copy basic block, scale profile accordingly. Edges will be taken care of
1793 later */
1795 static basic_block
1796 copy_bb (copy_body_data *id, basic_block bb,
1797 profile_count num, profile_count den)
1799 gimple_stmt_iterator gsi, copy_gsi, seq_gsi;
1800 basic_block copy_basic_block;
1801 tree decl;
1802 basic_block prev;
1804 profile_count::adjust_for_ipa_scaling (&num, &den);
1806 /* Search for previous copied basic block. */
1807 prev = bb->prev_bb;
1808 while (!prev->aux)
1809 prev = prev->prev_bb;
1811 /* create_basic_block() will append every new block to
1812 basic_block_info automatically. */
1813 copy_basic_block = create_basic_block (NULL, (basic_block) prev->aux);
1814 copy_basic_block->count = bb->count.apply_scale (num, den);
1816 copy_gsi = gsi_start_bb (copy_basic_block);
1818 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1820 gimple_seq stmts;
1821 gimple *stmt = gsi_stmt (gsi);
1822 gimple *orig_stmt = stmt;
1823 gimple_stmt_iterator stmts_gsi;
1824 bool stmt_added = false;
1826 id->regimplify = false;
1827 stmts = remap_gimple_stmt (stmt, id);
1829 if (gimple_seq_empty_p (stmts))
1830 continue;
1832 seq_gsi = copy_gsi;
1834 for (stmts_gsi = gsi_start (stmts);
1835 !gsi_end_p (stmts_gsi); )
1837 stmt = gsi_stmt (stmts_gsi);
1839 /* Advance iterator now before stmt is moved to seq_gsi. */
1840 gsi_next (&stmts_gsi);
1842 if (gimple_nop_p (stmt))
1843 continue;
1845 gimple_duplicate_stmt_histograms (cfun, stmt, id->src_cfun,
1846 orig_stmt);
1848 /* With return slot optimization we can end up with
1849 non-gimple (foo *)&this->m, fix that here. */
1850 if (is_gimple_assign (stmt)
1851 && CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt))
1852 && !is_gimple_val (gimple_assign_rhs1 (stmt)))
1854 tree new_rhs;
1855 new_rhs = force_gimple_operand_gsi (&seq_gsi,
1856 gimple_assign_rhs1 (stmt),
1857 true, NULL, false,
1858 GSI_CONTINUE_LINKING);
1859 gimple_assign_set_rhs1 (stmt, new_rhs);
1860 id->regimplify = false;
1863 gsi_insert_after (&seq_gsi, stmt, GSI_NEW_STMT);
1865 if (id->regimplify)
1866 gimple_regimplify_operands (stmt, &seq_gsi);
1868 stmt_added = true;
1871 if (!stmt_added)
1872 continue;
1874 /* If copy_basic_block has been empty at the start of this iteration,
1875 call gsi_start_bb again to get at the newly added statements. */
1876 if (gsi_end_p (copy_gsi))
1877 copy_gsi = gsi_start_bb (copy_basic_block);
1878 else
1879 gsi_next (&copy_gsi);
1881 /* Process the new statement. The call to gimple_regimplify_operands
1882 possibly turned the statement into multiple statements, we
1883 need to process all of them. */
1886 tree fn;
1887 gcall *call_stmt;
1889 stmt = gsi_stmt (copy_gsi);
1890 call_stmt = dyn_cast <gcall *> (stmt);
1891 if (call_stmt
1892 && gimple_call_va_arg_pack_p (call_stmt)
1893 && id->call_stmt
1894 && ! gimple_call_va_arg_pack_p (id->call_stmt))
1896 /* __builtin_va_arg_pack () should be replaced by
1897 all arguments corresponding to ... in the caller. */
1898 tree p;
1899 gcall *new_call;
1900 vec<tree> argarray;
1901 size_t nargs = gimple_call_num_args (id->call_stmt);
1902 size_t n;
1904 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1905 nargs--;
1907 /* Create the new array of arguments. */
1908 n = nargs + gimple_call_num_args (call_stmt);
1909 argarray.create (n);
1910 argarray.safe_grow_cleared (n);
1912 /* Copy all the arguments before '...' */
1913 memcpy (argarray.address (),
1914 gimple_call_arg_ptr (call_stmt, 0),
1915 gimple_call_num_args (call_stmt) * sizeof (tree));
1917 /* Append the arguments passed in '...' */
1918 memcpy (argarray.address () + gimple_call_num_args (call_stmt),
1919 gimple_call_arg_ptr (id->call_stmt, 0)
1920 + (gimple_call_num_args (id->call_stmt) - nargs),
1921 nargs * sizeof (tree));
1923 new_call = gimple_build_call_vec (gimple_call_fn (call_stmt),
1924 argarray);
1926 argarray.release ();
1928 /* Copy all GIMPLE_CALL flags, location and block, except
1929 GF_CALL_VA_ARG_PACK. */
1930 gimple_call_copy_flags (new_call, call_stmt);
1931 gimple_call_set_va_arg_pack (new_call, false);
1932 gimple_set_location (new_call, gimple_location (stmt));
1933 gimple_set_block (new_call, gimple_block (stmt));
1934 gimple_call_set_lhs (new_call, gimple_call_lhs (call_stmt));
1936 gsi_replace (&copy_gsi, new_call, false);
1937 stmt = new_call;
1939 else if (call_stmt
1940 && id->call_stmt
1941 && (decl = gimple_call_fndecl (stmt))
1942 && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL
1943 && DECL_FUNCTION_CODE (decl) == BUILT_IN_VA_ARG_PACK_LEN
1944 && ! gimple_call_va_arg_pack_p (id->call_stmt))
1946 /* __builtin_va_arg_pack_len () should be replaced by
1947 the number of anonymous arguments. */
1948 size_t nargs = gimple_call_num_args (id->call_stmt);
1949 tree count, p;
1950 gimple *new_stmt;
1952 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1953 nargs--;
1955 count = build_int_cst (integer_type_node, nargs);
1956 new_stmt = gimple_build_assign (gimple_call_lhs (stmt), count);
1957 gsi_replace (&copy_gsi, new_stmt, false);
1958 stmt = new_stmt;
1960 else if (call_stmt
1961 && id->call_stmt
1962 && gimple_call_internal_p (stmt)
1963 && gimple_call_internal_fn (stmt) == IFN_TSAN_FUNC_EXIT)
1965 /* Drop TSAN_FUNC_EXIT () internal calls during inlining. */
1966 gsi_remove (&copy_gsi, false);
1967 continue;
1970 /* Statements produced by inlining can be unfolded, especially
1971 when we constant propagated some operands. We can't fold
1972 them right now for two reasons:
1973 1) folding require SSA_NAME_DEF_STMTs to be correct
1974 2) we can't change function calls to builtins.
1975 So we just mark statement for later folding. We mark
1976 all new statements, instead just statements that has changed
1977 by some nontrivial substitution so even statements made
1978 foldable indirectly are updated. If this turns out to be
1979 expensive, copy_body can be told to watch for nontrivial
1980 changes. */
1981 if (id->statements_to_fold)
1982 id->statements_to_fold->add (stmt);
1984 /* We're duplicating a CALL_EXPR. Find any corresponding
1985 callgraph edges and update or duplicate them. */
1986 if (gcall *call_stmt = dyn_cast <gcall *> (stmt))
1988 struct cgraph_edge *edge;
1990 switch (id->transform_call_graph_edges)
1992 case CB_CGE_DUPLICATE:
1993 edge = id->src_node->get_edge (orig_stmt);
1994 if (edge)
1996 struct cgraph_edge *old_edge = edge;
1997 profile_count old_cnt = edge->count;
1998 edge = edge->clone (id->dst_node, call_stmt,
1999 gimple_uid (stmt),
2000 num, den,
2001 true);
2003 /* Speculative calls consist of two edges - direct and
2004 indirect. Duplicate the whole thing and distribute
2005 frequencies accordingly. */
2006 if (edge->speculative)
2008 struct cgraph_edge *direct, *indirect;
2009 struct ipa_ref *ref;
2011 gcc_assert (!edge->indirect_unknown_callee);
2012 old_edge->speculative_call_info (direct, indirect, ref);
2014 profile_count indir_cnt = indirect->count;
2015 indirect = indirect->clone (id->dst_node, call_stmt,
2016 gimple_uid (stmt),
2017 num, den,
2018 true);
2020 profile_probability prob
2021 = indir_cnt.probability_in (old_cnt + indir_cnt);
2022 indirect->count
2023 = copy_basic_block->count.apply_probability (prob);
2024 edge->count = copy_basic_block->count - indirect->count;
2025 id->dst_node->clone_reference (ref, stmt);
2027 else
2028 edge->count = copy_basic_block->count;
2030 break;
2032 case CB_CGE_MOVE_CLONES:
2033 id->dst_node->set_call_stmt_including_clones (orig_stmt,
2034 call_stmt);
2035 edge = id->dst_node->get_edge (stmt);
2036 break;
2038 case CB_CGE_MOVE:
2039 edge = id->dst_node->get_edge (orig_stmt);
2040 if (edge)
2041 edge->set_call_stmt (call_stmt);
2042 break;
2044 default:
2045 gcc_unreachable ();
2048 /* Constant propagation on argument done during inlining
2049 may create new direct call. Produce an edge for it. */
2050 if ((!edge
2051 || (edge->indirect_inlining_edge
2052 && id->transform_call_graph_edges == CB_CGE_MOVE_CLONES))
2053 && id->dst_node->definition
2054 && (fn = gimple_call_fndecl (stmt)) != NULL)
2056 struct cgraph_node *dest = cgraph_node::get_create (fn);
2058 /* We have missing edge in the callgraph. This can happen
2059 when previous inlining turned an indirect call into a
2060 direct call by constant propagating arguments or we are
2061 producing dead clone (for further cloning). In all
2062 other cases we hit a bug (incorrect node sharing is the
2063 most common reason for missing edges). */
2064 gcc_assert (!dest->definition
2065 || dest->address_taken
2066 || !id->src_node->definition
2067 || !id->dst_node->definition);
2068 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES)
2069 id->dst_node->create_edge_including_clones
2070 (dest, orig_stmt, call_stmt, bb->count,
2071 CIF_ORIGINALLY_INDIRECT_CALL);
2072 else
2073 id->dst_node->create_edge (dest, call_stmt,
2074 bb->count)->inline_failed
2075 = CIF_ORIGINALLY_INDIRECT_CALL;
2076 if (dump_file)
2078 fprintf (dump_file, "Created new direct edge to %s\n",
2079 dest->name ());
2083 notice_special_calls (as_a <gcall *> (stmt));
2086 maybe_duplicate_eh_stmt_fn (cfun, stmt, id->src_cfun, orig_stmt,
2087 id->eh_map, id->eh_lp_nr);
2089 gsi_next (&copy_gsi);
2091 while (!gsi_end_p (copy_gsi));
2093 copy_gsi = gsi_last_bb (copy_basic_block);
2096 return copy_basic_block;
2099 /* Inserting Single Entry Multiple Exit region in SSA form into code in SSA
2100 form is quite easy, since dominator relationship for old basic blocks does
2101 not change.
2103 There is however exception where inlining might change dominator relation
2104 across EH edges from basic block within inlined functions destinating
2105 to landing pads in function we inline into.
2107 The function fills in PHI_RESULTs of such PHI nodes if they refer
2108 to gimple regs. Otherwise, the function mark PHI_RESULT of such
2109 PHI nodes for renaming. For non-gimple regs, renaming is safe: the
2110 EH edges are abnormal and SSA_NAME_OCCURS_IN_ABNORMAL_PHI must be
2111 set, and this means that there will be no overlapping live ranges
2112 for the underlying symbol.
2114 This might change in future if we allow redirecting of EH edges and
2115 we might want to change way build CFG pre-inlining to include
2116 all the possible edges then. */
2117 static void
2118 update_ssa_across_abnormal_edges (basic_block bb, basic_block ret_bb,
2119 bool can_throw, bool nonlocal_goto)
2121 edge e;
2122 edge_iterator ei;
2124 FOR_EACH_EDGE (e, ei, bb->succs)
2125 if (!e->dest->aux
2126 || ((basic_block)e->dest->aux)->index == ENTRY_BLOCK)
2128 gphi *phi;
2129 gphi_iterator si;
2131 if (!nonlocal_goto)
2132 gcc_assert (e->flags & EDGE_EH);
2134 if (!can_throw)
2135 gcc_assert (!(e->flags & EDGE_EH));
2137 for (si = gsi_start_phis (e->dest); !gsi_end_p (si); gsi_next (&si))
2139 edge re;
2141 phi = si.phi ();
2143 /* For abnormal goto/call edges the receiver can be the
2144 ENTRY_BLOCK. Do not assert this cannot happen. */
2146 gcc_assert ((e->flags & EDGE_EH)
2147 || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (phi)));
2149 re = find_edge (ret_bb, e->dest);
2150 gcc_checking_assert (re);
2151 gcc_assert ((re->flags & (EDGE_EH | EDGE_ABNORMAL))
2152 == (e->flags & (EDGE_EH | EDGE_ABNORMAL)));
2154 SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (phi, e),
2155 USE_FROM_PTR (PHI_ARG_DEF_PTR_FROM_EDGE (phi, re)));
2161 /* Copy edges from BB into its copy constructed earlier, scale profile
2162 accordingly. Edges will be taken care of later. Assume aux
2163 pointers to point to the copies of each BB. Return true if any
2164 debug stmts are left after a statement that must end the basic block. */
2166 static bool
2167 copy_edges_for_bb (basic_block bb, profile_count num, profile_count den,
2168 basic_block ret_bb, basic_block abnormal_goto_dest,
2169 copy_body_data *id)
2171 basic_block new_bb = (basic_block) bb->aux;
2172 edge_iterator ei;
2173 edge old_edge;
2174 gimple_stmt_iterator si;
2175 bool need_debug_cleanup = false;
2177 /* Use the indices from the original blocks to create edges for the
2178 new ones. */
2179 FOR_EACH_EDGE (old_edge, ei, bb->succs)
2180 if (!(old_edge->flags & EDGE_EH))
2182 edge new_edge;
2183 int flags = old_edge->flags;
2184 location_t locus = old_edge->goto_locus;
2186 /* Return edges do get a FALLTHRU flag when they get inlined. */
2187 if (old_edge->dest->index == EXIT_BLOCK
2188 && !(flags & (EDGE_TRUE_VALUE|EDGE_FALSE_VALUE|EDGE_FAKE))
2189 && old_edge->dest->aux != EXIT_BLOCK_PTR_FOR_FN (cfun))
2190 flags |= EDGE_FALLTHRU;
2192 new_edge
2193 = make_edge (new_bb, (basic_block) old_edge->dest->aux, flags);
2194 new_edge->probability = old_edge->probability;
2195 if (!id->reset_location)
2196 new_edge->goto_locus = remap_location (locus, id);
2199 if (bb->index == ENTRY_BLOCK || bb->index == EXIT_BLOCK)
2200 return false;
2202 /* When doing function splitting, we must decreate count of the return block
2203 which was previously reachable by block we did not copy. */
2204 if (single_succ_p (bb) && single_succ_edge (bb)->dest->index == EXIT_BLOCK)
2205 FOR_EACH_EDGE (old_edge, ei, bb->preds)
2206 if (old_edge->src->index != ENTRY_BLOCK
2207 && !old_edge->src->aux)
2208 new_bb->count -= old_edge->count ().apply_scale (num, den);
2210 for (si = gsi_start_bb (new_bb); !gsi_end_p (si);)
2212 gimple *copy_stmt;
2213 bool can_throw, nonlocal_goto;
2215 copy_stmt = gsi_stmt (si);
2216 if (!is_gimple_debug (copy_stmt))
2217 update_stmt (copy_stmt);
2219 /* Do this before the possible split_block. */
2220 gsi_next (&si);
2222 /* If this tree could throw an exception, there are two
2223 cases where we need to add abnormal edge(s): the
2224 tree wasn't in a region and there is a "current
2225 region" in the caller; or the original tree had
2226 EH edges. In both cases split the block after the tree,
2227 and add abnormal edge(s) as needed; we need both
2228 those from the callee and the caller.
2229 We check whether the copy can throw, because the const
2230 propagation can change an INDIRECT_REF which throws
2231 into a COMPONENT_REF which doesn't. If the copy
2232 can throw, the original could also throw. */
2233 can_throw = stmt_can_throw_internal (copy_stmt);
2234 nonlocal_goto
2235 = (stmt_can_make_abnormal_goto (copy_stmt)
2236 && !computed_goto_p (copy_stmt));
2238 if (can_throw || nonlocal_goto)
2240 if (!gsi_end_p (si))
2242 while (!gsi_end_p (si) && is_gimple_debug (gsi_stmt (si)))
2243 gsi_next (&si);
2244 if (gsi_end_p (si))
2245 need_debug_cleanup = true;
2247 if (!gsi_end_p (si))
2248 /* Note that bb's predecessor edges aren't necessarily
2249 right at this point; split_block doesn't care. */
2251 edge e = split_block (new_bb, copy_stmt);
2253 new_bb = e->dest;
2254 new_bb->aux = e->src->aux;
2255 si = gsi_start_bb (new_bb);
2259 bool update_probs = false;
2261 if (gimple_code (copy_stmt) == GIMPLE_EH_DISPATCH)
2263 make_eh_dispatch_edges (as_a <geh_dispatch *> (copy_stmt));
2264 update_probs = true;
2266 else if (can_throw)
2268 make_eh_edges (copy_stmt);
2269 update_probs = true;
2272 /* EH edges may not match old edges. Copy as much as possible. */
2273 if (update_probs)
2275 edge e;
2276 edge_iterator ei;
2277 basic_block copy_stmt_bb = gimple_bb (copy_stmt);
2279 FOR_EACH_EDGE (old_edge, ei, bb->succs)
2280 if ((old_edge->flags & EDGE_EH)
2281 && (e = find_edge (copy_stmt_bb,
2282 (basic_block) old_edge->dest->aux))
2283 && (e->flags & EDGE_EH))
2284 e->probability = old_edge->probability;
2286 FOR_EACH_EDGE (e, ei, copy_stmt_bb->succs)
2287 if ((e->flags & EDGE_EH) && !e->probability.initialized_p ())
2288 e->probability = profile_probability::never ();
2292 /* If the call we inline cannot make abnormal goto do not add
2293 additional abnormal edges but only retain those already present
2294 in the original function body. */
2295 if (abnormal_goto_dest == NULL)
2296 nonlocal_goto = false;
2297 if (nonlocal_goto)
2299 basic_block copy_stmt_bb = gimple_bb (copy_stmt);
2301 if (get_abnormal_succ_dispatcher (copy_stmt_bb))
2302 nonlocal_goto = false;
2303 /* ABNORMAL_DISPATCHER (1) is for longjmp/setjmp or nonlocal gotos
2304 in OpenMP regions which aren't allowed to be left abnormally.
2305 So, no need to add abnormal edge in that case. */
2306 else if (is_gimple_call (copy_stmt)
2307 && gimple_call_internal_p (copy_stmt)
2308 && (gimple_call_internal_fn (copy_stmt)
2309 == IFN_ABNORMAL_DISPATCHER)
2310 && gimple_call_arg (copy_stmt, 0) == boolean_true_node)
2311 nonlocal_goto = false;
2312 else
2313 make_single_succ_edge (copy_stmt_bb, abnormal_goto_dest,
2314 EDGE_ABNORMAL);
2317 if ((can_throw || nonlocal_goto)
2318 && gimple_in_ssa_p (cfun))
2319 update_ssa_across_abnormal_edges (gimple_bb (copy_stmt), ret_bb,
2320 can_throw, nonlocal_goto);
2322 return need_debug_cleanup;
2325 /* Copy the PHIs. All blocks and edges are copied, some blocks
2326 was possibly split and new outgoing EH edges inserted.
2327 BB points to the block of original function and AUX pointers links
2328 the original and newly copied blocks. */
2330 static void
2331 copy_phis_for_bb (basic_block bb, copy_body_data *id)
2333 basic_block const new_bb = (basic_block) bb->aux;
2334 edge_iterator ei;
2335 gphi *phi;
2336 gphi_iterator si;
2337 edge new_edge;
2338 bool inserted = false;
2340 for (si = gsi_start_phis (bb); !gsi_end_p (si); gsi_next (&si))
2342 tree res, new_res;
2343 gphi *new_phi;
2345 phi = si.phi ();
2346 res = PHI_RESULT (phi);
2347 new_res = res;
2348 if (!virtual_operand_p (res))
2350 walk_tree (&new_res, copy_tree_body_r, id, NULL);
2351 if (EDGE_COUNT (new_bb->preds) == 0)
2353 /* Technically we'd want a SSA_DEFAULT_DEF here... */
2354 SSA_NAME_DEF_STMT (new_res) = gimple_build_nop ();
2356 else
2358 new_phi = create_phi_node (new_res, new_bb);
2359 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2361 edge old_edge = find_edge ((basic_block) new_edge->src->aux,
2362 bb);
2363 tree arg;
2364 tree new_arg;
2365 edge_iterator ei2;
2366 location_t locus;
2368 /* When doing partial cloning, we allow PHIs on the entry
2369 block as long as all the arguments are the same.
2370 Find any input edge to see argument to copy. */
2371 if (!old_edge)
2372 FOR_EACH_EDGE (old_edge, ei2, bb->preds)
2373 if (!old_edge->src->aux)
2374 break;
2376 arg = PHI_ARG_DEF_FROM_EDGE (phi, old_edge);
2377 new_arg = arg;
2378 walk_tree (&new_arg, copy_tree_body_r, id, NULL);
2379 gcc_assert (new_arg);
2380 /* With return slot optimization we can end up with
2381 non-gimple (foo *)&this->m, fix that here. */
2382 if (TREE_CODE (new_arg) != SSA_NAME
2383 && TREE_CODE (new_arg) != FUNCTION_DECL
2384 && !is_gimple_val (new_arg))
2386 gimple_seq stmts = NULL;
2387 new_arg = force_gimple_operand (new_arg, &stmts, true,
2388 NULL);
2389 gsi_insert_seq_on_edge (new_edge, stmts);
2390 inserted = true;
2392 locus = gimple_phi_arg_location_from_edge (phi, old_edge);
2393 if (id->reset_location)
2394 locus = input_location;
2395 else
2396 locus = remap_location (locus, id);
2397 add_phi_arg (new_phi, new_arg, new_edge, locus);
2403 /* Commit the delayed edge insertions. */
2404 if (inserted)
2405 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2406 gsi_commit_one_edge_insert (new_edge, NULL);
2410 /* Wrapper for remap_decl so it can be used as a callback. */
2412 static tree
2413 remap_decl_1 (tree decl, void *data)
2415 return remap_decl (decl, (copy_body_data *) data);
2418 /* Build struct function and associated datastructures for the new clone
2419 NEW_FNDECL to be build. CALLEE_FNDECL is the original. Function changes
2420 the cfun to the function of new_fndecl (and current_function_decl too). */
2422 static void
2423 initialize_cfun (tree new_fndecl, tree callee_fndecl, profile_count count)
2425 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2427 if (!DECL_ARGUMENTS (new_fndecl))
2428 DECL_ARGUMENTS (new_fndecl) = DECL_ARGUMENTS (callee_fndecl);
2429 if (!DECL_RESULT (new_fndecl))
2430 DECL_RESULT (new_fndecl) = DECL_RESULT (callee_fndecl);
2432 /* Register specific tree functions. */
2433 gimple_register_cfg_hooks ();
2435 /* Get clean struct function. */
2436 push_struct_function (new_fndecl);
2438 /* We will rebuild these, so just sanity check that they are empty. */
2439 gcc_assert (VALUE_HISTOGRAMS (cfun) == NULL);
2440 gcc_assert (cfun->local_decls == NULL);
2441 gcc_assert (cfun->cfg == NULL);
2442 gcc_assert (cfun->decl == new_fndecl);
2444 /* Copy items we preserve during cloning. */
2445 cfun->static_chain_decl = src_cfun->static_chain_decl;
2446 cfun->nonlocal_goto_save_area = src_cfun->nonlocal_goto_save_area;
2447 cfun->function_end_locus = src_cfun->function_end_locus;
2448 cfun->curr_properties = src_cfun->curr_properties;
2449 cfun->last_verified = src_cfun->last_verified;
2450 cfun->va_list_gpr_size = src_cfun->va_list_gpr_size;
2451 cfun->va_list_fpr_size = src_cfun->va_list_fpr_size;
2452 cfun->has_nonlocal_label = src_cfun->has_nonlocal_label;
2453 cfun->stdarg = src_cfun->stdarg;
2454 cfun->after_inlining = src_cfun->after_inlining;
2455 cfun->can_throw_non_call_exceptions
2456 = src_cfun->can_throw_non_call_exceptions;
2457 cfun->can_delete_dead_exceptions = src_cfun->can_delete_dead_exceptions;
2458 cfun->returns_struct = src_cfun->returns_struct;
2459 cfun->returns_pcc_struct = src_cfun->returns_pcc_struct;
2461 init_empty_tree_cfg ();
2463 profile_status_for_fn (cfun) = profile_status_for_fn (src_cfun);
2465 profile_count num = count;
2466 profile_count den = ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count;
2467 profile_count::adjust_for_ipa_scaling (&num, &den);
2469 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count =
2470 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count.apply_scale (count,
2471 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2472 EXIT_BLOCK_PTR_FOR_FN (cfun)->count =
2473 EXIT_BLOCK_PTR_FOR_FN (src_cfun)->count.apply_scale (count,
2474 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2475 if (src_cfun->eh)
2476 init_eh_for_function ();
2478 if (src_cfun->gimple_df)
2480 init_tree_ssa (cfun);
2481 cfun->gimple_df->in_ssa_p = src_cfun->gimple_df->in_ssa_p;
2482 if (cfun->gimple_df->in_ssa_p)
2483 init_ssa_operands (cfun);
2487 /* Helper function for copy_cfg_body. Move debug stmts from the end
2488 of NEW_BB to the beginning of successor basic blocks when needed. If the
2489 successor has multiple predecessors, reset them, otherwise keep
2490 their value. */
2492 static void
2493 maybe_move_debug_stmts_to_successors (copy_body_data *id, basic_block new_bb)
2495 edge e;
2496 edge_iterator ei;
2497 gimple_stmt_iterator si = gsi_last_nondebug_bb (new_bb);
2499 if (gsi_end_p (si)
2500 || gsi_one_before_end_p (si)
2501 || !(stmt_can_throw_internal (gsi_stmt (si))
2502 || stmt_can_make_abnormal_goto (gsi_stmt (si))))
2503 return;
2505 FOR_EACH_EDGE (e, ei, new_bb->succs)
2507 gimple_stmt_iterator ssi = gsi_last_bb (new_bb);
2508 gimple_stmt_iterator dsi = gsi_after_labels (e->dest);
2509 while (is_gimple_debug (gsi_stmt (ssi)))
2511 gimple *stmt = gsi_stmt (ssi);
2512 gdebug *new_stmt;
2513 tree var;
2514 tree value;
2516 /* For the last edge move the debug stmts instead of copying
2517 them. */
2518 if (ei_one_before_end_p (ei))
2520 si = ssi;
2521 gsi_prev (&ssi);
2522 if (!single_pred_p (e->dest) && gimple_debug_bind_p (stmt))
2524 gimple_debug_bind_reset_value (stmt);
2525 gimple_set_location (stmt, UNKNOWN_LOCATION);
2527 gsi_remove (&si, false);
2528 gsi_insert_before (&dsi, stmt, GSI_SAME_STMT);
2529 continue;
2532 if (gimple_debug_bind_p (stmt))
2534 var = gimple_debug_bind_get_var (stmt);
2535 if (single_pred_p (e->dest))
2537 value = gimple_debug_bind_get_value (stmt);
2538 value = unshare_expr (value);
2539 new_stmt = gimple_build_debug_bind (var, value, stmt);
2541 else
2542 new_stmt = gimple_build_debug_bind (var, NULL_TREE, NULL);
2544 else if (gimple_debug_source_bind_p (stmt))
2546 var = gimple_debug_source_bind_get_var (stmt);
2547 value = gimple_debug_source_bind_get_value (stmt);
2548 new_stmt = gimple_build_debug_source_bind (var, value, stmt);
2550 else if (gimple_debug_nonbind_marker_p (stmt))
2551 new_stmt = as_a <gdebug *> (gimple_copy (stmt));
2552 else
2553 gcc_unreachable ();
2554 gsi_insert_before (&dsi, new_stmt, GSI_SAME_STMT);
2555 id->debug_stmts.safe_push (new_stmt);
2556 gsi_prev (&ssi);
2561 /* Make a copy of the sub-loops of SRC_PARENT and place them
2562 as siblings of DEST_PARENT. */
2564 static void
2565 copy_loops (copy_body_data *id,
2566 struct loop *dest_parent, struct loop *src_parent)
2568 struct loop *src_loop = src_parent->inner;
2569 while (src_loop)
2571 if (!id->blocks_to_copy
2572 || bitmap_bit_p (id->blocks_to_copy, src_loop->header->index))
2574 struct loop *dest_loop = alloc_loop ();
2576 /* Assign the new loop its header and latch and associate
2577 those with the new loop. */
2578 dest_loop->header = (basic_block)src_loop->header->aux;
2579 dest_loop->header->loop_father = dest_loop;
2580 if (src_loop->latch != NULL)
2582 dest_loop->latch = (basic_block)src_loop->latch->aux;
2583 dest_loop->latch->loop_father = dest_loop;
2586 /* Copy loop meta-data. */
2587 copy_loop_info (src_loop, dest_loop);
2589 /* Finally place it into the loop array and the loop tree. */
2590 place_new_loop (cfun, dest_loop);
2591 flow_loop_tree_node_add (dest_parent, dest_loop);
2593 dest_loop->safelen = src_loop->safelen;
2594 if (src_loop->unroll)
2596 dest_loop->unroll = src_loop->unroll;
2597 cfun->has_unroll = true;
2599 dest_loop->dont_vectorize = src_loop->dont_vectorize;
2600 if (src_loop->force_vectorize)
2602 dest_loop->force_vectorize = true;
2603 cfun->has_force_vectorize_loops = true;
2605 if (src_loop->simduid)
2607 dest_loop->simduid = remap_decl (src_loop->simduid, id);
2608 cfun->has_simduid_loops = true;
2611 /* Recurse. */
2612 copy_loops (id, dest_loop, src_loop);
2614 src_loop = src_loop->next;
2618 /* Call cgraph_redirect_edge_call_stmt_to_callee on all calls in BB */
2620 void
2621 redirect_all_calls (copy_body_data * id, basic_block bb)
2623 gimple_stmt_iterator si;
2624 gimple *last = last_stmt (bb);
2625 for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))
2627 gimple *stmt = gsi_stmt (si);
2628 if (is_gimple_call (stmt))
2630 struct cgraph_edge *edge = id->dst_node->get_edge (stmt);
2631 if (edge)
2633 edge->redirect_call_stmt_to_callee ();
2634 if (stmt == last && id->call_stmt && maybe_clean_eh_stmt (stmt))
2635 gimple_purge_dead_eh_edges (bb);
2641 /* Make a copy of the body of FN so that it can be inserted inline in
2642 another function. Walks FN via CFG, returns new fndecl. */
2644 static tree
2645 copy_cfg_body (copy_body_data * id,
2646 basic_block entry_block_map, basic_block exit_block_map,
2647 basic_block new_entry)
2649 tree callee_fndecl = id->src_fn;
2650 /* Original cfun for the callee, doesn't change. */
2651 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2652 struct function *cfun_to_copy;
2653 basic_block bb;
2654 tree new_fndecl = NULL;
2655 bool need_debug_cleanup = false;
2656 int last;
2657 profile_count den = ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count;
2658 profile_count num = entry_block_map->count;
2660 cfun_to_copy = id->src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2662 /* Register specific tree functions. */
2663 gimple_register_cfg_hooks ();
2665 /* If we are inlining just region of the function, make sure to connect
2666 new entry to ENTRY_BLOCK_PTR_FOR_FN (cfun). Since new entry can be
2667 part of loop, we must compute frequency and probability of
2668 ENTRY_BLOCK_PTR_FOR_FN (cfun) based on the frequencies and
2669 probabilities of edges incoming from nonduplicated region. */
2670 if (new_entry)
2672 edge e;
2673 edge_iterator ei;
2674 den = profile_count::zero ();
2676 FOR_EACH_EDGE (e, ei, new_entry->preds)
2677 if (!e->src->aux)
2678 den += e->count ();
2679 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count = den;
2682 profile_count::adjust_for_ipa_scaling (&num, &den);
2684 /* Must have a CFG here at this point. */
2685 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN
2686 (DECL_STRUCT_FUNCTION (callee_fndecl)));
2689 ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = entry_block_map;
2690 EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = exit_block_map;
2691 entry_block_map->aux = ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy);
2692 exit_block_map->aux = EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy);
2694 /* Duplicate any exception-handling regions. */
2695 if (cfun->eh)
2696 id->eh_map = duplicate_eh_regions (cfun_to_copy, NULL, id->eh_lp_nr,
2697 remap_decl_1, id);
2699 /* Use aux pointers to map the original blocks to copy. */
2700 FOR_EACH_BB_FN (bb, cfun_to_copy)
2701 if (!id->blocks_to_copy || bitmap_bit_p (id->blocks_to_copy, bb->index))
2703 basic_block new_bb = copy_bb (id, bb, num, den);
2704 bb->aux = new_bb;
2705 new_bb->aux = bb;
2706 new_bb->loop_father = entry_block_map->loop_father;
2709 last = last_basic_block_for_fn (cfun);
2711 /* Now that we've duplicated the blocks, duplicate their edges. */
2712 basic_block abnormal_goto_dest = NULL;
2713 if (id->call_stmt
2714 && stmt_can_make_abnormal_goto (id->call_stmt))
2716 gimple_stmt_iterator gsi = gsi_for_stmt (id->call_stmt);
2718 bb = gimple_bb (id->call_stmt);
2719 gsi_next (&gsi);
2720 if (gsi_end_p (gsi))
2721 abnormal_goto_dest = get_abnormal_succ_dispatcher (bb);
2723 FOR_ALL_BB_FN (bb, cfun_to_copy)
2724 if (!id->blocks_to_copy
2725 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2726 need_debug_cleanup |= copy_edges_for_bb (bb, num, den, exit_block_map,
2727 abnormal_goto_dest, id);
2729 if (new_entry)
2731 edge e = make_edge (entry_block_map, (basic_block)new_entry->aux,
2732 EDGE_FALLTHRU);
2733 e->probability = profile_probability::always ();
2736 /* Duplicate the loop tree, if available and wanted. */
2737 if (loops_for_fn (src_cfun) != NULL
2738 && current_loops != NULL)
2740 copy_loops (id, entry_block_map->loop_father,
2741 get_loop (src_cfun, 0));
2742 /* Defer to cfgcleanup to update loop-father fields of basic-blocks. */
2743 loops_state_set (LOOPS_NEED_FIXUP);
2746 /* If the loop tree in the source function needed fixup, mark the
2747 destination loop tree for fixup, too. */
2748 if (loops_for_fn (src_cfun)->state & LOOPS_NEED_FIXUP)
2749 loops_state_set (LOOPS_NEED_FIXUP);
2751 if (gimple_in_ssa_p (cfun))
2752 FOR_ALL_BB_FN (bb, cfun_to_copy)
2753 if (!id->blocks_to_copy
2754 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2755 copy_phis_for_bb (bb, id);
2757 FOR_ALL_BB_FN (bb, cfun_to_copy)
2758 if (bb->aux)
2760 if (need_debug_cleanup
2761 && bb->index != ENTRY_BLOCK
2762 && bb->index != EXIT_BLOCK)
2763 maybe_move_debug_stmts_to_successors (id, (basic_block) bb->aux);
2764 /* Update call edge destinations. This can not be done before loop
2765 info is updated, because we may split basic blocks. */
2766 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE
2767 && bb->index != ENTRY_BLOCK
2768 && bb->index != EXIT_BLOCK)
2769 redirect_all_calls (id, (basic_block)bb->aux);
2770 ((basic_block)bb->aux)->aux = NULL;
2771 bb->aux = NULL;
2774 /* Zero out AUX fields of newly created block during EH edge
2775 insertion. */
2776 for (; last < last_basic_block_for_fn (cfun); last++)
2778 if (need_debug_cleanup)
2779 maybe_move_debug_stmts_to_successors (id,
2780 BASIC_BLOCK_FOR_FN (cfun, last));
2781 BASIC_BLOCK_FOR_FN (cfun, last)->aux = NULL;
2782 /* Update call edge destinations. This can not be done before loop
2783 info is updated, because we may split basic blocks. */
2784 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE)
2785 redirect_all_calls (id, BASIC_BLOCK_FOR_FN (cfun, last));
2787 entry_block_map->aux = NULL;
2788 exit_block_map->aux = NULL;
2790 if (id->eh_map)
2792 delete id->eh_map;
2793 id->eh_map = NULL;
2795 if (id->dependence_map)
2797 delete id->dependence_map;
2798 id->dependence_map = NULL;
2801 return new_fndecl;
2804 /* Copy the debug STMT using ID. We deal with these statements in a
2805 special way: if any variable in their VALUE expression wasn't
2806 remapped yet, we won't remap it, because that would get decl uids
2807 out of sync, causing codegen differences between -g and -g0. If
2808 this arises, we drop the VALUE expression altogether. */
2810 static void
2811 copy_debug_stmt (gdebug *stmt, copy_body_data *id)
2813 tree t, *n;
2814 struct walk_stmt_info wi;
2816 if (gimple_block (stmt))
2818 n = id->decl_map->get (gimple_block (stmt));
2819 gimple_set_block (stmt, n ? *n : id->block);
2822 if (gimple_debug_nonbind_marker_p (stmt))
2823 return;
2825 /* Remap all the operands in COPY. */
2826 memset (&wi, 0, sizeof (wi));
2827 wi.info = id;
2829 processing_debug_stmt = 1;
2831 if (gimple_debug_source_bind_p (stmt))
2832 t = gimple_debug_source_bind_get_var (stmt);
2833 else if (gimple_debug_bind_p (stmt))
2834 t = gimple_debug_bind_get_var (stmt);
2835 else
2836 gcc_unreachable ();
2838 if (TREE_CODE (t) == PARM_DECL && id->debug_map
2839 && (n = id->debug_map->get (t)))
2841 gcc_assert (VAR_P (*n));
2842 t = *n;
2844 else if (VAR_P (t) && !is_global_var (t) && !id->decl_map->get (t))
2845 /* T is a non-localized variable. */;
2846 else
2847 walk_tree (&t, remap_gimple_op_r, &wi, NULL);
2849 if (gimple_debug_bind_p (stmt))
2851 gimple_debug_bind_set_var (stmt, t);
2853 if (gimple_debug_bind_has_value_p (stmt))
2854 walk_tree (gimple_debug_bind_get_value_ptr (stmt),
2855 remap_gimple_op_r, &wi, NULL);
2857 /* Punt if any decl couldn't be remapped. */
2858 if (processing_debug_stmt < 0)
2859 gimple_debug_bind_reset_value (stmt);
2861 else if (gimple_debug_source_bind_p (stmt))
2863 gimple_debug_source_bind_set_var (stmt, t);
2864 /* When inlining and source bind refers to one of the optimized
2865 away parameters, change the source bind into normal debug bind
2866 referring to the corresponding DEBUG_EXPR_DECL that should have
2867 been bound before the call stmt. */
2868 t = gimple_debug_source_bind_get_value (stmt);
2869 if (t != NULL_TREE
2870 && TREE_CODE (t) == PARM_DECL
2871 && id->call_stmt)
2873 vec<tree, va_gc> **debug_args = decl_debug_args_lookup (id->src_fn);
2874 unsigned int i;
2875 if (debug_args != NULL)
2877 for (i = 0; i < vec_safe_length (*debug_args); i += 2)
2878 if ((**debug_args)[i] == DECL_ORIGIN (t)
2879 && TREE_CODE ((**debug_args)[i + 1]) == DEBUG_EXPR_DECL)
2881 t = (**debug_args)[i + 1];
2882 stmt->subcode = GIMPLE_DEBUG_BIND;
2883 gimple_debug_bind_set_value (stmt, t);
2884 break;
2888 if (gimple_debug_source_bind_p (stmt))
2889 walk_tree (gimple_debug_source_bind_get_value_ptr (stmt),
2890 remap_gimple_op_r, &wi, NULL);
2893 processing_debug_stmt = 0;
2895 update_stmt (stmt);
2898 /* Process deferred debug stmts. In order to give values better odds
2899 of being successfully remapped, we delay the processing of debug
2900 stmts until all other stmts that might require remapping are
2901 processed. */
2903 static void
2904 copy_debug_stmts (copy_body_data *id)
2906 size_t i;
2907 gdebug *stmt;
2909 if (!id->debug_stmts.exists ())
2910 return;
2912 FOR_EACH_VEC_ELT (id->debug_stmts, i, stmt)
2913 copy_debug_stmt (stmt, id);
2915 id->debug_stmts.release ();
2918 /* Make a copy of the body of SRC_FN so that it can be inserted inline in
2919 another function. */
2921 static tree
2922 copy_tree_body (copy_body_data *id)
2924 tree fndecl = id->src_fn;
2925 tree body = DECL_SAVED_TREE (fndecl);
2927 walk_tree (&body, copy_tree_body_r, id, NULL);
2929 return body;
2932 /* Make a copy of the body of FN so that it can be inserted inline in
2933 another function. */
2935 static tree
2936 copy_body (copy_body_data *id,
2937 basic_block entry_block_map, basic_block exit_block_map,
2938 basic_block new_entry)
2940 tree fndecl = id->src_fn;
2941 tree body;
2943 /* If this body has a CFG, walk CFG and copy. */
2944 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (fndecl)));
2945 body = copy_cfg_body (id, entry_block_map, exit_block_map,
2946 new_entry);
2947 copy_debug_stmts (id);
2949 return body;
2952 /* Return true if VALUE is an ADDR_EXPR of an automatic variable
2953 defined in function FN, or of a data member thereof. */
2955 static bool
2956 self_inlining_addr_expr (tree value, tree fn)
2958 tree var;
2960 if (TREE_CODE (value) != ADDR_EXPR)
2961 return false;
2963 var = get_base_address (TREE_OPERAND (value, 0));
2965 return var && auto_var_in_fn_p (var, fn);
2968 /* Append to BB a debug annotation that binds VAR to VALUE, inheriting
2969 lexical block and line number information from base_stmt, if given,
2970 or from the last stmt of the block otherwise. */
2972 static gimple *
2973 insert_init_debug_bind (copy_body_data *id,
2974 basic_block bb, tree var, tree value,
2975 gimple *base_stmt)
2977 gimple *note;
2978 gimple_stmt_iterator gsi;
2979 tree tracked_var;
2981 if (!gimple_in_ssa_p (id->src_cfun))
2982 return NULL;
2984 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
2985 return NULL;
2987 tracked_var = target_for_debug_bind (var);
2988 if (!tracked_var)
2989 return NULL;
2991 if (bb)
2993 gsi = gsi_last_bb (bb);
2994 if (!base_stmt && !gsi_end_p (gsi))
2995 base_stmt = gsi_stmt (gsi);
2998 note = gimple_build_debug_bind (tracked_var, unshare_expr (value), base_stmt);
3000 if (bb)
3002 if (!gsi_end_p (gsi))
3003 gsi_insert_after (&gsi, note, GSI_SAME_STMT);
3004 else
3005 gsi_insert_before (&gsi, note, GSI_SAME_STMT);
3008 return note;
3011 static void
3012 insert_init_stmt (copy_body_data *id, basic_block bb, gimple *init_stmt)
3014 /* If VAR represents a zero-sized variable, it's possible that the
3015 assignment statement may result in no gimple statements. */
3016 if (init_stmt)
3018 gimple_stmt_iterator si = gsi_last_bb (bb);
3020 /* We can end up with init statements that store to a non-register
3021 from a rhs with a conversion. Handle that here by forcing the
3022 rhs into a temporary. gimple_regimplify_operands is not
3023 prepared to do this for us. */
3024 if (!is_gimple_debug (init_stmt)
3025 && !is_gimple_reg (gimple_assign_lhs (init_stmt))
3026 && is_gimple_reg_type (TREE_TYPE (gimple_assign_lhs (init_stmt)))
3027 && gimple_assign_rhs_class (init_stmt) == GIMPLE_UNARY_RHS)
3029 tree rhs = build1 (gimple_assign_rhs_code (init_stmt),
3030 gimple_expr_type (init_stmt),
3031 gimple_assign_rhs1 (init_stmt));
3032 rhs = force_gimple_operand_gsi (&si, rhs, true, NULL_TREE, false,
3033 GSI_NEW_STMT);
3034 gimple_assign_set_rhs_code (init_stmt, TREE_CODE (rhs));
3035 gimple_assign_set_rhs1 (init_stmt, rhs);
3037 gsi_insert_after (&si, init_stmt, GSI_NEW_STMT);
3038 gimple_regimplify_operands (init_stmt, &si);
3040 if (!is_gimple_debug (init_stmt))
3042 tree def = gimple_assign_lhs (init_stmt);
3043 insert_init_debug_bind (id, bb, def, def, init_stmt);
3048 /* Initialize parameter P with VALUE. If needed, produce init statement
3049 at the end of BB. When BB is NULL, we return init statement to be
3050 output later. */
3051 static gimple *
3052 setup_one_parameter (copy_body_data *id, tree p, tree value, tree fn,
3053 basic_block bb, tree *vars)
3055 gimple *init_stmt = NULL;
3056 tree var;
3057 tree rhs = value;
3058 tree def = (gimple_in_ssa_p (cfun)
3059 ? ssa_default_def (id->src_cfun, p) : NULL);
3061 if (value
3062 && value != error_mark_node
3063 && !useless_type_conversion_p (TREE_TYPE (p), TREE_TYPE (value)))
3065 /* If we can match up types by promotion/demotion do so. */
3066 if (fold_convertible_p (TREE_TYPE (p), value))
3067 rhs = fold_convert (TREE_TYPE (p), value);
3068 else
3070 /* ??? For valid programs we should not end up here.
3071 Still if we end up with truly mismatched types here, fall back
3072 to using a VIEW_CONVERT_EXPR or a literal zero to not leak invalid
3073 GIMPLE to the following passes. */
3074 if (!is_gimple_reg_type (TREE_TYPE (value))
3075 || TYPE_SIZE (TREE_TYPE (p)) == TYPE_SIZE (TREE_TYPE (value)))
3076 rhs = fold_build1 (VIEW_CONVERT_EXPR, TREE_TYPE (p), value);
3077 else
3078 rhs = build_zero_cst (TREE_TYPE (p));
3082 /* Make an equivalent VAR_DECL. Note that we must NOT remap the type
3083 here since the type of this decl must be visible to the calling
3084 function. */
3085 var = copy_decl_to_var (p, id);
3087 /* Declare this new variable. */
3088 DECL_CHAIN (var) = *vars;
3089 *vars = var;
3091 /* Make gimplifier happy about this variable. */
3092 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3094 /* If the parameter is never assigned to, has no SSA_NAMEs created,
3095 we would not need to create a new variable here at all, if it
3096 weren't for debug info. Still, we can just use the argument
3097 value. */
3098 if (TREE_READONLY (p)
3099 && !TREE_ADDRESSABLE (p)
3100 && value && !TREE_SIDE_EFFECTS (value)
3101 && !def)
3103 /* We may produce non-gimple trees by adding NOPs or introduce
3104 invalid sharing when operand is not really constant.
3105 It is not big deal to prohibit constant propagation here as
3106 we will constant propagate in DOM1 pass anyway. */
3107 if (is_gimple_min_invariant (value)
3108 && useless_type_conversion_p (TREE_TYPE (p),
3109 TREE_TYPE (value))
3110 /* We have to be very careful about ADDR_EXPR. Make sure
3111 the base variable isn't a local variable of the inlined
3112 function, e.g., when doing recursive inlining, direct or
3113 mutually-recursive or whatever, which is why we don't
3114 just test whether fn == current_function_decl. */
3115 && ! self_inlining_addr_expr (value, fn))
3117 insert_decl_map (id, p, value);
3118 insert_debug_decl_map (id, p, var);
3119 return insert_init_debug_bind (id, bb, var, value, NULL);
3123 /* Register the VAR_DECL as the equivalent for the PARM_DECL;
3124 that way, when the PARM_DECL is encountered, it will be
3125 automatically replaced by the VAR_DECL. */
3126 insert_decl_map (id, p, var);
3128 /* Even if P was TREE_READONLY, the new VAR should not be.
3129 In the original code, we would have constructed a
3130 temporary, and then the function body would have never
3131 changed the value of P. However, now, we will be
3132 constructing VAR directly. The constructor body may
3133 change its value multiple times as it is being
3134 constructed. Therefore, it must not be TREE_READONLY;
3135 the back-end assumes that TREE_READONLY variable is
3136 assigned to only once. */
3137 if (TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (p)))
3138 TREE_READONLY (var) = 0;
3140 /* If there is no setup required and we are in SSA, take the easy route
3141 replacing all SSA names representing the function parameter by the
3142 SSA name passed to function.
3144 We need to construct map for the variable anyway as it might be used
3145 in different SSA names when parameter is set in function.
3147 Do replacement at -O0 for const arguments replaced by constant.
3148 This is important for builtin_constant_p and other construct requiring
3149 constant argument to be visible in inlined function body. */
3150 if (gimple_in_ssa_p (cfun) && rhs && def && is_gimple_reg (p)
3151 && (optimize
3152 || (TREE_READONLY (p)
3153 && is_gimple_min_invariant (rhs)))
3154 && (TREE_CODE (rhs) == SSA_NAME
3155 || is_gimple_min_invariant (rhs))
3156 && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def))
3158 insert_decl_map (id, def, rhs);
3159 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3162 /* If the value of argument is never used, don't care about initializing
3163 it. */
3164 if (optimize && gimple_in_ssa_p (cfun) && !def && is_gimple_reg (p))
3166 gcc_assert (!value || !TREE_SIDE_EFFECTS (value));
3167 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3170 /* Initialize this VAR_DECL from the equivalent argument. Convert
3171 the argument to the proper type in case it was promoted. */
3172 if (value)
3174 if (rhs == error_mark_node)
3176 insert_decl_map (id, p, var);
3177 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3180 STRIP_USELESS_TYPE_CONVERSION (rhs);
3182 /* If we are in SSA form properly remap the default definition
3183 or assign to a dummy SSA name if the parameter is unused and
3184 we are not optimizing. */
3185 if (gimple_in_ssa_p (cfun) && is_gimple_reg (p))
3187 if (def)
3189 def = remap_ssa_name (def, id);
3190 init_stmt = gimple_build_assign (def, rhs);
3191 SSA_NAME_IS_DEFAULT_DEF (def) = 0;
3192 set_ssa_default_def (cfun, var, NULL);
3194 else if (!optimize)
3196 def = make_ssa_name (var);
3197 init_stmt = gimple_build_assign (def, rhs);
3200 else
3201 init_stmt = gimple_build_assign (var, rhs);
3203 if (bb && init_stmt)
3204 insert_init_stmt (id, bb, init_stmt);
3206 return init_stmt;
3209 /* Generate code to initialize the parameters of the function at the
3210 top of the stack in ID from the GIMPLE_CALL STMT. */
3212 static void
3213 initialize_inlined_parameters (copy_body_data *id, gimple *stmt,
3214 tree fn, basic_block bb)
3216 tree parms;
3217 size_t i;
3218 tree p;
3219 tree vars = NULL_TREE;
3220 tree static_chain = gimple_call_chain (stmt);
3222 /* Figure out what the parameters are. */
3223 parms = DECL_ARGUMENTS (fn);
3225 /* Loop through the parameter declarations, replacing each with an
3226 equivalent VAR_DECL, appropriately initialized. */
3227 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3229 tree val;
3230 val = i < gimple_call_num_args (stmt) ? gimple_call_arg (stmt, i) : NULL;
3231 setup_one_parameter (id, p, val, fn, bb, &vars);
3233 /* After remapping parameters remap their types. This has to be done
3234 in a second loop over all parameters to appropriately remap
3235 variable sized arrays when the size is specified in a
3236 parameter following the array. */
3237 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3239 tree *varp = id->decl_map->get (p);
3240 if (varp && VAR_P (*varp))
3242 tree def = (gimple_in_ssa_p (cfun) && is_gimple_reg (p)
3243 ? ssa_default_def (id->src_cfun, p) : NULL);
3244 tree var = *varp;
3245 TREE_TYPE (var) = remap_type (TREE_TYPE (var), id);
3246 /* Also remap the default definition if it was remapped
3247 to the default definition of the parameter replacement
3248 by the parameter setup. */
3249 if (def)
3251 tree *defp = id->decl_map->get (def);
3252 if (defp
3253 && TREE_CODE (*defp) == SSA_NAME
3254 && SSA_NAME_VAR (*defp) == var)
3255 TREE_TYPE (*defp) = TREE_TYPE (var);
3260 /* Initialize the static chain. */
3261 p = DECL_STRUCT_FUNCTION (fn)->static_chain_decl;
3262 gcc_assert (fn != current_function_decl);
3263 if (p)
3265 /* No static chain? Seems like a bug in tree-nested.c. */
3266 gcc_assert (static_chain);
3268 setup_one_parameter (id, p, static_chain, fn, bb, &vars);
3271 declare_inline_vars (id->block, vars);
3275 /* Declare a return variable to replace the RESULT_DECL for the
3276 function we are calling. An appropriate DECL_STMT is returned.
3277 The USE_STMT is filled to contain a use of the declaration to
3278 indicate the return value of the function.
3280 RETURN_SLOT, if non-null is place where to store the result. It
3281 is set only for CALL_EXPR_RETURN_SLOT_OPT. MODIFY_DEST, if non-null,
3282 was the LHS of the MODIFY_EXPR to which this call is the RHS.
3284 The return value is a (possibly null) value that holds the result
3285 as seen by the caller. */
3287 static tree
3288 declare_return_variable (copy_body_data *id, tree return_slot, tree modify_dest,
3289 basic_block entry_bb)
3291 tree callee = id->src_fn;
3292 tree result = DECL_RESULT (callee);
3293 tree callee_type = TREE_TYPE (result);
3294 tree caller_type;
3295 tree var, use;
3297 /* Handle type-mismatches in the function declaration return type
3298 vs. the call expression. */
3299 if (modify_dest)
3300 caller_type = TREE_TYPE (modify_dest);
3301 else
3302 caller_type = TREE_TYPE (TREE_TYPE (callee));
3304 /* We don't need to do anything for functions that don't return anything. */
3305 if (VOID_TYPE_P (callee_type))
3306 return NULL_TREE;
3308 /* If there was a return slot, then the return value is the
3309 dereferenced address of that object. */
3310 if (return_slot)
3312 /* The front end shouldn't have used both return_slot and
3313 a modify expression. */
3314 gcc_assert (!modify_dest);
3315 if (DECL_BY_REFERENCE (result))
3317 tree return_slot_addr = build_fold_addr_expr (return_slot);
3318 STRIP_USELESS_TYPE_CONVERSION (return_slot_addr);
3320 /* We are going to construct *&return_slot and we can't do that
3321 for variables believed to be not addressable.
3323 FIXME: This check possibly can match, because values returned
3324 via return slot optimization are not believed to have address
3325 taken by alias analysis. */
3326 gcc_assert (TREE_CODE (return_slot) != SSA_NAME);
3327 var = return_slot_addr;
3329 else
3331 var = return_slot;
3332 gcc_assert (TREE_CODE (var) != SSA_NAME);
3333 if (TREE_ADDRESSABLE (result))
3334 mark_addressable (var);
3336 if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3337 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3338 && !DECL_GIMPLE_REG_P (result)
3339 && DECL_P (var))
3340 DECL_GIMPLE_REG_P (var) = 0;
3341 use = NULL;
3342 goto done;
3345 /* All types requiring non-trivial constructors should have been handled. */
3346 gcc_assert (!TREE_ADDRESSABLE (callee_type));
3348 /* Attempt to avoid creating a new temporary variable. */
3349 if (modify_dest
3350 && TREE_CODE (modify_dest) != SSA_NAME)
3352 bool use_it = false;
3354 /* We can't use MODIFY_DEST if there's type promotion involved. */
3355 if (!useless_type_conversion_p (callee_type, caller_type))
3356 use_it = false;
3358 /* ??? If we're assigning to a variable sized type, then we must
3359 reuse the destination variable, because we've no good way to
3360 create variable sized temporaries at this point. */
3361 else if (TREE_CODE (TYPE_SIZE_UNIT (caller_type)) != INTEGER_CST)
3362 use_it = true;
3364 /* If the callee cannot possibly modify MODIFY_DEST, then we can
3365 reuse it as the result of the call directly. Don't do this if
3366 it would promote MODIFY_DEST to addressable. */
3367 else if (TREE_ADDRESSABLE (result))
3368 use_it = false;
3369 else
3371 tree base_m = get_base_address (modify_dest);
3373 /* If the base isn't a decl, then it's a pointer, and we don't
3374 know where that's going to go. */
3375 if (!DECL_P (base_m))
3376 use_it = false;
3377 else if (is_global_var (base_m))
3378 use_it = false;
3379 else if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3380 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3381 && !DECL_GIMPLE_REG_P (result)
3382 && DECL_GIMPLE_REG_P (base_m))
3383 use_it = false;
3384 else if (!TREE_ADDRESSABLE (base_m))
3385 use_it = true;
3388 if (use_it)
3390 var = modify_dest;
3391 use = NULL;
3392 goto done;
3396 gcc_assert (TREE_CODE (TYPE_SIZE_UNIT (callee_type)) == INTEGER_CST);
3398 var = copy_result_decl_to_var (result, id);
3399 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3401 /* Do not have the rest of GCC warn about this variable as it should
3402 not be visible to the user. */
3403 TREE_NO_WARNING (var) = 1;
3405 declare_inline_vars (id->block, var);
3407 /* Build the use expr. If the return type of the function was
3408 promoted, convert it back to the expected type. */
3409 use = var;
3410 if (!useless_type_conversion_p (caller_type, TREE_TYPE (var)))
3412 /* If we can match up types by promotion/demotion do so. */
3413 if (fold_convertible_p (caller_type, var))
3414 use = fold_convert (caller_type, var);
3415 else
3417 /* ??? For valid programs we should not end up here.
3418 Still if we end up with truly mismatched types here, fall back
3419 to using a MEM_REF to not leak invalid GIMPLE to the following
3420 passes. */
3421 /* Prevent var from being written into SSA form. */
3422 if (TREE_CODE (TREE_TYPE (var)) == VECTOR_TYPE
3423 || TREE_CODE (TREE_TYPE (var)) == COMPLEX_TYPE)
3424 DECL_GIMPLE_REG_P (var) = false;
3425 else if (is_gimple_reg_type (TREE_TYPE (var)))
3426 TREE_ADDRESSABLE (var) = true;
3427 use = fold_build2 (MEM_REF, caller_type,
3428 build_fold_addr_expr (var),
3429 build_int_cst (ptr_type_node, 0));
3433 STRIP_USELESS_TYPE_CONVERSION (use);
3435 if (DECL_BY_REFERENCE (result))
3437 TREE_ADDRESSABLE (var) = 1;
3438 var = build_fold_addr_expr (var);
3441 done:
3442 /* Register the VAR_DECL as the equivalent for the RESULT_DECL; that
3443 way, when the RESULT_DECL is encountered, it will be
3444 automatically replaced by the VAR_DECL.
3446 When returning by reference, ensure that RESULT_DECL remaps to
3447 gimple_val. */
3448 if (DECL_BY_REFERENCE (result)
3449 && !is_gimple_val (var))
3451 tree temp = create_tmp_var (TREE_TYPE (result), "retvalptr");
3452 insert_decl_map (id, result, temp);
3453 /* When RESULT_DECL is in SSA form, we need to remap and initialize
3454 it's default_def SSA_NAME. */
3455 if (gimple_in_ssa_p (id->src_cfun)
3456 && is_gimple_reg (result))
3458 temp = make_ssa_name (temp);
3459 insert_decl_map (id, ssa_default_def (id->src_cfun, result), temp);
3461 insert_init_stmt (id, entry_bb, gimple_build_assign (temp, var));
3463 else
3464 insert_decl_map (id, result, var);
3466 /* Remember this so we can ignore it in remap_decls. */
3467 id->retvar = var;
3468 return use;
3471 /* Determine if the function can be copied. If so return NULL. If
3472 not return a string describng the reason for failure. */
3474 const char *
3475 copy_forbidden (struct function *fun)
3477 const char *reason = fun->cannot_be_copied_reason;
3479 /* Only examine the function once. */
3480 if (fun->cannot_be_copied_set)
3481 return reason;
3483 /* We cannot copy a function that receives a non-local goto
3484 because we cannot remap the destination label used in the
3485 function that is performing the non-local goto. */
3486 /* ??? Actually, this should be possible, if we work at it.
3487 No doubt there's just a handful of places that simply
3488 assume it doesn't happen and don't substitute properly. */
3489 if (fun->has_nonlocal_label)
3491 reason = G_("function %q+F can never be copied "
3492 "because it receives a non-local goto");
3493 goto fail;
3496 if (fun->has_forced_label_in_static)
3498 reason = G_("function %q+F can never be copied because it saves "
3499 "address of local label in a static variable");
3500 goto fail;
3503 fail:
3504 fun->cannot_be_copied_reason = reason;
3505 fun->cannot_be_copied_set = true;
3506 return reason;
3510 static const char *inline_forbidden_reason;
3512 /* A callback for walk_gimple_seq to handle statements. Returns non-null
3513 iff a function can not be inlined. Also sets the reason why. */
3515 static tree
3516 inline_forbidden_p_stmt (gimple_stmt_iterator *gsi, bool *handled_ops_p,
3517 struct walk_stmt_info *wip)
3519 tree fn = (tree) wip->info;
3520 tree t;
3521 gimple *stmt = gsi_stmt (*gsi);
3523 switch (gimple_code (stmt))
3525 case GIMPLE_CALL:
3526 /* Refuse to inline alloca call unless user explicitly forced so as
3527 this may change program's memory overhead drastically when the
3528 function using alloca is called in loop. In GCC present in
3529 SPEC2000 inlining into schedule_block cause it to require 2GB of
3530 RAM instead of 256MB. Don't do so for alloca calls emitted for
3531 VLA objects as those can't cause unbounded growth (they're always
3532 wrapped inside stack_save/stack_restore regions. */
3533 if (gimple_maybe_alloca_call_p (stmt)
3534 && !gimple_call_alloca_for_var_p (as_a <gcall *> (stmt))
3535 && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)))
3537 inline_forbidden_reason
3538 = G_("function %q+F can never be inlined because it uses "
3539 "alloca (override using the always_inline attribute)");
3540 *handled_ops_p = true;
3541 return fn;
3544 t = gimple_call_fndecl (stmt);
3545 if (t == NULL_TREE)
3546 break;
3548 /* We cannot inline functions that call setjmp. */
3549 if (setjmp_call_p (t))
3551 inline_forbidden_reason
3552 = G_("function %q+F can never be inlined because it uses setjmp");
3553 *handled_ops_p = true;
3554 return t;
3557 if (DECL_BUILT_IN_CLASS (t) == BUILT_IN_NORMAL)
3558 switch (DECL_FUNCTION_CODE (t))
3560 /* We cannot inline functions that take a variable number of
3561 arguments. */
3562 case BUILT_IN_VA_START:
3563 case BUILT_IN_NEXT_ARG:
3564 case BUILT_IN_VA_END:
3565 inline_forbidden_reason
3566 = G_("function %q+F can never be inlined because it "
3567 "uses variable argument lists");
3568 *handled_ops_p = true;
3569 return t;
3571 case BUILT_IN_LONGJMP:
3572 /* We can't inline functions that call __builtin_longjmp at
3573 all. The non-local goto machinery really requires the
3574 destination be in a different function. If we allow the
3575 function calling __builtin_longjmp to be inlined into the
3576 function calling __builtin_setjmp, Things will Go Awry. */
3577 inline_forbidden_reason
3578 = G_("function %q+F can never be inlined because "
3579 "it uses setjmp-longjmp exception handling");
3580 *handled_ops_p = true;
3581 return t;
3583 case BUILT_IN_NONLOCAL_GOTO:
3584 /* Similarly. */
3585 inline_forbidden_reason
3586 = G_("function %q+F can never be inlined because "
3587 "it uses non-local goto");
3588 *handled_ops_p = true;
3589 return t;
3591 case BUILT_IN_RETURN:
3592 case BUILT_IN_APPLY_ARGS:
3593 /* If a __builtin_apply_args caller would be inlined,
3594 it would be saving arguments of the function it has
3595 been inlined into. Similarly __builtin_return would
3596 return from the function the inline has been inlined into. */
3597 inline_forbidden_reason
3598 = G_("function %q+F can never be inlined because "
3599 "it uses __builtin_return or __builtin_apply_args");
3600 *handled_ops_p = true;
3601 return t;
3603 default:
3604 break;
3606 break;
3608 case GIMPLE_GOTO:
3609 t = gimple_goto_dest (stmt);
3611 /* We will not inline a function which uses computed goto. The
3612 addresses of its local labels, which may be tucked into
3613 global storage, are of course not constant across
3614 instantiations, which causes unexpected behavior. */
3615 if (TREE_CODE (t) != LABEL_DECL)
3617 inline_forbidden_reason
3618 = G_("function %q+F can never be inlined "
3619 "because it contains a computed goto");
3620 *handled_ops_p = true;
3621 return t;
3623 break;
3625 default:
3626 break;
3629 *handled_ops_p = false;
3630 return NULL_TREE;
3633 /* Return true if FNDECL is a function that cannot be inlined into
3634 another one. */
3636 static bool
3637 inline_forbidden_p (tree fndecl)
3639 struct function *fun = DECL_STRUCT_FUNCTION (fndecl);
3640 struct walk_stmt_info wi;
3641 basic_block bb;
3642 bool forbidden_p = false;
3644 /* First check for shared reasons not to copy the code. */
3645 inline_forbidden_reason = copy_forbidden (fun);
3646 if (inline_forbidden_reason != NULL)
3647 return true;
3649 /* Next, walk the statements of the function looking for
3650 constraucts we can't handle, or are non-optimal for inlining. */
3651 hash_set<tree> visited_nodes;
3652 memset (&wi, 0, sizeof (wi));
3653 wi.info = (void *) fndecl;
3654 wi.pset = &visited_nodes;
3656 FOR_EACH_BB_FN (bb, fun)
3658 gimple *ret;
3659 gimple_seq seq = bb_seq (bb);
3660 ret = walk_gimple_seq (seq, inline_forbidden_p_stmt, NULL, &wi);
3661 forbidden_p = (ret != NULL);
3662 if (forbidden_p)
3663 break;
3666 return forbidden_p;
3669 /* Return false if the function FNDECL cannot be inlined on account of its
3670 attributes, true otherwise. */
3671 static bool
3672 function_attribute_inlinable_p (const_tree fndecl)
3674 if (targetm.attribute_table)
3676 const_tree a;
3678 for (a = DECL_ATTRIBUTES (fndecl); a; a = TREE_CHAIN (a))
3680 const_tree name = TREE_PURPOSE (a);
3681 int i;
3683 for (i = 0; targetm.attribute_table[i].name != NULL; i++)
3684 if (is_attribute_p (targetm.attribute_table[i].name, name))
3685 return targetm.function_attribute_inlinable_p (fndecl);
3689 return true;
3692 /* Returns nonzero if FN is a function that does not have any
3693 fundamental inline blocking properties. */
3695 bool
3696 tree_inlinable_function_p (tree fn)
3698 bool inlinable = true;
3699 bool do_warning;
3700 tree always_inline;
3702 /* If we've already decided this function shouldn't be inlined,
3703 there's no need to check again. */
3704 if (DECL_UNINLINABLE (fn))
3705 return false;
3707 /* We only warn for functions declared `inline' by the user. */
3708 do_warning = (warn_inline
3709 && DECL_DECLARED_INLINE_P (fn)
3710 && !DECL_NO_INLINE_WARNING_P (fn)
3711 && !DECL_IN_SYSTEM_HEADER (fn));
3713 always_inline = lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn));
3715 if (flag_no_inline
3716 && always_inline == NULL)
3718 if (do_warning)
3719 warning (OPT_Winline, "function %q+F can never be inlined because it "
3720 "is suppressed using -fno-inline", fn);
3721 inlinable = false;
3724 else if (!function_attribute_inlinable_p (fn))
3726 if (do_warning)
3727 warning (OPT_Winline, "function %q+F can never be inlined because it "
3728 "uses attributes conflicting with inlining", fn);
3729 inlinable = false;
3732 else if (inline_forbidden_p (fn))
3734 /* See if we should warn about uninlinable functions. Previously,
3735 some of these warnings would be issued while trying to expand
3736 the function inline, but that would cause multiple warnings
3737 about functions that would for example call alloca. But since
3738 this a property of the function, just one warning is enough.
3739 As a bonus we can now give more details about the reason why a
3740 function is not inlinable. */
3741 if (always_inline)
3742 error (inline_forbidden_reason, fn);
3743 else if (do_warning)
3744 warning (OPT_Winline, inline_forbidden_reason, fn);
3746 inlinable = false;
3749 /* Squirrel away the result so that we don't have to check again. */
3750 DECL_UNINLINABLE (fn) = !inlinable;
3752 return inlinable;
3755 /* Estimate the cost of a memory move of type TYPE. Use machine dependent
3756 word size and take possible memcpy call into account and return
3757 cost based on whether optimizing for size or speed according to SPEED_P. */
3760 estimate_move_cost (tree type, bool ARG_UNUSED (speed_p))
3762 HOST_WIDE_INT size;
3764 gcc_assert (!VOID_TYPE_P (type));
3766 if (TREE_CODE (type) == VECTOR_TYPE)
3768 scalar_mode inner = SCALAR_TYPE_MODE (TREE_TYPE (type));
3769 machine_mode simd = targetm.vectorize.preferred_simd_mode (inner);
3770 int orig_mode_size
3771 = estimated_poly_value (GET_MODE_SIZE (TYPE_MODE (type)));
3772 int simd_mode_size = estimated_poly_value (GET_MODE_SIZE (simd));
3773 return ((orig_mode_size + simd_mode_size - 1)
3774 / simd_mode_size);
3777 size = int_size_in_bytes (type);
3779 if (size < 0 || size > MOVE_MAX_PIECES * MOVE_RATIO (speed_p))
3780 /* Cost of a memcpy call, 3 arguments and the call. */
3781 return 4;
3782 else
3783 return ((size + MOVE_MAX_PIECES - 1) / MOVE_MAX_PIECES);
3786 /* Returns cost of operation CODE, according to WEIGHTS */
3788 static int
3789 estimate_operator_cost (enum tree_code code, eni_weights *weights,
3790 tree op1 ATTRIBUTE_UNUSED, tree op2)
3792 switch (code)
3794 /* These are "free" conversions, or their presumed cost
3795 is folded into other operations. */
3796 case RANGE_EXPR:
3797 CASE_CONVERT:
3798 case COMPLEX_EXPR:
3799 case PAREN_EXPR:
3800 case VIEW_CONVERT_EXPR:
3801 return 0;
3803 /* Assign cost of 1 to usual operations.
3804 ??? We may consider mapping RTL costs to this. */
3805 case COND_EXPR:
3806 case VEC_COND_EXPR:
3807 case VEC_PERM_EXPR:
3809 case PLUS_EXPR:
3810 case POINTER_PLUS_EXPR:
3811 case POINTER_DIFF_EXPR:
3812 case MINUS_EXPR:
3813 case MULT_EXPR:
3814 case MULT_HIGHPART_EXPR:
3816 case ADDR_SPACE_CONVERT_EXPR:
3817 case FIXED_CONVERT_EXPR:
3818 case FIX_TRUNC_EXPR:
3820 case NEGATE_EXPR:
3821 case FLOAT_EXPR:
3822 case MIN_EXPR:
3823 case MAX_EXPR:
3824 case ABS_EXPR:
3825 case ABSU_EXPR:
3827 case LSHIFT_EXPR:
3828 case RSHIFT_EXPR:
3829 case LROTATE_EXPR:
3830 case RROTATE_EXPR:
3832 case BIT_IOR_EXPR:
3833 case BIT_XOR_EXPR:
3834 case BIT_AND_EXPR:
3835 case BIT_NOT_EXPR:
3837 case TRUTH_ANDIF_EXPR:
3838 case TRUTH_ORIF_EXPR:
3839 case TRUTH_AND_EXPR:
3840 case TRUTH_OR_EXPR:
3841 case TRUTH_XOR_EXPR:
3842 case TRUTH_NOT_EXPR:
3844 case LT_EXPR:
3845 case LE_EXPR:
3846 case GT_EXPR:
3847 case GE_EXPR:
3848 case EQ_EXPR:
3849 case NE_EXPR:
3850 case ORDERED_EXPR:
3851 case UNORDERED_EXPR:
3853 case UNLT_EXPR:
3854 case UNLE_EXPR:
3855 case UNGT_EXPR:
3856 case UNGE_EXPR:
3857 case UNEQ_EXPR:
3858 case LTGT_EXPR:
3860 case CONJ_EXPR:
3862 case PREDECREMENT_EXPR:
3863 case PREINCREMENT_EXPR:
3864 case POSTDECREMENT_EXPR:
3865 case POSTINCREMENT_EXPR:
3867 case REALIGN_LOAD_EXPR:
3869 case WIDEN_SUM_EXPR:
3870 case WIDEN_MULT_EXPR:
3871 case DOT_PROD_EXPR:
3872 case SAD_EXPR:
3873 case WIDEN_MULT_PLUS_EXPR:
3874 case WIDEN_MULT_MINUS_EXPR:
3875 case WIDEN_LSHIFT_EXPR:
3877 case VEC_WIDEN_MULT_HI_EXPR:
3878 case VEC_WIDEN_MULT_LO_EXPR:
3879 case VEC_WIDEN_MULT_EVEN_EXPR:
3880 case VEC_WIDEN_MULT_ODD_EXPR:
3881 case VEC_UNPACK_HI_EXPR:
3882 case VEC_UNPACK_LO_EXPR:
3883 case VEC_UNPACK_FLOAT_HI_EXPR:
3884 case VEC_UNPACK_FLOAT_LO_EXPR:
3885 case VEC_UNPACK_FIX_TRUNC_HI_EXPR:
3886 case VEC_UNPACK_FIX_TRUNC_LO_EXPR:
3887 case VEC_PACK_TRUNC_EXPR:
3888 case VEC_PACK_SAT_EXPR:
3889 case VEC_PACK_FIX_TRUNC_EXPR:
3890 case VEC_PACK_FLOAT_EXPR:
3891 case VEC_WIDEN_LSHIFT_HI_EXPR:
3892 case VEC_WIDEN_LSHIFT_LO_EXPR:
3893 case VEC_DUPLICATE_EXPR:
3894 case VEC_SERIES_EXPR:
3896 return 1;
3898 /* Few special cases of expensive operations. This is useful
3899 to avoid inlining on functions having too many of these. */
3900 case TRUNC_DIV_EXPR:
3901 case CEIL_DIV_EXPR:
3902 case FLOOR_DIV_EXPR:
3903 case ROUND_DIV_EXPR:
3904 case EXACT_DIV_EXPR:
3905 case TRUNC_MOD_EXPR:
3906 case CEIL_MOD_EXPR:
3907 case FLOOR_MOD_EXPR:
3908 case ROUND_MOD_EXPR:
3909 case RDIV_EXPR:
3910 if (TREE_CODE (op2) != INTEGER_CST)
3911 return weights->div_mod_cost;
3912 return 1;
3914 /* Bit-field insertion needs several shift and mask operations. */
3915 case BIT_INSERT_EXPR:
3916 return 3;
3918 default:
3919 /* We expect a copy assignment with no operator. */
3920 gcc_assert (get_gimple_rhs_class (code) == GIMPLE_SINGLE_RHS);
3921 return 0;
3926 /* Estimate number of instructions that will be created by expanding
3927 the statements in the statement sequence STMTS.
3928 WEIGHTS contains weights attributed to various constructs. */
3931 estimate_num_insns_seq (gimple_seq stmts, eni_weights *weights)
3933 int cost;
3934 gimple_stmt_iterator gsi;
3936 cost = 0;
3937 for (gsi = gsi_start (stmts); !gsi_end_p (gsi); gsi_next (&gsi))
3938 cost += estimate_num_insns (gsi_stmt (gsi), weights);
3940 return cost;
3944 /* Estimate number of instructions that will be created by expanding STMT.
3945 WEIGHTS contains weights attributed to various constructs. */
3948 estimate_num_insns (gimple *stmt, eni_weights *weights)
3950 unsigned cost, i;
3951 enum gimple_code code = gimple_code (stmt);
3952 tree lhs;
3953 tree rhs;
3955 switch (code)
3957 case GIMPLE_ASSIGN:
3958 /* Try to estimate the cost of assignments. We have three cases to
3959 deal with:
3960 1) Simple assignments to registers;
3961 2) Stores to things that must live in memory. This includes
3962 "normal" stores to scalars, but also assignments of large
3963 structures, or constructors of big arrays;
3965 Let us look at the first two cases, assuming we have "a = b + C":
3966 <GIMPLE_ASSIGN <var_decl "a">
3967 <plus_expr <var_decl "b"> <constant C>>
3968 If "a" is a GIMPLE register, the assignment to it is free on almost
3969 any target, because "a" usually ends up in a real register. Hence
3970 the only cost of this expression comes from the PLUS_EXPR, and we
3971 can ignore the GIMPLE_ASSIGN.
3972 If "a" is not a GIMPLE register, the assignment to "a" will most
3973 likely be a real store, so the cost of the GIMPLE_ASSIGN is the cost
3974 of moving something into "a", which we compute using the function
3975 estimate_move_cost. */
3976 if (gimple_clobber_p (stmt))
3977 return 0; /* ={v} {CLOBBER} stmt expands to nothing. */
3979 lhs = gimple_assign_lhs (stmt);
3980 rhs = gimple_assign_rhs1 (stmt);
3982 cost = 0;
3984 /* Account for the cost of moving to / from memory. */
3985 if (gimple_store_p (stmt))
3986 cost += estimate_move_cost (TREE_TYPE (lhs), weights->time_based);
3987 if (gimple_assign_load_p (stmt))
3988 cost += estimate_move_cost (TREE_TYPE (rhs), weights->time_based);
3990 cost += estimate_operator_cost (gimple_assign_rhs_code (stmt), weights,
3991 gimple_assign_rhs1 (stmt),
3992 get_gimple_rhs_class (gimple_assign_rhs_code (stmt))
3993 == GIMPLE_BINARY_RHS
3994 ? gimple_assign_rhs2 (stmt) : NULL);
3995 break;
3997 case GIMPLE_COND:
3998 cost = 1 + estimate_operator_cost (gimple_cond_code (stmt), weights,
3999 gimple_op (stmt, 0),
4000 gimple_op (stmt, 1));
4001 break;
4003 case GIMPLE_SWITCH:
4005 gswitch *switch_stmt = as_a <gswitch *> (stmt);
4006 /* Take into account cost of the switch + guess 2 conditional jumps for
4007 each case label.
4009 TODO: once the switch expansion logic is sufficiently separated, we can
4010 do better job on estimating cost of the switch. */
4011 if (weights->time_based)
4012 cost = floor_log2 (gimple_switch_num_labels (switch_stmt)) * 2;
4013 else
4014 cost = gimple_switch_num_labels (switch_stmt) * 2;
4016 break;
4018 case GIMPLE_CALL:
4020 tree decl;
4022 if (gimple_call_internal_p (stmt))
4023 return 0;
4024 else if ((decl = gimple_call_fndecl (stmt))
4025 && DECL_BUILT_IN (decl))
4027 /* Do not special case builtins where we see the body.
4028 This just confuse inliner. */
4029 struct cgraph_node *node;
4030 if (!(node = cgraph_node::get (decl))
4031 || node->definition)
4033 /* For buitins that are likely expanded to nothing or
4034 inlined do not account operand costs. */
4035 else if (is_simple_builtin (decl))
4036 return 0;
4037 else if (is_inexpensive_builtin (decl))
4038 return weights->target_builtin_call_cost;
4039 else if (gimple_call_builtin_p (stmt, BUILT_IN_NORMAL))
4041 /* We canonicalize x * x to pow (x, 2.0) with -ffast-math, so
4042 specialize the cheap expansion we do here.
4043 ??? This asks for a more general solution. */
4044 switch (DECL_FUNCTION_CODE (decl))
4046 case BUILT_IN_POW:
4047 case BUILT_IN_POWF:
4048 case BUILT_IN_POWL:
4049 if (TREE_CODE (gimple_call_arg (stmt, 1)) == REAL_CST
4050 && (real_equal
4051 (&TREE_REAL_CST (gimple_call_arg (stmt, 1)),
4052 &dconst2)))
4053 return estimate_operator_cost
4054 (MULT_EXPR, weights, gimple_call_arg (stmt, 0),
4055 gimple_call_arg (stmt, 0));
4056 break;
4058 default:
4059 break;
4064 cost = decl ? weights->call_cost : weights->indirect_call_cost;
4065 if (gimple_call_lhs (stmt))
4066 cost += estimate_move_cost (TREE_TYPE (gimple_call_lhs (stmt)),
4067 weights->time_based);
4068 for (i = 0; i < gimple_call_num_args (stmt); i++)
4070 tree arg = gimple_call_arg (stmt, i);
4071 cost += estimate_move_cost (TREE_TYPE (arg),
4072 weights->time_based);
4074 break;
4077 case GIMPLE_RETURN:
4078 return weights->return_cost;
4080 case GIMPLE_GOTO:
4081 case GIMPLE_LABEL:
4082 case GIMPLE_NOP:
4083 case GIMPLE_PHI:
4084 case GIMPLE_PREDICT:
4085 case GIMPLE_DEBUG:
4086 return 0;
4088 case GIMPLE_ASM:
4090 int count = asm_str_count (gimple_asm_string (as_a <gasm *> (stmt)));
4091 /* 1000 means infinity. This avoids overflows later
4092 with very long asm statements. */
4093 if (count > 1000)
4094 count = 1000;
4095 return MAX (1, count);
4098 case GIMPLE_RESX:
4099 /* This is either going to be an external function call with one
4100 argument, or two register copy statements plus a goto. */
4101 return 2;
4103 case GIMPLE_EH_DISPATCH:
4104 /* ??? This is going to turn into a switch statement. Ideally
4105 we'd have a look at the eh region and estimate the number of
4106 edges involved. */
4107 return 10;
4109 case GIMPLE_BIND:
4110 return estimate_num_insns_seq (
4111 gimple_bind_body (as_a <gbind *> (stmt)),
4112 weights);
4114 case GIMPLE_EH_FILTER:
4115 return estimate_num_insns_seq (gimple_eh_filter_failure (stmt), weights);
4117 case GIMPLE_CATCH:
4118 return estimate_num_insns_seq (gimple_catch_handler (
4119 as_a <gcatch *> (stmt)),
4120 weights);
4122 case GIMPLE_TRY:
4123 return (estimate_num_insns_seq (gimple_try_eval (stmt), weights)
4124 + estimate_num_insns_seq (gimple_try_cleanup (stmt), weights));
4126 /* OMP directives are generally very expensive. */
4128 case GIMPLE_OMP_RETURN:
4129 case GIMPLE_OMP_SECTIONS_SWITCH:
4130 case GIMPLE_OMP_ATOMIC_STORE:
4131 case GIMPLE_OMP_CONTINUE:
4132 /* ...except these, which are cheap. */
4133 return 0;
4135 case GIMPLE_OMP_ATOMIC_LOAD:
4136 return weights->omp_cost;
4138 case GIMPLE_OMP_FOR:
4139 return (weights->omp_cost
4140 + estimate_num_insns_seq (gimple_omp_body (stmt), weights)
4141 + estimate_num_insns_seq (gimple_omp_for_pre_body (stmt), weights));
4143 case GIMPLE_OMP_PARALLEL:
4144 case GIMPLE_OMP_TASK:
4145 case GIMPLE_OMP_CRITICAL:
4146 case GIMPLE_OMP_MASTER:
4147 case GIMPLE_OMP_TASKGROUP:
4148 case GIMPLE_OMP_ORDERED:
4149 case GIMPLE_OMP_SECTION:
4150 case GIMPLE_OMP_SECTIONS:
4151 case GIMPLE_OMP_SINGLE:
4152 case GIMPLE_OMP_TARGET:
4153 case GIMPLE_OMP_TEAMS:
4154 return (weights->omp_cost
4155 + estimate_num_insns_seq (gimple_omp_body (stmt), weights));
4157 case GIMPLE_TRANSACTION:
4158 return (weights->tm_cost
4159 + estimate_num_insns_seq (gimple_transaction_body (
4160 as_a <gtransaction *> (stmt)),
4161 weights));
4163 default:
4164 gcc_unreachable ();
4167 return cost;
4170 /* Estimate number of instructions that will be created by expanding
4171 function FNDECL. WEIGHTS contains weights attributed to various
4172 constructs. */
4175 estimate_num_insns_fn (tree fndecl, eni_weights *weights)
4177 struct function *my_function = DECL_STRUCT_FUNCTION (fndecl);
4178 gimple_stmt_iterator bsi;
4179 basic_block bb;
4180 int n = 0;
4182 gcc_assert (my_function && my_function->cfg);
4183 FOR_EACH_BB_FN (bb, my_function)
4185 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
4186 n += estimate_num_insns (gsi_stmt (bsi), weights);
4189 return n;
4193 /* Initializes weights used by estimate_num_insns. */
4195 void
4196 init_inline_once (void)
4198 eni_size_weights.call_cost = 1;
4199 eni_size_weights.indirect_call_cost = 3;
4200 eni_size_weights.target_builtin_call_cost = 1;
4201 eni_size_weights.div_mod_cost = 1;
4202 eni_size_weights.omp_cost = 40;
4203 eni_size_weights.tm_cost = 10;
4204 eni_size_weights.time_based = false;
4205 eni_size_weights.return_cost = 1;
4207 /* Estimating time for call is difficult, since we have no idea what the
4208 called function does. In the current uses of eni_time_weights,
4209 underestimating the cost does less harm than overestimating it, so
4210 we choose a rather small value here. */
4211 eni_time_weights.call_cost = 10;
4212 eni_time_weights.indirect_call_cost = 15;
4213 eni_time_weights.target_builtin_call_cost = 1;
4214 eni_time_weights.div_mod_cost = 10;
4215 eni_time_weights.omp_cost = 40;
4216 eni_time_weights.tm_cost = 40;
4217 eni_time_weights.time_based = true;
4218 eni_time_weights.return_cost = 2;
4222 /* Install new lexical TREE_BLOCK underneath 'current_block'. */
4224 static void
4225 prepend_lexical_block (tree current_block, tree new_block)
4227 BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (current_block);
4228 BLOCK_SUBBLOCKS (current_block) = new_block;
4229 BLOCK_SUPERCONTEXT (new_block) = current_block;
4232 /* Add local variables from CALLEE to CALLER. */
4234 static inline void
4235 add_local_variables (struct function *callee, struct function *caller,
4236 copy_body_data *id)
4238 tree var;
4239 unsigned ix;
4241 FOR_EACH_LOCAL_DECL (callee, ix, var)
4242 if (!can_be_nonlocal (var, id))
4244 tree new_var = remap_decl (var, id);
4246 /* Remap debug-expressions. */
4247 if (VAR_P (new_var)
4248 && DECL_HAS_DEBUG_EXPR_P (var)
4249 && new_var != var)
4251 tree tem = DECL_DEBUG_EXPR (var);
4252 bool old_regimplify = id->regimplify;
4253 id->remapping_type_depth++;
4254 walk_tree (&tem, copy_tree_body_r, id, NULL);
4255 id->remapping_type_depth--;
4256 id->regimplify = old_regimplify;
4257 SET_DECL_DEBUG_EXPR (new_var, tem);
4258 DECL_HAS_DEBUG_EXPR_P (new_var) = 1;
4260 add_local_decl (caller, new_var);
4264 /* Add to BINDINGS a debug stmt resetting SRCVAR if inlining might
4265 have brought in or introduced any debug stmts for SRCVAR. */
4267 static inline void
4268 reset_debug_binding (copy_body_data *id, tree srcvar, gimple_seq *bindings)
4270 tree *remappedvarp = id->decl_map->get (srcvar);
4272 if (!remappedvarp)
4273 return;
4275 if (!VAR_P (*remappedvarp))
4276 return;
4278 if (*remappedvarp == id->retvar)
4279 return;
4281 tree tvar = target_for_debug_bind (*remappedvarp);
4282 if (!tvar)
4283 return;
4285 gdebug *stmt = gimple_build_debug_bind (tvar, NULL_TREE,
4286 id->call_stmt);
4287 gimple_seq_add_stmt (bindings, stmt);
4290 /* For each inlined variable for which we may have debug bind stmts,
4291 add before GSI a final debug stmt resetting it, marking the end of
4292 its life, so that var-tracking knows it doesn't have to compute
4293 further locations for it. */
4295 static inline void
4296 reset_debug_bindings (copy_body_data *id, gimple_stmt_iterator gsi)
4298 tree var;
4299 unsigned ix;
4300 gimple_seq bindings = NULL;
4302 if (!gimple_in_ssa_p (id->src_cfun))
4303 return;
4305 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
4306 return;
4308 for (var = DECL_ARGUMENTS (id->src_fn);
4309 var; var = DECL_CHAIN (var))
4310 reset_debug_binding (id, var, &bindings);
4312 FOR_EACH_LOCAL_DECL (id->src_cfun, ix, var)
4313 reset_debug_binding (id, var, &bindings);
4315 gsi_insert_seq_before_without_update (&gsi, bindings, GSI_SAME_STMT);
4318 /* If STMT is a GIMPLE_CALL, replace it with its inline expansion. */
4320 static bool
4321 expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id)
4323 tree use_retvar;
4324 tree fn;
4325 hash_map<tree, tree> *dst;
4326 hash_map<tree, tree> *st = NULL;
4327 tree return_slot;
4328 tree modify_dest;
4329 struct cgraph_edge *cg_edge;
4330 cgraph_inline_failed_t reason;
4331 basic_block return_block;
4332 edge e;
4333 gimple_stmt_iterator gsi, stmt_gsi;
4334 bool successfully_inlined = false;
4335 bool purge_dead_abnormal_edges;
4336 gcall *call_stmt;
4337 unsigned int prop_mask, src_properties;
4338 struct function *dst_cfun;
4339 tree simduid;
4340 use_operand_p use;
4341 gimple *simtenter_stmt = NULL;
4342 vec<tree> *simtvars_save;
4344 /* The gimplifier uses input_location in too many places, such as
4345 internal_get_tmp_var (). */
4346 location_t saved_location = input_location;
4347 input_location = gimple_location (stmt);
4349 /* From here on, we're only interested in CALL_EXPRs. */
4350 call_stmt = dyn_cast <gcall *> (stmt);
4351 if (!call_stmt)
4352 goto egress;
4354 cg_edge = id->dst_node->get_edge (stmt);
4355 gcc_checking_assert (cg_edge);
4356 /* First, see if we can figure out what function is being called.
4357 If we cannot, then there is no hope of inlining the function. */
4358 if (cg_edge->indirect_unknown_callee)
4359 goto egress;
4360 fn = cg_edge->callee->decl;
4361 gcc_checking_assert (fn);
4363 /* If FN is a declaration of a function in a nested scope that was
4364 globally declared inline, we don't set its DECL_INITIAL.
4365 However, we can't blindly follow DECL_ABSTRACT_ORIGIN because the
4366 C++ front-end uses it for cdtors to refer to their internal
4367 declarations, that are not real functions. Fortunately those
4368 don't have trees to be saved, so we can tell by checking their
4369 gimple_body. */
4370 if (!DECL_INITIAL (fn)
4371 && DECL_ABSTRACT_ORIGIN (fn)
4372 && gimple_has_body_p (DECL_ABSTRACT_ORIGIN (fn)))
4373 fn = DECL_ABSTRACT_ORIGIN (fn);
4375 /* Don't try to inline functions that are not well-suited to inlining. */
4376 if (cg_edge->inline_failed)
4378 reason = cg_edge->inline_failed;
4379 /* If this call was originally indirect, we do not want to emit any
4380 inlining related warnings or sorry messages because there are no
4381 guarantees regarding those. */
4382 if (cg_edge->indirect_inlining_edge)
4383 goto egress;
4385 if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn))
4386 /* For extern inline functions that get redefined we always
4387 silently ignored always_inline flag. Better behavior would
4388 be to be able to keep both bodies and use extern inline body
4389 for inlining, but we can't do that because frontends overwrite
4390 the body. */
4391 && !cg_edge->callee->local.redefined_extern_inline
4392 /* During early inline pass, report only when optimization is
4393 not turned on. */
4394 && (symtab->global_info_ready
4395 || !optimize
4396 || cgraph_inline_failed_type (reason) == CIF_FINAL_ERROR)
4397 /* PR 20090218-1_0.c. Body can be provided by another module. */
4398 && (reason != CIF_BODY_NOT_AVAILABLE || !flag_generate_lto))
4400 error ("inlining failed in call to always_inline %q+F: %s", fn,
4401 cgraph_inline_failed_string (reason));
4402 if (gimple_location (stmt) != UNKNOWN_LOCATION)
4403 inform (gimple_location (stmt), "called from here");
4404 else if (DECL_SOURCE_LOCATION (cfun->decl) != UNKNOWN_LOCATION)
4405 inform (DECL_SOURCE_LOCATION (cfun->decl),
4406 "called from this function");
4408 else if (warn_inline
4409 && DECL_DECLARED_INLINE_P (fn)
4410 && !DECL_NO_INLINE_WARNING_P (fn)
4411 && !DECL_IN_SYSTEM_HEADER (fn)
4412 && reason != CIF_UNSPECIFIED
4413 && !lookup_attribute ("noinline", DECL_ATTRIBUTES (fn))
4414 /* Do not warn about not inlined recursive calls. */
4415 && !cg_edge->recursive_p ()
4416 /* Avoid warnings during early inline pass. */
4417 && symtab->global_info_ready)
4419 if (warning (OPT_Winline, "inlining failed in call to %q+F: %s",
4420 fn, _(cgraph_inline_failed_string (reason))))
4422 if (gimple_location (stmt) != UNKNOWN_LOCATION)
4423 inform (gimple_location (stmt), "called from here");
4424 else if (DECL_SOURCE_LOCATION (cfun->decl) != UNKNOWN_LOCATION)
4425 inform (DECL_SOURCE_LOCATION (cfun->decl),
4426 "called from this function");
4429 goto egress;
4431 id->src_node = cg_edge->callee;
4433 /* If callee is thunk, all we need is to adjust the THIS pointer
4434 and redirect to function being thunked. */
4435 if (id->src_node->thunk.thunk_p)
4437 cgraph_edge *edge;
4438 tree virtual_offset = NULL;
4439 profile_count count = cg_edge->count;
4440 tree op;
4441 gimple_stmt_iterator iter = gsi_for_stmt (stmt);
4443 cg_edge->remove ();
4444 edge = id->src_node->callees->clone (id->dst_node, call_stmt,
4445 gimple_uid (stmt),
4446 profile_count::one (),
4447 profile_count::one (),
4448 true);
4449 edge->count = count;
4450 if (id->src_node->thunk.virtual_offset_p)
4451 virtual_offset = size_int (id->src_node->thunk.virtual_value);
4452 op = create_tmp_reg_fn (cfun, TREE_TYPE (gimple_call_arg (stmt, 0)),
4453 NULL);
4454 gsi_insert_before (&iter, gimple_build_assign (op,
4455 gimple_call_arg (stmt, 0)),
4456 GSI_NEW_STMT);
4457 gcc_assert (id->src_node->thunk.this_adjusting);
4458 op = thunk_adjust (&iter, op, 1, id->src_node->thunk.fixed_offset,
4459 virtual_offset);
4461 gimple_call_set_arg (stmt, 0, op);
4462 gimple_call_set_fndecl (stmt, edge->callee->decl);
4463 update_stmt (stmt);
4464 id->src_node->remove ();
4465 expand_call_inline (bb, stmt, id);
4466 maybe_remove_unused_call_args (cfun, stmt);
4467 return true;
4469 fn = cg_edge->callee->decl;
4470 cg_edge->callee->get_untransformed_body ();
4472 if (flag_checking && cg_edge->callee->decl != id->dst_node->decl)
4473 cg_edge->callee->verify ();
4475 /* We will be inlining this callee. */
4476 id->eh_lp_nr = lookup_stmt_eh_lp (stmt);
4477 id->assign_stmts.create (0);
4479 /* Update the callers EH personality. */
4480 if (DECL_FUNCTION_PERSONALITY (fn))
4481 DECL_FUNCTION_PERSONALITY (cg_edge->caller->decl)
4482 = DECL_FUNCTION_PERSONALITY (fn);
4484 /* Split the block before the GIMPLE_CALL. */
4485 stmt_gsi = gsi_for_stmt (stmt);
4486 gsi_prev (&stmt_gsi);
4487 e = split_block (bb, gsi_end_p (stmt_gsi) ? NULL : gsi_stmt (stmt_gsi));
4488 bb = e->src;
4489 return_block = e->dest;
4490 remove_edge (e);
4492 /* If the GIMPLE_CALL was in the last statement of BB, it may have
4493 been the source of abnormal edges. In this case, schedule
4494 the removal of dead abnormal edges. */
4495 gsi = gsi_start_bb (return_block);
4496 gsi_next (&gsi);
4497 purge_dead_abnormal_edges = gsi_end_p (gsi);
4499 stmt_gsi = gsi_start_bb (return_block);
4501 /* Build a block containing code to initialize the arguments, the
4502 actual inline expansion of the body, and a label for the return
4503 statements within the function to jump to. The type of the
4504 statement expression is the return type of the function call.
4505 ??? If the call does not have an associated block then we will
4506 remap all callee blocks to NULL, effectively dropping most of
4507 its debug information. This should only happen for calls to
4508 artificial decls inserted by the compiler itself. We need to
4509 either link the inlined blocks into the caller block tree or
4510 not refer to them in any way to not break GC for locations. */
4511 if (gimple_block (stmt))
4513 id->block = make_node (BLOCK);
4514 BLOCK_ABSTRACT_ORIGIN (id->block) = fn;
4515 BLOCK_SOURCE_LOCATION (id->block)
4516 = LOCATION_LOCUS (gimple_location (stmt));
4517 prepend_lexical_block (gimple_block (stmt), id->block);
4520 /* Local declarations will be replaced by their equivalents in this map. */
4521 st = id->decl_map;
4522 id->decl_map = new hash_map<tree, tree>;
4523 dst = id->debug_map;
4524 id->debug_map = NULL;
4526 /* Record the function we are about to inline. */
4527 id->src_fn = fn;
4528 id->src_cfun = DECL_STRUCT_FUNCTION (fn);
4529 id->reset_location = DECL_IGNORED_P (fn);
4530 id->call_stmt = call_stmt;
4532 /* When inlining into an OpenMP SIMD-on-SIMT loop, arrange for new automatic
4533 variables to be added to IFN_GOMP_SIMT_ENTER argument list. */
4534 dst_cfun = DECL_STRUCT_FUNCTION (id->dst_fn);
4535 simtvars_save = id->dst_simt_vars;
4536 if (!(dst_cfun->curr_properties & PROP_gimple_lomp_dev)
4537 && (simduid = bb->loop_father->simduid) != NULL_TREE
4538 && (simduid = ssa_default_def (dst_cfun, simduid)) != NULL_TREE
4539 && single_imm_use (simduid, &use, &simtenter_stmt)
4540 && is_gimple_call (simtenter_stmt)
4541 && gimple_call_internal_p (simtenter_stmt, IFN_GOMP_SIMT_ENTER))
4542 vec_alloc (id->dst_simt_vars, 0);
4543 else
4544 id->dst_simt_vars = NULL;
4546 if (profile_status_for_fn (id->src_cfun) == PROFILE_ABSENT)
4547 profile_status_for_fn (dst_cfun) = PROFILE_ABSENT;
4549 /* If the src function contains an IFN_VA_ARG, then so will the dst
4550 function after inlining. Likewise for IFN_GOMP_USE_SIMT. */
4551 prop_mask = PROP_gimple_lva | PROP_gimple_lomp_dev;
4552 src_properties = id->src_cfun->curr_properties & prop_mask;
4553 if (src_properties != prop_mask)
4554 dst_cfun->curr_properties &= src_properties | ~prop_mask;
4556 gcc_assert (!id->src_cfun->after_inlining);
4558 id->entry_bb = bb;
4559 if (lookup_attribute ("cold", DECL_ATTRIBUTES (fn)))
4561 gimple_stmt_iterator si = gsi_last_bb (bb);
4562 gsi_insert_after (&si, gimple_build_predict (PRED_COLD_FUNCTION,
4563 NOT_TAKEN),
4564 GSI_NEW_STMT);
4566 initialize_inlined_parameters (id, stmt, fn, bb);
4567 if (debug_nonbind_markers_p && debug_inline_points && id->block
4568 && inlined_function_outer_scope_p (id->block))
4570 gimple_stmt_iterator si = gsi_last_bb (bb);
4571 gsi_insert_after (&si, gimple_build_debug_inline_entry
4572 (id->block, input_location), GSI_NEW_STMT);
4575 if (DECL_INITIAL (fn))
4577 if (gimple_block (stmt))
4579 tree *var;
4581 prepend_lexical_block (id->block,
4582 remap_blocks (DECL_INITIAL (fn), id));
4583 gcc_checking_assert (BLOCK_SUBBLOCKS (id->block)
4584 && (BLOCK_CHAIN (BLOCK_SUBBLOCKS (id->block))
4585 == NULL_TREE));
4586 /* Move vars for PARM_DECLs from DECL_INITIAL block to id->block,
4587 otherwise for DWARF DW_TAG_formal_parameter will not be children of
4588 DW_TAG_inlined_subroutine, but of a DW_TAG_lexical_block
4589 under it. The parameters can be then evaluated in the debugger,
4590 but don't show in backtraces. */
4591 for (var = &BLOCK_VARS (BLOCK_SUBBLOCKS (id->block)); *var; )
4592 if (TREE_CODE (DECL_ORIGIN (*var)) == PARM_DECL)
4594 tree v = *var;
4595 *var = TREE_CHAIN (v);
4596 TREE_CHAIN (v) = BLOCK_VARS (id->block);
4597 BLOCK_VARS (id->block) = v;
4599 else
4600 var = &TREE_CHAIN (*var);
4602 else
4603 remap_blocks_to_null (DECL_INITIAL (fn), id);
4606 /* Return statements in the function body will be replaced by jumps
4607 to the RET_LABEL. */
4608 gcc_assert (DECL_INITIAL (fn));
4609 gcc_assert (TREE_CODE (DECL_INITIAL (fn)) == BLOCK);
4611 /* Find the LHS to which the result of this call is assigned. */
4612 return_slot = NULL;
4613 if (gimple_call_lhs (stmt))
4615 modify_dest = gimple_call_lhs (stmt);
4617 /* The function which we are inlining might not return a value,
4618 in which case we should issue a warning that the function
4619 does not return a value. In that case the optimizers will
4620 see that the variable to which the value is assigned was not
4621 initialized. We do not want to issue a warning about that
4622 uninitialized variable. */
4623 if (DECL_P (modify_dest))
4624 TREE_NO_WARNING (modify_dest) = 1;
4626 if (gimple_call_return_slot_opt_p (call_stmt))
4628 return_slot = modify_dest;
4629 modify_dest = NULL;
4632 else
4633 modify_dest = NULL;
4635 /* If we are inlining a call to the C++ operator new, we don't want
4636 to use type based alias analysis on the return value. Otherwise
4637 we may get confused if the compiler sees that the inlined new
4638 function returns a pointer which was just deleted. See bug
4639 33407. */
4640 if (DECL_IS_OPERATOR_NEW (fn))
4642 return_slot = NULL;
4643 modify_dest = NULL;
4646 /* Declare the return variable for the function. */
4647 use_retvar = declare_return_variable (id, return_slot, modify_dest, bb);
4649 /* Add local vars in this inlined callee to caller. */
4650 add_local_variables (id->src_cfun, cfun, id);
4652 if (dump_file && (dump_flags & TDF_DETAILS))
4654 fprintf (dump_file, "Inlining %s to %s with frequency %4.2f\n",
4655 id->src_node->dump_name (),
4656 id->dst_node->dump_name (),
4657 cg_edge->sreal_frequency ().to_double ());
4658 id->src_node->dump (dump_file);
4659 id->dst_node->dump (dump_file);
4662 /* This is it. Duplicate the callee body. Assume callee is
4663 pre-gimplified. Note that we must not alter the caller
4664 function in any way before this point, as this CALL_EXPR may be
4665 a self-referential call; if we're calling ourselves, we need to
4666 duplicate our body before altering anything. */
4667 copy_body (id, bb, return_block, NULL);
4669 reset_debug_bindings (id, stmt_gsi);
4671 if (flag_stack_reuse != SR_NONE)
4672 for (tree p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
4673 if (!TREE_THIS_VOLATILE (p))
4675 tree *varp = id->decl_map->get (p);
4676 if (varp && VAR_P (*varp) && !is_gimple_reg (*varp))
4678 tree clobber = build_constructor (TREE_TYPE (*varp), NULL);
4679 gimple *clobber_stmt;
4680 TREE_THIS_VOLATILE (clobber) = 1;
4681 clobber_stmt = gimple_build_assign (*varp, clobber);
4682 gimple_set_location (clobber_stmt, gimple_location (stmt));
4683 gsi_insert_before (&stmt_gsi, clobber_stmt, GSI_SAME_STMT);
4687 /* Reset the escaped solution. */
4688 if (cfun->gimple_df)
4689 pt_solution_reset (&cfun->gimple_df->escaped);
4691 /* Add new automatic variables to IFN_GOMP_SIMT_ENTER arguments. */
4692 if (id->dst_simt_vars && id->dst_simt_vars->length () > 0)
4694 size_t nargs = gimple_call_num_args (simtenter_stmt);
4695 vec<tree> *vars = id->dst_simt_vars;
4696 auto_vec<tree> newargs (nargs + vars->length ());
4697 for (size_t i = 0; i < nargs; i++)
4698 newargs.quick_push (gimple_call_arg (simtenter_stmt, i));
4699 for (tree *pvar = vars->begin (); pvar != vars->end (); pvar++)
4701 tree ptrtype = build_pointer_type (TREE_TYPE (*pvar));
4702 newargs.quick_push (build1 (ADDR_EXPR, ptrtype, *pvar));
4704 gcall *g = gimple_build_call_internal_vec (IFN_GOMP_SIMT_ENTER, newargs);
4705 gimple_call_set_lhs (g, gimple_call_lhs (simtenter_stmt));
4706 gimple_stmt_iterator gsi = gsi_for_stmt (simtenter_stmt);
4707 gsi_replace (&gsi, g, false);
4709 vec_free (id->dst_simt_vars);
4710 id->dst_simt_vars = simtvars_save;
4712 /* Clean up. */
4713 if (id->debug_map)
4715 delete id->debug_map;
4716 id->debug_map = dst;
4718 delete id->decl_map;
4719 id->decl_map = st;
4721 /* Unlink the calls virtual operands before replacing it. */
4722 unlink_stmt_vdef (stmt);
4723 if (gimple_vdef (stmt)
4724 && TREE_CODE (gimple_vdef (stmt)) == SSA_NAME)
4725 release_ssa_name (gimple_vdef (stmt));
4727 /* If the inlined function returns a result that we care about,
4728 substitute the GIMPLE_CALL with an assignment of the return
4729 variable to the LHS of the call. That is, if STMT was
4730 'a = foo (...)', substitute the call with 'a = USE_RETVAR'. */
4731 if (use_retvar && gimple_call_lhs (stmt))
4733 gimple *old_stmt = stmt;
4734 stmt = gimple_build_assign (gimple_call_lhs (stmt), use_retvar);
4735 gimple_set_location (stmt, gimple_location (old_stmt));
4736 gsi_replace (&stmt_gsi, stmt, false);
4737 maybe_clean_or_replace_eh_stmt (old_stmt, stmt);
4738 /* Append a clobber for id->retvar if easily possible. */
4739 if (flag_stack_reuse != SR_NONE
4740 && id->retvar
4741 && VAR_P (id->retvar)
4742 && id->retvar != return_slot
4743 && id->retvar != modify_dest
4744 && !TREE_THIS_VOLATILE (id->retvar)
4745 && !is_gimple_reg (id->retvar)
4746 && !stmt_ends_bb_p (stmt))
4748 tree clobber = build_constructor (TREE_TYPE (id->retvar), NULL);
4749 gimple *clobber_stmt;
4750 TREE_THIS_VOLATILE (clobber) = 1;
4751 clobber_stmt = gimple_build_assign (id->retvar, clobber);
4752 gimple_set_location (clobber_stmt, gimple_location (old_stmt));
4753 gsi_insert_after (&stmt_gsi, clobber_stmt, GSI_SAME_STMT);
4756 else
4758 /* Handle the case of inlining a function with no return
4759 statement, which causes the return value to become undefined. */
4760 if (gimple_call_lhs (stmt)
4761 && TREE_CODE (gimple_call_lhs (stmt)) == SSA_NAME)
4763 tree name = gimple_call_lhs (stmt);
4764 tree var = SSA_NAME_VAR (name);
4765 tree def = var ? ssa_default_def (cfun, var) : NULL;
4767 if (def)
4769 /* If the variable is used undefined, make this name
4770 undefined via a move. */
4771 stmt = gimple_build_assign (gimple_call_lhs (stmt), def);
4772 gsi_replace (&stmt_gsi, stmt, true);
4774 else
4776 if (!var)
4778 var = create_tmp_reg_fn (cfun, TREE_TYPE (name), NULL);
4779 SET_SSA_NAME_VAR_OR_IDENTIFIER (name, var);
4781 /* Otherwise make this variable undefined. */
4782 gsi_remove (&stmt_gsi, true);
4783 set_ssa_default_def (cfun, var, name);
4784 SSA_NAME_DEF_STMT (name) = gimple_build_nop ();
4787 /* Replace with a clobber for id->retvar. */
4788 else if (flag_stack_reuse != SR_NONE
4789 && id->retvar
4790 && VAR_P (id->retvar)
4791 && id->retvar != return_slot
4792 && id->retvar != modify_dest
4793 && !TREE_THIS_VOLATILE (id->retvar)
4794 && !is_gimple_reg (id->retvar))
4796 tree clobber = build_constructor (TREE_TYPE (id->retvar), NULL);
4797 gimple *clobber_stmt;
4798 TREE_THIS_VOLATILE (clobber) = 1;
4799 clobber_stmt = gimple_build_assign (id->retvar, clobber);
4800 gimple_set_location (clobber_stmt, gimple_location (stmt));
4801 gsi_replace (&stmt_gsi, clobber_stmt, false);
4802 maybe_clean_or_replace_eh_stmt (stmt, clobber_stmt);
4804 else
4805 gsi_remove (&stmt_gsi, true);
4808 if (purge_dead_abnormal_edges)
4810 gimple_purge_dead_eh_edges (return_block);
4811 gimple_purge_dead_abnormal_call_edges (return_block);
4814 /* If the value of the new expression is ignored, that's OK. We
4815 don't warn about this for CALL_EXPRs, so we shouldn't warn about
4816 the equivalent inlined version either. */
4817 if (is_gimple_assign (stmt))
4819 gcc_assert (gimple_assign_single_p (stmt)
4820 || CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt)));
4821 TREE_USED (gimple_assign_rhs1 (stmt)) = 1;
4824 id->assign_stmts.release ();
4826 /* Output the inlining info for this abstract function, since it has been
4827 inlined. If we don't do this now, we can lose the information about the
4828 variables in the function when the blocks get blown away as soon as we
4829 remove the cgraph node. */
4830 if (gimple_block (stmt))
4831 (*debug_hooks->outlining_inline_function) (fn);
4833 /* Update callgraph if needed. */
4834 cg_edge->callee->remove ();
4836 id->block = NULL_TREE;
4837 id->retvar = NULL_TREE;
4838 successfully_inlined = true;
4840 egress:
4841 input_location = saved_location;
4842 return successfully_inlined;
4845 /* Expand call statements reachable from STMT_P.
4846 We can only have CALL_EXPRs as the "toplevel" tree code or nested
4847 in a MODIFY_EXPR. */
4849 static bool
4850 gimple_expand_calls_inline (basic_block bb, copy_body_data *id)
4852 gimple_stmt_iterator gsi;
4853 bool inlined = false;
4855 for (gsi = gsi_last_bb (bb); !gsi_end_p (gsi);)
4857 gimple *stmt = gsi_stmt (gsi);
4858 gsi_prev (&gsi);
4860 if (is_gimple_call (stmt)
4861 && !gimple_call_internal_p (stmt))
4862 inlined |= expand_call_inline (bb, stmt, id);
4865 return inlined;
4869 /* Walk all basic blocks created after FIRST and try to fold every statement
4870 in the STATEMENTS pointer set. */
4872 static void
4873 fold_marked_statements (int first, hash_set<gimple *> *statements)
4875 for (; first < n_basic_blocks_for_fn (cfun); first++)
4876 if (BASIC_BLOCK_FOR_FN (cfun, first))
4878 gimple_stmt_iterator gsi;
4880 for (gsi = gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun, first));
4881 !gsi_end_p (gsi);
4882 gsi_next (&gsi))
4883 if (statements->contains (gsi_stmt (gsi)))
4885 gimple *old_stmt = gsi_stmt (gsi);
4886 tree old_decl = is_gimple_call (old_stmt) ? gimple_call_fndecl (old_stmt) : 0;
4888 if (old_decl && DECL_BUILT_IN (old_decl))
4890 /* Folding builtins can create multiple instructions,
4891 we need to look at all of them. */
4892 gimple_stmt_iterator i2 = gsi;
4893 gsi_prev (&i2);
4894 if (fold_stmt (&gsi))
4896 gimple *new_stmt;
4897 /* If a builtin at the end of a bb folded into nothing,
4898 the following loop won't work. */
4899 if (gsi_end_p (gsi))
4901 cgraph_update_edges_for_call_stmt (old_stmt,
4902 old_decl, NULL);
4903 break;
4905 if (gsi_end_p (i2))
4906 i2 = gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun, first));
4907 else
4908 gsi_next (&i2);
4909 while (1)
4911 new_stmt = gsi_stmt (i2);
4912 update_stmt (new_stmt);
4913 cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4914 new_stmt);
4916 if (new_stmt == gsi_stmt (gsi))
4918 /* It is okay to check only for the very last
4919 of these statements. If it is a throwing
4920 statement nothing will change. If it isn't
4921 this can remove EH edges. If that weren't
4922 correct then because some intermediate stmts
4923 throw, but not the last one. That would mean
4924 we'd have to split the block, which we can't
4925 here and we'd loose anyway. And as builtins
4926 probably never throw, this all
4927 is mood anyway. */
4928 if (maybe_clean_or_replace_eh_stmt (old_stmt,
4929 new_stmt))
4930 gimple_purge_dead_eh_edges (
4931 BASIC_BLOCK_FOR_FN (cfun, first));
4932 break;
4934 gsi_next (&i2);
4938 else if (fold_stmt (&gsi))
4940 /* Re-read the statement from GSI as fold_stmt() may
4941 have changed it. */
4942 gimple *new_stmt = gsi_stmt (gsi);
4943 update_stmt (new_stmt);
4945 if (is_gimple_call (old_stmt)
4946 || is_gimple_call (new_stmt))
4947 cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4948 new_stmt);
4950 if (maybe_clean_or_replace_eh_stmt (old_stmt, new_stmt))
4951 gimple_purge_dead_eh_edges (BASIC_BLOCK_FOR_FN (cfun,
4952 first));
4958 /* Expand calls to inline functions in the body of FN. */
4960 unsigned int
4961 optimize_inline_calls (tree fn)
4963 copy_body_data id;
4964 basic_block bb;
4965 int last = n_basic_blocks_for_fn (cfun);
4966 bool inlined_p = false;
4968 /* Clear out ID. */
4969 memset (&id, 0, sizeof (id));
4971 id.src_node = id.dst_node = cgraph_node::get (fn);
4972 gcc_assert (id.dst_node->definition);
4973 id.dst_fn = fn;
4974 /* Or any functions that aren't finished yet. */
4975 if (current_function_decl)
4976 id.dst_fn = current_function_decl;
4978 id.copy_decl = copy_decl_maybe_to_var;
4979 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
4980 id.transform_new_cfg = false;
4981 id.transform_return_to_modify = true;
4982 id.transform_parameter = true;
4983 id.transform_lang_insert_block = NULL;
4984 id.statements_to_fold = new hash_set<gimple *>;
4986 push_gimplify_context ();
4988 /* We make no attempts to keep dominance info up-to-date. */
4989 free_dominance_info (CDI_DOMINATORS);
4990 free_dominance_info (CDI_POST_DOMINATORS);
4992 /* Register specific gimple functions. */
4993 gimple_register_cfg_hooks ();
4995 /* Reach the trees by walking over the CFG, and note the
4996 enclosing basic-blocks in the call edges. */
4997 /* We walk the blocks going forward, because inlined function bodies
4998 will split id->current_basic_block, and the new blocks will
4999 follow it; we'll trudge through them, processing their CALL_EXPRs
5000 along the way. */
5001 FOR_EACH_BB_FN (bb, cfun)
5002 inlined_p |= gimple_expand_calls_inline (bb, &id);
5004 pop_gimplify_context (NULL);
5006 if (flag_checking)
5008 struct cgraph_edge *e;
5010 id.dst_node->verify ();
5012 /* Double check that we inlined everything we are supposed to inline. */
5013 for (e = id.dst_node->callees; e; e = e->next_callee)
5014 gcc_assert (e->inline_failed);
5017 /* Fold queued statements. */
5018 update_max_bb_count ();
5019 fold_marked_statements (last, id.statements_to_fold);
5020 delete id.statements_to_fold;
5022 gcc_assert (!id.debug_stmts.exists ());
5024 /* If we didn't inline into the function there is nothing to do. */
5025 if (!inlined_p)
5026 return 0;
5028 /* Renumber the lexical scoping (non-code) blocks consecutively. */
5029 number_blocks (fn);
5031 delete_unreachable_blocks_update_callgraph (&id);
5032 if (flag_checking)
5033 id.dst_node->verify ();
5035 /* It would be nice to check SSA/CFG/statement consistency here, but it is
5036 not possible yet - the IPA passes might make various functions to not
5037 throw and they don't care to proactively update local EH info. This is
5038 done later in fixup_cfg pass that also execute the verification. */
5039 return (TODO_update_ssa
5040 | TODO_cleanup_cfg
5041 | (gimple_in_ssa_p (cfun) ? TODO_remove_unused_locals : 0)
5042 | (gimple_in_ssa_p (cfun) ? TODO_update_address_taken : 0)
5043 | (profile_status_for_fn (cfun) != PROFILE_ABSENT
5044 ? TODO_rebuild_frequencies : 0));
5047 /* Passed to walk_tree. Copies the node pointed to, if appropriate. */
5049 tree
5050 copy_tree_r (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
5052 enum tree_code code = TREE_CODE (*tp);
5053 enum tree_code_class cl = TREE_CODE_CLASS (code);
5055 /* We make copies of most nodes. */
5056 if (IS_EXPR_CODE_CLASS (cl)
5057 || code == TREE_LIST
5058 || code == TREE_VEC
5059 || code == TYPE_DECL
5060 || code == OMP_CLAUSE)
5062 /* Because the chain gets clobbered when we make a copy, we save it
5063 here. */
5064 tree chain = NULL_TREE, new_tree;
5066 if (CODE_CONTAINS_STRUCT (code, TS_COMMON))
5067 chain = TREE_CHAIN (*tp);
5069 /* Copy the node. */
5070 new_tree = copy_node (*tp);
5072 *tp = new_tree;
5074 /* Now, restore the chain, if appropriate. That will cause
5075 walk_tree to walk into the chain as well. */
5076 if (code == PARM_DECL
5077 || code == TREE_LIST
5078 || code == OMP_CLAUSE)
5079 TREE_CHAIN (*tp) = chain;
5081 /* For now, we don't update BLOCKs when we make copies. So, we
5082 have to nullify all BIND_EXPRs. */
5083 if (TREE_CODE (*tp) == BIND_EXPR)
5084 BIND_EXPR_BLOCK (*tp) = NULL_TREE;
5086 else if (code == CONSTRUCTOR)
5088 /* CONSTRUCTOR nodes need special handling because
5089 we need to duplicate the vector of elements. */
5090 tree new_tree;
5092 new_tree = copy_node (*tp);
5093 CONSTRUCTOR_ELTS (new_tree) = vec_safe_copy (CONSTRUCTOR_ELTS (*tp));
5094 *tp = new_tree;
5096 else if (code == STATEMENT_LIST)
5097 /* We used to just abort on STATEMENT_LIST, but we can run into them
5098 with statement-expressions (c++/40975). */
5099 copy_statement_list (tp);
5100 else if (TREE_CODE_CLASS (code) == tcc_type)
5101 *walk_subtrees = 0;
5102 else if (TREE_CODE_CLASS (code) == tcc_declaration)
5103 *walk_subtrees = 0;
5104 else if (TREE_CODE_CLASS (code) == tcc_constant)
5105 *walk_subtrees = 0;
5106 return NULL_TREE;
5109 /* The SAVE_EXPR pointed to by TP is being copied. If ST contains
5110 information indicating to what new SAVE_EXPR this one should be mapped,
5111 use that one. Otherwise, create a new node and enter it in ST. FN is
5112 the function into which the copy will be placed. */
5114 static void
5115 remap_save_expr (tree *tp, hash_map<tree, tree> *st, int *walk_subtrees)
5117 tree *n;
5118 tree t;
5120 /* See if we already encountered this SAVE_EXPR. */
5121 n = st->get (*tp);
5123 /* If we didn't already remap this SAVE_EXPR, do so now. */
5124 if (!n)
5126 t = copy_node (*tp);
5128 /* Remember this SAVE_EXPR. */
5129 st->put (*tp, t);
5130 /* Make sure we don't remap an already-remapped SAVE_EXPR. */
5131 st->put (t, t);
5133 else
5135 /* We've already walked into this SAVE_EXPR; don't do it again. */
5136 *walk_subtrees = 0;
5137 t = *n;
5140 /* Replace this SAVE_EXPR with the copy. */
5141 *tp = t;
5144 /* Called via walk_gimple_seq. If *GSIP points to a GIMPLE_LABEL for a local
5145 label, copies the declaration and enters it in the splay_tree in DATA (which
5146 is really a 'copy_body_data *'. */
5148 static tree
5149 mark_local_labels_stmt (gimple_stmt_iterator *gsip,
5150 bool *handled_ops_p ATTRIBUTE_UNUSED,
5151 struct walk_stmt_info *wi)
5153 copy_body_data *id = (copy_body_data *) wi->info;
5154 glabel *stmt = dyn_cast <glabel *> (gsi_stmt (*gsip));
5156 if (stmt)
5158 tree decl = gimple_label_label (stmt);
5160 /* Copy the decl and remember the copy. */
5161 insert_decl_map (id, decl, id->copy_decl (decl, id));
5164 return NULL_TREE;
5167 static gimple_seq duplicate_remap_omp_clause_seq (gimple_seq seq,
5168 struct walk_stmt_info *wi);
5170 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5171 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5172 remaps all local declarations to appropriate replacements in gimple
5173 operands. */
5175 static tree
5176 replace_locals_op (tree *tp, int *walk_subtrees, void *data)
5178 struct walk_stmt_info *wi = (struct walk_stmt_info*) data;
5179 copy_body_data *id = (copy_body_data *) wi->info;
5180 hash_map<tree, tree> *st = id->decl_map;
5181 tree *n;
5182 tree expr = *tp;
5184 /* For recursive invocations this is no longer the LHS itself. */
5185 bool is_lhs = wi->is_lhs;
5186 wi->is_lhs = false;
5188 if (TREE_CODE (expr) == SSA_NAME)
5190 *tp = remap_ssa_name (*tp, id);
5191 *walk_subtrees = 0;
5192 if (is_lhs)
5193 SSA_NAME_DEF_STMT (*tp) = gsi_stmt (wi->gsi);
5195 /* Only a local declaration (variable or label). */
5196 else if ((VAR_P (expr) && !TREE_STATIC (expr))
5197 || TREE_CODE (expr) == LABEL_DECL)
5199 /* Lookup the declaration. */
5200 n = st->get (expr);
5202 /* If it's there, remap it. */
5203 if (n)
5204 *tp = *n;
5205 *walk_subtrees = 0;
5207 else if (TREE_CODE (expr) == STATEMENT_LIST
5208 || TREE_CODE (expr) == BIND_EXPR
5209 || TREE_CODE (expr) == SAVE_EXPR)
5210 gcc_unreachable ();
5211 else if (TREE_CODE (expr) == TARGET_EXPR)
5213 /* Don't mess with a TARGET_EXPR that hasn't been expanded.
5214 It's OK for this to happen if it was part of a subtree that
5215 isn't immediately expanded, such as operand 2 of another
5216 TARGET_EXPR. */
5217 if (!TREE_OPERAND (expr, 1))
5219 TREE_OPERAND (expr, 1) = TREE_OPERAND (expr, 3);
5220 TREE_OPERAND (expr, 3) = NULL_TREE;
5223 else if (TREE_CODE (expr) == OMP_CLAUSE)
5225 /* Before the omplower pass completes, some OMP clauses can contain
5226 sequences that are neither copied by gimple_seq_copy nor walked by
5227 walk_gimple_seq. To make copy_gimple_seq_and_replace_locals work even
5228 in those situations, we have to copy and process them explicitely. */
5230 if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LASTPRIVATE)
5232 gimple_seq seq = OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr);
5233 seq = duplicate_remap_omp_clause_seq (seq, wi);
5234 OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr) = seq;
5236 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LINEAR)
5238 gimple_seq seq = OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr);
5239 seq = duplicate_remap_omp_clause_seq (seq, wi);
5240 OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr) = seq;
5242 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_REDUCTION)
5244 gimple_seq seq = OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr);
5245 seq = duplicate_remap_omp_clause_seq (seq, wi);
5246 OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr) = seq;
5247 seq = OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr);
5248 seq = duplicate_remap_omp_clause_seq (seq, wi);
5249 OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr) = seq;
5253 /* Keep iterating. */
5254 return NULL_TREE;
5258 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5259 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5260 remaps all local declarations to appropriate replacements in gimple
5261 statements. */
5263 static tree
5264 replace_locals_stmt (gimple_stmt_iterator *gsip,
5265 bool *handled_ops_p ATTRIBUTE_UNUSED,
5266 struct walk_stmt_info *wi)
5268 copy_body_data *id = (copy_body_data *) wi->info;
5269 gimple *gs = gsi_stmt (*gsip);
5271 if (gbind *stmt = dyn_cast <gbind *> (gs))
5273 tree block = gimple_bind_block (stmt);
5275 if (block)
5277 remap_block (&block, id);
5278 gimple_bind_set_block (stmt, block);
5281 /* This will remap a lot of the same decls again, but this should be
5282 harmless. */
5283 if (gimple_bind_vars (stmt))
5285 tree old_var, decls = gimple_bind_vars (stmt);
5287 for (old_var = decls; old_var; old_var = DECL_CHAIN (old_var))
5288 if (!can_be_nonlocal (old_var, id)
5289 && ! variably_modified_type_p (TREE_TYPE (old_var), id->src_fn))
5290 remap_decl (old_var, id);
5292 gcc_checking_assert (!id->prevent_decl_creation_for_types);
5293 id->prevent_decl_creation_for_types = true;
5294 gimple_bind_set_vars (stmt, remap_decls (decls, NULL, id));
5295 id->prevent_decl_creation_for_types = false;
5299 /* Keep iterating. */
5300 return NULL_TREE;
5303 /* Create a copy of SEQ and remap all decls in it. */
5305 static gimple_seq
5306 duplicate_remap_omp_clause_seq (gimple_seq seq, struct walk_stmt_info *wi)
5308 if (!seq)
5309 return NULL;
5311 /* If there are any labels in OMP sequences, they can be only referred to in
5312 the sequence itself and therefore we can do both here. */
5313 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, wi);
5314 gimple_seq copy = gimple_seq_copy (seq);
5315 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, wi);
5316 return copy;
5319 /* Copies everything in SEQ and replaces variables and labels local to
5320 current_function_decl. */
5322 gimple_seq
5323 copy_gimple_seq_and_replace_locals (gimple_seq seq)
5325 copy_body_data id;
5326 struct walk_stmt_info wi;
5327 gimple_seq copy;
5329 /* There's nothing to do for NULL_TREE. */
5330 if (seq == NULL)
5331 return seq;
5333 /* Set up ID. */
5334 memset (&id, 0, sizeof (id));
5335 id.src_fn = current_function_decl;
5336 id.dst_fn = current_function_decl;
5337 id.src_cfun = cfun;
5338 id.decl_map = new hash_map<tree, tree>;
5339 id.debug_map = NULL;
5341 id.copy_decl = copy_decl_no_change;
5342 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
5343 id.transform_new_cfg = false;
5344 id.transform_return_to_modify = false;
5345 id.transform_parameter = false;
5346 id.transform_lang_insert_block = NULL;
5348 /* Walk the tree once to find local labels. */
5349 memset (&wi, 0, sizeof (wi));
5350 hash_set<tree> visited;
5351 wi.info = &id;
5352 wi.pset = &visited;
5353 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, &wi);
5355 copy = gimple_seq_copy (seq);
5357 /* Walk the copy, remapping decls. */
5358 memset (&wi, 0, sizeof (wi));
5359 wi.info = &id;
5360 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, &wi);
5362 /* Clean up. */
5363 delete id.decl_map;
5364 if (id.debug_map)
5365 delete id.debug_map;
5366 if (id.dependence_map)
5368 delete id.dependence_map;
5369 id.dependence_map = NULL;
5372 return copy;
5376 /* Allow someone to determine if SEARCH is a child of TOP from gdb. */
5378 static tree
5379 debug_find_tree_1 (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED, void *data)
5381 if (*tp == data)
5382 return (tree) data;
5383 else
5384 return NULL;
5387 DEBUG_FUNCTION bool
5388 debug_find_tree (tree top, tree search)
5390 return walk_tree_without_duplicates (&top, debug_find_tree_1, search) != 0;
5394 /* Declare the variables created by the inliner. Add all the variables in
5395 VARS to BIND_EXPR. */
5397 static void
5398 declare_inline_vars (tree block, tree vars)
5400 tree t;
5401 for (t = vars; t; t = DECL_CHAIN (t))
5403 DECL_SEEN_IN_BIND_EXPR_P (t) = 1;
5404 gcc_assert (!TREE_STATIC (t) && !TREE_ASM_WRITTEN (t));
5405 add_local_decl (cfun, t);
5408 if (block)
5409 BLOCK_VARS (block) = chainon (BLOCK_VARS (block), vars);
5412 /* Copy NODE (which must be a DECL). The DECL originally was in the FROM_FN,
5413 but now it will be in the TO_FN. PARM_TO_VAR means enable PARM_DECL to
5414 VAR_DECL translation. */
5416 tree
5417 copy_decl_for_dup_finish (copy_body_data *id, tree decl, tree copy)
5419 /* Don't generate debug information for the copy if we wouldn't have
5420 generated it for the copy either. */
5421 DECL_ARTIFICIAL (copy) = DECL_ARTIFICIAL (decl);
5422 DECL_IGNORED_P (copy) = DECL_IGNORED_P (decl);
5424 /* Set the DECL_ABSTRACT_ORIGIN so the debugging routines know what
5425 declaration inspired this copy. */
5426 DECL_ABSTRACT_ORIGIN (copy) = DECL_ORIGIN (decl);
5428 /* The new variable/label has no RTL, yet. */
5429 if (CODE_CONTAINS_STRUCT (TREE_CODE (copy), TS_DECL_WRTL)
5430 && !TREE_STATIC (copy) && !DECL_EXTERNAL (copy))
5431 SET_DECL_RTL (copy, 0);
5433 /* These args would always appear unused, if not for this. */
5434 TREE_USED (copy) = 1;
5436 /* Set the context for the new declaration. */
5437 if (!DECL_CONTEXT (decl))
5438 /* Globals stay global. */
5440 else if (DECL_CONTEXT (decl) != id->src_fn)
5441 /* Things that weren't in the scope of the function we're inlining
5442 from aren't in the scope we're inlining to, either. */
5444 else if (TREE_STATIC (decl))
5445 /* Function-scoped static variables should stay in the original
5446 function. */
5448 else
5450 /* Ordinary automatic local variables are now in the scope of the
5451 new function. */
5452 DECL_CONTEXT (copy) = id->dst_fn;
5453 if (VAR_P (copy) && id->dst_simt_vars && !is_gimple_reg (copy))
5455 if (!lookup_attribute ("omp simt private", DECL_ATTRIBUTES (copy)))
5456 DECL_ATTRIBUTES (copy)
5457 = tree_cons (get_identifier ("omp simt private"), NULL,
5458 DECL_ATTRIBUTES (copy));
5459 id->dst_simt_vars->safe_push (copy);
5463 return copy;
5466 static tree
5467 copy_decl_to_var (tree decl, copy_body_data *id)
5469 tree copy, type;
5471 gcc_assert (TREE_CODE (decl) == PARM_DECL
5472 || TREE_CODE (decl) == RESULT_DECL);
5474 type = TREE_TYPE (decl);
5476 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5477 VAR_DECL, DECL_NAME (decl), type);
5478 if (DECL_PT_UID_SET_P (decl))
5479 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5480 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5481 TREE_READONLY (copy) = TREE_READONLY (decl);
5482 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5483 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5485 return copy_decl_for_dup_finish (id, decl, copy);
5488 /* Like copy_decl_to_var, but create a return slot object instead of a
5489 pointer variable for return by invisible reference. */
5491 static tree
5492 copy_result_decl_to_var (tree decl, copy_body_data *id)
5494 tree copy, type;
5496 gcc_assert (TREE_CODE (decl) == PARM_DECL
5497 || TREE_CODE (decl) == RESULT_DECL);
5499 type = TREE_TYPE (decl);
5500 if (DECL_BY_REFERENCE (decl))
5501 type = TREE_TYPE (type);
5503 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5504 VAR_DECL, DECL_NAME (decl), type);
5505 if (DECL_PT_UID_SET_P (decl))
5506 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5507 TREE_READONLY (copy) = TREE_READONLY (decl);
5508 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5509 if (!DECL_BY_REFERENCE (decl))
5511 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5512 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5515 return copy_decl_for_dup_finish (id, decl, copy);
5518 tree
5519 copy_decl_no_change (tree decl, copy_body_data *id)
5521 tree copy;
5523 copy = copy_node (decl);
5525 /* The COPY is not abstract; it will be generated in DST_FN. */
5526 DECL_ABSTRACT_P (copy) = false;
5527 lang_hooks.dup_lang_specific_decl (copy);
5529 /* TREE_ADDRESSABLE isn't used to indicate that a label's address has
5530 been taken; it's for internal bookkeeping in expand_goto_internal. */
5531 if (TREE_CODE (copy) == LABEL_DECL)
5533 TREE_ADDRESSABLE (copy) = 0;
5534 LABEL_DECL_UID (copy) = -1;
5537 return copy_decl_for_dup_finish (id, decl, copy);
5540 static tree
5541 copy_decl_maybe_to_var (tree decl, copy_body_data *id)
5543 if (TREE_CODE (decl) == PARM_DECL || TREE_CODE (decl) == RESULT_DECL)
5544 return copy_decl_to_var (decl, id);
5545 else
5546 return copy_decl_no_change (decl, id);
5549 /* Return a copy of the function's argument tree. */
5550 static tree
5551 copy_arguments_for_versioning (tree orig_parm, copy_body_data * id,
5552 bitmap args_to_skip, tree *vars)
5554 tree arg, *parg;
5555 tree new_parm = NULL;
5556 int i = 0;
5558 parg = &new_parm;
5560 for (arg = orig_parm; arg; arg = DECL_CHAIN (arg), i++)
5561 if (!args_to_skip || !bitmap_bit_p (args_to_skip, i))
5563 tree new_tree = remap_decl (arg, id);
5564 if (TREE_CODE (new_tree) != PARM_DECL)
5565 new_tree = id->copy_decl (arg, id);
5566 lang_hooks.dup_lang_specific_decl (new_tree);
5567 *parg = new_tree;
5568 parg = &DECL_CHAIN (new_tree);
5570 else if (!id->decl_map->get (arg))
5572 /* Make an equivalent VAR_DECL. If the argument was used
5573 as temporary variable later in function, the uses will be
5574 replaced by local variable. */
5575 tree var = copy_decl_to_var (arg, id);
5576 insert_decl_map (id, arg, var);
5577 /* Declare this new variable. */
5578 DECL_CHAIN (var) = *vars;
5579 *vars = var;
5581 return new_parm;
5584 /* Return a copy of the function's static chain. */
5585 static tree
5586 copy_static_chain (tree static_chain, copy_body_data * id)
5588 tree *chain_copy, *pvar;
5590 chain_copy = &static_chain;
5591 for (pvar = chain_copy; *pvar; pvar = &DECL_CHAIN (*pvar))
5593 tree new_tree = remap_decl (*pvar, id);
5594 lang_hooks.dup_lang_specific_decl (new_tree);
5595 DECL_CHAIN (new_tree) = DECL_CHAIN (*pvar);
5596 *pvar = new_tree;
5598 return static_chain;
5601 /* Return true if the function is allowed to be versioned.
5602 This is a guard for the versioning functionality. */
5604 bool
5605 tree_versionable_function_p (tree fndecl)
5607 return (!lookup_attribute ("noclone", DECL_ATTRIBUTES (fndecl))
5608 && copy_forbidden (DECL_STRUCT_FUNCTION (fndecl)) == NULL);
5611 /* Delete all unreachable basic blocks and update callgraph.
5612 Doing so is somewhat nontrivial because we need to update all clones and
5613 remove inline function that become unreachable. */
5615 static bool
5616 delete_unreachable_blocks_update_callgraph (copy_body_data *id)
5618 bool changed = false;
5619 basic_block b, next_bb;
5621 find_unreachable_blocks ();
5623 /* Delete all unreachable basic blocks. */
5625 for (b = ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb; b
5626 != EXIT_BLOCK_PTR_FOR_FN (cfun); b = next_bb)
5628 next_bb = b->next_bb;
5630 if (!(b->flags & BB_REACHABLE))
5632 gimple_stmt_iterator bsi;
5634 for (bsi = gsi_start_bb (b); !gsi_end_p (bsi); gsi_next (&bsi))
5636 struct cgraph_edge *e;
5637 struct cgraph_node *node;
5639 id->dst_node->remove_stmt_references (gsi_stmt (bsi));
5641 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5642 &&(e = id->dst_node->get_edge (gsi_stmt (bsi))) != NULL)
5644 if (!e->inline_failed)
5645 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5646 else
5647 e->remove ();
5649 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES
5650 && id->dst_node->clones)
5651 for (node = id->dst_node->clones; node != id->dst_node;)
5653 node->remove_stmt_references (gsi_stmt (bsi));
5654 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5655 && (e = node->get_edge (gsi_stmt (bsi))) != NULL)
5657 if (!e->inline_failed)
5658 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5659 else
5660 e->remove ();
5663 if (node->clones)
5664 node = node->clones;
5665 else if (node->next_sibling_clone)
5666 node = node->next_sibling_clone;
5667 else
5669 while (node != id->dst_node && !node->next_sibling_clone)
5670 node = node->clone_of;
5671 if (node != id->dst_node)
5672 node = node->next_sibling_clone;
5676 delete_basic_block (b);
5677 changed = true;
5681 return changed;
5684 /* Update clone info after duplication. */
5686 static void
5687 update_clone_info (copy_body_data * id)
5689 struct cgraph_node *node;
5690 if (!id->dst_node->clones)
5691 return;
5692 for (node = id->dst_node->clones; node != id->dst_node;)
5694 /* First update replace maps to match the new body. */
5695 if (node->clone.tree_map)
5697 unsigned int i;
5698 for (i = 0; i < vec_safe_length (node->clone.tree_map); i++)
5700 struct ipa_replace_map *replace_info;
5701 replace_info = (*node->clone.tree_map)[i];
5702 walk_tree (&replace_info->old_tree, copy_tree_body_r, id, NULL);
5703 walk_tree (&replace_info->new_tree, copy_tree_body_r, id, NULL);
5706 if (node->clones)
5707 node = node->clones;
5708 else if (node->next_sibling_clone)
5709 node = node->next_sibling_clone;
5710 else
5712 while (node != id->dst_node && !node->next_sibling_clone)
5713 node = node->clone_of;
5714 if (node != id->dst_node)
5715 node = node->next_sibling_clone;
5720 /* Create a copy of a function's tree.
5721 OLD_DECL and NEW_DECL are FUNCTION_DECL tree nodes
5722 of the original function and the new copied function
5723 respectively. In case we want to replace a DECL
5724 tree with another tree while duplicating the function's
5725 body, TREE_MAP represents the mapping between these
5726 trees. If UPDATE_CLONES is set, the call_stmt fields
5727 of edges of clones of the function will be updated.
5729 If non-NULL ARGS_TO_SKIP determine function parameters to remove
5730 from new version.
5731 If SKIP_RETURN is true, the new version will return void.
5732 If non-NULL BLOCK_TO_COPY determine what basic blocks to copy.
5733 If non_NULL NEW_ENTRY determine new entry BB of the clone.
5735 void
5736 tree_function_versioning (tree old_decl, tree new_decl,
5737 vec<ipa_replace_map *, va_gc> *tree_map,
5738 bool update_clones, bitmap args_to_skip,
5739 bool skip_return, bitmap blocks_to_copy,
5740 basic_block new_entry)
5742 struct cgraph_node *old_version_node;
5743 struct cgraph_node *new_version_node;
5744 copy_body_data id;
5745 tree p;
5746 unsigned i;
5747 struct ipa_replace_map *replace_info;
5748 basic_block old_entry_block, bb;
5749 auto_vec<gimple *, 10> init_stmts;
5750 tree vars = NULL_TREE;
5751 bitmap debug_args_to_skip = args_to_skip;
5753 gcc_assert (TREE_CODE (old_decl) == FUNCTION_DECL
5754 && TREE_CODE (new_decl) == FUNCTION_DECL);
5755 DECL_POSSIBLY_INLINED (old_decl) = 1;
5757 old_version_node = cgraph_node::get (old_decl);
5758 gcc_checking_assert (old_version_node);
5759 new_version_node = cgraph_node::get (new_decl);
5760 gcc_checking_assert (new_version_node);
5762 /* Copy over debug args. */
5763 if (DECL_HAS_DEBUG_ARGS_P (old_decl))
5765 vec<tree, va_gc> **new_debug_args, **old_debug_args;
5766 gcc_checking_assert (decl_debug_args_lookup (new_decl) == NULL);
5767 DECL_HAS_DEBUG_ARGS_P (new_decl) = 0;
5768 old_debug_args = decl_debug_args_lookup (old_decl);
5769 if (old_debug_args)
5771 new_debug_args = decl_debug_args_insert (new_decl);
5772 *new_debug_args = vec_safe_copy (*old_debug_args);
5776 /* Output the inlining info for this abstract function, since it has been
5777 inlined. If we don't do this now, we can lose the information about the
5778 variables in the function when the blocks get blown away as soon as we
5779 remove the cgraph node. */
5780 (*debug_hooks->outlining_inline_function) (old_decl);
5782 DECL_ARTIFICIAL (new_decl) = 1;
5783 DECL_ABSTRACT_ORIGIN (new_decl) = DECL_ORIGIN (old_decl);
5784 if (DECL_ORIGIN (old_decl) == old_decl)
5785 old_version_node->used_as_abstract_origin = true;
5786 DECL_FUNCTION_PERSONALITY (new_decl) = DECL_FUNCTION_PERSONALITY (old_decl);
5788 /* Prepare the data structures for the tree copy. */
5789 memset (&id, 0, sizeof (id));
5791 /* Generate a new name for the new version. */
5792 id.statements_to_fold = new hash_set<gimple *>;
5794 id.decl_map = new hash_map<tree, tree>;
5795 id.debug_map = NULL;
5796 id.src_fn = old_decl;
5797 id.dst_fn = new_decl;
5798 id.src_node = old_version_node;
5799 id.dst_node = new_version_node;
5800 id.src_cfun = DECL_STRUCT_FUNCTION (old_decl);
5801 id.blocks_to_copy = blocks_to_copy;
5803 id.copy_decl = copy_decl_no_change;
5804 id.transform_call_graph_edges
5805 = update_clones ? CB_CGE_MOVE_CLONES : CB_CGE_MOVE;
5806 id.transform_new_cfg = true;
5807 id.transform_return_to_modify = false;
5808 id.transform_parameter = false;
5809 id.transform_lang_insert_block = NULL;
5811 old_entry_block = ENTRY_BLOCK_PTR_FOR_FN
5812 (DECL_STRUCT_FUNCTION (old_decl));
5813 DECL_RESULT (new_decl) = DECL_RESULT (old_decl);
5814 DECL_ARGUMENTS (new_decl) = DECL_ARGUMENTS (old_decl);
5815 initialize_cfun (new_decl, old_decl,
5816 new_entry ? new_entry->count : old_entry_block->count);
5817 if (DECL_STRUCT_FUNCTION (new_decl)->gimple_df)
5818 DECL_STRUCT_FUNCTION (new_decl)->gimple_df->ipa_pta
5819 = id.src_cfun->gimple_df->ipa_pta;
5821 /* Copy the function's static chain. */
5822 p = DECL_STRUCT_FUNCTION (old_decl)->static_chain_decl;
5823 if (p)
5824 DECL_STRUCT_FUNCTION (new_decl)->static_chain_decl
5825 = copy_static_chain (p, &id);
5827 /* If there's a tree_map, prepare for substitution. */
5828 if (tree_map)
5829 for (i = 0; i < tree_map->length (); i++)
5831 gimple *init;
5832 replace_info = (*tree_map)[i];
5833 if (replace_info->replace_p)
5835 int parm_num = -1;
5836 if (!replace_info->old_tree)
5838 int p = replace_info->parm_num;
5839 tree parm;
5840 tree req_type, new_type;
5842 for (parm = DECL_ARGUMENTS (old_decl); p;
5843 parm = DECL_CHAIN (parm))
5844 p--;
5845 replace_info->old_tree = parm;
5846 parm_num = replace_info->parm_num;
5847 req_type = TREE_TYPE (parm);
5848 new_type = TREE_TYPE (replace_info->new_tree);
5849 if (!useless_type_conversion_p (req_type, new_type))
5851 if (fold_convertible_p (req_type, replace_info->new_tree))
5852 replace_info->new_tree
5853 = fold_build1 (NOP_EXPR, req_type,
5854 replace_info->new_tree);
5855 else if (TYPE_SIZE (req_type) == TYPE_SIZE (new_type))
5856 replace_info->new_tree
5857 = fold_build1 (VIEW_CONVERT_EXPR, req_type,
5858 replace_info->new_tree);
5859 else
5861 if (dump_file)
5863 fprintf (dump_file, " const ");
5864 print_generic_expr (dump_file,
5865 replace_info->new_tree);
5866 fprintf (dump_file,
5867 " can't be converted to param ");
5868 print_generic_expr (dump_file, parm);
5869 fprintf (dump_file, "\n");
5871 replace_info->old_tree = NULL;
5875 else
5876 gcc_assert (TREE_CODE (replace_info->old_tree) == PARM_DECL);
5877 if (replace_info->old_tree)
5879 init = setup_one_parameter (&id, replace_info->old_tree,
5880 replace_info->new_tree, id.src_fn,
5881 NULL,
5882 &vars);
5883 if (init)
5884 init_stmts.safe_push (init);
5885 if (MAY_HAVE_DEBUG_BIND_STMTS && args_to_skip)
5887 if (parm_num == -1)
5889 tree parm;
5890 int p;
5891 for (parm = DECL_ARGUMENTS (old_decl), p = 0; parm;
5892 parm = DECL_CHAIN (parm), p++)
5893 if (parm == replace_info->old_tree)
5895 parm_num = p;
5896 break;
5899 if (parm_num != -1)
5901 if (debug_args_to_skip == args_to_skip)
5903 debug_args_to_skip = BITMAP_ALLOC (NULL);
5904 bitmap_copy (debug_args_to_skip, args_to_skip);
5906 bitmap_clear_bit (debug_args_to_skip, parm_num);
5912 /* Copy the function's arguments. */
5913 if (DECL_ARGUMENTS (old_decl) != NULL_TREE)
5914 DECL_ARGUMENTS (new_decl)
5915 = copy_arguments_for_versioning (DECL_ARGUMENTS (old_decl), &id,
5916 args_to_skip, &vars);
5918 DECL_INITIAL (new_decl) = remap_blocks (DECL_INITIAL (id.src_fn), &id);
5919 BLOCK_SUPERCONTEXT (DECL_INITIAL (new_decl)) = new_decl;
5921 declare_inline_vars (DECL_INITIAL (new_decl), vars);
5923 if (!vec_safe_is_empty (DECL_STRUCT_FUNCTION (old_decl)->local_decls))
5924 /* Add local vars. */
5925 add_local_variables (DECL_STRUCT_FUNCTION (old_decl), cfun, &id);
5927 if (DECL_RESULT (old_decl) == NULL_TREE)
5929 else if (skip_return && !VOID_TYPE_P (TREE_TYPE (DECL_RESULT (old_decl))))
5931 DECL_RESULT (new_decl)
5932 = build_decl (DECL_SOURCE_LOCATION (DECL_RESULT (old_decl)),
5933 RESULT_DECL, NULL_TREE, void_type_node);
5934 DECL_CONTEXT (DECL_RESULT (new_decl)) = new_decl;
5935 cfun->returns_struct = 0;
5936 cfun->returns_pcc_struct = 0;
5938 else
5940 tree old_name;
5941 DECL_RESULT (new_decl) = remap_decl (DECL_RESULT (old_decl), &id);
5942 lang_hooks.dup_lang_specific_decl (DECL_RESULT (new_decl));
5943 if (gimple_in_ssa_p (id.src_cfun)
5944 && DECL_BY_REFERENCE (DECL_RESULT (old_decl))
5945 && (old_name = ssa_default_def (id.src_cfun, DECL_RESULT (old_decl))))
5947 tree new_name = make_ssa_name (DECL_RESULT (new_decl));
5948 insert_decl_map (&id, old_name, new_name);
5949 SSA_NAME_DEF_STMT (new_name) = gimple_build_nop ();
5950 set_ssa_default_def (cfun, DECL_RESULT (new_decl), new_name);
5954 /* Set up the destination functions loop tree. */
5955 if (loops_for_fn (DECL_STRUCT_FUNCTION (old_decl)) != NULL)
5957 cfun->curr_properties &= ~PROP_loops;
5958 loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
5959 cfun->curr_properties |= PROP_loops;
5962 /* Copy the Function's body. */
5963 copy_body (&id, ENTRY_BLOCK_PTR_FOR_FN (cfun), EXIT_BLOCK_PTR_FOR_FN (cfun),
5964 new_entry);
5966 /* Renumber the lexical scoping (non-code) blocks consecutively. */
5967 number_blocks (new_decl);
5969 /* We want to create the BB unconditionally, so that the addition of
5970 debug stmts doesn't affect BB count, which may in the end cause
5971 codegen differences. */
5972 bb = split_edge (single_succ_edge (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
5973 while (init_stmts.length ())
5974 insert_init_stmt (&id, bb, init_stmts.pop ());
5975 update_clone_info (&id);
5977 /* Remap the nonlocal_goto_save_area, if any. */
5978 if (cfun->nonlocal_goto_save_area)
5980 struct walk_stmt_info wi;
5982 memset (&wi, 0, sizeof (wi));
5983 wi.info = &id;
5984 walk_tree (&cfun->nonlocal_goto_save_area, remap_gimple_op_r, &wi, NULL);
5987 /* Clean up. */
5988 delete id.decl_map;
5989 if (id.debug_map)
5990 delete id.debug_map;
5991 free_dominance_info (CDI_DOMINATORS);
5992 free_dominance_info (CDI_POST_DOMINATORS);
5994 update_max_bb_count ();
5995 fold_marked_statements (0, id.statements_to_fold);
5996 delete id.statements_to_fold;
5997 delete_unreachable_blocks_update_callgraph (&id);
5998 if (id.dst_node->definition)
5999 cgraph_edge::rebuild_references ();
6000 if (loops_state_satisfies_p (LOOPS_NEED_FIXUP))
6002 calculate_dominance_info (CDI_DOMINATORS);
6003 fix_loop_structure (NULL);
6005 update_ssa (TODO_update_ssa);
6007 /* After partial cloning we need to rescale frequencies, so they are
6008 within proper range in the cloned function. */
6009 if (new_entry)
6011 struct cgraph_edge *e;
6012 rebuild_frequencies ();
6014 new_version_node->count = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
6015 for (e = new_version_node->callees; e; e = e->next_callee)
6017 basic_block bb = gimple_bb (e->call_stmt);
6018 e->count = bb->count;
6020 for (e = new_version_node->indirect_calls; e; e = e->next_callee)
6022 basic_block bb = gimple_bb (e->call_stmt);
6023 e->count = bb->count;
6027 if (debug_args_to_skip && MAY_HAVE_DEBUG_BIND_STMTS)
6029 tree parm;
6030 vec<tree, va_gc> **debug_args = NULL;
6031 unsigned int len = 0;
6032 for (parm = DECL_ARGUMENTS (old_decl), i = 0;
6033 parm; parm = DECL_CHAIN (parm), i++)
6034 if (bitmap_bit_p (debug_args_to_skip, i) && is_gimple_reg (parm))
6036 tree ddecl;
6038 if (debug_args == NULL)
6040 debug_args = decl_debug_args_insert (new_decl);
6041 len = vec_safe_length (*debug_args);
6043 ddecl = make_node (DEBUG_EXPR_DECL);
6044 DECL_ARTIFICIAL (ddecl) = 1;
6045 TREE_TYPE (ddecl) = TREE_TYPE (parm);
6046 SET_DECL_MODE (ddecl, DECL_MODE (parm));
6047 vec_safe_push (*debug_args, DECL_ORIGIN (parm));
6048 vec_safe_push (*debug_args, ddecl);
6050 if (debug_args != NULL)
6052 /* On the callee side, add
6053 DEBUG D#Y s=> parm
6054 DEBUG var => D#Y
6055 stmts to the first bb where var is a VAR_DECL created for the
6056 optimized away parameter in DECL_INITIAL block. This hints
6057 in the debug info that var (whole DECL_ORIGIN is the parm
6058 PARM_DECL) is optimized away, but could be looked up at the
6059 call site as value of D#X there. */
6060 tree var = vars, vexpr;
6061 gimple_stmt_iterator cgsi
6062 = gsi_after_labels (single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
6063 gimple *def_temp;
6064 var = vars;
6065 i = vec_safe_length (*debug_args);
6068 i -= 2;
6069 while (var != NULL_TREE
6070 && DECL_ABSTRACT_ORIGIN (var) != (**debug_args)[i])
6071 var = TREE_CHAIN (var);
6072 if (var == NULL_TREE)
6073 break;
6074 vexpr = make_node (DEBUG_EXPR_DECL);
6075 parm = (**debug_args)[i];
6076 DECL_ARTIFICIAL (vexpr) = 1;
6077 TREE_TYPE (vexpr) = TREE_TYPE (parm);
6078 SET_DECL_MODE (vexpr, DECL_MODE (parm));
6079 def_temp = gimple_build_debug_bind (var, vexpr, NULL);
6080 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6081 def_temp = gimple_build_debug_source_bind (vexpr, parm, NULL);
6082 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6084 while (i > len);
6088 if (debug_args_to_skip && debug_args_to_skip != args_to_skip)
6089 BITMAP_FREE (debug_args_to_skip);
6090 free_dominance_info (CDI_DOMINATORS);
6091 free_dominance_info (CDI_POST_DOMINATORS);
6093 gcc_assert (!id.debug_stmts.exists ());
6094 pop_cfun ();
6095 return;
6098 /* EXP is CALL_EXPR present in a GENERIC expression tree. Try to integrate
6099 the callee and return the inlined body on success. */
6101 tree
6102 maybe_inline_call_in_expr (tree exp)
6104 tree fn = get_callee_fndecl (exp);
6106 /* We can only try to inline "const" functions. */
6107 if (fn && TREE_READONLY (fn) && DECL_SAVED_TREE (fn))
6109 call_expr_arg_iterator iter;
6110 copy_body_data id;
6111 tree param, arg, t;
6112 hash_map<tree, tree> decl_map;
6114 /* Remap the parameters. */
6115 for (param = DECL_ARGUMENTS (fn), arg = first_call_expr_arg (exp, &iter);
6116 param;
6117 param = DECL_CHAIN (param), arg = next_call_expr_arg (&iter))
6118 decl_map.put (param, arg);
6120 memset (&id, 0, sizeof (id));
6121 id.src_fn = fn;
6122 id.dst_fn = current_function_decl;
6123 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6124 id.decl_map = &decl_map;
6126 id.copy_decl = copy_decl_no_change;
6127 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6128 id.transform_new_cfg = false;
6129 id.transform_return_to_modify = true;
6130 id.transform_parameter = true;
6131 id.transform_lang_insert_block = NULL;
6133 /* Make sure not to unshare trees behind the front-end's back
6134 since front-end specific mechanisms may rely on sharing. */
6135 id.regimplify = false;
6136 id.do_not_unshare = true;
6138 /* We're not inside any EH region. */
6139 id.eh_lp_nr = 0;
6141 t = copy_tree_body (&id);
6143 /* We can only return something suitable for use in a GENERIC
6144 expression tree. */
6145 if (TREE_CODE (t) == MODIFY_EXPR)
6146 return TREE_OPERAND (t, 1);
6149 return NULL_TREE;
6152 /* Duplicate a type, fields and all. */
6154 tree
6155 build_duplicate_type (tree type)
6157 struct copy_body_data id;
6159 memset (&id, 0, sizeof (id));
6160 id.src_fn = current_function_decl;
6161 id.dst_fn = current_function_decl;
6162 id.src_cfun = cfun;
6163 id.decl_map = new hash_map<tree, tree>;
6164 id.debug_map = NULL;
6165 id.copy_decl = copy_decl_no_change;
6167 type = remap_type_1 (type, &id);
6169 delete id.decl_map;
6170 if (id.debug_map)
6171 delete id.debug_map;
6173 TYPE_CANONICAL (type) = type;
6175 return type;
6178 /* Unshare the entire DECL_SAVED_TREE of FN and return the remapped
6179 parameters and RESULT_DECL in PARMS and RESULT. Used by C++ constexpr
6180 evaluation. */
6182 tree
6183 copy_fn (tree fn, tree& parms, tree& result)
6185 copy_body_data id;
6186 tree param;
6187 hash_map<tree, tree> decl_map;
6189 tree *p = &parms;
6190 *p = NULL_TREE;
6192 memset (&id, 0, sizeof (id));
6193 id.src_fn = fn;
6194 id.dst_fn = current_function_decl;
6195 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6196 id.decl_map = &decl_map;
6198 id.copy_decl = copy_decl_no_change;
6199 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6200 id.transform_new_cfg = false;
6201 id.transform_return_to_modify = false;
6202 id.transform_parameter = true;
6203 id.transform_lang_insert_block = NULL;
6205 /* Make sure not to unshare trees behind the front-end's back
6206 since front-end specific mechanisms may rely on sharing. */
6207 id.regimplify = false;
6208 id.do_not_unshare = true;
6210 /* We're not inside any EH region. */
6211 id.eh_lp_nr = 0;
6213 /* Remap the parameters and result and return them to the caller. */
6214 for (param = DECL_ARGUMENTS (fn);
6215 param;
6216 param = DECL_CHAIN (param))
6218 *p = remap_decl (param, &id);
6219 p = &DECL_CHAIN (*p);
6222 if (DECL_RESULT (fn))
6223 result = remap_decl (DECL_RESULT (fn), &id);
6224 else
6225 result = NULL_TREE;
6227 return copy_tree_body (&id);