Fix typo.
[official-gcc.git] / gcc / tree-inline.c
blob6899d2a8736c443835877e5fed3e30c4a45f971d
1 /* Tree inlining.
2 Copyright (C) 2001-2016 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 "value-prof.h"
57 #include "cfgloop.h"
58 #include "builtins.h"
59 #include "tree-chkp.h"
62 /* I'm not real happy about this, but we need to handle gimple and
63 non-gimple trees. */
65 /* Inlining, Cloning, Versioning, Parallelization
67 Inlining: a function body is duplicated, but the PARM_DECLs are
68 remapped into VAR_DECLs, and non-void RETURN_EXPRs become
69 MODIFY_EXPRs that store to a dedicated returned-value variable.
70 The duplicated eh_region info of the copy will later be appended
71 to the info for the caller; the eh_region info in copied throwing
72 statements and RESX statements are adjusted accordingly.
74 Cloning: (only in C++) We have one body for a con/de/structor, and
75 multiple function decls, each with a unique parameter list.
76 Duplicate the body, using the given splay tree; some parameters
77 will become constants (like 0 or 1).
79 Versioning: a function body is duplicated and the result is a new
80 function rather than into blocks of an existing function as with
81 inlining. Some parameters will become constants.
83 Parallelization: a region of a function is duplicated resulting in
84 a new function. Variables may be replaced with complex expressions
85 to enable shared variable semantics.
87 All of these will simultaneously lookup any callgraph edges. If
88 we're going to inline the duplicated function body, and the given
89 function has some cloned callgraph nodes (one for each place this
90 function will be inlined) those callgraph edges will be duplicated.
91 If we're cloning the body, those callgraph edges will be
92 updated to point into the new body. (Note that the original
93 callgraph node and edge list will not be altered.)
95 See the CALL_EXPR handling case in copy_tree_body_r (). */
97 /* To Do:
99 o In order to make inlining-on-trees work, we pessimized
100 function-local static constants. In particular, they are now
101 always output, even when not addressed. Fix this by treating
102 function-local static constants just like global static
103 constants; the back-end already knows not to output them if they
104 are not needed.
106 o Provide heuristics to clamp inlining of recursive template
107 calls? */
110 /* Weights that estimate_num_insns uses to estimate the size of the
111 produced code. */
113 eni_weights eni_size_weights;
115 /* Weights that estimate_num_insns uses to estimate the time necessary
116 to execute the produced code. */
118 eni_weights eni_time_weights;
120 /* Prototypes. */
122 static tree declare_return_variable (copy_body_data *, tree, tree, tree,
123 basic_block);
124 static void remap_block (tree *, copy_body_data *);
125 static void copy_bind_expr (tree *, int *, copy_body_data *);
126 static void declare_inline_vars (tree, tree);
127 static void remap_save_expr (tree *, hash_map<tree, tree> *, int *);
128 static void prepend_lexical_block (tree current_block, tree new_block);
129 static tree copy_decl_to_var (tree, copy_body_data *);
130 static tree copy_result_decl_to_var (tree, copy_body_data *);
131 static tree copy_decl_maybe_to_var (tree, copy_body_data *);
132 static gimple_seq remap_gimple_stmt (gimple *, copy_body_data *);
133 static bool delete_unreachable_blocks_update_callgraph (copy_body_data *id);
134 static void insert_init_stmt (copy_body_data *, basic_block, gimple *);
136 /* Insert a tree->tree mapping for ID. Despite the name suggests
137 that the trees should be variables, it is used for more than that. */
139 void
140 insert_decl_map (copy_body_data *id, tree key, tree value)
142 id->decl_map->put (key, value);
144 /* Always insert an identity map as well. If we see this same new
145 node again, we won't want to duplicate it a second time. */
146 if (key != value)
147 id->decl_map->put (value, value);
150 /* Insert a tree->tree mapping for ID. This is only used for
151 variables. */
153 static void
154 insert_debug_decl_map (copy_body_data *id, tree key, tree value)
156 if (!gimple_in_ssa_p (id->src_cfun))
157 return;
159 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
160 return;
162 if (!target_for_debug_bind (key))
163 return;
165 gcc_assert (TREE_CODE (key) == PARM_DECL);
166 gcc_assert (VAR_P (value));
168 if (!id->debug_map)
169 id->debug_map = new hash_map<tree, tree>;
171 id->debug_map->put (key, value);
174 /* If nonzero, we're remapping the contents of inlined debug
175 statements. If negative, an error has occurred, such as a
176 reference to a variable that isn't available in the inlined
177 context. */
178 static int processing_debug_stmt = 0;
180 /* Construct new SSA name for old NAME. ID is the inline context. */
182 static tree
183 remap_ssa_name (tree name, copy_body_data *id)
185 tree new_tree, var;
186 tree *n;
188 gcc_assert (TREE_CODE (name) == SSA_NAME);
190 n = id->decl_map->get (name);
191 if (n)
192 return unshare_expr (*n);
194 if (processing_debug_stmt)
196 if (SSA_NAME_IS_DEFAULT_DEF (name)
197 && TREE_CODE (SSA_NAME_VAR (name)) == PARM_DECL
198 && id->entry_bb == NULL
199 && single_succ_p (ENTRY_BLOCK_PTR_FOR_FN (cfun)))
201 tree vexpr = make_node (DEBUG_EXPR_DECL);
202 gimple *def_temp;
203 gimple_stmt_iterator gsi;
204 tree val = SSA_NAME_VAR (name);
206 n = id->decl_map->get (val);
207 if (n != NULL)
208 val = *n;
209 if (TREE_CODE (val) != PARM_DECL)
211 processing_debug_stmt = -1;
212 return name;
214 def_temp = gimple_build_debug_source_bind (vexpr, val, NULL);
215 DECL_ARTIFICIAL (vexpr) = 1;
216 TREE_TYPE (vexpr) = TREE_TYPE (name);
217 DECL_MODE (vexpr) = DECL_MODE (SSA_NAME_VAR (name));
218 gsi = gsi_after_labels (single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
219 gsi_insert_before (&gsi, def_temp, GSI_SAME_STMT);
220 return vexpr;
223 processing_debug_stmt = -1;
224 return name;
227 /* Remap anonymous SSA names or SSA names of anonymous decls. */
228 var = SSA_NAME_VAR (name);
229 if (!var
230 || (!SSA_NAME_IS_DEFAULT_DEF (name)
231 && VAR_P (var)
232 && !VAR_DECL_IS_VIRTUAL_OPERAND (var)
233 && DECL_ARTIFICIAL (var)
234 && DECL_IGNORED_P (var)
235 && !DECL_NAME (var)))
237 struct ptr_info_def *pi;
238 new_tree = make_ssa_name (remap_type (TREE_TYPE (name), id));
239 if (!var && SSA_NAME_IDENTIFIER (name))
240 SET_SSA_NAME_VAR_OR_IDENTIFIER (new_tree, SSA_NAME_IDENTIFIER (name));
241 insert_decl_map (id, name, new_tree);
242 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree)
243 = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name);
244 /* At least IPA points-to info can be directly transferred. */
245 if (id->src_cfun->gimple_df
246 && id->src_cfun->gimple_df->ipa_pta
247 && POINTER_TYPE_P (TREE_TYPE (name))
248 && (pi = SSA_NAME_PTR_INFO (name))
249 && !pi->pt.anything)
251 struct ptr_info_def *new_pi = get_ptr_info (new_tree);
252 new_pi->pt = pi->pt;
254 return new_tree;
257 /* Do not set DEF_STMT yet as statement is not copied yet. We do that
258 in copy_bb. */
259 new_tree = remap_decl (var, id);
261 /* We might've substituted constant or another SSA_NAME for
262 the variable.
264 Replace the SSA name representing RESULT_DECL by variable during
265 inlining: this saves us from need to introduce PHI node in a case
266 return value is just partly initialized. */
267 if ((VAR_P (new_tree) || TREE_CODE (new_tree) == PARM_DECL)
268 && (!SSA_NAME_VAR (name)
269 || TREE_CODE (SSA_NAME_VAR (name)) != RESULT_DECL
270 || !id->transform_return_to_modify))
272 struct ptr_info_def *pi;
273 new_tree = make_ssa_name (new_tree);
274 insert_decl_map (id, name, new_tree);
275 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree)
276 = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name);
277 /* At least IPA points-to info can be directly transferred. */
278 if (id->src_cfun->gimple_df
279 && id->src_cfun->gimple_df->ipa_pta
280 && POINTER_TYPE_P (TREE_TYPE (name))
281 && (pi = SSA_NAME_PTR_INFO (name))
282 && !pi->pt.anything)
284 struct ptr_info_def *new_pi = get_ptr_info (new_tree);
285 new_pi->pt = pi->pt;
287 if (SSA_NAME_IS_DEFAULT_DEF (name))
289 /* By inlining function having uninitialized variable, we might
290 extend the lifetime (variable might get reused). This cause
291 ICE in the case we end up extending lifetime of SSA name across
292 abnormal edge, but also increase register pressure.
294 We simply initialize all uninitialized vars by 0 except
295 for case we are inlining to very first BB. We can avoid
296 this for all BBs that are not inside strongly connected
297 regions of the CFG, but this is expensive to test. */
298 if (id->entry_bb
299 && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name)
300 && (!SSA_NAME_VAR (name)
301 || TREE_CODE (SSA_NAME_VAR (name)) != PARM_DECL)
302 && (id->entry_bb != EDGE_SUCC (ENTRY_BLOCK_PTR_FOR_FN (cfun),
303 0)->dest
304 || EDGE_COUNT (id->entry_bb->preds) != 1))
306 gimple_stmt_iterator gsi = gsi_last_bb (id->entry_bb);
307 gimple *init_stmt;
308 tree zero = build_zero_cst (TREE_TYPE (new_tree));
310 init_stmt = gimple_build_assign (new_tree, zero);
311 gsi_insert_after (&gsi, init_stmt, GSI_NEW_STMT);
312 SSA_NAME_IS_DEFAULT_DEF (new_tree) = 0;
314 else
316 SSA_NAME_DEF_STMT (new_tree) = gimple_build_nop ();
317 set_ssa_default_def (cfun, SSA_NAME_VAR (new_tree), new_tree);
321 else
322 insert_decl_map (id, name, new_tree);
323 return new_tree;
326 /* Remap DECL during the copying of the BLOCK tree for the function. */
328 tree
329 remap_decl (tree decl, copy_body_data *id)
331 tree *n;
333 /* We only remap local variables in the current function. */
335 /* See if we have remapped this declaration. */
337 n = id->decl_map->get (decl);
339 if (!n && processing_debug_stmt)
341 processing_debug_stmt = -1;
342 return decl;
345 /* When remapping a type within copy_gimple_seq_and_replace_locals, all
346 necessary DECLs have already been remapped and we do not want to duplicate
347 a decl coming from outside of the sequence we are copying. */
348 if (!n
349 && id->prevent_decl_creation_for_types
350 && id->remapping_type_depth > 0
351 && (VAR_P (decl) || TREE_CODE (decl) == PARM_DECL))
352 return decl;
354 /* If we didn't already have an equivalent for this declaration, create one
355 now. */
356 if (!n)
358 /* Make a copy of the variable or label. */
359 tree t = id->copy_decl (decl, id);
361 /* Remember it, so that if we encounter this local entity again
362 we can reuse this copy. Do this early because remap_type may
363 need this decl for TYPE_STUB_DECL. */
364 insert_decl_map (id, decl, t);
366 if (!DECL_P (t))
367 return t;
369 /* Remap types, if necessary. */
370 TREE_TYPE (t) = remap_type (TREE_TYPE (t), id);
371 if (TREE_CODE (t) == TYPE_DECL)
373 DECL_ORIGINAL_TYPE (t) = remap_type (DECL_ORIGINAL_TYPE (t), id);
375 /* Preserve the invariant that DECL_ORIGINAL_TYPE != TREE_TYPE,
376 which is enforced in gen_typedef_die when DECL_ABSTRACT_ORIGIN
377 is not set on the TYPE_DECL, for example in LTO mode. */
378 if (DECL_ORIGINAL_TYPE (t) == TREE_TYPE (t))
380 tree x = build_variant_type_copy (TREE_TYPE (t));
381 TYPE_STUB_DECL (x) = TYPE_STUB_DECL (TREE_TYPE (t));
382 TYPE_NAME (x) = TYPE_NAME (TREE_TYPE (t));
383 DECL_ORIGINAL_TYPE (t) = x;
387 /* Remap sizes as necessary. */
388 walk_tree (&DECL_SIZE (t), copy_tree_body_r, id, NULL);
389 walk_tree (&DECL_SIZE_UNIT (t), copy_tree_body_r, id, NULL);
391 /* If fields, do likewise for offset and qualifier. */
392 if (TREE_CODE (t) == FIELD_DECL)
394 walk_tree (&DECL_FIELD_OFFSET (t), copy_tree_body_r, id, NULL);
395 if (TREE_CODE (DECL_CONTEXT (t)) == QUAL_UNION_TYPE)
396 walk_tree (&DECL_QUALIFIER (t), copy_tree_body_r, id, NULL);
399 return t;
402 if (id->do_not_unshare)
403 return *n;
404 else
405 return unshare_expr (*n);
408 static tree
409 remap_type_1 (tree type, copy_body_data *id)
411 tree new_tree, t;
413 /* We do need a copy. build and register it now. If this is a pointer or
414 reference type, remap the designated type and make a new pointer or
415 reference type. */
416 if (TREE_CODE (type) == POINTER_TYPE)
418 new_tree = build_pointer_type_for_mode (remap_type (TREE_TYPE (type), id),
419 TYPE_MODE (type),
420 TYPE_REF_CAN_ALIAS_ALL (type));
421 if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
422 new_tree = build_type_attribute_qual_variant (new_tree,
423 TYPE_ATTRIBUTES (type),
424 TYPE_QUALS (type));
425 insert_decl_map (id, type, new_tree);
426 return new_tree;
428 else if (TREE_CODE (type) == REFERENCE_TYPE)
430 new_tree = build_reference_type_for_mode (remap_type (TREE_TYPE (type), id),
431 TYPE_MODE (type),
432 TYPE_REF_CAN_ALIAS_ALL (type));
433 if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
434 new_tree = build_type_attribute_qual_variant (new_tree,
435 TYPE_ATTRIBUTES (type),
436 TYPE_QUALS (type));
437 insert_decl_map (id, type, new_tree);
438 return new_tree;
440 else
441 new_tree = copy_node (type);
443 insert_decl_map (id, type, new_tree);
445 /* This is a new type, not a copy of an old type. Need to reassociate
446 variants. We can handle everything except the main variant lazily. */
447 t = TYPE_MAIN_VARIANT (type);
448 if (type != t)
450 t = remap_type (t, id);
451 TYPE_MAIN_VARIANT (new_tree) = t;
452 TYPE_NEXT_VARIANT (new_tree) = TYPE_NEXT_VARIANT (t);
453 TYPE_NEXT_VARIANT (t) = new_tree;
455 else
457 TYPE_MAIN_VARIANT (new_tree) = new_tree;
458 TYPE_NEXT_VARIANT (new_tree) = NULL;
461 if (TYPE_STUB_DECL (type))
462 TYPE_STUB_DECL (new_tree) = remap_decl (TYPE_STUB_DECL (type), id);
464 /* Lazily create pointer and reference types. */
465 TYPE_POINTER_TO (new_tree) = NULL;
466 TYPE_REFERENCE_TO (new_tree) = NULL;
468 /* Copy all types that may contain references to local variables; be sure to
469 preserve sharing in between type and its main variant when possible. */
470 switch (TREE_CODE (new_tree))
472 case INTEGER_TYPE:
473 case REAL_TYPE:
474 case FIXED_POINT_TYPE:
475 case ENUMERAL_TYPE:
476 case BOOLEAN_TYPE:
477 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
479 gcc_checking_assert (TYPE_MIN_VALUE (type) == TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (type)));
480 gcc_checking_assert (TYPE_MAX_VALUE (type) == TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (type)));
482 TYPE_MIN_VALUE (new_tree) = TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (new_tree));
483 TYPE_MAX_VALUE (new_tree) = TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (new_tree));
485 else
487 t = TYPE_MIN_VALUE (new_tree);
488 if (t && TREE_CODE (t) != INTEGER_CST)
489 walk_tree (&TYPE_MIN_VALUE (new_tree), copy_tree_body_r, id, NULL);
491 t = TYPE_MAX_VALUE (new_tree);
492 if (t && TREE_CODE (t) != INTEGER_CST)
493 walk_tree (&TYPE_MAX_VALUE (new_tree), copy_tree_body_r, id, NULL);
495 return new_tree;
497 case FUNCTION_TYPE:
498 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
499 && TREE_TYPE (type) == TREE_TYPE (TYPE_MAIN_VARIANT (type)))
500 TREE_TYPE (new_tree) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree));
501 else
502 TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
503 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
504 && TYPE_ARG_TYPES (type) == TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (type)))
505 TYPE_ARG_TYPES (new_tree) = TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (new_tree));
506 else
507 walk_tree (&TYPE_ARG_TYPES (new_tree), copy_tree_body_r, id, NULL);
508 return new_tree;
510 case ARRAY_TYPE:
511 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
512 && TREE_TYPE (type) == TREE_TYPE (TYPE_MAIN_VARIANT (type)))
513 TREE_TYPE (new_tree) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree));
514 else
515 TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
517 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
519 gcc_checking_assert (TYPE_DOMAIN (type) == TYPE_DOMAIN (TYPE_MAIN_VARIANT (type)));
520 TYPE_DOMAIN (new_tree) = TYPE_DOMAIN (TYPE_MAIN_VARIANT (new_tree));
522 else
523 TYPE_DOMAIN (new_tree) = remap_type (TYPE_DOMAIN (new_tree), id);
524 break;
526 case RECORD_TYPE:
527 case UNION_TYPE:
528 case QUAL_UNION_TYPE:
529 if (TYPE_MAIN_VARIANT (type) != type
530 && TYPE_FIELDS (type) == TYPE_FIELDS (TYPE_MAIN_VARIANT (type)))
531 TYPE_FIELDS (new_tree) = TYPE_FIELDS (TYPE_MAIN_VARIANT (new_tree));
532 else
534 tree f, nf = NULL;
536 for (f = TYPE_FIELDS (new_tree); f ; f = DECL_CHAIN (f))
538 t = remap_decl (f, id);
539 DECL_CONTEXT (t) = new_tree;
540 DECL_CHAIN (t) = nf;
541 nf = t;
543 TYPE_FIELDS (new_tree) = nreverse (nf);
545 break;
547 case OFFSET_TYPE:
548 default:
549 /* Shouldn't have been thought variable sized. */
550 gcc_unreachable ();
553 /* All variants of type share the same size, so use the already remaped data. */
554 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
556 gcc_checking_assert (TYPE_SIZE (type) == TYPE_SIZE (TYPE_MAIN_VARIANT (type)));
557 gcc_checking_assert (TYPE_SIZE_UNIT (type) == TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (type)));
559 TYPE_SIZE (new_tree) = TYPE_SIZE (TYPE_MAIN_VARIANT (new_tree));
560 TYPE_SIZE_UNIT (new_tree) = TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (new_tree));
562 else
564 walk_tree (&TYPE_SIZE (new_tree), copy_tree_body_r, id, NULL);
565 walk_tree (&TYPE_SIZE_UNIT (new_tree), copy_tree_body_r, id, NULL);
568 return new_tree;
571 tree
572 remap_type (tree type, copy_body_data *id)
574 tree *node;
575 tree tmp;
577 if (type == NULL)
578 return type;
580 /* See if we have remapped this type. */
581 node = id->decl_map->get (type);
582 if (node)
583 return *node;
585 /* The type only needs remapping if it's variably modified. */
586 if (! variably_modified_type_p (type, id->src_fn))
588 insert_decl_map (id, type, type);
589 return type;
592 id->remapping_type_depth++;
593 tmp = remap_type_1 (type, id);
594 id->remapping_type_depth--;
596 return tmp;
599 /* Decide if DECL can be put into BLOCK_NONLOCAL_VARs. */
601 static bool
602 can_be_nonlocal (tree decl, copy_body_data *id)
604 /* We can not duplicate function decls. */
605 if (TREE_CODE (decl) == FUNCTION_DECL)
606 return true;
608 /* Local static vars must be non-local or we get multiple declaration
609 problems. */
610 if (VAR_P (decl) && !auto_var_in_fn_p (decl, id->src_fn))
611 return true;
613 return false;
616 static tree
617 remap_decls (tree decls, vec<tree, va_gc> **nonlocalized_list,
618 copy_body_data *id)
620 tree old_var;
621 tree new_decls = NULL_TREE;
623 /* Remap its variables. */
624 for (old_var = decls; old_var; old_var = DECL_CHAIN (old_var))
626 tree new_var;
628 if (can_be_nonlocal (old_var, id))
630 /* We need to add this variable to the local decls as otherwise
631 nothing else will do so. */
632 if (VAR_P (old_var) && ! DECL_EXTERNAL (old_var) && cfun)
633 add_local_decl (cfun, old_var);
634 if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
635 && !DECL_IGNORED_P (old_var)
636 && nonlocalized_list)
637 vec_safe_push (*nonlocalized_list, old_var);
638 continue;
641 /* Remap the variable. */
642 new_var = remap_decl (old_var, id);
644 /* If we didn't remap this variable, we can't mess with its
645 TREE_CHAIN. If we remapped this variable to the return slot, it's
646 already declared somewhere else, so don't declare it here. */
648 if (new_var == id->retvar)
650 else if (!new_var)
652 if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
653 && !DECL_IGNORED_P (old_var)
654 && nonlocalized_list)
655 vec_safe_push (*nonlocalized_list, old_var);
657 else
659 gcc_assert (DECL_P (new_var));
660 DECL_CHAIN (new_var) = new_decls;
661 new_decls = new_var;
663 /* Also copy value-expressions. */
664 if (VAR_P (new_var) && DECL_HAS_VALUE_EXPR_P (new_var))
666 tree tem = DECL_VALUE_EXPR (new_var);
667 bool old_regimplify = id->regimplify;
668 id->remapping_type_depth++;
669 walk_tree (&tem, copy_tree_body_r, id, NULL);
670 id->remapping_type_depth--;
671 id->regimplify = old_regimplify;
672 SET_DECL_VALUE_EXPR (new_var, tem);
677 return nreverse (new_decls);
680 /* Copy the BLOCK to contain remapped versions of the variables
681 therein. And hook the new block into the block-tree. */
683 static void
684 remap_block (tree *block, copy_body_data *id)
686 tree old_block;
687 tree new_block;
689 /* Make the new block. */
690 old_block = *block;
691 new_block = make_node (BLOCK);
692 TREE_USED (new_block) = TREE_USED (old_block);
693 BLOCK_ABSTRACT_ORIGIN (new_block) = old_block;
694 BLOCK_SOURCE_LOCATION (new_block) = BLOCK_SOURCE_LOCATION (old_block);
695 BLOCK_NONLOCALIZED_VARS (new_block)
696 = vec_safe_copy (BLOCK_NONLOCALIZED_VARS (old_block));
697 *block = new_block;
699 /* Remap its variables. */
700 BLOCK_VARS (new_block) = remap_decls (BLOCK_VARS (old_block),
701 &BLOCK_NONLOCALIZED_VARS (new_block),
702 id);
704 if (id->transform_lang_insert_block)
705 id->transform_lang_insert_block (new_block);
707 /* Remember the remapped block. */
708 insert_decl_map (id, old_block, new_block);
711 /* Copy the whole block tree and root it in id->block. */
712 static tree
713 remap_blocks (tree block, copy_body_data *id)
715 tree t;
716 tree new_tree = block;
718 if (!block)
719 return NULL;
721 remap_block (&new_tree, id);
722 gcc_assert (new_tree != block);
723 for (t = BLOCK_SUBBLOCKS (block); t ; t = BLOCK_CHAIN (t))
724 prepend_lexical_block (new_tree, remap_blocks (t, id));
725 /* Blocks are in arbitrary order, but make things slightly prettier and do
726 not swap order when producing a copy. */
727 BLOCK_SUBBLOCKS (new_tree) = blocks_nreverse (BLOCK_SUBBLOCKS (new_tree));
728 return new_tree;
731 /* Remap the block tree rooted at BLOCK to nothing. */
732 static void
733 remap_blocks_to_null (tree block, copy_body_data *id)
735 tree t;
736 insert_decl_map (id, block, NULL_TREE);
737 for (t = BLOCK_SUBBLOCKS (block); t ; t = BLOCK_CHAIN (t))
738 remap_blocks_to_null (t, id);
741 static void
742 copy_statement_list (tree *tp)
744 tree_stmt_iterator oi, ni;
745 tree new_tree;
747 new_tree = alloc_stmt_list ();
748 ni = tsi_start (new_tree);
749 oi = tsi_start (*tp);
750 TREE_TYPE (new_tree) = TREE_TYPE (*tp);
751 *tp = new_tree;
753 for (; !tsi_end_p (oi); tsi_next (&oi))
755 tree stmt = tsi_stmt (oi);
756 if (TREE_CODE (stmt) == STATEMENT_LIST)
757 /* This copy is not redundant; tsi_link_after will smash this
758 STATEMENT_LIST into the end of the one we're building, and we
759 don't want to do that with the original. */
760 copy_statement_list (&stmt);
761 tsi_link_after (&ni, stmt, TSI_CONTINUE_LINKING);
765 static void
766 copy_bind_expr (tree *tp, int *walk_subtrees, copy_body_data *id)
768 tree block = BIND_EXPR_BLOCK (*tp);
769 /* Copy (and replace) the statement. */
770 copy_tree_r (tp, walk_subtrees, NULL);
771 if (block)
773 remap_block (&block, id);
774 BIND_EXPR_BLOCK (*tp) = block;
777 if (BIND_EXPR_VARS (*tp))
778 /* This will remap a lot of the same decls again, but this should be
779 harmless. */
780 BIND_EXPR_VARS (*tp) = remap_decls (BIND_EXPR_VARS (*tp), NULL, id);
784 /* Create a new gimple_seq by remapping all the statements in BODY
785 using the inlining information in ID. */
787 static gimple_seq
788 remap_gimple_seq (gimple_seq body, copy_body_data *id)
790 gimple_stmt_iterator si;
791 gimple_seq new_body = NULL;
793 for (si = gsi_start (body); !gsi_end_p (si); gsi_next (&si))
795 gimple_seq new_stmts = remap_gimple_stmt (gsi_stmt (si), id);
796 gimple_seq_add_seq (&new_body, new_stmts);
799 return new_body;
803 /* Copy a GIMPLE_BIND statement STMT, remapping all the symbols in its
804 block using the mapping information in ID. */
806 static gimple *
807 copy_gimple_bind (gbind *stmt, copy_body_data *id)
809 gimple *new_bind;
810 tree new_block, new_vars;
811 gimple_seq body, new_body;
813 /* Copy the statement. Note that we purposely don't use copy_stmt
814 here because we need to remap statements as we copy. */
815 body = gimple_bind_body (stmt);
816 new_body = remap_gimple_seq (body, id);
818 new_block = gimple_bind_block (stmt);
819 if (new_block)
820 remap_block (&new_block, id);
822 /* This will remap a lot of the same decls again, but this should be
823 harmless. */
824 new_vars = gimple_bind_vars (stmt);
825 if (new_vars)
826 new_vars = remap_decls (new_vars, NULL, id);
828 new_bind = gimple_build_bind (new_vars, new_body, new_block);
830 return new_bind;
833 /* Return true if DECL is a parameter or a SSA_NAME for a parameter. */
835 static bool
836 is_parm (tree decl)
838 if (TREE_CODE (decl) == SSA_NAME)
840 decl = SSA_NAME_VAR (decl);
841 if (!decl)
842 return false;
845 return (TREE_CODE (decl) == PARM_DECL);
848 /* Remap the dependence CLIQUE from the source to the destination function
849 as specified in ID. */
851 static unsigned short
852 remap_dependence_clique (copy_body_data *id, unsigned short clique)
854 if (clique == 0 || processing_debug_stmt)
855 return 0;
856 if (!id->dependence_map)
857 id->dependence_map = new hash_map<dependence_hash, unsigned short>;
858 bool existed;
859 unsigned short &newc = id->dependence_map->get_or_insert (clique, &existed);
860 if (!existed)
861 newc = ++cfun->last_clique;
862 return newc;
865 /* Remap the GIMPLE operand pointed to by *TP. DATA is really a
866 'struct walk_stmt_info *'. DATA->INFO is a 'copy_body_data *'.
867 WALK_SUBTREES is used to indicate walk_gimple_op whether to keep
868 recursing into the children nodes of *TP. */
870 static tree
871 remap_gimple_op_r (tree *tp, int *walk_subtrees, void *data)
873 struct walk_stmt_info *wi_p = (struct walk_stmt_info *) data;
874 copy_body_data *id = (copy_body_data *) wi_p->info;
875 tree fn = id->src_fn;
877 /* For recursive invocations this is no longer the LHS itself. */
878 bool is_lhs = wi_p->is_lhs;
879 wi_p->is_lhs = false;
881 if (TREE_CODE (*tp) == SSA_NAME)
883 *tp = remap_ssa_name (*tp, id);
884 *walk_subtrees = 0;
885 if (is_lhs)
886 SSA_NAME_DEF_STMT (*tp) = wi_p->stmt;
887 return NULL;
889 else if (auto_var_in_fn_p (*tp, fn))
891 /* Local variables and labels need to be replaced by equivalent
892 variables. We don't want to copy static variables; there's
893 only one of those, no matter how many times we inline the
894 containing function. Similarly for globals from an outer
895 function. */
896 tree new_decl;
898 /* Remap the declaration. */
899 new_decl = remap_decl (*tp, id);
900 gcc_assert (new_decl);
901 /* Replace this variable with the copy. */
902 STRIP_TYPE_NOPS (new_decl);
903 /* ??? The C++ frontend uses void * pointer zero to initialize
904 any other type. This confuses the middle-end type verification.
905 As cloned bodies do not go through gimplification again the fixup
906 there doesn't trigger. */
907 if (TREE_CODE (new_decl) == INTEGER_CST
908 && !useless_type_conversion_p (TREE_TYPE (*tp), TREE_TYPE (new_decl)))
909 new_decl = fold_convert (TREE_TYPE (*tp), new_decl);
910 *tp = new_decl;
911 *walk_subtrees = 0;
913 else if (TREE_CODE (*tp) == STATEMENT_LIST)
914 gcc_unreachable ();
915 else if (TREE_CODE (*tp) == SAVE_EXPR)
916 gcc_unreachable ();
917 else if (TREE_CODE (*tp) == LABEL_DECL
918 && (!DECL_CONTEXT (*tp)
919 || decl_function_context (*tp) == id->src_fn))
920 /* These may need to be remapped for EH handling. */
921 *tp = remap_decl (*tp, id);
922 else if (TREE_CODE (*tp) == FIELD_DECL)
924 /* If the enclosing record type is variably_modified_type_p, the field
925 has already been remapped. Otherwise, it need not be. */
926 tree *n = id->decl_map->get (*tp);
927 if (n)
928 *tp = *n;
929 *walk_subtrees = 0;
931 else if (TYPE_P (*tp))
932 /* Types may need remapping as well. */
933 *tp = remap_type (*tp, id);
934 else if (CONSTANT_CLASS_P (*tp))
936 /* If this is a constant, we have to copy the node iff the type
937 will be remapped. copy_tree_r will not copy a constant. */
938 tree new_type = remap_type (TREE_TYPE (*tp), id);
940 if (new_type == TREE_TYPE (*tp))
941 *walk_subtrees = 0;
943 else if (TREE_CODE (*tp) == INTEGER_CST)
944 *tp = wide_int_to_tree (new_type, *tp);
945 else
947 *tp = copy_node (*tp);
948 TREE_TYPE (*tp) = new_type;
951 else
953 /* Otherwise, just copy the node. Note that copy_tree_r already
954 knows not to copy VAR_DECLs, etc., so this is safe. */
956 if (TREE_CODE (*tp) == MEM_REF)
958 /* We need to re-canonicalize MEM_REFs from inline substitutions
959 that can happen when a pointer argument is an ADDR_EXPR.
960 Recurse here manually to allow that. */
961 tree ptr = TREE_OPERAND (*tp, 0);
962 tree type = remap_type (TREE_TYPE (*tp), id);
963 tree old = *tp;
964 walk_tree (&ptr, remap_gimple_op_r, data, NULL);
965 *tp = fold_build2 (MEM_REF, type, ptr, TREE_OPERAND (*tp, 1));
966 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
967 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
968 TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
969 if (MR_DEPENDENCE_CLIQUE (old) != 0)
971 MR_DEPENDENCE_CLIQUE (*tp)
972 = remap_dependence_clique (id, MR_DEPENDENCE_CLIQUE (old));
973 MR_DEPENDENCE_BASE (*tp) = MR_DEPENDENCE_BASE (old);
975 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
976 remapped a parameter as the property might be valid only
977 for the parameter itself. */
978 if (TREE_THIS_NOTRAP (old)
979 && (!is_parm (TREE_OPERAND (old, 0))
980 || (!id->transform_parameter && is_parm (ptr))))
981 TREE_THIS_NOTRAP (*tp) = 1;
982 REF_REVERSE_STORAGE_ORDER (*tp) = REF_REVERSE_STORAGE_ORDER (old);
983 *walk_subtrees = 0;
984 return NULL;
987 /* Here is the "usual case". Copy this tree node, and then
988 tweak some special cases. */
989 copy_tree_r (tp, walk_subtrees, NULL);
991 if (TREE_CODE (*tp) != OMP_CLAUSE)
992 TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
994 if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
996 /* The copied TARGET_EXPR has never been expanded, even if the
997 original node was expanded already. */
998 TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
999 TREE_OPERAND (*tp, 3) = NULL_TREE;
1001 else if (TREE_CODE (*tp) == ADDR_EXPR)
1003 /* Variable substitution need not be simple. In particular,
1004 the MEM_REF substitution above. Make sure that
1005 TREE_CONSTANT and friends are up-to-date. */
1006 int invariant = is_gimple_min_invariant (*tp);
1007 walk_tree (&TREE_OPERAND (*tp, 0), remap_gimple_op_r, data, NULL);
1008 recompute_tree_invariant_for_addr_expr (*tp);
1010 /* If this used to be invariant, but is not any longer,
1011 then regimplification is probably needed. */
1012 if (invariant && !is_gimple_min_invariant (*tp))
1013 id->regimplify = true;
1015 *walk_subtrees = 0;
1019 /* Update the TREE_BLOCK for the cloned expr. */
1020 if (EXPR_P (*tp))
1022 tree new_block = id->remapping_type_depth == 0 ? id->block : NULL;
1023 tree old_block = TREE_BLOCK (*tp);
1024 if (old_block)
1026 tree *n;
1027 n = id->decl_map->get (TREE_BLOCK (*tp));
1028 if (n)
1029 new_block = *n;
1031 TREE_SET_BLOCK (*tp, new_block);
1034 /* Keep iterating. */
1035 return NULL_TREE;
1039 /* Called from copy_body_id via walk_tree. DATA is really a
1040 `copy_body_data *'. */
1042 tree
1043 copy_tree_body_r (tree *tp, int *walk_subtrees, void *data)
1045 copy_body_data *id = (copy_body_data *) data;
1046 tree fn = id->src_fn;
1047 tree new_block;
1048 bool copied = false;
1050 /* Begin by recognizing trees that we'll completely rewrite for the
1051 inlining context. Our output for these trees is completely
1052 different from out input (e.g. RETURN_EXPR is deleted, and morphs
1053 into an edge). Further down, we'll handle trees that get
1054 duplicated and/or tweaked. */
1056 /* When requested, RETURN_EXPRs should be transformed to just the
1057 contained MODIFY_EXPR. The branch semantics of the return will
1058 be handled elsewhere by manipulating the CFG rather than a statement. */
1059 if (TREE_CODE (*tp) == RETURN_EXPR && id->transform_return_to_modify)
1061 tree assignment = TREE_OPERAND (*tp, 0);
1063 /* If we're returning something, just turn that into an
1064 assignment into the equivalent of the original RESULT_DECL.
1065 If the "assignment" is just the result decl, the result
1066 decl has already been set (e.g. a recent "foo (&result_decl,
1067 ...)"); just toss the entire RETURN_EXPR. */
1068 if (assignment && TREE_CODE (assignment) == MODIFY_EXPR)
1070 /* Replace the RETURN_EXPR with (a copy of) the
1071 MODIFY_EXPR hanging underneath. */
1072 *tp = copy_node (assignment);
1074 else /* Else the RETURN_EXPR returns no value. */
1076 *tp = NULL;
1077 return (tree) (void *)1;
1080 else if (TREE_CODE (*tp) == SSA_NAME)
1082 *tp = remap_ssa_name (*tp, id);
1083 *walk_subtrees = 0;
1084 return NULL;
1087 /* Local variables and labels need to be replaced by equivalent
1088 variables. We don't want to copy static variables; there's only
1089 one of those, no matter how many times we inline the containing
1090 function. Similarly for globals from an outer function. */
1091 else if (auto_var_in_fn_p (*tp, fn))
1093 tree new_decl;
1095 /* Remap the declaration. */
1096 new_decl = remap_decl (*tp, id);
1097 gcc_assert (new_decl);
1098 /* Replace this variable with the copy. */
1099 STRIP_TYPE_NOPS (new_decl);
1100 *tp = new_decl;
1101 *walk_subtrees = 0;
1103 else if (TREE_CODE (*tp) == STATEMENT_LIST)
1104 copy_statement_list (tp);
1105 else if (TREE_CODE (*tp) == SAVE_EXPR
1106 || TREE_CODE (*tp) == TARGET_EXPR)
1107 remap_save_expr (tp, id->decl_map, walk_subtrees);
1108 else if (TREE_CODE (*tp) == LABEL_DECL
1109 && (! DECL_CONTEXT (*tp)
1110 || decl_function_context (*tp) == id->src_fn))
1111 /* These may need to be remapped for EH handling. */
1112 *tp = remap_decl (*tp, id);
1113 else if (TREE_CODE (*tp) == BIND_EXPR)
1114 copy_bind_expr (tp, walk_subtrees, id);
1115 /* Types may need remapping as well. */
1116 else if (TYPE_P (*tp))
1117 *tp = remap_type (*tp, id);
1119 /* If this is a constant, we have to copy the node iff the type will be
1120 remapped. copy_tree_r will not copy a constant. */
1121 else if (CONSTANT_CLASS_P (*tp))
1123 tree new_type = remap_type (TREE_TYPE (*tp), id);
1125 if (new_type == TREE_TYPE (*tp))
1126 *walk_subtrees = 0;
1128 else if (TREE_CODE (*tp) == INTEGER_CST)
1129 *tp = wide_int_to_tree (new_type, *tp);
1130 else
1132 *tp = copy_node (*tp);
1133 TREE_TYPE (*tp) = new_type;
1137 /* Otherwise, just copy the node. Note that copy_tree_r already
1138 knows not to copy VAR_DECLs, etc., so this is safe. */
1139 else
1141 /* Here we handle trees that are not completely rewritten.
1142 First we detect some inlining-induced bogosities for
1143 discarding. */
1144 if (TREE_CODE (*tp) == MODIFY_EXPR
1145 && TREE_OPERAND (*tp, 0) == TREE_OPERAND (*tp, 1)
1146 && (auto_var_in_fn_p (TREE_OPERAND (*tp, 0), fn)))
1148 /* Some assignments VAR = VAR; don't generate any rtl code
1149 and thus don't count as variable modification. Avoid
1150 keeping bogosities like 0 = 0. */
1151 tree decl = TREE_OPERAND (*tp, 0), value;
1152 tree *n;
1154 n = id->decl_map->get (decl);
1155 if (n)
1157 value = *n;
1158 STRIP_TYPE_NOPS (value);
1159 if (TREE_CONSTANT (value) || TREE_READONLY (value))
1161 *tp = build_empty_stmt (EXPR_LOCATION (*tp));
1162 return copy_tree_body_r (tp, walk_subtrees, data);
1166 else if (TREE_CODE (*tp) == INDIRECT_REF)
1168 /* Get rid of *& from inline substitutions that can happen when a
1169 pointer argument is an ADDR_EXPR. */
1170 tree decl = TREE_OPERAND (*tp, 0);
1171 tree *n = id->decl_map->get (decl);
1172 if (n)
1174 /* If we happen to get an ADDR_EXPR in n->value, strip
1175 it manually here as we'll eventually get ADDR_EXPRs
1176 which lie about their types pointed to. In this case
1177 build_fold_indirect_ref wouldn't strip the INDIRECT_REF,
1178 but we absolutely rely on that. As fold_indirect_ref
1179 does other useful transformations, try that first, though. */
1180 tree type = TREE_TYPE (*tp);
1181 tree ptr = id->do_not_unshare ? *n : unshare_expr (*n);
1182 tree old = *tp;
1183 *tp = gimple_fold_indirect_ref (ptr);
1184 if (! *tp)
1186 if (TREE_CODE (ptr) == ADDR_EXPR)
1189 = fold_indirect_ref_1 (EXPR_LOCATION (ptr), type, ptr);
1190 /* ??? We should either assert here or build
1191 a VIEW_CONVERT_EXPR instead of blindly leaking
1192 incompatible types to our IL. */
1193 if (! *tp)
1194 *tp = TREE_OPERAND (ptr, 0);
1196 else
1198 *tp = build1 (INDIRECT_REF, type, ptr);
1199 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1200 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1201 TREE_READONLY (*tp) = TREE_READONLY (old);
1202 /* We cannot propagate the TREE_THIS_NOTRAP flag if we
1203 have remapped a parameter as the property might be
1204 valid only for the parameter itself. */
1205 if (TREE_THIS_NOTRAP (old)
1206 && (!is_parm (TREE_OPERAND (old, 0))
1207 || (!id->transform_parameter && is_parm (ptr))))
1208 TREE_THIS_NOTRAP (*tp) = 1;
1211 *walk_subtrees = 0;
1212 return NULL;
1215 else if (TREE_CODE (*tp) == MEM_REF)
1217 /* We need to re-canonicalize MEM_REFs from inline substitutions
1218 that can happen when a pointer argument is an ADDR_EXPR.
1219 Recurse here manually to allow that. */
1220 tree ptr = TREE_OPERAND (*tp, 0);
1221 tree type = remap_type (TREE_TYPE (*tp), id);
1222 tree old = *tp;
1223 walk_tree (&ptr, copy_tree_body_r, data, NULL);
1224 *tp = fold_build2 (MEM_REF, type, ptr, TREE_OPERAND (*tp, 1));
1225 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1226 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1227 TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
1228 if (MR_DEPENDENCE_CLIQUE (old) != 0)
1230 MR_DEPENDENCE_CLIQUE (*tp)
1231 = remap_dependence_clique (id, MR_DEPENDENCE_CLIQUE (old));
1232 MR_DEPENDENCE_BASE (*tp) = MR_DEPENDENCE_BASE (old);
1234 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
1235 remapped a parameter as the property might be valid only
1236 for the parameter itself. */
1237 if (TREE_THIS_NOTRAP (old)
1238 && (!is_parm (TREE_OPERAND (old, 0))
1239 || (!id->transform_parameter && is_parm (ptr))))
1240 TREE_THIS_NOTRAP (*tp) = 1;
1241 REF_REVERSE_STORAGE_ORDER (*tp) = REF_REVERSE_STORAGE_ORDER (old);
1242 *walk_subtrees = 0;
1243 return NULL;
1245 else if (TREE_CODE (*tp) == COND_EXPR)
1247 tree cond = TREE_OPERAND (*tp, 0);
1248 walk_tree (&cond, copy_tree_body_r, data, NULL);
1249 tree folded = fold (cond);
1250 if (TREE_CODE (folded) == INTEGER_CST)
1252 /* Only copy the taken branch; for a C++ base constructor clone
1253 inherited from a virtual base, copying the other branch leads
1254 to references to parameters that were optimized away. */
1255 tree branch = (integer_nonzerop (folded)
1256 ? TREE_OPERAND (*tp, 1)
1257 : TREE_OPERAND (*tp, 2));
1258 tree type = TREE_TYPE (*tp);
1259 if (VOID_TYPE_P (type)
1260 || type == TREE_TYPE (branch))
1262 *tp = branch;
1263 return copy_tree_body_r (tp, walk_subtrees, data);
1266 /* Avoid copying the condition twice. */
1267 copy_tree_r (tp, walk_subtrees, NULL);
1268 TREE_OPERAND (*tp, 0) = cond;
1269 walk_tree (&TREE_OPERAND (*tp, 1), copy_tree_body_r, data, NULL);
1270 walk_tree (&TREE_OPERAND (*tp, 2), copy_tree_body_r, data, NULL);
1271 *walk_subtrees = 0;
1272 copied = true;
1275 /* Here is the "usual case". Copy this tree node, and then
1276 tweak some special cases. */
1277 if (!copied)
1278 copy_tree_r (tp, walk_subtrees, NULL);
1280 /* If EXPR has block defined, map it to newly constructed block.
1281 When inlining we want EXPRs without block appear in the block
1282 of function call if we are not remapping a type. */
1283 if (EXPR_P (*tp))
1285 new_block = id->remapping_type_depth == 0 ? id->block : NULL;
1286 if (TREE_BLOCK (*tp))
1288 tree *n;
1289 n = id->decl_map->get (TREE_BLOCK (*tp));
1290 if (n)
1291 new_block = *n;
1293 TREE_SET_BLOCK (*tp, new_block);
1296 if (TREE_CODE (*tp) != OMP_CLAUSE)
1297 TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
1299 /* The copied TARGET_EXPR has never been expanded, even if the
1300 original node was expanded already. */
1301 if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
1303 TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
1304 TREE_OPERAND (*tp, 3) = NULL_TREE;
1307 /* Variable substitution need not be simple. In particular, the
1308 INDIRECT_REF substitution above. Make sure that TREE_CONSTANT
1309 and friends are up-to-date. */
1310 else if (TREE_CODE (*tp) == ADDR_EXPR)
1312 int invariant = is_gimple_min_invariant (*tp);
1313 walk_tree (&TREE_OPERAND (*tp, 0), copy_tree_body_r, id, NULL);
1315 /* Handle the case where we substituted an INDIRECT_REF
1316 into the operand of the ADDR_EXPR. */
1317 if (TREE_CODE (TREE_OPERAND (*tp, 0)) == INDIRECT_REF)
1319 tree t = TREE_OPERAND (TREE_OPERAND (*tp, 0), 0);
1320 if (TREE_TYPE (t) != TREE_TYPE (*tp))
1321 t = fold_convert (remap_type (TREE_TYPE (*tp), id), t);
1322 *tp = t;
1324 else
1325 recompute_tree_invariant_for_addr_expr (*tp);
1327 /* If this used to be invariant, but is not any longer,
1328 then regimplification is probably needed. */
1329 if (invariant && !is_gimple_min_invariant (*tp))
1330 id->regimplify = true;
1332 *walk_subtrees = 0;
1336 /* Keep iterating. */
1337 return NULL_TREE;
1340 /* Helper for remap_gimple_stmt. Given an EH region number for the
1341 source function, map that to the duplicate EH region number in
1342 the destination function. */
1344 static int
1345 remap_eh_region_nr (int old_nr, copy_body_data *id)
1347 eh_region old_r, new_r;
1349 old_r = get_eh_region_from_number_fn (id->src_cfun, old_nr);
1350 new_r = static_cast<eh_region> (*id->eh_map->get (old_r));
1352 return new_r->index;
1355 /* Similar, but operate on INTEGER_CSTs. */
1357 static tree
1358 remap_eh_region_tree_nr (tree old_t_nr, copy_body_data *id)
1360 int old_nr, new_nr;
1362 old_nr = tree_to_shwi (old_t_nr);
1363 new_nr = remap_eh_region_nr (old_nr, id);
1365 return build_int_cst (integer_type_node, new_nr);
1368 /* Helper for copy_bb. Remap statement STMT using the inlining
1369 information in ID. Return the new statement copy. */
1371 static gimple_seq
1372 remap_gimple_stmt (gimple *stmt, copy_body_data *id)
1374 gimple *copy = NULL;
1375 struct walk_stmt_info wi;
1376 bool skip_first = false;
1377 gimple_seq stmts = NULL;
1379 if (is_gimple_debug (stmt)
1380 && !opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
1381 return stmts;
1383 /* Begin by recognizing trees that we'll completely rewrite for the
1384 inlining context. Our output for these trees is completely
1385 different from out input (e.g. RETURN_EXPR is deleted, and morphs
1386 into an edge). Further down, we'll handle trees that get
1387 duplicated and/or tweaked. */
1389 /* When requested, GIMPLE_RETURNs should be transformed to just the
1390 contained GIMPLE_ASSIGN. The branch semantics of the return will
1391 be handled elsewhere by manipulating the CFG rather than the
1392 statement. */
1393 if (gimple_code (stmt) == GIMPLE_RETURN && id->transform_return_to_modify)
1395 tree retval = gimple_return_retval (as_a <greturn *> (stmt));
1396 tree retbnd = gimple_return_retbnd (stmt);
1397 tree bndslot = id->retbnd;
1399 if (retbnd && bndslot)
1401 gimple *bndcopy = gimple_build_assign (bndslot, retbnd);
1402 memset (&wi, 0, sizeof (wi));
1403 wi.info = id;
1404 walk_gimple_op (bndcopy, remap_gimple_op_r, &wi);
1405 gimple_seq_add_stmt (&stmts, bndcopy);
1408 /* If we're returning something, just turn that into an
1409 assignment into the equivalent of the original RESULT_DECL.
1410 If RETVAL is just the result decl, the result decl has
1411 already been set (e.g. a recent "foo (&result_decl, ...)");
1412 just toss the entire GIMPLE_RETURN. */
1413 if (retval
1414 && (TREE_CODE (retval) != RESULT_DECL
1415 && (TREE_CODE (retval) != SSA_NAME
1416 || ! SSA_NAME_VAR (retval)
1417 || TREE_CODE (SSA_NAME_VAR (retval)) != RESULT_DECL)))
1419 copy = gimple_build_assign (id->do_not_unshare
1420 ? id->retvar : unshare_expr (id->retvar),
1421 retval);
1422 /* id->retvar is already substituted. Skip it on later remapping. */
1423 skip_first = true;
1425 /* We need to copy bounds if return structure with pointers into
1426 instrumented function. */
1427 if (chkp_function_instrumented_p (id->dst_fn)
1428 && !bndslot
1429 && !BOUNDED_P (id->retvar)
1430 && chkp_type_has_pointer (TREE_TYPE (id->retvar)))
1431 id->assign_stmts.safe_push (copy);
1434 else
1435 return stmts;
1437 else if (gimple_has_substatements (stmt))
1439 gimple_seq s1, s2;
1441 /* When cloning bodies from the C++ front end, we will be handed bodies
1442 in High GIMPLE form. Handle here all the High GIMPLE statements that
1443 have embedded statements. */
1444 switch (gimple_code (stmt))
1446 case GIMPLE_BIND:
1447 copy = copy_gimple_bind (as_a <gbind *> (stmt), id);
1448 break;
1450 case GIMPLE_CATCH:
1452 gcatch *catch_stmt = as_a <gcatch *> (stmt);
1453 s1 = remap_gimple_seq (gimple_catch_handler (catch_stmt), id);
1454 copy = gimple_build_catch (gimple_catch_types (catch_stmt), s1);
1456 break;
1458 case GIMPLE_EH_FILTER:
1459 s1 = remap_gimple_seq (gimple_eh_filter_failure (stmt), id);
1460 copy = gimple_build_eh_filter (gimple_eh_filter_types (stmt), s1);
1461 break;
1463 case GIMPLE_TRY:
1464 s1 = remap_gimple_seq (gimple_try_eval (stmt), id);
1465 s2 = remap_gimple_seq (gimple_try_cleanup (stmt), id);
1466 copy = gimple_build_try (s1, s2, gimple_try_kind (stmt));
1467 break;
1469 case GIMPLE_WITH_CLEANUP_EXPR:
1470 s1 = remap_gimple_seq (gimple_wce_cleanup (stmt), id);
1471 copy = gimple_build_wce (s1);
1472 break;
1474 case GIMPLE_OMP_PARALLEL:
1476 gomp_parallel *omp_par_stmt = as_a <gomp_parallel *> (stmt);
1477 s1 = remap_gimple_seq (gimple_omp_body (omp_par_stmt), id);
1478 copy = gimple_build_omp_parallel
1479 (s1,
1480 gimple_omp_parallel_clauses (omp_par_stmt),
1481 gimple_omp_parallel_child_fn (omp_par_stmt),
1482 gimple_omp_parallel_data_arg (omp_par_stmt));
1484 break;
1486 case GIMPLE_OMP_TASK:
1487 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1488 copy = gimple_build_omp_task
1489 (s1,
1490 gimple_omp_task_clauses (stmt),
1491 gimple_omp_task_child_fn (stmt),
1492 gimple_omp_task_data_arg (stmt),
1493 gimple_omp_task_copy_fn (stmt),
1494 gimple_omp_task_arg_size (stmt),
1495 gimple_omp_task_arg_align (stmt));
1496 break;
1498 case GIMPLE_OMP_FOR:
1499 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1500 s2 = remap_gimple_seq (gimple_omp_for_pre_body (stmt), id);
1501 copy = gimple_build_omp_for (s1, gimple_omp_for_kind (stmt),
1502 gimple_omp_for_clauses (stmt),
1503 gimple_omp_for_collapse (stmt), s2);
1505 size_t i;
1506 for (i = 0; i < gimple_omp_for_collapse (stmt); i++)
1508 gimple_omp_for_set_index (copy, i,
1509 gimple_omp_for_index (stmt, i));
1510 gimple_omp_for_set_initial (copy, i,
1511 gimple_omp_for_initial (stmt, i));
1512 gimple_omp_for_set_final (copy, i,
1513 gimple_omp_for_final (stmt, i));
1514 gimple_omp_for_set_incr (copy, i,
1515 gimple_omp_for_incr (stmt, i));
1516 gimple_omp_for_set_cond (copy, i,
1517 gimple_omp_for_cond (stmt, i));
1520 break;
1522 case GIMPLE_OMP_MASTER:
1523 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1524 copy = gimple_build_omp_master (s1);
1525 break;
1527 case GIMPLE_OMP_TASKGROUP:
1528 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1529 copy = gimple_build_omp_taskgroup (s1);
1530 break;
1532 case GIMPLE_OMP_ORDERED:
1533 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1534 copy = gimple_build_omp_ordered
1535 (s1,
1536 gimple_omp_ordered_clauses (as_a <gomp_ordered *> (stmt)));
1537 break;
1539 case GIMPLE_OMP_SECTION:
1540 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1541 copy = gimple_build_omp_section (s1);
1542 break;
1544 case GIMPLE_OMP_SECTIONS:
1545 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1546 copy = gimple_build_omp_sections
1547 (s1, gimple_omp_sections_clauses (stmt));
1548 break;
1550 case GIMPLE_OMP_SINGLE:
1551 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1552 copy = gimple_build_omp_single
1553 (s1, gimple_omp_single_clauses (stmt));
1554 break;
1556 case GIMPLE_OMP_TARGET:
1557 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1558 copy = gimple_build_omp_target
1559 (s1, gimple_omp_target_kind (stmt),
1560 gimple_omp_target_clauses (stmt));
1561 break;
1563 case GIMPLE_OMP_TEAMS:
1564 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1565 copy = gimple_build_omp_teams
1566 (s1, gimple_omp_teams_clauses (stmt));
1567 break;
1569 case GIMPLE_OMP_CRITICAL:
1570 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1571 copy = gimple_build_omp_critical (s1,
1572 gimple_omp_critical_name
1573 (as_a <gomp_critical *> (stmt)),
1574 gimple_omp_critical_clauses
1575 (as_a <gomp_critical *> (stmt)));
1576 break;
1578 case GIMPLE_TRANSACTION:
1580 gtransaction *old_trans_stmt = as_a <gtransaction *> (stmt);
1581 gtransaction *new_trans_stmt;
1582 s1 = remap_gimple_seq (gimple_transaction_body (old_trans_stmt),
1583 id);
1584 copy = new_trans_stmt = gimple_build_transaction (s1);
1585 gimple_transaction_set_subcode (new_trans_stmt,
1586 gimple_transaction_subcode (old_trans_stmt));
1587 gimple_transaction_set_label_norm (new_trans_stmt,
1588 gimple_transaction_label_norm (old_trans_stmt));
1589 gimple_transaction_set_label_uninst (new_trans_stmt,
1590 gimple_transaction_label_uninst (old_trans_stmt));
1591 gimple_transaction_set_label_over (new_trans_stmt,
1592 gimple_transaction_label_over (old_trans_stmt));
1594 break;
1596 default:
1597 gcc_unreachable ();
1600 else
1602 if (gimple_assign_copy_p (stmt)
1603 && gimple_assign_lhs (stmt) == gimple_assign_rhs1 (stmt)
1604 && auto_var_in_fn_p (gimple_assign_lhs (stmt), id->src_fn))
1606 /* Here we handle statements that are not completely rewritten.
1607 First we detect some inlining-induced bogosities for
1608 discarding. */
1610 /* Some assignments VAR = VAR; don't generate any rtl code
1611 and thus don't count as variable modification. Avoid
1612 keeping bogosities like 0 = 0. */
1613 tree decl = gimple_assign_lhs (stmt), value;
1614 tree *n;
1616 n = id->decl_map->get (decl);
1617 if (n)
1619 value = *n;
1620 STRIP_TYPE_NOPS (value);
1621 if (TREE_CONSTANT (value) || TREE_READONLY (value))
1622 return NULL;
1626 /* For *ptr_N ={v} {CLOBBER}, if ptr_N is SSA_NAME defined
1627 in a block that we aren't copying during tree_function_versioning,
1628 just drop the clobber stmt. */
1629 if (id->blocks_to_copy && gimple_clobber_p (stmt))
1631 tree lhs = gimple_assign_lhs (stmt);
1632 if (TREE_CODE (lhs) == MEM_REF
1633 && TREE_CODE (TREE_OPERAND (lhs, 0)) == SSA_NAME)
1635 gimple *def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (lhs, 0));
1636 if (gimple_bb (def_stmt)
1637 && !bitmap_bit_p (id->blocks_to_copy,
1638 gimple_bb (def_stmt)->index))
1639 return NULL;
1643 if (gimple_debug_bind_p (stmt))
1645 gdebug *copy
1646 = gimple_build_debug_bind (gimple_debug_bind_get_var (stmt),
1647 gimple_debug_bind_get_value (stmt),
1648 stmt);
1649 id->debug_stmts.safe_push (copy);
1650 gimple_seq_add_stmt (&stmts, copy);
1651 return stmts;
1653 if (gimple_debug_source_bind_p (stmt))
1655 gdebug *copy = gimple_build_debug_source_bind
1656 (gimple_debug_source_bind_get_var (stmt),
1657 gimple_debug_source_bind_get_value (stmt),
1658 stmt);
1659 id->debug_stmts.safe_push (copy);
1660 gimple_seq_add_stmt (&stmts, copy);
1661 return stmts;
1664 /* Create a new deep copy of the statement. */
1665 copy = gimple_copy (stmt);
1667 /* Clear flags that need revisiting. */
1668 if (gcall *call_stmt = dyn_cast <gcall *> (copy))
1670 if (gimple_call_tail_p (call_stmt))
1671 gimple_call_set_tail (call_stmt, false);
1672 if (gimple_call_from_thunk_p (call_stmt))
1673 gimple_call_set_from_thunk (call_stmt, false);
1674 if (gimple_call_internal_p (call_stmt))
1675 switch (gimple_call_internal_fn (call_stmt))
1677 case IFN_GOMP_SIMD_LANE:
1678 case IFN_GOMP_SIMD_VF:
1679 case IFN_GOMP_SIMD_LAST_LANE:
1680 case IFN_GOMP_SIMD_ORDERED_START:
1681 case IFN_GOMP_SIMD_ORDERED_END:
1682 DECL_STRUCT_FUNCTION (id->dst_fn)->has_simduid_loops = true;
1683 break;
1684 default:
1685 break;
1689 /* Remap the region numbers for __builtin_eh_{pointer,filter},
1690 RESX and EH_DISPATCH. */
1691 if (id->eh_map)
1692 switch (gimple_code (copy))
1694 case GIMPLE_CALL:
1696 tree r, fndecl = gimple_call_fndecl (copy);
1697 if (fndecl && DECL_BUILT_IN_CLASS (fndecl) == BUILT_IN_NORMAL)
1698 switch (DECL_FUNCTION_CODE (fndecl))
1700 case BUILT_IN_EH_COPY_VALUES:
1701 r = gimple_call_arg (copy, 1);
1702 r = remap_eh_region_tree_nr (r, id);
1703 gimple_call_set_arg (copy, 1, r);
1704 /* FALLTHRU */
1706 case BUILT_IN_EH_POINTER:
1707 case BUILT_IN_EH_FILTER:
1708 r = gimple_call_arg (copy, 0);
1709 r = remap_eh_region_tree_nr (r, id);
1710 gimple_call_set_arg (copy, 0, r);
1711 break;
1713 default:
1714 break;
1717 /* Reset alias info if we didn't apply measures to
1718 keep it valid over inlining by setting DECL_PT_UID. */
1719 if (!id->src_cfun->gimple_df
1720 || !id->src_cfun->gimple_df->ipa_pta)
1721 gimple_call_reset_alias_info (as_a <gcall *> (copy));
1723 break;
1725 case GIMPLE_RESX:
1727 gresx *resx_stmt = as_a <gresx *> (copy);
1728 int r = gimple_resx_region (resx_stmt);
1729 r = remap_eh_region_nr (r, id);
1730 gimple_resx_set_region (resx_stmt, r);
1732 break;
1734 case GIMPLE_EH_DISPATCH:
1736 geh_dispatch *eh_dispatch = as_a <geh_dispatch *> (copy);
1737 int r = gimple_eh_dispatch_region (eh_dispatch);
1738 r = remap_eh_region_nr (r, id);
1739 gimple_eh_dispatch_set_region (eh_dispatch, r);
1741 break;
1743 default:
1744 break;
1748 /* If STMT has a block defined, map it to the newly constructed
1749 block. */
1750 if (gimple_block (copy))
1752 tree *n;
1753 n = id->decl_map->get (gimple_block (copy));
1754 gcc_assert (n);
1755 gimple_set_block (copy, *n);
1758 if (gimple_debug_bind_p (copy) || gimple_debug_source_bind_p (copy))
1760 gimple_seq_add_stmt (&stmts, copy);
1761 return stmts;
1764 /* Remap all the operands in COPY. */
1765 memset (&wi, 0, sizeof (wi));
1766 wi.info = id;
1767 if (skip_first)
1768 walk_tree (gimple_op_ptr (copy, 1), remap_gimple_op_r, &wi, NULL);
1769 else
1770 walk_gimple_op (copy, remap_gimple_op_r, &wi);
1772 /* Clear the copied virtual operands. We are not remapping them here
1773 but are going to recreate them from scratch. */
1774 if (gimple_has_mem_ops (copy))
1776 gimple_set_vdef (copy, NULL_TREE);
1777 gimple_set_vuse (copy, NULL_TREE);
1780 gimple_seq_add_stmt (&stmts, copy);
1781 return stmts;
1785 /* Copy basic block, scale profile accordingly. Edges will be taken care of
1786 later */
1788 static basic_block
1789 copy_bb (copy_body_data *id, basic_block bb, int frequency_scale,
1790 gcov_type count_scale)
1792 gimple_stmt_iterator gsi, copy_gsi, seq_gsi;
1793 basic_block copy_basic_block;
1794 tree decl;
1795 gcov_type freq;
1796 basic_block prev;
1798 /* Search for previous copied basic block. */
1799 prev = bb->prev_bb;
1800 while (!prev->aux)
1801 prev = prev->prev_bb;
1803 /* create_basic_block() will append every new block to
1804 basic_block_info automatically. */
1805 copy_basic_block = create_basic_block (NULL, (basic_block) prev->aux);
1806 copy_basic_block->count = apply_scale (bb->count, count_scale);
1808 /* We are going to rebuild frequencies from scratch. These values
1809 have just small importance to drive canonicalize_loop_headers. */
1810 freq = apply_scale ((gcov_type)bb->frequency, frequency_scale);
1812 /* We recompute frequencies after inlining, so this is quite safe. */
1813 if (freq > BB_FREQ_MAX)
1814 freq = BB_FREQ_MAX;
1815 copy_basic_block->frequency = freq;
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)
1896 /* __builtin_va_arg_pack () should be replaced by
1897 all arguments corresponding to ... in the caller. */
1898 tree p;
1899 gcall *new_call;
1900 vec<tree> argarray;
1901 size_t nargs = gimple_call_num_args (id->call_stmt);
1902 size_t n, i, nargs_to_copy;
1903 bool remove_bounds = false;
1905 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1906 nargs--;
1908 /* Bounds should be removed from arg pack in case
1909 we handle not instrumented call in instrumented
1910 function. */
1911 nargs_to_copy = nargs;
1912 if (gimple_call_with_bounds_p (id->call_stmt)
1913 && !gimple_call_with_bounds_p (stmt))
1915 for (i = gimple_call_num_args (id->call_stmt) - nargs;
1916 i < gimple_call_num_args (id->call_stmt);
1917 i++)
1918 if (POINTER_BOUNDS_P (gimple_call_arg (id->call_stmt, i)))
1919 nargs_to_copy--;
1920 remove_bounds = true;
1923 /* Create the new array of arguments. */
1924 n = nargs_to_copy + gimple_call_num_args (call_stmt);
1925 argarray.create (n);
1926 argarray.safe_grow_cleared (n);
1928 /* Copy all the arguments before '...' */
1929 memcpy (argarray.address (),
1930 gimple_call_arg_ptr (call_stmt, 0),
1931 gimple_call_num_args (call_stmt) * sizeof (tree));
1933 if (remove_bounds)
1935 /* Append the rest of arguments removing bounds. */
1936 unsigned cur = gimple_call_num_args (call_stmt);
1937 i = gimple_call_num_args (id->call_stmt) - nargs;
1938 for (i = gimple_call_num_args (id->call_stmt) - nargs;
1939 i < gimple_call_num_args (id->call_stmt);
1940 i++)
1941 if (!POINTER_BOUNDS_P (gimple_call_arg (id->call_stmt, i)))
1942 argarray[cur++] = gimple_call_arg (id->call_stmt, i);
1943 gcc_assert (cur == n);
1945 else
1947 /* Append the arguments passed in '...' */
1948 memcpy (argarray.address () + gimple_call_num_args (call_stmt),
1949 gimple_call_arg_ptr (id->call_stmt, 0)
1950 + (gimple_call_num_args (id->call_stmt) - nargs),
1951 nargs * sizeof (tree));
1954 new_call = gimple_build_call_vec (gimple_call_fn (call_stmt),
1955 argarray);
1957 argarray.release ();
1959 /* Copy all GIMPLE_CALL flags, location and block, except
1960 GF_CALL_VA_ARG_PACK. */
1961 gimple_call_copy_flags (new_call, call_stmt);
1962 gimple_call_set_va_arg_pack (new_call, false);
1963 gimple_set_location (new_call, gimple_location (stmt));
1964 gimple_set_block (new_call, gimple_block (stmt));
1965 gimple_call_set_lhs (new_call, gimple_call_lhs (call_stmt));
1967 gsi_replace (&copy_gsi, new_call, false);
1968 stmt = new_call;
1970 else if (call_stmt
1971 && id->call_stmt
1972 && (decl = gimple_call_fndecl (stmt))
1973 && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL
1974 && DECL_FUNCTION_CODE (decl) == BUILT_IN_VA_ARG_PACK_LEN)
1976 /* __builtin_va_arg_pack_len () should be replaced by
1977 the number of anonymous arguments. */
1978 size_t nargs = gimple_call_num_args (id->call_stmt), i;
1979 tree count, p;
1980 gimple *new_stmt;
1982 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1983 nargs--;
1985 /* For instrumented calls we should ignore bounds. */
1986 for (i = gimple_call_num_args (id->call_stmt) - nargs;
1987 i < gimple_call_num_args (id->call_stmt);
1988 i++)
1989 if (POINTER_BOUNDS_P (gimple_call_arg (id->call_stmt, i)))
1990 nargs--;
1992 count = build_int_cst (integer_type_node, nargs);
1993 new_stmt = gimple_build_assign (gimple_call_lhs (stmt), count);
1994 gsi_replace (&copy_gsi, new_stmt, false);
1995 stmt = new_stmt;
1997 else if (call_stmt
1998 && id->call_stmt
1999 && gimple_call_internal_p (stmt)
2000 && gimple_call_internal_fn (stmt) == IFN_TSAN_FUNC_EXIT)
2002 /* Drop TSAN_FUNC_EXIT () internal calls during inlining. */
2003 gsi_remove (&copy_gsi, false);
2004 continue;
2007 /* Statements produced by inlining can be unfolded, especially
2008 when we constant propagated some operands. We can't fold
2009 them right now for two reasons:
2010 1) folding require SSA_NAME_DEF_STMTs to be correct
2011 2) we can't change function calls to builtins.
2012 So we just mark statement for later folding. We mark
2013 all new statements, instead just statements that has changed
2014 by some nontrivial substitution so even statements made
2015 foldable indirectly are updated. If this turns out to be
2016 expensive, copy_body can be told to watch for nontrivial
2017 changes. */
2018 if (id->statements_to_fold)
2019 id->statements_to_fold->add (stmt);
2021 /* We're duplicating a CALL_EXPR. Find any corresponding
2022 callgraph edges and update or duplicate them. */
2023 if (gcall *call_stmt = dyn_cast <gcall *> (stmt))
2025 struct cgraph_edge *edge;
2027 switch (id->transform_call_graph_edges)
2029 case CB_CGE_DUPLICATE:
2030 edge = id->src_node->get_edge (orig_stmt);
2031 if (edge)
2033 int edge_freq = edge->frequency;
2034 int new_freq;
2035 struct cgraph_edge *old_edge = edge;
2036 edge = edge->clone (id->dst_node, call_stmt,
2037 gimple_uid (stmt),
2038 REG_BR_PROB_BASE, CGRAPH_FREQ_BASE,
2039 true);
2040 /* We could also just rescale the frequency, but
2041 doing so would introduce roundoff errors and make
2042 verifier unhappy. */
2043 new_freq = compute_call_stmt_bb_frequency (id->dst_node->decl,
2044 copy_basic_block);
2046 /* Speculative calls consist of two edges - direct and indirect.
2047 Duplicate the whole thing and distribute frequencies accordingly. */
2048 if (edge->speculative)
2050 struct cgraph_edge *direct, *indirect;
2051 struct ipa_ref *ref;
2053 gcc_assert (!edge->indirect_unknown_callee);
2054 old_edge->speculative_call_info (direct, indirect, ref);
2055 indirect = indirect->clone (id->dst_node, call_stmt,
2056 gimple_uid (stmt),
2057 REG_BR_PROB_BASE, CGRAPH_FREQ_BASE,
2058 true);
2059 if (old_edge->frequency + indirect->frequency)
2061 edge->frequency = MIN (RDIV ((gcov_type)new_freq * old_edge->frequency,
2062 (old_edge->frequency + indirect->frequency)),
2063 CGRAPH_FREQ_MAX);
2064 indirect->frequency = MIN (RDIV ((gcov_type)new_freq * indirect->frequency,
2065 (old_edge->frequency + indirect->frequency)),
2066 CGRAPH_FREQ_MAX);
2068 id->dst_node->clone_reference (ref, stmt);
2070 else
2072 edge->frequency = new_freq;
2073 if (dump_file
2074 && profile_status_for_fn (cfun) != PROFILE_ABSENT
2075 && (edge_freq > edge->frequency + 10
2076 || edge_freq < edge->frequency - 10))
2078 fprintf (dump_file, "Edge frequency estimated by "
2079 "cgraph %i diverge from inliner's estimate %i\n",
2080 edge_freq,
2081 edge->frequency);
2082 fprintf (dump_file,
2083 "Orig bb: %i, orig bb freq %i, new bb freq %i\n",
2084 bb->index,
2085 bb->frequency,
2086 copy_basic_block->frequency);
2090 break;
2092 case CB_CGE_MOVE_CLONES:
2093 id->dst_node->set_call_stmt_including_clones (orig_stmt,
2094 call_stmt);
2095 edge = id->dst_node->get_edge (stmt);
2096 break;
2098 case CB_CGE_MOVE:
2099 edge = id->dst_node->get_edge (orig_stmt);
2100 if (edge)
2101 edge->set_call_stmt (call_stmt);
2102 break;
2104 default:
2105 gcc_unreachable ();
2108 /* Constant propagation on argument done during inlining
2109 may create new direct call. Produce an edge for it. */
2110 if ((!edge
2111 || (edge->indirect_inlining_edge
2112 && id->transform_call_graph_edges == CB_CGE_MOVE_CLONES))
2113 && id->dst_node->definition
2114 && (fn = gimple_call_fndecl (stmt)) != NULL)
2116 struct cgraph_node *dest = cgraph_node::get_create (fn);
2118 /* We have missing edge in the callgraph. This can happen
2119 when previous inlining turned an indirect call into a
2120 direct call by constant propagating arguments or we are
2121 producing dead clone (for further cloning). In all
2122 other cases we hit a bug (incorrect node sharing is the
2123 most common reason for missing edges). */
2124 gcc_assert (!dest->definition
2125 || dest->address_taken
2126 || !id->src_node->definition
2127 || !id->dst_node->definition);
2128 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES)
2129 id->dst_node->create_edge_including_clones
2130 (dest, orig_stmt, call_stmt, bb->count,
2131 compute_call_stmt_bb_frequency (id->dst_node->decl,
2132 copy_basic_block),
2133 CIF_ORIGINALLY_INDIRECT_CALL);
2134 else
2135 id->dst_node->create_edge (dest, call_stmt,
2136 bb->count,
2137 compute_call_stmt_bb_frequency
2138 (id->dst_node->decl,
2139 copy_basic_block))->inline_failed
2140 = CIF_ORIGINALLY_INDIRECT_CALL;
2141 if (dump_file)
2143 fprintf (dump_file, "Created new direct edge to %s\n",
2144 dest->name ());
2148 notice_special_calls (as_a <gcall *> (stmt));
2151 maybe_duplicate_eh_stmt_fn (cfun, stmt, id->src_cfun, orig_stmt,
2152 id->eh_map, id->eh_lp_nr);
2154 gsi_next (&copy_gsi);
2156 while (!gsi_end_p (copy_gsi));
2158 copy_gsi = gsi_last_bb (copy_basic_block);
2161 return copy_basic_block;
2164 /* Inserting Single Entry Multiple Exit region in SSA form into code in SSA
2165 form is quite easy, since dominator relationship for old basic blocks does
2166 not change.
2168 There is however exception where inlining might change dominator relation
2169 across EH edges from basic block within inlined functions destinating
2170 to landing pads in function we inline into.
2172 The function fills in PHI_RESULTs of such PHI nodes if they refer
2173 to gimple regs. Otherwise, the function mark PHI_RESULT of such
2174 PHI nodes for renaming. For non-gimple regs, renaming is safe: the
2175 EH edges are abnormal and SSA_NAME_OCCURS_IN_ABNORMAL_PHI must be
2176 set, and this means that there will be no overlapping live ranges
2177 for the underlying symbol.
2179 This might change in future if we allow redirecting of EH edges and
2180 we might want to change way build CFG pre-inlining to include
2181 all the possible edges then. */
2182 static void
2183 update_ssa_across_abnormal_edges (basic_block bb, basic_block ret_bb,
2184 bool can_throw, bool nonlocal_goto)
2186 edge e;
2187 edge_iterator ei;
2189 FOR_EACH_EDGE (e, ei, bb->succs)
2190 if (!e->dest->aux
2191 || ((basic_block)e->dest->aux)->index == ENTRY_BLOCK)
2193 gphi *phi;
2194 gphi_iterator si;
2196 if (!nonlocal_goto)
2197 gcc_assert (e->flags & EDGE_EH);
2199 if (!can_throw)
2200 gcc_assert (!(e->flags & EDGE_EH));
2202 for (si = gsi_start_phis (e->dest); !gsi_end_p (si); gsi_next (&si))
2204 edge re;
2206 phi = si.phi ();
2208 /* For abnormal goto/call edges the receiver can be the
2209 ENTRY_BLOCK. Do not assert this cannot happen. */
2211 gcc_assert ((e->flags & EDGE_EH)
2212 || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (phi)));
2214 re = find_edge (ret_bb, e->dest);
2215 gcc_checking_assert (re);
2216 gcc_assert ((re->flags & (EDGE_EH | EDGE_ABNORMAL))
2217 == (e->flags & (EDGE_EH | EDGE_ABNORMAL)));
2219 SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (phi, e),
2220 USE_FROM_PTR (PHI_ARG_DEF_PTR_FROM_EDGE (phi, re)));
2226 /* Copy edges from BB into its copy constructed earlier, scale profile
2227 accordingly. Edges will be taken care of later. Assume aux
2228 pointers to point to the copies of each BB. Return true if any
2229 debug stmts are left after a statement that must end the basic block. */
2231 static bool
2232 copy_edges_for_bb (basic_block bb, gcov_type count_scale, basic_block ret_bb,
2233 basic_block abnormal_goto_dest)
2235 basic_block new_bb = (basic_block) bb->aux;
2236 edge_iterator ei;
2237 edge old_edge;
2238 gimple_stmt_iterator si;
2239 int flags;
2240 bool need_debug_cleanup = false;
2242 /* Use the indices from the original blocks to create edges for the
2243 new ones. */
2244 FOR_EACH_EDGE (old_edge, ei, bb->succs)
2245 if (!(old_edge->flags & EDGE_EH))
2247 edge new_edge;
2249 flags = old_edge->flags;
2251 /* Return edges do get a FALLTHRU flag when the get inlined. */
2252 if (old_edge->dest->index == EXIT_BLOCK
2253 && !(old_edge->flags & (EDGE_TRUE_VALUE|EDGE_FALSE_VALUE|EDGE_FAKE))
2254 && old_edge->dest->aux != EXIT_BLOCK_PTR_FOR_FN (cfun))
2255 flags |= EDGE_FALLTHRU;
2256 new_edge = make_edge (new_bb, (basic_block) old_edge->dest->aux, flags);
2257 new_edge->count = apply_scale (old_edge->count, count_scale);
2258 new_edge->probability = old_edge->probability;
2261 if (bb->index == ENTRY_BLOCK || bb->index == EXIT_BLOCK)
2262 return false;
2264 for (si = gsi_start_bb (new_bb); !gsi_end_p (si);)
2266 gimple *copy_stmt;
2267 bool can_throw, nonlocal_goto;
2269 copy_stmt = gsi_stmt (si);
2270 if (!is_gimple_debug (copy_stmt))
2271 update_stmt (copy_stmt);
2273 /* Do this before the possible split_block. */
2274 gsi_next (&si);
2276 /* If this tree could throw an exception, there are two
2277 cases where we need to add abnormal edge(s): the
2278 tree wasn't in a region and there is a "current
2279 region" in the caller; or the original tree had
2280 EH edges. In both cases split the block after the tree,
2281 and add abnormal edge(s) as needed; we need both
2282 those from the callee and the caller.
2283 We check whether the copy can throw, because the const
2284 propagation can change an INDIRECT_REF which throws
2285 into a COMPONENT_REF which doesn't. If the copy
2286 can throw, the original could also throw. */
2287 can_throw = stmt_can_throw_internal (copy_stmt);
2288 nonlocal_goto
2289 = (stmt_can_make_abnormal_goto (copy_stmt)
2290 && !computed_goto_p (copy_stmt));
2292 if (can_throw || nonlocal_goto)
2294 if (!gsi_end_p (si))
2296 while (!gsi_end_p (si) && is_gimple_debug (gsi_stmt (si)))
2297 gsi_next (&si);
2298 if (gsi_end_p (si))
2299 need_debug_cleanup = true;
2301 if (!gsi_end_p (si))
2302 /* Note that bb's predecessor edges aren't necessarily
2303 right at this point; split_block doesn't care. */
2305 edge e = split_block (new_bb, copy_stmt);
2307 new_bb = e->dest;
2308 new_bb->aux = e->src->aux;
2309 si = gsi_start_bb (new_bb);
2313 if (gimple_code (copy_stmt) == GIMPLE_EH_DISPATCH)
2314 make_eh_dispatch_edges (as_a <geh_dispatch *> (copy_stmt));
2315 else if (can_throw)
2316 make_eh_edges (copy_stmt);
2318 /* If the call we inline cannot make abnormal goto do not add
2319 additional abnormal edges but only retain those already present
2320 in the original function body. */
2321 if (abnormal_goto_dest == NULL)
2322 nonlocal_goto = false;
2323 if (nonlocal_goto)
2325 basic_block copy_stmt_bb = gimple_bb (copy_stmt);
2327 if (get_abnormal_succ_dispatcher (copy_stmt_bb))
2328 nonlocal_goto = false;
2329 /* ABNORMAL_DISPATCHER (1) is for longjmp/setjmp or nonlocal gotos
2330 in OpenMP regions which aren't allowed to be left abnormally.
2331 So, no need to add abnormal edge in that case. */
2332 else if (is_gimple_call (copy_stmt)
2333 && gimple_call_internal_p (copy_stmt)
2334 && (gimple_call_internal_fn (copy_stmt)
2335 == IFN_ABNORMAL_DISPATCHER)
2336 && gimple_call_arg (copy_stmt, 0) == boolean_true_node)
2337 nonlocal_goto = false;
2338 else
2339 make_edge (copy_stmt_bb, abnormal_goto_dest, EDGE_ABNORMAL);
2342 if ((can_throw || nonlocal_goto)
2343 && gimple_in_ssa_p (cfun))
2344 update_ssa_across_abnormal_edges (gimple_bb (copy_stmt), ret_bb,
2345 can_throw, nonlocal_goto);
2347 return need_debug_cleanup;
2350 /* Copy the PHIs. All blocks and edges are copied, some blocks
2351 was possibly split and new outgoing EH edges inserted.
2352 BB points to the block of original function and AUX pointers links
2353 the original and newly copied blocks. */
2355 static void
2356 copy_phis_for_bb (basic_block bb, copy_body_data *id)
2358 basic_block const new_bb = (basic_block) bb->aux;
2359 edge_iterator ei;
2360 gphi *phi;
2361 gphi_iterator si;
2362 edge new_edge;
2363 bool inserted = false;
2365 for (si = gsi_start_phis (bb); !gsi_end_p (si); gsi_next (&si))
2367 tree res, new_res;
2368 gphi *new_phi;
2370 phi = si.phi ();
2371 res = PHI_RESULT (phi);
2372 new_res = res;
2373 if (!virtual_operand_p (res))
2375 walk_tree (&new_res, copy_tree_body_r, id, NULL);
2376 new_phi = create_phi_node (new_res, new_bb);
2377 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2379 edge old_edge = find_edge ((basic_block) new_edge->src->aux, 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 block
2386 as long as all the arguments are the same. Find any input
2387 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, NULL);
2405 gsi_insert_seq_on_edge (new_edge, stmts);
2406 inserted = true;
2408 locus = gimple_phi_arg_location_from_edge (phi, old_edge);
2409 if (LOCATION_BLOCK (locus))
2411 tree *n;
2412 n = id->decl_map->get (LOCATION_BLOCK (locus));
2413 gcc_assert (n);
2414 locus = set_block (locus, *n);
2416 else
2417 locus = LOCATION_LOCUS (locus);
2419 add_phi_arg (new_phi, new_arg, new_edge, locus);
2424 /* Commit the delayed edge insertions. */
2425 if (inserted)
2426 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2427 gsi_commit_one_edge_insert (new_edge, NULL);
2431 /* Wrapper for remap_decl so it can be used as a callback. */
2433 static tree
2434 remap_decl_1 (tree decl, void *data)
2436 return remap_decl (decl, (copy_body_data *) data);
2439 /* Build struct function and associated datastructures for the new clone
2440 NEW_FNDECL to be build. CALLEE_FNDECL is the original. Function changes
2441 the cfun to the function of new_fndecl (and current_function_decl too). */
2443 static void
2444 initialize_cfun (tree new_fndecl, tree callee_fndecl, gcov_type count)
2446 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2447 gcov_type count_scale;
2449 if (!DECL_ARGUMENTS (new_fndecl))
2450 DECL_ARGUMENTS (new_fndecl) = DECL_ARGUMENTS (callee_fndecl);
2451 if (!DECL_RESULT (new_fndecl))
2452 DECL_RESULT (new_fndecl) = DECL_RESULT (callee_fndecl);
2454 if (ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count)
2455 count_scale
2456 = GCOV_COMPUTE_SCALE (count,
2457 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2458 else
2459 count_scale = REG_BR_PROB_BASE;
2461 /* Register specific tree functions. */
2462 gimple_register_cfg_hooks ();
2464 /* Get clean struct function. */
2465 push_struct_function (new_fndecl);
2467 /* We will rebuild these, so just sanity check that they are empty. */
2468 gcc_assert (VALUE_HISTOGRAMS (cfun) == NULL);
2469 gcc_assert (cfun->local_decls == NULL);
2470 gcc_assert (cfun->cfg == NULL);
2471 gcc_assert (cfun->decl == new_fndecl);
2473 /* Copy items we preserve during cloning. */
2474 cfun->static_chain_decl = src_cfun->static_chain_decl;
2475 cfun->nonlocal_goto_save_area = src_cfun->nonlocal_goto_save_area;
2476 cfun->function_end_locus = src_cfun->function_end_locus;
2477 cfun->curr_properties = src_cfun->curr_properties;
2478 cfun->last_verified = src_cfun->last_verified;
2479 cfun->va_list_gpr_size = src_cfun->va_list_gpr_size;
2480 cfun->va_list_fpr_size = src_cfun->va_list_fpr_size;
2481 cfun->has_nonlocal_label = src_cfun->has_nonlocal_label;
2482 cfun->stdarg = src_cfun->stdarg;
2483 cfun->after_inlining = src_cfun->after_inlining;
2484 cfun->can_throw_non_call_exceptions
2485 = src_cfun->can_throw_non_call_exceptions;
2486 cfun->can_delete_dead_exceptions = src_cfun->can_delete_dead_exceptions;
2487 cfun->returns_struct = src_cfun->returns_struct;
2488 cfun->returns_pcc_struct = src_cfun->returns_pcc_struct;
2490 init_empty_tree_cfg ();
2492 profile_status_for_fn (cfun) = profile_status_for_fn (src_cfun);
2493 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count =
2494 (ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count * count_scale /
2495 REG_BR_PROB_BASE);
2496 ENTRY_BLOCK_PTR_FOR_FN (cfun)->frequency
2497 = ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->frequency;
2498 EXIT_BLOCK_PTR_FOR_FN (cfun)->count =
2499 (EXIT_BLOCK_PTR_FOR_FN (src_cfun)->count * count_scale /
2500 REG_BR_PROB_BASE);
2501 EXIT_BLOCK_PTR_FOR_FN (cfun)->frequency =
2502 EXIT_BLOCK_PTR_FOR_FN (src_cfun)->frequency;
2503 if (src_cfun->eh)
2504 init_eh_for_function ();
2506 if (src_cfun->gimple_df)
2508 init_tree_ssa (cfun);
2509 cfun->gimple_df->in_ssa_p = src_cfun->gimple_df->in_ssa_p;
2510 if (cfun->gimple_df->in_ssa_p)
2511 init_ssa_operands (cfun);
2515 /* Helper function for copy_cfg_body. Move debug stmts from the end
2516 of NEW_BB to the beginning of successor basic blocks when needed. If the
2517 successor has multiple predecessors, reset them, otherwise keep
2518 their value. */
2520 static void
2521 maybe_move_debug_stmts_to_successors (copy_body_data *id, basic_block new_bb)
2523 edge e;
2524 edge_iterator ei;
2525 gimple_stmt_iterator si = gsi_last_nondebug_bb (new_bb);
2527 if (gsi_end_p (si)
2528 || gsi_one_before_end_p (si)
2529 || !(stmt_can_throw_internal (gsi_stmt (si))
2530 || stmt_can_make_abnormal_goto (gsi_stmt (si))))
2531 return;
2533 FOR_EACH_EDGE (e, ei, new_bb->succs)
2535 gimple_stmt_iterator ssi = gsi_last_bb (new_bb);
2536 gimple_stmt_iterator dsi = gsi_after_labels (e->dest);
2537 while (is_gimple_debug (gsi_stmt (ssi)))
2539 gimple *stmt = gsi_stmt (ssi);
2540 gdebug *new_stmt;
2541 tree var;
2542 tree value;
2544 /* For the last edge move the debug stmts instead of copying
2545 them. */
2546 if (ei_one_before_end_p (ei))
2548 si = ssi;
2549 gsi_prev (&ssi);
2550 if (!single_pred_p (e->dest) && gimple_debug_bind_p (stmt))
2551 gimple_debug_bind_reset_value (stmt);
2552 gsi_remove (&si, false);
2553 gsi_insert_before (&dsi, stmt, GSI_SAME_STMT);
2554 continue;
2557 if (gimple_debug_bind_p (stmt))
2559 var = gimple_debug_bind_get_var (stmt);
2560 if (single_pred_p (e->dest))
2562 value = gimple_debug_bind_get_value (stmt);
2563 value = unshare_expr (value);
2565 else
2566 value = NULL_TREE;
2567 new_stmt = gimple_build_debug_bind (var, value, stmt);
2569 else if (gimple_debug_source_bind_p (stmt))
2571 var = gimple_debug_source_bind_get_var (stmt);
2572 value = gimple_debug_source_bind_get_value (stmt);
2573 new_stmt = gimple_build_debug_source_bind (var, value, stmt);
2575 else
2576 gcc_unreachable ();
2577 gsi_insert_before (&dsi, new_stmt, GSI_SAME_STMT);
2578 id->debug_stmts.safe_push (new_stmt);
2579 gsi_prev (&ssi);
2584 /* Make a copy of the sub-loops of SRC_PARENT and place them
2585 as siblings of DEST_PARENT. */
2587 static void
2588 copy_loops (copy_body_data *id,
2589 struct loop *dest_parent, struct loop *src_parent)
2591 struct loop *src_loop = src_parent->inner;
2592 while (src_loop)
2594 if (!id->blocks_to_copy
2595 || bitmap_bit_p (id->blocks_to_copy, src_loop->header->index))
2597 struct loop *dest_loop = alloc_loop ();
2599 /* Assign the new loop its header and latch and associate
2600 those with the new loop. */
2601 dest_loop->header = (basic_block)src_loop->header->aux;
2602 dest_loop->header->loop_father = dest_loop;
2603 if (src_loop->latch != NULL)
2605 dest_loop->latch = (basic_block)src_loop->latch->aux;
2606 dest_loop->latch->loop_father = dest_loop;
2609 /* Copy loop meta-data. */
2610 copy_loop_info (src_loop, dest_loop);
2612 /* Finally place it into the loop array and the loop tree. */
2613 place_new_loop (cfun, dest_loop);
2614 flow_loop_tree_node_add (dest_parent, dest_loop);
2616 dest_loop->safelen = src_loop->safelen;
2617 dest_loop->dont_vectorize = src_loop->dont_vectorize;
2618 if (src_loop->force_vectorize)
2620 dest_loop->force_vectorize = true;
2621 cfun->has_force_vectorize_loops = true;
2623 if (src_loop->simduid)
2625 dest_loop->simduid = remap_decl (src_loop->simduid, id);
2626 cfun->has_simduid_loops = true;
2629 /* Recurse. */
2630 copy_loops (id, dest_loop, src_loop);
2632 src_loop = src_loop->next;
2636 /* Call cgraph_redirect_edge_call_stmt_to_callee on all calls in BB */
2638 void
2639 redirect_all_calls (copy_body_data * id, basic_block bb)
2641 gimple_stmt_iterator si;
2642 gimple *last = last_stmt (bb);
2643 for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))
2645 gimple *stmt = gsi_stmt (si);
2646 if (is_gimple_call (stmt))
2648 struct cgraph_edge *edge = id->dst_node->get_edge (stmt);
2649 if (edge)
2651 edge->redirect_call_stmt_to_callee ();
2652 if (stmt == last && id->call_stmt && maybe_clean_eh_stmt (stmt))
2653 gimple_purge_dead_eh_edges (bb);
2659 /* Convert estimated frequencies into counts for NODE, scaling COUNT
2660 with each bb's frequency. Used when NODE has a 0-weight entry
2661 but we are about to inline it into a non-zero count call bb.
2662 See the comments for handle_missing_profiles() in predict.c for
2663 when this can happen for COMDATs. */
2665 void
2666 freqs_to_counts (struct cgraph_node *node, gcov_type count)
2668 basic_block bb;
2669 edge_iterator ei;
2670 edge e;
2671 struct function *fn = DECL_STRUCT_FUNCTION (node->decl);
2673 FOR_ALL_BB_FN(bb, fn)
2675 bb->count = apply_scale (count,
2676 GCOV_COMPUTE_SCALE (bb->frequency, BB_FREQ_MAX));
2677 FOR_EACH_EDGE (e, ei, bb->succs)
2678 e->count = apply_probability (e->src->count, e->probability);
2682 /* Make a copy of the body of FN so that it can be inserted inline in
2683 another function. Walks FN via CFG, returns new fndecl. */
2685 static tree
2686 copy_cfg_body (copy_body_data * id, gcov_type count, int frequency_scale,
2687 basic_block entry_block_map, basic_block exit_block_map,
2688 basic_block new_entry)
2690 tree callee_fndecl = id->src_fn;
2691 /* Original cfun for the callee, doesn't change. */
2692 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2693 struct function *cfun_to_copy;
2694 basic_block bb;
2695 tree new_fndecl = NULL;
2696 bool need_debug_cleanup = false;
2697 gcov_type count_scale;
2698 int last;
2699 int incoming_frequency = 0;
2700 gcov_type incoming_count = 0;
2702 /* This can happen for COMDAT routines that end up with 0 counts
2703 despite being called (see the comments for handle_missing_profiles()
2704 in predict.c as to why). Apply counts to the blocks in the callee
2705 before inlining, using the guessed edge frequencies, so that we don't
2706 end up with a 0-count inline body which can confuse downstream
2707 optimizations such as function splitting. */
2708 if (!ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count && count)
2710 /* Apply the larger of the call bb count and the total incoming
2711 call edge count to the callee. */
2712 gcov_type in_count = 0;
2713 struct cgraph_edge *in_edge;
2714 for (in_edge = id->src_node->callers; in_edge;
2715 in_edge = in_edge->next_caller)
2716 in_count += in_edge->count;
2717 freqs_to_counts (id->src_node, count > in_count ? count : in_count);
2720 if (ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count)
2721 count_scale
2722 = GCOV_COMPUTE_SCALE (count,
2723 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2724 else
2725 count_scale = REG_BR_PROB_BASE;
2727 /* Register specific tree functions. */
2728 gimple_register_cfg_hooks ();
2730 /* If we are inlining just region of the function, make sure to connect
2731 new entry to ENTRY_BLOCK_PTR_FOR_FN (cfun). Since new entry can be
2732 part of loop, we must compute frequency and probability of
2733 ENTRY_BLOCK_PTR_FOR_FN (cfun) based on the frequencies and
2734 probabilities of edges incoming from nonduplicated region. */
2735 if (new_entry)
2737 edge e;
2738 edge_iterator ei;
2740 FOR_EACH_EDGE (e, ei, new_entry->preds)
2741 if (!e->src->aux)
2743 incoming_frequency += EDGE_FREQUENCY (e);
2744 incoming_count += e->count;
2746 incoming_count = apply_scale (incoming_count, count_scale);
2747 incoming_frequency
2748 = apply_scale ((gcov_type)incoming_frequency, frequency_scale);
2749 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count = incoming_count;
2750 ENTRY_BLOCK_PTR_FOR_FN (cfun)->frequency = incoming_frequency;
2753 /* Must have a CFG here at this point. */
2754 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN
2755 (DECL_STRUCT_FUNCTION (callee_fndecl)));
2757 cfun_to_copy = id->src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2759 ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = entry_block_map;
2760 EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = exit_block_map;
2761 entry_block_map->aux = ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy);
2762 exit_block_map->aux = EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy);
2764 /* Duplicate any exception-handling regions. */
2765 if (cfun->eh)
2766 id->eh_map = duplicate_eh_regions (cfun_to_copy, NULL, id->eh_lp_nr,
2767 remap_decl_1, id);
2769 /* Use aux pointers to map the original blocks to copy. */
2770 FOR_EACH_BB_FN (bb, cfun_to_copy)
2771 if (!id->blocks_to_copy || bitmap_bit_p (id->blocks_to_copy, bb->index))
2773 basic_block new_bb = copy_bb (id, bb, frequency_scale, count_scale);
2774 bb->aux = new_bb;
2775 new_bb->aux = bb;
2776 new_bb->loop_father = entry_block_map->loop_father;
2779 last = last_basic_block_for_fn (cfun);
2781 /* Now that we've duplicated the blocks, duplicate their edges. */
2782 basic_block abnormal_goto_dest = NULL;
2783 if (id->call_stmt
2784 && stmt_can_make_abnormal_goto (id->call_stmt))
2786 gimple_stmt_iterator gsi = gsi_for_stmt (id->call_stmt);
2788 bb = gimple_bb (id->call_stmt);
2789 gsi_next (&gsi);
2790 if (gsi_end_p (gsi))
2791 abnormal_goto_dest = get_abnormal_succ_dispatcher (bb);
2793 FOR_ALL_BB_FN (bb, cfun_to_copy)
2794 if (!id->blocks_to_copy
2795 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2796 need_debug_cleanup |= copy_edges_for_bb (bb, count_scale, exit_block_map,
2797 abnormal_goto_dest);
2799 if (new_entry)
2801 edge e = make_edge (entry_block_map, (basic_block)new_entry->aux, EDGE_FALLTHRU);
2802 e->probability = REG_BR_PROB_BASE;
2803 e->count = incoming_count;
2806 /* Duplicate the loop tree, if available and wanted. */
2807 if (loops_for_fn (src_cfun) != NULL
2808 && current_loops != NULL)
2810 copy_loops (id, entry_block_map->loop_father,
2811 get_loop (src_cfun, 0));
2812 /* Defer to cfgcleanup to update loop-father fields of basic-blocks. */
2813 loops_state_set (LOOPS_NEED_FIXUP);
2816 /* If the loop tree in the source function needed fixup, mark the
2817 destination loop tree for fixup, too. */
2818 if (loops_for_fn (src_cfun)->state & LOOPS_NEED_FIXUP)
2819 loops_state_set (LOOPS_NEED_FIXUP);
2821 if (gimple_in_ssa_p (cfun))
2822 FOR_ALL_BB_FN (bb, cfun_to_copy)
2823 if (!id->blocks_to_copy
2824 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2825 copy_phis_for_bb (bb, id);
2827 FOR_ALL_BB_FN (bb, cfun_to_copy)
2828 if (bb->aux)
2830 if (need_debug_cleanup
2831 && bb->index != ENTRY_BLOCK
2832 && bb->index != EXIT_BLOCK)
2833 maybe_move_debug_stmts_to_successors (id, (basic_block) bb->aux);
2834 /* Update call edge destinations. This can not be done before loop
2835 info is updated, because we may split basic blocks. */
2836 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE
2837 && bb->index != ENTRY_BLOCK
2838 && bb->index != EXIT_BLOCK)
2839 redirect_all_calls (id, (basic_block)bb->aux);
2840 ((basic_block)bb->aux)->aux = NULL;
2841 bb->aux = NULL;
2844 /* Zero out AUX fields of newly created block during EH edge
2845 insertion. */
2846 for (; last < last_basic_block_for_fn (cfun); last++)
2848 if (need_debug_cleanup)
2849 maybe_move_debug_stmts_to_successors (id,
2850 BASIC_BLOCK_FOR_FN (cfun, last));
2851 BASIC_BLOCK_FOR_FN (cfun, last)->aux = NULL;
2852 /* Update call edge destinations. This can not be done before loop
2853 info is updated, because we may split basic blocks. */
2854 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE)
2855 redirect_all_calls (id, BASIC_BLOCK_FOR_FN (cfun, last));
2857 entry_block_map->aux = NULL;
2858 exit_block_map->aux = NULL;
2860 if (id->eh_map)
2862 delete id->eh_map;
2863 id->eh_map = NULL;
2865 if (id->dependence_map)
2867 delete id->dependence_map;
2868 id->dependence_map = NULL;
2871 return new_fndecl;
2874 /* Copy the debug STMT using ID. We deal with these statements in a
2875 special way: if any variable in their VALUE expression wasn't
2876 remapped yet, we won't remap it, because that would get decl uids
2877 out of sync, causing codegen differences between -g and -g0. If
2878 this arises, we drop the VALUE expression altogether. */
2880 static void
2881 copy_debug_stmt (gdebug *stmt, copy_body_data *id)
2883 tree t, *n;
2884 struct walk_stmt_info wi;
2886 if (gimple_block (stmt))
2888 n = id->decl_map->get (gimple_block (stmt));
2889 gimple_set_block (stmt, n ? *n : id->block);
2892 /* Remap all the operands in COPY. */
2893 memset (&wi, 0, sizeof (wi));
2894 wi.info = id;
2896 processing_debug_stmt = 1;
2898 if (gimple_debug_source_bind_p (stmt))
2899 t = gimple_debug_source_bind_get_var (stmt);
2900 else
2901 t = gimple_debug_bind_get_var (stmt);
2903 if (TREE_CODE (t) == PARM_DECL && id->debug_map
2904 && (n = id->debug_map->get (t)))
2906 gcc_assert (VAR_P (*n));
2907 t = *n;
2909 else if (VAR_P (t) && !is_global_var (t) && !id->decl_map->get (t))
2910 /* T is a non-localized variable. */;
2911 else
2912 walk_tree (&t, remap_gimple_op_r, &wi, NULL);
2914 if (gimple_debug_bind_p (stmt))
2916 gimple_debug_bind_set_var (stmt, t);
2918 if (gimple_debug_bind_has_value_p (stmt))
2919 walk_tree (gimple_debug_bind_get_value_ptr (stmt),
2920 remap_gimple_op_r, &wi, NULL);
2922 /* Punt if any decl couldn't be remapped. */
2923 if (processing_debug_stmt < 0)
2924 gimple_debug_bind_reset_value (stmt);
2926 else if (gimple_debug_source_bind_p (stmt))
2928 gimple_debug_source_bind_set_var (stmt, t);
2929 /* When inlining and source bind refers to one of the optimized
2930 away parameters, change the source bind into normal debug bind
2931 referring to the corresponding DEBUG_EXPR_DECL that should have
2932 been bound before the call stmt. */
2933 t = gimple_debug_source_bind_get_value (stmt);
2934 if (t != NULL_TREE
2935 && TREE_CODE (t) == PARM_DECL
2936 && id->call_stmt)
2938 vec<tree, va_gc> **debug_args = decl_debug_args_lookup (id->src_fn);
2939 unsigned int i;
2940 if (debug_args != NULL)
2942 for (i = 0; i < vec_safe_length (*debug_args); i += 2)
2943 if ((**debug_args)[i] == DECL_ORIGIN (t)
2944 && TREE_CODE ((**debug_args)[i + 1]) == DEBUG_EXPR_DECL)
2946 t = (**debug_args)[i + 1];
2947 stmt->subcode = GIMPLE_DEBUG_BIND;
2948 gimple_debug_bind_set_value (stmt, t);
2949 break;
2953 if (gimple_debug_source_bind_p (stmt))
2954 walk_tree (gimple_debug_source_bind_get_value_ptr (stmt),
2955 remap_gimple_op_r, &wi, NULL);
2958 processing_debug_stmt = 0;
2960 update_stmt (stmt);
2963 /* Process deferred debug stmts. In order to give values better odds
2964 of being successfully remapped, we delay the processing of debug
2965 stmts until all other stmts that might require remapping are
2966 processed. */
2968 static void
2969 copy_debug_stmts (copy_body_data *id)
2971 size_t i;
2972 gdebug *stmt;
2974 if (!id->debug_stmts.exists ())
2975 return;
2977 FOR_EACH_VEC_ELT (id->debug_stmts, i, stmt)
2978 copy_debug_stmt (stmt, id);
2980 id->debug_stmts.release ();
2983 /* Make a copy of the body of SRC_FN so that it can be inserted inline in
2984 another function. */
2986 static tree
2987 copy_tree_body (copy_body_data *id)
2989 tree fndecl = id->src_fn;
2990 tree body = DECL_SAVED_TREE (fndecl);
2992 walk_tree (&body, copy_tree_body_r, id, NULL);
2994 return body;
2997 /* Make a copy of the body of FN so that it can be inserted inline in
2998 another function. */
3000 static tree
3001 copy_body (copy_body_data *id, gcov_type count, int frequency_scale,
3002 basic_block entry_block_map, basic_block exit_block_map,
3003 basic_block new_entry)
3005 tree fndecl = id->src_fn;
3006 tree body;
3008 /* If this body has a CFG, walk CFG and copy. */
3009 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (fndecl)));
3010 body = copy_cfg_body (id, count, frequency_scale, entry_block_map, exit_block_map,
3011 new_entry);
3012 copy_debug_stmts (id);
3014 return body;
3017 /* Return true if VALUE is an ADDR_EXPR of an automatic variable
3018 defined in function FN, or of a data member thereof. */
3020 static bool
3021 self_inlining_addr_expr (tree value, tree fn)
3023 tree var;
3025 if (TREE_CODE (value) != ADDR_EXPR)
3026 return false;
3028 var = get_base_address (TREE_OPERAND (value, 0));
3030 return var && auto_var_in_fn_p (var, fn);
3033 /* Append to BB a debug annotation that binds VAR to VALUE, inheriting
3034 lexical block and line number information from base_stmt, if given,
3035 or from the last stmt of the block otherwise. */
3037 static gimple *
3038 insert_init_debug_bind (copy_body_data *id,
3039 basic_block bb, tree var, tree value,
3040 gimple *base_stmt)
3042 gimple *note;
3043 gimple_stmt_iterator gsi;
3044 tree tracked_var;
3046 if (!gimple_in_ssa_p (id->src_cfun))
3047 return NULL;
3049 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
3050 return NULL;
3052 tracked_var = target_for_debug_bind (var);
3053 if (!tracked_var)
3054 return NULL;
3056 if (bb)
3058 gsi = gsi_last_bb (bb);
3059 if (!base_stmt && !gsi_end_p (gsi))
3060 base_stmt = gsi_stmt (gsi);
3063 note = gimple_build_debug_bind (tracked_var, unshare_expr (value), base_stmt);
3065 if (bb)
3067 if (!gsi_end_p (gsi))
3068 gsi_insert_after (&gsi, note, GSI_SAME_STMT);
3069 else
3070 gsi_insert_before (&gsi, note, GSI_SAME_STMT);
3073 return note;
3076 static void
3077 insert_init_stmt (copy_body_data *id, basic_block bb, gimple *init_stmt)
3079 /* If VAR represents a zero-sized variable, it's possible that the
3080 assignment statement may result in no gimple statements. */
3081 if (init_stmt)
3083 gimple_stmt_iterator si = gsi_last_bb (bb);
3085 /* We can end up with init statements that store to a non-register
3086 from a rhs with a conversion. Handle that here by forcing the
3087 rhs into a temporary. gimple_regimplify_operands is not
3088 prepared to do this for us. */
3089 if (!is_gimple_debug (init_stmt)
3090 && !is_gimple_reg (gimple_assign_lhs (init_stmt))
3091 && is_gimple_reg_type (TREE_TYPE (gimple_assign_lhs (init_stmt)))
3092 && gimple_assign_rhs_class (init_stmt) == GIMPLE_UNARY_RHS)
3094 tree rhs = build1 (gimple_assign_rhs_code (init_stmt),
3095 gimple_expr_type (init_stmt),
3096 gimple_assign_rhs1 (init_stmt));
3097 rhs = force_gimple_operand_gsi (&si, rhs, true, NULL_TREE, false,
3098 GSI_NEW_STMT);
3099 gimple_assign_set_rhs_code (init_stmt, TREE_CODE (rhs));
3100 gimple_assign_set_rhs1 (init_stmt, rhs);
3102 gsi_insert_after (&si, init_stmt, GSI_NEW_STMT);
3103 gimple_regimplify_operands (init_stmt, &si);
3105 if (!is_gimple_debug (init_stmt))
3107 tree def = gimple_assign_lhs (init_stmt);
3108 insert_init_debug_bind (id, bb, def, def, init_stmt);
3113 /* Initialize parameter P with VALUE. If needed, produce init statement
3114 at the end of BB. When BB is NULL, we return init statement to be
3115 output later. */
3116 static gimple *
3117 setup_one_parameter (copy_body_data *id, tree p, tree value, tree fn,
3118 basic_block bb, tree *vars)
3120 gimple *init_stmt = NULL;
3121 tree var;
3122 tree rhs = value;
3123 tree def = (gimple_in_ssa_p (cfun)
3124 ? ssa_default_def (id->src_cfun, p) : NULL);
3126 if (value
3127 && value != error_mark_node
3128 && !useless_type_conversion_p (TREE_TYPE (p), TREE_TYPE (value)))
3130 /* If we can match up types by promotion/demotion do so. */
3131 if (fold_convertible_p (TREE_TYPE (p), value))
3132 rhs = fold_convert (TREE_TYPE (p), value);
3133 else
3135 /* ??? For valid programs we should not end up here.
3136 Still if we end up with truly mismatched types here, fall back
3137 to using a VIEW_CONVERT_EXPR or a literal zero to not leak invalid
3138 GIMPLE to the following passes. */
3139 if (!is_gimple_reg_type (TREE_TYPE (value))
3140 || TYPE_SIZE (TREE_TYPE (p)) == TYPE_SIZE (TREE_TYPE (value)))
3141 rhs = fold_build1 (VIEW_CONVERT_EXPR, TREE_TYPE (p), value);
3142 else
3143 rhs = build_zero_cst (TREE_TYPE (p));
3147 /* Make an equivalent VAR_DECL. Note that we must NOT remap the type
3148 here since the type of this decl must be visible to the calling
3149 function. */
3150 var = copy_decl_to_var (p, id);
3152 /* Declare this new variable. */
3153 DECL_CHAIN (var) = *vars;
3154 *vars = var;
3156 /* Make gimplifier happy about this variable. */
3157 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3159 /* If the parameter is never assigned to, has no SSA_NAMEs created,
3160 we would not need to create a new variable here at all, if it
3161 weren't for debug info. Still, we can just use the argument
3162 value. */
3163 if (TREE_READONLY (p)
3164 && !TREE_ADDRESSABLE (p)
3165 && value && !TREE_SIDE_EFFECTS (value)
3166 && !def)
3168 /* We may produce non-gimple trees by adding NOPs or introduce
3169 invalid sharing when operand is not really constant.
3170 It is not big deal to prohibit constant propagation here as
3171 we will constant propagate in DOM1 pass anyway. */
3172 if (is_gimple_min_invariant (value)
3173 && useless_type_conversion_p (TREE_TYPE (p),
3174 TREE_TYPE (value))
3175 /* We have to be very careful about ADDR_EXPR. Make sure
3176 the base variable isn't a local variable of the inlined
3177 function, e.g., when doing recursive inlining, direct or
3178 mutually-recursive or whatever, which is why we don't
3179 just test whether fn == current_function_decl. */
3180 && ! self_inlining_addr_expr (value, fn))
3182 insert_decl_map (id, p, value);
3183 insert_debug_decl_map (id, p, var);
3184 return insert_init_debug_bind (id, bb, var, value, NULL);
3188 /* Register the VAR_DECL as the equivalent for the PARM_DECL;
3189 that way, when the PARM_DECL is encountered, it will be
3190 automatically replaced by the VAR_DECL. */
3191 insert_decl_map (id, p, var);
3193 /* Even if P was TREE_READONLY, the new VAR should not be.
3194 In the original code, we would have constructed a
3195 temporary, and then the function body would have never
3196 changed the value of P. However, now, we will be
3197 constructing VAR directly. The constructor body may
3198 change its value multiple times as it is being
3199 constructed. Therefore, it must not be TREE_READONLY;
3200 the back-end assumes that TREE_READONLY variable is
3201 assigned to only once. */
3202 if (TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (p)))
3203 TREE_READONLY (var) = 0;
3205 /* If there is no setup required and we are in SSA, take the easy route
3206 replacing all SSA names representing the function parameter by the
3207 SSA name passed to function.
3209 We need to construct map for the variable anyway as it might be used
3210 in different SSA names when parameter is set in function.
3212 Do replacement at -O0 for const arguments replaced by constant.
3213 This is important for builtin_constant_p and other construct requiring
3214 constant argument to be visible in inlined function body. */
3215 if (gimple_in_ssa_p (cfun) && rhs && def && is_gimple_reg (p)
3216 && (optimize
3217 || (TREE_READONLY (p)
3218 && is_gimple_min_invariant (rhs)))
3219 && (TREE_CODE (rhs) == SSA_NAME
3220 || is_gimple_min_invariant (rhs))
3221 && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def))
3223 insert_decl_map (id, def, rhs);
3224 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3227 /* If the value of argument is never used, don't care about initializing
3228 it. */
3229 if (optimize && gimple_in_ssa_p (cfun) && !def && is_gimple_reg (p))
3231 gcc_assert (!value || !TREE_SIDE_EFFECTS (value));
3232 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3235 /* Initialize this VAR_DECL from the equivalent argument. Convert
3236 the argument to the proper type in case it was promoted. */
3237 if (value)
3239 if (rhs == error_mark_node)
3241 insert_decl_map (id, p, var);
3242 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3245 STRIP_USELESS_TYPE_CONVERSION (rhs);
3247 /* If we are in SSA form properly remap the default definition
3248 or assign to a dummy SSA name if the parameter is unused and
3249 we are not optimizing. */
3250 if (gimple_in_ssa_p (cfun) && is_gimple_reg (p))
3252 if (def)
3254 def = remap_ssa_name (def, id);
3255 init_stmt = gimple_build_assign (def, rhs);
3256 SSA_NAME_IS_DEFAULT_DEF (def) = 0;
3257 set_ssa_default_def (cfun, var, NULL);
3259 else if (!optimize)
3261 def = make_ssa_name (var);
3262 init_stmt = gimple_build_assign (def, rhs);
3265 else
3266 init_stmt = gimple_build_assign (var, rhs);
3268 if (bb && init_stmt)
3269 insert_init_stmt (id, bb, init_stmt);
3271 return init_stmt;
3274 /* Generate code to initialize the parameters of the function at the
3275 top of the stack in ID from the GIMPLE_CALL STMT. */
3277 static void
3278 initialize_inlined_parameters (copy_body_data *id, gimple *stmt,
3279 tree fn, basic_block bb)
3281 tree parms;
3282 size_t i;
3283 tree p;
3284 tree vars = NULL_TREE;
3285 tree static_chain = gimple_call_chain (stmt);
3287 /* Figure out what the parameters are. */
3288 parms = DECL_ARGUMENTS (fn);
3290 /* Loop through the parameter declarations, replacing each with an
3291 equivalent VAR_DECL, appropriately initialized. */
3292 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3294 tree val;
3295 val = i < gimple_call_num_args (stmt) ? gimple_call_arg (stmt, i) : NULL;
3296 setup_one_parameter (id, p, val, fn, bb, &vars);
3298 /* After remapping parameters remap their types. This has to be done
3299 in a second loop over all parameters to appropriately remap
3300 variable sized arrays when the size is specified in a
3301 parameter following the array. */
3302 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3304 tree *varp = id->decl_map->get (p);
3305 if (varp && VAR_P (*varp))
3307 tree def = (gimple_in_ssa_p (cfun) && is_gimple_reg (p)
3308 ? ssa_default_def (id->src_cfun, p) : NULL);
3309 tree var = *varp;
3310 TREE_TYPE (var) = remap_type (TREE_TYPE (var), id);
3311 /* Also remap the default definition if it was remapped
3312 to the default definition of the parameter replacement
3313 by the parameter setup. */
3314 if (def)
3316 tree *defp = id->decl_map->get (def);
3317 if (defp
3318 && TREE_CODE (*defp) == SSA_NAME
3319 && SSA_NAME_VAR (*defp) == var)
3320 TREE_TYPE (*defp) = TREE_TYPE (var);
3325 /* Initialize the static chain. */
3326 p = DECL_STRUCT_FUNCTION (fn)->static_chain_decl;
3327 gcc_assert (fn != current_function_decl);
3328 if (p)
3330 /* No static chain? Seems like a bug in tree-nested.c. */
3331 gcc_assert (static_chain);
3333 setup_one_parameter (id, p, static_chain, fn, bb, &vars);
3336 declare_inline_vars (id->block, vars);
3340 /* Declare a return variable to replace the RESULT_DECL for the
3341 function we are calling. An appropriate DECL_STMT is returned.
3342 The USE_STMT is filled to contain a use of the declaration to
3343 indicate the return value of the function.
3345 RETURN_SLOT, if non-null is place where to store the result. It
3346 is set only for CALL_EXPR_RETURN_SLOT_OPT. MODIFY_DEST, if non-null,
3347 was the LHS of the MODIFY_EXPR to which this call is the RHS.
3349 RETURN_BOUNDS holds a destination for returned bounds.
3351 The return value is a (possibly null) value that holds the result
3352 as seen by the caller. */
3354 static tree
3355 declare_return_variable (copy_body_data *id, tree return_slot, tree modify_dest,
3356 tree return_bounds, basic_block entry_bb)
3358 tree callee = id->src_fn;
3359 tree result = DECL_RESULT (callee);
3360 tree callee_type = TREE_TYPE (result);
3361 tree caller_type;
3362 tree var, use;
3364 /* Handle type-mismatches in the function declaration return type
3365 vs. the call expression. */
3366 if (modify_dest)
3367 caller_type = TREE_TYPE (modify_dest);
3368 else
3369 caller_type = TREE_TYPE (TREE_TYPE (callee));
3371 /* We don't need to do anything for functions that don't return anything. */
3372 if (VOID_TYPE_P (callee_type))
3373 return NULL_TREE;
3375 /* If there was a return slot, then the return value is the
3376 dereferenced address of that object. */
3377 if (return_slot)
3379 /* The front end shouldn't have used both return_slot and
3380 a modify expression. */
3381 gcc_assert (!modify_dest);
3382 if (DECL_BY_REFERENCE (result))
3384 tree return_slot_addr = build_fold_addr_expr (return_slot);
3385 STRIP_USELESS_TYPE_CONVERSION (return_slot_addr);
3387 /* We are going to construct *&return_slot and we can't do that
3388 for variables believed to be not addressable.
3390 FIXME: This check possibly can match, because values returned
3391 via return slot optimization are not believed to have address
3392 taken by alias analysis. */
3393 gcc_assert (TREE_CODE (return_slot) != SSA_NAME);
3394 var = return_slot_addr;
3396 else
3398 var = return_slot;
3399 gcc_assert (TREE_CODE (var) != SSA_NAME);
3400 if (TREE_ADDRESSABLE (result))
3401 mark_addressable (var);
3403 if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3404 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3405 && !DECL_GIMPLE_REG_P (result)
3406 && DECL_P (var))
3407 DECL_GIMPLE_REG_P (var) = 0;
3408 use = NULL;
3409 goto done;
3412 /* All types requiring non-trivial constructors should have been handled. */
3413 gcc_assert (!TREE_ADDRESSABLE (callee_type));
3415 /* Attempt to avoid creating a new temporary variable. */
3416 if (modify_dest
3417 && TREE_CODE (modify_dest) != SSA_NAME)
3419 bool use_it = false;
3421 /* We can't use MODIFY_DEST if there's type promotion involved. */
3422 if (!useless_type_conversion_p (callee_type, caller_type))
3423 use_it = false;
3425 /* ??? If we're assigning to a variable sized type, then we must
3426 reuse the destination variable, because we've no good way to
3427 create variable sized temporaries at this point. */
3428 else if (TREE_CODE (TYPE_SIZE_UNIT (caller_type)) != INTEGER_CST)
3429 use_it = true;
3431 /* If the callee cannot possibly modify MODIFY_DEST, then we can
3432 reuse it as the result of the call directly. Don't do this if
3433 it would promote MODIFY_DEST to addressable. */
3434 else if (TREE_ADDRESSABLE (result))
3435 use_it = false;
3436 else
3438 tree base_m = get_base_address (modify_dest);
3440 /* If the base isn't a decl, then it's a pointer, and we don't
3441 know where that's going to go. */
3442 if (!DECL_P (base_m))
3443 use_it = false;
3444 else if (is_global_var (base_m))
3445 use_it = false;
3446 else if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3447 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3448 && !DECL_GIMPLE_REG_P (result)
3449 && DECL_GIMPLE_REG_P (base_m))
3450 use_it = false;
3451 else if (!TREE_ADDRESSABLE (base_m))
3452 use_it = true;
3455 if (use_it)
3457 var = modify_dest;
3458 use = NULL;
3459 goto done;
3463 gcc_assert (TREE_CODE (TYPE_SIZE_UNIT (callee_type)) == INTEGER_CST);
3465 var = copy_result_decl_to_var (result, id);
3466 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3468 /* Do not have the rest of GCC warn about this variable as it should
3469 not be visible to the user. */
3470 TREE_NO_WARNING (var) = 1;
3472 declare_inline_vars (id->block, var);
3474 /* Build the use expr. If the return type of the function was
3475 promoted, convert it back to the expected type. */
3476 use = var;
3477 if (!useless_type_conversion_p (caller_type, TREE_TYPE (var)))
3479 /* If we can match up types by promotion/demotion do so. */
3480 if (fold_convertible_p (caller_type, var))
3481 use = fold_convert (caller_type, var);
3482 else
3484 /* ??? For valid programs we should not end up here.
3485 Still if we end up with truly mismatched types here, fall back
3486 to using a MEM_REF to not leak invalid GIMPLE to the following
3487 passes. */
3488 /* Prevent var from being written into SSA form. */
3489 if (TREE_CODE (TREE_TYPE (var)) == VECTOR_TYPE
3490 || TREE_CODE (TREE_TYPE (var)) == COMPLEX_TYPE)
3491 DECL_GIMPLE_REG_P (var) = false;
3492 else if (is_gimple_reg_type (TREE_TYPE (var)))
3493 TREE_ADDRESSABLE (var) = true;
3494 use = fold_build2 (MEM_REF, caller_type,
3495 build_fold_addr_expr (var),
3496 build_int_cst (ptr_type_node, 0));
3500 STRIP_USELESS_TYPE_CONVERSION (use);
3502 if (DECL_BY_REFERENCE (result))
3504 TREE_ADDRESSABLE (var) = 1;
3505 var = build_fold_addr_expr (var);
3508 done:
3509 /* Register the VAR_DECL as the equivalent for the RESULT_DECL; that
3510 way, when the RESULT_DECL is encountered, it will be
3511 automatically replaced by the VAR_DECL.
3513 When returning by reference, ensure that RESULT_DECL remaps to
3514 gimple_val. */
3515 if (DECL_BY_REFERENCE (result)
3516 && !is_gimple_val (var))
3518 tree temp = create_tmp_var (TREE_TYPE (result), "retvalptr");
3519 insert_decl_map (id, result, temp);
3520 /* When RESULT_DECL is in SSA form, we need to remap and initialize
3521 it's default_def SSA_NAME. */
3522 if (gimple_in_ssa_p (id->src_cfun)
3523 && is_gimple_reg (result))
3525 temp = make_ssa_name (temp);
3526 insert_decl_map (id, ssa_default_def (id->src_cfun, result), temp);
3528 insert_init_stmt (id, entry_bb, gimple_build_assign (temp, var));
3530 else
3531 insert_decl_map (id, result, var);
3533 /* Remember this so we can ignore it in remap_decls. */
3534 id->retvar = var;
3536 /* If returned bounds are used, then make var for them. */
3537 if (return_bounds)
3539 tree bndtemp = create_tmp_var (pointer_bounds_type_node, "retbnd");
3540 DECL_SEEN_IN_BIND_EXPR_P (bndtemp) = 1;
3541 TREE_NO_WARNING (bndtemp) = 1;
3542 declare_inline_vars (id->block, bndtemp);
3544 id->retbnd = bndtemp;
3545 insert_init_stmt (id, entry_bb,
3546 gimple_build_assign (bndtemp, chkp_get_zero_bounds_var ()));
3549 return use;
3552 /* Determine if the function can be copied. If so return NULL. If
3553 not return a string describng the reason for failure. */
3555 const char *
3556 copy_forbidden (struct function *fun)
3558 const char *reason = fun->cannot_be_copied_reason;
3560 /* Only examine the function once. */
3561 if (fun->cannot_be_copied_set)
3562 return reason;
3564 /* We cannot copy a function that receives a non-local goto
3565 because we cannot remap the destination label used in the
3566 function that is performing the non-local goto. */
3567 /* ??? Actually, this should be possible, if we work at it.
3568 No doubt there's just a handful of places that simply
3569 assume it doesn't happen and don't substitute properly. */
3570 if (fun->has_nonlocal_label)
3572 reason = G_("function %q+F can never be copied "
3573 "because it receives a non-local goto");
3574 goto fail;
3577 if (fun->has_forced_label_in_static)
3579 reason = G_("function %q+F can never be copied because it saves "
3580 "address of local label in a static variable");
3581 goto fail;
3584 fail:
3585 fun->cannot_be_copied_reason = reason;
3586 fun->cannot_be_copied_set = true;
3587 return reason;
3591 static const char *inline_forbidden_reason;
3593 /* A callback for walk_gimple_seq to handle statements. Returns non-null
3594 iff a function can not be inlined. Also sets the reason why. */
3596 static tree
3597 inline_forbidden_p_stmt (gimple_stmt_iterator *gsi, bool *handled_ops_p,
3598 struct walk_stmt_info *wip)
3600 tree fn = (tree) wip->info;
3601 tree t;
3602 gimple *stmt = gsi_stmt (*gsi);
3604 switch (gimple_code (stmt))
3606 case GIMPLE_CALL:
3607 /* Refuse to inline alloca call unless user explicitly forced so as
3608 this may change program's memory overhead drastically when the
3609 function using alloca is called in loop. In GCC present in
3610 SPEC2000 inlining into schedule_block cause it to require 2GB of
3611 RAM instead of 256MB. Don't do so for alloca calls emitted for
3612 VLA objects as those can't cause unbounded growth (they're always
3613 wrapped inside stack_save/stack_restore regions. */
3614 if (gimple_maybe_alloca_call_p (stmt)
3615 && !gimple_call_alloca_for_var_p (as_a <gcall *> (stmt))
3616 && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)))
3618 inline_forbidden_reason
3619 = G_("function %q+F can never be inlined because it uses "
3620 "alloca (override using the always_inline attribute)");
3621 *handled_ops_p = true;
3622 return fn;
3625 t = gimple_call_fndecl (stmt);
3626 if (t == NULL_TREE)
3627 break;
3629 /* We cannot inline functions that call setjmp. */
3630 if (setjmp_call_p (t))
3632 inline_forbidden_reason
3633 = G_("function %q+F can never be inlined because it uses setjmp");
3634 *handled_ops_p = true;
3635 return t;
3638 if (DECL_BUILT_IN_CLASS (t) == BUILT_IN_NORMAL)
3639 switch (DECL_FUNCTION_CODE (t))
3641 /* We cannot inline functions that take a variable number of
3642 arguments. */
3643 case BUILT_IN_VA_START:
3644 case BUILT_IN_NEXT_ARG:
3645 case BUILT_IN_VA_END:
3646 inline_forbidden_reason
3647 = G_("function %q+F can never be inlined because it "
3648 "uses variable argument lists");
3649 *handled_ops_p = true;
3650 return t;
3652 case BUILT_IN_LONGJMP:
3653 /* We can't inline functions that call __builtin_longjmp at
3654 all. The non-local goto machinery really requires the
3655 destination be in a different function. If we allow the
3656 function calling __builtin_longjmp to be inlined into the
3657 function calling __builtin_setjmp, Things will Go Awry. */
3658 inline_forbidden_reason
3659 = G_("function %q+F can never be inlined because "
3660 "it uses setjmp-longjmp exception handling");
3661 *handled_ops_p = true;
3662 return t;
3664 case BUILT_IN_NONLOCAL_GOTO:
3665 /* Similarly. */
3666 inline_forbidden_reason
3667 = G_("function %q+F can never be inlined because "
3668 "it uses non-local goto");
3669 *handled_ops_p = true;
3670 return t;
3672 case BUILT_IN_RETURN:
3673 case BUILT_IN_APPLY_ARGS:
3674 /* If a __builtin_apply_args caller would be inlined,
3675 it would be saving arguments of the function it has
3676 been inlined into. Similarly __builtin_return would
3677 return from the function the inline has been inlined into. */
3678 inline_forbidden_reason
3679 = G_("function %q+F can never be inlined because "
3680 "it uses __builtin_return or __builtin_apply_args");
3681 *handled_ops_p = true;
3682 return t;
3684 default:
3685 break;
3687 break;
3689 case GIMPLE_GOTO:
3690 t = gimple_goto_dest (stmt);
3692 /* We will not inline a function which uses computed goto. The
3693 addresses of its local labels, which may be tucked into
3694 global storage, are of course not constant across
3695 instantiations, which causes unexpected behavior. */
3696 if (TREE_CODE (t) != LABEL_DECL)
3698 inline_forbidden_reason
3699 = G_("function %q+F can never be inlined "
3700 "because it contains a computed goto");
3701 *handled_ops_p = true;
3702 return t;
3704 break;
3706 default:
3707 break;
3710 *handled_ops_p = false;
3711 return NULL_TREE;
3714 /* Return true if FNDECL is a function that cannot be inlined into
3715 another one. */
3717 static bool
3718 inline_forbidden_p (tree fndecl)
3720 struct function *fun = DECL_STRUCT_FUNCTION (fndecl);
3721 struct walk_stmt_info wi;
3722 basic_block bb;
3723 bool forbidden_p = false;
3725 /* First check for shared reasons not to copy the code. */
3726 inline_forbidden_reason = copy_forbidden (fun);
3727 if (inline_forbidden_reason != NULL)
3728 return true;
3730 /* Next, walk the statements of the function looking for
3731 constraucts we can't handle, or are non-optimal for inlining. */
3732 hash_set<tree> visited_nodes;
3733 memset (&wi, 0, sizeof (wi));
3734 wi.info = (void *) fndecl;
3735 wi.pset = &visited_nodes;
3737 FOR_EACH_BB_FN (bb, fun)
3739 gimple *ret;
3740 gimple_seq seq = bb_seq (bb);
3741 ret = walk_gimple_seq (seq, inline_forbidden_p_stmt, NULL, &wi);
3742 forbidden_p = (ret != NULL);
3743 if (forbidden_p)
3744 break;
3747 return forbidden_p;
3750 /* Return false if the function FNDECL cannot be inlined on account of its
3751 attributes, true otherwise. */
3752 static bool
3753 function_attribute_inlinable_p (const_tree fndecl)
3755 if (targetm.attribute_table)
3757 const_tree a;
3759 for (a = DECL_ATTRIBUTES (fndecl); a; a = TREE_CHAIN (a))
3761 const_tree name = TREE_PURPOSE (a);
3762 int i;
3764 for (i = 0; targetm.attribute_table[i].name != NULL; i++)
3765 if (is_attribute_p (targetm.attribute_table[i].name, name))
3766 return targetm.function_attribute_inlinable_p (fndecl);
3770 return true;
3773 /* Returns nonzero if FN is a function that does not have any
3774 fundamental inline blocking properties. */
3776 bool
3777 tree_inlinable_function_p (tree fn)
3779 bool inlinable = true;
3780 bool do_warning;
3781 tree always_inline;
3783 /* If we've already decided this function shouldn't be inlined,
3784 there's no need to check again. */
3785 if (DECL_UNINLINABLE (fn))
3786 return false;
3788 /* We only warn for functions declared `inline' by the user. */
3789 do_warning = (warn_inline
3790 && DECL_DECLARED_INLINE_P (fn)
3791 && !DECL_NO_INLINE_WARNING_P (fn)
3792 && !DECL_IN_SYSTEM_HEADER (fn));
3794 always_inline = lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn));
3796 if (flag_no_inline
3797 && always_inline == NULL)
3799 if (do_warning)
3800 warning (OPT_Winline, "function %q+F can never be inlined because it "
3801 "is suppressed using -fno-inline", fn);
3802 inlinable = false;
3805 else if (!function_attribute_inlinable_p (fn))
3807 if (do_warning)
3808 warning (OPT_Winline, "function %q+F can never be inlined because it "
3809 "uses attributes conflicting with inlining", fn);
3810 inlinable = false;
3813 else if (inline_forbidden_p (fn))
3815 /* See if we should warn about uninlinable functions. Previously,
3816 some of these warnings would be issued while trying to expand
3817 the function inline, but that would cause multiple warnings
3818 about functions that would for example call alloca. But since
3819 this a property of the function, just one warning is enough.
3820 As a bonus we can now give more details about the reason why a
3821 function is not inlinable. */
3822 if (always_inline)
3823 error (inline_forbidden_reason, fn);
3824 else if (do_warning)
3825 warning (OPT_Winline, inline_forbidden_reason, fn);
3827 inlinable = false;
3830 /* Squirrel away the result so that we don't have to check again. */
3831 DECL_UNINLINABLE (fn) = !inlinable;
3833 return inlinable;
3836 /* Estimate the cost of a memory move of type TYPE. Use machine dependent
3837 word size and take possible memcpy call into account and return
3838 cost based on whether optimizing for size or speed according to SPEED_P. */
3841 estimate_move_cost (tree type, bool ARG_UNUSED (speed_p))
3843 HOST_WIDE_INT size;
3845 gcc_assert (!VOID_TYPE_P (type));
3847 if (TREE_CODE (type) == VECTOR_TYPE)
3849 machine_mode inner = TYPE_MODE (TREE_TYPE (type));
3850 machine_mode simd
3851 = targetm.vectorize.preferred_simd_mode (inner);
3852 int simd_mode_size = GET_MODE_SIZE (simd);
3853 return ((GET_MODE_SIZE (TYPE_MODE (type)) + simd_mode_size - 1)
3854 / simd_mode_size);
3857 size = int_size_in_bytes (type);
3859 if (size < 0 || size > MOVE_MAX_PIECES * MOVE_RATIO (speed_p))
3860 /* Cost of a memcpy call, 3 arguments and the call. */
3861 return 4;
3862 else
3863 return ((size + MOVE_MAX_PIECES - 1) / MOVE_MAX_PIECES);
3866 /* Returns cost of operation CODE, according to WEIGHTS */
3868 static int
3869 estimate_operator_cost (enum tree_code code, eni_weights *weights,
3870 tree op1 ATTRIBUTE_UNUSED, tree op2)
3872 switch (code)
3874 /* These are "free" conversions, or their presumed cost
3875 is folded into other operations. */
3876 case RANGE_EXPR:
3877 CASE_CONVERT:
3878 case COMPLEX_EXPR:
3879 case PAREN_EXPR:
3880 case VIEW_CONVERT_EXPR:
3881 return 0;
3883 /* Assign cost of 1 to usual operations.
3884 ??? We may consider mapping RTL costs to this. */
3885 case COND_EXPR:
3886 case VEC_COND_EXPR:
3887 case VEC_PERM_EXPR:
3889 case PLUS_EXPR:
3890 case POINTER_PLUS_EXPR:
3891 case MINUS_EXPR:
3892 case MULT_EXPR:
3893 case MULT_HIGHPART_EXPR:
3894 case FMA_EXPR:
3896 case ADDR_SPACE_CONVERT_EXPR:
3897 case FIXED_CONVERT_EXPR:
3898 case FIX_TRUNC_EXPR:
3900 case NEGATE_EXPR:
3901 case FLOAT_EXPR:
3902 case MIN_EXPR:
3903 case MAX_EXPR:
3904 case ABS_EXPR:
3906 case LSHIFT_EXPR:
3907 case RSHIFT_EXPR:
3908 case LROTATE_EXPR:
3909 case RROTATE_EXPR:
3911 case BIT_IOR_EXPR:
3912 case BIT_XOR_EXPR:
3913 case BIT_AND_EXPR:
3914 case BIT_NOT_EXPR:
3916 case TRUTH_ANDIF_EXPR:
3917 case TRUTH_ORIF_EXPR:
3918 case TRUTH_AND_EXPR:
3919 case TRUTH_OR_EXPR:
3920 case TRUTH_XOR_EXPR:
3921 case TRUTH_NOT_EXPR:
3923 case LT_EXPR:
3924 case LE_EXPR:
3925 case GT_EXPR:
3926 case GE_EXPR:
3927 case EQ_EXPR:
3928 case NE_EXPR:
3929 case ORDERED_EXPR:
3930 case UNORDERED_EXPR:
3932 case UNLT_EXPR:
3933 case UNLE_EXPR:
3934 case UNGT_EXPR:
3935 case UNGE_EXPR:
3936 case UNEQ_EXPR:
3937 case LTGT_EXPR:
3939 case CONJ_EXPR:
3941 case PREDECREMENT_EXPR:
3942 case PREINCREMENT_EXPR:
3943 case POSTDECREMENT_EXPR:
3944 case POSTINCREMENT_EXPR:
3946 case REALIGN_LOAD_EXPR:
3948 case REDUC_MAX_EXPR:
3949 case REDUC_MIN_EXPR:
3950 case REDUC_PLUS_EXPR:
3951 case WIDEN_SUM_EXPR:
3952 case WIDEN_MULT_EXPR:
3953 case DOT_PROD_EXPR:
3954 case SAD_EXPR:
3955 case WIDEN_MULT_PLUS_EXPR:
3956 case WIDEN_MULT_MINUS_EXPR:
3957 case WIDEN_LSHIFT_EXPR:
3959 case VEC_WIDEN_MULT_HI_EXPR:
3960 case VEC_WIDEN_MULT_LO_EXPR:
3961 case VEC_WIDEN_MULT_EVEN_EXPR:
3962 case VEC_WIDEN_MULT_ODD_EXPR:
3963 case VEC_UNPACK_HI_EXPR:
3964 case VEC_UNPACK_LO_EXPR:
3965 case VEC_UNPACK_FLOAT_HI_EXPR:
3966 case VEC_UNPACK_FLOAT_LO_EXPR:
3967 case VEC_PACK_TRUNC_EXPR:
3968 case VEC_PACK_SAT_EXPR:
3969 case VEC_PACK_FIX_TRUNC_EXPR:
3970 case VEC_WIDEN_LSHIFT_HI_EXPR:
3971 case VEC_WIDEN_LSHIFT_LO_EXPR:
3973 return 1;
3975 /* Few special cases of expensive operations. This is useful
3976 to avoid inlining on functions having too many of these. */
3977 case TRUNC_DIV_EXPR:
3978 case CEIL_DIV_EXPR:
3979 case FLOOR_DIV_EXPR:
3980 case ROUND_DIV_EXPR:
3981 case EXACT_DIV_EXPR:
3982 case TRUNC_MOD_EXPR:
3983 case CEIL_MOD_EXPR:
3984 case FLOOR_MOD_EXPR:
3985 case ROUND_MOD_EXPR:
3986 case RDIV_EXPR:
3987 if (TREE_CODE (op2) != INTEGER_CST)
3988 return weights->div_mod_cost;
3989 return 1;
3991 /* Bit-field insertion needs several shift and mask operations. */
3992 case BIT_INSERT_EXPR:
3993 return 3;
3995 default:
3996 /* We expect a copy assignment with no operator. */
3997 gcc_assert (get_gimple_rhs_class (code) == GIMPLE_SINGLE_RHS);
3998 return 0;
4003 /* Estimate number of instructions that will be created by expanding
4004 the statements in the statement sequence STMTS.
4005 WEIGHTS contains weights attributed to various constructs. */
4008 estimate_num_insns_seq (gimple_seq stmts, eni_weights *weights)
4010 int cost;
4011 gimple_stmt_iterator gsi;
4013 cost = 0;
4014 for (gsi = gsi_start (stmts); !gsi_end_p (gsi); gsi_next (&gsi))
4015 cost += estimate_num_insns (gsi_stmt (gsi), weights);
4017 return cost;
4021 /* Estimate number of instructions that will be created by expanding STMT.
4022 WEIGHTS contains weights attributed to various constructs. */
4025 estimate_num_insns (gimple *stmt, eni_weights *weights)
4027 unsigned cost, i;
4028 enum gimple_code code = gimple_code (stmt);
4029 tree lhs;
4030 tree rhs;
4032 switch (code)
4034 case GIMPLE_ASSIGN:
4035 /* Try to estimate the cost of assignments. We have three cases to
4036 deal with:
4037 1) Simple assignments to registers;
4038 2) Stores to things that must live in memory. This includes
4039 "normal" stores to scalars, but also assignments of large
4040 structures, or constructors of big arrays;
4042 Let us look at the first two cases, assuming we have "a = b + C":
4043 <GIMPLE_ASSIGN <var_decl "a">
4044 <plus_expr <var_decl "b"> <constant C>>
4045 If "a" is a GIMPLE register, the assignment to it is free on almost
4046 any target, because "a" usually ends up in a real register. Hence
4047 the only cost of this expression comes from the PLUS_EXPR, and we
4048 can ignore the GIMPLE_ASSIGN.
4049 If "a" is not a GIMPLE register, the assignment to "a" will most
4050 likely be a real store, so the cost of the GIMPLE_ASSIGN is the cost
4051 of moving something into "a", which we compute using the function
4052 estimate_move_cost. */
4053 if (gimple_clobber_p (stmt))
4054 return 0; /* ={v} {CLOBBER} stmt expands to nothing. */
4056 lhs = gimple_assign_lhs (stmt);
4057 rhs = gimple_assign_rhs1 (stmt);
4059 cost = 0;
4061 /* Account for the cost of moving to / from memory. */
4062 if (gimple_store_p (stmt))
4063 cost += estimate_move_cost (TREE_TYPE (lhs), weights->time_based);
4064 if (gimple_assign_load_p (stmt))
4065 cost += estimate_move_cost (TREE_TYPE (rhs), weights->time_based);
4067 cost += estimate_operator_cost (gimple_assign_rhs_code (stmt), weights,
4068 gimple_assign_rhs1 (stmt),
4069 get_gimple_rhs_class (gimple_assign_rhs_code (stmt))
4070 == GIMPLE_BINARY_RHS
4071 ? gimple_assign_rhs2 (stmt) : NULL);
4072 break;
4074 case GIMPLE_COND:
4075 cost = 1 + estimate_operator_cost (gimple_cond_code (stmt), weights,
4076 gimple_op (stmt, 0),
4077 gimple_op (stmt, 1));
4078 break;
4080 case GIMPLE_SWITCH:
4082 gswitch *switch_stmt = as_a <gswitch *> (stmt);
4083 /* Take into account cost of the switch + guess 2 conditional jumps for
4084 each case label.
4086 TODO: once the switch expansion logic is sufficiently separated, we can
4087 do better job on estimating cost of the switch. */
4088 if (weights->time_based)
4089 cost = floor_log2 (gimple_switch_num_labels (switch_stmt)) * 2;
4090 else
4091 cost = gimple_switch_num_labels (switch_stmt) * 2;
4093 break;
4095 case GIMPLE_CALL:
4097 tree decl;
4099 if (gimple_call_internal_p (stmt))
4100 return 0;
4101 else if ((decl = gimple_call_fndecl (stmt))
4102 && DECL_BUILT_IN (decl))
4104 /* Do not special case builtins where we see the body.
4105 This just confuse inliner. */
4106 struct cgraph_node *node;
4107 if (!(node = cgraph_node::get (decl))
4108 || node->definition)
4110 /* For buitins that are likely expanded to nothing or
4111 inlined do not account operand costs. */
4112 else if (is_simple_builtin (decl))
4113 return 0;
4114 else if (is_inexpensive_builtin (decl))
4115 return weights->target_builtin_call_cost;
4116 else if (gimple_call_builtin_p (stmt, BUILT_IN_NORMAL))
4118 /* We canonicalize x * x to pow (x, 2.0) with -ffast-math, so
4119 specialize the cheap expansion we do here.
4120 ??? This asks for a more general solution. */
4121 switch (DECL_FUNCTION_CODE (decl))
4123 case BUILT_IN_POW:
4124 case BUILT_IN_POWF:
4125 case BUILT_IN_POWL:
4126 if (TREE_CODE (gimple_call_arg (stmt, 1)) == REAL_CST
4127 && (real_equal
4128 (&TREE_REAL_CST (gimple_call_arg (stmt, 1)),
4129 &dconst2)))
4130 return estimate_operator_cost
4131 (MULT_EXPR, weights, gimple_call_arg (stmt, 0),
4132 gimple_call_arg (stmt, 0));
4133 break;
4135 default:
4136 break;
4141 cost = decl ? weights->call_cost : weights->indirect_call_cost;
4142 if (gimple_call_lhs (stmt))
4143 cost += estimate_move_cost (TREE_TYPE (gimple_call_lhs (stmt)),
4144 weights->time_based);
4145 for (i = 0; i < gimple_call_num_args (stmt); i++)
4147 tree arg = gimple_call_arg (stmt, i);
4148 cost += estimate_move_cost (TREE_TYPE (arg),
4149 weights->time_based);
4151 break;
4154 case GIMPLE_RETURN:
4155 return weights->return_cost;
4157 case GIMPLE_GOTO:
4158 case GIMPLE_LABEL:
4159 case GIMPLE_NOP:
4160 case GIMPLE_PHI:
4161 case GIMPLE_PREDICT:
4162 case GIMPLE_DEBUG:
4163 return 0;
4165 case GIMPLE_ASM:
4167 int count = asm_str_count (gimple_asm_string (as_a <gasm *> (stmt)));
4168 /* 1000 means infinity. This avoids overflows later
4169 with very long asm statements. */
4170 if (count > 1000)
4171 count = 1000;
4172 return count;
4175 case GIMPLE_RESX:
4176 /* This is either going to be an external function call with one
4177 argument, or two register copy statements plus a goto. */
4178 return 2;
4180 case GIMPLE_EH_DISPATCH:
4181 /* ??? This is going to turn into a switch statement. Ideally
4182 we'd have a look at the eh region and estimate the number of
4183 edges involved. */
4184 return 10;
4186 case GIMPLE_BIND:
4187 return estimate_num_insns_seq (
4188 gimple_bind_body (as_a <gbind *> (stmt)),
4189 weights);
4191 case GIMPLE_EH_FILTER:
4192 return estimate_num_insns_seq (gimple_eh_filter_failure (stmt), weights);
4194 case GIMPLE_CATCH:
4195 return estimate_num_insns_seq (gimple_catch_handler (
4196 as_a <gcatch *> (stmt)),
4197 weights);
4199 case GIMPLE_TRY:
4200 return (estimate_num_insns_seq (gimple_try_eval (stmt), weights)
4201 + estimate_num_insns_seq (gimple_try_cleanup (stmt), weights));
4203 /* OMP directives are generally very expensive. */
4205 case GIMPLE_OMP_RETURN:
4206 case GIMPLE_OMP_SECTIONS_SWITCH:
4207 case GIMPLE_OMP_ATOMIC_STORE:
4208 case GIMPLE_OMP_CONTINUE:
4209 /* ...except these, which are cheap. */
4210 return 0;
4212 case GIMPLE_OMP_ATOMIC_LOAD:
4213 return weights->omp_cost;
4215 case GIMPLE_OMP_FOR:
4216 return (weights->omp_cost
4217 + estimate_num_insns_seq (gimple_omp_body (stmt), weights)
4218 + estimate_num_insns_seq (gimple_omp_for_pre_body (stmt), weights));
4220 case GIMPLE_OMP_PARALLEL:
4221 case GIMPLE_OMP_TASK:
4222 case GIMPLE_OMP_CRITICAL:
4223 case GIMPLE_OMP_MASTER:
4224 case GIMPLE_OMP_TASKGROUP:
4225 case GIMPLE_OMP_ORDERED:
4226 case GIMPLE_OMP_SECTION:
4227 case GIMPLE_OMP_SECTIONS:
4228 case GIMPLE_OMP_SINGLE:
4229 case GIMPLE_OMP_TARGET:
4230 case GIMPLE_OMP_TEAMS:
4231 return (weights->omp_cost
4232 + estimate_num_insns_seq (gimple_omp_body (stmt), weights));
4234 case GIMPLE_TRANSACTION:
4235 return (weights->tm_cost
4236 + estimate_num_insns_seq (gimple_transaction_body (
4237 as_a <gtransaction *> (stmt)),
4238 weights));
4240 default:
4241 gcc_unreachable ();
4244 return cost;
4247 /* Estimate number of instructions that will be created by expanding
4248 function FNDECL. WEIGHTS contains weights attributed to various
4249 constructs. */
4252 estimate_num_insns_fn (tree fndecl, eni_weights *weights)
4254 struct function *my_function = DECL_STRUCT_FUNCTION (fndecl);
4255 gimple_stmt_iterator bsi;
4256 basic_block bb;
4257 int n = 0;
4259 gcc_assert (my_function && my_function->cfg);
4260 FOR_EACH_BB_FN (bb, my_function)
4262 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
4263 n += estimate_num_insns (gsi_stmt (bsi), weights);
4266 return n;
4270 /* Initializes weights used by estimate_num_insns. */
4272 void
4273 init_inline_once (void)
4275 eni_size_weights.call_cost = 1;
4276 eni_size_weights.indirect_call_cost = 3;
4277 eni_size_weights.target_builtin_call_cost = 1;
4278 eni_size_weights.div_mod_cost = 1;
4279 eni_size_weights.omp_cost = 40;
4280 eni_size_weights.tm_cost = 10;
4281 eni_size_weights.time_based = false;
4282 eni_size_weights.return_cost = 1;
4284 /* Estimating time for call is difficult, since we have no idea what the
4285 called function does. In the current uses of eni_time_weights,
4286 underestimating the cost does less harm than overestimating it, so
4287 we choose a rather small value here. */
4288 eni_time_weights.call_cost = 10;
4289 eni_time_weights.indirect_call_cost = 15;
4290 eni_time_weights.target_builtin_call_cost = 1;
4291 eni_time_weights.div_mod_cost = 10;
4292 eni_time_weights.omp_cost = 40;
4293 eni_time_weights.tm_cost = 40;
4294 eni_time_weights.time_based = true;
4295 eni_time_weights.return_cost = 2;
4299 /* Install new lexical TREE_BLOCK underneath 'current_block'. */
4301 static void
4302 prepend_lexical_block (tree current_block, tree new_block)
4304 BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (current_block);
4305 BLOCK_SUBBLOCKS (current_block) = new_block;
4306 BLOCK_SUPERCONTEXT (new_block) = current_block;
4309 /* Add local variables from CALLEE to CALLER. */
4311 static inline void
4312 add_local_variables (struct function *callee, struct function *caller,
4313 copy_body_data *id)
4315 tree var;
4316 unsigned ix;
4318 FOR_EACH_LOCAL_DECL (callee, ix, var)
4319 if (!can_be_nonlocal (var, id))
4321 tree new_var = remap_decl (var, id);
4323 /* Remap debug-expressions. */
4324 if (VAR_P (new_var)
4325 && DECL_HAS_DEBUG_EXPR_P (var)
4326 && new_var != var)
4328 tree tem = DECL_DEBUG_EXPR (var);
4329 bool old_regimplify = id->regimplify;
4330 id->remapping_type_depth++;
4331 walk_tree (&tem, copy_tree_body_r, id, NULL);
4332 id->remapping_type_depth--;
4333 id->regimplify = old_regimplify;
4334 SET_DECL_DEBUG_EXPR (new_var, tem);
4335 DECL_HAS_DEBUG_EXPR_P (new_var) = 1;
4337 add_local_decl (caller, new_var);
4341 /* Add to BINDINGS a debug stmt resetting SRCVAR if inlining might
4342 have brought in or introduced any debug stmts for SRCVAR. */
4344 static inline void
4345 reset_debug_binding (copy_body_data *id, tree srcvar, gimple_seq *bindings)
4347 tree *remappedvarp = id->decl_map->get (srcvar);
4349 if (!remappedvarp)
4350 return;
4352 if (!VAR_P (*remappedvarp))
4353 return;
4355 if (*remappedvarp == id->retvar || *remappedvarp == id->retbnd)
4356 return;
4358 tree tvar = target_for_debug_bind (*remappedvarp);
4359 if (!tvar)
4360 return;
4362 gdebug *stmt = gimple_build_debug_bind (tvar, NULL_TREE,
4363 id->call_stmt);
4364 gimple_seq_add_stmt (bindings, stmt);
4367 /* For each inlined variable for which we may have debug bind stmts,
4368 add before GSI a final debug stmt resetting it, marking the end of
4369 its life, so that var-tracking knows it doesn't have to compute
4370 further locations for it. */
4372 static inline void
4373 reset_debug_bindings (copy_body_data *id, gimple_stmt_iterator gsi)
4375 tree var;
4376 unsigned ix;
4377 gimple_seq bindings = NULL;
4379 if (!gimple_in_ssa_p (id->src_cfun))
4380 return;
4382 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
4383 return;
4385 for (var = DECL_ARGUMENTS (id->src_fn);
4386 var; var = DECL_CHAIN (var))
4387 reset_debug_binding (id, var, &bindings);
4389 FOR_EACH_LOCAL_DECL (id->src_cfun, ix, var)
4390 reset_debug_binding (id, var, &bindings);
4392 gsi_insert_seq_before_without_update (&gsi, bindings, GSI_SAME_STMT);
4395 /* If STMT is a GIMPLE_CALL, replace it with its inline expansion. */
4397 static bool
4398 expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id)
4400 tree use_retvar;
4401 tree fn;
4402 hash_map<tree, tree> *dst;
4403 hash_map<tree, tree> *st = NULL;
4404 tree return_slot;
4405 tree modify_dest;
4406 tree return_bounds = NULL;
4407 struct cgraph_edge *cg_edge;
4408 cgraph_inline_failed_t reason;
4409 basic_block return_block;
4410 edge e;
4411 gimple_stmt_iterator gsi, stmt_gsi;
4412 bool successfully_inlined = false;
4413 bool purge_dead_abnormal_edges;
4414 gcall *call_stmt;
4415 unsigned int i;
4417 /* The gimplifier uses input_location in too many places, such as
4418 internal_get_tmp_var (). */
4419 location_t saved_location = input_location;
4420 input_location = gimple_location (stmt);
4422 /* From here on, we're only interested in CALL_EXPRs. */
4423 call_stmt = dyn_cast <gcall *> (stmt);
4424 if (!call_stmt)
4425 goto egress;
4427 cg_edge = id->dst_node->get_edge (stmt);
4428 gcc_checking_assert (cg_edge);
4429 /* First, see if we can figure out what function is being called.
4430 If we cannot, then there is no hope of inlining the function. */
4431 if (cg_edge->indirect_unknown_callee)
4432 goto egress;
4433 fn = cg_edge->callee->decl;
4434 gcc_checking_assert (fn);
4436 /* If FN is a declaration of a function in a nested scope that was
4437 globally declared inline, we don't set its DECL_INITIAL.
4438 However, we can't blindly follow DECL_ABSTRACT_ORIGIN because the
4439 C++ front-end uses it for cdtors to refer to their internal
4440 declarations, that are not real functions. Fortunately those
4441 don't have trees to be saved, so we can tell by checking their
4442 gimple_body. */
4443 if (!DECL_INITIAL (fn)
4444 && DECL_ABSTRACT_ORIGIN (fn)
4445 && gimple_has_body_p (DECL_ABSTRACT_ORIGIN (fn)))
4446 fn = DECL_ABSTRACT_ORIGIN (fn);
4448 /* Don't try to inline functions that are not well-suited to inlining. */
4449 if (cg_edge->inline_failed)
4451 reason = cg_edge->inline_failed;
4452 /* If this call was originally indirect, we do not want to emit any
4453 inlining related warnings or sorry messages because there are no
4454 guarantees regarding those. */
4455 if (cg_edge->indirect_inlining_edge)
4456 goto egress;
4458 if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn))
4459 /* For extern inline functions that get redefined we always
4460 silently ignored always_inline flag. Better behavior would
4461 be to be able to keep both bodies and use extern inline body
4462 for inlining, but we can't do that because frontends overwrite
4463 the body. */
4464 && !cg_edge->callee->local.redefined_extern_inline
4465 /* During early inline pass, report only when optimization is
4466 not turned on. */
4467 && (symtab->global_info_ready
4468 || !optimize
4469 || cgraph_inline_failed_type (reason) == CIF_FINAL_ERROR)
4470 /* PR 20090218-1_0.c. Body can be provided by another module. */
4471 && (reason != CIF_BODY_NOT_AVAILABLE || !flag_generate_lto))
4473 error ("inlining failed in call to always_inline %q+F: %s", fn,
4474 cgraph_inline_failed_string (reason));
4475 if (gimple_location (stmt) != UNKNOWN_LOCATION)
4476 inform (gimple_location (stmt), "called from here");
4477 else if (DECL_SOURCE_LOCATION (cfun->decl) != UNKNOWN_LOCATION)
4478 inform (DECL_SOURCE_LOCATION (cfun->decl),
4479 "called from this function");
4481 else if (warn_inline
4482 && DECL_DECLARED_INLINE_P (fn)
4483 && !DECL_NO_INLINE_WARNING_P (fn)
4484 && !DECL_IN_SYSTEM_HEADER (fn)
4485 && reason != CIF_UNSPECIFIED
4486 && !lookup_attribute ("noinline", DECL_ATTRIBUTES (fn))
4487 /* Do not warn about not inlined recursive calls. */
4488 && !cg_edge->recursive_p ()
4489 /* Avoid warnings during early inline pass. */
4490 && symtab->global_info_ready)
4492 if (warning (OPT_Winline, "inlining failed in call to %q+F: %s",
4493 fn, _(cgraph_inline_failed_string (reason))))
4495 if (gimple_location (stmt) != UNKNOWN_LOCATION)
4496 inform (gimple_location (stmt), "called from here");
4497 else if (DECL_SOURCE_LOCATION (cfun->decl) != UNKNOWN_LOCATION)
4498 inform (DECL_SOURCE_LOCATION (cfun->decl),
4499 "called from this function");
4502 goto egress;
4504 id->src_node = cg_edge->callee;
4506 /* If callee is thunk, all we need is to adjust the THIS pointer
4507 and redirect to function being thunked. */
4508 if (id->src_node->thunk.thunk_p)
4510 cgraph_edge *edge;
4511 tree virtual_offset = NULL;
4512 int freq = cg_edge->frequency;
4513 gcov_type count = cg_edge->count;
4514 tree op;
4515 gimple_stmt_iterator iter = gsi_for_stmt (stmt);
4517 cg_edge->remove ();
4518 edge = id->src_node->callees->clone (id->dst_node, call_stmt,
4519 gimple_uid (stmt),
4520 REG_BR_PROB_BASE, CGRAPH_FREQ_BASE,
4521 true);
4522 edge->frequency = freq;
4523 edge->count = count;
4524 if (id->src_node->thunk.virtual_offset_p)
4525 virtual_offset = size_int (id->src_node->thunk.virtual_value);
4526 op = create_tmp_reg_fn (cfun, TREE_TYPE (gimple_call_arg (stmt, 0)),
4527 NULL);
4528 gsi_insert_before (&iter, gimple_build_assign (op,
4529 gimple_call_arg (stmt, 0)),
4530 GSI_NEW_STMT);
4531 gcc_assert (id->src_node->thunk.this_adjusting);
4532 op = thunk_adjust (&iter, op, 1, id->src_node->thunk.fixed_offset,
4533 virtual_offset);
4535 gimple_call_set_arg (stmt, 0, op);
4536 gimple_call_set_fndecl (stmt, edge->callee->decl);
4537 update_stmt (stmt);
4538 id->src_node->remove ();
4539 expand_call_inline (bb, stmt, id);
4540 maybe_remove_unused_call_args (cfun, stmt);
4541 return true;
4543 fn = cg_edge->callee->decl;
4544 cg_edge->callee->get_untransformed_body ();
4546 if (flag_checking && cg_edge->callee->decl != id->dst_node->decl)
4547 cg_edge->callee->verify ();
4549 /* We will be inlining this callee. */
4550 id->eh_lp_nr = lookup_stmt_eh_lp (stmt);
4551 id->assign_stmts.create (0);
4553 /* Update the callers EH personality. */
4554 if (DECL_FUNCTION_PERSONALITY (cg_edge->callee->decl))
4555 DECL_FUNCTION_PERSONALITY (cg_edge->caller->decl)
4556 = DECL_FUNCTION_PERSONALITY (cg_edge->callee->decl);
4558 /* Split the block holding the GIMPLE_CALL. */
4559 e = split_block (bb, stmt);
4560 bb = e->src;
4561 return_block = e->dest;
4562 remove_edge (e);
4564 /* split_block splits after the statement; work around this by
4565 moving the call into the second block manually. Not pretty,
4566 but seems easier than doing the CFG manipulation by hand
4567 when the GIMPLE_CALL is in the last statement of BB. */
4568 stmt_gsi = gsi_last_bb (bb);
4569 gsi_remove (&stmt_gsi, false);
4571 /* If the GIMPLE_CALL was in the last statement of BB, it may have
4572 been the source of abnormal edges. In this case, schedule
4573 the removal of dead abnormal edges. */
4574 gsi = gsi_start_bb (return_block);
4575 if (gsi_end_p (gsi))
4577 gsi_insert_after (&gsi, stmt, GSI_NEW_STMT);
4578 purge_dead_abnormal_edges = true;
4580 else
4582 gsi_insert_before (&gsi, stmt, GSI_NEW_STMT);
4583 purge_dead_abnormal_edges = false;
4586 stmt_gsi = gsi_start_bb (return_block);
4588 /* Build a block containing code to initialize the arguments, the
4589 actual inline expansion of the body, and a label for the return
4590 statements within the function to jump to. The type of the
4591 statement expression is the return type of the function call.
4592 ??? If the call does not have an associated block then we will
4593 remap all callee blocks to NULL, effectively dropping most of
4594 its debug information. This should only happen for calls to
4595 artificial decls inserted by the compiler itself. We need to
4596 either link the inlined blocks into the caller block tree or
4597 not refer to them in any way to not break GC for locations. */
4598 if (gimple_block (stmt))
4600 id->block = make_node (BLOCK);
4601 BLOCK_ABSTRACT_ORIGIN (id->block) = fn;
4602 BLOCK_SOURCE_LOCATION (id->block)
4603 = LOCATION_LOCUS (gimple_location (stmt));
4604 prepend_lexical_block (gimple_block (stmt), id->block);
4607 /* Local declarations will be replaced by their equivalents in this
4608 map. */
4609 st = id->decl_map;
4610 id->decl_map = new hash_map<tree, tree>;
4611 dst = id->debug_map;
4612 id->debug_map = NULL;
4614 /* Record the function we are about to inline. */
4615 id->src_fn = fn;
4616 id->src_cfun = DECL_STRUCT_FUNCTION (fn);
4617 id->call_stmt = stmt;
4619 /* If the src function contains an IFN_VA_ARG, then so will the dst
4620 function after inlining. */
4621 if ((id->src_cfun->curr_properties & PROP_gimple_lva) == 0)
4623 struct function *dst_cfun = DECL_STRUCT_FUNCTION (id->dst_fn);
4624 dst_cfun->curr_properties &= ~PROP_gimple_lva;
4627 gcc_assert (!id->src_cfun->after_inlining);
4629 id->entry_bb = bb;
4630 if (lookup_attribute ("cold", DECL_ATTRIBUTES (fn)))
4632 gimple_stmt_iterator si = gsi_last_bb (bb);
4633 gsi_insert_after (&si, gimple_build_predict (PRED_COLD_FUNCTION,
4634 NOT_TAKEN),
4635 GSI_NEW_STMT);
4637 initialize_inlined_parameters (id, stmt, fn, bb);
4639 if (DECL_INITIAL (fn))
4641 if (gimple_block (stmt))
4643 tree *var;
4645 prepend_lexical_block (id->block,
4646 remap_blocks (DECL_INITIAL (fn), id));
4647 gcc_checking_assert (BLOCK_SUBBLOCKS (id->block)
4648 && (BLOCK_CHAIN (BLOCK_SUBBLOCKS (id->block))
4649 == NULL_TREE));
4650 /* Move vars for PARM_DECLs from DECL_INITIAL block to id->block,
4651 otherwise for DWARF DW_TAG_formal_parameter will not be children of
4652 DW_TAG_inlined_subroutine, but of a DW_TAG_lexical_block
4653 under it. The parameters can be then evaluated in the debugger,
4654 but don't show in backtraces. */
4655 for (var = &BLOCK_VARS (BLOCK_SUBBLOCKS (id->block)); *var; )
4656 if (TREE_CODE (DECL_ORIGIN (*var)) == PARM_DECL)
4658 tree v = *var;
4659 *var = TREE_CHAIN (v);
4660 TREE_CHAIN (v) = BLOCK_VARS (id->block);
4661 BLOCK_VARS (id->block) = v;
4663 else
4664 var = &TREE_CHAIN (*var);
4666 else
4667 remap_blocks_to_null (DECL_INITIAL (fn), id);
4670 /* Return statements in the function body will be replaced by jumps
4671 to the RET_LABEL. */
4672 gcc_assert (DECL_INITIAL (fn));
4673 gcc_assert (TREE_CODE (DECL_INITIAL (fn)) == BLOCK);
4675 /* Find the LHS to which the result of this call is assigned. */
4676 return_slot = NULL;
4677 if (gimple_call_lhs (stmt))
4679 modify_dest = gimple_call_lhs (stmt);
4681 /* Remember where to copy returned bounds. */
4682 if (gimple_call_with_bounds_p (stmt)
4683 && TREE_CODE (modify_dest) == SSA_NAME)
4685 gcall *retbnd = chkp_retbnd_call_by_val (modify_dest);
4686 if (retbnd)
4688 return_bounds = gimple_call_lhs (retbnd);
4689 /* If returned bounds are not used then just
4690 remove unused call. */
4691 if (!return_bounds)
4693 gimple_stmt_iterator iter = gsi_for_stmt (retbnd);
4694 gsi_remove (&iter, true);
4699 /* The function which we are inlining might not return a value,
4700 in which case we should issue a warning that the function
4701 does not return a value. In that case the optimizers will
4702 see that the variable to which the value is assigned was not
4703 initialized. We do not want to issue a warning about that
4704 uninitialized variable. */
4705 if (DECL_P (modify_dest))
4706 TREE_NO_WARNING (modify_dest) = 1;
4708 if (gimple_call_return_slot_opt_p (call_stmt))
4710 return_slot = modify_dest;
4711 modify_dest = NULL;
4714 else
4715 modify_dest = NULL;
4717 /* If we are inlining a call to the C++ operator new, we don't want
4718 to use type based alias analysis on the return value. Otherwise
4719 we may get confused if the compiler sees that the inlined new
4720 function returns a pointer which was just deleted. See bug
4721 33407. */
4722 if (DECL_IS_OPERATOR_NEW (fn))
4724 return_slot = NULL;
4725 modify_dest = NULL;
4728 /* Declare the return variable for the function. */
4729 use_retvar = declare_return_variable (id, return_slot, modify_dest,
4730 return_bounds, bb);
4732 /* Add local vars in this inlined callee to caller. */
4733 add_local_variables (id->src_cfun, cfun, id);
4735 if (dump_file && (dump_flags & TDF_DETAILS))
4737 fprintf (dump_file, "Inlining ");
4738 print_generic_expr (dump_file, id->src_fn, 0);
4739 fprintf (dump_file, " to ");
4740 print_generic_expr (dump_file, id->dst_fn, 0);
4741 fprintf (dump_file, " with frequency %i\n", cg_edge->frequency);
4744 /* This is it. Duplicate the callee body. Assume callee is
4745 pre-gimplified. Note that we must not alter the caller
4746 function in any way before this point, as this CALL_EXPR may be
4747 a self-referential call; if we're calling ourselves, we need to
4748 duplicate our body before altering anything. */
4749 copy_body (id, cg_edge->callee->count,
4750 GCOV_COMPUTE_SCALE (cg_edge->frequency, CGRAPH_FREQ_BASE),
4751 bb, return_block, NULL);
4753 reset_debug_bindings (id, stmt_gsi);
4755 /* Reset the escaped solution. */
4756 if (cfun->gimple_df)
4757 pt_solution_reset (&cfun->gimple_df->escaped);
4759 /* Clean up. */
4760 if (id->debug_map)
4762 delete id->debug_map;
4763 id->debug_map = dst;
4765 delete id->decl_map;
4766 id->decl_map = st;
4768 /* Unlink the calls virtual operands before replacing it. */
4769 unlink_stmt_vdef (stmt);
4770 if (gimple_vdef (stmt)
4771 && TREE_CODE (gimple_vdef (stmt)) == SSA_NAME)
4772 release_ssa_name (gimple_vdef (stmt));
4774 /* If the inlined function returns a result that we care about,
4775 substitute the GIMPLE_CALL with an assignment of the return
4776 variable to the LHS of the call. That is, if STMT was
4777 'a = foo (...)', substitute the call with 'a = USE_RETVAR'. */
4778 if (use_retvar && gimple_call_lhs (stmt))
4780 gimple *old_stmt = stmt;
4781 stmt = gimple_build_assign (gimple_call_lhs (stmt), use_retvar);
4782 gsi_replace (&stmt_gsi, stmt, false);
4783 maybe_clean_or_replace_eh_stmt (old_stmt, stmt);
4785 /* Copy bounds if we copy structure with bounds. */
4786 if (chkp_function_instrumented_p (id->dst_fn)
4787 && !BOUNDED_P (use_retvar)
4788 && chkp_type_has_pointer (TREE_TYPE (use_retvar)))
4789 id->assign_stmts.safe_push (stmt);
4791 else
4793 /* Handle the case of inlining a function with no return
4794 statement, which causes the return value to become undefined. */
4795 if (gimple_call_lhs (stmt)
4796 && TREE_CODE (gimple_call_lhs (stmt)) == SSA_NAME)
4798 tree name = gimple_call_lhs (stmt);
4799 tree var = SSA_NAME_VAR (name);
4800 tree def = var ? ssa_default_def (cfun, var) : NULL;
4802 if (def)
4804 /* If the variable is used undefined, make this name
4805 undefined via a move. */
4806 stmt = gimple_build_assign (gimple_call_lhs (stmt), def);
4807 gsi_replace (&stmt_gsi, stmt, true);
4809 else
4811 if (!var)
4813 tree var = create_tmp_reg_fn (cfun, TREE_TYPE (name), NULL);
4814 SET_SSA_NAME_VAR_OR_IDENTIFIER (name, var);
4816 /* Otherwise make this variable undefined. */
4817 gsi_remove (&stmt_gsi, true);
4818 set_ssa_default_def (cfun, var, name);
4819 SSA_NAME_DEF_STMT (name) = gimple_build_nop ();
4822 else
4823 gsi_remove (&stmt_gsi, true);
4826 /* Put returned bounds into the correct place if required. */
4827 if (return_bounds)
4829 gimple *old_stmt = SSA_NAME_DEF_STMT (return_bounds);
4830 gimple *new_stmt = gimple_build_assign (return_bounds, id->retbnd);
4831 gimple_stmt_iterator bnd_gsi = gsi_for_stmt (old_stmt);
4832 unlink_stmt_vdef (old_stmt);
4833 gsi_replace (&bnd_gsi, new_stmt, false);
4834 maybe_clean_or_replace_eh_stmt (old_stmt, new_stmt);
4835 cgraph_update_edges_for_call_stmt (old_stmt,
4836 gimple_call_fndecl (old_stmt),
4837 new_stmt);
4840 if (purge_dead_abnormal_edges)
4842 gimple_purge_dead_eh_edges (return_block);
4843 gimple_purge_dead_abnormal_call_edges (return_block);
4846 /* If the value of the new expression is ignored, that's OK. We
4847 don't warn about this for CALL_EXPRs, so we shouldn't warn about
4848 the equivalent inlined version either. */
4849 if (is_gimple_assign (stmt))
4851 gcc_assert (gimple_assign_single_p (stmt)
4852 || CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt)));
4853 TREE_USED (gimple_assign_rhs1 (stmt)) = 1;
4856 /* Copy bounds for all generated assigns that need it. */
4857 for (i = 0; i < id->assign_stmts.length (); i++)
4858 chkp_copy_bounds_for_assign (id->assign_stmts[i], cg_edge);
4859 id->assign_stmts.release ();
4861 /* Output the inlining info for this abstract function, since it has been
4862 inlined. If we don't do this now, we can lose the information about the
4863 variables in the function when the blocks get blown away as soon as we
4864 remove the cgraph node. */
4865 if (gimple_block (stmt))
4866 (*debug_hooks->outlining_inline_function) (cg_edge->callee->decl);
4868 /* Update callgraph if needed. */
4869 cg_edge->callee->remove ();
4871 id->block = 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 < n_basic_blocks_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 && DECL_BUILT_IN (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 fold_marked_statements (last, id.statements_to_fold);
5053 delete id.statements_to_fold;
5055 gcc_assert (!id.debug_stmts.exists ());
5057 /* If we didn't inline into the function there is nothing to do. */
5058 if (!inlined_p)
5059 return 0;
5061 /* Renumber the lexical scoping (non-code) blocks consecutively. */
5062 number_blocks (fn);
5064 delete_unreachable_blocks_update_callgraph (&id);
5065 if (flag_checking)
5066 id.dst_node->verify ();
5068 /* It would be nice to check SSA/CFG/statement consistency here, but it is
5069 not possible yet - the IPA passes might make various functions to not
5070 throw and they don't care to proactively update local EH info. This is
5071 done later in fixup_cfg pass that also execute the verification. */
5072 return (TODO_update_ssa
5073 | TODO_cleanup_cfg
5074 | (gimple_in_ssa_p (cfun) ? TODO_remove_unused_locals : 0)
5075 | (gimple_in_ssa_p (cfun) ? TODO_update_address_taken : 0)
5076 | (profile_status_for_fn (cfun) != PROFILE_ABSENT
5077 ? TODO_rebuild_frequencies : 0));
5080 /* Passed to walk_tree. Copies the node pointed to, if appropriate. */
5082 tree
5083 copy_tree_r (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
5085 enum tree_code code = TREE_CODE (*tp);
5086 enum tree_code_class cl = TREE_CODE_CLASS (code);
5088 /* We make copies of most nodes. */
5089 if (IS_EXPR_CODE_CLASS (cl)
5090 || code == TREE_LIST
5091 || code == TREE_VEC
5092 || code == TYPE_DECL
5093 || code == OMP_CLAUSE)
5095 /* Because the chain gets clobbered when we make a copy, we save it
5096 here. */
5097 tree chain = NULL_TREE, new_tree;
5099 if (CODE_CONTAINS_STRUCT (code, TS_COMMON))
5100 chain = TREE_CHAIN (*tp);
5102 /* Copy the node. */
5103 new_tree = copy_node (*tp);
5105 *tp = new_tree;
5107 /* Now, restore the chain, if appropriate. That will cause
5108 walk_tree to walk into the chain as well. */
5109 if (code == PARM_DECL
5110 || code == TREE_LIST
5111 || code == OMP_CLAUSE)
5112 TREE_CHAIN (*tp) = chain;
5114 /* For now, we don't update BLOCKs when we make copies. So, we
5115 have to nullify all BIND_EXPRs. */
5116 if (TREE_CODE (*tp) == BIND_EXPR)
5117 BIND_EXPR_BLOCK (*tp) = NULL_TREE;
5119 else if (code == CONSTRUCTOR)
5121 /* CONSTRUCTOR nodes need special handling because
5122 we need to duplicate the vector of elements. */
5123 tree new_tree;
5125 new_tree = copy_node (*tp);
5126 CONSTRUCTOR_ELTS (new_tree) = vec_safe_copy (CONSTRUCTOR_ELTS (*tp));
5127 *tp = new_tree;
5129 else if (code == STATEMENT_LIST)
5130 /* We used to just abort on STATEMENT_LIST, but we can run into them
5131 with statement-expressions (c++/40975). */
5132 copy_statement_list (tp);
5133 else if (TREE_CODE_CLASS (code) == tcc_type)
5134 *walk_subtrees = 0;
5135 else if (TREE_CODE_CLASS (code) == tcc_declaration)
5136 *walk_subtrees = 0;
5137 else if (TREE_CODE_CLASS (code) == tcc_constant)
5138 *walk_subtrees = 0;
5139 return NULL_TREE;
5142 /* The SAVE_EXPR pointed to by TP is being copied. If ST contains
5143 information indicating to what new SAVE_EXPR this one should be mapped,
5144 use that one. Otherwise, create a new node and enter it in ST. FN is
5145 the function into which the copy will be placed. */
5147 static void
5148 remap_save_expr (tree *tp, hash_map<tree, tree> *st, int *walk_subtrees)
5150 tree *n;
5151 tree t;
5153 /* See if we already encountered this SAVE_EXPR. */
5154 n = st->get (*tp);
5156 /* If we didn't already remap this SAVE_EXPR, do so now. */
5157 if (!n)
5159 t = copy_node (*tp);
5161 /* Remember this SAVE_EXPR. */
5162 st->put (*tp, t);
5163 /* Make sure we don't remap an already-remapped SAVE_EXPR. */
5164 st->put (t, t);
5166 else
5168 /* We've already walked into this SAVE_EXPR; don't do it again. */
5169 *walk_subtrees = 0;
5170 t = *n;
5173 /* Replace this SAVE_EXPR with the copy. */
5174 *tp = t;
5177 /* Called via walk_gimple_seq. If *GSIP points to a GIMPLE_LABEL for a local
5178 label, copies the declaration and enters it in the splay_tree in DATA (which
5179 is really a 'copy_body_data *'. */
5181 static tree
5182 mark_local_labels_stmt (gimple_stmt_iterator *gsip,
5183 bool *handled_ops_p ATTRIBUTE_UNUSED,
5184 struct walk_stmt_info *wi)
5186 copy_body_data *id = (copy_body_data *) wi->info;
5187 glabel *stmt = dyn_cast <glabel *> (gsi_stmt (*gsip));
5189 if (stmt)
5191 tree decl = gimple_label_label (stmt);
5193 /* Copy the decl and remember the copy. */
5194 insert_decl_map (id, decl, id->copy_decl (decl, id));
5197 return NULL_TREE;
5200 static gimple_seq duplicate_remap_omp_clause_seq (gimple_seq seq,
5201 struct walk_stmt_info *wi);
5203 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5204 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5205 remaps all local declarations to appropriate replacements in gimple
5206 operands. */
5208 static tree
5209 replace_locals_op (tree *tp, int *walk_subtrees, void *data)
5211 struct walk_stmt_info *wi = (struct walk_stmt_info*) data;
5212 copy_body_data *id = (copy_body_data *) wi->info;
5213 hash_map<tree, tree> *st = id->decl_map;
5214 tree *n;
5215 tree expr = *tp;
5217 /* For recursive invocations this is no longer the LHS itself. */
5218 bool is_lhs = wi->is_lhs;
5219 wi->is_lhs = false;
5221 if (TREE_CODE (expr) == SSA_NAME)
5223 *tp = remap_ssa_name (*tp, id);
5224 *walk_subtrees = 0;
5225 if (is_lhs)
5226 SSA_NAME_DEF_STMT (*tp) = gsi_stmt (wi->gsi);
5228 /* Only a local declaration (variable or label). */
5229 else if ((VAR_P (expr) && !TREE_STATIC (expr))
5230 || TREE_CODE (expr) == LABEL_DECL)
5232 /* Lookup the declaration. */
5233 n = st->get (expr);
5235 /* If it's there, remap it. */
5236 if (n)
5237 *tp = *n;
5238 *walk_subtrees = 0;
5240 else if (TREE_CODE (expr) == STATEMENT_LIST
5241 || TREE_CODE (expr) == BIND_EXPR
5242 || TREE_CODE (expr) == SAVE_EXPR)
5243 gcc_unreachable ();
5244 else if (TREE_CODE (expr) == TARGET_EXPR)
5246 /* Don't mess with a TARGET_EXPR that hasn't been expanded.
5247 It's OK for this to happen if it was part of a subtree that
5248 isn't immediately expanded, such as operand 2 of another
5249 TARGET_EXPR. */
5250 if (!TREE_OPERAND (expr, 1))
5252 TREE_OPERAND (expr, 1) = TREE_OPERAND (expr, 3);
5253 TREE_OPERAND (expr, 3) = NULL_TREE;
5256 else if (TREE_CODE (expr) == OMP_CLAUSE)
5258 /* Before the omplower pass completes, some OMP clauses can contain
5259 sequences that are neither copied by gimple_seq_copy nor walked by
5260 walk_gimple_seq. To make copy_gimple_seq_and_replace_locals work even
5261 in those situations, we have to copy and process them explicitely. */
5263 if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LASTPRIVATE)
5265 gimple_seq seq = OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr);
5266 seq = duplicate_remap_omp_clause_seq (seq, wi);
5267 OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr) = seq;
5269 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LINEAR)
5271 gimple_seq seq = OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr);
5272 seq = duplicate_remap_omp_clause_seq (seq, wi);
5273 OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr) = seq;
5275 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_REDUCTION)
5277 gimple_seq seq = OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr);
5278 seq = duplicate_remap_omp_clause_seq (seq, wi);
5279 OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr) = seq;
5280 seq = OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr);
5281 seq = duplicate_remap_omp_clause_seq (seq, wi);
5282 OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr) = seq;
5286 /* Keep iterating. */
5287 return NULL_TREE;
5291 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5292 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5293 remaps all local declarations to appropriate replacements in gimple
5294 statements. */
5296 static tree
5297 replace_locals_stmt (gimple_stmt_iterator *gsip,
5298 bool *handled_ops_p ATTRIBUTE_UNUSED,
5299 struct walk_stmt_info *wi)
5301 copy_body_data *id = (copy_body_data *) wi->info;
5302 gimple *gs = gsi_stmt (*gsip);
5304 if (gbind *stmt = dyn_cast <gbind *> (gs))
5306 tree block = gimple_bind_block (stmt);
5308 if (block)
5310 remap_block (&block, id);
5311 gimple_bind_set_block (stmt, block);
5314 /* This will remap a lot of the same decls again, but this should be
5315 harmless. */
5316 if (gimple_bind_vars (stmt))
5318 tree old_var, decls = gimple_bind_vars (stmt);
5320 for (old_var = decls; old_var; old_var = DECL_CHAIN (old_var))
5321 if (!can_be_nonlocal (old_var, id)
5322 && ! variably_modified_type_p (TREE_TYPE (old_var), id->src_fn))
5323 remap_decl (old_var, id);
5325 gcc_checking_assert (!id->prevent_decl_creation_for_types);
5326 id->prevent_decl_creation_for_types = true;
5327 gimple_bind_set_vars (stmt, remap_decls (decls, NULL, id));
5328 id->prevent_decl_creation_for_types = false;
5332 /* Keep iterating. */
5333 return NULL_TREE;
5336 /* Create a copy of SEQ and remap all decls in it. */
5338 static gimple_seq
5339 duplicate_remap_omp_clause_seq (gimple_seq seq, struct walk_stmt_info *wi)
5341 if (!seq)
5342 return NULL;
5344 /* If there are any labels in OMP sequences, they can be only referred to in
5345 the sequence itself and therefore we can do both here. */
5346 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, wi);
5347 gimple_seq copy = gimple_seq_copy (seq);
5348 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, wi);
5349 return copy;
5352 /* Copies everything in SEQ and replaces variables and labels local to
5353 current_function_decl. */
5355 gimple_seq
5356 copy_gimple_seq_and_replace_locals (gimple_seq seq)
5358 copy_body_data id;
5359 struct walk_stmt_info wi;
5360 gimple_seq copy;
5362 /* There's nothing to do for NULL_TREE. */
5363 if (seq == NULL)
5364 return seq;
5366 /* Set up ID. */
5367 memset (&id, 0, sizeof (id));
5368 id.src_fn = current_function_decl;
5369 id.dst_fn = current_function_decl;
5370 id.src_cfun = cfun;
5371 id.decl_map = new hash_map<tree, tree>;
5372 id.debug_map = NULL;
5374 id.copy_decl = copy_decl_no_change;
5375 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
5376 id.transform_new_cfg = false;
5377 id.transform_return_to_modify = false;
5378 id.transform_parameter = false;
5379 id.transform_lang_insert_block = NULL;
5381 /* Walk the tree once to find local labels. */
5382 memset (&wi, 0, sizeof (wi));
5383 hash_set<tree> visited;
5384 wi.info = &id;
5385 wi.pset = &visited;
5386 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, &wi);
5388 copy = gimple_seq_copy (seq);
5390 /* Walk the copy, remapping decls. */
5391 memset (&wi, 0, sizeof (wi));
5392 wi.info = &id;
5393 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, &wi);
5395 /* Clean up. */
5396 delete id.decl_map;
5397 if (id.debug_map)
5398 delete id.debug_map;
5399 if (id.dependence_map)
5401 delete id.dependence_map;
5402 id.dependence_map = NULL;
5405 return copy;
5409 /* Allow someone to determine if SEARCH is a child of TOP from gdb. */
5411 static tree
5412 debug_find_tree_1 (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED, void *data)
5414 if (*tp == data)
5415 return (tree) data;
5416 else
5417 return NULL;
5420 DEBUG_FUNCTION bool
5421 debug_find_tree (tree top, tree search)
5423 return walk_tree_without_duplicates (&top, debug_find_tree_1, search) != 0;
5427 /* Declare the variables created by the inliner. Add all the variables in
5428 VARS to BIND_EXPR. */
5430 static void
5431 declare_inline_vars (tree block, tree vars)
5433 tree t;
5434 for (t = vars; t; t = DECL_CHAIN (t))
5436 DECL_SEEN_IN_BIND_EXPR_P (t) = 1;
5437 gcc_assert (!TREE_STATIC (t) && !TREE_ASM_WRITTEN (t));
5438 add_local_decl (cfun, t);
5441 if (block)
5442 BLOCK_VARS (block) = chainon (BLOCK_VARS (block), vars);
5445 /* Copy NODE (which must be a DECL). The DECL originally was in the FROM_FN,
5446 but now it will be in the TO_FN. PARM_TO_VAR means enable PARM_DECL to
5447 VAR_DECL translation. */
5449 static tree
5450 copy_decl_for_dup_finish (copy_body_data *id, tree decl, tree copy)
5452 /* Don't generate debug information for the copy if we wouldn't have
5453 generated it for the copy either. */
5454 DECL_ARTIFICIAL (copy) = DECL_ARTIFICIAL (decl);
5455 DECL_IGNORED_P (copy) = DECL_IGNORED_P (decl);
5457 /* Set the DECL_ABSTRACT_ORIGIN so the debugging routines know what
5458 declaration inspired this copy. */
5459 DECL_ABSTRACT_ORIGIN (copy) = DECL_ORIGIN (decl);
5461 /* The new variable/label has no RTL, yet. */
5462 if (CODE_CONTAINS_STRUCT (TREE_CODE (copy), TS_DECL_WRTL)
5463 && !TREE_STATIC (copy) && !DECL_EXTERNAL (copy))
5464 SET_DECL_RTL (copy, 0);
5466 /* These args would always appear unused, if not for this. */
5467 TREE_USED (copy) = 1;
5469 /* Set the context for the new declaration. */
5470 if (!DECL_CONTEXT (decl))
5471 /* Globals stay global. */
5473 else if (DECL_CONTEXT (decl) != id->src_fn)
5474 /* Things that weren't in the scope of the function we're inlining
5475 from aren't in the scope we're inlining to, either. */
5477 else if (TREE_STATIC (decl))
5478 /* Function-scoped static variables should stay in the original
5479 function. */
5481 else
5482 /* Ordinary automatic local variables are now in the scope of the
5483 new function. */
5484 DECL_CONTEXT (copy) = id->dst_fn;
5486 return copy;
5489 static tree
5490 copy_decl_to_var (tree decl, copy_body_data *id)
5492 tree copy, type;
5494 gcc_assert (TREE_CODE (decl) == PARM_DECL
5495 || TREE_CODE (decl) == RESULT_DECL);
5497 type = TREE_TYPE (decl);
5499 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5500 VAR_DECL, DECL_NAME (decl), type);
5501 if (DECL_PT_UID_SET_P (decl))
5502 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5503 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5504 TREE_READONLY (copy) = TREE_READONLY (decl);
5505 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5506 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5508 return copy_decl_for_dup_finish (id, decl, copy);
5511 /* Like copy_decl_to_var, but create a return slot object instead of a
5512 pointer variable for return by invisible reference. */
5514 static tree
5515 copy_result_decl_to_var (tree decl, copy_body_data *id)
5517 tree copy, type;
5519 gcc_assert (TREE_CODE (decl) == PARM_DECL
5520 || TREE_CODE (decl) == RESULT_DECL);
5522 type = TREE_TYPE (decl);
5523 if (DECL_BY_REFERENCE (decl))
5524 type = TREE_TYPE (type);
5526 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5527 VAR_DECL, DECL_NAME (decl), type);
5528 if (DECL_PT_UID_SET_P (decl))
5529 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5530 TREE_READONLY (copy) = TREE_READONLY (decl);
5531 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5532 if (!DECL_BY_REFERENCE (decl))
5534 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5535 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5538 return copy_decl_for_dup_finish (id, decl, copy);
5541 tree
5542 copy_decl_no_change (tree decl, copy_body_data *id)
5544 tree copy;
5546 copy = copy_node (decl);
5548 /* The COPY is not abstract; it will be generated in DST_FN. */
5549 DECL_ABSTRACT_P (copy) = false;
5550 lang_hooks.dup_lang_specific_decl (copy);
5552 /* TREE_ADDRESSABLE isn't used to indicate that a label's address has
5553 been taken; it's for internal bookkeeping in expand_goto_internal. */
5554 if (TREE_CODE (copy) == LABEL_DECL)
5556 TREE_ADDRESSABLE (copy) = 0;
5557 LABEL_DECL_UID (copy) = -1;
5560 return copy_decl_for_dup_finish (id, decl, copy);
5563 static tree
5564 copy_decl_maybe_to_var (tree decl, copy_body_data *id)
5566 if (TREE_CODE (decl) == PARM_DECL || TREE_CODE (decl) == RESULT_DECL)
5567 return copy_decl_to_var (decl, id);
5568 else
5569 return copy_decl_no_change (decl, id);
5572 /* Return a copy of the function's argument tree. */
5573 static tree
5574 copy_arguments_for_versioning (tree orig_parm, copy_body_data * id,
5575 bitmap args_to_skip, tree *vars)
5577 tree arg, *parg;
5578 tree new_parm = NULL;
5579 int i = 0;
5581 parg = &new_parm;
5583 for (arg = orig_parm; arg; arg = DECL_CHAIN (arg), i++)
5584 if (!args_to_skip || !bitmap_bit_p (args_to_skip, i))
5586 tree new_tree = remap_decl (arg, id);
5587 if (TREE_CODE (new_tree) != PARM_DECL)
5588 new_tree = id->copy_decl (arg, id);
5589 lang_hooks.dup_lang_specific_decl (new_tree);
5590 *parg = new_tree;
5591 parg = &DECL_CHAIN (new_tree);
5593 else if (!id->decl_map->get (arg))
5595 /* Make an equivalent VAR_DECL. If the argument was used
5596 as temporary variable later in function, the uses will be
5597 replaced by local variable. */
5598 tree var = copy_decl_to_var (arg, id);
5599 insert_decl_map (id, arg, var);
5600 /* Declare this new variable. */
5601 DECL_CHAIN (var) = *vars;
5602 *vars = var;
5604 return new_parm;
5607 /* Return a copy of the function's static chain. */
5608 static tree
5609 copy_static_chain (tree static_chain, copy_body_data * id)
5611 tree *chain_copy, *pvar;
5613 chain_copy = &static_chain;
5614 for (pvar = chain_copy; *pvar; pvar = &DECL_CHAIN (*pvar))
5616 tree new_tree = remap_decl (*pvar, id);
5617 lang_hooks.dup_lang_specific_decl (new_tree);
5618 DECL_CHAIN (new_tree) = DECL_CHAIN (*pvar);
5619 *pvar = new_tree;
5621 return static_chain;
5624 /* Return true if the function is allowed to be versioned.
5625 This is a guard for the versioning functionality. */
5627 bool
5628 tree_versionable_function_p (tree fndecl)
5630 return (!lookup_attribute ("noclone", DECL_ATTRIBUTES (fndecl))
5631 && copy_forbidden (DECL_STRUCT_FUNCTION (fndecl)) == NULL);
5634 /* Delete all unreachable basic blocks and update callgraph.
5635 Doing so is somewhat nontrivial because we need to update all clones and
5636 remove inline function that become unreachable. */
5638 static bool
5639 delete_unreachable_blocks_update_callgraph (copy_body_data *id)
5641 bool changed = false;
5642 basic_block b, next_bb;
5644 find_unreachable_blocks ();
5646 /* Delete all unreachable basic blocks. */
5648 for (b = ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb; b
5649 != EXIT_BLOCK_PTR_FOR_FN (cfun); b = next_bb)
5651 next_bb = b->next_bb;
5653 if (!(b->flags & BB_REACHABLE))
5655 gimple_stmt_iterator bsi;
5657 for (bsi = gsi_start_bb (b); !gsi_end_p (bsi); gsi_next (&bsi))
5659 struct cgraph_edge *e;
5660 struct cgraph_node *node;
5662 id->dst_node->remove_stmt_references (gsi_stmt (bsi));
5664 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5665 &&(e = id->dst_node->get_edge (gsi_stmt (bsi))) != NULL)
5667 if (!e->inline_failed)
5668 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5669 else
5670 e->remove ();
5672 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES
5673 && id->dst_node->clones)
5674 for (node = id->dst_node->clones; node != id->dst_node;)
5676 node->remove_stmt_references (gsi_stmt (bsi));
5677 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5678 && (e = node->get_edge (gsi_stmt (bsi))) != NULL)
5680 if (!e->inline_failed)
5681 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5682 else
5683 e->remove ();
5686 if (node->clones)
5687 node = node->clones;
5688 else if (node->next_sibling_clone)
5689 node = node->next_sibling_clone;
5690 else
5692 while (node != id->dst_node && !node->next_sibling_clone)
5693 node = node->clone_of;
5694 if (node != id->dst_node)
5695 node = node->next_sibling_clone;
5699 delete_basic_block (b);
5700 changed = true;
5704 return changed;
5707 /* Update clone info after duplication. */
5709 static void
5710 update_clone_info (copy_body_data * id)
5712 struct cgraph_node *node;
5713 if (!id->dst_node->clones)
5714 return;
5715 for (node = id->dst_node->clones; node != id->dst_node;)
5717 /* First update replace maps to match the new body. */
5718 if (node->clone.tree_map)
5720 unsigned int i;
5721 for (i = 0; i < vec_safe_length (node->clone.tree_map); i++)
5723 struct ipa_replace_map *replace_info;
5724 replace_info = (*node->clone.tree_map)[i];
5725 walk_tree (&replace_info->old_tree, copy_tree_body_r, id, NULL);
5726 walk_tree (&replace_info->new_tree, copy_tree_body_r, id, NULL);
5729 if (node->clones)
5730 node = node->clones;
5731 else if (node->next_sibling_clone)
5732 node = node->next_sibling_clone;
5733 else
5735 while (node != id->dst_node && !node->next_sibling_clone)
5736 node = node->clone_of;
5737 if (node != id->dst_node)
5738 node = node->next_sibling_clone;
5743 /* Create a copy of a function's tree.
5744 OLD_DECL and NEW_DECL are FUNCTION_DECL tree nodes
5745 of the original function and the new copied function
5746 respectively. In case we want to replace a DECL
5747 tree with another tree while duplicating the function's
5748 body, TREE_MAP represents the mapping between these
5749 trees. If UPDATE_CLONES is set, the call_stmt fields
5750 of edges of clones of the function will be updated.
5752 If non-NULL ARGS_TO_SKIP determine function parameters to remove
5753 from new version.
5754 If SKIP_RETURN is true, the new version will return void.
5755 If non-NULL BLOCK_TO_COPY determine what basic blocks to copy.
5756 If non_NULL NEW_ENTRY determine new entry BB of the clone.
5758 void
5759 tree_function_versioning (tree old_decl, tree new_decl,
5760 vec<ipa_replace_map *, va_gc> *tree_map,
5761 bool update_clones, bitmap args_to_skip,
5762 bool skip_return, bitmap blocks_to_copy,
5763 basic_block new_entry)
5765 struct cgraph_node *old_version_node;
5766 struct cgraph_node *new_version_node;
5767 copy_body_data id;
5768 tree p;
5769 unsigned i;
5770 struct ipa_replace_map *replace_info;
5771 basic_block old_entry_block, bb;
5772 auto_vec<gimple *, 10> init_stmts;
5773 tree vars = NULL_TREE;
5774 bitmap debug_args_to_skip = args_to_skip;
5776 gcc_assert (TREE_CODE (old_decl) == FUNCTION_DECL
5777 && TREE_CODE (new_decl) == FUNCTION_DECL);
5778 DECL_POSSIBLY_INLINED (old_decl) = 1;
5780 old_version_node = cgraph_node::get (old_decl);
5781 gcc_checking_assert (old_version_node);
5782 new_version_node = cgraph_node::get (new_decl);
5783 gcc_checking_assert (new_version_node);
5785 /* Copy over debug args. */
5786 if (DECL_HAS_DEBUG_ARGS_P (old_decl))
5788 vec<tree, va_gc> **new_debug_args, **old_debug_args;
5789 gcc_checking_assert (decl_debug_args_lookup (new_decl) == NULL);
5790 DECL_HAS_DEBUG_ARGS_P (new_decl) = 0;
5791 old_debug_args = decl_debug_args_lookup (old_decl);
5792 if (old_debug_args)
5794 new_debug_args = decl_debug_args_insert (new_decl);
5795 *new_debug_args = vec_safe_copy (*old_debug_args);
5799 /* Output the inlining info for this abstract function, since it has been
5800 inlined. If we don't do this now, we can lose the information about the
5801 variables in the function when the blocks get blown away as soon as we
5802 remove the cgraph node. */
5803 (*debug_hooks->outlining_inline_function) (old_decl);
5805 DECL_ARTIFICIAL (new_decl) = 1;
5806 DECL_ABSTRACT_ORIGIN (new_decl) = DECL_ORIGIN (old_decl);
5807 if (DECL_ORIGIN (old_decl) == old_decl)
5808 old_version_node->used_as_abstract_origin = true;
5809 DECL_FUNCTION_PERSONALITY (new_decl) = DECL_FUNCTION_PERSONALITY (old_decl);
5811 /* Prepare the data structures for the tree copy. */
5812 memset (&id, 0, sizeof (id));
5814 /* Generate a new name for the new version. */
5815 id.statements_to_fold = new hash_set<gimple *>;
5817 id.decl_map = new hash_map<tree, tree>;
5818 id.debug_map = NULL;
5819 id.src_fn = old_decl;
5820 id.dst_fn = new_decl;
5821 id.src_node = old_version_node;
5822 id.dst_node = new_version_node;
5823 id.src_cfun = DECL_STRUCT_FUNCTION (old_decl);
5824 id.blocks_to_copy = blocks_to_copy;
5826 id.copy_decl = copy_decl_no_change;
5827 id.transform_call_graph_edges
5828 = update_clones ? CB_CGE_MOVE_CLONES : CB_CGE_MOVE;
5829 id.transform_new_cfg = true;
5830 id.transform_return_to_modify = false;
5831 id.transform_parameter = false;
5832 id.transform_lang_insert_block = NULL;
5834 old_entry_block = ENTRY_BLOCK_PTR_FOR_FN
5835 (DECL_STRUCT_FUNCTION (old_decl));
5836 DECL_RESULT (new_decl) = DECL_RESULT (old_decl);
5837 DECL_ARGUMENTS (new_decl) = DECL_ARGUMENTS (old_decl);
5838 initialize_cfun (new_decl, old_decl,
5839 old_entry_block->count);
5840 if (DECL_STRUCT_FUNCTION (new_decl)->gimple_df)
5841 DECL_STRUCT_FUNCTION (new_decl)->gimple_df->ipa_pta
5842 = id.src_cfun->gimple_df->ipa_pta;
5844 /* Copy the function's static chain. */
5845 p = DECL_STRUCT_FUNCTION (old_decl)->static_chain_decl;
5846 if (p)
5847 DECL_STRUCT_FUNCTION (new_decl)->static_chain_decl
5848 = copy_static_chain (p, &id);
5850 /* If there's a tree_map, prepare for substitution. */
5851 if (tree_map)
5852 for (i = 0; i < tree_map->length (); i++)
5854 gimple *init;
5855 replace_info = (*tree_map)[i];
5856 if (replace_info->replace_p)
5858 int parm_num = -1;
5859 if (!replace_info->old_tree)
5861 int p = replace_info->parm_num;
5862 tree parm;
5863 tree req_type, new_type;
5865 for (parm = DECL_ARGUMENTS (old_decl); p;
5866 parm = DECL_CHAIN (parm))
5867 p--;
5868 replace_info->old_tree = parm;
5869 parm_num = replace_info->parm_num;
5870 req_type = TREE_TYPE (parm);
5871 new_type = TREE_TYPE (replace_info->new_tree);
5872 if (!useless_type_conversion_p (req_type, new_type))
5874 if (fold_convertible_p (req_type, replace_info->new_tree))
5875 replace_info->new_tree
5876 = fold_build1 (NOP_EXPR, req_type,
5877 replace_info->new_tree);
5878 else if (TYPE_SIZE (req_type) == TYPE_SIZE (new_type))
5879 replace_info->new_tree
5880 = fold_build1 (VIEW_CONVERT_EXPR, req_type,
5881 replace_info->new_tree);
5882 else
5884 if (dump_file)
5886 fprintf (dump_file, " const ");
5887 print_generic_expr (dump_file,
5888 replace_info->new_tree, 0);
5889 fprintf (dump_file,
5890 " can't be converted to param ");
5891 print_generic_expr (dump_file, parm, 0);
5892 fprintf (dump_file, "\n");
5894 replace_info->old_tree = NULL;
5898 else
5899 gcc_assert (TREE_CODE (replace_info->old_tree) == PARM_DECL);
5900 if (replace_info->old_tree)
5902 init = setup_one_parameter (&id, replace_info->old_tree,
5903 replace_info->new_tree, id.src_fn,
5904 NULL,
5905 &vars);
5906 if (init)
5907 init_stmts.safe_push (init);
5908 if (MAY_HAVE_DEBUG_STMTS && args_to_skip)
5910 if (parm_num == -1)
5912 tree parm;
5913 int p;
5914 for (parm = DECL_ARGUMENTS (old_decl), p = 0; parm;
5915 parm = DECL_CHAIN (parm), p++)
5916 if (parm == replace_info->old_tree)
5918 parm_num = p;
5919 break;
5922 if (parm_num != -1)
5924 if (debug_args_to_skip == args_to_skip)
5926 debug_args_to_skip = BITMAP_ALLOC (NULL);
5927 bitmap_copy (debug_args_to_skip, args_to_skip);
5929 bitmap_clear_bit (debug_args_to_skip, parm_num);
5935 /* Copy the function's arguments. */
5936 if (DECL_ARGUMENTS (old_decl) != NULL_TREE)
5937 DECL_ARGUMENTS (new_decl)
5938 = copy_arguments_for_versioning (DECL_ARGUMENTS (old_decl), &id,
5939 args_to_skip, &vars);
5941 DECL_INITIAL (new_decl) = remap_blocks (DECL_INITIAL (id.src_fn), &id);
5942 BLOCK_SUPERCONTEXT (DECL_INITIAL (new_decl)) = new_decl;
5944 declare_inline_vars (DECL_INITIAL (new_decl), vars);
5946 if (!vec_safe_is_empty (DECL_STRUCT_FUNCTION (old_decl)->local_decls))
5947 /* Add local vars. */
5948 add_local_variables (DECL_STRUCT_FUNCTION (old_decl), cfun, &id);
5950 if (DECL_RESULT (old_decl) == NULL_TREE)
5952 else if (skip_return && !VOID_TYPE_P (TREE_TYPE (DECL_RESULT (old_decl))))
5954 DECL_RESULT (new_decl)
5955 = build_decl (DECL_SOURCE_LOCATION (DECL_RESULT (old_decl)),
5956 RESULT_DECL, NULL_TREE, void_type_node);
5957 DECL_CONTEXT (DECL_RESULT (new_decl)) = new_decl;
5958 cfun->returns_struct = 0;
5959 cfun->returns_pcc_struct = 0;
5961 else
5963 tree old_name;
5964 DECL_RESULT (new_decl) = remap_decl (DECL_RESULT (old_decl), &id);
5965 lang_hooks.dup_lang_specific_decl (DECL_RESULT (new_decl));
5966 if (gimple_in_ssa_p (id.src_cfun)
5967 && DECL_BY_REFERENCE (DECL_RESULT (old_decl))
5968 && (old_name = ssa_default_def (id.src_cfun, DECL_RESULT (old_decl))))
5970 tree new_name = make_ssa_name (DECL_RESULT (new_decl));
5971 insert_decl_map (&id, old_name, new_name);
5972 SSA_NAME_DEF_STMT (new_name) = gimple_build_nop ();
5973 set_ssa_default_def (cfun, DECL_RESULT (new_decl), new_name);
5977 /* Set up the destination functions loop tree. */
5978 if (loops_for_fn (DECL_STRUCT_FUNCTION (old_decl)) != NULL)
5980 cfun->curr_properties &= ~PROP_loops;
5981 loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
5982 cfun->curr_properties |= PROP_loops;
5985 /* Copy the Function's body. */
5986 copy_body (&id, old_entry_block->count, REG_BR_PROB_BASE,
5987 ENTRY_BLOCK_PTR_FOR_FN (cfun), EXIT_BLOCK_PTR_FOR_FN (cfun),
5988 new_entry);
5990 /* Renumber the lexical scoping (non-code) blocks consecutively. */
5991 number_blocks (new_decl);
5993 /* We want to create the BB unconditionally, so that the addition of
5994 debug stmts doesn't affect BB count, which may in the end cause
5995 codegen differences. */
5996 bb = split_edge (single_succ_edge (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
5997 while (init_stmts.length ())
5998 insert_init_stmt (&id, bb, init_stmts.pop ());
5999 update_clone_info (&id);
6001 /* Remap the nonlocal_goto_save_area, if any. */
6002 if (cfun->nonlocal_goto_save_area)
6004 struct walk_stmt_info wi;
6006 memset (&wi, 0, sizeof (wi));
6007 wi.info = &id;
6008 walk_tree (&cfun->nonlocal_goto_save_area, remap_gimple_op_r, &wi, NULL);
6011 /* Clean up. */
6012 delete id.decl_map;
6013 if (id.debug_map)
6014 delete id.debug_map;
6015 free_dominance_info (CDI_DOMINATORS);
6016 free_dominance_info (CDI_POST_DOMINATORS);
6018 fold_marked_statements (0, id.statements_to_fold);
6019 delete id.statements_to_fold;
6020 delete_unreachable_blocks_update_callgraph (&id);
6021 if (id.dst_node->definition)
6022 cgraph_edge::rebuild_references ();
6023 if (loops_state_satisfies_p (LOOPS_NEED_FIXUP))
6025 calculate_dominance_info (CDI_DOMINATORS);
6026 fix_loop_structure (NULL);
6028 update_ssa (TODO_update_ssa);
6030 /* After partial cloning we need to rescale frequencies, so they are
6031 within proper range in the cloned function. */
6032 if (new_entry)
6034 struct cgraph_edge *e;
6035 rebuild_frequencies ();
6037 new_version_node->count = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
6038 for (e = new_version_node->callees; e; e = e->next_callee)
6040 basic_block bb = gimple_bb (e->call_stmt);
6041 e->frequency = compute_call_stmt_bb_frequency (current_function_decl,
6042 bb);
6043 e->count = bb->count;
6045 for (e = new_version_node->indirect_calls; e; e = e->next_callee)
6047 basic_block bb = gimple_bb (e->call_stmt);
6048 e->frequency = compute_call_stmt_bb_frequency (current_function_decl,
6049 bb);
6050 e->count = bb->count;
6054 if (debug_args_to_skip && MAY_HAVE_DEBUG_STMTS)
6056 tree parm;
6057 vec<tree, va_gc> **debug_args = NULL;
6058 unsigned int len = 0;
6059 for (parm = DECL_ARGUMENTS (old_decl), i = 0;
6060 parm; parm = DECL_CHAIN (parm), i++)
6061 if (bitmap_bit_p (debug_args_to_skip, i) && is_gimple_reg (parm))
6063 tree ddecl;
6065 if (debug_args == NULL)
6067 debug_args = decl_debug_args_insert (new_decl);
6068 len = vec_safe_length (*debug_args);
6070 ddecl = make_node (DEBUG_EXPR_DECL);
6071 DECL_ARTIFICIAL (ddecl) = 1;
6072 TREE_TYPE (ddecl) = TREE_TYPE (parm);
6073 DECL_MODE (ddecl) = DECL_MODE (parm);
6074 vec_safe_push (*debug_args, DECL_ORIGIN (parm));
6075 vec_safe_push (*debug_args, ddecl);
6077 if (debug_args != NULL)
6079 /* On the callee side, add
6080 DEBUG D#Y s=> parm
6081 DEBUG var => D#Y
6082 stmts to the first bb where var is a VAR_DECL created for the
6083 optimized away parameter in DECL_INITIAL block. This hints
6084 in the debug info that var (whole DECL_ORIGIN is the parm
6085 PARM_DECL) is optimized away, but could be looked up at the
6086 call site as value of D#X there. */
6087 tree var = vars, vexpr;
6088 gimple_stmt_iterator cgsi
6089 = gsi_after_labels (single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
6090 gimple *def_temp;
6091 var = vars;
6092 i = vec_safe_length (*debug_args);
6095 i -= 2;
6096 while (var != NULL_TREE
6097 && DECL_ABSTRACT_ORIGIN (var) != (**debug_args)[i])
6098 var = TREE_CHAIN (var);
6099 if (var == NULL_TREE)
6100 break;
6101 vexpr = make_node (DEBUG_EXPR_DECL);
6102 parm = (**debug_args)[i];
6103 DECL_ARTIFICIAL (vexpr) = 1;
6104 TREE_TYPE (vexpr) = TREE_TYPE (parm);
6105 DECL_MODE (vexpr) = DECL_MODE (parm);
6106 def_temp = gimple_build_debug_bind (var, vexpr, NULL);
6107 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6108 def_temp = gimple_build_debug_source_bind (vexpr, parm, NULL);
6109 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6111 while (i > len);
6115 if (debug_args_to_skip && debug_args_to_skip != args_to_skip)
6116 BITMAP_FREE (debug_args_to_skip);
6117 free_dominance_info (CDI_DOMINATORS);
6118 free_dominance_info (CDI_POST_DOMINATORS);
6120 gcc_assert (!id.debug_stmts.exists ());
6121 pop_cfun ();
6122 return;
6125 /* EXP is CALL_EXPR present in a GENERIC expression tree. Try to integrate
6126 the callee and return the inlined body on success. */
6128 tree
6129 maybe_inline_call_in_expr (tree exp)
6131 tree fn = get_callee_fndecl (exp);
6133 /* We can only try to inline "const" functions. */
6134 if (fn && TREE_READONLY (fn) && DECL_SAVED_TREE (fn))
6136 call_expr_arg_iterator iter;
6137 copy_body_data id;
6138 tree param, arg, t;
6139 hash_map<tree, tree> decl_map;
6141 /* Remap the parameters. */
6142 for (param = DECL_ARGUMENTS (fn), arg = first_call_expr_arg (exp, &iter);
6143 param;
6144 param = DECL_CHAIN (param), arg = next_call_expr_arg (&iter))
6145 decl_map.put (param, arg);
6147 memset (&id, 0, sizeof (id));
6148 id.src_fn = fn;
6149 id.dst_fn = current_function_decl;
6150 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6151 id.decl_map = &decl_map;
6153 id.copy_decl = copy_decl_no_change;
6154 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6155 id.transform_new_cfg = false;
6156 id.transform_return_to_modify = true;
6157 id.transform_parameter = true;
6158 id.transform_lang_insert_block = NULL;
6160 /* Make sure not to unshare trees behind the front-end's back
6161 since front-end specific mechanisms may rely on sharing. */
6162 id.regimplify = false;
6163 id.do_not_unshare = true;
6165 /* We're not inside any EH region. */
6166 id.eh_lp_nr = 0;
6168 t = copy_tree_body (&id);
6170 /* We can only return something suitable for use in a GENERIC
6171 expression tree. */
6172 if (TREE_CODE (t) == MODIFY_EXPR)
6173 return TREE_OPERAND (t, 1);
6176 return NULL_TREE;
6179 /* Duplicate a type, fields and all. */
6181 tree
6182 build_duplicate_type (tree type)
6184 struct copy_body_data id;
6186 memset (&id, 0, sizeof (id));
6187 id.src_fn = current_function_decl;
6188 id.dst_fn = current_function_decl;
6189 id.src_cfun = cfun;
6190 id.decl_map = new hash_map<tree, tree>;
6191 id.debug_map = NULL;
6192 id.copy_decl = copy_decl_no_change;
6194 type = remap_type_1 (type, &id);
6196 delete id.decl_map;
6197 if (id.debug_map)
6198 delete id.debug_map;
6200 TYPE_CANONICAL (type) = type;
6202 return type;
6205 /* Unshare the entire DECL_SAVED_TREE of FN and return the remapped
6206 parameters and RESULT_DECL in PARMS and RESULT. Used by C++ constexpr
6207 evaluation. */
6209 tree
6210 copy_fn (tree fn, tree& parms, tree& result)
6212 copy_body_data id;
6213 tree param;
6214 hash_map<tree, tree> decl_map;
6216 tree *p = &parms;
6217 *p = NULL_TREE;
6219 memset (&id, 0, sizeof (id));
6220 id.src_fn = fn;
6221 id.dst_fn = current_function_decl;
6222 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6223 id.decl_map = &decl_map;
6225 id.copy_decl = copy_decl_no_change;
6226 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6227 id.transform_new_cfg = false;
6228 id.transform_return_to_modify = false;
6229 id.transform_parameter = true;
6230 id.transform_lang_insert_block = NULL;
6232 /* Make sure not to unshare trees behind the front-end's back
6233 since front-end specific mechanisms may rely on sharing. */
6234 id.regimplify = false;
6235 id.do_not_unshare = true;
6237 /* We're not inside any EH region. */
6238 id.eh_lp_nr = 0;
6240 /* Remap the parameters and result and return them to the caller. */
6241 for (param = DECL_ARGUMENTS (fn);
6242 param;
6243 param = DECL_CHAIN (param))
6245 *p = remap_decl (param, &id);
6246 p = &DECL_CHAIN (*p);
6249 if (DECL_RESULT (fn))
6250 result = remap_decl (DECL_RESULT (fn), &id);
6251 else
6252 result = NULL_TREE;
6254 return copy_tree_body (&id);