match_asm_constraints: Use copy_rtx where needed (PR88001)
[official-gcc.git] / gcc / tree-inline.c
blob8c4c82e54e8bc59908967974ebd4e097279ff9ff
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) = BLOCK_ORIGIN (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
1519 (s1, gimple_omp_taskgroup_clauses (stmt));
1520 break;
1522 case GIMPLE_OMP_ORDERED:
1523 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1524 copy = gimple_build_omp_ordered
1525 (s1,
1526 gimple_omp_ordered_clauses (as_a <gomp_ordered *> (stmt)));
1527 break;
1529 case GIMPLE_OMP_SECTION:
1530 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1531 copy = gimple_build_omp_section (s1);
1532 break;
1534 case GIMPLE_OMP_SECTIONS:
1535 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1536 copy = gimple_build_omp_sections
1537 (s1, gimple_omp_sections_clauses (stmt));
1538 break;
1540 case GIMPLE_OMP_SINGLE:
1541 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1542 copy = gimple_build_omp_single
1543 (s1, gimple_omp_single_clauses (stmt));
1544 break;
1546 case GIMPLE_OMP_TARGET:
1547 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1548 copy = gimple_build_omp_target
1549 (s1, gimple_omp_target_kind (stmt),
1550 gimple_omp_target_clauses (stmt));
1551 break;
1553 case GIMPLE_OMP_TEAMS:
1554 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1555 copy = gimple_build_omp_teams
1556 (s1, gimple_omp_teams_clauses (stmt));
1557 break;
1559 case GIMPLE_OMP_CRITICAL:
1560 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1561 copy = gimple_build_omp_critical (s1,
1562 gimple_omp_critical_name
1563 (as_a <gomp_critical *> (stmt)),
1564 gimple_omp_critical_clauses
1565 (as_a <gomp_critical *> (stmt)));
1566 break;
1568 case GIMPLE_TRANSACTION:
1570 gtransaction *old_trans_stmt = as_a <gtransaction *> (stmt);
1571 gtransaction *new_trans_stmt;
1572 s1 = remap_gimple_seq (gimple_transaction_body (old_trans_stmt),
1573 id);
1574 copy = new_trans_stmt = gimple_build_transaction (s1);
1575 gimple_transaction_set_subcode (new_trans_stmt,
1576 gimple_transaction_subcode (old_trans_stmt));
1577 gimple_transaction_set_label_norm (new_trans_stmt,
1578 gimple_transaction_label_norm (old_trans_stmt));
1579 gimple_transaction_set_label_uninst (new_trans_stmt,
1580 gimple_transaction_label_uninst (old_trans_stmt));
1581 gimple_transaction_set_label_over (new_trans_stmt,
1582 gimple_transaction_label_over (old_trans_stmt));
1584 break;
1586 default:
1587 gcc_unreachable ();
1590 else
1592 if (gimple_assign_copy_p (stmt)
1593 && gimple_assign_lhs (stmt) == gimple_assign_rhs1 (stmt)
1594 && auto_var_in_fn_p (gimple_assign_lhs (stmt), id->src_fn))
1596 /* Here we handle statements that are not completely rewritten.
1597 First we detect some inlining-induced bogosities for
1598 discarding. */
1600 /* Some assignments VAR = VAR; don't generate any rtl code
1601 and thus don't count as variable modification. Avoid
1602 keeping bogosities like 0 = 0. */
1603 tree decl = gimple_assign_lhs (stmt), value;
1604 tree *n;
1606 n = id->decl_map->get (decl);
1607 if (n)
1609 value = *n;
1610 STRIP_TYPE_NOPS (value);
1611 if (TREE_CONSTANT (value) || TREE_READONLY (value))
1612 return NULL;
1616 /* For *ptr_N ={v} {CLOBBER}, if ptr_N is SSA_NAME defined
1617 in a block that we aren't copying during tree_function_versioning,
1618 just drop the clobber stmt. */
1619 if (id->blocks_to_copy && gimple_clobber_p (stmt))
1621 tree lhs = gimple_assign_lhs (stmt);
1622 if (TREE_CODE (lhs) == MEM_REF
1623 && TREE_CODE (TREE_OPERAND (lhs, 0)) == SSA_NAME)
1625 gimple *def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (lhs, 0));
1626 if (gimple_bb (def_stmt)
1627 && !bitmap_bit_p (id->blocks_to_copy,
1628 gimple_bb (def_stmt)->index))
1629 return NULL;
1633 if (gimple_debug_bind_p (stmt))
1635 gdebug *copy
1636 = gimple_build_debug_bind (gimple_debug_bind_get_var (stmt),
1637 gimple_debug_bind_get_value (stmt),
1638 stmt);
1639 if (id->reset_location)
1640 gimple_set_location (copy, input_location);
1641 id->debug_stmts.safe_push (copy);
1642 gimple_seq_add_stmt (&stmts, copy);
1643 return stmts;
1645 if (gimple_debug_source_bind_p (stmt))
1647 gdebug *copy = gimple_build_debug_source_bind
1648 (gimple_debug_source_bind_get_var (stmt),
1649 gimple_debug_source_bind_get_value (stmt),
1650 stmt);
1651 if (id->reset_location)
1652 gimple_set_location (copy, input_location);
1653 id->debug_stmts.safe_push (copy);
1654 gimple_seq_add_stmt (&stmts, copy);
1655 return stmts;
1657 if (gimple_debug_nonbind_marker_p (stmt))
1659 /* If the inlined function has too many debug markers,
1660 don't copy them. */
1661 if (id->src_cfun->debug_marker_count
1662 > PARAM_VALUE (PARAM_MAX_DEBUG_MARKER_COUNT))
1663 return stmts;
1665 gdebug *copy = as_a <gdebug *> (gimple_copy (stmt));
1666 if (id->reset_location)
1667 gimple_set_location (copy, input_location);
1668 id->debug_stmts.safe_push (copy);
1669 gimple_seq_add_stmt (&stmts, copy);
1670 return stmts;
1673 /* Create a new deep copy of the statement. */
1674 copy = gimple_copy (stmt);
1676 /* Clear flags that need revisiting. */
1677 if (gcall *call_stmt = dyn_cast <gcall *> (copy))
1679 if (gimple_call_tail_p (call_stmt))
1680 gimple_call_set_tail (call_stmt, false);
1681 if (gimple_call_from_thunk_p (call_stmt))
1682 gimple_call_set_from_thunk (call_stmt, false);
1683 if (gimple_call_internal_p (call_stmt))
1684 switch (gimple_call_internal_fn (call_stmt))
1686 case IFN_GOMP_SIMD_LANE:
1687 case IFN_GOMP_SIMD_VF:
1688 case IFN_GOMP_SIMD_LAST_LANE:
1689 case IFN_GOMP_SIMD_ORDERED_START:
1690 case IFN_GOMP_SIMD_ORDERED_END:
1691 DECL_STRUCT_FUNCTION (id->dst_fn)->has_simduid_loops = true;
1692 break;
1693 default:
1694 break;
1698 /* Remap the region numbers for __builtin_eh_{pointer,filter},
1699 RESX and EH_DISPATCH. */
1700 if (id->eh_map)
1701 switch (gimple_code (copy))
1703 case GIMPLE_CALL:
1705 tree r, fndecl = gimple_call_fndecl (copy);
1706 if (fndecl && fndecl_built_in_p (fndecl, BUILT_IN_NORMAL))
1707 switch (DECL_FUNCTION_CODE (fndecl))
1709 case BUILT_IN_EH_COPY_VALUES:
1710 r = gimple_call_arg (copy, 1);
1711 r = remap_eh_region_tree_nr (r, id);
1712 gimple_call_set_arg (copy, 1, r);
1713 /* FALLTHRU */
1715 case BUILT_IN_EH_POINTER:
1716 case BUILT_IN_EH_FILTER:
1717 r = gimple_call_arg (copy, 0);
1718 r = remap_eh_region_tree_nr (r, id);
1719 gimple_call_set_arg (copy, 0, r);
1720 break;
1722 default:
1723 break;
1726 /* Reset alias info if we didn't apply measures to
1727 keep it valid over inlining by setting DECL_PT_UID. */
1728 if (!id->src_cfun->gimple_df
1729 || !id->src_cfun->gimple_df->ipa_pta)
1730 gimple_call_reset_alias_info (as_a <gcall *> (copy));
1732 break;
1734 case GIMPLE_RESX:
1736 gresx *resx_stmt = as_a <gresx *> (copy);
1737 int r = gimple_resx_region (resx_stmt);
1738 r = remap_eh_region_nr (r, id);
1739 gimple_resx_set_region (resx_stmt, r);
1741 break;
1743 case GIMPLE_EH_DISPATCH:
1745 geh_dispatch *eh_dispatch = as_a <geh_dispatch *> (copy);
1746 int r = gimple_eh_dispatch_region (eh_dispatch);
1747 r = remap_eh_region_nr (r, id);
1748 gimple_eh_dispatch_set_region (eh_dispatch, r);
1750 break;
1752 default:
1753 break;
1757 /* If STMT has a block defined, map it to the newly constructed block. */
1758 if (gimple_block (copy))
1760 tree *n;
1761 n = id->decl_map->get (gimple_block (copy));
1762 gcc_assert (n);
1763 gimple_set_block (copy, *n);
1766 if (id->reset_location)
1767 gimple_set_location (copy, input_location);
1769 /* Debug statements ought to be rebuilt and not copied. */
1770 gcc_checking_assert (!is_gimple_debug (copy));
1772 /* Remap all the operands in COPY. */
1773 memset (&wi, 0, sizeof (wi));
1774 wi.info = id;
1775 if (skip_first)
1776 walk_tree (gimple_op_ptr (copy, 1), remap_gimple_op_r, &wi, NULL);
1777 else
1778 walk_gimple_op (copy, remap_gimple_op_r, &wi);
1780 /* Clear the copied virtual operands. We are not remapping them here
1781 but are going to recreate them from scratch. */
1782 if (gimple_has_mem_ops (copy))
1784 gimple_set_vdef (copy, NULL_TREE);
1785 gimple_set_vuse (copy, NULL_TREE);
1788 gimple_seq_add_stmt (&stmts, copy);
1789 return stmts;
1793 /* Copy basic block, scale profile accordingly. Edges will be taken care of
1794 later */
1796 static basic_block
1797 copy_bb (copy_body_data *id, basic_block bb,
1798 profile_count num, profile_count den)
1800 gimple_stmt_iterator gsi, copy_gsi, seq_gsi;
1801 basic_block copy_basic_block;
1802 tree decl;
1803 basic_block prev;
1805 profile_count::adjust_for_ipa_scaling (&num, &den);
1807 /* Search for previous copied basic block. */
1808 prev = bb->prev_bb;
1809 while (!prev->aux)
1810 prev = prev->prev_bb;
1812 /* create_basic_block() will append every new block to
1813 basic_block_info automatically. */
1814 copy_basic_block = create_basic_block (NULL, (basic_block) prev->aux);
1815 copy_basic_block->count = bb->count.apply_scale (num, den);
1817 copy_gsi = gsi_start_bb (copy_basic_block);
1819 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1821 gimple_seq stmts;
1822 gimple *stmt = gsi_stmt (gsi);
1823 gimple *orig_stmt = stmt;
1824 gimple_stmt_iterator stmts_gsi;
1825 bool stmt_added = false;
1827 id->regimplify = false;
1828 stmts = remap_gimple_stmt (stmt, id);
1830 if (gimple_seq_empty_p (stmts))
1831 continue;
1833 seq_gsi = copy_gsi;
1835 for (stmts_gsi = gsi_start (stmts);
1836 !gsi_end_p (stmts_gsi); )
1838 stmt = gsi_stmt (stmts_gsi);
1840 /* Advance iterator now before stmt is moved to seq_gsi. */
1841 gsi_next (&stmts_gsi);
1843 if (gimple_nop_p (stmt))
1844 continue;
1846 gimple_duplicate_stmt_histograms (cfun, stmt, id->src_cfun,
1847 orig_stmt);
1849 /* With return slot optimization we can end up with
1850 non-gimple (foo *)&this->m, fix that here. */
1851 if (is_gimple_assign (stmt)
1852 && CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt))
1853 && !is_gimple_val (gimple_assign_rhs1 (stmt)))
1855 tree new_rhs;
1856 new_rhs = force_gimple_operand_gsi (&seq_gsi,
1857 gimple_assign_rhs1 (stmt),
1858 true, NULL, false,
1859 GSI_CONTINUE_LINKING);
1860 gimple_assign_set_rhs1 (stmt, new_rhs);
1861 id->regimplify = false;
1864 gsi_insert_after (&seq_gsi, stmt, GSI_NEW_STMT);
1866 if (id->regimplify)
1867 gimple_regimplify_operands (stmt, &seq_gsi);
1869 stmt_added = true;
1872 if (!stmt_added)
1873 continue;
1875 /* If copy_basic_block has been empty at the start of this iteration,
1876 call gsi_start_bb again to get at the newly added statements. */
1877 if (gsi_end_p (copy_gsi))
1878 copy_gsi = gsi_start_bb (copy_basic_block);
1879 else
1880 gsi_next (&copy_gsi);
1882 /* Process the new statement. The call to gimple_regimplify_operands
1883 possibly turned the statement into multiple statements, we
1884 need to process all of them. */
1887 tree fn;
1888 gcall *call_stmt;
1890 stmt = gsi_stmt (copy_gsi);
1891 call_stmt = dyn_cast <gcall *> (stmt);
1892 if (call_stmt
1893 && gimple_call_va_arg_pack_p (call_stmt)
1894 && id->call_stmt
1895 && ! gimple_call_va_arg_pack_p (id->call_stmt))
1897 /* __builtin_va_arg_pack () should be replaced by
1898 all arguments corresponding to ... in the caller. */
1899 tree p;
1900 gcall *new_call;
1901 vec<tree> argarray;
1902 size_t nargs = gimple_call_num_args (id->call_stmt);
1903 size_t n;
1905 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1906 nargs--;
1908 /* Create the new array of arguments. */
1909 n = nargs + gimple_call_num_args (call_stmt);
1910 argarray.create (n);
1911 argarray.safe_grow_cleared (n);
1913 /* Copy all the arguments before '...' */
1914 memcpy (argarray.address (),
1915 gimple_call_arg_ptr (call_stmt, 0),
1916 gimple_call_num_args (call_stmt) * sizeof (tree));
1918 /* Append the arguments passed in '...' */
1919 memcpy (argarray.address () + gimple_call_num_args (call_stmt),
1920 gimple_call_arg_ptr (id->call_stmt, 0)
1921 + (gimple_call_num_args (id->call_stmt) - nargs),
1922 nargs * sizeof (tree));
1924 new_call = gimple_build_call_vec (gimple_call_fn (call_stmt),
1925 argarray);
1927 argarray.release ();
1929 /* Copy all GIMPLE_CALL flags, location and block, except
1930 GF_CALL_VA_ARG_PACK. */
1931 gimple_call_copy_flags (new_call, call_stmt);
1932 gimple_call_set_va_arg_pack (new_call, false);
1933 gimple_set_location (new_call, gimple_location (stmt));
1934 gimple_set_block (new_call, gimple_block (stmt));
1935 gimple_call_set_lhs (new_call, gimple_call_lhs (call_stmt));
1937 gsi_replace (&copy_gsi, new_call, false);
1938 stmt = new_call;
1940 else if (call_stmt
1941 && id->call_stmt
1942 && (decl = gimple_call_fndecl (stmt))
1943 && fndecl_built_in_p (decl, BUILT_IN_VA_ARG_PACK_LEN))
1945 /* __builtin_va_arg_pack_len () should be replaced by
1946 the number of anonymous arguments. */
1947 size_t nargs = gimple_call_num_args (id->call_stmt);
1948 tree count, p;
1949 gimple *new_stmt;
1951 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1952 nargs--;
1954 if (!gimple_call_lhs (stmt))
1956 /* Drop unused calls. */
1957 gsi_remove (&copy_gsi, false);
1958 continue;
1960 else if (!gimple_call_va_arg_pack_p (id->call_stmt))
1962 count = build_int_cst (integer_type_node, nargs);
1963 new_stmt = gimple_build_assign (gimple_call_lhs (stmt), count);
1964 gsi_replace (&copy_gsi, new_stmt, false);
1965 stmt = new_stmt;
1967 else if (nargs != 0)
1969 tree newlhs = create_tmp_reg_or_ssa_name (integer_type_node);
1970 count = build_int_cst (integer_type_node, nargs);
1971 new_stmt = gimple_build_assign (gimple_call_lhs (stmt),
1972 PLUS_EXPR, newlhs, count);
1973 gimple_call_set_lhs (stmt, newlhs);
1974 gsi_insert_after (&copy_gsi, new_stmt, GSI_NEW_STMT);
1977 else if (call_stmt
1978 && id->call_stmt
1979 && gimple_call_internal_p (stmt)
1980 && gimple_call_internal_fn (stmt) == IFN_TSAN_FUNC_EXIT)
1982 /* Drop TSAN_FUNC_EXIT () internal calls during inlining. */
1983 gsi_remove (&copy_gsi, false);
1984 continue;
1987 /* Statements produced by inlining can be unfolded, especially
1988 when we constant propagated some operands. We can't fold
1989 them right now for two reasons:
1990 1) folding require SSA_NAME_DEF_STMTs to be correct
1991 2) we can't change function calls to builtins.
1992 So we just mark statement for later folding. We mark
1993 all new statements, instead just statements that has changed
1994 by some nontrivial substitution so even statements made
1995 foldable indirectly are updated. If this turns out to be
1996 expensive, copy_body can be told to watch for nontrivial
1997 changes. */
1998 if (id->statements_to_fold)
1999 id->statements_to_fold->add (stmt);
2001 /* We're duplicating a CALL_EXPR. Find any corresponding
2002 callgraph edges and update or duplicate them. */
2003 if (gcall *call_stmt = dyn_cast <gcall *> (stmt))
2005 struct cgraph_edge *edge;
2007 switch (id->transform_call_graph_edges)
2009 case CB_CGE_DUPLICATE:
2010 edge = id->src_node->get_edge (orig_stmt);
2011 if (edge)
2013 struct cgraph_edge *old_edge = edge;
2014 profile_count old_cnt = edge->count;
2015 edge = edge->clone (id->dst_node, call_stmt,
2016 gimple_uid (stmt),
2017 num, den,
2018 true);
2020 /* Speculative calls consist of two edges - direct and
2021 indirect. Duplicate the whole thing and distribute
2022 frequencies accordingly. */
2023 if (edge->speculative)
2025 struct cgraph_edge *direct, *indirect;
2026 struct ipa_ref *ref;
2028 gcc_assert (!edge->indirect_unknown_callee);
2029 old_edge->speculative_call_info (direct, indirect, ref);
2031 profile_count indir_cnt = indirect->count;
2032 indirect = indirect->clone (id->dst_node, call_stmt,
2033 gimple_uid (stmt),
2034 num, den,
2035 true);
2037 profile_probability prob
2038 = indir_cnt.probability_in (old_cnt + indir_cnt);
2039 indirect->count
2040 = copy_basic_block->count.apply_probability (prob);
2041 edge->count = copy_basic_block->count - indirect->count;
2042 id->dst_node->clone_reference (ref, stmt);
2044 else
2045 edge->count = copy_basic_block->count;
2047 break;
2049 case CB_CGE_MOVE_CLONES:
2050 id->dst_node->set_call_stmt_including_clones (orig_stmt,
2051 call_stmt);
2052 edge = id->dst_node->get_edge (stmt);
2053 break;
2055 case CB_CGE_MOVE:
2056 edge = id->dst_node->get_edge (orig_stmt);
2057 if (edge)
2058 edge->set_call_stmt (call_stmt);
2059 break;
2061 default:
2062 gcc_unreachable ();
2065 /* Constant propagation on argument done during inlining
2066 may create new direct call. Produce an edge for it. */
2067 if ((!edge
2068 || (edge->indirect_inlining_edge
2069 && id->transform_call_graph_edges == CB_CGE_MOVE_CLONES))
2070 && id->dst_node->definition
2071 && (fn = gimple_call_fndecl (stmt)) != NULL)
2073 struct cgraph_node *dest = cgraph_node::get_create (fn);
2075 /* We have missing edge in the callgraph. This can happen
2076 when previous inlining turned an indirect call into a
2077 direct call by constant propagating arguments or we are
2078 producing dead clone (for further cloning). In all
2079 other cases we hit a bug (incorrect node sharing is the
2080 most common reason for missing edges). */
2081 gcc_assert (!dest->definition
2082 || dest->address_taken
2083 || !id->src_node->definition
2084 || !id->dst_node->definition);
2085 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES)
2086 id->dst_node->create_edge_including_clones
2087 (dest, orig_stmt, call_stmt, bb->count,
2088 CIF_ORIGINALLY_INDIRECT_CALL);
2089 else
2090 id->dst_node->create_edge (dest, call_stmt,
2091 bb->count)->inline_failed
2092 = CIF_ORIGINALLY_INDIRECT_CALL;
2093 if (dump_file)
2095 fprintf (dump_file, "Created new direct edge to %s\n",
2096 dest->name ());
2100 notice_special_calls (as_a <gcall *> (stmt));
2103 maybe_duplicate_eh_stmt_fn (cfun, stmt, id->src_cfun, orig_stmt,
2104 id->eh_map, id->eh_lp_nr);
2106 gsi_next (&copy_gsi);
2108 while (!gsi_end_p (copy_gsi));
2110 copy_gsi = gsi_last_bb (copy_basic_block);
2113 return copy_basic_block;
2116 /* Inserting Single Entry Multiple Exit region in SSA form into code in SSA
2117 form is quite easy, since dominator relationship for old basic blocks does
2118 not change.
2120 There is however exception where inlining might change dominator relation
2121 across EH edges from basic block within inlined functions destinating
2122 to landing pads in function we inline into.
2124 The function fills in PHI_RESULTs of such PHI nodes if they refer
2125 to gimple regs. Otherwise, the function mark PHI_RESULT of such
2126 PHI nodes for renaming. For non-gimple regs, renaming is safe: the
2127 EH edges are abnormal and SSA_NAME_OCCURS_IN_ABNORMAL_PHI must be
2128 set, and this means that there will be no overlapping live ranges
2129 for the underlying symbol.
2131 This might change in future if we allow redirecting of EH edges and
2132 we might want to change way build CFG pre-inlining to include
2133 all the possible edges then. */
2134 static void
2135 update_ssa_across_abnormal_edges (basic_block bb, basic_block ret_bb,
2136 bool can_throw, bool nonlocal_goto)
2138 edge e;
2139 edge_iterator ei;
2141 FOR_EACH_EDGE (e, ei, bb->succs)
2142 if (!e->dest->aux
2143 || ((basic_block)e->dest->aux)->index == ENTRY_BLOCK)
2145 gphi *phi;
2146 gphi_iterator si;
2148 if (!nonlocal_goto)
2149 gcc_assert (e->flags & EDGE_EH);
2151 if (!can_throw)
2152 gcc_assert (!(e->flags & EDGE_EH));
2154 for (si = gsi_start_phis (e->dest); !gsi_end_p (si); gsi_next (&si))
2156 edge re;
2158 phi = si.phi ();
2160 /* For abnormal goto/call edges the receiver can be the
2161 ENTRY_BLOCK. Do not assert this cannot happen. */
2163 gcc_assert ((e->flags & EDGE_EH)
2164 || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (phi)));
2166 re = find_edge (ret_bb, e->dest);
2167 gcc_checking_assert (re);
2168 gcc_assert ((re->flags & (EDGE_EH | EDGE_ABNORMAL))
2169 == (e->flags & (EDGE_EH | EDGE_ABNORMAL)));
2171 SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (phi, e),
2172 USE_FROM_PTR (PHI_ARG_DEF_PTR_FROM_EDGE (phi, re)));
2178 /* Copy edges from BB into its copy constructed earlier, scale profile
2179 accordingly. Edges will be taken care of later. Assume aux
2180 pointers to point to the copies of each BB. Return true if any
2181 debug stmts are left after a statement that must end the basic block. */
2183 static bool
2184 copy_edges_for_bb (basic_block bb, profile_count num, profile_count den,
2185 basic_block ret_bb, basic_block abnormal_goto_dest,
2186 copy_body_data *id)
2188 basic_block new_bb = (basic_block) bb->aux;
2189 edge_iterator ei;
2190 edge old_edge;
2191 gimple_stmt_iterator si;
2192 bool need_debug_cleanup = false;
2194 /* Use the indices from the original blocks to create edges for the
2195 new ones. */
2196 FOR_EACH_EDGE (old_edge, ei, bb->succs)
2197 if (!(old_edge->flags & EDGE_EH))
2199 edge new_edge;
2200 int flags = old_edge->flags;
2201 location_t locus = old_edge->goto_locus;
2203 /* Return edges do get a FALLTHRU flag when they get inlined. */
2204 if (old_edge->dest->index == EXIT_BLOCK
2205 && !(flags & (EDGE_TRUE_VALUE|EDGE_FALSE_VALUE|EDGE_FAKE))
2206 && old_edge->dest->aux != EXIT_BLOCK_PTR_FOR_FN (cfun))
2207 flags |= EDGE_FALLTHRU;
2209 new_edge
2210 = make_edge (new_bb, (basic_block) old_edge->dest->aux, flags);
2211 new_edge->probability = old_edge->probability;
2212 if (!id->reset_location)
2213 new_edge->goto_locus = remap_location (locus, id);
2216 if (bb->index == ENTRY_BLOCK || bb->index == EXIT_BLOCK)
2217 return false;
2219 /* When doing function splitting, we must decreate count of the return block
2220 which was previously reachable by block we did not copy. */
2221 if (single_succ_p (bb) && single_succ_edge (bb)->dest->index == EXIT_BLOCK)
2222 FOR_EACH_EDGE (old_edge, ei, bb->preds)
2223 if (old_edge->src->index != ENTRY_BLOCK
2224 && !old_edge->src->aux)
2225 new_bb->count -= old_edge->count ().apply_scale (num, den);
2227 for (si = gsi_start_bb (new_bb); !gsi_end_p (si);)
2229 gimple *copy_stmt;
2230 bool can_throw, nonlocal_goto;
2232 copy_stmt = gsi_stmt (si);
2233 if (!is_gimple_debug (copy_stmt))
2234 update_stmt (copy_stmt);
2236 /* Do this before the possible split_block. */
2237 gsi_next (&si);
2239 /* If this tree could throw an exception, there are two
2240 cases where we need to add abnormal edge(s): the
2241 tree wasn't in a region and there is a "current
2242 region" in the caller; or the original tree had
2243 EH edges. In both cases split the block after the tree,
2244 and add abnormal edge(s) as needed; we need both
2245 those from the callee and the caller.
2246 We check whether the copy can throw, because the const
2247 propagation can change an INDIRECT_REF which throws
2248 into a COMPONENT_REF which doesn't. If the copy
2249 can throw, the original could also throw. */
2250 can_throw = stmt_can_throw_internal (cfun, copy_stmt);
2251 nonlocal_goto
2252 = (stmt_can_make_abnormal_goto (copy_stmt)
2253 && !computed_goto_p (copy_stmt));
2255 if (can_throw || nonlocal_goto)
2257 if (!gsi_end_p (si))
2259 while (!gsi_end_p (si) && is_gimple_debug (gsi_stmt (si)))
2260 gsi_next (&si);
2261 if (gsi_end_p (si))
2262 need_debug_cleanup = true;
2264 if (!gsi_end_p (si))
2265 /* Note that bb's predecessor edges aren't necessarily
2266 right at this point; split_block doesn't care. */
2268 edge e = split_block (new_bb, copy_stmt);
2270 new_bb = e->dest;
2271 new_bb->aux = e->src->aux;
2272 si = gsi_start_bb (new_bb);
2276 bool update_probs = false;
2278 if (gimple_code (copy_stmt) == GIMPLE_EH_DISPATCH)
2280 make_eh_dispatch_edges (as_a <geh_dispatch *> (copy_stmt));
2281 update_probs = true;
2283 else if (can_throw)
2285 make_eh_edges (copy_stmt);
2286 update_probs = true;
2289 /* EH edges may not match old edges. Copy as much as possible. */
2290 if (update_probs)
2292 edge e;
2293 edge_iterator ei;
2294 basic_block copy_stmt_bb = gimple_bb (copy_stmt);
2296 FOR_EACH_EDGE (old_edge, ei, bb->succs)
2297 if ((old_edge->flags & EDGE_EH)
2298 && (e = find_edge (copy_stmt_bb,
2299 (basic_block) old_edge->dest->aux))
2300 && (e->flags & EDGE_EH))
2301 e->probability = old_edge->probability;
2303 FOR_EACH_EDGE (e, ei, copy_stmt_bb->succs)
2304 if ((e->flags & EDGE_EH) && !e->probability.initialized_p ())
2305 e->probability = profile_probability::never ();
2309 /* If the call we inline cannot make abnormal goto do not add
2310 additional abnormal edges but only retain those already present
2311 in the original function body. */
2312 if (abnormal_goto_dest == NULL)
2313 nonlocal_goto = false;
2314 if (nonlocal_goto)
2316 basic_block copy_stmt_bb = gimple_bb (copy_stmt);
2318 if (get_abnormal_succ_dispatcher (copy_stmt_bb))
2319 nonlocal_goto = false;
2320 /* ABNORMAL_DISPATCHER (1) is for longjmp/setjmp or nonlocal gotos
2321 in OpenMP regions which aren't allowed to be left abnormally.
2322 So, no need to add abnormal edge in that case. */
2323 else if (is_gimple_call (copy_stmt)
2324 && gimple_call_internal_p (copy_stmt)
2325 && (gimple_call_internal_fn (copy_stmt)
2326 == IFN_ABNORMAL_DISPATCHER)
2327 && gimple_call_arg (copy_stmt, 0) == boolean_true_node)
2328 nonlocal_goto = false;
2329 else
2330 make_single_succ_edge (copy_stmt_bb, abnormal_goto_dest,
2331 EDGE_ABNORMAL);
2334 if ((can_throw || nonlocal_goto)
2335 && gimple_in_ssa_p (cfun))
2336 update_ssa_across_abnormal_edges (gimple_bb (copy_stmt), ret_bb,
2337 can_throw, nonlocal_goto);
2339 return need_debug_cleanup;
2342 /* Copy the PHIs. All blocks and edges are copied, some blocks
2343 was possibly split and new outgoing EH edges inserted.
2344 BB points to the block of original function and AUX pointers links
2345 the original and newly copied blocks. */
2347 static void
2348 copy_phis_for_bb (basic_block bb, copy_body_data *id)
2350 basic_block const new_bb = (basic_block) bb->aux;
2351 edge_iterator ei;
2352 gphi *phi;
2353 gphi_iterator si;
2354 edge new_edge;
2355 bool inserted = false;
2357 for (si = gsi_start_phis (bb); !gsi_end_p (si); gsi_next (&si))
2359 tree res, new_res;
2360 gphi *new_phi;
2362 phi = si.phi ();
2363 res = PHI_RESULT (phi);
2364 new_res = res;
2365 if (!virtual_operand_p (res))
2367 walk_tree (&new_res, copy_tree_body_r, id, NULL);
2368 if (EDGE_COUNT (new_bb->preds) == 0)
2370 /* Technically we'd want a SSA_DEFAULT_DEF here... */
2371 SSA_NAME_DEF_STMT (new_res) = gimple_build_nop ();
2373 else
2375 new_phi = create_phi_node (new_res, new_bb);
2376 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2378 edge old_edge = find_edge ((basic_block) new_edge->src->aux,
2379 bb);
2380 tree arg;
2381 tree new_arg;
2382 edge_iterator ei2;
2383 location_t locus;
2385 /* When doing partial cloning, we allow PHIs on the entry
2386 block as long as all the arguments are the same.
2387 Find any input edge to see argument to copy. */
2388 if (!old_edge)
2389 FOR_EACH_EDGE (old_edge, ei2, bb->preds)
2390 if (!old_edge->src->aux)
2391 break;
2393 arg = PHI_ARG_DEF_FROM_EDGE (phi, old_edge);
2394 new_arg = arg;
2395 walk_tree (&new_arg, copy_tree_body_r, id, NULL);
2396 gcc_assert (new_arg);
2397 /* With return slot optimization we can end up with
2398 non-gimple (foo *)&this->m, fix that here. */
2399 if (TREE_CODE (new_arg) != SSA_NAME
2400 && TREE_CODE (new_arg) != FUNCTION_DECL
2401 && !is_gimple_val (new_arg))
2403 gimple_seq stmts = NULL;
2404 new_arg = force_gimple_operand (new_arg, &stmts, true,
2405 NULL);
2406 gsi_insert_seq_on_edge (new_edge, stmts);
2407 inserted = true;
2409 locus = gimple_phi_arg_location_from_edge (phi, old_edge);
2410 if (id->reset_location)
2411 locus = input_location;
2412 else
2413 locus = remap_location (locus, id);
2414 add_phi_arg (new_phi, new_arg, new_edge, locus);
2420 /* Commit the delayed edge insertions. */
2421 if (inserted)
2422 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2423 gsi_commit_one_edge_insert (new_edge, NULL);
2427 /* Wrapper for remap_decl so it can be used as a callback. */
2429 static tree
2430 remap_decl_1 (tree decl, void *data)
2432 return remap_decl (decl, (copy_body_data *) data);
2435 /* Build struct function and associated datastructures for the new clone
2436 NEW_FNDECL to be build. CALLEE_FNDECL is the original. Function changes
2437 the cfun to the function of new_fndecl (and current_function_decl too). */
2439 static void
2440 initialize_cfun (tree new_fndecl, tree callee_fndecl, profile_count count)
2442 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2444 if (!DECL_ARGUMENTS (new_fndecl))
2445 DECL_ARGUMENTS (new_fndecl) = DECL_ARGUMENTS (callee_fndecl);
2446 if (!DECL_RESULT (new_fndecl))
2447 DECL_RESULT (new_fndecl) = DECL_RESULT (callee_fndecl);
2449 /* Register specific tree functions. */
2450 gimple_register_cfg_hooks ();
2452 /* Get clean struct function. */
2453 push_struct_function (new_fndecl);
2455 /* We will rebuild these, so just sanity check that they are empty. */
2456 gcc_assert (VALUE_HISTOGRAMS (cfun) == NULL);
2457 gcc_assert (cfun->local_decls == NULL);
2458 gcc_assert (cfun->cfg == NULL);
2459 gcc_assert (cfun->decl == new_fndecl);
2461 /* Copy items we preserve during cloning. */
2462 cfun->static_chain_decl = src_cfun->static_chain_decl;
2463 cfun->nonlocal_goto_save_area = src_cfun->nonlocal_goto_save_area;
2464 cfun->function_end_locus = src_cfun->function_end_locus;
2465 cfun->curr_properties = src_cfun->curr_properties;
2466 cfun->last_verified = src_cfun->last_verified;
2467 cfun->va_list_gpr_size = src_cfun->va_list_gpr_size;
2468 cfun->va_list_fpr_size = src_cfun->va_list_fpr_size;
2469 cfun->has_nonlocal_label = src_cfun->has_nonlocal_label;
2470 cfun->stdarg = src_cfun->stdarg;
2471 cfun->after_inlining = src_cfun->after_inlining;
2472 cfun->can_throw_non_call_exceptions
2473 = src_cfun->can_throw_non_call_exceptions;
2474 cfun->can_delete_dead_exceptions = src_cfun->can_delete_dead_exceptions;
2475 cfun->returns_struct = src_cfun->returns_struct;
2476 cfun->returns_pcc_struct = src_cfun->returns_pcc_struct;
2478 init_empty_tree_cfg ();
2480 profile_status_for_fn (cfun) = profile_status_for_fn (src_cfun);
2482 profile_count num = count;
2483 profile_count den = ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count;
2484 profile_count::adjust_for_ipa_scaling (&num, &den);
2486 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count =
2487 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count.apply_scale (count,
2488 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2489 EXIT_BLOCK_PTR_FOR_FN (cfun)->count =
2490 EXIT_BLOCK_PTR_FOR_FN (src_cfun)->count.apply_scale (count,
2491 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2492 if (src_cfun->eh)
2493 init_eh_for_function ();
2495 if (src_cfun->gimple_df)
2497 init_tree_ssa (cfun);
2498 cfun->gimple_df->in_ssa_p = src_cfun->gimple_df->in_ssa_p;
2499 if (cfun->gimple_df->in_ssa_p)
2500 init_ssa_operands (cfun);
2504 /* Helper function for copy_cfg_body. Move debug stmts from the end
2505 of NEW_BB to the beginning of successor basic blocks when needed. If the
2506 successor has multiple predecessors, reset them, otherwise keep
2507 their value. */
2509 static void
2510 maybe_move_debug_stmts_to_successors (copy_body_data *id, basic_block new_bb)
2512 edge e;
2513 edge_iterator ei;
2514 gimple_stmt_iterator si = gsi_last_nondebug_bb (new_bb);
2516 if (gsi_end_p (si)
2517 || gsi_one_before_end_p (si)
2518 || !(stmt_can_throw_internal (cfun, gsi_stmt (si))
2519 || stmt_can_make_abnormal_goto (gsi_stmt (si))))
2520 return;
2522 FOR_EACH_EDGE (e, ei, new_bb->succs)
2524 gimple_stmt_iterator ssi = gsi_last_bb (new_bb);
2525 gimple_stmt_iterator dsi = gsi_after_labels (e->dest);
2526 while (is_gimple_debug (gsi_stmt (ssi)))
2528 gimple *stmt = gsi_stmt (ssi);
2529 gdebug *new_stmt;
2530 tree var;
2531 tree value;
2533 /* For the last edge move the debug stmts instead of copying
2534 them. */
2535 if (ei_one_before_end_p (ei))
2537 si = ssi;
2538 gsi_prev (&ssi);
2539 if (!single_pred_p (e->dest) && gimple_debug_bind_p (stmt))
2541 gimple_debug_bind_reset_value (stmt);
2542 gimple_set_location (stmt, UNKNOWN_LOCATION);
2544 gsi_remove (&si, false);
2545 gsi_insert_before (&dsi, stmt, GSI_SAME_STMT);
2546 continue;
2549 if (gimple_debug_bind_p (stmt))
2551 var = gimple_debug_bind_get_var (stmt);
2552 if (single_pred_p (e->dest))
2554 value = gimple_debug_bind_get_value (stmt);
2555 value = unshare_expr (value);
2556 new_stmt = gimple_build_debug_bind (var, value, stmt);
2558 else
2559 new_stmt = gimple_build_debug_bind (var, NULL_TREE, NULL);
2561 else if (gimple_debug_source_bind_p (stmt))
2563 var = gimple_debug_source_bind_get_var (stmt);
2564 value = gimple_debug_source_bind_get_value (stmt);
2565 new_stmt = gimple_build_debug_source_bind (var, value, stmt);
2567 else if (gimple_debug_nonbind_marker_p (stmt))
2568 new_stmt = as_a <gdebug *> (gimple_copy (stmt));
2569 else
2570 gcc_unreachable ();
2571 gsi_insert_before (&dsi, new_stmt, GSI_SAME_STMT);
2572 id->debug_stmts.safe_push (new_stmt);
2573 gsi_prev (&ssi);
2578 /* Make a copy of the sub-loops of SRC_PARENT and place them
2579 as siblings of DEST_PARENT. */
2581 static void
2582 copy_loops (copy_body_data *id,
2583 struct loop *dest_parent, struct loop *src_parent)
2585 struct loop *src_loop = src_parent->inner;
2586 while (src_loop)
2588 if (!id->blocks_to_copy
2589 || bitmap_bit_p (id->blocks_to_copy, src_loop->header->index))
2591 struct loop *dest_loop = alloc_loop ();
2593 /* Assign the new loop its header and latch and associate
2594 those with the new loop. */
2595 dest_loop->header = (basic_block)src_loop->header->aux;
2596 dest_loop->header->loop_father = dest_loop;
2597 if (src_loop->latch != NULL)
2599 dest_loop->latch = (basic_block)src_loop->latch->aux;
2600 dest_loop->latch->loop_father = dest_loop;
2603 /* Copy loop meta-data. */
2604 copy_loop_info (src_loop, dest_loop);
2606 /* Finally place it into the loop array and the loop tree. */
2607 place_new_loop (cfun, dest_loop);
2608 flow_loop_tree_node_add (dest_parent, dest_loop);
2610 dest_loop->safelen = src_loop->safelen;
2611 if (src_loop->unroll)
2613 dest_loop->unroll = src_loop->unroll;
2614 cfun->has_unroll = true;
2616 dest_loop->dont_vectorize = src_loop->dont_vectorize;
2617 if (src_loop->force_vectorize)
2619 dest_loop->force_vectorize = true;
2620 cfun->has_force_vectorize_loops = true;
2622 if (src_loop->simduid)
2624 dest_loop->simduid = remap_decl (src_loop->simduid, id);
2625 cfun->has_simduid_loops = true;
2628 /* Recurse. */
2629 copy_loops (id, dest_loop, src_loop);
2631 src_loop = src_loop->next;
2635 /* Call redirect_call_stmt_to_callee on all calls in BB. */
2637 void
2638 redirect_all_calls (copy_body_data * id, basic_block bb)
2640 gimple_stmt_iterator si;
2641 gimple *last = last_stmt (bb);
2642 for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))
2644 gimple *stmt = gsi_stmt (si);
2645 if (is_gimple_call (stmt))
2647 struct cgraph_edge *edge = id->dst_node->get_edge (stmt);
2648 if (edge)
2650 edge->redirect_call_stmt_to_callee ();
2651 if (stmt == last && id->call_stmt && maybe_clean_eh_stmt (stmt))
2652 gimple_purge_dead_eh_edges (bb);
2658 /* Make a copy of the body of FN so that it can be inserted inline in
2659 another function. Walks FN via CFG, returns new fndecl. */
2661 static tree
2662 copy_cfg_body (copy_body_data * id,
2663 basic_block entry_block_map, basic_block exit_block_map,
2664 basic_block new_entry)
2666 tree callee_fndecl = id->src_fn;
2667 /* Original cfun for the callee, doesn't change. */
2668 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2669 struct function *cfun_to_copy;
2670 basic_block bb;
2671 tree new_fndecl = NULL;
2672 bool need_debug_cleanup = false;
2673 int last;
2674 profile_count den = ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count;
2675 profile_count num = entry_block_map->count;
2677 cfun_to_copy = id->src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2679 /* Register specific tree functions. */
2680 gimple_register_cfg_hooks ();
2682 /* If we are inlining just region of the function, make sure to connect
2683 new entry to ENTRY_BLOCK_PTR_FOR_FN (cfun). Since new entry can be
2684 part of loop, we must compute frequency and probability of
2685 ENTRY_BLOCK_PTR_FOR_FN (cfun) based on the frequencies and
2686 probabilities of edges incoming from nonduplicated region. */
2687 if (new_entry)
2689 edge e;
2690 edge_iterator ei;
2691 den = profile_count::zero ();
2693 FOR_EACH_EDGE (e, ei, new_entry->preds)
2694 if (!e->src->aux)
2695 den += e->count ();
2696 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count = den;
2699 profile_count::adjust_for_ipa_scaling (&num, &den);
2701 /* Must have a CFG here at this point. */
2702 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN
2703 (DECL_STRUCT_FUNCTION (callee_fndecl)));
2706 ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = entry_block_map;
2707 EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = exit_block_map;
2708 entry_block_map->aux = ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy);
2709 exit_block_map->aux = EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy);
2711 /* Duplicate any exception-handling regions. */
2712 if (cfun->eh)
2713 id->eh_map = duplicate_eh_regions (cfun_to_copy, NULL, id->eh_lp_nr,
2714 remap_decl_1, id);
2716 /* Use aux pointers to map the original blocks to copy. */
2717 FOR_EACH_BB_FN (bb, cfun_to_copy)
2718 if (!id->blocks_to_copy || bitmap_bit_p (id->blocks_to_copy, bb->index))
2720 basic_block new_bb = copy_bb (id, bb, num, den);
2721 bb->aux = new_bb;
2722 new_bb->aux = bb;
2723 new_bb->loop_father = entry_block_map->loop_father;
2726 last = last_basic_block_for_fn (cfun);
2728 /* Now that we've duplicated the blocks, duplicate their edges. */
2729 basic_block abnormal_goto_dest = NULL;
2730 if (id->call_stmt
2731 && stmt_can_make_abnormal_goto (id->call_stmt))
2733 gimple_stmt_iterator gsi = gsi_for_stmt (id->call_stmt);
2735 bb = gimple_bb (id->call_stmt);
2736 gsi_next (&gsi);
2737 if (gsi_end_p (gsi))
2738 abnormal_goto_dest = get_abnormal_succ_dispatcher (bb);
2740 FOR_ALL_BB_FN (bb, cfun_to_copy)
2741 if (!id->blocks_to_copy
2742 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2743 need_debug_cleanup |= copy_edges_for_bb (bb, num, den, exit_block_map,
2744 abnormal_goto_dest, id);
2746 if (new_entry)
2748 edge e = make_edge (entry_block_map, (basic_block)new_entry->aux,
2749 EDGE_FALLTHRU);
2750 e->probability = profile_probability::always ();
2753 /* Duplicate the loop tree, if available and wanted. */
2754 if (loops_for_fn (src_cfun) != NULL
2755 && current_loops != NULL)
2757 copy_loops (id, entry_block_map->loop_father,
2758 get_loop (src_cfun, 0));
2759 /* Defer to cfgcleanup to update loop-father fields of basic-blocks. */
2760 loops_state_set (LOOPS_NEED_FIXUP);
2763 /* If the loop tree in the source function needed fixup, mark the
2764 destination loop tree for fixup, too. */
2765 if (loops_for_fn (src_cfun)->state & LOOPS_NEED_FIXUP)
2766 loops_state_set (LOOPS_NEED_FIXUP);
2768 if (gimple_in_ssa_p (cfun))
2769 FOR_ALL_BB_FN (bb, cfun_to_copy)
2770 if (!id->blocks_to_copy
2771 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2772 copy_phis_for_bb (bb, id);
2774 FOR_ALL_BB_FN (bb, cfun_to_copy)
2775 if (bb->aux)
2777 if (need_debug_cleanup
2778 && bb->index != ENTRY_BLOCK
2779 && bb->index != EXIT_BLOCK)
2780 maybe_move_debug_stmts_to_successors (id, (basic_block) bb->aux);
2781 /* Update call edge destinations. This can not be done before loop
2782 info is updated, because we may split basic blocks. */
2783 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE
2784 && bb->index != ENTRY_BLOCK
2785 && bb->index != EXIT_BLOCK)
2786 redirect_all_calls (id, (basic_block)bb->aux);
2787 ((basic_block)bb->aux)->aux = NULL;
2788 bb->aux = NULL;
2791 /* Zero out AUX fields of newly created block during EH edge
2792 insertion. */
2793 for (; last < last_basic_block_for_fn (cfun); last++)
2795 if (need_debug_cleanup)
2796 maybe_move_debug_stmts_to_successors (id,
2797 BASIC_BLOCK_FOR_FN (cfun, last));
2798 BASIC_BLOCK_FOR_FN (cfun, last)->aux = NULL;
2799 /* Update call edge destinations. This can not be done before loop
2800 info is updated, because we may split basic blocks. */
2801 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE)
2802 redirect_all_calls (id, BASIC_BLOCK_FOR_FN (cfun, last));
2804 entry_block_map->aux = NULL;
2805 exit_block_map->aux = NULL;
2807 if (id->eh_map)
2809 delete id->eh_map;
2810 id->eh_map = NULL;
2812 if (id->dependence_map)
2814 delete id->dependence_map;
2815 id->dependence_map = NULL;
2818 return new_fndecl;
2821 /* Copy the debug STMT using ID. We deal with these statements in a
2822 special way: if any variable in their VALUE expression wasn't
2823 remapped yet, we won't remap it, because that would get decl uids
2824 out of sync, causing codegen differences between -g and -g0. If
2825 this arises, we drop the VALUE expression altogether. */
2827 static void
2828 copy_debug_stmt (gdebug *stmt, copy_body_data *id)
2830 tree t, *n;
2831 struct walk_stmt_info wi;
2833 if (gimple_block (stmt))
2835 n = id->decl_map->get (gimple_block (stmt));
2836 gimple_set_block (stmt, n ? *n : id->block);
2839 if (gimple_debug_nonbind_marker_p (stmt))
2840 return;
2842 /* Remap all the operands in COPY. */
2843 memset (&wi, 0, sizeof (wi));
2844 wi.info = id;
2846 processing_debug_stmt = 1;
2848 if (gimple_debug_source_bind_p (stmt))
2849 t = gimple_debug_source_bind_get_var (stmt);
2850 else if (gimple_debug_bind_p (stmt))
2851 t = gimple_debug_bind_get_var (stmt);
2852 else
2853 gcc_unreachable ();
2855 if (TREE_CODE (t) == PARM_DECL && id->debug_map
2856 && (n = id->debug_map->get (t)))
2858 gcc_assert (VAR_P (*n));
2859 t = *n;
2861 else if (VAR_P (t) && !is_global_var (t) && !id->decl_map->get (t))
2862 /* T is a non-localized variable. */;
2863 else
2864 walk_tree (&t, remap_gimple_op_r, &wi, NULL);
2866 if (gimple_debug_bind_p (stmt))
2868 gimple_debug_bind_set_var (stmt, t);
2870 if (gimple_debug_bind_has_value_p (stmt))
2871 walk_tree (gimple_debug_bind_get_value_ptr (stmt),
2872 remap_gimple_op_r, &wi, NULL);
2874 /* Punt if any decl couldn't be remapped. */
2875 if (processing_debug_stmt < 0)
2876 gimple_debug_bind_reset_value (stmt);
2878 else if (gimple_debug_source_bind_p (stmt))
2880 gimple_debug_source_bind_set_var (stmt, t);
2881 /* When inlining and source bind refers to one of the optimized
2882 away parameters, change the source bind into normal debug bind
2883 referring to the corresponding DEBUG_EXPR_DECL that should have
2884 been bound before the call stmt. */
2885 t = gimple_debug_source_bind_get_value (stmt);
2886 if (t != NULL_TREE
2887 && TREE_CODE (t) == PARM_DECL
2888 && id->call_stmt)
2890 vec<tree, va_gc> **debug_args = decl_debug_args_lookup (id->src_fn);
2891 unsigned int i;
2892 if (debug_args != NULL)
2894 for (i = 0; i < vec_safe_length (*debug_args); i += 2)
2895 if ((**debug_args)[i] == DECL_ORIGIN (t)
2896 && TREE_CODE ((**debug_args)[i + 1]) == DEBUG_EXPR_DECL)
2898 t = (**debug_args)[i + 1];
2899 stmt->subcode = GIMPLE_DEBUG_BIND;
2900 gimple_debug_bind_set_value (stmt, t);
2901 break;
2905 if (gimple_debug_source_bind_p (stmt))
2906 walk_tree (gimple_debug_source_bind_get_value_ptr (stmt),
2907 remap_gimple_op_r, &wi, NULL);
2910 processing_debug_stmt = 0;
2912 update_stmt (stmt);
2915 /* Process deferred debug stmts. In order to give values better odds
2916 of being successfully remapped, we delay the processing of debug
2917 stmts until all other stmts that might require remapping are
2918 processed. */
2920 static void
2921 copy_debug_stmts (copy_body_data *id)
2923 size_t i;
2924 gdebug *stmt;
2926 if (!id->debug_stmts.exists ())
2927 return;
2929 FOR_EACH_VEC_ELT (id->debug_stmts, i, stmt)
2930 copy_debug_stmt (stmt, id);
2932 id->debug_stmts.release ();
2935 /* Make a copy of the body of SRC_FN so that it can be inserted inline in
2936 another function. */
2938 static tree
2939 copy_tree_body (copy_body_data *id)
2941 tree fndecl = id->src_fn;
2942 tree body = DECL_SAVED_TREE (fndecl);
2944 walk_tree (&body, copy_tree_body_r, id, NULL);
2946 return body;
2949 /* Make a copy of the body of FN so that it can be inserted inline in
2950 another function. */
2952 static tree
2953 copy_body (copy_body_data *id,
2954 basic_block entry_block_map, basic_block exit_block_map,
2955 basic_block new_entry)
2957 tree fndecl = id->src_fn;
2958 tree body;
2960 /* If this body has a CFG, walk CFG and copy. */
2961 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (fndecl)));
2962 body = copy_cfg_body (id, entry_block_map, exit_block_map,
2963 new_entry);
2964 copy_debug_stmts (id);
2966 return body;
2969 /* Return true if VALUE is an ADDR_EXPR of an automatic variable
2970 defined in function FN, or of a data member thereof. */
2972 static bool
2973 self_inlining_addr_expr (tree value, tree fn)
2975 tree var;
2977 if (TREE_CODE (value) != ADDR_EXPR)
2978 return false;
2980 var = get_base_address (TREE_OPERAND (value, 0));
2982 return var && auto_var_in_fn_p (var, fn);
2985 /* Append to BB a debug annotation that binds VAR to VALUE, inheriting
2986 lexical block and line number information from base_stmt, if given,
2987 or from the last stmt of the block otherwise. */
2989 static gimple *
2990 insert_init_debug_bind (copy_body_data *id,
2991 basic_block bb, tree var, tree value,
2992 gimple *base_stmt)
2994 gimple *note;
2995 gimple_stmt_iterator gsi;
2996 tree tracked_var;
2998 if (!gimple_in_ssa_p (id->src_cfun))
2999 return NULL;
3001 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
3002 return NULL;
3004 tracked_var = target_for_debug_bind (var);
3005 if (!tracked_var)
3006 return NULL;
3008 if (bb)
3010 gsi = gsi_last_bb (bb);
3011 if (!base_stmt && !gsi_end_p (gsi))
3012 base_stmt = gsi_stmt (gsi);
3015 note = gimple_build_debug_bind (tracked_var, unshare_expr (value), base_stmt);
3017 if (bb)
3019 if (!gsi_end_p (gsi))
3020 gsi_insert_after (&gsi, note, GSI_SAME_STMT);
3021 else
3022 gsi_insert_before (&gsi, note, GSI_SAME_STMT);
3025 return note;
3028 static void
3029 insert_init_stmt (copy_body_data *id, basic_block bb, gimple *init_stmt)
3031 /* If VAR represents a zero-sized variable, it's possible that the
3032 assignment statement may result in no gimple statements. */
3033 if (init_stmt)
3035 gimple_stmt_iterator si = gsi_last_bb (bb);
3037 /* We can end up with init statements that store to a non-register
3038 from a rhs with a conversion. Handle that here by forcing the
3039 rhs into a temporary. gimple_regimplify_operands is not
3040 prepared to do this for us. */
3041 if (!is_gimple_debug (init_stmt)
3042 && !is_gimple_reg (gimple_assign_lhs (init_stmt))
3043 && is_gimple_reg_type (TREE_TYPE (gimple_assign_lhs (init_stmt)))
3044 && gimple_assign_rhs_class (init_stmt) == GIMPLE_UNARY_RHS)
3046 tree rhs = build1 (gimple_assign_rhs_code (init_stmt),
3047 gimple_expr_type (init_stmt),
3048 gimple_assign_rhs1 (init_stmt));
3049 rhs = force_gimple_operand_gsi (&si, rhs, true, NULL_TREE, false,
3050 GSI_NEW_STMT);
3051 gimple_assign_set_rhs_code (init_stmt, TREE_CODE (rhs));
3052 gimple_assign_set_rhs1 (init_stmt, rhs);
3054 gsi_insert_after (&si, init_stmt, GSI_NEW_STMT);
3055 gimple_regimplify_operands (init_stmt, &si);
3057 if (!is_gimple_debug (init_stmt))
3059 tree def = gimple_assign_lhs (init_stmt);
3060 insert_init_debug_bind (id, bb, def, def, init_stmt);
3065 /* Initialize parameter P with VALUE. If needed, produce init statement
3066 at the end of BB. When BB is NULL, we return init statement to be
3067 output later. */
3068 static gimple *
3069 setup_one_parameter (copy_body_data *id, tree p, tree value, tree fn,
3070 basic_block bb, tree *vars)
3072 gimple *init_stmt = NULL;
3073 tree var;
3074 tree rhs = value;
3075 tree def = (gimple_in_ssa_p (cfun)
3076 ? ssa_default_def (id->src_cfun, p) : NULL);
3078 if (value
3079 && value != error_mark_node
3080 && !useless_type_conversion_p (TREE_TYPE (p), TREE_TYPE (value)))
3082 /* If we can match up types by promotion/demotion do so. */
3083 if (fold_convertible_p (TREE_TYPE (p), value))
3084 rhs = fold_convert (TREE_TYPE (p), value);
3085 else
3087 /* ??? For valid programs we should not end up here.
3088 Still if we end up with truly mismatched types here, fall back
3089 to using a VIEW_CONVERT_EXPR or a literal zero to not leak invalid
3090 GIMPLE to the following passes. */
3091 if (!is_gimple_reg_type (TREE_TYPE (value))
3092 || TYPE_SIZE (TREE_TYPE (p)) == TYPE_SIZE (TREE_TYPE (value)))
3093 rhs = fold_build1 (VIEW_CONVERT_EXPR, TREE_TYPE (p), value);
3094 else
3095 rhs = build_zero_cst (TREE_TYPE (p));
3099 /* Make an equivalent VAR_DECL. Note that we must NOT remap the type
3100 here since the type of this decl must be visible to the calling
3101 function. */
3102 var = copy_decl_to_var (p, id);
3104 /* Declare this new variable. */
3105 DECL_CHAIN (var) = *vars;
3106 *vars = var;
3108 /* Make gimplifier happy about this variable. */
3109 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3111 /* If the parameter is never assigned to, has no SSA_NAMEs created,
3112 we would not need to create a new variable here at all, if it
3113 weren't for debug info. Still, we can just use the argument
3114 value. */
3115 if (TREE_READONLY (p)
3116 && !TREE_ADDRESSABLE (p)
3117 && value && !TREE_SIDE_EFFECTS (value)
3118 && !def)
3120 /* We may produce non-gimple trees by adding NOPs or introduce
3121 invalid sharing when operand is not really constant.
3122 It is not big deal to prohibit constant propagation here as
3123 we will constant propagate in DOM1 pass anyway. */
3124 if (is_gimple_min_invariant (value)
3125 && useless_type_conversion_p (TREE_TYPE (p),
3126 TREE_TYPE (value))
3127 /* We have to be very careful about ADDR_EXPR. Make sure
3128 the base variable isn't a local variable of the inlined
3129 function, e.g., when doing recursive inlining, direct or
3130 mutually-recursive or whatever, which is why we don't
3131 just test whether fn == current_function_decl. */
3132 && ! self_inlining_addr_expr (value, fn))
3134 insert_decl_map (id, p, value);
3135 insert_debug_decl_map (id, p, var);
3136 return insert_init_debug_bind (id, bb, var, value, NULL);
3140 /* Register the VAR_DECL as the equivalent for the PARM_DECL;
3141 that way, when the PARM_DECL is encountered, it will be
3142 automatically replaced by the VAR_DECL. */
3143 insert_decl_map (id, p, var);
3145 /* Even if P was TREE_READONLY, the new VAR should not be.
3146 In the original code, we would have constructed a
3147 temporary, and then the function body would have never
3148 changed the value of P. However, now, we will be
3149 constructing VAR directly. The constructor body may
3150 change its value multiple times as it is being
3151 constructed. Therefore, it must not be TREE_READONLY;
3152 the back-end assumes that TREE_READONLY variable is
3153 assigned to only once. */
3154 if (TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (p)))
3155 TREE_READONLY (var) = 0;
3157 /* If there is no setup required and we are in SSA, take the easy route
3158 replacing all SSA names representing the function parameter by the
3159 SSA name passed to function.
3161 We need to construct map for the variable anyway as it might be used
3162 in different SSA names when parameter is set in function.
3164 Do replacement at -O0 for const arguments replaced by constant.
3165 This is important for builtin_constant_p and other construct requiring
3166 constant argument to be visible in inlined function body. */
3167 if (gimple_in_ssa_p (cfun) && rhs && def && is_gimple_reg (p)
3168 && (optimize
3169 || (TREE_READONLY (p)
3170 && is_gimple_min_invariant (rhs)))
3171 && (TREE_CODE (rhs) == SSA_NAME
3172 || is_gimple_min_invariant (rhs))
3173 && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def))
3175 insert_decl_map (id, def, rhs);
3176 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3179 /* If the value of argument is never used, don't care about initializing
3180 it. */
3181 if (optimize && gimple_in_ssa_p (cfun) && !def && is_gimple_reg (p))
3183 gcc_assert (!value || !TREE_SIDE_EFFECTS (value));
3184 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3187 /* Initialize this VAR_DECL from the equivalent argument. Convert
3188 the argument to the proper type in case it was promoted. */
3189 if (value)
3191 if (rhs == error_mark_node)
3193 insert_decl_map (id, p, var);
3194 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3197 STRIP_USELESS_TYPE_CONVERSION (rhs);
3199 /* If we are in SSA form properly remap the default definition
3200 or assign to a dummy SSA name if the parameter is unused and
3201 we are not optimizing. */
3202 if (gimple_in_ssa_p (cfun) && is_gimple_reg (p))
3204 if (def)
3206 def = remap_ssa_name (def, id);
3207 init_stmt = gimple_build_assign (def, rhs);
3208 SSA_NAME_IS_DEFAULT_DEF (def) = 0;
3209 set_ssa_default_def (cfun, var, NULL);
3211 else if (!optimize)
3213 def = make_ssa_name (var);
3214 init_stmt = gimple_build_assign (def, rhs);
3217 else
3218 init_stmt = gimple_build_assign (var, rhs);
3220 if (bb && init_stmt)
3221 insert_init_stmt (id, bb, init_stmt);
3223 return init_stmt;
3226 /* Generate code to initialize the parameters of the function at the
3227 top of the stack in ID from the GIMPLE_CALL STMT. */
3229 static void
3230 initialize_inlined_parameters (copy_body_data *id, gimple *stmt,
3231 tree fn, basic_block bb)
3233 tree parms;
3234 size_t i;
3235 tree p;
3236 tree vars = NULL_TREE;
3237 tree static_chain = gimple_call_chain (stmt);
3239 /* Figure out what the parameters are. */
3240 parms = DECL_ARGUMENTS (fn);
3242 /* Loop through the parameter declarations, replacing each with an
3243 equivalent VAR_DECL, appropriately initialized. */
3244 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3246 tree val;
3247 val = i < gimple_call_num_args (stmt) ? gimple_call_arg (stmt, i) : NULL;
3248 setup_one_parameter (id, p, val, fn, bb, &vars);
3250 /* After remapping parameters remap their types. This has to be done
3251 in a second loop over all parameters to appropriately remap
3252 variable sized arrays when the size is specified in a
3253 parameter following the array. */
3254 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3256 tree *varp = id->decl_map->get (p);
3257 if (varp && VAR_P (*varp))
3259 tree def = (gimple_in_ssa_p (cfun) && is_gimple_reg (p)
3260 ? ssa_default_def (id->src_cfun, p) : NULL);
3261 tree var = *varp;
3262 TREE_TYPE (var) = remap_type (TREE_TYPE (var), id);
3263 /* Also remap the default definition if it was remapped
3264 to the default definition of the parameter replacement
3265 by the parameter setup. */
3266 if (def)
3268 tree *defp = id->decl_map->get (def);
3269 if (defp
3270 && TREE_CODE (*defp) == SSA_NAME
3271 && SSA_NAME_VAR (*defp) == var)
3272 TREE_TYPE (*defp) = TREE_TYPE (var);
3277 /* Initialize the static chain. */
3278 p = DECL_STRUCT_FUNCTION (fn)->static_chain_decl;
3279 gcc_assert (fn != current_function_decl);
3280 if (p)
3282 /* No static chain? Seems like a bug in tree-nested.c. */
3283 gcc_assert (static_chain);
3285 setup_one_parameter (id, p, static_chain, fn, bb, &vars);
3288 declare_inline_vars (id->block, vars);
3292 /* Declare a return variable to replace the RESULT_DECL for the
3293 function we are calling. An appropriate DECL_STMT is returned.
3294 The USE_STMT is filled to contain a use of the declaration to
3295 indicate the return value of the function.
3297 RETURN_SLOT, if non-null is place where to store the result. It
3298 is set only for CALL_EXPR_RETURN_SLOT_OPT. MODIFY_DEST, if non-null,
3299 was the LHS of the MODIFY_EXPR to which this call is the RHS.
3301 The return value is a (possibly null) value that holds the result
3302 as seen by the caller. */
3304 static tree
3305 declare_return_variable (copy_body_data *id, tree return_slot, tree modify_dest,
3306 basic_block entry_bb)
3308 tree callee = id->src_fn;
3309 tree result = DECL_RESULT (callee);
3310 tree callee_type = TREE_TYPE (result);
3311 tree caller_type;
3312 tree var, use;
3314 /* Handle type-mismatches in the function declaration return type
3315 vs. the call expression. */
3316 if (modify_dest)
3317 caller_type = TREE_TYPE (modify_dest);
3318 else
3319 caller_type = TREE_TYPE (TREE_TYPE (callee));
3321 /* We don't need to do anything for functions that don't return anything. */
3322 if (VOID_TYPE_P (callee_type))
3323 return NULL_TREE;
3325 /* If there was a return slot, then the return value is the
3326 dereferenced address of that object. */
3327 if (return_slot)
3329 /* The front end shouldn't have used both return_slot and
3330 a modify expression. */
3331 gcc_assert (!modify_dest);
3332 if (DECL_BY_REFERENCE (result))
3334 tree return_slot_addr = build_fold_addr_expr (return_slot);
3335 STRIP_USELESS_TYPE_CONVERSION (return_slot_addr);
3337 /* We are going to construct *&return_slot and we can't do that
3338 for variables believed to be not addressable.
3340 FIXME: This check possibly can match, because values returned
3341 via return slot optimization are not believed to have address
3342 taken by alias analysis. */
3343 gcc_assert (TREE_CODE (return_slot) != SSA_NAME);
3344 var = return_slot_addr;
3346 else
3348 var = return_slot;
3349 gcc_assert (TREE_CODE (var) != SSA_NAME);
3350 if (TREE_ADDRESSABLE (result))
3351 mark_addressable (var);
3353 if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3354 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3355 && !DECL_GIMPLE_REG_P (result)
3356 && DECL_P (var))
3357 DECL_GIMPLE_REG_P (var) = 0;
3358 use = NULL;
3359 goto done;
3362 /* All types requiring non-trivial constructors should have been handled. */
3363 gcc_assert (!TREE_ADDRESSABLE (callee_type));
3365 /* Attempt to avoid creating a new temporary variable. */
3366 if (modify_dest
3367 && TREE_CODE (modify_dest) != SSA_NAME)
3369 bool use_it = false;
3371 /* We can't use MODIFY_DEST if there's type promotion involved. */
3372 if (!useless_type_conversion_p (callee_type, caller_type))
3373 use_it = false;
3375 /* ??? If we're assigning to a variable sized type, then we must
3376 reuse the destination variable, because we've no good way to
3377 create variable sized temporaries at this point. */
3378 else if (TREE_CODE (TYPE_SIZE_UNIT (caller_type)) != INTEGER_CST)
3379 use_it = true;
3381 /* If the callee cannot possibly modify MODIFY_DEST, then we can
3382 reuse it as the result of the call directly. Don't do this if
3383 it would promote MODIFY_DEST to addressable. */
3384 else if (TREE_ADDRESSABLE (result))
3385 use_it = false;
3386 else
3388 tree base_m = get_base_address (modify_dest);
3390 /* If the base isn't a decl, then it's a pointer, and we don't
3391 know where that's going to go. */
3392 if (!DECL_P (base_m))
3393 use_it = false;
3394 else if (is_global_var (base_m))
3395 use_it = false;
3396 else if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3397 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3398 && !DECL_GIMPLE_REG_P (result)
3399 && DECL_GIMPLE_REG_P (base_m))
3400 use_it = false;
3401 else if (!TREE_ADDRESSABLE (base_m))
3402 use_it = true;
3405 if (use_it)
3407 var = modify_dest;
3408 use = NULL;
3409 goto done;
3413 gcc_assert (TREE_CODE (TYPE_SIZE_UNIT (callee_type)) == INTEGER_CST);
3415 var = copy_result_decl_to_var (result, id);
3416 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3418 /* Do not have the rest of GCC warn about this variable as it should
3419 not be visible to the user. */
3420 TREE_NO_WARNING (var) = 1;
3422 declare_inline_vars (id->block, var);
3424 /* Build the use expr. If the return type of the function was
3425 promoted, convert it back to the expected type. */
3426 use = var;
3427 if (!useless_type_conversion_p (caller_type, TREE_TYPE (var)))
3429 /* If we can match up types by promotion/demotion do so. */
3430 if (fold_convertible_p (caller_type, var))
3431 use = fold_convert (caller_type, var);
3432 else
3434 /* ??? For valid programs we should not end up here.
3435 Still if we end up with truly mismatched types here, fall back
3436 to using a MEM_REF to not leak invalid GIMPLE to the following
3437 passes. */
3438 /* Prevent var from being written into SSA form. */
3439 if (TREE_CODE (TREE_TYPE (var)) == VECTOR_TYPE
3440 || TREE_CODE (TREE_TYPE (var)) == COMPLEX_TYPE)
3441 DECL_GIMPLE_REG_P (var) = false;
3442 else if (is_gimple_reg_type (TREE_TYPE (var)))
3443 TREE_ADDRESSABLE (var) = true;
3444 use = fold_build2 (MEM_REF, caller_type,
3445 build_fold_addr_expr (var),
3446 build_int_cst (ptr_type_node, 0));
3450 STRIP_USELESS_TYPE_CONVERSION (use);
3452 if (DECL_BY_REFERENCE (result))
3454 TREE_ADDRESSABLE (var) = 1;
3455 var = build_fold_addr_expr (var);
3458 done:
3459 /* Register the VAR_DECL as the equivalent for the RESULT_DECL; that
3460 way, when the RESULT_DECL is encountered, it will be
3461 automatically replaced by the VAR_DECL.
3463 When returning by reference, ensure that RESULT_DECL remaps to
3464 gimple_val. */
3465 if (DECL_BY_REFERENCE (result)
3466 && !is_gimple_val (var))
3468 tree temp = create_tmp_var (TREE_TYPE (result), "retvalptr");
3469 insert_decl_map (id, result, temp);
3470 /* When RESULT_DECL is in SSA form, we need to remap and initialize
3471 it's default_def SSA_NAME. */
3472 if (gimple_in_ssa_p (id->src_cfun)
3473 && is_gimple_reg (result))
3475 temp = make_ssa_name (temp);
3476 insert_decl_map (id, ssa_default_def (id->src_cfun, result), temp);
3478 insert_init_stmt (id, entry_bb, gimple_build_assign (temp, var));
3480 else
3481 insert_decl_map (id, result, var);
3483 /* Remember this so we can ignore it in remap_decls. */
3484 id->retvar = var;
3485 return use;
3488 /* Determine if the function can be copied. If so return NULL. If
3489 not return a string describng the reason for failure. */
3491 const char *
3492 copy_forbidden (struct function *fun)
3494 const char *reason = fun->cannot_be_copied_reason;
3496 /* Only examine the function once. */
3497 if (fun->cannot_be_copied_set)
3498 return reason;
3500 /* We cannot copy a function that receives a non-local goto
3501 because we cannot remap the destination label used in the
3502 function that is performing the non-local goto. */
3503 /* ??? Actually, this should be possible, if we work at it.
3504 No doubt there's just a handful of places that simply
3505 assume it doesn't happen and don't substitute properly. */
3506 if (fun->has_nonlocal_label)
3508 reason = G_("function %q+F can never be copied "
3509 "because it receives a non-local goto");
3510 goto fail;
3513 if (fun->has_forced_label_in_static)
3515 reason = G_("function %q+F can never be copied because it saves "
3516 "address of local label in a static variable");
3517 goto fail;
3520 fail:
3521 fun->cannot_be_copied_reason = reason;
3522 fun->cannot_be_copied_set = true;
3523 return reason;
3527 static const char *inline_forbidden_reason;
3529 /* A callback for walk_gimple_seq to handle statements. Returns non-null
3530 iff a function can not be inlined. Also sets the reason why. */
3532 static tree
3533 inline_forbidden_p_stmt (gimple_stmt_iterator *gsi, bool *handled_ops_p,
3534 struct walk_stmt_info *wip)
3536 tree fn = (tree) wip->info;
3537 tree t;
3538 gimple *stmt = gsi_stmt (*gsi);
3540 switch (gimple_code (stmt))
3542 case GIMPLE_CALL:
3543 /* Refuse to inline alloca call unless user explicitly forced so as
3544 this may change program's memory overhead drastically when the
3545 function using alloca is called in loop. In GCC present in
3546 SPEC2000 inlining into schedule_block cause it to require 2GB of
3547 RAM instead of 256MB. Don't do so for alloca calls emitted for
3548 VLA objects as those can't cause unbounded growth (they're always
3549 wrapped inside stack_save/stack_restore regions. */
3550 if (gimple_maybe_alloca_call_p (stmt)
3551 && !gimple_call_alloca_for_var_p (as_a <gcall *> (stmt))
3552 && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)))
3554 inline_forbidden_reason
3555 = G_("function %q+F can never be inlined because it uses "
3556 "alloca (override using the always_inline attribute)");
3557 *handled_ops_p = true;
3558 return fn;
3561 t = gimple_call_fndecl (stmt);
3562 if (t == NULL_TREE)
3563 break;
3565 /* We cannot inline functions that call setjmp. */
3566 if (setjmp_call_p (t))
3568 inline_forbidden_reason
3569 = G_("function %q+F can never be inlined because it uses setjmp");
3570 *handled_ops_p = true;
3571 return t;
3574 if (DECL_BUILT_IN_CLASS (t) == BUILT_IN_NORMAL)
3575 switch (DECL_FUNCTION_CODE (t))
3577 /* We cannot inline functions that take a variable number of
3578 arguments. */
3579 case BUILT_IN_VA_START:
3580 case BUILT_IN_NEXT_ARG:
3581 case BUILT_IN_VA_END:
3582 inline_forbidden_reason
3583 = G_("function %q+F can never be inlined because it "
3584 "uses variable argument lists");
3585 *handled_ops_p = true;
3586 return t;
3588 case BUILT_IN_LONGJMP:
3589 /* We can't inline functions that call __builtin_longjmp at
3590 all. The non-local goto machinery really requires the
3591 destination be in a different function. If we allow the
3592 function calling __builtin_longjmp to be inlined into the
3593 function calling __builtin_setjmp, Things will Go Awry. */
3594 inline_forbidden_reason
3595 = G_("function %q+F can never be inlined because "
3596 "it uses setjmp-longjmp exception handling");
3597 *handled_ops_p = true;
3598 return t;
3600 case BUILT_IN_NONLOCAL_GOTO:
3601 /* Similarly. */
3602 inline_forbidden_reason
3603 = G_("function %q+F can never be inlined because "
3604 "it uses non-local goto");
3605 *handled_ops_p = true;
3606 return t;
3608 case BUILT_IN_RETURN:
3609 case BUILT_IN_APPLY_ARGS:
3610 /* If a __builtin_apply_args caller would be inlined,
3611 it would be saving arguments of the function it has
3612 been inlined into. Similarly __builtin_return would
3613 return from the function the inline has been inlined into. */
3614 inline_forbidden_reason
3615 = G_("function %q+F can never be inlined because "
3616 "it uses __builtin_return or __builtin_apply_args");
3617 *handled_ops_p = true;
3618 return t;
3620 default:
3621 break;
3623 break;
3625 case GIMPLE_GOTO:
3626 t = gimple_goto_dest (stmt);
3628 /* We will not inline a function which uses computed goto. The
3629 addresses of its local labels, which may be tucked into
3630 global storage, are of course not constant across
3631 instantiations, which causes unexpected behavior. */
3632 if (TREE_CODE (t) != LABEL_DECL)
3634 inline_forbidden_reason
3635 = G_("function %q+F can never be inlined "
3636 "because it contains a computed goto");
3637 *handled_ops_p = true;
3638 return t;
3640 break;
3642 default:
3643 break;
3646 *handled_ops_p = false;
3647 return NULL_TREE;
3650 /* Return true if FNDECL is a function that cannot be inlined into
3651 another one. */
3653 static bool
3654 inline_forbidden_p (tree fndecl)
3656 struct function *fun = DECL_STRUCT_FUNCTION (fndecl);
3657 struct walk_stmt_info wi;
3658 basic_block bb;
3659 bool forbidden_p = false;
3661 /* First check for shared reasons not to copy the code. */
3662 inline_forbidden_reason = copy_forbidden (fun);
3663 if (inline_forbidden_reason != NULL)
3664 return true;
3666 /* Next, walk the statements of the function looking for
3667 constraucts we can't handle, or are non-optimal for inlining. */
3668 hash_set<tree> visited_nodes;
3669 memset (&wi, 0, sizeof (wi));
3670 wi.info = (void *) fndecl;
3671 wi.pset = &visited_nodes;
3673 FOR_EACH_BB_FN (bb, fun)
3675 gimple *ret;
3676 gimple_seq seq = bb_seq (bb);
3677 ret = walk_gimple_seq (seq, inline_forbidden_p_stmt, NULL, &wi);
3678 forbidden_p = (ret != NULL);
3679 if (forbidden_p)
3680 break;
3683 return forbidden_p;
3686 /* Return false if the function FNDECL cannot be inlined on account of its
3687 attributes, true otherwise. */
3688 static bool
3689 function_attribute_inlinable_p (const_tree fndecl)
3691 if (targetm.attribute_table)
3693 const_tree a;
3695 for (a = DECL_ATTRIBUTES (fndecl); a; a = TREE_CHAIN (a))
3697 const_tree name = TREE_PURPOSE (a);
3698 int i;
3700 for (i = 0; targetm.attribute_table[i].name != NULL; i++)
3701 if (is_attribute_p (targetm.attribute_table[i].name, name))
3702 return targetm.function_attribute_inlinable_p (fndecl);
3706 return true;
3709 /* Returns nonzero if FN is a function that does not have any
3710 fundamental inline blocking properties. */
3712 bool
3713 tree_inlinable_function_p (tree fn)
3715 bool inlinable = true;
3716 bool do_warning;
3717 tree always_inline;
3719 /* If we've already decided this function shouldn't be inlined,
3720 there's no need to check again. */
3721 if (DECL_UNINLINABLE (fn))
3722 return false;
3724 /* We only warn for functions declared `inline' by the user. */
3725 do_warning = (warn_inline
3726 && DECL_DECLARED_INLINE_P (fn)
3727 && !DECL_NO_INLINE_WARNING_P (fn)
3728 && !DECL_IN_SYSTEM_HEADER (fn));
3730 always_inline = lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn));
3732 if (flag_no_inline
3733 && always_inline == NULL)
3735 if (do_warning)
3736 warning (OPT_Winline, "function %q+F can never be inlined because it "
3737 "is suppressed using -fno-inline", fn);
3738 inlinable = false;
3741 else if (!function_attribute_inlinable_p (fn))
3743 if (do_warning)
3744 warning (OPT_Winline, "function %q+F can never be inlined because it "
3745 "uses attributes conflicting with inlining", fn);
3746 inlinable = false;
3749 else if (inline_forbidden_p (fn))
3751 /* See if we should warn about uninlinable functions. Previously,
3752 some of these warnings would be issued while trying to expand
3753 the function inline, but that would cause multiple warnings
3754 about functions that would for example call alloca. But since
3755 this a property of the function, just one warning is enough.
3756 As a bonus we can now give more details about the reason why a
3757 function is not inlinable. */
3758 if (always_inline)
3759 error (inline_forbidden_reason, fn);
3760 else if (do_warning)
3761 warning (OPT_Winline, inline_forbidden_reason, fn);
3763 inlinable = false;
3766 /* Squirrel away the result so that we don't have to check again. */
3767 DECL_UNINLINABLE (fn) = !inlinable;
3769 return inlinable;
3772 /* Estimate the cost of a memory move of type TYPE. Use machine dependent
3773 word size and take possible memcpy call into account and return
3774 cost based on whether optimizing for size or speed according to SPEED_P. */
3777 estimate_move_cost (tree type, bool ARG_UNUSED (speed_p))
3779 HOST_WIDE_INT size;
3781 gcc_assert (!VOID_TYPE_P (type));
3783 if (TREE_CODE (type) == VECTOR_TYPE)
3785 scalar_mode inner = SCALAR_TYPE_MODE (TREE_TYPE (type));
3786 machine_mode simd = targetm.vectorize.preferred_simd_mode (inner);
3787 int orig_mode_size
3788 = estimated_poly_value (GET_MODE_SIZE (TYPE_MODE (type)));
3789 int simd_mode_size = estimated_poly_value (GET_MODE_SIZE (simd));
3790 return ((orig_mode_size + simd_mode_size - 1)
3791 / simd_mode_size);
3794 size = int_size_in_bytes (type);
3796 if (size < 0 || size > MOVE_MAX_PIECES * MOVE_RATIO (speed_p))
3797 /* Cost of a memcpy call, 3 arguments and the call. */
3798 return 4;
3799 else
3800 return ((size + MOVE_MAX_PIECES - 1) / MOVE_MAX_PIECES);
3803 /* Returns cost of operation CODE, according to WEIGHTS */
3805 static int
3806 estimate_operator_cost (enum tree_code code, eni_weights *weights,
3807 tree op1 ATTRIBUTE_UNUSED, tree op2)
3809 switch (code)
3811 /* These are "free" conversions, or their presumed cost
3812 is folded into other operations. */
3813 case RANGE_EXPR:
3814 CASE_CONVERT:
3815 case COMPLEX_EXPR:
3816 case PAREN_EXPR:
3817 case VIEW_CONVERT_EXPR:
3818 return 0;
3820 /* Assign cost of 1 to usual operations.
3821 ??? We may consider mapping RTL costs to this. */
3822 case COND_EXPR:
3823 case VEC_COND_EXPR:
3824 case VEC_PERM_EXPR:
3826 case PLUS_EXPR:
3827 case POINTER_PLUS_EXPR:
3828 case POINTER_DIFF_EXPR:
3829 case MINUS_EXPR:
3830 case MULT_EXPR:
3831 case MULT_HIGHPART_EXPR:
3833 case ADDR_SPACE_CONVERT_EXPR:
3834 case FIXED_CONVERT_EXPR:
3835 case FIX_TRUNC_EXPR:
3837 case NEGATE_EXPR:
3838 case FLOAT_EXPR:
3839 case MIN_EXPR:
3840 case MAX_EXPR:
3841 case ABS_EXPR:
3842 case ABSU_EXPR:
3844 case LSHIFT_EXPR:
3845 case RSHIFT_EXPR:
3846 case LROTATE_EXPR:
3847 case RROTATE_EXPR:
3849 case BIT_IOR_EXPR:
3850 case BIT_XOR_EXPR:
3851 case BIT_AND_EXPR:
3852 case BIT_NOT_EXPR:
3854 case TRUTH_ANDIF_EXPR:
3855 case TRUTH_ORIF_EXPR:
3856 case TRUTH_AND_EXPR:
3857 case TRUTH_OR_EXPR:
3858 case TRUTH_XOR_EXPR:
3859 case TRUTH_NOT_EXPR:
3861 case LT_EXPR:
3862 case LE_EXPR:
3863 case GT_EXPR:
3864 case GE_EXPR:
3865 case EQ_EXPR:
3866 case NE_EXPR:
3867 case ORDERED_EXPR:
3868 case UNORDERED_EXPR:
3870 case UNLT_EXPR:
3871 case UNLE_EXPR:
3872 case UNGT_EXPR:
3873 case UNGE_EXPR:
3874 case UNEQ_EXPR:
3875 case LTGT_EXPR:
3877 case CONJ_EXPR:
3879 case PREDECREMENT_EXPR:
3880 case PREINCREMENT_EXPR:
3881 case POSTDECREMENT_EXPR:
3882 case POSTINCREMENT_EXPR:
3884 case REALIGN_LOAD_EXPR:
3886 case WIDEN_SUM_EXPR:
3887 case WIDEN_MULT_EXPR:
3888 case DOT_PROD_EXPR:
3889 case SAD_EXPR:
3890 case WIDEN_MULT_PLUS_EXPR:
3891 case WIDEN_MULT_MINUS_EXPR:
3892 case WIDEN_LSHIFT_EXPR:
3894 case VEC_WIDEN_MULT_HI_EXPR:
3895 case VEC_WIDEN_MULT_LO_EXPR:
3896 case VEC_WIDEN_MULT_EVEN_EXPR:
3897 case VEC_WIDEN_MULT_ODD_EXPR:
3898 case VEC_UNPACK_HI_EXPR:
3899 case VEC_UNPACK_LO_EXPR:
3900 case VEC_UNPACK_FLOAT_HI_EXPR:
3901 case VEC_UNPACK_FLOAT_LO_EXPR:
3902 case VEC_UNPACK_FIX_TRUNC_HI_EXPR:
3903 case VEC_UNPACK_FIX_TRUNC_LO_EXPR:
3904 case VEC_PACK_TRUNC_EXPR:
3905 case VEC_PACK_SAT_EXPR:
3906 case VEC_PACK_FIX_TRUNC_EXPR:
3907 case VEC_PACK_FLOAT_EXPR:
3908 case VEC_WIDEN_LSHIFT_HI_EXPR:
3909 case VEC_WIDEN_LSHIFT_LO_EXPR:
3910 case VEC_DUPLICATE_EXPR:
3911 case VEC_SERIES_EXPR:
3913 return 1;
3915 /* Few special cases of expensive operations. This is useful
3916 to avoid inlining on functions having too many of these. */
3917 case TRUNC_DIV_EXPR:
3918 case CEIL_DIV_EXPR:
3919 case FLOOR_DIV_EXPR:
3920 case ROUND_DIV_EXPR:
3921 case EXACT_DIV_EXPR:
3922 case TRUNC_MOD_EXPR:
3923 case CEIL_MOD_EXPR:
3924 case FLOOR_MOD_EXPR:
3925 case ROUND_MOD_EXPR:
3926 case RDIV_EXPR:
3927 if (TREE_CODE (op2) != INTEGER_CST)
3928 return weights->div_mod_cost;
3929 return 1;
3931 /* Bit-field insertion needs several shift and mask operations. */
3932 case BIT_INSERT_EXPR:
3933 return 3;
3935 default:
3936 /* We expect a copy assignment with no operator. */
3937 gcc_assert (get_gimple_rhs_class (code) == GIMPLE_SINGLE_RHS);
3938 return 0;
3943 /* Estimate number of instructions that will be created by expanding
3944 the statements in the statement sequence STMTS.
3945 WEIGHTS contains weights attributed to various constructs. */
3948 estimate_num_insns_seq (gimple_seq stmts, eni_weights *weights)
3950 int cost;
3951 gimple_stmt_iterator gsi;
3953 cost = 0;
3954 for (gsi = gsi_start (stmts); !gsi_end_p (gsi); gsi_next (&gsi))
3955 cost += estimate_num_insns (gsi_stmt (gsi), weights);
3957 return cost;
3961 /* Estimate number of instructions that will be created by expanding STMT.
3962 WEIGHTS contains weights attributed to various constructs. */
3965 estimate_num_insns (gimple *stmt, eni_weights *weights)
3967 unsigned cost, i;
3968 enum gimple_code code = gimple_code (stmt);
3969 tree lhs;
3970 tree rhs;
3972 switch (code)
3974 case GIMPLE_ASSIGN:
3975 /* Try to estimate the cost of assignments. We have three cases to
3976 deal with:
3977 1) Simple assignments to registers;
3978 2) Stores to things that must live in memory. This includes
3979 "normal" stores to scalars, but also assignments of large
3980 structures, or constructors of big arrays;
3982 Let us look at the first two cases, assuming we have "a = b + C":
3983 <GIMPLE_ASSIGN <var_decl "a">
3984 <plus_expr <var_decl "b"> <constant C>>
3985 If "a" is a GIMPLE register, the assignment to it is free on almost
3986 any target, because "a" usually ends up in a real register. Hence
3987 the only cost of this expression comes from the PLUS_EXPR, and we
3988 can ignore the GIMPLE_ASSIGN.
3989 If "a" is not a GIMPLE register, the assignment to "a" will most
3990 likely be a real store, so the cost of the GIMPLE_ASSIGN is the cost
3991 of moving something into "a", which we compute using the function
3992 estimate_move_cost. */
3993 if (gimple_clobber_p (stmt))
3994 return 0; /* ={v} {CLOBBER} stmt expands to nothing. */
3996 lhs = gimple_assign_lhs (stmt);
3997 rhs = gimple_assign_rhs1 (stmt);
3999 cost = 0;
4001 /* Account for the cost of moving to / from memory. */
4002 if (gimple_store_p (stmt))
4003 cost += estimate_move_cost (TREE_TYPE (lhs), weights->time_based);
4004 if (gimple_assign_load_p (stmt))
4005 cost += estimate_move_cost (TREE_TYPE (rhs), weights->time_based);
4007 cost += estimate_operator_cost (gimple_assign_rhs_code (stmt), weights,
4008 gimple_assign_rhs1 (stmt),
4009 get_gimple_rhs_class (gimple_assign_rhs_code (stmt))
4010 == GIMPLE_BINARY_RHS
4011 ? gimple_assign_rhs2 (stmt) : NULL);
4012 break;
4014 case GIMPLE_COND:
4015 cost = 1 + estimate_operator_cost (gimple_cond_code (stmt), weights,
4016 gimple_op (stmt, 0),
4017 gimple_op (stmt, 1));
4018 break;
4020 case GIMPLE_SWITCH:
4022 gswitch *switch_stmt = as_a <gswitch *> (stmt);
4023 /* Take into account cost of the switch + guess 2 conditional jumps for
4024 each case label.
4026 TODO: once the switch expansion logic is sufficiently separated, we can
4027 do better job on estimating cost of the switch. */
4028 if (weights->time_based)
4029 cost = floor_log2 (gimple_switch_num_labels (switch_stmt)) * 2;
4030 else
4031 cost = gimple_switch_num_labels (switch_stmt) * 2;
4033 break;
4035 case GIMPLE_CALL:
4037 tree decl;
4039 if (gimple_call_internal_p (stmt))
4040 return 0;
4041 else if ((decl = gimple_call_fndecl (stmt))
4042 && fndecl_built_in_p (decl))
4044 /* Do not special case builtins where we see the body.
4045 This just confuse inliner. */
4046 struct cgraph_node *node;
4047 if (!(node = cgraph_node::get (decl))
4048 || node->definition)
4050 /* For buitins that are likely expanded to nothing or
4051 inlined do not account operand costs. */
4052 else if (is_simple_builtin (decl))
4053 return 0;
4054 else if (is_inexpensive_builtin (decl))
4055 return weights->target_builtin_call_cost;
4056 else if (gimple_call_builtin_p (stmt, BUILT_IN_NORMAL))
4058 /* We canonicalize x * x to pow (x, 2.0) with -ffast-math, so
4059 specialize the cheap expansion we do here.
4060 ??? This asks for a more general solution. */
4061 switch (DECL_FUNCTION_CODE (decl))
4063 case BUILT_IN_POW:
4064 case BUILT_IN_POWF:
4065 case BUILT_IN_POWL:
4066 if (TREE_CODE (gimple_call_arg (stmt, 1)) == REAL_CST
4067 && (real_equal
4068 (&TREE_REAL_CST (gimple_call_arg (stmt, 1)),
4069 &dconst2)))
4070 return estimate_operator_cost
4071 (MULT_EXPR, weights, gimple_call_arg (stmt, 0),
4072 gimple_call_arg (stmt, 0));
4073 break;
4075 default:
4076 break;
4081 cost = decl ? weights->call_cost : weights->indirect_call_cost;
4082 if (gimple_call_lhs (stmt))
4083 cost += estimate_move_cost (TREE_TYPE (gimple_call_lhs (stmt)),
4084 weights->time_based);
4085 for (i = 0; i < gimple_call_num_args (stmt); i++)
4087 tree arg = gimple_call_arg (stmt, i);
4088 cost += estimate_move_cost (TREE_TYPE (arg),
4089 weights->time_based);
4091 break;
4094 case GIMPLE_RETURN:
4095 return weights->return_cost;
4097 case GIMPLE_GOTO:
4098 case GIMPLE_LABEL:
4099 case GIMPLE_NOP:
4100 case GIMPLE_PHI:
4101 case GIMPLE_PREDICT:
4102 case GIMPLE_DEBUG:
4103 return 0;
4105 case GIMPLE_ASM:
4107 int count = asm_str_count (gimple_asm_string (as_a <gasm *> (stmt)));
4108 /* 1000 means infinity. This avoids overflows later
4109 with very long asm statements. */
4110 if (count > 1000)
4111 count = 1000;
4112 /* If this asm is asm inline, count anything as minimum size. */
4113 if (gimple_asm_inline_p (as_a <gasm *> (stmt)))
4114 count = MIN (1, count);
4115 return MAX (1, count);
4118 case GIMPLE_RESX:
4119 /* This is either going to be an external function call with one
4120 argument, or two register copy statements plus a goto. */
4121 return 2;
4123 case GIMPLE_EH_DISPATCH:
4124 /* ??? This is going to turn into a switch statement. Ideally
4125 we'd have a look at the eh region and estimate the number of
4126 edges involved. */
4127 return 10;
4129 case GIMPLE_BIND:
4130 return estimate_num_insns_seq (
4131 gimple_bind_body (as_a <gbind *> (stmt)),
4132 weights);
4134 case GIMPLE_EH_FILTER:
4135 return estimate_num_insns_seq (gimple_eh_filter_failure (stmt), weights);
4137 case GIMPLE_CATCH:
4138 return estimate_num_insns_seq (gimple_catch_handler (
4139 as_a <gcatch *> (stmt)),
4140 weights);
4142 case GIMPLE_TRY:
4143 return (estimate_num_insns_seq (gimple_try_eval (stmt), weights)
4144 + estimate_num_insns_seq (gimple_try_cleanup (stmt), weights));
4146 /* OMP directives are generally very expensive. */
4148 case GIMPLE_OMP_RETURN:
4149 case GIMPLE_OMP_SECTIONS_SWITCH:
4150 case GIMPLE_OMP_ATOMIC_STORE:
4151 case GIMPLE_OMP_CONTINUE:
4152 /* ...except these, which are cheap. */
4153 return 0;
4155 case GIMPLE_OMP_ATOMIC_LOAD:
4156 return weights->omp_cost;
4158 case GIMPLE_OMP_FOR:
4159 return (weights->omp_cost
4160 + estimate_num_insns_seq (gimple_omp_body (stmt), weights)
4161 + estimate_num_insns_seq (gimple_omp_for_pre_body (stmt), weights));
4163 case GIMPLE_OMP_PARALLEL:
4164 case GIMPLE_OMP_TASK:
4165 case GIMPLE_OMP_CRITICAL:
4166 case GIMPLE_OMP_MASTER:
4167 case GIMPLE_OMP_TASKGROUP:
4168 case GIMPLE_OMP_ORDERED:
4169 case GIMPLE_OMP_SECTION:
4170 case GIMPLE_OMP_SECTIONS:
4171 case GIMPLE_OMP_SINGLE:
4172 case GIMPLE_OMP_TARGET:
4173 case GIMPLE_OMP_TEAMS:
4174 return (weights->omp_cost
4175 + estimate_num_insns_seq (gimple_omp_body (stmt), weights));
4177 case GIMPLE_TRANSACTION:
4178 return (weights->tm_cost
4179 + estimate_num_insns_seq (gimple_transaction_body (
4180 as_a <gtransaction *> (stmt)),
4181 weights));
4183 default:
4184 gcc_unreachable ();
4187 return cost;
4190 /* Estimate number of instructions that will be created by expanding
4191 function FNDECL. WEIGHTS contains weights attributed to various
4192 constructs. */
4195 estimate_num_insns_fn (tree fndecl, eni_weights *weights)
4197 struct function *my_function = DECL_STRUCT_FUNCTION (fndecl);
4198 gimple_stmt_iterator bsi;
4199 basic_block bb;
4200 int n = 0;
4202 gcc_assert (my_function && my_function->cfg);
4203 FOR_EACH_BB_FN (bb, my_function)
4205 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
4206 n += estimate_num_insns (gsi_stmt (bsi), weights);
4209 return n;
4213 /* Initializes weights used by estimate_num_insns. */
4215 void
4216 init_inline_once (void)
4218 eni_size_weights.call_cost = 1;
4219 eni_size_weights.indirect_call_cost = 3;
4220 eni_size_weights.target_builtin_call_cost = 1;
4221 eni_size_weights.div_mod_cost = 1;
4222 eni_size_weights.omp_cost = 40;
4223 eni_size_weights.tm_cost = 10;
4224 eni_size_weights.time_based = false;
4225 eni_size_weights.return_cost = 1;
4227 /* Estimating time for call is difficult, since we have no idea what the
4228 called function does. In the current uses of eni_time_weights,
4229 underestimating the cost does less harm than overestimating it, so
4230 we choose a rather small value here. */
4231 eni_time_weights.call_cost = 10;
4232 eni_time_weights.indirect_call_cost = 15;
4233 eni_time_weights.target_builtin_call_cost = 1;
4234 eni_time_weights.div_mod_cost = 10;
4235 eni_time_weights.omp_cost = 40;
4236 eni_time_weights.tm_cost = 40;
4237 eni_time_weights.time_based = true;
4238 eni_time_weights.return_cost = 2;
4242 /* Install new lexical TREE_BLOCK underneath 'current_block'. */
4244 static void
4245 prepend_lexical_block (tree current_block, tree new_block)
4247 BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (current_block);
4248 BLOCK_SUBBLOCKS (current_block) = new_block;
4249 BLOCK_SUPERCONTEXT (new_block) = current_block;
4252 /* Add local variables from CALLEE to CALLER. */
4254 static inline void
4255 add_local_variables (struct function *callee, struct function *caller,
4256 copy_body_data *id)
4258 tree var;
4259 unsigned ix;
4261 FOR_EACH_LOCAL_DECL (callee, ix, var)
4262 if (!can_be_nonlocal (var, id))
4264 tree new_var = remap_decl (var, id);
4266 /* Remap debug-expressions. */
4267 if (VAR_P (new_var)
4268 && DECL_HAS_DEBUG_EXPR_P (var)
4269 && new_var != var)
4271 tree tem = DECL_DEBUG_EXPR (var);
4272 bool old_regimplify = id->regimplify;
4273 id->remapping_type_depth++;
4274 walk_tree (&tem, copy_tree_body_r, id, NULL);
4275 id->remapping_type_depth--;
4276 id->regimplify = old_regimplify;
4277 SET_DECL_DEBUG_EXPR (new_var, tem);
4278 DECL_HAS_DEBUG_EXPR_P (new_var) = 1;
4280 add_local_decl (caller, new_var);
4284 /* Add to BINDINGS a debug stmt resetting SRCVAR if inlining might
4285 have brought in or introduced any debug stmts for SRCVAR. */
4287 static inline void
4288 reset_debug_binding (copy_body_data *id, tree srcvar, gimple_seq *bindings)
4290 tree *remappedvarp = id->decl_map->get (srcvar);
4292 if (!remappedvarp)
4293 return;
4295 if (!VAR_P (*remappedvarp))
4296 return;
4298 if (*remappedvarp == id->retvar)
4299 return;
4301 tree tvar = target_for_debug_bind (*remappedvarp);
4302 if (!tvar)
4303 return;
4305 gdebug *stmt = gimple_build_debug_bind (tvar, NULL_TREE,
4306 id->call_stmt);
4307 gimple_seq_add_stmt (bindings, stmt);
4310 /* For each inlined variable for which we may have debug bind stmts,
4311 add before GSI a final debug stmt resetting it, marking the end of
4312 its life, so that var-tracking knows it doesn't have to compute
4313 further locations for it. */
4315 static inline void
4316 reset_debug_bindings (copy_body_data *id, gimple_stmt_iterator gsi)
4318 tree var;
4319 unsigned ix;
4320 gimple_seq bindings = NULL;
4322 if (!gimple_in_ssa_p (id->src_cfun))
4323 return;
4325 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
4326 return;
4328 for (var = DECL_ARGUMENTS (id->src_fn);
4329 var; var = DECL_CHAIN (var))
4330 reset_debug_binding (id, var, &bindings);
4332 FOR_EACH_LOCAL_DECL (id->src_cfun, ix, var)
4333 reset_debug_binding (id, var, &bindings);
4335 gsi_insert_seq_before_without_update (&gsi, bindings, GSI_SAME_STMT);
4338 /* If STMT is a GIMPLE_CALL, replace it with its inline expansion. */
4340 static bool
4341 expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id)
4343 tree use_retvar;
4344 tree fn;
4345 hash_map<tree, tree> *dst;
4346 hash_map<tree, tree> *st = NULL;
4347 tree return_slot;
4348 tree modify_dest;
4349 struct cgraph_edge *cg_edge;
4350 cgraph_inline_failed_t reason;
4351 basic_block return_block;
4352 edge e;
4353 gimple_stmt_iterator gsi, stmt_gsi;
4354 bool successfully_inlined = false;
4355 bool purge_dead_abnormal_edges;
4356 gcall *call_stmt;
4357 unsigned int prop_mask, src_properties;
4358 struct function *dst_cfun;
4359 tree simduid;
4360 use_operand_p use;
4361 gimple *simtenter_stmt = NULL;
4362 vec<tree> *simtvars_save;
4364 /* The gimplifier uses input_location in too many places, such as
4365 internal_get_tmp_var (). */
4366 location_t saved_location = input_location;
4367 input_location = gimple_location (stmt);
4369 /* From here on, we're only interested in CALL_EXPRs. */
4370 call_stmt = dyn_cast <gcall *> (stmt);
4371 if (!call_stmt)
4372 goto egress;
4374 cg_edge = id->dst_node->get_edge (stmt);
4375 gcc_checking_assert (cg_edge);
4376 /* First, see if we can figure out what function is being called.
4377 If we cannot, then there is no hope of inlining the function. */
4378 if (cg_edge->indirect_unknown_callee)
4379 goto egress;
4380 fn = cg_edge->callee->decl;
4381 gcc_checking_assert (fn);
4383 /* If FN is a declaration of a function in a nested scope that was
4384 globally declared inline, we don't set its DECL_INITIAL.
4385 However, we can't blindly follow DECL_ABSTRACT_ORIGIN because the
4386 C++ front-end uses it for cdtors to refer to their internal
4387 declarations, that are not real functions. Fortunately those
4388 don't have trees to be saved, so we can tell by checking their
4389 gimple_body. */
4390 if (!DECL_INITIAL (fn)
4391 && DECL_ABSTRACT_ORIGIN (fn)
4392 && gimple_has_body_p (DECL_ABSTRACT_ORIGIN (fn)))
4393 fn = DECL_ABSTRACT_ORIGIN (fn);
4395 /* Don't try to inline functions that are not well-suited to inlining. */
4396 if (cg_edge->inline_failed)
4398 reason = cg_edge->inline_failed;
4399 /* If this call was originally indirect, we do not want to emit any
4400 inlining related warnings or sorry messages because there are no
4401 guarantees regarding those. */
4402 if (cg_edge->indirect_inlining_edge)
4403 goto egress;
4405 if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn))
4406 /* For extern inline functions that get redefined we always
4407 silently ignored always_inline flag. Better behavior would
4408 be to be able to keep both bodies and use extern inline body
4409 for inlining, but we can't do that because frontends overwrite
4410 the body. */
4411 && !cg_edge->callee->local.redefined_extern_inline
4412 /* During early inline pass, report only when optimization is
4413 not turned on. */
4414 && (symtab->global_info_ready
4415 || !optimize
4416 || cgraph_inline_failed_type (reason) == CIF_FINAL_ERROR)
4417 /* PR 20090218-1_0.c. Body can be provided by another module. */
4418 && (reason != CIF_BODY_NOT_AVAILABLE || !flag_generate_lto))
4420 error ("inlining failed in call to always_inline %q+F: %s", fn,
4421 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");
4428 else if (warn_inline
4429 && DECL_DECLARED_INLINE_P (fn)
4430 && !DECL_NO_INLINE_WARNING_P (fn)
4431 && !DECL_IN_SYSTEM_HEADER (fn)
4432 && reason != CIF_UNSPECIFIED
4433 && !lookup_attribute ("noinline", DECL_ATTRIBUTES (fn))
4434 /* Do not warn about not inlined recursive calls. */
4435 && !cg_edge->recursive_p ()
4436 /* Avoid warnings during early inline pass. */
4437 && symtab->global_info_ready)
4439 auto_diagnostic_group d;
4440 if (warning (OPT_Winline, "inlining failed in call to %q+F: %s",
4441 fn, _(cgraph_inline_failed_string (reason))))
4443 if (gimple_location (stmt) != UNKNOWN_LOCATION)
4444 inform (gimple_location (stmt), "called from here");
4445 else if (DECL_SOURCE_LOCATION (cfun->decl) != UNKNOWN_LOCATION)
4446 inform (DECL_SOURCE_LOCATION (cfun->decl),
4447 "called from this function");
4450 goto egress;
4452 id->src_node = cg_edge->callee;
4454 /* If callee is thunk, all we need is to adjust the THIS pointer
4455 and redirect to function being thunked. */
4456 if (id->src_node->thunk.thunk_p)
4458 cgraph_edge *edge;
4459 tree virtual_offset = NULL;
4460 profile_count count = cg_edge->count;
4461 tree op;
4462 gimple_stmt_iterator iter = gsi_for_stmt (stmt);
4464 cg_edge->remove ();
4465 edge = id->src_node->callees->clone (id->dst_node, call_stmt,
4466 gimple_uid (stmt),
4467 profile_count::one (),
4468 profile_count::one (),
4469 true);
4470 edge->count = count;
4471 if (id->src_node->thunk.virtual_offset_p)
4472 virtual_offset = size_int (id->src_node->thunk.virtual_value);
4473 op = create_tmp_reg_fn (cfun, TREE_TYPE (gimple_call_arg (stmt, 0)),
4474 NULL);
4475 gsi_insert_before (&iter, gimple_build_assign (op,
4476 gimple_call_arg (stmt, 0)),
4477 GSI_NEW_STMT);
4478 gcc_assert (id->src_node->thunk.this_adjusting);
4479 op = thunk_adjust (&iter, op, 1, id->src_node->thunk.fixed_offset,
4480 virtual_offset, id->src_node->thunk.indirect_offset);
4482 gimple_call_set_arg (stmt, 0, op);
4483 gimple_call_set_fndecl (stmt, edge->callee->decl);
4484 update_stmt (stmt);
4485 id->src_node->remove ();
4486 expand_call_inline (bb, stmt, id);
4487 maybe_remove_unused_call_args (cfun, stmt);
4488 return true;
4490 fn = cg_edge->callee->decl;
4491 cg_edge->callee->get_untransformed_body ();
4493 if (flag_checking && cg_edge->callee->decl != id->dst_node->decl)
4494 cg_edge->callee->verify ();
4496 /* We will be inlining this callee. */
4497 id->eh_lp_nr = lookup_stmt_eh_lp (stmt);
4498 id->assign_stmts.create (0);
4500 /* Update the callers EH personality. */
4501 if (DECL_FUNCTION_PERSONALITY (fn))
4502 DECL_FUNCTION_PERSONALITY (cg_edge->caller->decl)
4503 = DECL_FUNCTION_PERSONALITY (fn);
4505 /* Split the block before the GIMPLE_CALL. */
4506 stmt_gsi = gsi_for_stmt (stmt);
4507 gsi_prev (&stmt_gsi);
4508 e = split_block (bb, gsi_end_p (stmt_gsi) ? NULL : gsi_stmt (stmt_gsi));
4509 bb = e->src;
4510 return_block = e->dest;
4511 remove_edge (e);
4513 /* If the GIMPLE_CALL was in the last statement of BB, it may have
4514 been the source of abnormal edges. In this case, schedule
4515 the removal of dead abnormal edges. */
4516 gsi = gsi_start_bb (return_block);
4517 gsi_next (&gsi);
4518 purge_dead_abnormal_edges = gsi_end_p (gsi);
4520 stmt_gsi = gsi_start_bb (return_block);
4522 /* Build a block containing code to initialize the arguments, the
4523 actual inline expansion of the body, and a label for the return
4524 statements within the function to jump to. The type of the
4525 statement expression is the return type of the function call.
4526 ??? If the call does not have an associated block then we will
4527 remap all callee blocks to NULL, effectively dropping most of
4528 its debug information. This should only happen for calls to
4529 artificial decls inserted by the compiler itself. We need to
4530 either link the inlined blocks into the caller block tree or
4531 not refer to them in any way to not break GC for locations. */
4532 if (gimple_block (stmt))
4534 /* We do want to assign a not UNKNOWN_LOCATION BLOCK_SOURCE_LOCATION
4535 to make inlined_function_outer_scope_p return true on this BLOCK. */
4536 location_t loc = LOCATION_LOCUS (gimple_location (stmt));
4537 if (loc == UNKNOWN_LOCATION)
4538 loc = LOCATION_LOCUS (DECL_SOURCE_LOCATION (fn));
4539 if (loc == UNKNOWN_LOCATION)
4540 loc = BUILTINS_LOCATION;
4541 id->block = make_node (BLOCK);
4542 BLOCK_ABSTRACT_ORIGIN (id->block) = DECL_ORIGIN (fn);
4543 BLOCK_SOURCE_LOCATION (id->block) = loc;
4544 prepend_lexical_block (gimple_block (stmt), id->block);
4547 /* Local declarations will be replaced by their equivalents in this map. */
4548 st = id->decl_map;
4549 id->decl_map = new hash_map<tree, tree>;
4550 dst = id->debug_map;
4551 id->debug_map = NULL;
4553 /* Record the function we are about to inline. */
4554 id->src_fn = fn;
4555 id->src_cfun = DECL_STRUCT_FUNCTION (fn);
4556 id->reset_location = DECL_IGNORED_P (fn);
4557 id->call_stmt = call_stmt;
4559 /* When inlining into an OpenMP SIMD-on-SIMT loop, arrange for new automatic
4560 variables to be added to IFN_GOMP_SIMT_ENTER argument list. */
4561 dst_cfun = DECL_STRUCT_FUNCTION (id->dst_fn);
4562 simtvars_save = id->dst_simt_vars;
4563 if (!(dst_cfun->curr_properties & PROP_gimple_lomp_dev)
4564 && (simduid = bb->loop_father->simduid) != NULL_TREE
4565 && (simduid = ssa_default_def (dst_cfun, simduid)) != NULL_TREE
4566 && single_imm_use (simduid, &use, &simtenter_stmt)
4567 && is_gimple_call (simtenter_stmt)
4568 && gimple_call_internal_p (simtenter_stmt, IFN_GOMP_SIMT_ENTER))
4569 vec_alloc (id->dst_simt_vars, 0);
4570 else
4571 id->dst_simt_vars = NULL;
4573 if (profile_status_for_fn (id->src_cfun) == PROFILE_ABSENT)
4574 profile_status_for_fn (dst_cfun) = PROFILE_ABSENT;
4576 /* If the src function contains an IFN_VA_ARG, then so will the dst
4577 function after inlining. Likewise for IFN_GOMP_USE_SIMT. */
4578 prop_mask = PROP_gimple_lva | PROP_gimple_lomp_dev;
4579 src_properties = id->src_cfun->curr_properties & prop_mask;
4580 if (src_properties != prop_mask)
4581 dst_cfun->curr_properties &= src_properties | ~prop_mask;
4583 gcc_assert (!id->src_cfun->after_inlining);
4585 id->entry_bb = bb;
4586 if (lookup_attribute ("cold", DECL_ATTRIBUTES (fn)))
4588 gimple_stmt_iterator si = gsi_last_bb (bb);
4589 gsi_insert_after (&si, gimple_build_predict (PRED_COLD_FUNCTION,
4590 NOT_TAKEN),
4591 GSI_NEW_STMT);
4593 initialize_inlined_parameters (id, stmt, fn, bb);
4594 if (debug_nonbind_markers_p && debug_inline_points && id->block
4595 && inlined_function_outer_scope_p (id->block))
4597 gimple_stmt_iterator si = gsi_last_bb (bb);
4598 gsi_insert_after (&si, gimple_build_debug_inline_entry
4599 (id->block, DECL_SOURCE_LOCATION (id->src_fn)),
4600 GSI_NEW_STMT);
4603 if (DECL_INITIAL (fn))
4605 if (gimple_block (stmt))
4607 tree *var;
4609 prepend_lexical_block (id->block,
4610 remap_blocks (DECL_INITIAL (fn), id));
4611 gcc_checking_assert (BLOCK_SUBBLOCKS (id->block)
4612 && (BLOCK_CHAIN (BLOCK_SUBBLOCKS (id->block))
4613 == NULL_TREE));
4614 /* Move vars for PARM_DECLs from DECL_INITIAL block to id->block,
4615 otherwise for DWARF DW_TAG_formal_parameter will not be children of
4616 DW_TAG_inlined_subroutine, but of a DW_TAG_lexical_block
4617 under it. The parameters can be then evaluated in the debugger,
4618 but don't show in backtraces. */
4619 for (var = &BLOCK_VARS (BLOCK_SUBBLOCKS (id->block)); *var; )
4620 if (TREE_CODE (DECL_ORIGIN (*var)) == PARM_DECL)
4622 tree v = *var;
4623 *var = TREE_CHAIN (v);
4624 TREE_CHAIN (v) = BLOCK_VARS (id->block);
4625 BLOCK_VARS (id->block) = v;
4627 else
4628 var = &TREE_CHAIN (*var);
4630 else
4631 remap_blocks_to_null (DECL_INITIAL (fn), id);
4634 /* Return statements in the function body will be replaced by jumps
4635 to the RET_LABEL. */
4636 gcc_assert (DECL_INITIAL (fn));
4637 gcc_assert (TREE_CODE (DECL_INITIAL (fn)) == BLOCK);
4639 /* Find the LHS to which the result of this call is assigned. */
4640 return_slot = NULL;
4641 if (gimple_call_lhs (stmt))
4643 modify_dest = gimple_call_lhs (stmt);
4645 /* The function which we are inlining might not return a value,
4646 in which case we should issue a warning that the function
4647 does not return a value. In that case the optimizers will
4648 see that the variable to which the value is assigned was not
4649 initialized. We do not want to issue a warning about that
4650 uninitialized variable. */
4651 if (DECL_P (modify_dest))
4652 TREE_NO_WARNING (modify_dest) = 1;
4654 if (gimple_call_return_slot_opt_p (call_stmt))
4656 return_slot = modify_dest;
4657 modify_dest = NULL;
4660 else
4661 modify_dest = NULL;
4663 /* If we are inlining a call to the C++ operator new, we don't want
4664 to use type based alias analysis on the return value. Otherwise
4665 we may get confused if the compiler sees that the inlined new
4666 function returns a pointer which was just deleted. See bug
4667 33407. */
4668 if (DECL_IS_OPERATOR_NEW (fn))
4670 return_slot = NULL;
4671 modify_dest = NULL;
4674 /* Declare the return variable for the function. */
4675 use_retvar = declare_return_variable (id, return_slot, modify_dest, bb);
4677 /* Add local vars in this inlined callee to caller. */
4678 add_local_variables (id->src_cfun, cfun, id);
4680 if (dump_enabled_p ())
4682 char buf[128];
4683 snprintf (buf, sizeof(buf), "%4.2f",
4684 cg_edge->sreal_frequency ().to_double ());
4685 dump_printf_loc (MSG_NOTE | MSG_PRIORITY_INTERNALS,
4686 call_stmt,
4687 "Inlining %C to %C with frequency %s\n",
4688 id->src_node, id->dst_node, buf);
4689 if (dump_file && (dump_flags & TDF_DETAILS))
4691 id->src_node->dump (dump_file);
4692 id->dst_node->dump (dump_file);
4696 /* This is it. Duplicate the callee body. Assume callee is
4697 pre-gimplified. Note that we must not alter the caller
4698 function in any way before this point, as this CALL_EXPR may be
4699 a self-referential call; if we're calling ourselves, we need to
4700 duplicate our body before altering anything. */
4701 copy_body (id, bb, return_block, NULL);
4703 reset_debug_bindings (id, stmt_gsi);
4705 if (flag_stack_reuse != SR_NONE)
4706 for (tree p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
4707 if (!TREE_THIS_VOLATILE (p))
4709 tree *varp = id->decl_map->get (p);
4710 if (varp && VAR_P (*varp) && !is_gimple_reg (*varp))
4712 tree clobber = build_constructor (TREE_TYPE (*varp), NULL);
4713 gimple *clobber_stmt;
4714 TREE_THIS_VOLATILE (clobber) = 1;
4715 clobber_stmt = gimple_build_assign (*varp, clobber);
4716 gimple_set_location (clobber_stmt, gimple_location (stmt));
4717 gsi_insert_before (&stmt_gsi, clobber_stmt, GSI_SAME_STMT);
4721 /* Reset the escaped solution. */
4722 if (cfun->gimple_df)
4723 pt_solution_reset (&cfun->gimple_df->escaped);
4725 /* Add new automatic variables to IFN_GOMP_SIMT_ENTER arguments. */
4726 if (id->dst_simt_vars && id->dst_simt_vars->length () > 0)
4728 size_t nargs = gimple_call_num_args (simtenter_stmt);
4729 vec<tree> *vars = id->dst_simt_vars;
4730 auto_vec<tree> newargs (nargs + vars->length ());
4731 for (size_t i = 0; i < nargs; i++)
4732 newargs.quick_push (gimple_call_arg (simtenter_stmt, i));
4733 for (tree *pvar = vars->begin (); pvar != vars->end (); pvar++)
4735 tree ptrtype = build_pointer_type (TREE_TYPE (*pvar));
4736 newargs.quick_push (build1 (ADDR_EXPR, ptrtype, *pvar));
4738 gcall *g = gimple_build_call_internal_vec (IFN_GOMP_SIMT_ENTER, newargs);
4739 gimple_call_set_lhs (g, gimple_call_lhs (simtenter_stmt));
4740 gimple_stmt_iterator gsi = gsi_for_stmt (simtenter_stmt);
4741 gsi_replace (&gsi, g, false);
4743 vec_free (id->dst_simt_vars);
4744 id->dst_simt_vars = simtvars_save;
4746 /* Clean up. */
4747 if (id->debug_map)
4749 delete id->debug_map;
4750 id->debug_map = dst;
4752 delete id->decl_map;
4753 id->decl_map = st;
4755 /* Unlink the calls virtual operands before replacing it. */
4756 unlink_stmt_vdef (stmt);
4757 if (gimple_vdef (stmt)
4758 && TREE_CODE (gimple_vdef (stmt)) == SSA_NAME)
4759 release_ssa_name (gimple_vdef (stmt));
4761 /* If the inlined function returns a result that we care about,
4762 substitute the GIMPLE_CALL with an assignment of the return
4763 variable to the LHS of the call. That is, if STMT was
4764 'a = foo (...)', substitute the call with 'a = USE_RETVAR'. */
4765 if (use_retvar && gimple_call_lhs (stmt))
4767 gimple *old_stmt = stmt;
4768 stmt = gimple_build_assign (gimple_call_lhs (stmt), use_retvar);
4769 gimple_set_location (stmt, gimple_location (old_stmt));
4770 gsi_replace (&stmt_gsi, stmt, false);
4771 maybe_clean_or_replace_eh_stmt (old_stmt, stmt);
4772 /* Append a clobber for id->retvar if easily possible. */
4773 if (flag_stack_reuse != SR_NONE
4774 && id->retvar
4775 && VAR_P (id->retvar)
4776 && id->retvar != return_slot
4777 && id->retvar != modify_dest
4778 && !TREE_THIS_VOLATILE (id->retvar)
4779 && !is_gimple_reg (id->retvar)
4780 && !stmt_ends_bb_p (stmt))
4782 tree clobber = build_constructor (TREE_TYPE (id->retvar), NULL);
4783 gimple *clobber_stmt;
4784 TREE_THIS_VOLATILE (clobber) = 1;
4785 clobber_stmt = gimple_build_assign (id->retvar, clobber);
4786 gimple_set_location (clobber_stmt, gimple_location (old_stmt));
4787 gsi_insert_after (&stmt_gsi, clobber_stmt, GSI_SAME_STMT);
4790 else
4792 /* Handle the case of inlining a function with no return
4793 statement, which causes the return value to become undefined. */
4794 if (gimple_call_lhs (stmt)
4795 && TREE_CODE (gimple_call_lhs (stmt)) == SSA_NAME)
4797 tree name = gimple_call_lhs (stmt);
4798 tree var = SSA_NAME_VAR (name);
4799 tree def = var ? ssa_default_def (cfun, var) : NULL;
4801 if (def)
4803 /* If the variable is used undefined, make this name
4804 undefined via a move. */
4805 stmt = gimple_build_assign (gimple_call_lhs (stmt), def);
4806 gsi_replace (&stmt_gsi, stmt, true);
4808 else
4810 if (!var)
4812 var = create_tmp_reg_fn (cfun, TREE_TYPE (name), NULL);
4813 SET_SSA_NAME_VAR_OR_IDENTIFIER (name, var);
4815 /* Otherwise make this variable undefined. */
4816 gsi_remove (&stmt_gsi, true);
4817 set_ssa_default_def (cfun, var, name);
4818 SSA_NAME_DEF_STMT (name) = gimple_build_nop ();
4821 /* Replace with a clobber for id->retvar. */
4822 else if (flag_stack_reuse != SR_NONE
4823 && id->retvar
4824 && VAR_P (id->retvar)
4825 && id->retvar != return_slot
4826 && id->retvar != modify_dest
4827 && !TREE_THIS_VOLATILE (id->retvar)
4828 && !is_gimple_reg (id->retvar))
4830 tree clobber = build_constructor (TREE_TYPE (id->retvar), NULL);
4831 gimple *clobber_stmt;
4832 TREE_THIS_VOLATILE (clobber) = 1;
4833 clobber_stmt = gimple_build_assign (id->retvar, clobber);
4834 gimple_set_location (clobber_stmt, gimple_location (stmt));
4835 gsi_replace (&stmt_gsi, clobber_stmt, false);
4836 maybe_clean_or_replace_eh_stmt (stmt, clobber_stmt);
4838 else
4839 gsi_remove (&stmt_gsi, true);
4842 if (purge_dead_abnormal_edges)
4844 gimple_purge_dead_eh_edges (return_block);
4845 gimple_purge_dead_abnormal_call_edges (return_block);
4848 /* If the value of the new expression is ignored, that's OK. We
4849 don't warn about this for CALL_EXPRs, so we shouldn't warn about
4850 the equivalent inlined version either. */
4851 if (is_gimple_assign (stmt))
4853 gcc_assert (gimple_assign_single_p (stmt)
4854 || CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt)));
4855 TREE_USED (gimple_assign_rhs1 (stmt)) = 1;
4858 id->assign_stmts.release ();
4860 /* Output the inlining info for this abstract function, since it has been
4861 inlined. If we don't do this now, we can lose the information about the
4862 variables in the function when the blocks get blown away as soon as we
4863 remove the cgraph node. */
4864 if (gimple_block (stmt))
4865 (*debug_hooks->outlining_inline_function) (fn);
4867 /* Update callgraph if needed. */
4868 cg_edge->callee->remove ();
4870 id->block = NULL_TREE;
4871 id->retvar = NULL_TREE;
4872 successfully_inlined = true;
4874 egress:
4875 input_location = saved_location;
4876 return successfully_inlined;
4879 /* Expand call statements reachable from STMT_P.
4880 We can only have CALL_EXPRs as the "toplevel" tree code or nested
4881 in a MODIFY_EXPR. */
4883 static bool
4884 gimple_expand_calls_inline (basic_block bb, copy_body_data *id)
4886 gimple_stmt_iterator gsi;
4887 bool inlined = false;
4889 for (gsi = gsi_last_bb (bb); !gsi_end_p (gsi);)
4891 gimple *stmt = gsi_stmt (gsi);
4892 gsi_prev (&gsi);
4894 if (is_gimple_call (stmt)
4895 && !gimple_call_internal_p (stmt))
4896 inlined |= expand_call_inline (bb, stmt, id);
4899 return inlined;
4903 /* Walk all basic blocks created after FIRST and try to fold every statement
4904 in the STATEMENTS pointer set. */
4906 static void
4907 fold_marked_statements (int first, hash_set<gimple *> *statements)
4909 for (; first < last_basic_block_for_fn (cfun); first++)
4910 if (BASIC_BLOCK_FOR_FN (cfun, first))
4912 gimple_stmt_iterator gsi;
4914 for (gsi = gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun, first));
4915 !gsi_end_p (gsi);
4916 gsi_next (&gsi))
4917 if (statements->contains (gsi_stmt (gsi)))
4919 gimple *old_stmt = gsi_stmt (gsi);
4920 tree old_decl = is_gimple_call (old_stmt) ? gimple_call_fndecl (old_stmt) : 0;
4922 if (old_decl && fndecl_built_in_p (old_decl))
4924 /* Folding builtins can create multiple instructions,
4925 we need to look at all of them. */
4926 gimple_stmt_iterator i2 = gsi;
4927 gsi_prev (&i2);
4928 if (fold_stmt (&gsi))
4930 gimple *new_stmt;
4931 /* If a builtin at the end of a bb folded into nothing,
4932 the following loop won't work. */
4933 if (gsi_end_p (gsi))
4935 cgraph_update_edges_for_call_stmt (old_stmt,
4936 old_decl, NULL);
4937 break;
4939 if (gsi_end_p (i2))
4940 i2 = gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun, first));
4941 else
4942 gsi_next (&i2);
4943 while (1)
4945 new_stmt = gsi_stmt (i2);
4946 update_stmt (new_stmt);
4947 cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4948 new_stmt);
4950 if (new_stmt == gsi_stmt (gsi))
4952 /* It is okay to check only for the very last
4953 of these statements. If it is a throwing
4954 statement nothing will change. If it isn't
4955 this can remove EH edges. If that weren't
4956 correct then because some intermediate stmts
4957 throw, but not the last one. That would mean
4958 we'd have to split the block, which we can't
4959 here and we'd loose anyway. And as builtins
4960 probably never throw, this all
4961 is mood anyway. */
4962 if (maybe_clean_or_replace_eh_stmt (old_stmt,
4963 new_stmt))
4964 gimple_purge_dead_eh_edges (
4965 BASIC_BLOCK_FOR_FN (cfun, first));
4966 break;
4968 gsi_next (&i2);
4972 else if (fold_stmt (&gsi))
4974 /* Re-read the statement from GSI as fold_stmt() may
4975 have changed it. */
4976 gimple *new_stmt = gsi_stmt (gsi);
4977 update_stmt (new_stmt);
4979 if (is_gimple_call (old_stmt)
4980 || is_gimple_call (new_stmt))
4981 cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4982 new_stmt);
4984 if (maybe_clean_or_replace_eh_stmt (old_stmt, new_stmt))
4985 gimple_purge_dead_eh_edges (BASIC_BLOCK_FOR_FN (cfun,
4986 first));
4992 /* Expand calls to inline functions in the body of FN. */
4994 unsigned int
4995 optimize_inline_calls (tree fn)
4997 copy_body_data id;
4998 basic_block bb;
4999 int last = n_basic_blocks_for_fn (cfun);
5000 bool inlined_p = false;
5002 /* Clear out ID. */
5003 memset (&id, 0, sizeof (id));
5005 id.src_node = id.dst_node = cgraph_node::get (fn);
5006 gcc_assert (id.dst_node->definition);
5007 id.dst_fn = fn;
5008 /* Or any functions that aren't finished yet. */
5009 if (current_function_decl)
5010 id.dst_fn = current_function_decl;
5012 id.copy_decl = copy_decl_maybe_to_var;
5013 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
5014 id.transform_new_cfg = false;
5015 id.transform_return_to_modify = true;
5016 id.transform_parameter = true;
5017 id.transform_lang_insert_block = NULL;
5018 id.statements_to_fold = new hash_set<gimple *>;
5020 push_gimplify_context ();
5022 /* We make no attempts to keep dominance info up-to-date. */
5023 free_dominance_info (CDI_DOMINATORS);
5024 free_dominance_info (CDI_POST_DOMINATORS);
5026 /* Register specific gimple functions. */
5027 gimple_register_cfg_hooks ();
5029 /* Reach the trees by walking over the CFG, and note the
5030 enclosing basic-blocks in the call edges. */
5031 /* We walk the blocks going forward, because inlined function bodies
5032 will split id->current_basic_block, and the new blocks will
5033 follow it; we'll trudge through them, processing their CALL_EXPRs
5034 along the way. */
5035 FOR_EACH_BB_FN (bb, cfun)
5036 inlined_p |= gimple_expand_calls_inline (bb, &id);
5038 pop_gimplify_context (NULL);
5040 if (flag_checking)
5042 struct cgraph_edge *e;
5044 id.dst_node->verify ();
5046 /* Double check that we inlined everything we are supposed to inline. */
5047 for (e = id.dst_node->callees; e; e = e->next_callee)
5048 gcc_assert (e->inline_failed);
5051 /* Fold queued statements. */
5052 update_max_bb_count ();
5053 fold_marked_statements (last, id.statements_to_fold);
5054 delete id.statements_to_fold;
5056 gcc_assert (!id.debug_stmts.exists ());
5058 /* If we didn't inline into the function there is nothing to do. */
5059 if (!inlined_p)
5060 return 0;
5062 /* Renumber the lexical scoping (non-code) blocks consecutively. */
5063 number_blocks (fn);
5065 delete_unreachable_blocks_update_callgraph (&id);
5066 if (flag_checking)
5067 id.dst_node->verify ();
5069 /* It would be nice to check SSA/CFG/statement consistency here, but it is
5070 not possible yet - the IPA passes might make various functions to not
5071 throw and they don't care to proactively update local EH info. This is
5072 done later in fixup_cfg pass that also execute the verification. */
5073 return (TODO_update_ssa
5074 | TODO_cleanup_cfg
5075 | (gimple_in_ssa_p (cfun) ? TODO_remove_unused_locals : 0)
5076 | (gimple_in_ssa_p (cfun) ? TODO_update_address_taken : 0)
5077 | (profile_status_for_fn (cfun) != PROFILE_ABSENT
5078 ? TODO_rebuild_frequencies : 0));
5081 /* Passed to walk_tree. Copies the node pointed to, if appropriate. */
5083 tree
5084 copy_tree_r (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
5086 enum tree_code code = TREE_CODE (*tp);
5087 enum tree_code_class cl = TREE_CODE_CLASS (code);
5089 /* We make copies of most nodes. */
5090 if (IS_EXPR_CODE_CLASS (cl)
5091 || code == TREE_LIST
5092 || code == TREE_VEC
5093 || code == TYPE_DECL
5094 || code == OMP_CLAUSE)
5096 /* Because the chain gets clobbered when we make a copy, we save it
5097 here. */
5098 tree chain = NULL_TREE, new_tree;
5100 if (CODE_CONTAINS_STRUCT (code, TS_COMMON))
5101 chain = TREE_CHAIN (*tp);
5103 /* Copy the node. */
5104 new_tree = copy_node (*tp);
5106 *tp = new_tree;
5108 /* Now, restore the chain, if appropriate. That will cause
5109 walk_tree to walk into the chain as well. */
5110 if (code == PARM_DECL
5111 || code == TREE_LIST
5112 || code == OMP_CLAUSE)
5113 TREE_CHAIN (*tp) = chain;
5115 /* For now, we don't update BLOCKs when we make copies. So, we
5116 have to nullify all BIND_EXPRs. */
5117 if (TREE_CODE (*tp) == BIND_EXPR)
5118 BIND_EXPR_BLOCK (*tp) = NULL_TREE;
5120 else if (code == CONSTRUCTOR)
5122 /* CONSTRUCTOR nodes need special handling because
5123 we need to duplicate the vector of elements. */
5124 tree new_tree;
5126 new_tree = copy_node (*tp);
5127 CONSTRUCTOR_ELTS (new_tree) = vec_safe_copy (CONSTRUCTOR_ELTS (*tp));
5128 *tp = new_tree;
5130 else if (code == STATEMENT_LIST)
5131 /* We used to just abort on STATEMENT_LIST, but we can run into them
5132 with statement-expressions (c++/40975). */
5133 copy_statement_list (tp);
5134 else if (TREE_CODE_CLASS (code) == tcc_type)
5135 *walk_subtrees = 0;
5136 else if (TREE_CODE_CLASS (code) == tcc_declaration)
5137 *walk_subtrees = 0;
5138 else if (TREE_CODE_CLASS (code) == tcc_constant)
5139 *walk_subtrees = 0;
5140 return NULL_TREE;
5143 /* The SAVE_EXPR pointed to by TP is being copied. If ST contains
5144 information indicating to what new SAVE_EXPR this one should be mapped,
5145 use that one. Otherwise, create a new node and enter it in ST. FN is
5146 the function into which the copy will be placed. */
5148 static void
5149 remap_save_expr (tree *tp, hash_map<tree, tree> *st, int *walk_subtrees)
5151 tree *n;
5152 tree t;
5154 /* See if we already encountered this SAVE_EXPR. */
5155 n = st->get (*tp);
5157 /* If we didn't already remap this SAVE_EXPR, do so now. */
5158 if (!n)
5160 t = copy_node (*tp);
5162 /* Remember this SAVE_EXPR. */
5163 st->put (*tp, t);
5164 /* Make sure we don't remap an already-remapped SAVE_EXPR. */
5165 st->put (t, t);
5167 else
5169 /* We've already walked into this SAVE_EXPR; don't do it again. */
5170 *walk_subtrees = 0;
5171 t = *n;
5174 /* Replace this SAVE_EXPR with the copy. */
5175 *tp = t;
5178 /* Called via walk_gimple_seq. If *GSIP points to a GIMPLE_LABEL for a local
5179 label, copies the declaration and enters it in the splay_tree in DATA (which
5180 is really a 'copy_body_data *'. */
5182 static tree
5183 mark_local_labels_stmt (gimple_stmt_iterator *gsip,
5184 bool *handled_ops_p ATTRIBUTE_UNUSED,
5185 struct walk_stmt_info *wi)
5187 copy_body_data *id = (copy_body_data *) wi->info;
5188 glabel *stmt = dyn_cast <glabel *> (gsi_stmt (*gsip));
5190 if (stmt)
5192 tree decl = gimple_label_label (stmt);
5194 /* Copy the decl and remember the copy. */
5195 insert_decl_map (id, decl, id->copy_decl (decl, id));
5198 return NULL_TREE;
5201 static gimple_seq duplicate_remap_omp_clause_seq (gimple_seq seq,
5202 struct walk_stmt_info *wi);
5204 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5205 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5206 remaps all local declarations to appropriate replacements in gimple
5207 operands. */
5209 static tree
5210 replace_locals_op (tree *tp, int *walk_subtrees, void *data)
5212 struct walk_stmt_info *wi = (struct walk_stmt_info*) data;
5213 copy_body_data *id = (copy_body_data *) wi->info;
5214 hash_map<tree, tree> *st = id->decl_map;
5215 tree *n;
5216 tree expr = *tp;
5218 /* For recursive invocations this is no longer the LHS itself. */
5219 bool is_lhs = wi->is_lhs;
5220 wi->is_lhs = false;
5222 if (TREE_CODE (expr) == SSA_NAME)
5224 *tp = remap_ssa_name (*tp, id);
5225 *walk_subtrees = 0;
5226 if (is_lhs)
5227 SSA_NAME_DEF_STMT (*tp) = gsi_stmt (wi->gsi);
5229 /* Only a local declaration (variable or label). */
5230 else if ((VAR_P (expr) && !TREE_STATIC (expr))
5231 || TREE_CODE (expr) == LABEL_DECL)
5233 /* Lookup the declaration. */
5234 n = st->get (expr);
5236 /* If it's there, remap it. */
5237 if (n)
5238 *tp = *n;
5239 *walk_subtrees = 0;
5241 else if (TREE_CODE (expr) == STATEMENT_LIST
5242 || TREE_CODE (expr) == BIND_EXPR
5243 || TREE_CODE (expr) == SAVE_EXPR)
5244 gcc_unreachable ();
5245 else if (TREE_CODE (expr) == TARGET_EXPR)
5247 /* Don't mess with a TARGET_EXPR that hasn't been expanded.
5248 It's OK for this to happen if it was part of a subtree that
5249 isn't immediately expanded, such as operand 2 of another
5250 TARGET_EXPR. */
5251 if (!TREE_OPERAND (expr, 1))
5253 TREE_OPERAND (expr, 1) = TREE_OPERAND (expr, 3);
5254 TREE_OPERAND (expr, 3) = NULL_TREE;
5257 else if (TREE_CODE (expr) == OMP_CLAUSE)
5259 /* Before the omplower pass completes, some OMP clauses can contain
5260 sequences that are neither copied by gimple_seq_copy nor walked by
5261 walk_gimple_seq. To make copy_gimple_seq_and_replace_locals work even
5262 in those situations, we have to copy and process them explicitely. */
5264 if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LASTPRIVATE)
5266 gimple_seq seq = OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr);
5267 seq = duplicate_remap_omp_clause_seq (seq, wi);
5268 OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr) = seq;
5270 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LINEAR)
5272 gimple_seq seq = OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr);
5273 seq = duplicate_remap_omp_clause_seq (seq, wi);
5274 OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr) = seq;
5276 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_REDUCTION)
5278 gimple_seq seq = OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr);
5279 seq = duplicate_remap_omp_clause_seq (seq, wi);
5280 OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr) = seq;
5281 seq = OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr);
5282 seq = duplicate_remap_omp_clause_seq (seq, wi);
5283 OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr) = seq;
5287 /* Keep iterating. */
5288 return NULL_TREE;
5292 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5293 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5294 remaps all local declarations to appropriate replacements in gimple
5295 statements. */
5297 static tree
5298 replace_locals_stmt (gimple_stmt_iterator *gsip,
5299 bool *handled_ops_p ATTRIBUTE_UNUSED,
5300 struct walk_stmt_info *wi)
5302 copy_body_data *id = (copy_body_data *) wi->info;
5303 gimple *gs = gsi_stmt (*gsip);
5305 if (gbind *stmt = dyn_cast <gbind *> (gs))
5307 tree block = gimple_bind_block (stmt);
5309 if (block)
5311 remap_block (&block, id);
5312 gimple_bind_set_block (stmt, block);
5315 /* This will remap a lot of the same decls again, but this should be
5316 harmless. */
5317 if (gimple_bind_vars (stmt))
5319 tree old_var, decls = gimple_bind_vars (stmt);
5321 for (old_var = decls; old_var; old_var = DECL_CHAIN (old_var))
5322 if (!can_be_nonlocal (old_var, id)
5323 && ! variably_modified_type_p (TREE_TYPE (old_var), id->src_fn))
5324 remap_decl (old_var, id);
5326 gcc_checking_assert (!id->prevent_decl_creation_for_types);
5327 id->prevent_decl_creation_for_types = true;
5328 gimple_bind_set_vars (stmt, remap_decls (decls, NULL, id));
5329 id->prevent_decl_creation_for_types = false;
5333 /* Keep iterating. */
5334 return NULL_TREE;
5337 /* Create a copy of SEQ and remap all decls in it. */
5339 static gimple_seq
5340 duplicate_remap_omp_clause_seq (gimple_seq seq, struct walk_stmt_info *wi)
5342 if (!seq)
5343 return NULL;
5345 /* If there are any labels in OMP sequences, they can be only referred to in
5346 the sequence itself and therefore we can do both here. */
5347 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, wi);
5348 gimple_seq copy = gimple_seq_copy (seq);
5349 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, wi);
5350 return copy;
5353 /* Copies everything in SEQ and replaces variables and labels local to
5354 current_function_decl. */
5356 gimple_seq
5357 copy_gimple_seq_and_replace_locals (gimple_seq seq)
5359 copy_body_data id;
5360 struct walk_stmt_info wi;
5361 gimple_seq copy;
5363 /* There's nothing to do for NULL_TREE. */
5364 if (seq == NULL)
5365 return seq;
5367 /* Set up ID. */
5368 memset (&id, 0, sizeof (id));
5369 id.src_fn = current_function_decl;
5370 id.dst_fn = current_function_decl;
5371 id.src_cfun = cfun;
5372 id.decl_map = new hash_map<tree, tree>;
5373 id.debug_map = NULL;
5375 id.copy_decl = copy_decl_no_change;
5376 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
5377 id.transform_new_cfg = false;
5378 id.transform_return_to_modify = false;
5379 id.transform_parameter = false;
5380 id.transform_lang_insert_block = NULL;
5382 /* Walk the tree once to find local labels. */
5383 memset (&wi, 0, sizeof (wi));
5384 hash_set<tree> visited;
5385 wi.info = &id;
5386 wi.pset = &visited;
5387 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, &wi);
5389 copy = gimple_seq_copy (seq);
5391 /* Walk the copy, remapping decls. */
5392 memset (&wi, 0, sizeof (wi));
5393 wi.info = &id;
5394 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, &wi);
5396 /* Clean up. */
5397 delete id.decl_map;
5398 if (id.debug_map)
5399 delete id.debug_map;
5400 if (id.dependence_map)
5402 delete id.dependence_map;
5403 id.dependence_map = NULL;
5406 return copy;
5410 /* Allow someone to determine if SEARCH is a child of TOP from gdb. */
5412 static tree
5413 debug_find_tree_1 (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED, void *data)
5415 if (*tp == data)
5416 return (tree) data;
5417 else
5418 return NULL;
5421 DEBUG_FUNCTION bool
5422 debug_find_tree (tree top, tree search)
5424 return walk_tree_without_duplicates (&top, debug_find_tree_1, search) != 0;
5428 /* Declare the variables created by the inliner. Add all the variables in
5429 VARS to BIND_EXPR. */
5431 static void
5432 declare_inline_vars (tree block, tree vars)
5434 tree t;
5435 for (t = vars; t; t = DECL_CHAIN (t))
5437 DECL_SEEN_IN_BIND_EXPR_P (t) = 1;
5438 gcc_assert (!TREE_STATIC (t) && !TREE_ASM_WRITTEN (t));
5439 add_local_decl (cfun, t);
5442 if (block)
5443 BLOCK_VARS (block) = chainon (BLOCK_VARS (block), vars);
5446 /* Copy NODE (which must be a DECL). The DECL originally was in the FROM_FN,
5447 but now it will be in the TO_FN. PARM_TO_VAR means enable PARM_DECL to
5448 VAR_DECL translation. */
5450 tree
5451 copy_decl_for_dup_finish (copy_body_data *id, tree decl, tree copy)
5453 /* Don't generate debug information for the copy if we wouldn't have
5454 generated it for the copy either. */
5455 DECL_ARTIFICIAL (copy) = DECL_ARTIFICIAL (decl);
5456 DECL_IGNORED_P (copy) = DECL_IGNORED_P (decl);
5458 /* Set the DECL_ABSTRACT_ORIGIN so the debugging routines know what
5459 declaration inspired this copy. */
5460 DECL_ABSTRACT_ORIGIN (copy) = DECL_ORIGIN (decl);
5462 /* The new variable/label has no RTL, yet. */
5463 if (CODE_CONTAINS_STRUCT (TREE_CODE (copy), TS_DECL_WRTL)
5464 && !TREE_STATIC (copy) && !DECL_EXTERNAL (copy))
5465 SET_DECL_RTL (copy, 0);
5467 /* These args would always appear unused, if not for this. */
5468 TREE_USED (copy) = 1;
5470 /* Set the context for the new declaration. */
5471 if (!DECL_CONTEXT (decl))
5472 /* Globals stay global. */
5474 else if (DECL_CONTEXT (decl) != id->src_fn)
5475 /* Things that weren't in the scope of the function we're inlining
5476 from aren't in the scope we're inlining to, either. */
5478 else if (TREE_STATIC (decl))
5479 /* Function-scoped static variables should stay in the original
5480 function. */
5482 else
5484 /* Ordinary automatic local variables are now in the scope of the
5485 new function. */
5486 DECL_CONTEXT (copy) = id->dst_fn;
5487 if (VAR_P (copy) && id->dst_simt_vars && !is_gimple_reg (copy))
5489 if (!lookup_attribute ("omp simt private", DECL_ATTRIBUTES (copy)))
5490 DECL_ATTRIBUTES (copy)
5491 = tree_cons (get_identifier ("omp simt private"), NULL,
5492 DECL_ATTRIBUTES (copy));
5493 id->dst_simt_vars->safe_push (copy);
5497 return copy;
5500 static tree
5501 copy_decl_to_var (tree decl, copy_body_data *id)
5503 tree copy, type;
5505 gcc_assert (TREE_CODE (decl) == PARM_DECL
5506 || TREE_CODE (decl) == RESULT_DECL);
5508 type = TREE_TYPE (decl);
5510 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5511 VAR_DECL, DECL_NAME (decl), type);
5512 if (DECL_PT_UID_SET_P (decl))
5513 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5514 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5515 TREE_READONLY (copy) = TREE_READONLY (decl);
5516 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5517 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5519 return copy_decl_for_dup_finish (id, decl, copy);
5522 /* Like copy_decl_to_var, but create a return slot object instead of a
5523 pointer variable for return by invisible reference. */
5525 static tree
5526 copy_result_decl_to_var (tree decl, copy_body_data *id)
5528 tree copy, type;
5530 gcc_assert (TREE_CODE (decl) == PARM_DECL
5531 || TREE_CODE (decl) == RESULT_DECL);
5533 type = TREE_TYPE (decl);
5534 if (DECL_BY_REFERENCE (decl))
5535 type = TREE_TYPE (type);
5537 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5538 VAR_DECL, DECL_NAME (decl), type);
5539 if (DECL_PT_UID_SET_P (decl))
5540 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5541 TREE_READONLY (copy) = TREE_READONLY (decl);
5542 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5543 if (!DECL_BY_REFERENCE (decl))
5545 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5546 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5549 return copy_decl_for_dup_finish (id, decl, copy);
5552 tree
5553 copy_decl_no_change (tree decl, copy_body_data *id)
5555 tree copy;
5557 copy = copy_node (decl);
5559 /* The COPY is not abstract; it will be generated in DST_FN. */
5560 DECL_ABSTRACT_P (copy) = false;
5561 lang_hooks.dup_lang_specific_decl (copy);
5563 /* TREE_ADDRESSABLE isn't used to indicate that a label's address has
5564 been taken; it's for internal bookkeeping in expand_goto_internal. */
5565 if (TREE_CODE (copy) == LABEL_DECL)
5567 TREE_ADDRESSABLE (copy) = 0;
5568 LABEL_DECL_UID (copy) = -1;
5571 return copy_decl_for_dup_finish (id, decl, copy);
5574 static tree
5575 copy_decl_maybe_to_var (tree decl, copy_body_data *id)
5577 if (TREE_CODE (decl) == PARM_DECL || TREE_CODE (decl) == RESULT_DECL)
5578 return copy_decl_to_var (decl, id);
5579 else
5580 return copy_decl_no_change (decl, id);
5583 /* Return a copy of the function's argument tree. */
5584 static tree
5585 copy_arguments_for_versioning (tree orig_parm, copy_body_data * id,
5586 bitmap args_to_skip, tree *vars)
5588 tree arg, *parg;
5589 tree new_parm = NULL;
5590 int i = 0;
5592 parg = &new_parm;
5594 for (arg = orig_parm; arg; arg = DECL_CHAIN (arg), i++)
5595 if (!args_to_skip || !bitmap_bit_p (args_to_skip, i))
5597 tree new_tree = remap_decl (arg, id);
5598 if (TREE_CODE (new_tree) != PARM_DECL)
5599 new_tree = id->copy_decl (arg, id);
5600 lang_hooks.dup_lang_specific_decl (new_tree);
5601 *parg = new_tree;
5602 parg = &DECL_CHAIN (new_tree);
5604 else if (!id->decl_map->get (arg))
5606 /* Make an equivalent VAR_DECL. If the argument was used
5607 as temporary variable later in function, the uses will be
5608 replaced by local variable. */
5609 tree var = copy_decl_to_var (arg, id);
5610 insert_decl_map (id, arg, var);
5611 /* Declare this new variable. */
5612 DECL_CHAIN (var) = *vars;
5613 *vars = var;
5615 return new_parm;
5618 /* Return a copy of the function's static chain. */
5619 static tree
5620 copy_static_chain (tree static_chain, copy_body_data * id)
5622 tree *chain_copy, *pvar;
5624 chain_copy = &static_chain;
5625 for (pvar = chain_copy; *pvar; pvar = &DECL_CHAIN (*pvar))
5627 tree new_tree = remap_decl (*pvar, id);
5628 lang_hooks.dup_lang_specific_decl (new_tree);
5629 DECL_CHAIN (new_tree) = DECL_CHAIN (*pvar);
5630 *pvar = new_tree;
5632 return static_chain;
5635 /* Return true if the function is allowed to be versioned.
5636 This is a guard for the versioning functionality. */
5638 bool
5639 tree_versionable_function_p (tree fndecl)
5641 return (!lookup_attribute ("noclone", DECL_ATTRIBUTES (fndecl))
5642 && copy_forbidden (DECL_STRUCT_FUNCTION (fndecl)) == NULL);
5645 /* Delete all unreachable basic blocks and update callgraph.
5646 Doing so is somewhat nontrivial because we need to update all clones and
5647 remove inline function that become unreachable. */
5649 static bool
5650 delete_unreachable_blocks_update_callgraph (copy_body_data *id)
5652 bool changed = false;
5653 basic_block b, next_bb;
5655 find_unreachable_blocks ();
5657 /* Delete all unreachable basic blocks. */
5659 for (b = ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb; b
5660 != EXIT_BLOCK_PTR_FOR_FN (cfun); b = next_bb)
5662 next_bb = b->next_bb;
5664 if (!(b->flags & BB_REACHABLE))
5666 gimple_stmt_iterator bsi;
5668 for (bsi = gsi_start_bb (b); !gsi_end_p (bsi); gsi_next (&bsi))
5670 struct cgraph_edge *e;
5671 struct cgraph_node *node;
5673 id->dst_node->remove_stmt_references (gsi_stmt (bsi));
5675 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5676 &&(e = id->dst_node->get_edge (gsi_stmt (bsi))) != NULL)
5678 if (!e->inline_failed)
5679 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5680 else
5681 e->remove ();
5683 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES
5684 && id->dst_node->clones)
5685 for (node = id->dst_node->clones; node != id->dst_node;)
5687 node->remove_stmt_references (gsi_stmt (bsi));
5688 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5689 && (e = node->get_edge (gsi_stmt (bsi))) != NULL)
5691 if (!e->inline_failed)
5692 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5693 else
5694 e->remove ();
5697 if (node->clones)
5698 node = node->clones;
5699 else if (node->next_sibling_clone)
5700 node = node->next_sibling_clone;
5701 else
5703 while (node != id->dst_node && !node->next_sibling_clone)
5704 node = node->clone_of;
5705 if (node != id->dst_node)
5706 node = node->next_sibling_clone;
5710 delete_basic_block (b);
5711 changed = true;
5715 return changed;
5718 /* Update clone info after duplication. */
5720 static void
5721 update_clone_info (copy_body_data * id)
5723 struct cgraph_node *node;
5724 if (!id->dst_node->clones)
5725 return;
5726 for (node = id->dst_node->clones; node != id->dst_node;)
5728 /* First update replace maps to match the new body. */
5729 if (node->clone.tree_map)
5731 unsigned int i;
5732 for (i = 0; i < vec_safe_length (node->clone.tree_map); i++)
5734 struct ipa_replace_map *replace_info;
5735 replace_info = (*node->clone.tree_map)[i];
5736 walk_tree (&replace_info->old_tree, copy_tree_body_r, id, NULL);
5737 walk_tree (&replace_info->new_tree, copy_tree_body_r, id, NULL);
5740 if (node->clones)
5741 node = node->clones;
5742 else if (node->next_sibling_clone)
5743 node = node->next_sibling_clone;
5744 else
5746 while (node != id->dst_node && !node->next_sibling_clone)
5747 node = node->clone_of;
5748 if (node != id->dst_node)
5749 node = node->next_sibling_clone;
5754 /* Create a copy of a function's tree.
5755 OLD_DECL and NEW_DECL are FUNCTION_DECL tree nodes
5756 of the original function and the new copied function
5757 respectively. In case we want to replace a DECL
5758 tree with another tree while duplicating the function's
5759 body, TREE_MAP represents the mapping between these
5760 trees. If UPDATE_CLONES is set, the call_stmt fields
5761 of edges of clones of the function will be updated.
5763 If non-NULL ARGS_TO_SKIP determine function parameters to remove
5764 from new version.
5765 If SKIP_RETURN is true, the new version will return void.
5766 If non-NULL BLOCK_TO_COPY determine what basic blocks to copy.
5767 If non_NULL NEW_ENTRY determine new entry BB of the clone.
5769 void
5770 tree_function_versioning (tree old_decl, tree new_decl,
5771 vec<ipa_replace_map *, va_gc> *tree_map,
5772 bool update_clones, bitmap args_to_skip,
5773 bool skip_return, bitmap blocks_to_copy,
5774 basic_block new_entry)
5776 struct cgraph_node *old_version_node;
5777 struct cgraph_node *new_version_node;
5778 copy_body_data id;
5779 tree p;
5780 unsigned i;
5781 struct ipa_replace_map *replace_info;
5782 basic_block old_entry_block, bb;
5783 auto_vec<gimple *, 10> init_stmts;
5784 tree vars = NULL_TREE;
5785 bitmap debug_args_to_skip = args_to_skip;
5787 gcc_assert (TREE_CODE (old_decl) == FUNCTION_DECL
5788 && TREE_CODE (new_decl) == FUNCTION_DECL);
5789 DECL_POSSIBLY_INLINED (old_decl) = 1;
5791 old_version_node = cgraph_node::get (old_decl);
5792 gcc_checking_assert (old_version_node);
5793 new_version_node = cgraph_node::get (new_decl);
5794 gcc_checking_assert (new_version_node);
5796 /* Copy over debug args. */
5797 if (DECL_HAS_DEBUG_ARGS_P (old_decl))
5799 vec<tree, va_gc> **new_debug_args, **old_debug_args;
5800 gcc_checking_assert (decl_debug_args_lookup (new_decl) == NULL);
5801 DECL_HAS_DEBUG_ARGS_P (new_decl) = 0;
5802 old_debug_args = decl_debug_args_lookup (old_decl);
5803 if (old_debug_args)
5805 new_debug_args = decl_debug_args_insert (new_decl);
5806 *new_debug_args = vec_safe_copy (*old_debug_args);
5810 /* Output the inlining info for this abstract function, since it has been
5811 inlined. If we don't do this now, we can lose the information about the
5812 variables in the function when the blocks get blown away as soon as we
5813 remove the cgraph node. */
5814 (*debug_hooks->outlining_inline_function) (old_decl);
5816 DECL_ARTIFICIAL (new_decl) = 1;
5817 DECL_ABSTRACT_ORIGIN (new_decl) = DECL_ORIGIN (old_decl);
5818 if (DECL_ORIGIN (old_decl) == old_decl)
5819 old_version_node->used_as_abstract_origin = true;
5820 DECL_FUNCTION_PERSONALITY (new_decl) = DECL_FUNCTION_PERSONALITY (old_decl);
5822 /* Prepare the data structures for the tree copy. */
5823 memset (&id, 0, sizeof (id));
5825 /* Generate a new name for the new version. */
5826 id.statements_to_fold = new hash_set<gimple *>;
5828 id.decl_map = new hash_map<tree, tree>;
5829 id.debug_map = NULL;
5830 id.src_fn = old_decl;
5831 id.dst_fn = new_decl;
5832 id.src_node = old_version_node;
5833 id.dst_node = new_version_node;
5834 id.src_cfun = DECL_STRUCT_FUNCTION (old_decl);
5835 id.blocks_to_copy = blocks_to_copy;
5837 id.copy_decl = copy_decl_no_change;
5838 id.transform_call_graph_edges
5839 = update_clones ? CB_CGE_MOVE_CLONES : CB_CGE_MOVE;
5840 id.transform_new_cfg = true;
5841 id.transform_return_to_modify = false;
5842 id.transform_parameter = false;
5843 id.transform_lang_insert_block = NULL;
5845 old_entry_block = ENTRY_BLOCK_PTR_FOR_FN
5846 (DECL_STRUCT_FUNCTION (old_decl));
5847 DECL_RESULT (new_decl) = DECL_RESULT (old_decl);
5848 DECL_ARGUMENTS (new_decl) = DECL_ARGUMENTS (old_decl);
5849 initialize_cfun (new_decl, old_decl,
5850 new_entry ? new_entry->count : old_entry_block->count);
5851 if (DECL_STRUCT_FUNCTION (new_decl)->gimple_df)
5852 DECL_STRUCT_FUNCTION (new_decl)->gimple_df->ipa_pta
5853 = id.src_cfun->gimple_df->ipa_pta;
5855 /* Copy the function's static chain. */
5856 p = DECL_STRUCT_FUNCTION (old_decl)->static_chain_decl;
5857 if (p)
5858 DECL_STRUCT_FUNCTION (new_decl)->static_chain_decl
5859 = copy_static_chain (p, &id);
5861 /* If there's a tree_map, prepare for substitution. */
5862 if (tree_map)
5863 for (i = 0; i < tree_map->length (); i++)
5865 gimple *init;
5866 replace_info = (*tree_map)[i];
5867 if (replace_info->replace_p)
5869 int parm_num = -1;
5870 if (!replace_info->old_tree)
5872 int p = replace_info->parm_num;
5873 tree parm;
5874 tree req_type, new_type;
5876 for (parm = DECL_ARGUMENTS (old_decl); p;
5877 parm = DECL_CHAIN (parm))
5878 p--;
5879 replace_info->old_tree = parm;
5880 parm_num = replace_info->parm_num;
5881 req_type = TREE_TYPE (parm);
5882 new_type = TREE_TYPE (replace_info->new_tree);
5883 if (!useless_type_conversion_p (req_type, new_type))
5885 if (fold_convertible_p (req_type, replace_info->new_tree))
5886 replace_info->new_tree
5887 = fold_build1 (NOP_EXPR, req_type,
5888 replace_info->new_tree);
5889 else if (TYPE_SIZE (req_type) == TYPE_SIZE (new_type))
5890 replace_info->new_tree
5891 = fold_build1 (VIEW_CONVERT_EXPR, req_type,
5892 replace_info->new_tree);
5893 else
5895 if (dump_file)
5897 fprintf (dump_file, " const ");
5898 print_generic_expr (dump_file,
5899 replace_info->new_tree);
5900 fprintf (dump_file,
5901 " can't be converted to param ");
5902 print_generic_expr (dump_file, parm);
5903 fprintf (dump_file, "\n");
5905 replace_info->old_tree = NULL;
5909 else
5910 gcc_assert (TREE_CODE (replace_info->old_tree) == PARM_DECL);
5911 if (replace_info->old_tree)
5913 init = setup_one_parameter (&id, replace_info->old_tree,
5914 replace_info->new_tree, id.src_fn,
5915 NULL,
5916 &vars);
5917 if (init)
5918 init_stmts.safe_push (init);
5919 if (MAY_HAVE_DEBUG_BIND_STMTS && args_to_skip)
5921 if (parm_num == -1)
5923 tree parm;
5924 int p;
5925 for (parm = DECL_ARGUMENTS (old_decl), p = 0; parm;
5926 parm = DECL_CHAIN (parm), p++)
5927 if (parm == replace_info->old_tree)
5929 parm_num = p;
5930 break;
5933 if (parm_num != -1)
5935 if (debug_args_to_skip == args_to_skip)
5937 debug_args_to_skip = BITMAP_ALLOC (NULL);
5938 bitmap_copy (debug_args_to_skip, args_to_skip);
5940 bitmap_clear_bit (debug_args_to_skip, parm_num);
5946 /* Copy the function's arguments. */
5947 if (DECL_ARGUMENTS (old_decl) != NULL_TREE)
5948 DECL_ARGUMENTS (new_decl)
5949 = copy_arguments_for_versioning (DECL_ARGUMENTS (old_decl), &id,
5950 args_to_skip, &vars);
5952 DECL_INITIAL (new_decl) = remap_blocks (DECL_INITIAL (id.src_fn), &id);
5953 BLOCK_SUPERCONTEXT (DECL_INITIAL (new_decl)) = new_decl;
5955 declare_inline_vars (DECL_INITIAL (new_decl), vars);
5957 if (!vec_safe_is_empty (DECL_STRUCT_FUNCTION (old_decl)->local_decls))
5958 /* Add local vars. */
5959 add_local_variables (DECL_STRUCT_FUNCTION (old_decl), cfun, &id);
5961 if (DECL_RESULT (old_decl) == NULL_TREE)
5963 else if (skip_return && !VOID_TYPE_P (TREE_TYPE (DECL_RESULT (old_decl))))
5965 DECL_RESULT (new_decl)
5966 = build_decl (DECL_SOURCE_LOCATION (DECL_RESULT (old_decl)),
5967 RESULT_DECL, NULL_TREE, void_type_node);
5968 DECL_CONTEXT (DECL_RESULT (new_decl)) = new_decl;
5969 cfun->returns_struct = 0;
5970 cfun->returns_pcc_struct = 0;
5972 else
5974 tree old_name;
5975 DECL_RESULT (new_decl) = remap_decl (DECL_RESULT (old_decl), &id);
5976 lang_hooks.dup_lang_specific_decl (DECL_RESULT (new_decl));
5977 if (gimple_in_ssa_p (id.src_cfun)
5978 && DECL_BY_REFERENCE (DECL_RESULT (old_decl))
5979 && (old_name = ssa_default_def (id.src_cfun, DECL_RESULT (old_decl))))
5981 tree new_name = make_ssa_name (DECL_RESULT (new_decl));
5982 insert_decl_map (&id, old_name, new_name);
5983 SSA_NAME_DEF_STMT (new_name) = gimple_build_nop ();
5984 set_ssa_default_def (cfun, DECL_RESULT (new_decl), new_name);
5988 /* Set up the destination functions loop tree. */
5989 if (loops_for_fn (DECL_STRUCT_FUNCTION (old_decl)) != NULL)
5991 cfun->curr_properties &= ~PROP_loops;
5992 loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
5993 cfun->curr_properties |= PROP_loops;
5996 /* Copy the Function's body. */
5997 copy_body (&id, ENTRY_BLOCK_PTR_FOR_FN (cfun), EXIT_BLOCK_PTR_FOR_FN (cfun),
5998 new_entry);
6000 /* Renumber the lexical scoping (non-code) blocks consecutively. */
6001 number_blocks (new_decl);
6003 /* We want to create the BB unconditionally, so that the addition of
6004 debug stmts doesn't affect BB count, which may in the end cause
6005 codegen differences. */
6006 bb = split_edge (single_succ_edge (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
6007 while (init_stmts.length ())
6008 insert_init_stmt (&id, bb, init_stmts.pop ());
6009 update_clone_info (&id);
6011 /* Remap the nonlocal_goto_save_area, if any. */
6012 if (cfun->nonlocal_goto_save_area)
6014 struct walk_stmt_info wi;
6016 memset (&wi, 0, sizeof (wi));
6017 wi.info = &id;
6018 walk_tree (&cfun->nonlocal_goto_save_area, remap_gimple_op_r, &wi, NULL);
6021 /* Clean up. */
6022 delete id.decl_map;
6023 if (id.debug_map)
6024 delete id.debug_map;
6025 free_dominance_info (CDI_DOMINATORS);
6026 free_dominance_info (CDI_POST_DOMINATORS);
6028 update_max_bb_count ();
6029 fold_marked_statements (0, id.statements_to_fold);
6030 delete id.statements_to_fold;
6031 delete_unreachable_blocks_update_callgraph (&id);
6032 if (id.dst_node->definition)
6033 cgraph_edge::rebuild_references ();
6034 if (loops_state_satisfies_p (LOOPS_NEED_FIXUP))
6036 calculate_dominance_info (CDI_DOMINATORS);
6037 fix_loop_structure (NULL);
6039 update_ssa (TODO_update_ssa);
6041 /* After partial cloning we need to rescale frequencies, so they are
6042 within proper range in the cloned function. */
6043 if (new_entry)
6045 struct cgraph_edge *e;
6046 rebuild_frequencies ();
6048 new_version_node->count = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
6049 for (e = new_version_node->callees; e; e = e->next_callee)
6051 basic_block bb = gimple_bb (e->call_stmt);
6052 e->count = bb->count;
6054 for (e = new_version_node->indirect_calls; e; e = e->next_callee)
6056 basic_block bb = gimple_bb (e->call_stmt);
6057 e->count = bb->count;
6061 if (debug_args_to_skip && MAY_HAVE_DEBUG_BIND_STMTS)
6063 tree parm;
6064 vec<tree, va_gc> **debug_args = NULL;
6065 unsigned int len = 0;
6066 for (parm = DECL_ARGUMENTS (old_decl), i = 0;
6067 parm; parm = DECL_CHAIN (parm), i++)
6068 if (bitmap_bit_p (debug_args_to_skip, i) && is_gimple_reg (parm))
6070 tree ddecl;
6072 if (debug_args == NULL)
6074 debug_args = decl_debug_args_insert (new_decl);
6075 len = vec_safe_length (*debug_args);
6077 ddecl = make_node (DEBUG_EXPR_DECL);
6078 DECL_ARTIFICIAL (ddecl) = 1;
6079 TREE_TYPE (ddecl) = TREE_TYPE (parm);
6080 SET_DECL_MODE (ddecl, DECL_MODE (parm));
6081 vec_safe_push (*debug_args, DECL_ORIGIN (parm));
6082 vec_safe_push (*debug_args, ddecl);
6084 if (debug_args != NULL)
6086 /* On the callee side, add
6087 DEBUG D#Y s=> parm
6088 DEBUG var => D#Y
6089 stmts to the first bb where var is a VAR_DECL created for the
6090 optimized away parameter in DECL_INITIAL block. This hints
6091 in the debug info that var (whole DECL_ORIGIN is the parm
6092 PARM_DECL) is optimized away, but could be looked up at the
6093 call site as value of D#X there. */
6094 tree var = vars, vexpr;
6095 gimple_stmt_iterator cgsi
6096 = gsi_after_labels (single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
6097 gimple *def_temp;
6098 var = vars;
6099 i = vec_safe_length (*debug_args);
6102 i -= 2;
6103 while (var != NULL_TREE
6104 && DECL_ABSTRACT_ORIGIN (var) != (**debug_args)[i])
6105 var = TREE_CHAIN (var);
6106 if (var == NULL_TREE)
6107 break;
6108 vexpr = make_node (DEBUG_EXPR_DECL);
6109 parm = (**debug_args)[i];
6110 DECL_ARTIFICIAL (vexpr) = 1;
6111 TREE_TYPE (vexpr) = TREE_TYPE (parm);
6112 SET_DECL_MODE (vexpr, DECL_MODE (parm));
6113 def_temp = gimple_build_debug_bind (var, vexpr, NULL);
6114 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6115 def_temp = gimple_build_debug_source_bind (vexpr, parm, NULL);
6116 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6118 while (i > len);
6122 if (debug_args_to_skip && debug_args_to_skip != args_to_skip)
6123 BITMAP_FREE (debug_args_to_skip);
6124 free_dominance_info (CDI_DOMINATORS);
6125 free_dominance_info (CDI_POST_DOMINATORS);
6127 gcc_assert (!id.debug_stmts.exists ());
6128 pop_cfun ();
6129 return;
6132 /* EXP is CALL_EXPR present in a GENERIC expression tree. Try to integrate
6133 the callee and return the inlined body on success. */
6135 tree
6136 maybe_inline_call_in_expr (tree exp)
6138 tree fn = get_callee_fndecl (exp);
6140 /* We can only try to inline "const" functions. */
6141 if (fn && TREE_READONLY (fn) && DECL_SAVED_TREE (fn))
6143 call_expr_arg_iterator iter;
6144 copy_body_data id;
6145 tree param, arg, t;
6146 hash_map<tree, tree> decl_map;
6148 /* Remap the parameters. */
6149 for (param = DECL_ARGUMENTS (fn), arg = first_call_expr_arg (exp, &iter);
6150 param;
6151 param = DECL_CHAIN (param), arg = next_call_expr_arg (&iter))
6152 decl_map.put (param, arg);
6154 memset (&id, 0, sizeof (id));
6155 id.src_fn = fn;
6156 id.dst_fn = current_function_decl;
6157 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6158 id.decl_map = &decl_map;
6160 id.copy_decl = copy_decl_no_change;
6161 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6162 id.transform_new_cfg = false;
6163 id.transform_return_to_modify = true;
6164 id.transform_parameter = true;
6165 id.transform_lang_insert_block = NULL;
6167 /* Make sure not to unshare trees behind the front-end's back
6168 since front-end specific mechanisms may rely on sharing. */
6169 id.regimplify = false;
6170 id.do_not_unshare = true;
6172 /* We're not inside any EH region. */
6173 id.eh_lp_nr = 0;
6175 t = copy_tree_body (&id);
6177 /* We can only return something suitable for use in a GENERIC
6178 expression tree. */
6179 if (TREE_CODE (t) == MODIFY_EXPR)
6180 return TREE_OPERAND (t, 1);
6183 return NULL_TREE;
6186 /* Duplicate a type, fields and all. */
6188 tree
6189 build_duplicate_type (tree type)
6191 struct copy_body_data id;
6193 memset (&id, 0, sizeof (id));
6194 id.src_fn = current_function_decl;
6195 id.dst_fn = current_function_decl;
6196 id.src_cfun = cfun;
6197 id.decl_map = new hash_map<tree, tree>;
6198 id.debug_map = NULL;
6199 id.copy_decl = copy_decl_no_change;
6201 type = remap_type_1 (type, &id);
6203 delete id.decl_map;
6204 if (id.debug_map)
6205 delete id.debug_map;
6207 TYPE_CANONICAL (type) = type;
6209 return type;
6212 /* Unshare the entire DECL_SAVED_TREE of FN and return the remapped
6213 parameters and RESULT_DECL in PARMS and RESULT. Used by C++ constexpr
6214 evaluation. */
6216 tree
6217 copy_fn (tree fn, tree& parms, tree& result)
6219 copy_body_data id;
6220 tree param;
6221 hash_map<tree, tree> decl_map;
6223 tree *p = &parms;
6224 *p = NULL_TREE;
6226 memset (&id, 0, sizeof (id));
6227 id.src_fn = fn;
6228 id.dst_fn = current_function_decl;
6229 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6230 id.decl_map = &decl_map;
6232 id.copy_decl = copy_decl_no_change;
6233 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6234 id.transform_new_cfg = false;
6235 id.transform_return_to_modify = false;
6236 id.transform_parameter = true;
6237 id.transform_lang_insert_block = NULL;
6239 /* Make sure not to unshare trees behind the front-end's back
6240 since front-end specific mechanisms may rely on sharing. */
6241 id.regimplify = false;
6242 id.do_not_unshare = true;
6244 /* We're not inside any EH region. */
6245 id.eh_lp_nr = 0;
6247 /* Remap the parameters and result and return them to the caller. */
6248 for (param = DECL_ARGUMENTS (fn);
6249 param;
6250 param = DECL_CHAIN (param))
6252 *p = remap_decl (param, &id);
6253 p = &DECL_CHAIN (*p);
6256 if (DECL_RESULT (fn))
6257 result = remap_decl (DECL_RESULT (fn), &id);
6258 else
6259 result = NULL_TREE;
6261 return copy_tree_body (&id);