Add missing include for std::__addressof
[official-gcc.git] / gcc / tree-inline.c
blob6bf24675ce0ba7922fb558b54178e03b1db61a37
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 (TREE_CODE (value) == VAR_DECL);
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 && TREE_CODE (var) == VAR_DECL
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 && (pi = SSA_NAME_PTR_INFO (name))
248 && !pi->pt.anything)
250 struct ptr_info_def *new_pi = get_ptr_info (new_tree);
251 new_pi->pt = pi->pt;
253 return new_tree;
256 /* Do not set DEF_STMT yet as statement is not copied yet. We do that
257 in copy_bb. */
258 new_tree = remap_decl (var, id);
260 /* We might've substituted constant or another SSA_NAME for
261 the variable.
263 Replace the SSA name representing RESULT_DECL by variable during
264 inlining: this saves us from need to introduce PHI node in a case
265 return value is just partly initialized. */
266 if ((TREE_CODE (new_tree) == VAR_DECL || TREE_CODE (new_tree) == PARM_DECL)
267 && (!SSA_NAME_VAR (name)
268 || TREE_CODE (SSA_NAME_VAR (name)) != RESULT_DECL
269 || !id->transform_return_to_modify))
271 struct ptr_info_def *pi;
272 new_tree = make_ssa_name (new_tree);
273 insert_decl_map (id, name, new_tree);
274 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree)
275 = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name);
276 /* At least IPA points-to info can be directly transferred. */
277 if (id->src_cfun->gimple_df
278 && id->src_cfun->gimple_df->ipa_pta
279 && (pi = SSA_NAME_PTR_INFO (name))
280 && !pi->pt.anything)
282 struct ptr_info_def *new_pi = get_ptr_info (new_tree);
283 new_pi->pt = pi->pt;
285 if (SSA_NAME_IS_DEFAULT_DEF (name))
287 /* By inlining function having uninitialized variable, we might
288 extend the lifetime (variable might get reused). This cause
289 ICE in the case we end up extending lifetime of SSA name across
290 abnormal edge, but also increase register pressure.
292 We simply initialize all uninitialized vars by 0 except
293 for case we are inlining to very first BB. We can avoid
294 this for all BBs that are not inside strongly connected
295 regions of the CFG, but this is expensive to test. */
296 if (id->entry_bb
297 && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name)
298 && (!SSA_NAME_VAR (name)
299 || TREE_CODE (SSA_NAME_VAR (name)) != PARM_DECL)
300 && (id->entry_bb != EDGE_SUCC (ENTRY_BLOCK_PTR_FOR_FN (cfun),
301 0)->dest
302 || EDGE_COUNT (id->entry_bb->preds) != 1))
304 gimple_stmt_iterator gsi = gsi_last_bb (id->entry_bb);
305 gimple *init_stmt;
306 tree zero = build_zero_cst (TREE_TYPE (new_tree));
308 init_stmt = gimple_build_assign (new_tree, zero);
309 gsi_insert_after (&gsi, init_stmt, GSI_NEW_STMT);
310 SSA_NAME_IS_DEFAULT_DEF (new_tree) = 0;
312 else
314 SSA_NAME_DEF_STMT (new_tree) = gimple_build_nop ();
315 set_ssa_default_def (cfun, SSA_NAME_VAR (new_tree), new_tree);
319 else
320 insert_decl_map (id, name, new_tree);
321 return new_tree;
324 /* Remap DECL during the copying of the BLOCK tree for the function. */
326 tree
327 remap_decl (tree decl, copy_body_data *id)
329 tree *n;
331 /* We only remap local variables in the current function. */
333 /* See if we have remapped this declaration. */
335 n = id->decl_map->get (decl);
337 if (!n && processing_debug_stmt)
339 processing_debug_stmt = -1;
340 return decl;
343 /* If we didn't already have an equivalent for this declaration,
344 create one now. */
345 if (!n)
347 /* Make a copy of the variable or label. */
348 tree t = id->copy_decl (decl, id);
350 /* Remember it, so that if we encounter this local entity again
351 we can reuse this copy. Do this early because remap_type may
352 need this decl for TYPE_STUB_DECL. */
353 insert_decl_map (id, decl, t);
355 if (!DECL_P (t))
356 return t;
358 /* Remap types, if necessary. */
359 TREE_TYPE (t) = remap_type (TREE_TYPE (t), id);
360 if (TREE_CODE (t) == TYPE_DECL)
361 DECL_ORIGINAL_TYPE (t) = remap_type (DECL_ORIGINAL_TYPE (t), id);
363 /* Remap sizes as necessary. */
364 walk_tree (&DECL_SIZE (t), copy_tree_body_r, id, NULL);
365 walk_tree (&DECL_SIZE_UNIT (t), copy_tree_body_r, id, NULL);
367 /* If fields, do likewise for offset and qualifier. */
368 if (TREE_CODE (t) == FIELD_DECL)
370 walk_tree (&DECL_FIELD_OFFSET (t), copy_tree_body_r, id, NULL);
371 if (TREE_CODE (DECL_CONTEXT (t)) == QUAL_UNION_TYPE)
372 walk_tree (&DECL_QUALIFIER (t), copy_tree_body_r, id, NULL);
375 return t;
378 if (id->do_not_unshare)
379 return *n;
380 else
381 return unshare_expr (*n);
384 static tree
385 remap_type_1 (tree type, copy_body_data *id)
387 tree new_tree, t;
389 /* We do need a copy. build and register it now. If this is a pointer or
390 reference type, remap the designated type and make a new pointer or
391 reference type. */
392 if (TREE_CODE (type) == POINTER_TYPE)
394 new_tree = build_pointer_type_for_mode (remap_type (TREE_TYPE (type), id),
395 TYPE_MODE (type),
396 TYPE_REF_CAN_ALIAS_ALL (type));
397 if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
398 new_tree = build_type_attribute_qual_variant (new_tree,
399 TYPE_ATTRIBUTES (type),
400 TYPE_QUALS (type));
401 insert_decl_map (id, type, new_tree);
402 return new_tree;
404 else if (TREE_CODE (type) == REFERENCE_TYPE)
406 new_tree = build_reference_type_for_mode (remap_type (TREE_TYPE (type), id),
407 TYPE_MODE (type),
408 TYPE_REF_CAN_ALIAS_ALL (type));
409 if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
410 new_tree = build_type_attribute_qual_variant (new_tree,
411 TYPE_ATTRIBUTES (type),
412 TYPE_QUALS (type));
413 insert_decl_map (id, type, new_tree);
414 return new_tree;
416 else
417 new_tree = copy_node (type);
419 insert_decl_map (id, type, new_tree);
421 /* This is a new type, not a copy of an old type. Need to reassociate
422 variants. We can handle everything except the main variant lazily. */
423 t = TYPE_MAIN_VARIANT (type);
424 if (type != t)
426 t = remap_type (t, id);
427 TYPE_MAIN_VARIANT (new_tree) = t;
428 TYPE_NEXT_VARIANT (new_tree) = TYPE_NEXT_VARIANT (t);
429 TYPE_NEXT_VARIANT (t) = new_tree;
431 else
433 TYPE_MAIN_VARIANT (new_tree) = new_tree;
434 TYPE_NEXT_VARIANT (new_tree) = NULL;
437 if (TYPE_STUB_DECL (type))
438 TYPE_STUB_DECL (new_tree) = remap_decl (TYPE_STUB_DECL (type), id);
440 /* Lazily create pointer and reference types. */
441 TYPE_POINTER_TO (new_tree) = NULL;
442 TYPE_REFERENCE_TO (new_tree) = NULL;
444 /* Copy all types that may contain references to local variables; be sure to
445 preserve sharing in between type and its main variant when possible. */
446 switch (TREE_CODE (new_tree))
448 case INTEGER_TYPE:
449 case REAL_TYPE:
450 case FIXED_POINT_TYPE:
451 case ENUMERAL_TYPE:
452 case BOOLEAN_TYPE:
453 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
455 gcc_checking_assert (TYPE_MIN_VALUE (type) == TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (type)));
456 gcc_checking_assert (TYPE_MAX_VALUE (type) == TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (type)));
458 TYPE_MIN_VALUE (new_tree) = TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (new_tree));
459 TYPE_MAX_VALUE (new_tree) = TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (new_tree));
461 else
463 t = TYPE_MIN_VALUE (new_tree);
464 if (t && TREE_CODE (t) != INTEGER_CST)
465 walk_tree (&TYPE_MIN_VALUE (new_tree), copy_tree_body_r, id, NULL);
467 t = TYPE_MAX_VALUE (new_tree);
468 if (t && TREE_CODE (t) != INTEGER_CST)
469 walk_tree (&TYPE_MAX_VALUE (new_tree), copy_tree_body_r, id, NULL);
471 return new_tree;
473 case FUNCTION_TYPE:
474 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
475 && TREE_TYPE (type) == TREE_TYPE (TYPE_MAIN_VARIANT (type)))
476 TREE_TYPE (new_tree) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree));
477 else
478 TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
479 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
480 && TYPE_ARG_TYPES (type) == TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (type)))
481 TYPE_ARG_TYPES (new_tree) = TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (new_tree));
482 else
483 walk_tree (&TYPE_ARG_TYPES (new_tree), copy_tree_body_r, id, NULL);
484 return new_tree;
486 case ARRAY_TYPE:
487 if (TYPE_MAIN_VARIANT (new_tree) != new_tree
488 && TREE_TYPE (type) == TREE_TYPE (TYPE_MAIN_VARIANT (type)))
489 TREE_TYPE (new_tree) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree));
490 else
491 TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
493 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
495 gcc_checking_assert (TYPE_DOMAIN (type) == TYPE_DOMAIN (TYPE_MAIN_VARIANT (type)));
496 TYPE_DOMAIN (new_tree) = TYPE_DOMAIN (TYPE_MAIN_VARIANT (new_tree));
498 else
499 TYPE_DOMAIN (new_tree) = remap_type (TYPE_DOMAIN (new_tree), id);
500 break;
502 case RECORD_TYPE:
503 case UNION_TYPE:
504 case QUAL_UNION_TYPE:
505 if (TYPE_MAIN_VARIANT (type) != type
506 && TYPE_FIELDS (type) == TYPE_FIELDS (TYPE_MAIN_VARIANT (type)))
507 TYPE_FIELDS (new_tree) = TYPE_FIELDS (TYPE_MAIN_VARIANT (new_tree));
508 else
510 tree f, nf = NULL;
512 for (f = TYPE_FIELDS (new_tree); f ; f = DECL_CHAIN (f))
514 t = remap_decl (f, id);
515 DECL_CONTEXT (t) = new_tree;
516 DECL_CHAIN (t) = nf;
517 nf = t;
519 TYPE_FIELDS (new_tree) = nreverse (nf);
521 break;
523 case OFFSET_TYPE:
524 default:
525 /* Shouldn't have been thought variable sized. */
526 gcc_unreachable ();
529 /* All variants of type share the same size, so use the already remaped data. */
530 if (TYPE_MAIN_VARIANT (new_tree) != new_tree)
532 gcc_checking_assert (TYPE_SIZE (type) == TYPE_SIZE (TYPE_MAIN_VARIANT (type)));
533 gcc_checking_assert (TYPE_SIZE_UNIT (type) == TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (type)));
535 TYPE_SIZE (new_tree) = TYPE_SIZE (TYPE_MAIN_VARIANT (new_tree));
536 TYPE_SIZE_UNIT (new_tree) = TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (new_tree));
538 else
540 walk_tree (&TYPE_SIZE (new_tree), copy_tree_body_r, id, NULL);
541 walk_tree (&TYPE_SIZE_UNIT (new_tree), copy_tree_body_r, id, NULL);
544 return new_tree;
547 tree
548 remap_type (tree type, copy_body_data *id)
550 tree *node;
551 tree tmp;
553 if (type == NULL)
554 return type;
556 /* See if we have remapped this type. */
557 node = id->decl_map->get (type);
558 if (node)
559 return *node;
561 /* The type only needs remapping if it's variably modified. */
562 if (! variably_modified_type_p (type, id->src_fn))
564 insert_decl_map (id, type, type);
565 return type;
568 id->remapping_type_depth++;
569 tmp = remap_type_1 (type, id);
570 id->remapping_type_depth--;
572 return tmp;
575 /* Decide if DECL can be put into BLOCK_NONLOCAL_VARs. */
577 static bool
578 can_be_nonlocal (tree decl, copy_body_data *id)
580 /* We can not duplicate function decls. */
581 if (TREE_CODE (decl) == FUNCTION_DECL)
582 return true;
584 /* Local static vars must be non-local or we get multiple declaration
585 problems. */
586 if (TREE_CODE (decl) == VAR_DECL
587 && !auto_var_in_fn_p (decl, id->src_fn))
588 return true;
590 return false;
593 static tree
594 remap_decls (tree decls, vec<tree, va_gc> **nonlocalized_list,
595 copy_body_data *id)
597 tree old_var;
598 tree new_decls = NULL_TREE;
600 /* Remap its variables. */
601 for (old_var = decls; old_var; old_var = DECL_CHAIN (old_var))
603 tree new_var;
605 if (can_be_nonlocal (old_var, id))
607 /* We need to add this variable to the local decls as otherwise
608 nothing else will do so. */
609 if (TREE_CODE (old_var) == VAR_DECL
610 && ! DECL_EXTERNAL (old_var))
611 add_local_decl (cfun, old_var);
612 if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
613 && !DECL_IGNORED_P (old_var)
614 && nonlocalized_list)
615 vec_safe_push (*nonlocalized_list, old_var);
616 continue;
619 /* Remap the variable. */
620 new_var = remap_decl (old_var, id);
622 /* If we didn't remap this variable, we can't mess with its
623 TREE_CHAIN. If we remapped this variable to the return slot, it's
624 already declared somewhere else, so don't declare it here. */
626 if (new_var == id->retvar)
628 else if (!new_var)
630 if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
631 && !DECL_IGNORED_P (old_var)
632 && nonlocalized_list)
633 vec_safe_push (*nonlocalized_list, old_var);
635 else
637 gcc_assert (DECL_P (new_var));
638 DECL_CHAIN (new_var) = new_decls;
639 new_decls = new_var;
641 /* Also copy value-expressions. */
642 if (TREE_CODE (new_var) == VAR_DECL
643 && DECL_HAS_VALUE_EXPR_P (new_var))
645 tree tem = DECL_VALUE_EXPR (new_var);
646 bool old_regimplify = id->regimplify;
647 id->remapping_type_depth++;
648 walk_tree (&tem, copy_tree_body_r, id, NULL);
649 id->remapping_type_depth--;
650 id->regimplify = old_regimplify;
651 SET_DECL_VALUE_EXPR (new_var, tem);
656 return nreverse (new_decls);
659 /* Copy the BLOCK to contain remapped versions of the variables
660 therein. And hook the new block into the block-tree. */
662 static void
663 remap_block (tree *block, copy_body_data *id)
665 tree old_block;
666 tree new_block;
668 /* Make the new block. */
669 old_block = *block;
670 new_block = make_node (BLOCK);
671 TREE_USED (new_block) = TREE_USED (old_block);
672 BLOCK_ABSTRACT_ORIGIN (new_block) = old_block;
673 BLOCK_SOURCE_LOCATION (new_block) = BLOCK_SOURCE_LOCATION (old_block);
674 BLOCK_NONLOCALIZED_VARS (new_block)
675 = vec_safe_copy (BLOCK_NONLOCALIZED_VARS (old_block));
676 *block = new_block;
678 /* Remap its variables. */
679 BLOCK_VARS (new_block) = remap_decls (BLOCK_VARS (old_block),
680 &BLOCK_NONLOCALIZED_VARS (new_block),
681 id);
683 if (id->transform_lang_insert_block)
684 id->transform_lang_insert_block (new_block);
686 /* Remember the remapped block. */
687 insert_decl_map (id, old_block, new_block);
690 /* Copy the whole block tree and root it in id->block. */
691 static tree
692 remap_blocks (tree block, copy_body_data *id)
694 tree t;
695 tree new_tree = block;
697 if (!block)
698 return NULL;
700 remap_block (&new_tree, id);
701 gcc_assert (new_tree != block);
702 for (t = BLOCK_SUBBLOCKS (block); t ; t = BLOCK_CHAIN (t))
703 prepend_lexical_block (new_tree, remap_blocks (t, id));
704 /* Blocks are in arbitrary order, but make things slightly prettier and do
705 not swap order when producing a copy. */
706 BLOCK_SUBBLOCKS (new_tree) = blocks_nreverse (BLOCK_SUBBLOCKS (new_tree));
707 return new_tree;
710 /* Remap the block tree rooted at BLOCK to nothing. */
711 static void
712 remap_blocks_to_null (tree block, copy_body_data *id)
714 tree t;
715 insert_decl_map (id, block, NULL_TREE);
716 for (t = BLOCK_SUBBLOCKS (block); t ; t = BLOCK_CHAIN (t))
717 remap_blocks_to_null (t, id);
720 static void
721 copy_statement_list (tree *tp)
723 tree_stmt_iterator oi, ni;
724 tree new_tree;
726 new_tree = alloc_stmt_list ();
727 ni = tsi_start (new_tree);
728 oi = tsi_start (*tp);
729 TREE_TYPE (new_tree) = TREE_TYPE (*tp);
730 *tp = new_tree;
732 for (; !tsi_end_p (oi); tsi_next (&oi))
734 tree stmt = tsi_stmt (oi);
735 if (TREE_CODE (stmt) == STATEMENT_LIST)
736 /* This copy is not redundant; tsi_link_after will smash this
737 STATEMENT_LIST into the end of the one we're building, and we
738 don't want to do that with the original. */
739 copy_statement_list (&stmt);
740 tsi_link_after (&ni, stmt, TSI_CONTINUE_LINKING);
744 static void
745 copy_bind_expr (tree *tp, int *walk_subtrees, copy_body_data *id)
747 tree block = BIND_EXPR_BLOCK (*tp);
748 /* Copy (and replace) the statement. */
749 copy_tree_r (tp, walk_subtrees, NULL);
750 if (block)
752 remap_block (&block, id);
753 BIND_EXPR_BLOCK (*tp) = block;
756 if (BIND_EXPR_VARS (*tp))
757 /* This will remap a lot of the same decls again, but this should be
758 harmless. */
759 BIND_EXPR_VARS (*tp) = remap_decls (BIND_EXPR_VARS (*tp), NULL, id);
763 /* Create a new gimple_seq by remapping all the statements in BODY
764 using the inlining information in ID. */
766 static gimple_seq
767 remap_gimple_seq (gimple_seq body, copy_body_data *id)
769 gimple_stmt_iterator si;
770 gimple_seq new_body = NULL;
772 for (si = gsi_start (body); !gsi_end_p (si); gsi_next (&si))
774 gimple_seq new_stmts = remap_gimple_stmt (gsi_stmt (si), id);
775 gimple_seq_add_seq (&new_body, new_stmts);
778 return new_body;
782 /* Copy a GIMPLE_BIND statement STMT, remapping all the symbols in its
783 block using the mapping information in ID. */
785 static gimple *
786 copy_gimple_bind (gbind *stmt, copy_body_data *id)
788 gimple *new_bind;
789 tree new_block, new_vars;
790 gimple_seq body, new_body;
792 /* Copy the statement. Note that we purposely don't use copy_stmt
793 here because we need to remap statements as we copy. */
794 body = gimple_bind_body (stmt);
795 new_body = remap_gimple_seq (body, id);
797 new_block = gimple_bind_block (stmt);
798 if (new_block)
799 remap_block (&new_block, id);
801 /* This will remap a lot of the same decls again, but this should be
802 harmless. */
803 new_vars = gimple_bind_vars (stmt);
804 if (new_vars)
805 new_vars = remap_decls (new_vars, NULL, id);
807 new_bind = gimple_build_bind (new_vars, new_body, new_block);
809 return new_bind;
812 /* Return true if DECL is a parameter or a SSA_NAME for a parameter. */
814 static bool
815 is_parm (tree decl)
817 if (TREE_CODE (decl) == SSA_NAME)
819 decl = SSA_NAME_VAR (decl);
820 if (!decl)
821 return false;
824 return (TREE_CODE (decl) == PARM_DECL);
827 /* Remap the dependence CLIQUE from the source to the destination function
828 as specified in ID. */
830 static unsigned short
831 remap_dependence_clique (copy_body_data *id, unsigned short clique)
833 if (clique == 0)
834 return 0;
835 if (!id->dependence_map)
836 id->dependence_map = new hash_map<dependence_hash, unsigned short>;
837 bool existed;
838 unsigned short &newc = id->dependence_map->get_or_insert (clique, &existed);
839 if (!existed)
840 newc = ++cfun->last_clique;
841 return newc;
844 /* Remap the GIMPLE operand pointed to by *TP. DATA is really a
845 'struct walk_stmt_info *'. DATA->INFO is a 'copy_body_data *'.
846 WALK_SUBTREES is used to indicate walk_gimple_op whether to keep
847 recursing into the children nodes of *TP. */
849 static tree
850 remap_gimple_op_r (tree *tp, int *walk_subtrees, void *data)
852 struct walk_stmt_info *wi_p = (struct walk_stmt_info *) data;
853 copy_body_data *id = (copy_body_data *) wi_p->info;
854 tree fn = id->src_fn;
856 if (TREE_CODE (*tp) == SSA_NAME)
858 *tp = remap_ssa_name (*tp, id);
859 *walk_subtrees = 0;
860 return NULL;
862 else if (auto_var_in_fn_p (*tp, fn))
864 /* Local variables and labels need to be replaced by equivalent
865 variables. We don't want to copy static variables; there's
866 only one of those, no matter how many times we inline the
867 containing function. Similarly for globals from an outer
868 function. */
869 tree new_decl;
871 /* Remap the declaration. */
872 new_decl = remap_decl (*tp, id);
873 gcc_assert (new_decl);
874 /* Replace this variable with the copy. */
875 STRIP_TYPE_NOPS (new_decl);
876 /* ??? The C++ frontend uses void * pointer zero to initialize
877 any other type. This confuses the middle-end type verification.
878 As cloned bodies do not go through gimplification again the fixup
879 there doesn't trigger. */
880 if (TREE_CODE (new_decl) == INTEGER_CST
881 && !useless_type_conversion_p (TREE_TYPE (*tp), TREE_TYPE (new_decl)))
882 new_decl = fold_convert (TREE_TYPE (*tp), new_decl);
883 *tp = new_decl;
884 *walk_subtrees = 0;
886 else if (TREE_CODE (*tp) == STATEMENT_LIST)
887 gcc_unreachable ();
888 else if (TREE_CODE (*tp) == SAVE_EXPR)
889 gcc_unreachable ();
890 else if (TREE_CODE (*tp) == LABEL_DECL
891 && (!DECL_CONTEXT (*tp)
892 || decl_function_context (*tp) == id->src_fn))
893 /* These may need to be remapped for EH handling. */
894 *tp = remap_decl (*tp, id);
895 else if (TREE_CODE (*tp) == FIELD_DECL)
897 /* If the enclosing record type is variably_modified_type_p, the field
898 has already been remapped. Otherwise, it need not be. */
899 tree *n = id->decl_map->get (*tp);
900 if (n)
901 *tp = *n;
902 *walk_subtrees = 0;
904 else if (TYPE_P (*tp))
905 /* Types may need remapping as well. */
906 *tp = remap_type (*tp, id);
907 else if (CONSTANT_CLASS_P (*tp))
909 /* If this is a constant, we have to copy the node iff the type
910 will be remapped. copy_tree_r will not copy a constant. */
911 tree new_type = remap_type (TREE_TYPE (*tp), id);
913 if (new_type == TREE_TYPE (*tp))
914 *walk_subtrees = 0;
916 else if (TREE_CODE (*tp) == INTEGER_CST)
917 *tp = wide_int_to_tree (new_type, *tp);
918 else
920 *tp = copy_node (*tp);
921 TREE_TYPE (*tp) = new_type;
924 else
926 /* Otherwise, just copy the node. Note that copy_tree_r already
927 knows not to copy VAR_DECLs, etc., so this is safe. */
929 if (TREE_CODE (*tp) == MEM_REF)
931 /* We need to re-canonicalize MEM_REFs from inline substitutions
932 that can happen when a pointer argument is an ADDR_EXPR.
933 Recurse here manually to allow that. */
934 tree ptr = TREE_OPERAND (*tp, 0);
935 tree type = remap_type (TREE_TYPE (*tp), id);
936 tree old = *tp;
937 walk_tree (&ptr, remap_gimple_op_r, data, NULL);
938 *tp = fold_build2 (MEM_REF, type, ptr, TREE_OPERAND (*tp, 1));
939 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
940 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
941 TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
942 if (MR_DEPENDENCE_CLIQUE (old) != 0)
944 MR_DEPENDENCE_CLIQUE (*tp)
945 = remap_dependence_clique (id, MR_DEPENDENCE_CLIQUE (old));
946 MR_DEPENDENCE_BASE (*tp) = MR_DEPENDENCE_BASE (old);
948 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
949 remapped a parameter as the property might be valid only
950 for the parameter itself. */
951 if (TREE_THIS_NOTRAP (old)
952 && (!is_parm (TREE_OPERAND (old, 0))
953 || (!id->transform_parameter && is_parm (ptr))))
954 TREE_THIS_NOTRAP (*tp) = 1;
955 REF_REVERSE_STORAGE_ORDER (*tp) = REF_REVERSE_STORAGE_ORDER (old);
956 *walk_subtrees = 0;
957 return NULL;
960 /* Here is the "usual case". Copy this tree node, and then
961 tweak some special cases. */
962 copy_tree_r (tp, walk_subtrees, NULL);
964 if (TREE_CODE (*tp) != OMP_CLAUSE)
965 TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
967 if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
969 /* The copied TARGET_EXPR has never been expanded, even if the
970 original node was expanded already. */
971 TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
972 TREE_OPERAND (*tp, 3) = NULL_TREE;
974 else if (TREE_CODE (*tp) == ADDR_EXPR)
976 /* Variable substitution need not be simple. In particular,
977 the MEM_REF substitution above. Make sure that
978 TREE_CONSTANT and friends are up-to-date. */
979 int invariant = is_gimple_min_invariant (*tp);
980 walk_tree (&TREE_OPERAND (*tp, 0), remap_gimple_op_r, data, NULL);
981 recompute_tree_invariant_for_addr_expr (*tp);
983 /* If this used to be invariant, but is not any longer,
984 then regimplification is probably needed. */
985 if (invariant && !is_gimple_min_invariant (*tp))
986 id->regimplify = true;
988 *walk_subtrees = 0;
992 /* Update the TREE_BLOCK for the cloned expr. */
993 if (EXPR_P (*tp))
995 tree new_block = id->remapping_type_depth == 0 ? id->block : NULL;
996 tree old_block = TREE_BLOCK (*tp);
997 if (old_block)
999 tree *n;
1000 n = id->decl_map->get (TREE_BLOCK (*tp));
1001 if (n)
1002 new_block = *n;
1004 TREE_SET_BLOCK (*tp, new_block);
1007 /* Keep iterating. */
1008 return NULL_TREE;
1012 /* Called from copy_body_id via walk_tree. DATA is really a
1013 `copy_body_data *'. */
1015 tree
1016 copy_tree_body_r (tree *tp, int *walk_subtrees, void *data)
1018 copy_body_data *id = (copy_body_data *) data;
1019 tree fn = id->src_fn;
1020 tree new_block;
1022 /* Begin by recognizing trees that we'll completely rewrite for the
1023 inlining context. Our output for these trees is completely
1024 different from out input (e.g. RETURN_EXPR is deleted, and morphs
1025 into an edge). Further down, we'll handle trees that get
1026 duplicated and/or tweaked. */
1028 /* When requested, RETURN_EXPRs should be transformed to just the
1029 contained MODIFY_EXPR. The branch semantics of the return will
1030 be handled elsewhere by manipulating the CFG rather than a statement. */
1031 if (TREE_CODE (*tp) == RETURN_EXPR && id->transform_return_to_modify)
1033 tree assignment = TREE_OPERAND (*tp, 0);
1035 /* If we're returning something, just turn that into an
1036 assignment into the equivalent of the original RESULT_DECL.
1037 If the "assignment" is just the result decl, the result
1038 decl has already been set (e.g. a recent "foo (&result_decl,
1039 ...)"); just toss the entire RETURN_EXPR. */
1040 if (assignment && TREE_CODE (assignment) == MODIFY_EXPR)
1042 /* Replace the RETURN_EXPR with (a copy of) the
1043 MODIFY_EXPR hanging underneath. */
1044 *tp = copy_node (assignment);
1046 else /* Else the RETURN_EXPR returns no value. */
1048 *tp = NULL;
1049 return (tree) (void *)1;
1052 else if (TREE_CODE (*tp) == SSA_NAME)
1054 *tp = remap_ssa_name (*tp, id);
1055 *walk_subtrees = 0;
1056 return NULL;
1059 /* Local variables and labels need to be replaced by equivalent
1060 variables. We don't want to copy static variables; there's only
1061 one of those, no matter how many times we inline the containing
1062 function. Similarly for globals from an outer function. */
1063 else if (auto_var_in_fn_p (*tp, fn))
1065 tree new_decl;
1067 /* Remap the declaration. */
1068 new_decl = remap_decl (*tp, id);
1069 gcc_assert (new_decl);
1070 /* Replace this variable with the copy. */
1071 STRIP_TYPE_NOPS (new_decl);
1072 *tp = new_decl;
1073 *walk_subtrees = 0;
1075 else if (TREE_CODE (*tp) == STATEMENT_LIST)
1076 copy_statement_list (tp);
1077 else if (TREE_CODE (*tp) == SAVE_EXPR
1078 || TREE_CODE (*tp) == TARGET_EXPR)
1079 remap_save_expr (tp, id->decl_map, walk_subtrees);
1080 else if (TREE_CODE (*tp) == LABEL_DECL
1081 && (! DECL_CONTEXT (*tp)
1082 || decl_function_context (*tp) == id->src_fn))
1083 /* These may need to be remapped for EH handling. */
1084 *tp = remap_decl (*tp, id);
1085 else if (TREE_CODE (*tp) == BIND_EXPR)
1086 copy_bind_expr (tp, walk_subtrees, id);
1087 /* Types may need remapping as well. */
1088 else if (TYPE_P (*tp))
1089 *tp = remap_type (*tp, id);
1091 /* If this is a constant, we have to copy the node iff the type will be
1092 remapped. copy_tree_r will not copy a constant. */
1093 else if (CONSTANT_CLASS_P (*tp))
1095 tree new_type = remap_type (TREE_TYPE (*tp), id);
1097 if (new_type == TREE_TYPE (*tp))
1098 *walk_subtrees = 0;
1100 else if (TREE_CODE (*tp) == INTEGER_CST)
1101 *tp = wide_int_to_tree (new_type, *tp);
1102 else
1104 *tp = copy_node (*tp);
1105 TREE_TYPE (*tp) = new_type;
1109 /* Otherwise, just copy the node. Note that copy_tree_r already
1110 knows not to copy VAR_DECLs, etc., so this is safe. */
1111 else
1113 /* Here we handle trees that are not completely rewritten.
1114 First we detect some inlining-induced bogosities for
1115 discarding. */
1116 if (TREE_CODE (*tp) == MODIFY_EXPR
1117 && TREE_OPERAND (*tp, 0) == TREE_OPERAND (*tp, 1)
1118 && (auto_var_in_fn_p (TREE_OPERAND (*tp, 0), fn)))
1120 /* Some assignments VAR = VAR; don't generate any rtl code
1121 and thus don't count as variable modification. Avoid
1122 keeping bogosities like 0 = 0. */
1123 tree decl = TREE_OPERAND (*tp, 0), value;
1124 tree *n;
1126 n = id->decl_map->get (decl);
1127 if (n)
1129 value = *n;
1130 STRIP_TYPE_NOPS (value);
1131 if (TREE_CONSTANT (value) || TREE_READONLY (value))
1133 *tp = build_empty_stmt (EXPR_LOCATION (*tp));
1134 return copy_tree_body_r (tp, walk_subtrees, data);
1138 else if (TREE_CODE (*tp) == INDIRECT_REF)
1140 /* Get rid of *& from inline substitutions that can happen when a
1141 pointer argument is an ADDR_EXPR. */
1142 tree decl = TREE_OPERAND (*tp, 0);
1143 tree *n = id->decl_map->get (decl);
1144 if (n)
1146 /* If we happen to get an ADDR_EXPR in n->value, strip
1147 it manually here as we'll eventually get ADDR_EXPRs
1148 which lie about their types pointed to. In this case
1149 build_fold_indirect_ref wouldn't strip the INDIRECT_REF,
1150 but we absolutely rely on that. As fold_indirect_ref
1151 does other useful transformations, try that first, though. */
1152 tree type = TREE_TYPE (*tp);
1153 tree ptr = id->do_not_unshare ? *n : unshare_expr (*n);
1154 tree old = *tp;
1155 *tp = gimple_fold_indirect_ref (ptr);
1156 if (! *tp)
1158 if (TREE_CODE (ptr) == ADDR_EXPR)
1161 = fold_indirect_ref_1 (EXPR_LOCATION (ptr), type, ptr);
1162 /* ??? We should either assert here or build
1163 a VIEW_CONVERT_EXPR instead of blindly leaking
1164 incompatible types to our IL. */
1165 if (! *tp)
1166 *tp = TREE_OPERAND (ptr, 0);
1168 else
1170 *tp = build1 (INDIRECT_REF, type, ptr);
1171 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1172 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1173 TREE_READONLY (*tp) = TREE_READONLY (old);
1174 /* We cannot propagate the TREE_THIS_NOTRAP flag if we
1175 have remapped a parameter as the property might be
1176 valid only for the parameter itself. */
1177 if (TREE_THIS_NOTRAP (old)
1178 && (!is_parm (TREE_OPERAND (old, 0))
1179 || (!id->transform_parameter && is_parm (ptr))))
1180 TREE_THIS_NOTRAP (*tp) = 1;
1183 *walk_subtrees = 0;
1184 return NULL;
1187 else if (TREE_CODE (*tp) == MEM_REF)
1189 /* We need to re-canonicalize MEM_REFs from inline substitutions
1190 that can happen when a pointer argument is an ADDR_EXPR.
1191 Recurse here manually to allow that. */
1192 tree ptr = TREE_OPERAND (*tp, 0);
1193 tree type = remap_type (TREE_TYPE (*tp), id);
1194 tree old = *tp;
1195 walk_tree (&ptr, copy_tree_body_r, data, NULL);
1196 *tp = fold_build2 (MEM_REF, type, ptr, TREE_OPERAND (*tp, 1));
1197 TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1198 TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1199 TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
1200 if (MR_DEPENDENCE_CLIQUE (old) != 0)
1202 MR_DEPENDENCE_CLIQUE (*tp)
1203 = remap_dependence_clique (id, MR_DEPENDENCE_CLIQUE (old));
1204 MR_DEPENDENCE_BASE (*tp) = MR_DEPENDENCE_BASE (old);
1206 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
1207 remapped a parameter as the property might be valid only
1208 for the parameter itself. */
1209 if (TREE_THIS_NOTRAP (old)
1210 && (!is_parm (TREE_OPERAND (old, 0))
1211 || (!id->transform_parameter && is_parm (ptr))))
1212 TREE_THIS_NOTRAP (*tp) = 1;
1213 REF_REVERSE_STORAGE_ORDER (*tp) = REF_REVERSE_STORAGE_ORDER (old);
1214 *walk_subtrees = 0;
1215 return NULL;
1218 /* Here is the "usual case". Copy this tree node, and then
1219 tweak some special cases. */
1220 copy_tree_r (tp, walk_subtrees, NULL);
1222 /* If EXPR has block defined, map it to newly constructed block.
1223 When inlining we want EXPRs without block appear in the block
1224 of function call if we are not remapping a type. */
1225 if (EXPR_P (*tp))
1227 new_block = id->remapping_type_depth == 0 ? id->block : NULL;
1228 if (TREE_BLOCK (*tp))
1230 tree *n;
1231 n = id->decl_map->get (TREE_BLOCK (*tp));
1232 if (n)
1233 new_block = *n;
1235 TREE_SET_BLOCK (*tp, new_block);
1238 if (TREE_CODE (*tp) != OMP_CLAUSE)
1239 TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
1241 /* The copied TARGET_EXPR has never been expanded, even if the
1242 original node was expanded already. */
1243 if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
1245 TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
1246 TREE_OPERAND (*tp, 3) = NULL_TREE;
1249 /* Variable substitution need not be simple. In particular, the
1250 INDIRECT_REF substitution above. Make sure that TREE_CONSTANT
1251 and friends are up-to-date. */
1252 else if (TREE_CODE (*tp) == ADDR_EXPR)
1254 int invariant = is_gimple_min_invariant (*tp);
1255 walk_tree (&TREE_OPERAND (*tp, 0), copy_tree_body_r, id, NULL);
1257 /* Handle the case where we substituted an INDIRECT_REF
1258 into the operand of the ADDR_EXPR. */
1259 if (TREE_CODE (TREE_OPERAND (*tp, 0)) == INDIRECT_REF)
1260 *tp = TREE_OPERAND (TREE_OPERAND (*tp, 0), 0);
1261 else
1262 recompute_tree_invariant_for_addr_expr (*tp);
1264 /* If this used to be invariant, but is not any longer,
1265 then regimplification is probably needed. */
1266 if (invariant && !is_gimple_min_invariant (*tp))
1267 id->regimplify = true;
1269 *walk_subtrees = 0;
1273 /* Keep iterating. */
1274 return NULL_TREE;
1277 /* Helper for remap_gimple_stmt. Given an EH region number for the
1278 source function, map that to the duplicate EH region number in
1279 the destination function. */
1281 static int
1282 remap_eh_region_nr (int old_nr, copy_body_data *id)
1284 eh_region old_r, new_r;
1286 old_r = get_eh_region_from_number_fn (id->src_cfun, old_nr);
1287 new_r = static_cast<eh_region> (*id->eh_map->get (old_r));
1289 return new_r->index;
1292 /* Similar, but operate on INTEGER_CSTs. */
1294 static tree
1295 remap_eh_region_tree_nr (tree old_t_nr, copy_body_data *id)
1297 int old_nr, new_nr;
1299 old_nr = tree_to_shwi (old_t_nr);
1300 new_nr = remap_eh_region_nr (old_nr, id);
1302 return build_int_cst (integer_type_node, new_nr);
1305 /* Helper for copy_bb. Remap statement STMT using the inlining
1306 information in ID. Return the new statement copy. */
1308 static gimple_seq
1309 remap_gimple_stmt (gimple *stmt, copy_body_data *id)
1311 gimple *copy = NULL;
1312 struct walk_stmt_info wi;
1313 bool skip_first = false;
1314 gimple_seq stmts = NULL;
1316 if (is_gimple_debug (stmt)
1317 && !opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
1318 return stmts;
1320 /* Begin by recognizing trees that we'll completely rewrite for the
1321 inlining context. Our output for these trees is completely
1322 different from out input (e.g. RETURN_EXPR is deleted, and morphs
1323 into an edge). Further down, we'll handle trees that get
1324 duplicated and/or tweaked. */
1326 /* When requested, GIMPLE_RETURNs should be transformed to just the
1327 contained GIMPLE_ASSIGN. The branch semantics of the return will
1328 be handled elsewhere by manipulating the CFG rather than the
1329 statement. */
1330 if (gimple_code (stmt) == GIMPLE_RETURN && id->transform_return_to_modify)
1332 tree retval = gimple_return_retval (as_a <greturn *> (stmt));
1333 tree retbnd = gimple_return_retbnd (stmt);
1334 tree bndslot = id->retbnd;
1336 if (retbnd && bndslot)
1338 gimple *bndcopy = gimple_build_assign (bndslot, retbnd);
1339 memset (&wi, 0, sizeof (wi));
1340 wi.info = id;
1341 walk_gimple_op (bndcopy, remap_gimple_op_r, &wi);
1342 gimple_seq_add_stmt (&stmts, bndcopy);
1345 /* If we're returning something, just turn that into an
1346 assignment into the equivalent of the original RESULT_DECL.
1347 If RETVAL is just the result decl, the result decl has
1348 already been set (e.g. a recent "foo (&result_decl, ...)");
1349 just toss the entire GIMPLE_RETURN. */
1350 if (retval
1351 && (TREE_CODE (retval) != RESULT_DECL
1352 && (TREE_CODE (retval) != SSA_NAME
1353 || ! SSA_NAME_VAR (retval)
1354 || TREE_CODE (SSA_NAME_VAR (retval)) != RESULT_DECL)))
1356 copy = gimple_build_assign (id->do_not_unshare
1357 ? id->retvar : unshare_expr (id->retvar),
1358 retval);
1359 /* id->retvar is already substituted. Skip it on later remapping. */
1360 skip_first = true;
1362 /* We need to copy bounds if return structure with pointers into
1363 instrumented function. */
1364 if (chkp_function_instrumented_p (id->dst_fn)
1365 && !bndslot
1366 && !BOUNDED_P (id->retvar)
1367 && chkp_type_has_pointer (TREE_TYPE (id->retvar)))
1368 id->assign_stmts.safe_push (copy);
1371 else
1372 return stmts;
1374 else if (gimple_has_substatements (stmt))
1376 gimple_seq s1, s2;
1378 /* When cloning bodies from the C++ front end, we will be handed bodies
1379 in High GIMPLE form. Handle here all the High GIMPLE statements that
1380 have embedded statements. */
1381 switch (gimple_code (stmt))
1383 case GIMPLE_BIND:
1384 copy = copy_gimple_bind (as_a <gbind *> (stmt), id);
1385 break;
1387 case GIMPLE_CATCH:
1389 gcatch *catch_stmt = as_a <gcatch *> (stmt);
1390 s1 = remap_gimple_seq (gimple_catch_handler (catch_stmt), id);
1391 copy = gimple_build_catch (gimple_catch_types (catch_stmt), s1);
1393 break;
1395 case GIMPLE_EH_FILTER:
1396 s1 = remap_gimple_seq (gimple_eh_filter_failure (stmt), id);
1397 copy = gimple_build_eh_filter (gimple_eh_filter_types (stmt), s1);
1398 break;
1400 case GIMPLE_TRY:
1401 s1 = remap_gimple_seq (gimple_try_eval (stmt), id);
1402 s2 = remap_gimple_seq (gimple_try_cleanup (stmt), id);
1403 copy = gimple_build_try (s1, s2, gimple_try_kind (stmt));
1404 break;
1406 case GIMPLE_WITH_CLEANUP_EXPR:
1407 s1 = remap_gimple_seq (gimple_wce_cleanup (stmt), id);
1408 copy = gimple_build_wce (s1);
1409 break;
1411 case GIMPLE_OMP_PARALLEL:
1413 gomp_parallel *omp_par_stmt = as_a <gomp_parallel *> (stmt);
1414 s1 = remap_gimple_seq (gimple_omp_body (omp_par_stmt), id);
1415 copy = gimple_build_omp_parallel
1416 (s1,
1417 gimple_omp_parallel_clauses (omp_par_stmt),
1418 gimple_omp_parallel_child_fn (omp_par_stmt),
1419 gimple_omp_parallel_data_arg (omp_par_stmt));
1421 break;
1423 case GIMPLE_OMP_TASK:
1424 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1425 copy = gimple_build_omp_task
1426 (s1,
1427 gimple_omp_task_clauses (stmt),
1428 gimple_omp_task_child_fn (stmt),
1429 gimple_omp_task_data_arg (stmt),
1430 gimple_omp_task_copy_fn (stmt),
1431 gimple_omp_task_arg_size (stmt),
1432 gimple_omp_task_arg_align (stmt));
1433 break;
1435 case GIMPLE_OMP_FOR:
1436 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1437 s2 = remap_gimple_seq (gimple_omp_for_pre_body (stmt), id);
1438 copy = gimple_build_omp_for (s1, gimple_omp_for_kind (stmt),
1439 gimple_omp_for_clauses (stmt),
1440 gimple_omp_for_collapse (stmt), s2);
1442 size_t i;
1443 for (i = 0; i < gimple_omp_for_collapse (stmt); i++)
1445 gimple_omp_for_set_index (copy, i,
1446 gimple_omp_for_index (stmt, i));
1447 gimple_omp_for_set_initial (copy, i,
1448 gimple_omp_for_initial (stmt, i));
1449 gimple_omp_for_set_final (copy, i,
1450 gimple_omp_for_final (stmt, i));
1451 gimple_omp_for_set_incr (copy, i,
1452 gimple_omp_for_incr (stmt, i));
1453 gimple_omp_for_set_cond (copy, i,
1454 gimple_omp_for_cond (stmt, i));
1457 break;
1459 case GIMPLE_OMP_MASTER:
1460 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1461 copy = gimple_build_omp_master (s1);
1462 break;
1464 case GIMPLE_OMP_TASKGROUP:
1465 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1466 copy = gimple_build_omp_taskgroup (s1);
1467 break;
1469 case GIMPLE_OMP_ORDERED:
1470 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1471 copy = gimple_build_omp_ordered
1472 (s1,
1473 gimple_omp_ordered_clauses (as_a <gomp_ordered *> (stmt)));
1474 break;
1476 case GIMPLE_OMP_SECTION:
1477 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1478 copy = gimple_build_omp_section (s1);
1479 break;
1481 case GIMPLE_OMP_SECTIONS:
1482 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1483 copy = gimple_build_omp_sections
1484 (s1, gimple_omp_sections_clauses (stmt));
1485 break;
1487 case GIMPLE_OMP_SINGLE:
1488 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1489 copy = gimple_build_omp_single
1490 (s1, gimple_omp_single_clauses (stmt));
1491 break;
1493 case GIMPLE_OMP_TARGET:
1494 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1495 copy = gimple_build_omp_target
1496 (s1, gimple_omp_target_kind (stmt),
1497 gimple_omp_target_clauses (stmt));
1498 break;
1500 case GIMPLE_OMP_TEAMS:
1501 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1502 copy = gimple_build_omp_teams
1503 (s1, gimple_omp_teams_clauses (stmt));
1504 break;
1506 case GIMPLE_OMP_CRITICAL:
1507 s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1508 copy = gimple_build_omp_critical (s1,
1509 gimple_omp_critical_name
1510 (as_a <gomp_critical *> (stmt)),
1511 gimple_omp_critical_clauses
1512 (as_a <gomp_critical *> (stmt)));
1513 break;
1515 case GIMPLE_TRANSACTION:
1517 gtransaction *old_trans_stmt = as_a <gtransaction *> (stmt);
1518 gtransaction *new_trans_stmt;
1519 s1 = remap_gimple_seq (gimple_transaction_body (old_trans_stmt),
1520 id);
1521 copy = new_trans_stmt = gimple_build_transaction (s1);
1522 gimple_transaction_set_subcode (new_trans_stmt,
1523 gimple_transaction_subcode (old_trans_stmt));
1524 gimple_transaction_set_label_norm (new_trans_stmt,
1525 gimple_transaction_label_norm (old_trans_stmt));
1526 gimple_transaction_set_label_uninst (new_trans_stmt,
1527 gimple_transaction_label_uninst (old_trans_stmt));
1528 gimple_transaction_set_label_over (new_trans_stmt,
1529 gimple_transaction_label_over (old_trans_stmt));
1531 break;
1533 default:
1534 gcc_unreachable ();
1537 else
1539 if (gimple_assign_copy_p (stmt)
1540 && gimple_assign_lhs (stmt) == gimple_assign_rhs1 (stmt)
1541 && auto_var_in_fn_p (gimple_assign_lhs (stmt), id->src_fn))
1543 /* Here we handle statements that are not completely rewritten.
1544 First we detect some inlining-induced bogosities for
1545 discarding. */
1547 /* Some assignments VAR = VAR; don't generate any rtl code
1548 and thus don't count as variable modification. Avoid
1549 keeping bogosities like 0 = 0. */
1550 tree decl = gimple_assign_lhs (stmt), value;
1551 tree *n;
1553 n = id->decl_map->get (decl);
1554 if (n)
1556 value = *n;
1557 STRIP_TYPE_NOPS (value);
1558 if (TREE_CONSTANT (value) || TREE_READONLY (value))
1559 return NULL;
1563 /* For *ptr_N ={v} {CLOBBER}, if ptr_N is SSA_NAME defined
1564 in a block that we aren't copying during tree_function_versioning,
1565 just drop the clobber stmt. */
1566 if (id->blocks_to_copy && gimple_clobber_p (stmt))
1568 tree lhs = gimple_assign_lhs (stmt);
1569 if (TREE_CODE (lhs) == MEM_REF
1570 && TREE_CODE (TREE_OPERAND (lhs, 0)) == SSA_NAME)
1572 gimple *def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (lhs, 0));
1573 if (gimple_bb (def_stmt)
1574 && !bitmap_bit_p (id->blocks_to_copy,
1575 gimple_bb (def_stmt)->index))
1576 return NULL;
1580 if (gimple_debug_bind_p (stmt))
1582 gdebug *copy
1583 = gimple_build_debug_bind (gimple_debug_bind_get_var (stmt),
1584 gimple_debug_bind_get_value (stmt),
1585 stmt);
1586 id->debug_stmts.safe_push (copy);
1587 gimple_seq_add_stmt (&stmts, copy);
1588 return stmts;
1590 if (gimple_debug_source_bind_p (stmt))
1592 gdebug *copy = gimple_build_debug_source_bind
1593 (gimple_debug_source_bind_get_var (stmt),
1594 gimple_debug_source_bind_get_value (stmt),
1595 stmt);
1596 id->debug_stmts.safe_push (copy);
1597 gimple_seq_add_stmt (&stmts, copy);
1598 return stmts;
1601 /* Create a new deep copy of the statement. */
1602 copy = gimple_copy (stmt);
1604 /* Clear flags that need revisiting. */
1605 if (gcall *call_stmt = dyn_cast <gcall *> (copy))
1607 if (gimple_call_tail_p (call_stmt))
1608 gimple_call_set_tail (call_stmt, false);
1609 if (gimple_call_from_thunk_p (call_stmt))
1610 gimple_call_set_from_thunk (call_stmt, false);
1611 if (gimple_call_internal_p (call_stmt)
1612 && IN_RANGE (gimple_call_internal_fn (call_stmt),
1613 IFN_GOMP_SIMD_ORDERED_START,
1614 IFN_GOMP_SIMD_ORDERED_END))
1615 DECL_STRUCT_FUNCTION (id->dst_fn)->has_simduid_loops = true;
1618 /* Remap the region numbers for __builtin_eh_{pointer,filter},
1619 RESX and EH_DISPATCH. */
1620 if (id->eh_map)
1621 switch (gimple_code (copy))
1623 case GIMPLE_CALL:
1625 tree r, fndecl = gimple_call_fndecl (copy);
1626 if (fndecl && DECL_BUILT_IN_CLASS (fndecl) == BUILT_IN_NORMAL)
1627 switch (DECL_FUNCTION_CODE (fndecl))
1629 case BUILT_IN_EH_COPY_VALUES:
1630 r = gimple_call_arg (copy, 1);
1631 r = remap_eh_region_tree_nr (r, id);
1632 gimple_call_set_arg (copy, 1, r);
1633 /* FALLTHRU */
1635 case BUILT_IN_EH_POINTER:
1636 case BUILT_IN_EH_FILTER:
1637 r = gimple_call_arg (copy, 0);
1638 r = remap_eh_region_tree_nr (r, id);
1639 gimple_call_set_arg (copy, 0, r);
1640 break;
1642 default:
1643 break;
1646 /* Reset alias info if we didn't apply measures to
1647 keep it valid over inlining by setting DECL_PT_UID. */
1648 if (!id->src_cfun->gimple_df
1649 || !id->src_cfun->gimple_df->ipa_pta)
1650 gimple_call_reset_alias_info (as_a <gcall *> (copy));
1652 break;
1654 case GIMPLE_RESX:
1656 gresx *resx_stmt = as_a <gresx *> (copy);
1657 int r = gimple_resx_region (resx_stmt);
1658 r = remap_eh_region_nr (r, id);
1659 gimple_resx_set_region (resx_stmt, r);
1661 break;
1663 case GIMPLE_EH_DISPATCH:
1665 geh_dispatch *eh_dispatch = as_a <geh_dispatch *> (copy);
1666 int r = gimple_eh_dispatch_region (eh_dispatch);
1667 r = remap_eh_region_nr (r, id);
1668 gimple_eh_dispatch_set_region (eh_dispatch, r);
1670 break;
1672 default:
1673 break;
1677 /* If STMT has a block defined, map it to the newly constructed
1678 block. */
1679 if (gimple_block (copy))
1681 tree *n;
1682 n = id->decl_map->get (gimple_block (copy));
1683 gcc_assert (n);
1684 gimple_set_block (copy, *n);
1687 if (gimple_debug_bind_p (copy) || gimple_debug_source_bind_p (copy))
1689 gimple_seq_add_stmt (&stmts, copy);
1690 return stmts;
1693 /* Remap all the operands in COPY. */
1694 memset (&wi, 0, sizeof (wi));
1695 wi.info = id;
1696 if (skip_first)
1697 walk_tree (gimple_op_ptr (copy, 1), remap_gimple_op_r, &wi, NULL);
1698 else
1699 walk_gimple_op (copy, remap_gimple_op_r, &wi);
1701 /* Clear the copied virtual operands. We are not remapping them here
1702 but are going to recreate them from scratch. */
1703 if (gimple_has_mem_ops (copy))
1705 gimple_set_vdef (copy, NULL_TREE);
1706 gimple_set_vuse (copy, NULL_TREE);
1709 gimple_seq_add_stmt (&stmts, copy);
1710 return stmts;
1714 /* Copy basic block, scale profile accordingly. Edges will be taken care of
1715 later */
1717 static basic_block
1718 copy_bb (copy_body_data *id, basic_block bb, int frequency_scale,
1719 gcov_type count_scale)
1721 gimple_stmt_iterator gsi, copy_gsi, seq_gsi;
1722 basic_block copy_basic_block;
1723 tree decl;
1724 gcov_type freq;
1725 basic_block prev;
1727 /* Search for previous copied basic block. */
1728 prev = bb->prev_bb;
1729 while (!prev->aux)
1730 prev = prev->prev_bb;
1732 /* create_basic_block() will append every new block to
1733 basic_block_info automatically. */
1734 copy_basic_block = create_basic_block (NULL, (basic_block) prev->aux);
1735 copy_basic_block->count = apply_scale (bb->count, count_scale);
1737 /* We are going to rebuild frequencies from scratch. These values
1738 have just small importance to drive canonicalize_loop_headers. */
1739 freq = apply_scale ((gcov_type)bb->frequency, frequency_scale);
1741 /* We recompute frequencies after inlining, so this is quite safe. */
1742 if (freq > BB_FREQ_MAX)
1743 freq = BB_FREQ_MAX;
1744 copy_basic_block->frequency = freq;
1746 copy_gsi = gsi_start_bb (copy_basic_block);
1748 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1750 gimple_seq stmts;
1751 gimple *stmt = gsi_stmt (gsi);
1752 gimple *orig_stmt = stmt;
1753 gimple_stmt_iterator stmts_gsi;
1754 bool stmt_added = false;
1756 id->regimplify = false;
1757 stmts = remap_gimple_stmt (stmt, id);
1759 if (gimple_seq_empty_p (stmts))
1760 continue;
1762 seq_gsi = copy_gsi;
1764 for (stmts_gsi = gsi_start (stmts);
1765 !gsi_end_p (stmts_gsi); )
1767 stmt = gsi_stmt (stmts_gsi);
1769 /* Advance iterator now before stmt is moved to seq_gsi. */
1770 gsi_next (&stmts_gsi);
1772 if (gimple_nop_p (stmt))
1773 continue;
1775 gimple_duplicate_stmt_histograms (cfun, stmt, id->src_cfun,
1776 orig_stmt);
1778 /* With return slot optimization we can end up with
1779 non-gimple (foo *)&this->m, fix that here. */
1780 if (is_gimple_assign (stmt)
1781 && CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt))
1782 && !is_gimple_val (gimple_assign_rhs1 (stmt)))
1784 tree new_rhs;
1785 new_rhs = force_gimple_operand_gsi (&seq_gsi,
1786 gimple_assign_rhs1 (stmt),
1787 true, NULL, false,
1788 GSI_CONTINUE_LINKING);
1789 gimple_assign_set_rhs1 (stmt, new_rhs);
1790 id->regimplify = false;
1793 gsi_insert_after (&seq_gsi, stmt, GSI_NEW_STMT);
1795 if (id->regimplify)
1796 gimple_regimplify_operands (stmt, &seq_gsi);
1798 stmt_added = true;
1801 if (!stmt_added)
1802 continue;
1804 /* If copy_basic_block has been empty at the start of this iteration,
1805 call gsi_start_bb again to get at the newly added statements. */
1806 if (gsi_end_p (copy_gsi))
1807 copy_gsi = gsi_start_bb (copy_basic_block);
1808 else
1809 gsi_next (&copy_gsi);
1811 /* Process the new statement. The call to gimple_regimplify_operands
1812 possibly turned the statement into multiple statements, we
1813 need to process all of them. */
1816 tree fn;
1817 gcall *call_stmt;
1819 stmt = gsi_stmt (copy_gsi);
1820 call_stmt = dyn_cast <gcall *> (stmt);
1821 if (call_stmt
1822 && gimple_call_va_arg_pack_p (call_stmt)
1823 && id->call_stmt)
1825 /* __builtin_va_arg_pack () should be replaced by
1826 all arguments corresponding to ... in the caller. */
1827 tree p;
1828 gcall *new_call;
1829 vec<tree> argarray;
1830 size_t nargs = gimple_call_num_args (id->call_stmt);
1831 size_t n, i, nargs_to_copy;
1832 bool remove_bounds = false;
1834 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1835 nargs--;
1837 /* Bounds should be removed from arg pack in case
1838 we handle not instrumented call in instrumented
1839 function. */
1840 nargs_to_copy = nargs;
1841 if (gimple_call_with_bounds_p (id->call_stmt)
1842 && !gimple_call_with_bounds_p (stmt))
1844 for (i = gimple_call_num_args (id->call_stmt) - nargs;
1845 i < gimple_call_num_args (id->call_stmt);
1846 i++)
1847 if (POINTER_BOUNDS_P (gimple_call_arg (id->call_stmt, i)))
1848 nargs_to_copy--;
1849 remove_bounds = true;
1852 /* Create the new array of arguments. */
1853 n = nargs_to_copy + gimple_call_num_args (call_stmt);
1854 argarray.create (n);
1855 argarray.safe_grow_cleared (n);
1857 /* Copy all the arguments before '...' */
1858 memcpy (argarray.address (),
1859 gimple_call_arg_ptr (call_stmt, 0),
1860 gimple_call_num_args (call_stmt) * sizeof (tree));
1862 if (remove_bounds)
1864 /* Append the rest of arguments removing bounds. */
1865 unsigned cur = gimple_call_num_args (call_stmt);
1866 i = gimple_call_num_args (id->call_stmt) - nargs;
1867 for (i = gimple_call_num_args (id->call_stmt) - nargs;
1868 i < gimple_call_num_args (id->call_stmt);
1869 i++)
1870 if (!POINTER_BOUNDS_P (gimple_call_arg (id->call_stmt, i)))
1871 argarray[cur++] = gimple_call_arg (id->call_stmt, i);
1872 gcc_assert (cur == n);
1874 else
1876 /* Append the arguments passed in '...' */
1877 memcpy (argarray.address () + gimple_call_num_args (call_stmt),
1878 gimple_call_arg_ptr (id->call_stmt, 0)
1879 + (gimple_call_num_args (id->call_stmt) - nargs),
1880 nargs * sizeof (tree));
1883 new_call = gimple_build_call_vec (gimple_call_fn (call_stmt),
1884 argarray);
1886 argarray.release ();
1888 /* Copy all GIMPLE_CALL flags, location and block, except
1889 GF_CALL_VA_ARG_PACK. */
1890 gimple_call_copy_flags (new_call, call_stmt);
1891 gimple_call_set_va_arg_pack (new_call, false);
1892 gimple_set_location (new_call, gimple_location (stmt));
1893 gimple_set_block (new_call, gimple_block (stmt));
1894 gimple_call_set_lhs (new_call, gimple_call_lhs (call_stmt));
1896 gsi_replace (&copy_gsi, new_call, false);
1897 stmt = new_call;
1899 else if (call_stmt
1900 && id->call_stmt
1901 && (decl = gimple_call_fndecl (stmt))
1902 && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL
1903 && DECL_FUNCTION_CODE (decl) == BUILT_IN_VA_ARG_PACK_LEN)
1905 /* __builtin_va_arg_pack_len () should be replaced by
1906 the number of anonymous arguments. */
1907 size_t nargs = gimple_call_num_args (id->call_stmt), i;
1908 tree count, p;
1909 gimple *new_stmt;
1911 for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1912 nargs--;
1914 /* For instrumented calls we should ignore bounds. */
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--;
1921 count = build_int_cst (integer_type_node, nargs);
1922 new_stmt = gimple_build_assign (gimple_call_lhs (stmt), count);
1923 gsi_replace (&copy_gsi, new_stmt, false);
1924 stmt = new_stmt;
1926 else if (call_stmt
1927 && id->call_stmt
1928 && gimple_call_internal_p (stmt)
1929 && gimple_call_internal_fn (stmt) == IFN_TSAN_FUNC_EXIT)
1931 /* Drop TSAN_FUNC_EXIT () internal calls during inlining. */
1932 gsi_remove (&copy_gsi, false);
1933 continue;
1936 /* Statements produced by inlining can be unfolded, especially
1937 when we constant propagated some operands. We can't fold
1938 them right now for two reasons:
1939 1) folding require SSA_NAME_DEF_STMTs to be correct
1940 2) we can't change function calls to builtins.
1941 So we just mark statement for later folding. We mark
1942 all new statements, instead just statements that has changed
1943 by some nontrivial substitution so even statements made
1944 foldable indirectly are updated. If this turns out to be
1945 expensive, copy_body can be told to watch for nontrivial
1946 changes. */
1947 if (id->statements_to_fold)
1948 id->statements_to_fold->add (stmt);
1950 /* We're duplicating a CALL_EXPR. Find any corresponding
1951 callgraph edges and update or duplicate them. */
1952 if (gcall *call_stmt = dyn_cast <gcall *> (stmt))
1954 struct cgraph_edge *edge;
1956 switch (id->transform_call_graph_edges)
1958 case CB_CGE_DUPLICATE:
1959 edge = id->src_node->get_edge (orig_stmt);
1960 if (edge)
1962 int edge_freq = edge->frequency;
1963 int new_freq;
1964 struct cgraph_edge *old_edge = edge;
1965 edge = edge->clone (id->dst_node, call_stmt,
1966 gimple_uid (stmt),
1967 REG_BR_PROB_BASE, CGRAPH_FREQ_BASE,
1968 true);
1969 /* We could also just rescale the frequency, but
1970 doing so would introduce roundoff errors and make
1971 verifier unhappy. */
1972 new_freq = compute_call_stmt_bb_frequency (id->dst_node->decl,
1973 copy_basic_block);
1975 /* Speculative calls consist of two edges - direct and indirect.
1976 Duplicate the whole thing and distribute frequencies accordingly. */
1977 if (edge->speculative)
1979 struct cgraph_edge *direct, *indirect;
1980 struct ipa_ref *ref;
1982 gcc_assert (!edge->indirect_unknown_callee);
1983 old_edge->speculative_call_info (direct, indirect, ref);
1984 indirect = indirect->clone (id->dst_node, call_stmt,
1985 gimple_uid (stmt),
1986 REG_BR_PROB_BASE, CGRAPH_FREQ_BASE,
1987 true);
1988 if (old_edge->frequency + indirect->frequency)
1990 edge->frequency = MIN (RDIV ((gcov_type)new_freq * old_edge->frequency,
1991 (old_edge->frequency + indirect->frequency)),
1992 CGRAPH_FREQ_MAX);
1993 indirect->frequency = MIN (RDIV ((gcov_type)new_freq * indirect->frequency,
1994 (old_edge->frequency + indirect->frequency)),
1995 CGRAPH_FREQ_MAX);
1997 id->dst_node->clone_reference (ref, stmt);
1999 else
2001 edge->frequency = new_freq;
2002 if (dump_file
2003 && profile_status_for_fn (cfun) != PROFILE_ABSENT
2004 && (edge_freq > edge->frequency + 10
2005 || edge_freq < edge->frequency - 10))
2007 fprintf (dump_file, "Edge frequency estimated by "
2008 "cgraph %i diverge from inliner's estimate %i\n",
2009 edge_freq,
2010 edge->frequency);
2011 fprintf (dump_file,
2012 "Orig bb: %i, orig bb freq %i, new bb freq %i\n",
2013 bb->index,
2014 bb->frequency,
2015 copy_basic_block->frequency);
2019 break;
2021 case CB_CGE_MOVE_CLONES:
2022 id->dst_node->set_call_stmt_including_clones (orig_stmt,
2023 call_stmt);
2024 edge = id->dst_node->get_edge (stmt);
2025 break;
2027 case CB_CGE_MOVE:
2028 edge = id->dst_node->get_edge (orig_stmt);
2029 if (edge)
2030 edge->set_call_stmt (call_stmt);
2031 break;
2033 default:
2034 gcc_unreachable ();
2037 /* Constant propagation on argument done during inlining
2038 may create new direct call. Produce an edge for it. */
2039 if ((!edge
2040 || (edge->indirect_inlining_edge
2041 && id->transform_call_graph_edges == CB_CGE_MOVE_CLONES))
2042 && id->dst_node->definition
2043 && (fn = gimple_call_fndecl (stmt)) != NULL)
2045 struct cgraph_node *dest = cgraph_node::get (fn);
2047 /* We have missing edge in the callgraph. This can happen
2048 when previous inlining turned an indirect call into a
2049 direct call by constant propagating arguments or we are
2050 producing dead clone (for further cloning). In all
2051 other cases we hit a bug (incorrect node sharing is the
2052 most common reason for missing edges). */
2053 gcc_assert (!dest->definition
2054 || dest->address_taken
2055 || !id->src_node->definition
2056 || !id->dst_node->definition);
2057 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES)
2058 id->dst_node->create_edge_including_clones
2059 (dest, orig_stmt, call_stmt, bb->count,
2060 compute_call_stmt_bb_frequency (id->dst_node->decl,
2061 copy_basic_block),
2062 CIF_ORIGINALLY_INDIRECT_CALL);
2063 else
2064 id->dst_node->create_edge (dest, call_stmt,
2065 bb->count,
2066 compute_call_stmt_bb_frequency
2067 (id->dst_node->decl,
2068 copy_basic_block))->inline_failed
2069 = CIF_ORIGINALLY_INDIRECT_CALL;
2070 if (dump_file)
2072 fprintf (dump_file, "Created new direct edge to %s\n",
2073 dest->name ());
2077 notice_special_calls (as_a <gcall *> (stmt));
2080 maybe_duplicate_eh_stmt_fn (cfun, stmt, id->src_cfun, orig_stmt,
2081 id->eh_map, id->eh_lp_nr);
2083 if (gimple_in_ssa_p (cfun) && !is_gimple_debug (stmt))
2085 ssa_op_iter i;
2086 tree def;
2088 FOR_EACH_SSA_TREE_OPERAND (def, stmt, i, SSA_OP_DEF)
2089 if (TREE_CODE (def) == SSA_NAME)
2090 SSA_NAME_DEF_STMT (def) = stmt;
2093 gsi_next (&copy_gsi);
2095 while (!gsi_end_p (copy_gsi));
2097 copy_gsi = gsi_last_bb (copy_basic_block);
2100 return copy_basic_block;
2103 /* Inserting Single Entry Multiple Exit region in SSA form into code in SSA
2104 form is quite easy, since dominator relationship for old basic blocks does
2105 not change.
2107 There is however exception where inlining might change dominator relation
2108 across EH edges from basic block within inlined functions destinating
2109 to landing pads in function we inline into.
2111 The function fills in PHI_RESULTs of such PHI nodes if they refer
2112 to gimple regs. Otherwise, the function mark PHI_RESULT of such
2113 PHI nodes for renaming. For non-gimple regs, renaming is safe: the
2114 EH edges are abnormal and SSA_NAME_OCCURS_IN_ABNORMAL_PHI must be
2115 set, and this means that there will be no overlapping live ranges
2116 for the underlying symbol.
2118 This might change in future if we allow redirecting of EH edges and
2119 we might want to change way build CFG pre-inlining to include
2120 all the possible edges then. */
2121 static void
2122 update_ssa_across_abnormal_edges (basic_block bb, basic_block ret_bb,
2123 bool can_throw, bool nonlocal_goto)
2125 edge e;
2126 edge_iterator ei;
2128 FOR_EACH_EDGE (e, ei, bb->succs)
2129 if (!e->dest->aux
2130 || ((basic_block)e->dest->aux)->index == ENTRY_BLOCK)
2132 gphi *phi;
2133 gphi_iterator si;
2135 if (!nonlocal_goto)
2136 gcc_assert (e->flags & EDGE_EH);
2138 if (!can_throw)
2139 gcc_assert (!(e->flags & EDGE_EH));
2141 for (si = gsi_start_phis (e->dest); !gsi_end_p (si); gsi_next (&si))
2143 edge re;
2145 phi = si.phi ();
2147 /* For abnormal goto/call edges the receiver can be the
2148 ENTRY_BLOCK. Do not assert this cannot happen. */
2150 gcc_assert ((e->flags & EDGE_EH)
2151 || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (phi)));
2153 re = find_edge (ret_bb, e->dest);
2154 gcc_checking_assert (re);
2155 gcc_assert ((re->flags & (EDGE_EH | EDGE_ABNORMAL))
2156 == (e->flags & (EDGE_EH | EDGE_ABNORMAL)));
2158 SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (phi, e),
2159 USE_FROM_PTR (PHI_ARG_DEF_PTR_FROM_EDGE (phi, re)));
2165 /* Copy edges from BB into its copy constructed earlier, scale profile
2166 accordingly. Edges will be taken care of later. Assume aux
2167 pointers to point to the copies of each BB. Return true if any
2168 debug stmts are left after a statement that must end the basic block. */
2170 static bool
2171 copy_edges_for_bb (basic_block bb, gcov_type count_scale, basic_block ret_bb,
2172 basic_block abnormal_goto_dest)
2174 basic_block new_bb = (basic_block) bb->aux;
2175 edge_iterator ei;
2176 edge old_edge;
2177 gimple_stmt_iterator si;
2178 int flags;
2179 bool need_debug_cleanup = false;
2181 /* Use the indices from the original blocks to create edges for the
2182 new ones. */
2183 FOR_EACH_EDGE (old_edge, ei, bb->succs)
2184 if (!(old_edge->flags & EDGE_EH))
2186 edge new_edge;
2188 flags = old_edge->flags;
2190 /* Return edges do get a FALLTHRU flag when the get inlined. */
2191 if (old_edge->dest->index == EXIT_BLOCK
2192 && !(old_edge->flags & (EDGE_TRUE_VALUE|EDGE_FALSE_VALUE|EDGE_FAKE))
2193 && old_edge->dest->aux != EXIT_BLOCK_PTR_FOR_FN (cfun))
2194 flags |= EDGE_FALLTHRU;
2195 new_edge = make_edge (new_bb, (basic_block) old_edge->dest->aux, flags);
2196 new_edge->count = apply_scale (old_edge->count, count_scale);
2197 new_edge->probability = old_edge->probability;
2200 if (bb->index == ENTRY_BLOCK || bb->index == EXIT_BLOCK)
2201 return false;
2203 for (si = gsi_start_bb (new_bb); !gsi_end_p (si);)
2205 gimple *copy_stmt;
2206 bool can_throw, nonlocal_goto;
2208 copy_stmt = gsi_stmt (si);
2209 if (!is_gimple_debug (copy_stmt))
2210 update_stmt (copy_stmt);
2212 /* Do this before the possible split_block. */
2213 gsi_next (&si);
2215 /* If this tree could throw an exception, there are two
2216 cases where we need to add abnormal edge(s): the
2217 tree wasn't in a region and there is a "current
2218 region" in the caller; or the original tree had
2219 EH edges. In both cases split the block after the tree,
2220 and add abnormal edge(s) as needed; we need both
2221 those from the callee and the caller.
2222 We check whether the copy can throw, because the const
2223 propagation can change an INDIRECT_REF which throws
2224 into a COMPONENT_REF which doesn't. If the copy
2225 can throw, the original could also throw. */
2226 can_throw = stmt_can_throw_internal (copy_stmt);
2227 nonlocal_goto
2228 = (stmt_can_make_abnormal_goto (copy_stmt)
2229 && !computed_goto_p (copy_stmt));
2231 if (can_throw || nonlocal_goto)
2233 if (!gsi_end_p (si))
2235 while (!gsi_end_p (si) && is_gimple_debug (gsi_stmt (si)))
2236 gsi_next (&si);
2237 if (gsi_end_p (si))
2238 need_debug_cleanup = true;
2240 if (!gsi_end_p (si))
2241 /* Note that bb's predecessor edges aren't necessarily
2242 right at this point; split_block doesn't care. */
2244 edge e = split_block (new_bb, copy_stmt);
2246 new_bb = e->dest;
2247 new_bb->aux = e->src->aux;
2248 si = gsi_start_bb (new_bb);
2252 if (gimple_code (copy_stmt) == GIMPLE_EH_DISPATCH)
2253 make_eh_dispatch_edges (as_a <geh_dispatch *> (copy_stmt));
2254 else if (can_throw)
2255 make_eh_edges (copy_stmt);
2257 /* If the call we inline cannot make abnormal goto do not add
2258 additional abnormal edges but only retain those already present
2259 in the original function body. */
2260 if (abnormal_goto_dest == NULL)
2261 nonlocal_goto = false;
2262 if (nonlocal_goto)
2264 basic_block copy_stmt_bb = gimple_bb (copy_stmt);
2266 if (get_abnormal_succ_dispatcher (copy_stmt_bb))
2267 nonlocal_goto = false;
2268 /* ABNORMAL_DISPATCHER (1) is for longjmp/setjmp or nonlocal gotos
2269 in OpenMP regions which aren't allowed to be left abnormally.
2270 So, no need to add abnormal edge in that case. */
2271 else if (is_gimple_call (copy_stmt)
2272 && gimple_call_internal_p (copy_stmt)
2273 && (gimple_call_internal_fn (copy_stmt)
2274 == IFN_ABNORMAL_DISPATCHER)
2275 && gimple_call_arg (copy_stmt, 0) == boolean_true_node)
2276 nonlocal_goto = false;
2277 else
2278 make_edge (copy_stmt_bb, abnormal_goto_dest, EDGE_ABNORMAL);
2281 if ((can_throw || nonlocal_goto)
2282 && gimple_in_ssa_p (cfun))
2283 update_ssa_across_abnormal_edges (gimple_bb (copy_stmt), ret_bb,
2284 can_throw, nonlocal_goto);
2286 return need_debug_cleanup;
2289 /* Copy the PHIs. All blocks and edges are copied, some blocks
2290 was possibly split and new outgoing EH edges inserted.
2291 BB points to the block of original function and AUX pointers links
2292 the original and newly copied blocks. */
2294 static void
2295 copy_phis_for_bb (basic_block bb, copy_body_data *id)
2297 basic_block const new_bb = (basic_block) bb->aux;
2298 edge_iterator ei;
2299 gphi *phi;
2300 gphi_iterator si;
2301 edge new_edge;
2302 bool inserted = false;
2304 for (si = gsi_start_phis (bb); !gsi_end_p (si); gsi_next (&si))
2306 tree res, new_res;
2307 gphi *new_phi;
2309 phi = si.phi ();
2310 res = PHI_RESULT (phi);
2311 new_res = res;
2312 if (!virtual_operand_p (res))
2314 walk_tree (&new_res, copy_tree_body_r, id, NULL);
2315 new_phi = create_phi_node (new_res, new_bb);
2316 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2318 edge old_edge = find_edge ((basic_block) new_edge->src->aux, bb);
2319 tree arg;
2320 tree new_arg;
2321 edge_iterator ei2;
2322 location_t locus;
2324 /* When doing partial cloning, we allow PHIs on the entry block
2325 as long as all the arguments are the same. Find any input
2326 edge to see argument to copy. */
2327 if (!old_edge)
2328 FOR_EACH_EDGE (old_edge, ei2, bb->preds)
2329 if (!old_edge->src->aux)
2330 break;
2332 arg = PHI_ARG_DEF_FROM_EDGE (phi, old_edge);
2333 new_arg = arg;
2334 walk_tree (&new_arg, copy_tree_body_r, id, NULL);
2335 gcc_assert (new_arg);
2336 /* With return slot optimization we can end up with
2337 non-gimple (foo *)&this->m, fix that here. */
2338 if (TREE_CODE (new_arg) != SSA_NAME
2339 && TREE_CODE (new_arg) != FUNCTION_DECL
2340 && !is_gimple_val (new_arg))
2342 gimple_seq stmts = NULL;
2343 new_arg = force_gimple_operand (new_arg, &stmts, true, NULL);
2344 gsi_insert_seq_on_edge (new_edge, stmts);
2345 inserted = true;
2347 locus = gimple_phi_arg_location_from_edge (phi, old_edge);
2348 if (LOCATION_BLOCK (locus))
2350 tree *n;
2351 n = id->decl_map->get (LOCATION_BLOCK (locus));
2352 gcc_assert (n);
2353 locus = set_block (locus, *n);
2355 else
2356 locus = LOCATION_LOCUS (locus);
2358 add_phi_arg (new_phi, new_arg, new_edge, locus);
2363 /* Commit the delayed edge insertions. */
2364 if (inserted)
2365 FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2366 gsi_commit_one_edge_insert (new_edge, NULL);
2370 /* Wrapper for remap_decl so it can be used as a callback. */
2372 static tree
2373 remap_decl_1 (tree decl, void *data)
2375 return remap_decl (decl, (copy_body_data *) data);
2378 /* Build struct function and associated datastructures for the new clone
2379 NEW_FNDECL to be build. CALLEE_FNDECL is the original. Function changes
2380 the cfun to the function of new_fndecl (and current_function_decl too). */
2382 static void
2383 initialize_cfun (tree new_fndecl, tree callee_fndecl, gcov_type count)
2385 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2386 gcov_type count_scale;
2388 if (!DECL_ARGUMENTS (new_fndecl))
2389 DECL_ARGUMENTS (new_fndecl) = DECL_ARGUMENTS (callee_fndecl);
2390 if (!DECL_RESULT (new_fndecl))
2391 DECL_RESULT (new_fndecl) = DECL_RESULT (callee_fndecl);
2393 if (ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count)
2394 count_scale
2395 = GCOV_COMPUTE_SCALE (count,
2396 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2397 else
2398 count_scale = REG_BR_PROB_BASE;
2400 /* Register specific tree functions. */
2401 gimple_register_cfg_hooks ();
2403 /* Get clean struct function. */
2404 push_struct_function (new_fndecl);
2406 /* We will rebuild these, so just sanity check that they are empty. */
2407 gcc_assert (VALUE_HISTOGRAMS (cfun) == NULL);
2408 gcc_assert (cfun->local_decls == NULL);
2409 gcc_assert (cfun->cfg == NULL);
2410 gcc_assert (cfun->decl == new_fndecl);
2412 /* Copy items we preserve during cloning. */
2413 cfun->static_chain_decl = src_cfun->static_chain_decl;
2414 cfun->nonlocal_goto_save_area = src_cfun->nonlocal_goto_save_area;
2415 cfun->function_end_locus = src_cfun->function_end_locus;
2416 cfun->curr_properties = src_cfun->curr_properties;
2417 cfun->last_verified = src_cfun->last_verified;
2418 cfun->va_list_gpr_size = src_cfun->va_list_gpr_size;
2419 cfun->va_list_fpr_size = src_cfun->va_list_fpr_size;
2420 cfun->has_nonlocal_label = src_cfun->has_nonlocal_label;
2421 cfun->stdarg = src_cfun->stdarg;
2422 cfun->after_inlining = src_cfun->after_inlining;
2423 cfun->can_throw_non_call_exceptions
2424 = src_cfun->can_throw_non_call_exceptions;
2425 cfun->can_delete_dead_exceptions = src_cfun->can_delete_dead_exceptions;
2426 cfun->returns_struct = src_cfun->returns_struct;
2427 cfun->returns_pcc_struct = src_cfun->returns_pcc_struct;
2429 init_empty_tree_cfg ();
2431 profile_status_for_fn (cfun) = profile_status_for_fn (src_cfun);
2432 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count =
2433 (ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count * count_scale /
2434 REG_BR_PROB_BASE);
2435 ENTRY_BLOCK_PTR_FOR_FN (cfun)->frequency
2436 = ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->frequency;
2437 EXIT_BLOCK_PTR_FOR_FN (cfun)->count =
2438 (EXIT_BLOCK_PTR_FOR_FN (src_cfun)->count * count_scale /
2439 REG_BR_PROB_BASE);
2440 EXIT_BLOCK_PTR_FOR_FN (cfun)->frequency =
2441 EXIT_BLOCK_PTR_FOR_FN (src_cfun)->frequency;
2442 if (src_cfun->eh)
2443 init_eh_for_function ();
2445 if (src_cfun->gimple_df)
2447 init_tree_ssa (cfun);
2448 cfun->gimple_df->in_ssa_p = true;
2449 init_ssa_operands (cfun);
2453 /* Helper function for copy_cfg_body. Move debug stmts from the end
2454 of NEW_BB to the beginning of successor basic blocks when needed. If the
2455 successor has multiple predecessors, reset them, otherwise keep
2456 their value. */
2458 static void
2459 maybe_move_debug_stmts_to_successors (copy_body_data *id, basic_block new_bb)
2461 edge e;
2462 edge_iterator ei;
2463 gimple_stmt_iterator si = gsi_last_nondebug_bb (new_bb);
2465 if (gsi_end_p (si)
2466 || gsi_one_before_end_p (si)
2467 || !(stmt_can_throw_internal (gsi_stmt (si))
2468 || stmt_can_make_abnormal_goto (gsi_stmt (si))))
2469 return;
2471 FOR_EACH_EDGE (e, ei, new_bb->succs)
2473 gimple_stmt_iterator ssi = gsi_last_bb (new_bb);
2474 gimple_stmt_iterator dsi = gsi_after_labels (e->dest);
2475 while (is_gimple_debug (gsi_stmt (ssi)))
2477 gimple *stmt = gsi_stmt (ssi);
2478 gdebug *new_stmt;
2479 tree var;
2480 tree value;
2482 /* For the last edge move the debug stmts instead of copying
2483 them. */
2484 if (ei_one_before_end_p (ei))
2486 si = ssi;
2487 gsi_prev (&ssi);
2488 if (!single_pred_p (e->dest) && gimple_debug_bind_p (stmt))
2489 gimple_debug_bind_reset_value (stmt);
2490 gsi_remove (&si, false);
2491 gsi_insert_before (&dsi, stmt, GSI_SAME_STMT);
2492 continue;
2495 if (gimple_debug_bind_p (stmt))
2497 var = gimple_debug_bind_get_var (stmt);
2498 if (single_pred_p (e->dest))
2500 value = gimple_debug_bind_get_value (stmt);
2501 value = unshare_expr (value);
2503 else
2504 value = NULL_TREE;
2505 new_stmt = gimple_build_debug_bind (var, value, stmt);
2507 else if (gimple_debug_source_bind_p (stmt))
2509 var = gimple_debug_source_bind_get_var (stmt);
2510 value = gimple_debug_source_bind_get_value (stmt);
2511 new_stmt = gimple_build_debug_source_bind (var, value, stmt);
2513 else
2514 gcc_unreachable ();
2515 gsi_insert_before (&dsi, new_stmt, GSI_SAME_STMT);
2516 id->debug_stmts.safe_push (new_stmt);
2517 gsi_prev (&ssi);
2522 /* Make a copy of the sub-loops of SRC_PARENT and place them
2523 as siblings of DEST_PARENT. */
2525 static void
2526 copy_loops (copy_body_data *id,
2527 struct loop *dest_parent, struct loop *src_parent)
2529 struct loop *src_loop = src_parent->inner;
2530 while (src_loop)
2532 if (!id->blocks_to_copy
2533 || bitmap_bit_p (id->blocks_to_copy, src_loop->header->index))
2535 struct loop *dest_loop = alloc_loop ();
2537 /* Assign the new loop its header and latch and associate
2538 those with the new loop. */
2539 dest_loop->header = (basic_block)src_loop->header->aux;
2540 dest_loop->header->loop_father = dest_loop;
2541 if (src_loop->latch != NULL)
2543 dest_loop->latch = (basic_block)src_loop->latch->aux;
2544 dest_loop->latch->loop_father = dest_loop;
2547 /* Copy loop meta-data. */
2548 copy_loop_info (src_loop, dest_loop);
2550 /* Finally place it into the loop array and the loop tree. */
2551 place_new_loop (cfun, dest_loop);
2552 flow_loop_tree_node_add (dest_parent, dest_loop);
2554 dest_loop->safelen = src_loop->safelen;
2555 dest_loop->dont_vectorize = src_loop->dont_vectorize;
2556 if (src_loop->force_vectorize)
2558 dest_loop->force_vectorize = true;
2559 cfun->has_force_vectorize_loops = true;
2561 if (src_loop->simduid)
2563 dest_loop->simduid = remap_decl (src_loop->simduid, id);
2564 cfun->has_simduid_loops = true;
2567 /* Recurse. */
2568 copy_loops (id, dest_loop, src_loop);
2570 src_loop = src_loop->next;
2574 /* Call cgraph_redirect_edge_call_stmt_to_callee on all calls in BB */
2576 void
2577 redirect_all_calls (copy_body_data * id, basic_block bb)
2579 gimple_stmt_iterator si;
2580 gimple *last = last_stmt (bb);
2581 for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))
2583 gimple *stmt = gsi_stmt (si);
2584 if (is_gimple_call (stmt))
2586 struct cgraph_edge *edge = id->dst_node->get_edge (stmt);
2587 if (edge)
2589 edge->redirect_call_stmt_to_callee ();
2590 if (stmt == last && id->call_stmt && maybe_clean_eh_stmt (stmt))
2591 gimple_purge_dead_eh_edges (bb);
2597 /* Convert estimated frequencies into counts for NODE, scaling COUNT
2598 with each bb's frequency. Used when NODE has a 0-weight entry
2599 but we are about to inline it into a non-zero count call bb.
2600 See the comments for handle_missing_profiles() in predict.c for
2601 when this can happen for COMDATs. */
2603 void
2604 freqs_to_counts (struct cgraph_node *node, gcov_type count)
2606 basic_block bb;
2607 edge_iterator ei;
2608 edge e;
2609 struct function *fn = DECL_STRUCT_FUNCTION (node->decl);
2611 FOR_ALL_BB_FN(bb, fn)
2613 bb->count = apply_scale (count,
2614 GCOV_COMPUTE_SCALE (bb->frequency, BB_FREQ_MAX));
2615 FOR_EACH_EDGE (e, ei, bb->succs)
2616 e->count = apply_probability (e->src->count, e->probability);
2620 /* Make a copy of the body of FN so that it can be inserted inline in
2621 another function. Walks FN via CFG, returns new fndecl. */
2623 static tree
2624 copy_cfg_body (copy_body_data * id, gcov_type count, int frequency_scale,
2625 basic_block entry_block_map, basic_block exit_block_map,
2626 basic_block new_entry)
2628 tree callee_fndecl = id->src_fn;
2629 /* Original cfun for the callee, doesn't change. */
2630 struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2631 struct function *cfun_to_copy;
2632 basic_block bb;
2633 tree new_fndecl = NULL;
2634 bool need_debug_cleanup = false;
2635 gcov_type count_scale;
2636 int last;
2637 int incoming_frequency = 0;
2638 gcov_type incoming_count = 0;
2640 /* This can happen for COMDAT routines that end up with 0 counts
2641 despite being called (see the comments for handle_missing_profiles()
2642 in predict.c as to why). Apply counts to the blocks in the callee
2643 before inlining, using the guessed edge frequencies, so that we don't
2644 end up with a 0-count inline body which can confuse downstream
2645 optimizations such as function splitting. */
2646 if (!ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count && count)
2648 /* Apply the larger of the call bb count and the total incoming
2649 call edge count to the callee. */
2650 gcov_type in_count = 0;
2651 struct cgraph_edge *in_edge;
2652 for (in_edge = id->src_node->callers; in_edge;
2653 in_edge = in_edge->next_caller)
2654 in_count += in_edge->count;
2655 freqs_to_counts (id->src_node, count > in_count ? count : in_count);
2658 if (ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count)
2659 count_scale
2660 = GCOV_COMPUTE_SCALE (count,
2661 ENTRY_BLOCK_PTR_FOR_FN (src_cfun)->count);
2662 else
2663 count_scale = REG_BR_PROB_BASE;
2665 /* Register specific tree functions. */
2666 gimple_register_cfg_hooks ();
2668 /* If we are inlining just region of the function, make sure to connect
2669 new entry to ENTRY_BLOCK_PTR_FOR_FN (cfun). Since new entry can be
2670 part of loop, we must compute frequency and probability of
2671 ENTRY_BLOCK_PTR_FOR_FN (cfun) based on the frequencies and
2672 probabilities of edges incoming from nonduplicated region. */
2673 if (new_entry)
2675 edge e;
2676 edge_iterator ei;
2678 FOR_EACH_EDGE (e, ei, new_entry->preds)
2679 if (!e->src->aux)
2681 incoming_frequency += EDGE_FREQUENCY (e);
2682 incoming_count += e->count;
2684 incoming_count = apply_scale (incoming_count, count_scale);
2685 incoming_frequency
2686 = apply_scale ((gcov_type)incoming_frequency, frequency_scale);
2687 ENTRY_BLOCK_PTR_FOR_FN (cfun)->count = incoming_count;
2688 ENTRY_BLOCK_PTR_FOR_FN (cfun)->frequency = incoming_frequency;
2691 /* Must have a CFG here at this point. */
2692 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN
2693 (DECL_STRUCT_FUNCTION (callee_fndecl)));
2695 cfun_to_copy = id->src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2697 ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = entry_block_map;
2698 EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy)->aux = exit_block_map;
2699 entry_block_map->aux = ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy);
2700 exit_block_map->aux = EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy);
2702 /* Duplicate any exception-handling regions. */
2703 if (cfun->eh)
2704 id->eh_map = duplicate_eh_regions (cfun_to_copy, NULL, id->eh_lp_nr,
2705 remap_decl_1, id);
2707 /* Use aux pointers to map the original blocks to copy. */
2708 FOR_EACH_BB_FN (bb, cfun_to_copy)
2709 if (!id->blocks_to_copy || bitmap_bit_p (id->blocks_to_copy, bb->index))
2711 basic_block new_bb = copy_bb (id, bb, frequency_scale, count_scale);
2712 bb->aux = new_bb;
2713 new_bb->aux = bb;
2714 new_bb->loop_father = entry_block_map->loop_father;
2717 last = last_basic_block_for_fn (cfun);
2719 /* Now that we've duplicated the blocks, duplicate their edges. */
2720 basic_block abnormal_goto_dest = NULL;
2721 if (id->call_stmt
2722 && stmt_can_make_abnormal_goto (id->call_stmt))
2724 gimple_stmt_iterator gsi = gsi_for_stmt (id->call_stmt);
2726 bb = gimple_bb (id->call_stmt);
2727 gsi_next (&gsi);
2728 if (gsi_end_p (gsi))
2729 abnormal_goto_dest = get_abnormal_succ_dispatcher (bb);
2731 FOR_ALL_BB_FN (bb, cfun_to_copy)
2732 if (!id->blocks_to_copy
2733 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2734 need_debug_cleanup |= copy_edges_for_bb (bb, count_scale, exit_block_map,
2735 abnormal_goto_dest);
2737 if (new_entry)
2739 edge e = make_edge (entry_block_map, (basic_block)new_entry->aux, EDGE_FALLTHRU);
2740 e->probability = REG_BR_PROB_BASE;
2741 e->count = incoming_count;
2744 /* Duplicate the loop tree, if available and wanted. */
2745 if (loops_for_fn (src_cfun) != NULL
2746 && current_loops != NULL)
2748 copy_loops (id, entry_block_map->loop_father,
2749 get_loop (src_cfun, 0));
2750 /* Defer to cfgcleanup to update loop-father fields of basic-blocks. */
2751 loops_state_set (LOOPS_NEED_FIXUP);
2754 /* If the loop tree in the source function needed fixup, mark the
2755 destination loop tree for fixup, too. */
2756 if (loops_for_fn (src_cfun)->state & LOOPS_NEED_FIXUP)
2757 loops_state_set (LOOPS_NEED_FIXUP);
2759 if (gimple_in_ssa_p (cfun))
2760 FOR_ALL_BB_FN (bb, cfun_to_copy)
2761 if (!id->blocks_to_copy
2762 || (bb->index > 0 && bitmap_bit_p (id->blocks_to_copy, bb->index)))
2763 copy_phis_for_bb (bb, id);
2765 FOR_ALL_BB_FN (bb, cfun_to_copy)
2766 if (bb->aux)
2768 if (need_debug_cleanup
2769 && bb->index != ENTRY_BLOCK
2770 && bb->index != EXIT_BLOCK)
2771 maybe_move_debug_stmts_to_successors (id, (basic_block) bb->aux);
2772 /* Update call edge destinations. This can not be done before loop
2773 info is updated, because we may split basic blocks. */
2774 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE
2775 && bb->index != ENTRY_BLOCK
2776 && bb->index != EXIT_BLOCK)
2777 redirect_all_calls (id, (basic_block)bb->aux);
2778 ((basic_block)bb->aux)->aux = NULL;
2779 bb->aux = NULL;
2782 /* Zero out AUX fields of newly created block during EH edge
2783 insertion. */
2784 for (; last < last_basic_block_for_fn (cfun); last++)
2786 if (need_debug_cleanup)
2787 maybe_move_debug_stmts_to_successors (id,
2788 BASIC_BLOCK_FOR_FN (cfun, last));
2789 BASIC_BLOCK_FOR_FN (cfun, last)->aux = NULL;
2790 /* Update call edge destinations. This can not be done before loop
2791 info is updated, because we may split basic blocks. */
2792 if (id->transform_call_graph_edges == CB_CGE_DUPLICATE)
2793 redirect_all_calls (id, BASIC_BLOCK_FOR_FN (cfun, last));
2795 entry_block_map->aux = NULL;
2796 exit_block_map->aux = NULL;
2798 if (id->eh_map)
2800 delete id->eh_map;
2801 id->eh_map = NULL;
2803 if (id->dependence_map)
2805 delete id->dependence_map;
2806 id->dependence_map = NULL;
2809 return new_fndecl;
2812 /* Copy the debug STMT using ID. We deal with these statements in a
2813 special way: if any variable in their VALUE expression wasn't
2814 remapped yet, we won't remap it, because that would get decl uids
2815 out of sync, causing codegen differences between -g and -g0. If
2816 this arises, we drop the VALUE expression altogether. */
2818 static void
2819 copy_debug_stmt (gdebug *stmt, copy_body_data *id)
2821 tree t, *n;
2822 struct walk_stmt_info wi;
2824 if (gimple_block (stmt))
2826 n = id->decl_map->get (gimple_block (stmt));
2827 gimple_set_block (stmt, n ? *n : id->block);
2830 /* Remap all the operands in COPY. */
2831 memset (&wi, 0, sizeof (wi));
2832 wi.info = id;
2834 processing_debug_stmt = 1;
2836 if (gimple_debug_source_bind_p (stmt))
2837 t = gimple_debug_source_bind_get_var (stmt);
2838 else
2839 t = gimple_debug_bind_get_var (stmt);
2841 if (TREE_CODE (t) == PARM_DECL && id->debug_map
2842 && (n = id->debug_map->get (t)))
2844 gcc_assert (TREE_CODE (*n) == VAR_DECL);
2845 t = *n;
2847 else if (TREE_CODE (t) == VAR_DECL
2848 && !is_global_var (t)
2849 && !id->decl_map->get (t))
2850 /* T is a non-localized variable. */;
2851 else
2852 walk_tree (&t, remap_gimple_op_r, &wi, NULL);
2854 if (gimple_debug_bind_p (stmt))
2856 gimple_debug_bind_set_var (stmt, t);
2858 if (gimple_debug_bind_has_value_p (stmt))
2859 walk_tree (gimple_debug_bind_get_value_ptr (stmt),
2860 remap_gimple_op_r, &wi, NULL);
2862 /* Punt if any decl couldn't be remapped. */
2863 if (processing_debug_stmt < 0)
2864 gimple_debug_bind_reset_value (stmt);
2866 else if (gimple_debug_source_bind_p (stmt))
2868 gimple_debug_source_bind_set_var (stmt, t);
2869 /* When inlining and source bind refers to one of the optimized
2870 away parameters, change the source bind into normal debug bind
2871 referring to the corresponding DEBUG_EXPR_DECL that should have
2872 been bound before the call stmt. */
2873 t = gimple_debug_source_bind_get_value (stmt);
2874 if (t != NULL_TREE
2875 && TREE_CODE (t) == PARM_DECL
2876 && id->call_stmt)
2878 vec<tree, va_gc> **debug_args = decl_debug_args_lookup (id->src_fn);
2879 unsigned int i;
2880 if (debug_args != NULL)
2882 for (i = 0; i < vec_safe_length (*debug_args); i += 2)
2883 if ((**debug_args)[i] == DECL_ORIGIN (t)
2884 && TREE_CODE ((**debug_args)[i + 1]) == DEBUG_EXPR_DECL)
2886 t = (**debug_args)[i + 1];
2887 stmt->subcode = GIMPLE_DEBUG_BIND;
2888 gimple_debug_bind_set_value (stmt, t);
2889 break;
2893 if (gimple_debug_source_bind_p (stmt))
2894 walk_tree (gimple_debug_source_bind_get_value_ptr (stmt),
2895 remap_gimple_op_r, &wi, NULL);
2898 processing_debug_stmt = 0;
2900 update_stmt (stmt);
2903 /* Process deferred debug stmts. In order to give values better odds
2904 of being successfully remapped, we delay the processing of debug
2905 stmts until all other stmts that might require remapping are
2906 processed. */
2908 static void
2909 copy_debug_stmts (copy_body_data *id)
2911 size_t i;
2912 gdebug *stmt;
2914 if (!id->debug_stmts.exists ())
2915 return;
2917 FOR_EACH_VEC_ELT (id->debug_stmts, i, stmt)
2918 copy_debug_stmt (stmt, id);
2920 id->debug_stmts.release ();
2923 /* Make a copy of the body of SRC_FN so that it can be inserted inline in
2924 another function. */
2926 static tree
2927 copy_tree_body (copy_body_data *id)
2929 tree fndecl = id->src_fn;
2930 tree body = DECL_SAVED_TREE (fndecl);
2932 walk_tree (&body, copy_tree_body_r, id, NULL);
2934 return body;
2937 /* Make a copy of the body of FN so that it can be inserted inline in
2938 another function. */
2940 static tree
2941 copy_body (copy_body_data *id, gcov_type count, int frequency_scale,
2942 basic_block entry_block_map, basic_block exit_block_map,
2943 basic_block new_entry)
2945 tree fndecl = id->src_fn;
2946 tree body;
2948 /* If this body has a CFG, walk CFG and copy. */
2949 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (fndecl)));
2950 body = copy_cfg_body (id, count, frequency_scale, entry_block_map, exit_block_map,
2951 new_entry);
2952 copy_debug_stmts (id);
2954 return body;
2957 /* Return true if VALUE is an ADDR_EXPR of an automatic variable
2958 defined in function FN, or of a data member thereof. */
2960 static bool
2961 self_inlining_addr_expr (tree value, tree fn)
2963 tree var;
2965 if (TREE_CODE (value) != ADDR_EXPR)
2966 return false;
2968 var = get_base_address (TREE_OPERAND (value, 0));
2970 return var && auto_var_in_fn_p (var, fn);
2973 /* Append to BB a debug annotation that binds VAR to VALUE, inheriting
2974 lexical block and line number information from base_stmt, if given,
2975 or from the last stmt of the block otherwise. */
2977 static gimple *
2978 insert_init_debug_bind (copy_body_data *id,
2979 basic_block bb, tree var, tree value,
2980 gimple *base_stmt)
2982 gimple *note;
2983 gimple_stmt_iterator gsi;
2984 tree tracked_var;
2986 if (!gimple_in_ssa_p (id->src_cfun))
2987 return NULL;
2989 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
2990 return NULL;
2992 tracked_var = target_for_debug_bind (var);
2993 if (!tracked_var)
2994 return NULL;
2996 if (bb)
2998 gsi = gsi_last_bb (bb);
2999 if (!base_stmt && !gsi_end_p (gsi))
3000 base_stmt = gsi_stmt (gsi);
3003 note = gimple_build_debug_bind (tracked_var, unshare_expr (value), base_stmt);
3005 if (bb)
3007 if (!gsi_end_p (gsi))
3008 gsi_insert_after (&gsi, note, GSI_SAME_STMT);
3009 else
3010 gsi_insert_before (&gsi, note, GSI_SAME_STMT);
3013 return note;
3016 static void
3017 insert_init_stmt (copy_body_data *id, basic_block bb, gimple *init_stmt)
3019 /* If VAR represents a zero-sized variable, it's possible that the
3020 assignment statement may result in no gimple statements. */
3021 if (init_stmt)
3023 gimple_stmt_iterator si = gsi_last_bb (bb);
3025 /* We can end up with init statements that store to a non-register
3026 from a rhs with a conversion. Handle that here by forcing the
3027 rhs into a temporary. gimple_regimplify_operands is not
3028 prepared to do this for us. */
3029 if (!is_gimple_debug (init_stmt)
3030 && !is_gimple_reg (gimple_assign_lhs (init_stmt))
3031 && is_gimple_reg_type (TREE_TYPE (gimple_assign_lhs (init_stmt)))
3032 && gimple_assign_rhs_class (init_stmt) == GIMPLE_UNARY_RHS)
3034 tree rhs = build1 (gimple_assign_rhs_code (init_stmt),
3035 gimple_expr_type (init_stmt),
3036 gimple_assign_rhs1 (init_stmt));
3037 rhs = force_gimple_operand_gsi (&si, rhs, true, NULL_TREE, false,
3038 GSI_NEW_STMT);
3039 gimple_assign_set_rhs_code (init_stmt, TREE_CODE (rhs));
3040 gimple_assign_set_rhs1 (init_stmt, rhs);
3042 gsi_insert_after (&si, init_stmt, GSI_NEW_STMT);
3043 gimple_regimplify_operands (init_stmt, &si);
3045 if (!is_gimple_debug (init_stmt))
3047 tree def = gimple_assign_lhs (init_stmt);
3048 insert_init_debug_bind (id, bb, def, def, init_stmt);
3053 /* Initialize parameter P with VALUE. If needed, produce init statement
3054 at the end of BB. When BB is NULL, we return init statement to be
3055 output later. */
3056 static gimple *
3057 setup_one_parameter (copy_body_data *id, tree p, tree value, tree fn,
3058 basic_block bb, tree *vars)
3060 gimple *init_stmt = NULL;
3061 tree var;
3062 tree rhs = value;
3063 tree def = (gimple_in_ssa_p (cfun)
3064 ? ssa_default_def (id->src_cfun, p) : NULL);
3066 if (value
3067 && value != error_mark_node
3068 && !useless_type_conversion_p (TREE_TYPE (p), TREE_TYPE (value)))
3070 /* If we can match up types by promotion/demotion do so. */
3071 if (fold_convertible_p (TREE_TYPE (p), value))
3072 rhs = fold_convert (TREE_TYPE (p), value);
3073 else
3075 /* ??? For valid programs we should not end up here.
3076 Still if we end up with truly mismatched types here, fall back
3077 to using a VIEW_CONVERT_EXPR or a literal zero to not leak invalid
3078 GIMPLE to the following passes. */
3079 if (!is_gimple_reg_type (TREE_TYPE (value))
3080 || TYPE_SIZE (TREE_TYPE (p)) == TYPE_SIZE (TREE_TYPE (value)))
3081 rhs = fold_build1 (VIEW_CONVERT_EXPR, TREE_TYPE (p), value);
3082 else
3083 rhs = build_zero_cst (TREE_TYPE (p));
3087 /* Make an equivalent VAR_DECL. Note that we must NOT remap the type
3088 here since the type of this decl must be visible to the calling
3089 function. */
3090 var = copy_decl_to_var (p, id);
3092 /* Declare this new variable. */
3093 DECL_CHAIN (var) = *vars;
3094 *vars = var;
3096 /* Make gimplifier happy about this variable. */
3097 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3099 /* If the parameter is never assigned to, has no SSA_NAMEs created,
3100 we would not need to create a new variable here at all, if it
3101 weren't for debug info. Still, we can just use the argument
3102 value. */
3103 if (TREE_READONLY (p)
3104 && !TREE_ADDRESSABLE (p)
3105 && value && !TREE_SIDE_EFFECTS (value)
3106 && !def)
3108 /* We may produce non-gimple trees by adding NOPs or introduce
3109 invalid sharing when operand is not really constant.
3110 It is not big deal to prohibit constant propagation here as
3111 we will constant propagate in DOM1 pass anyway. */
3112 if (is_gimple_min_invariant (value)
3113 && useless_type_conversion_p (TREE_TYPE (p),
3114 TREE_TYPE (value))
3115 /* We have to be very careful about ADDR_EXPR. Make sure
3116 the base variable isn't a local variable of the inlined
3117 function, e.g., when doing recursive inlining, direct or
3118 mutually-recursive or whatever, which is why we don't
3119 just test whether fn == current_function_decl. */
3120 && ! self_inlining_addr_expr (value, fn))
3122 insert_decl_map (id, p, value);
3123 insert_debug_decl_map (id, p, var);
3124 return insert_init_debug_bind (id, bb, var, value, NULL);
3128 /* Register the VAR_DECL as the equivalent for the PARM_DECL;
3129 that way, when the PARM_DECL is encountered, it will be
3130 automatically replaced by the VAR_DECL. */
3131 insert_decl_map (id, p, var);
3133 /* Even if P was TREE_READONLY, the new VAR should not be.
3134 In the original code, we would have constructed a
3135 temporary, and then the function body would have never
3136 changed the value of P. However, now, we will be
3137 constructing VAR directly. The constructor body may
3138 change its value multiple times as it is being
3139 constructed. Therefore, it must not be TREE_READONLY;
3140 the back-end assumes that TREE_READONLY variable is
3141 assigned to only once. */
3142 if (TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (p)))
3143 TREE_READONLY (var) = 0;
3145 /* If there is no setup required and we are in SSA, take the easy route
3146 replacing all SSA names representing the function parameter by the
3147 SSA name passed to function.
3149 We need to construct map for the variable anyway as it might be used
3150 in different SSA names when parameter is set in function.
3152 Do replacement at -O0 for const arguments replaced by constant.
3153 This is important for builtin_constant_p and other construct requiring
3154 constant argument to be visible in inlined function body. */
3155 if (gimple_in_ssa_p (cfun) && rhs && def && is_gimple_reg (p)
3156 && (optimize
3157 || (TREE_READONLY (p)
3158 && is_gimple_min_invariant (rhs)))
3159 && (TREE_CODE (rhs) == SSA_NAME
3160 || is_gimple_min_invariant (rhs))
3161 && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def))
3163 insert_decl_map (id, def, rhs);
3164 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3167 /* If the value of argument is never used, don't care about initializing
3168 it. */
3169 if (optimize && gimple_in_ssa_p (cfun) && !def && is_gimple_reg (p))
3171 gcc_assert (!value || !TREE_SIDE_EFFECTS (value));
3172 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3175 /* Initialize this VAR_DECL from the equivalent argument. Convert
3176 the argument to the proper type in case it was promoted. */
3177 if (value)
3179 if (rhs == error_mark_node)
3181 insert_decl_map (id, p, var);
3182 return insert_init_debug_bind (id, bb, var, rhs, NULL);
3185 STRIP_USELESS_TYPE_CONVERSION (rhs);
3187 /* If we are in SSA form properly remap the default definition
3188 or assign to a dummy SSA name if the parameter is unused and
3189 we are not optimizing. */
3190 if (gimple_in_ssa_p (cfun) && is_gimple_reg (p))
3192 if (def)
3194 def = remap_ssa_name (def, id);
3195 init_stmt = gimple_build_assign (def, rhs);
3196 SSA_NAME_IS_DEFAULT_DEF (def) = 0;
3197 set_ssa_default_def (cfun, var, NULL);
3199 else if (!optimize)
3201 def = make_ssa_name (var);
3202 init_stmt = gimple_build_assign (def, rhs);
3205 else
3206 init_stmt = gimple_build_assign (var, rhs);
3208 if (bb && init_stmt)
3209 insert_init_stmt (id, bb, init_stmt);
3211 return init_stmt;
3214 /* Generate code to initialize the parameters of the function at the
3215 top of the stack in ID from the GIMPLE_CALL STMT. */
3217 static void
3218 initialize_inlined_parameters (copy_body_data *id, gimple *stmt,
3219 tree fn, basic_block bb)
3221 tree parms;
3222 size_t i;
3223 tree p;
3224 tree vars = NULL_TREE;
3225 tree static_chain = gimple_call_chain (stmt);
3227 /* Figure out what the parameters are. */
3228 parms = DECL_ARGUMENTS (fn);
3230 /* Loop through the parameter declarations, replacing each with an
3231 equivalent VAR_DECL, appropriately initialized. */
3232 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3234 tree val;
3235 val = i < gimple_call_num_args (stmt) ? gimple_call_arg (stmt, i) : NULL;
3236 setup_one_parameter (id, p, val, fn, bb, &vars);
3238 /* After remapping parameters remap their types. This has to be done
3239 in a second loop over all parameters to appropriately remap
3240 variable sized arrays when the size is specified in a
3241 parameter following the array. */
3242 for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
3244 tree *varp = id->decl_map->get (p);
3245 if (varp
3246 && TREE_CODE (*varp) == VAR_DECL)
3248 tree def = (gimple_in_ssa_p (cfun) && is_gimple_reg (p)
3249 ? ssa_default_def (id->src_cfun, p) : NULL);
3250 tree var = *varp;
3251 TREE_TYPE (var) = remap_type (TREE_TYPE (var), id);
3252 /* Also remap the default definition if it was remapped
3253 to the default definition of the parameter replacement
3254 by the parameter setup. */
3255 if (def)
3257 tree *defp = id->decl_map->get (def);
3258 if (defp
3259 && TREE_CODE (*defp) == SSA_NAME
3260 && SSA_NAME_VAR (*defp) == var)
3261 TREE_TYPE (*defp) = TREE_TYPE (var);
3266 /* Initialize the static chain. */
3267 p = DECL_STRUCT_FUNCTION (fn)->static_chain_decl;
3268 gcc_assert (fn != current_function_decl);
3269 if (p)
3271 /* No static chain? Seems like a bug in tree-nested.c. */
3272 gcc_assert (static_chain);
3274 setup_one_parameter (id, p, static_chain, fn, bb, &vars);
3277 declare_inline_vars (id->block, vars);
3281 /* Declare a return variable to replace the RESULT_DECL for the
3282 function we are calling. An appropriate DECL_STMT is returned.
3283 The USE_STMT is filled to contain a use of the declaration to
3284 indicate the return value of the function.
3286 RETURN_SLOT, if non-null is place where to store the result. It
3287 is set only for CALL_EXPR_RETURN_SLOT_OPT. MODIFY_DEST, if non-null,
3288 was the LHS of the MODIFY_EXPR to which this call is the RHS.
3290 RETURN_BOUNDS holds a destination for returned bounds.
3292 The return value is a (possibly null) value that holds the result
3293 as seen by the caller. */
3295 static tree
3296 declare_return_variable (copy_body_data *id, tree return_slot, tree modify_dest,
3297 tree return_bounds, basic_block entry_bb)
3299 tree callee = id->src_fn;
3300 tree result = DECL_RESULT (callee);
3301 tree callee_type = TREE_TYPE (result);
3302 tree caller_type;
3303 tree var, use;
3305 /* Handle type-mismatches in the function declaration return type
3306 vs. the call expression. */
3307 if (modify_dest)
3308 caller_type = TREE_TYPE (modify_dest);
3309 else
3310 caller_type = TREE_TYPE (TREE_TYPE (callee));
3312 /* We don't need to do anything for functions that don't return anything. */
3313 if (VOID_TYPE_P (callee_type))
3314 return NULL_TREE;
3316 /* If there was a return slot, then the return value is the
3317 dereferenced address of that object. */
3318 if (return_slot)
3320 /* The front end shouldn't have used both return_slot and
3321 a modify expression. */
3322 gcc_assert (!modify_dest);
3323 if (DECL_BY_REFERENCE (result))
3325 tree return_slot_addr = build_fold_addr_expr (return_slot);
3326 STRIP_USELESS_TYPE_CONVERSION (return_slot_addr);
3328 /* We are going to construct *&return_slot and we can't do that
3329 for variables believed to be not addressable.
3331 FIXME: This check possibly can match, because values returned
3332 via return slot optimization are not believed to have address
3333 taken by alias analysis. */
3334 gcc_assert (TREE_CODE (return_slot) != SSA_NAME);
3335 var = return_slot_addr;
3337 else
3339 var = return_slot;
3340 gcc_assert (TREE_CODE (var) != SSA_NAME);
3341 if (TREE_ADDRESSABLE (result))
3342 mark_addressable (var);
3344 if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3345 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3346 && !DECL_GIMPLE_REG_P (result)
3347 && DECL_P (var))
3348 DECL_GIMPLE_REG_P (var) = 0;
3349 use = NULL;
3350 goto done;
3353 /* All types requiring non-trivial constructors should have been handled. */
3354 gcc_assert (!TREE_ADDRESSABLE (callee_type));
3356 /* Attempt to avoid creating a new temporary variable. */
3357 if (modify_dest
3358 && TREE_CODE (modify_dest) != SSA_NAME)
3360 bool use_it = false;
3362 /* We can't use MODIFY_DEST if there's type promotion involved. */
3363 if (!useless_type_conversion_p (callee_type, caller_type))
3364 use_it = false;
3366 /* ??? If we're assigning to a variable sized type, then we must
3367 reuse the destination variable, because we've no good way to
3368 create variable sized temporaries at this point. */
3369 else if (TREE_CODE (TYPE_SIZE_UNIT (caller_type)) != INTEGER_CST)
3370 use_it = true;
3372 /* If the callee cannot possibly modify MODIFY_DEST, then we can
3373 reuse it as the result of the call directly. Don't do this if
3374 it would promote MODIFY_DEST to addressable. */
3375 else if (TREE_ADDRESSABLE (result))
3376 use_it = false;
3377 else
3379 tree base_m = get_base_address (modify_dest);
3381 /* If the base isn't a decl, then it's a pointer, and we don't
3382 know where that's going to go. */
3383 if (!DECL_P (base_m))
3384 use_it = false;
3385 else if (is_global_var (base_m))
3386 use_it = false;
3387 else if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
3388 || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
3389 && !DECL_GIMPLE_REG_P (result)
3390 && DECL_GIMPLE_REG_P (base_m))
3391 use_it = false;
3392 else if (!TREE_ADDRESSABLE (base_m))
3393 use_it = true;
3396 if (use_it)
3398 var = modify_dest;
3399 use = NULL;
3400 goto done;
3404 gcc_assert (TREE_CODE (TYPE_SIZE_UNIT (callee_type)) == INTEGER_CST);
3406 var = copy_result_decl_to_var (result, id);
3407 DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
3409 /* Do not have the rest of GCC warn about this variable as it should
3410 not be visible to the user. */
3411 TREE_NO_WARNING (var) = 1;
3413 declare_inline_vars (id->block, var);
3415 /* Build the use expr. If the return type of the function was
3416 promoted, convert it back to the expected type. */
3417 use = var;
3418 if (!useless_type_conversion_p (caller_type, TREE_TYPE (var)))
3420 /* If we can match up types by promotion/demotion do so. */
3421 if (fold_convertible_p (caller_type, var))
3422 use = fold_convert (caller_type, var);
3423 else
3425 /* ??? For valid programs we should not end up here.
3426 Still if we end up with truly mismatched types here, fall back
3427 to using a MEM_REF to not leak invalid GIMPLE to the following
3428 passes. */
3429 /* Prevent var from being written into SSA form. */
3430 if (TREE_CODE (TREE_TYPE (var)) == VECTOR_TYPE
3431 || TREE_CODE (TREE_TYPE (var)) == COMPLEX_TYPE)
3432 DECL_GIMPLE_REG_P (var) = false;
3433 else if (is_gimple_reg_type (TREE_TYPE (var)))
3434 TREE_ADDRESSABLE (var) = true;
3435 use = fold_build2 (MEM_REF, caller_type,
3436 build_fold_addr_expr (var),
3437 build_int_cst (ptr_type_node, 0));
3441 STRIP_USELESS_TYPE_CONVERSION (use);
3443 if (DECL_BY_REFERENCE (result))
3445 TREE_ADDRESSABLE (var) = 1;
3446 var = build_fold_addr_expr (var);
3449 done:
3450 /* Register the VAR_DECL as the equivalent for the RESULT_DECL; that
3451 way, when the RESULT_DECL is encountered, it will be
3452 automatically replaced by the VAR_DECL.
3454 When returning by reference, ensure that RESULT_DECL remaps to
3455 gimple_val. */
3456 if (DECL_BY_REFERENCE (result)
3457 && !is_gimple_val (var))
3459 tree temp = create_tmp_var (TREE_TYPE (result), "retvalptr");
3460 insert_decl_map (id, result, temp);
3461 /* When RESULT_DECL is in SSA form, we need to remap and initialize
3462 it's default_def SSA_NAME. */
3463 if (gimple_in_ssa_p (id->src_cfun)
3464 && is_gimple_reg (result))
3466 temp = make_ssa_name (temp);
3467 insert_decl_map (id, ssa_default_def (id->src_cfun, result), temp);
3469 insert_init_stmt (id, entry_bb, gimple_build_assign (temp, var));
3471 else
3472 insert_decl_map (id, result, var);
3474 /* Remember this so we can ignore it in remap_decls. */
3475 id->retvar = var;
3477 /* If returned bounds are used, then make var for them. */
3478 if (return_bounds)
3480 tree bndtemp = create_tmp_var (pointer_bounds_type_node, "retbnd");
3481 DECL_SEEN_IN_BIND_EXPR_P (bndtemp) = 1;
3482 TREE_NO_WARNING (bndtemp) = 1;
3483 declare_inline_vars (id->block, bndtemp);
3485 id->retbnd = bndtemp;
3486 insert_init_stmt (id, entry_bb,
3487 gimple_build_assign (bndtemp, chkp_get_zero_bounds_var ()));
3490 return use;
3493 /* Callback through walk_tree. Determine if a DECL_INITIAL makes reference
3494 to a local label. */
3496 static tree
3497 has_label_address_in_static_1 (tree *nodep, int *walk_subtrees, void *fnp)
3499 tree node = *nodep;
3500 tree fn = (tree) fnp;
3502 if (TREE_CODE (node) == LABEL_DECL && DECL_CONTEXT (node) == fn)
3503 return node;
3505 if (TYPE_P (node))
3506 *walk_subtrees = 0;
3508 return NULL_TREE;
3511 /* Determine if the function can be copied. If so return NULL. If
3512 not return a string describng the reason for failure. */
3514 const char *
3515 copy_forbidden (struct function *fun, tree fndecl)
3517 const char *reason = fun->cannot_be_copied_reason;
3518 tree decl;
3519 unsigned ix;
3521 /* Only examine the function once. */
3522 if (fun->cannot_be_copied_set)
3523 return reason;
3525 /* We cannot copy a function that receives a non-local goto
3526 because we cannot remap the destination label used in the
3527 function that is performing the non-local goto. */
3528 /* ??? Actually, this should be possible, if we work at it.
3529 No doubt there's just a handful of places that simply
3530 assume it doesn't happen and don't substitute properly. */
3531 if (fun->has_nonlocal_label)
3533 reason = G_("function %q+F can never be copied "
3534 "because it receives a non-local goto");
3535 goto fail;
3538 FOR_EACH_LOCAL_DECL (fun, ix, decl)
3539 if (TREE_CODE (decl) == VAR_DECL
3540 && TREE_STATIC (decl)
3541 && !DECL_EXTERNAL (decl)
3542 && DECL_INITIAL (decl)
3543 && walk_tree_without_duplicates (&DECL_INITIAL (decl),
3544 has_label_address_in_static_1,
3545 fndecl))
3547 reason = G_("function %q+F can never be copied because it saves "
3548 "address of local label in a static variable");
3549 goto fail;
3552 fail:
3553 fun->cannot_be_copied_reason = reason;
3554 fun->cannot_be_copied_set = true;
3555 return reason;
3559 static const char *inline_forbidden_reason;
3561 /* A callback for walk_gimple_seq to handle statements. Returns non-null
3562 iff a function can not be inlined. Also sets the reason why. */
3564 static tree
3565 inline_forbidden_p_stmt (gimple_stmt_iterator *gsi, bool *handled_ops_p,
3566 struct walk_stmt_info *wip)
3568 tree fn = (tree) wip->info;
3569 tree t;
3570 gimple *stmt = gsi_stmt (*gsi);
3572 switch (gimple_code (stmt))
3574 case GIMPLE_CALL:
3575 /* Refuse to inline alloca call unless user explicitly forced so as
3576 this may change program's memory overhead drastically when the
3577 function using alloca is called in loop. In GCC present in
3578 SPEC2000 inlining into schedule_block cause it to require 2GB of
3579 RAM instead of 256MB. Don't do so for alloca calls emitted for
3580 VLA objects as those can't cause unbounded growth (they're always
3581 wrapped inside stack_save/stack_restore regions. */
3582 if (gimple_alloca_call_p (stmt)
3583 && !gimple_call_alloca_for_var_p (as_a <gcall *> (stmt))
3584 && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)))
3586 inline_forbidden_reason
3587 = G_("function %q+F can never be inlined because it uses "
3588 "alloca (override using the always_inline attribute)");
3589 *handled_ops_p = true;
3590 return fn;
3593 t = gimple_call_fndecl (stmt);
3594 if (t == NULL_TREE)
3595 break;
3597 /* We cannot inline functions that call setjmp. */
3598 if (setjmp_call_p (t))
3600 inline_forbidden_reason
3601 = G_("function %q+F can never be inlined because it uses setjmp");
3602 *handled_ops_p = true;
3603 return t;
3606 if (DECL_BUILT_IN_CLASS (t) == BUILT_IN_NORMAL)
3607 switch (DECL_FUNCTION_CODE (t))
3609 /* We cannot inline functions that take a variable number of
3610 arguments. */
3611 case BUILT_IN_VA_START:
3612 case BUILT_IN_NEXT_ARG:
3613 case BUILT_IN_VA_END:
3614 inline_forbidden_reason
3615 = G_("function %q+F can never be inlined because it "
3616 "uses variable argument lists");
3617 *handled_ops_p = true;
3618 return t;
3620 case BUILT_IN_LONGJMP:
3621 /* We can't inline functions that call __builtin_longjmp at
3622 all. The non-local goto machinery really requires the
3623 destination be in a different function. If we allow the
3624 function calling __builtin_longjmp to be inlined into the
3625 function calling __builtin_setjmp, Things will Go Awry. */
3626 inline_forbidden_reason
3627 = G_("function %q+F can never be inlined because "
3628 "it uses setjmp-longjmp exception handling");
3629 *handled_ops_p = true;
3630 return t;
3632 case BUILT_IN_NONLOCAL_GOTO:
3633 /* Similarly. */
3634 inline_forbidden_reason
3635 = G_("function %q+F can never be inlined because "
3636 "it uses non-local goto");
3637 *handled_ops_p = true;
3638 return t;
3640 case BUILT_IN_RETURN:
3641 case BUILT_IN_APPLY_ARGS:
3642 /* If a __builtin_apply_args caller would be inlined,
3643 it would be saving arguments of the function it has
3644 been inlined into. Similarly __builtin_return would
3645 return from the function the inline has been inlined into. */
3646 inline_forbidden_reason
3647 = G_("function %q+F can never be inlined because "
3648 "it uses __builtin_return or __builtin_apply_args");
3649 *handled_ops_p = true;
3650 return t;
3652 default:
3653 break;
3655 break;
3657 case GIMPLE_GOTO:
3658 t = gimple_goto_dest (stmt);
3660 /* We will not inline a function which uses computed goto. The
3661 addresses of its local labels, which may be tucked into
3662 global storage, are of course not constant across
3663 instantiations, which causes unexpected behavior. */
3664 if (TREE_CODE (t) != LABEL_DECL)
3666 inline_forbidden_reason
3667 = G_("function %q+F can never be inlined "
3668 "because it contains a computed goto");
3669 *handled_ops_p = true;
3670 return t;
3672 break;
3674 default:
3675 break;
3678 *handled_ops_p = false;
3679 return NULL_TREE;
3682 /* Return true if FNDECL is a function that cannot be inlined into
3683 another one. */
3685 static bool
3686 inline_forbidden_p (tree fndecl)
3688 struct function *fun = DECL_STRUCT_FUNCTION (fndecl);
3689 struct walk_stmt_info wi;
3690 basic_block bb;
3691 bool forbidden_p = false;
3693 /* First check for shared reasons not to copy the code. */
3694 inline_forbidden_reason = copy_forbidden (fun, fndecl);
3695 if (inline_forbidden_reason != NULL)
3696 return true;
3698 /* Next, walk the statements of the function looking for
3699 constraucts we can't handle, or are non-optimal for inlining. */
3700 hash_set<tree> visited_nodes;
3701 memset (&wi, 0, sizeof (wi));
3702 wi.info = (void *) fndecl;
3703 wi.pset = &visited_nodes;
3705 FOR_EACH_BB_FN (bb, fun)
3707 gimple *ret;
3708 gimple_seq seq = bb_seq (bb);
3709 ret = walk_gimple_seq (seq, inline_forbidden_p_stmt, NULL, &wi);
3710 forbidden_p = (ret != NULL);
3711 if (forbidden_p)
3712 break;
3715 return forbidden_p;
3718 /* Return false if the function FNDECL cannot be inlined on account of its
3719 attributes, true otherwise. */
3720 static bool
3721 function_attribute_inlinable_p (const_tree fndecl)
3723 if (targetm.attribute_table)
3725 const_tree a;
3727 for (a = DECL_ATTRIBUTES (fndecl); a; a = TREE_CHAIN (a))
3729 const_tree name = TREE_PURPOSE (a);
3730 int i;
3732 for (i = 0; targetm.attribute_table[i].name != NULL; i++)
3733 if (is_attribute_p (targetm.attribute_table[i].name, name))
3734 return targetm.function_attribute_inlinable_p (fndecl);
3738 return true;
3741 /* Returns nonzero if FN is a function that does not have any
3742 fundamental inline blocking properties. */
3744 bool
3745 tree_inlinable_function_p (tree fn)
3747 bool inlinable = true;
3748 bool do_warning;
3749 tree always_inline;
3751 /* If we've already decided this function shouldn't be inlined,
3752 there's no need to check again. */
3753 if (DECL_UNINLINABLE (fn))
3754 return false;
3756 /* We only warn for functions declared `inline' by the user. */
3757 do_warning = (warn_inline
3758 && DECL_DECLARED_INLINE_P (fn)
3759 && !DECL_NO_INLINE_WARNING_P (fn)
3760 && !DECL_IN_SYSTEM_HEADER (fn));
3762 always_inline = lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn));
3764 if (flag_no_inline
3765 && always_inline == NULL)
3767 if (do_warning)
3768 warning (OPT_Winline, "function %q+F can never be inlined because it "
3769 "is suppressed using -fno-inline", fn);
3770 inlinable = false;
3773 else if (!function_attribute_inlinable_p (fn))
3775 if (do_warning)
3776 warning (OPT_Winline, "function %q+F can never be inlined because it "
3777 "uses attributes conflicting with inlining", fn);
3778 inlinable = false;
3781 else if (inline_forbidden_p (fn))
3783 /* See if we should warn about uninlinable functions. Previously,
3784 some of these warnings would be issued while trying to expand
3785 the function inline, but that would cause multiple warnings
3786 about functions that would for example call alloca. But since
3787 this a property of the function, just one warning is enough.
3788 As a bonus we can now give more details about the reason why a
3789 function is not inlinable. */
3790 if (always_inline)
3791 error (inline_forbidden_reason, fn);
3792 else if (do_warning)
3793 warning (OPT_Winline, inline_forbidden_reason, fn);
3795 inlinable = false;
3798 /* Squirrel away the result so that we don't have to check again. */
3799 DECL_UNINLINABLE (fn) = !inlinable;
3801 return inlinable;
3804 /* Estimate the cost of a memory move of type TYPE. Use machine dependent
3805 word size and take possible memcpy call into account and return
3806 cost based on whether optimizing for size or speed according to SPEED_P. */
3809 estimate_move_cost (tree type, bool ARG_UNUSED (speed_p))
3811 HOST_WIDE_INT size;
3813 gcc_assert (!VOID_TYPE_P (type));
3815 if (TREE_CODE (type) == VECTOR_TYPE)
3817 machine_mode inner = TYPE_MODE (TREE_TYPE (type));
3818 machine_mode simd
3819 = targetm.vectorize.preferred_simd_mode (inner);
3820 int simd_mode_size = GET_MODE_SIZE (simd);
3821 return ((GET_MODE_SIZE (TYPE_MODE (type)) + simd_mode_size - 1)
3822 / simd_mode_size);
3825 size = int_size_in_bytes (type);
3827 if (size < 0 || size > MOVE_MAX_PIECES * MOVE_RATIO (speed_p))
3828 /* Cost of a memcpy call, 3 arguments and the call. */
3829 return 4;
3830 else
3831 return ((size + MOVE_MAX_PIECES - 1) / MOVE_MAX_PIECES);
3834 /* Returns cost of operation CODE, according to WEIGHTS */
3836 static int
3837 estimate_operator_cost (enum tree_code code, eni_weights *weights,
3838 tree op1 ATTRIBUTE_UNUSED, tree op2)
3840 switch (code)
3842 /* These are "free" conversions, or their presumed cost
3843 is folded into other operations. */
3844 case RANGE_EXPR:
3845 CASE_CONVERT:
3846 case COMPLEX_EXPR:
3847 case PAREN_EXPR:
3848 case VIEW_CONVERT_EXPR:
3849 return 0;
3851 /* Assign cost of 1 to usual operations.
3852 ??? We may consider mapping RTL costs to this. */
3853 case COND_EXPR:
3854 case VEC_COND_EXPR:
3855 case VEC_PERM_EXPR:
3857 case PLUS_EXPR:
3858 case POINTER_PLUS_EXPR:
3859 case MINUS_EXPR:
3860 case MULT_EXPR:
3861 case MULT_HIGHPART_EXPR:
3862 case FMA_EXPR:
3864 case ADDR_SPACE_CONVERT_EXPR:
3865 case FIXED_CONVERT_EXPR:
3866 case FIX_TRUNC_EXPR:
3868 case NEGATE_EXPR:
3869 case FLOAT_EXPR:
3870 case MIN_EXPR:
3871 case MAX_EXPR:
3872 case ABS_EXPR:
3874 case LSHIFT_EXPR:
3875 case RSHIFT_EXPR:
3876 case LROTATE_EXPR:
3877 case RROTATE_EXPR:
3879 case BIT_IOR_EXPR:
3880 case BIT_XOR_EXPR:
3881 case BIT_AND_EXPR:
3882 case BIT_NOT_EXPR:
3884 case TRUTH_ANDIF_EXPR:
3885 case TRUTH_ORIF_EXPR:
3886 case TRUTH_AND_EXPR:
3887 case TRUTH_OR_EXPR:
3888 case TRUTH_XOR_EXPR:
3889 case TRUTH_NOT_EXPR:
3891 case LT_EXPR:
3892 case LE_EXPR:
3893 case GT_EXPR:
3894 case GE_EXPR:
3895 case EQ_EXPR:
3896 case NE_EXPR:
3897 case ORDERED_EXPR:
3898 case UNORDERED_EXPR:
3900 case UNLT_EXPR:
3901 case UNLE_EXPR:
3902 case UNGT_EXPR:
3903 case UNGE_EXPR:
3904 case UNEQ_EXPR:
3905 case LTGT_EXPR:
3907 case CONJ_EXPR:
3909 case PREDECREMENT_EXPR:
3910 case PREINCREMENT_EXPR:
3911 case POSTDECREMENT_EXPR:
3912 case POSTINCREMENT_EXPR:
3914 case REALIGN_LOAD_EXPR:
3916 case REDUC_MAX_EXPR:
3917 case REDUC_MIN_EXPR:
3918 case REDUC_PLUS_EXPR:
3919 case WIDEN_SUM_EXPR:
3920 case WIDEN_MULT_EXPR:
3921 case DOT_PROD_EXPR:
3922 case SAD_EXPR:
3923 case WIDEN_MULT_PLUS_EXPR:
3924 case WIDEN_MULT_MINUS_EXPR:
3925 case WIDEN_LSHIFT_EXPR:
3927 case VEC_WIDEN_MULT_HI_EXPR:
3928 case VEC_WIDEN_MULT_LO_EXPR:
3929 case VEC_WIDEN_MULT_EVEN_EXPR:
3930 case VEC_WIDEN_MULT_ODD_EXPR:
3931 case VEC_UNPACK_HI_EXPR:
3932 case VEC_UNPACK_LO_EXPR:
3933 case VEC_UNPACK_FLOAT_HI_EXPR:
3934 case VEC_UNPACK_FLOAT_LO_EXPR:
3935 case VEC_PACK_TRUNC_EXPR:
3936 case VEC_PACK_SAT_EXPR:
3937 case VEC_PACK_FIX_TRUNC_EXPR:
3938 case VEC_WIDEN_LSHIFT_HI_EXPR:
3939 case VEC_WIDEN_LSHIFT_LO_EXPR:
3941 return 1;
3943 /* Few special cases of expensive operations. This is useful
3944 to avoid inlining on functions having too many of these. */
3945 case TRUNC_DIV_EXPR:
3946 case CEIL_DIV_EXPR:
3947 case FLOOR_DIV_EXPR:
3948 case ROUND_DIV_EXPR:
3949 case EXACT_DIV_EXPR:
3950 case TRUNC_MOD_EXPR:
3951 case CEIL_MOD_EXPR:
3952 case FLOOR_MOD_EXPR:
3953 case ROUND_MOD_EXPR:
3954 case RDIV_EXPR:
3955 if (TREE_CODE (op2) != INTEGER_CST)
3956 return weights->div_mod_cost;
3957 return 1;
3959 default:
3960 /* We expect a copy assignment with no operator. */
3961 gcc_assert (get_gimple_rhs_class (code) == GIMPLE_SINGLE_RHS);
3962 return 0;
3967 /* Estimate number of instructions that will be created by expanding
3968 the statements in the statement sequence STMTS.
3969 WEIGHTS contains weights attributed to various constructs. */
3972 estimate_num_insns_seq (gimple_seq stmts, eni_weights *weights)
3974 int cost;
3975 gimple_stmt_iterator gsi;
3977 cost = 0;
3978 for (gsi = gsi_start (stmts); !gsi_end_p (gsi); gsi_next (&gsi))
3979 cost += estimate_num_insns (gsi_stmt (gsi), weights);
3981 return cost;
3985 /* Estimate number of instructions that will be created by expanding STMT.
3986 WEIGHTS contains weights attributed to various constructs. */
3989 estimate_num_insns (gimple *stmt, eni_weights *weights)
3991 unsigned cost, i;
3992 enum gimple_code code = gimple_code (stmt);
3993 tree lhs;
3994 tree rhs;
3996 switch (code)
3998 case GIMPLE_ASSIGN:
3999 /* Try to estimate the cost of assignments. We have three cases to
4000 deal with:
4001 1) Simple assignments to registers;
4002 2) Stores to things that must live in memory. This includes
4003 "normal" stores to scalars, but also assignments of large
4004 structures, or constructors of big arrays;
4006 Let us look at the first two cases, assuming we have "a = b + C":
4007 <GIMPLE_ASSIGN <var_decl "a">
4008 <plus_expr <var_decl "b"> <constant C>>
4009 If "a" is a GIMPLE register, the assignment to it is free on almost
4010 any target, because "a" usually ends up in a real register. Hence
4011 the only cost of this expression comes from the PLUS_EXPR, and we
4012 can ignore the GIMPLE_ASSIGN.
4013 If "a" is not a GIMPLE register, the assignment to "a" will most
4014 likely be a real store, so the cost of the GIMPLE_ASSIGN is the cost
4015 of moving something into "a", which we compute using the function
4016 estimate_move_cost. */
4017 if (gimple_clobber_p (stmt))
4018 return 0; /* ={v} {CLOBBER} stmt expands to nothing. */
4020 lhs = gimple_assign_lhs (stmt);
4021 rhs = gimple_assign_rhs1 (stmt);
4023 cost = 0;
4025 /* Account for the cost of moving to / from memory. */
4026 if (gimple_store_p (stmt))
4027 cost += estimate_move_cost (TREE_TYPE (lhs), weights->time_based);
4028 if (gimple_assign_load_p (stmt))
4029 cost += estimate_move_cost (TREE_TYPE (rhs), weights->time_based);
4031 cost += estimate_operator_cost (gimple_assign_rhs_code (stmt), weights,
4032 gimple_assign_rhs1 (stmt),
4033 get_gimple_rhs_class (gimple_assign_rhs_code (stmt))
4034 == GIMPLE_BINARY_RHS
4035 ? gimple_assign_rhs2 (stmt) : NULL);
4036 break;
4038 case GIMPLE_COND:
4039 cost = 1 + estimate_operator_cost (gimple_cond_code (stmt), weights,
4040 gimple_op (stmt, 0),
4041 gimple_op (stmt, 1));
4042 break;
4044 case GIMPLE_SWITCH:
4046 gswitch *switch_stmt = as_a <gswitch *> (stmt);
4047 /* Take into account cost of the switch + guess 2 conditional jumps for
4048 each case label.
4050 TODO: once the switch expansion logic is sufficiently separated, we can
4051 do better job on estimating cost of the switch. */
4052 if (weights->time_based)
4053 cost = floor_log2 (gimple_switch_num_labels (switch_stmt)) * 2;
4054 else
4055 cost = gimple_switch_num_labels (switch_stmt) * 2;
4057 break;
4059 case GIMPLE_CALL:
4061 tree decl;
4063 if (gimple_call_internal_p (stmt))
4064 return 0;
4065 else if ((decl = gimple_call_fndecl (stmt))
4066 && DECL_BUILT_IN (decl))
4068 /* Do not special case builtins where we see the body.
4069 This just confuse inliner. */
4070 struct cgraph_node *node;
4071 if (!(node = cgraph_node::get (decl))
4072 || node->definition)
4074 /* For buitins that are likely expanded to nothing or
4075 inlined do not account operand costs. */
4076 else if (is_simple_builtin (decl))
4077 return 0;
4078 else if (is_inexpensive_builtin (decl))
4079 return weights->target_builtin_call_cost;
4080 else if (DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL)
4082 /* We canonicalize x * x to pow (x, 2.0) with -ffast-math, so
4083 specialize the cheap expansion we do here.
4084 ??? This asks for a more general solution. */
4085 switch (DECL_FUNCTION_CODE (decl))
4087 case BUILT_IN_POW:
4088 case BUILT_IN_POWF:
4089 case BUILT_IN_POWL:
4090 if (TREE_CODE (gimple_call_arg (stmt, 1)) == REAL_CST
4091 && (real_equal
4092 (&TREE_REAL_CST (gimple_call_arg (stmt, 1)),
4093 &dconst2)))
4094 return estimate_operator_cost
4095 (MULT_EXPR, weights, gimple_call_arg (stmt, 0),
4096 gimple_call_arg (stmt, 0));
4097 break;
4099 default:
4100 break;
4105 cost = decl ? weights->call_cost : weights->indirect_call_cost;
4106 if (gimple_call_lhs (stmt))
4107 cost += estimate_move_cost (TREE_TYPE (gimple_call_lhs (stmt)),
4108 weights->time_based);
4109 for (i = 0; i < gimple_call_num_args (stmt); i++)
4111 tree arg = gimple_call_arg (stmt, i);
4112 cost += estimate_move_cost (TREE_TYPE (arg),
4113 weights->time_based);
4115 break;
4118 case GIMPLE_RETURN:
4119 return weights->return_cost;
4121 case GIMPLE_GOTO:
4122 case GIMPLE_LABEL:
4123 case GIMPLE_NOP:
4124 case GIMPLE_PHI:
4125 case GIMPLE_PREDICT:
4126 case GIMPLE_DEBUG:
4127 return 0;
4129 case GIMPLE_ASM:
4131 int count = asm_str_count (gimple_asm_string (as_a <gasm *> (stmt)));
4132 /* 1000 means infinity. This avoids overflows later
4133 with very long asm statements. */
4134 if (count > 1000)
4135 count = 1000;
4136 return count;
4139 case GIMPLE_RESX:
4140 /* This is either going to be an external function call with one
4141 argument, or two register copy statements plus a goto. */
4142 return 2;
4144 case GIMPLE_EH_DISPATCH:
4145 /* ??? This is going to turn into a switch statement. Ideally
4146 we'd have a look at the eh region and estimate the number of
4147 edges involved. */
4148 return 10;
4150 case GIMPLE_BIND:
4151 return estimate_num_insns_seq (
4152 gimple_bind_body (as_a <gbind *> (stmt)),
4153 weights);
4155 case GIMPLE_EH_FILTER:
4156 return estimate_num_insns_seq (gimple_eh_filter_failure (stmt), weights);
4158 case GIMPLE_CATCH:
4159 return estimate_num_insns_seq (gimple_catch_handler (
4160 as_a <gcatch *> (stmt)),
4161 weights);
4163 case GIMPLE_TRY:
4164 return (estimate_num_insns_seq (gimple_try_eval (stmt), weights)
4165 + estimate_num_insns_seq (gimple_try_cleanup (stmt), weights));
4167 /* OMP directives are generally very expensive. */
4169 case GIMPLE_OMP_RETURN:
4170 case GIMPLE_OMP_SECTIONS_SWITCH:
4171 case GIMPLE_OMP_ATOMIC_STORE:
4172 case GIMPLE_OMP_CONTINUE:
4173 /* ...except these, which are cheap. */
4174 return 0;
4176 case GIMPLE_OMP_ATOMIC_LOAD:
4177 return weights->omp_cost;
4179 case GIMPLE_OMP_FOR:
4180 return (weights->omp_cost
4181 + estimate_num_insns_seq (gimple_omp_body (stmt), weights)
4182 + estimate_num_insns_seq (gimple_omp_for_pre_body (stmt), weights));
4184 case GIMPLE_OMP_PARALLEL:
4185 case GIMPLE_OMP_TASK:
4186 case GIMPLE_OMP_CRITICAL:
4187 case GIMPLE_OMP_MASTER:
4188 case GIMPLE_OMP_TASKGROUP:
4189 case GIMPLE_OMP_ORDERED:
4190 case GIMPLE_OMP_SECTION:
4191 case GIMPLE_OMP_SECTIONS:
4192 case GIMPLE_OMP_SINGLE:
4193 case GIMPLE_OMP_TARGET:
4194 case GIMPLE_OMP_TEAMS:
4195 return (weights->omp_cost
4196 + estimate_num_insns_seq (gimple_omp_body (stmt), weights));
4198 case GIMPLE_TRANSACTION:
4199 return (weights->tm_cost
4200 + estimate_num_insns_seq (gimple_transaction_body (
4201 as_a <gtransaction *> (stmt)),
4202 weights));
4204 default:
4205 gcc_unreachable ();
4208 return cost;
4211 /* Estimate number of instructions that will be created by expanding
4212 function FNDECL. WEIGHTS contains weights attributed to various
4213 constructs. */
4216 estimate_num_insns_fn (tree fndecl, eni_weights *weights)
4218 struct function *my_function = DECL_STRUCT_FUNCTION (fndecl);
4219 gimple_stmt_iterator bsi;
4220 basic_block bb;
4221 int n = 0;
4223 gcc_assert (my_function && my_function->cfg);
4224 FOR_EACH_BB_FN (bb, my_function)
4226 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
4227 n += estimate_num_insns (gsi_stmt (bsi), weights);
4230 return n;
4234 /* Initializes weights used by estimate_num_insns. */
4236 void
4237 init_inline_once (void)
4239 eni_size_weights.call_cost = 1;
4240 eni_size_weights.indirect_call_cost = 3;
4241 eni_size_weights.target_builtin_call_cost = 1;
4242 eni_size_weights.div_mod_cost = 1;
4243 eni_size_weights.omp_cost = 40;
4244 eni_size_weights.tm_cost = 10;
4245 eni_size_weights.time_based = false;
4246 eni_size_weights.return_cost = 1;
4248 /* Estimating time for call is difficult, since we have no idea what the
4249 called function does. In the current uses of eni_time_weights,
4250 underestimating the cost does less harm than overestimating it, so
4251 we choose a rather small value here. */
4252 eni_time_weights.call_cost = 10;
4253 eni_time_weights.indirect_call_cost = 15;
4254 eni_time_weights.target_builtin_call_cost = 1;
4255 eni_time_weights.div_mod_cost = 10;
4256 eni_time_weights.omp_cost = 40;
4257 eni_time_weights.tm_cost = 40;
4258 eni_time_weights.time_based = true;
4259 eni_time_weights.return_cost = 2;
4263 /* Install new lexical TREE_BLOCK underneath 'current_block'. */
4265 static void
4266 prepend_lexical_block (tree current_block, tree new_block)
4268 BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (current_block);
4269 BLOCK_SUBBLOCKS (current_block) = new_block;
4270 BLOCK_SUPERCONTEXT (new_block) = current_block;
4273 /* Add local variables from CALLEE to CALLER. */
4275 static inline void
4276 add_local_variables (struct function *callee, struct function *caller,
4277 copy_body_data *id)
4279 tree var;
4280 unsigned ix;
4282 FOR_EACH_LOCAL_DECL (callee, ix, var)
4283 if (!can_be_nonlocal (var, id))
4285 tree new_var = remap_decl (var, id);
4287 /* Remap debug-expressions. */
4288 if (TREE_CODE (new_var) == VAR_DECL
4289 && DECL_HAS_DEBUG_EXPR_P (var)
4290 && new_var != var)
4292 tree tem = DECL_DEBUG_EXPR (var);
4293 bool old_regimplify = id->regimplify;
4294 id->remapping_type_depth++;
4295 walk_tree (&tem, copy_tree_body_r, id, NULL);
4296 id->remapping_type_depth--;
4297 id->regimplify = old_regimplify;
4298 SET_DECL_DEBUG_EXPR (new_var, tem);
4299 DECL_HAS_DEBUG_EXPR_P (new_var) = 1;
4301 add_local_decl (caller, new_var);
4305 /* Add to BINDINGS a debug stmt resetting SRCVAR if inlining might
4306 have brought in or introduced any debug stmts for SRCVAR. */
4308 static inline void
4309 reset_debug_binding (copy_body_data *id, tree srcvar, gimple_seq *bindings)
4311 tree *remappedvarp = id->decl_map->get (srcvar);
4313 if (!remappedvarp)
4314 return;
4316 if (TREE_CODE (*remappedvarp) != VAR_DECL)
4317 return;
4319 if (*remappedvarp == id->retvar || *remappedvarp == id->retbnd)
4320 return;
4322 tree tvar = target_for_debug_bind (*remappedvarp);
4323 if (!tvar)
4324 return;
4326 gdebug *stmt = gimple_build_debug_bind (tvar, NULL_TREE,
4327 id->call_stmt);
4328 gimple_seq_add_stmt (bindings, stmt);
4331 /* For each inlined variable for which we may have debug bind stmts,
4332 add before GSI a final debug stmt resetting it, marking the end of
4333 its life, so that var-tracking knows it doesn't have to compute
4334 further locations for it. */
4336 static inline void
4337 reset_debug_bindings (copy_body_data *id, gimple_stmt_iterator gsi)
4339 tree var;
4340 unsigned ix;
4341 gimple_seq bindings = NULL;
4343 if (!gimple_in_ssa_p (id->src_cfun))
4344 return;
4346 if (!opt_for_fn (id->dst_fn, flag_var_tracking_assignments))
4347 return;
4349 for (var = DECL_ARGUMENTS (id->src_fn);
4350 var; var = DECL_CHAIN (var))
4351 reset_debug_binding (id, var, &bindings);
4353 FOR_EACH_LOCAL_DECL (id->src_cfun, ix, var)
4354 reset_debug_binding (id, var, &bindings);
4356 gsi_insert_seq_before_without_update (&gsi, bindings, GSI_SAME_STMT);
4359 /* If STMT is a GIMPLE_CALL, replace it with its inline expansion. */
4361 static bool
4362 expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id)
4364 tree use_retvar;
4365 tree fn;
4366 hash_map<tree, tree> *dst;
4367 hash_map<tree, tree> *st = NULL;
4368 tree return_slot;
4369 tree modify_dest;
4370 tree return_bounds = NULL;
4371 struct cgraph_edge *cg_edge;
4372 cgraph_inline_failed_t reason;
4373 basic_block return_block;
4374 edge e;
4375 gimple_stmt_iterator gsi, stmt_gsi;
4376 bool successfully_inlined = false;
4377 bool purge_dead_abnormal_edges;
4378 gcall *call_stmt;
4379 unsigned int i;
4381 /* The gimplifier uses input_location in too many places, such as
4382 internal_get_tmp_var (). */
4383 location_t saved_location = input_location;
4384 input_location = gimple_location (stmt);
4386 /* From here on, we're only interested in CALL_EXPRs. */
4387 call_stmt = dyn_cast <gcall *> (stmt);
4388 if (!call_stmt)
4389 goto egress;
4391 cg_edge = id->dst_node->get_edge (stmt);
4392 gcc_checking_assert (cg_edge);
4393 /* First, see if we can figure out what function is being called.
4394 If we cannot, then there is no hope of inlining the function. */
4395 if (cg_edge->indirect_unknown_callee)
4396 goto egress;
4397 fn = cg_edge->callee->decl;
4398 gcc_checking_assert (fn);
4400 /* If FN is a declaration of a function in a nested scope that was
4401 globally declared inline, we don't set its DECL_INITIAL.
4402 However, we can't blindly follow DECL_ABSTRACT_ORIGIN because the
4403 C++ front-end uses it for cdtors to refer to their internal
4404 declarations, that are not real functions. Fortunately those
4405 don't have trees to be saved, so we can tell by checking their
4406 gimple_body. */
4407 if (!DECL_INITIAL (fn)
4408 && DECL_ABSTRACT_ORIGIN (fn)
4409 && gimple_has_body_p (DECL_ABSTRACT_ORIGIN (fn)))
4410 fn = DECL_ABSTRACT_ORIGIN (fn);
4412 /* Don't try to inline functions that are not well-suited to inlining. */
4413 if (cg_edge->inline_failed)
4415 reason = cg_edge->inline_failed;
4416 /* If this call was originally indirect, we do not want to emit any
4417 inlining related warnings or sorry messages because there are no
4418 guarantees regarding those. */
4419 if (cg_edge->indirect_inlining_edge)
4420 goto egress;
4422 if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn))
4423 /* For extern inline functions that get redefined we always
4424 silently ignored always_inline flag. Better behaviour would
4425 be to be able to keep both bodies and use extern inline body
4426 for inlining, but we can't do that because frontends overwrite
4427 the body. */
4428 && !cg_edge->callee->local.redefined_extern_inline
4429 /* During early inline pass, report only when optimization is
4430 not turned on. */
4431 && (symtab->global_info_ready
4432 || !optimize
4433 || cgraph_inline_failed_type (reason) == CIF_FINAL_ERROR)
4434 /* PR 20090218-1_0.c. Body can be provided by another module. */
4435 && (reason != CIF_BODY_NOT_AVAILABLE || !flag_generate_lto))
4437 error ("inlining failed in call to always_inline %q+F: %s", fn,
4438 cgraph_inline_failed_string (reason));
4439 if (gimple_location (stmt) != UNKNOWN_LOCATION)
4440 inform (gimple_location (stmt), "called from here");
4441 else if (DECL_SOURCE_LOCATION (cfun->decl) != UNKNOWN_LOCATION)
4442 inform (DECL_SOURCE_LOCATION (cfun->decl),
4443 "called from this function");
4445 else if (warn_inline
4446 && DECL_DECLARED_INLINE_P (fn)
4447 && !DECL_NO_INLINE_WARNING_P (fn)
4448 && !DECL_IN_SYSTEM_HEADER (fn)
4449 && reason != CIF_UNSPECIFIED
4450 && !lookup_attribute ("noinline", DECL_ATTRIBUTES (fn))
4451 /* Do not warn about not inlined recursive calls. */
4452 && !cg_edge->recursive_p ()
4453 /* Avoid warnings during early inline pass. */
4454 && symtab->global_info_ready)
4456 if (warning (OPT_Winline, "inlining failed in call to %q+F: %s",
4457 fn, _(cgraph_inline_failed_string (reason))))
4459 if (gimple_location (stmt) != UNKNOWN_LOCATION)
4460 inform (gimple_location (stmt), "called from here");
4461 else if (DECL_SOURCE_LOCATION (cfun->decl) != UNKNOWN_LOCATION)
4462 inform (DECL_SOURCE_LOCATION (cfun->decl),
4463 "called from this function");
4466 goto egress;
4468 fn = cg_edge->callee->decl;
4469 cg_edge->callee->get_untransformed_body ();
4471 if (flag_checking && cg_edge->callee->decl != id->dst_node->decl)
4472 cg_edge->callee->verify ();
4474 /* We will be inlining this callee. */
4475 id->eh_lp_nr = lookup_stmt_eh_lp (stmt);
4476 id->assign_stmts.create (0);
4478 /* Update the callers EH personality. */
4479 if (DECL_FUNCTION_PERSONALITY (cg_edge->callee->decl))
4480 DECL_FUNCTION_PERSONALITY (cg_edge->caller->decl)
4481 = DECL_FUNCTION_PERSONALITY (cg_edge->callee->decl);
4483 /* Split the block holding the GIMPLE_CALL. */
4484 e = split_block (bb, stmt);
4485 bb = e->src;
4486 return_block = e->dest;
4487 remove_edge (e);
4489 /* split_block splits after the statement; work around this by
4490 moving the call into the second block manually. Not pretty,
4491 but seems easier than doing the CFG manipulation by hand
4492 when the GIMPLE_CALL is in the last statement of BB. */
4493 stmt_gsi = gsi_last_bb (bb);
4494 gsi_remove (&stmt_gsi, false);
4496 /* If the GIMPLE_CALL was in the last statement of BB, it may have
4497 been the source of abnormal edges. In this case, schedule
4498 the removal of dead abnormal edges. */
4499 gsi = gsi_start_bb (return_block);
4500 if (gsi_end_p (gsi))
4502 gsi_insert_after (&gsi, stmt, GSI_NEW_STMT);
4503 purge_dead_abnormal_edges = true;
4505 else
4507 gsi_insert_before (&gsi, stmt, GSI_NEW_STMT);
4508 purge_dead_abnormal_edges = false;
4511 stmt_gsi = gsi_start_bb (return_block);
4513 /* Build a block containing code to initialize the arguments, the
4514 actual inline expansion of the body, and a label for the return
4515 statements within the function to jump to. The type of the
4516 statement expression is the return type of the function call.
4517 ??? If the call does not have an associated block then we will
4518 remap all callee blocks to NULL, effectively dropping most of
4519 its debug information. This should only happen for calls to
4520 artificial decls inserted by the compiler itself. We need to
4521 either link the inlined blocks into the caller block tree or
4522 not refer to them in any way to not break GC for locations. */
4523 if (gimple_block (stmt))
4525 id->block = make_node (BLOCK);
4526 BLOCK_ABSTRACT_ORIGIN (id->block) = fn;
4527 BLOCK_SOURCE_LOCATION (id->block)
4528 = LOCATION_LOCUS (gimple_location (stmt));
4529 prepend_lexical_block (gimple_block (stmt), id->block);
4532 /* Local declarations will be replaced by their equivalents in this
4533 map. */
4534 st = id->decl_map;
4535 id->decl_map = new hash_map<tree, tree>;
4536 dst = id->debug_map;
4537 id->debug_map = NULL;
4539 /* Record the function we are about to inline. */
4540 id->src_fn = fn;
4541 id->src_node = cg_edge->callee;
4542 id->src_cfun = DECL_STRUCT_FUNCTION (fn);
4543 id->call_stmt = stmt;
4545 /* If the src function contains an IFN_VA_ARG, then so will the dst
4546 function after inlining. */
4547 if ((id->src_cfun->curr_properties & PROP_gimple_lva) == 0)
4549 struct function *dst_cfun = DECL_STRUCT_FUNCTION (id->dst_fn);
4550 dst_cfun->curr_properties &= ~PROP_gimple_lva;
4553 gcc_assert (!id->src_cfun->after_inlining);
4555 id->entry_bb = bb;
4556 if (lookup_attribute ("cold", DECL_ATTRIBUTES (fn)))
4558 gimple_stmt_iterator si = gsi_last_bb (bb);
4559 gsi_insert_after (&si, gimple_build_predict (PRED_COLD_FUNCTION,
4560 NOT_TAKEN),
4561 GSI_NEW_STMT);
4563 initialize_inlined_parameters (id, stmt, fn, bb);
4565 if (DECL_INITIAL (fn))
4567 if (gimple_block (stmt))
4569 tree *var;
4571 prepend_lexical_block (id->block,
4572 remap_blocks (DECL_INITIAL (fn), id));
4573 gcc_checking_assert (BLOCK_SUBBLOCKS (id->block)
4574 && (BLOCK_CHAIN (BLOCK_SUBBLOCKS (id->block))
4575 == NULL_TREE));
4576 /* Move vars for PARM_DECLs from DECL_INITIAL block to id->block,
4577 otherwise for DWARF DW_TAG_formal_parameter will not be children of
4578 DW_TAG_inlined_subroutine, but of a DW_TAG_lexical_block
4579 under it. The parameters can be then evaluated in the debugger,
4580 but don't show in backtraces. */
4581 for (var = &BLOCK_VARS (BLOCK_SUBBLOCKS (id->block)); *var; )
4582 if (TREE_CODE (DECL_ORIGIN (*var)) == PARM_DECL)
4584 tree v = *var;
4585 *var = TREE_CHAIN (v);
4586 TREE_CHAIN (v) = BLOCK_VARS (id->block);
4587 BLOCK_VARS (id->block) = v;
4589 else
4590 var = &TREE_CHAIN (*var);
4592 else
4593 remap_blocks_to_null (DECL_INITIAL (fn), id);
4596 /* Return statements in the function body will be replaced by jumps
4597 to the RET_LABEL. */
4598 gcc_assert (DECL_INITIAL (fn));
4599 gcc_assert (TREE_CODE (DECL_INITIAL (fn)) == BLOCK);
4601 /* Find the LHS to which the result of this call is assigned. */
4602 return_slot = NULL;
4603 if (gimple_call_lhs (stmt))
4605 modify_dest = gimple_call_lhs (stmt);
4607 /* Remember where to copy returned bounds. */
4608 if (gimple_call_with_bounds_p (stmt)
4609 && TREE_CODE (modify_dest) == SSA_NAME)
4611 gcall *retbnd = chkp_retbnd_call_by_val (modify_dest);
4612 if (retbnd)
4614 return_bounds = gimple_call_lhs (retbnd);
4615 /* If returned bounds are not used then just
4616 remove unused call. */
4617 if (!return_bounds)
4619 gimple_stmt_iterator iter = gsi_for_stmt (retbnd);
4620 gsi_remove (&iter, true);
4625 /* The function which we are inlining might not return a value,
4626 in which case we should issue a warning that the function
4627 does not return a value. In that case the optimizers will
4628 see that the variable to which the value is assigned was not
4629 initialized. We do not want to issue a warning about that
4630 uninitialized variable. */
4631 if (DECL_P (modify_dest))
4632 TREE_NO_WARNING (modify_dest) = 1;
4634 if (gimple_call_return_slot_opt_p (call_stmt))
4636 return_slot = modify_dest;
4637 modify_dest = NULL;
4640 else
4641 modify_dest = NULL;
4643 /* If we are inlining a call to the C++ operator new, we don't want
4644 to use type based alias analysis on the return value. Otherwise
4645 we may get confused if the compiler sees that the inlined new
4646 function returns a pointer which was just deleted. See bug
4647 33407. */
4648 if (DECL_IS_OPERATOR_NEW (fn))
4650 return_slot = NULL;
4651 modify_dest = NULL;
4654 /* Declare the return variable for the function. */
4655 use_retvar = declare_return_variable (id, return_slot, modify_dest,
4656 return_bounds, bb);
4658 /* Add local vars in this inlined callee to caller. */
4659 add_local_variables (id->src_cfun, cfun, id);
4661 if (dump_file && (dump_flags & TDF_DETAILS))
4663 fprintf (dump_file, "Inlining ");
4664 print_generic_expr (dump_file, id->src_fn, 0);
4665 fprintf (dump_file, " to ");
4666 print_generic_expr (dump_file, id->dst_fn, 0);
4667 fprintf (dump_file, " with frequency %i\n", cg_edge->frequency);
4670 /* This is it. Duplicate the callee body. Assume callee is
4671 pre-gimplified. Note that we must not alter the caller
4672 function in any way before this point, as this CALL_EXPR may be
4673 a self-referential call; if we're calling ourselves, we need to
4674 duplicate our body before altering anything. */
4675 copy_body (id, cg_edge->callee->count,
4676 GCOV_COMPUTE_SCALE (cg_edge->frequency, CGRAPH_FREQ_BASE),
4677 bb, return_block, NULL);
4679 reset_debug_bindings (id, stmt_gsi);
4681 /* Reset the escaped solution. */
4682 if (cfun->gimple_df)
4683 pt_solution_reset (&cfun->gimple_df->escaped);
4685 /* Clean up. */
4686 if (id->debug_map)
4688 delete id->debug_map;
4689 id->debug_map = dst;
4691 delete id->decl_map;
4692 id->decl_map = st;
4694 /* Unlink the calls virtual operands before replacing it. */
4695 unlink_stmt_vdef (stmt);
4696 if (gimple_vdef (stmt)
4697 && TREE_CODE (gimple_vdef (stmt)) == SSA_NAME)
4698 release_ssa_name (gimple_vdef (stmt));
4700 /* If the inlined function returns a result that we care about,
4701 substitute the GIMPLE_CALL with an assignment of the return
4702 variable to the LHS of the call. That is, if STMT was
4703 'a = foo (...)', substitute the call with 'a = USE_RETVAR'. */
4704 if (use_retvar && gimple_call_lhs (stmt))
4706 gimple *old_stmt = stmt;
4707 stmt = gimple_build_assign (gimple_call_lhs (stmt), use_retvar);
4708 gsi_replace (&stmt_gsi, stmt, false);
4709 maybe_clean_or_replace_eh_stmt (old_stmt, stmt);
4711 /* Copy bounds if we copy structure with bounds. */
4712 if (chkp_function_instrumented_p (id->dst_fn)
4713 && !BOUNDED_P (use_retvar)
4714 && chkp_type_has_pointer (TREE_TYPE (use_retvar)))
4715 id->assign_stmts.safe_push (stmt);
4717 else
4719 /* Handle the case of inlining a function with no return
4720 statement, which causes the return value to become undefined. */
4721 if (gimple_call_lhs (stmt)
4722 && TREE_CODE (gimple_call_lhs (stmt)) == SSA_NAME)
4724 tree name = gimple_call_lhs (stmt);
4725 tree var = SSA_NAME_VAR (name);
4726 tree def = ssa_default_def (cfun, var);
4728 if (def)
4730 /* If the variable is used undefined, make this name
4731 undefined via a move. */
4732 stmt = gimple_build_assign (gimple_call_lhs (stmt), def);
4733 gsi_replace (&stmt_gsi, stmt, true);
4735 else
4737 /* Otherwise make this variable undefined. */
4738 gsi_remove (&stmt_gsi, true);
4739 set_ssa_default_def (cfun, var, name);
4740 SSA_NAME_DEF_STMT (name) = gimple_build_nop ();
4743 else
4744 gsi_remove (&stmt_gsi, true);
4747 /* Put returned bounds into the correct place if required. */
4748 if (return_bounds)
4750 gimple *old_stmt = SSA_NAME_DEF_STMT (return_bounds);
4751 gimple *new_stmt = gimple_build_assign (return_bounds, id->retbnd);
4752 gimple_stmt_iterator bnd_gsi = gsi_for_stmt (old_stmt);
4753 unlink_stmt_vdef (old_stmt);
4754 gsi_replace (&bnd_gsi, new_stmt, false);
4755 maybe_clean_or_replace_eh_stmt (old_stmt, new_stmt);
4756 cgraph_update_edges_for_call_stmt (old_stmt,
4757 gimple_call_fndecl (old_stmt),
4758 new_stmt);
4761 if (purge_dead_abnormal_edges)
4763 gimple_purge_dead_eh_edges (return_block);
4764 gimple_purge_dead_abnormal_call_edges (return_block);
4767 /* If the value of the new expression is ignored, that's OK. We
4768 don't warn about this for CALL_EXPRs, so we shouldn't warn about
4769 the equivalent inlined version either. */
4770 if (is_gimple_assign (stmt))
4772 gcc_assert (gimple_assign_single_p (stmt)
4773 || CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt)));
4774 TREE_USED (gimple_assign_rhs1 (stmt)) = 1;
4777 /* Copy bounds for all generated assigns that need it. */
4778 for (i = 0; i < id->assign_stmts.length (); i++)
4779 chkp_copy_bounds_for_assign (id->assign_stmts[i], cg_edge);
4780 id->assign_stmts.release ();
4782 /* Output the inlining info for this abstract function, since it has been
4783 inlined. If we don't do this now, we can lose the information about the
4784 variables in the function when the blocks get blown away as soon as we
4785 remove the cgraph node. */
4786 if (gimple_block (stmt))
4787 (*debug_hooks->outlining_inline_function) (cg_edge->callee->decl);
4789 /* Update callgraph if needed. */
4790 cg_edge->callee->remove ();
4792 id->block = NULL_TREE;
4793 successfully_inlined = true;
4795 egress:
4796 input_location = saved_location;
4797 return successfully_inlined;
4800 /* Expand call statements reachable from STMT_P.
4801 We can only have CALL_EXPRs as the "toplevel" tree code or nested
4802 in a MODIFY_EXPR. */
4804 static bool
4805 gimple_expand_calls_inline (basic_block bb, copy_body_data *id)
4807 gimple_stmt_iterator gsi;
4808 bool inlined = false;
4810 for (gsi = gsi_last_bb (bb); !gsi_end_p (gsi);)
4812 gimple *stmt = gsi_stmt (gsi);
4813 gsi_prev (&gsi);
4815 if (is_gimple_call (stmt)
4816 && !gimple_call_internal_p (stmt))
4817 inlined |= expand_call_inline (bb, stmt, id);
4820 return inlined;
4824 /* Walk all basic blocks created after FIRST and try to fold every statement
4825 in the STATEMENTS pointer set. */
4827 static void
4828 fold_marked_statements (int first, hash_set<gimple *> *statements)
4830 for (; first < n_basic_blocks_for_fn (cfun); first++)
4831 if (BASIC_BLOCK_FOR_FN (cfun, first))
4833 gimple_stmt_iterator gsi;
4835 for (gsi = gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun, first));
4836 !gsi_end_p (gsi);
4837 gsi_next (&gsi))
4838 if (statements->contains (gsi_stmt (gsi)))
4840 gimple *old_stmt = gsi_stmt (gsi);
4841 tree old_decl = is_gimple_call (old_stmt) ? gimple_call_fndecl (old_stmt) : 0;
4843 if (old_decl && DECL_BUILT_IN (old_decl))
4845 /* Folding builtins can create multiple instructions,
4846 we need to look at all of them. */
4847 gimple_stmt_iterator i2 = gsi;
4848 gsi_prev (&i2);
4849 if (fold_stmt (&gsi))
4851 gimple *new_stmt;
4852 /* If a builtin at the end of a bb folded into nothing,
4853 the following loop won't work. */
4854 if (gsi_end_p (gsi))
4856 cgraph_update_edges_for_call_stmt (old_stmt,
4857 old_decl, NULL);
4858 break;
4860 if (gsi_end_p (i2))
4861 i2 = gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun, first));
4862 else
4863 gsi_next (&i2);
4864 while (1)
4866 new_stmt = gsi_stmt (i2);
4867 update_stmt (new_stmt);
4868 cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4869 new_stmt);
4871 if (new_stmt == gsi_stmt (gsi))
4873 /* It is okay to check only for the very last
4874 of these statements. If it is a throwing
4875 statement nothing will change. If it isn't
4876 this can remove EH edges. If that weren't
4877 correct then because some intermediate stmts
4878 throw, but not the last one. That would mean
4879 we'd have to split the block, which we can't
4880 here and we'd loose anyway. And as builtins
4881 probably never throw, this all
4882 is mood anyway. */
4883 if (maybe_clean_or_replace_eh_stmt (old_stmt,
4884 new_stmt))
4885 gimple_purge_dead_eh_edges (
4886 BASIC_BLOCK_FOR_FN (cfun, first));
4887 break;
4889 gsi_next (&i2);
4893 else if (fold_stmt (&gsi))
4895 /* Re-read the statement from GSI as fold_stmt() may
4896 have changed it. */
4897 gimple *new_stmt = gsi_stmt (gsi);
4898 update_stmt (new_stmt);
4900 if (is_gimple_call (old_stmt)
4901 || is_gimple_call (new_stmt))
4902 cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4903 new_stmt);
4905 if (maybe_clean_or_replace_eh_stmt (old_stmt, new_stmt))
4906 gimple_purge_dead_eh_edges (BASIC_BLOCK_FOR_FN (cfun,
4907 first));
4913 /* Expand calls to inline functions in the body of FN. */
4915 unsigned int
4916 optimize_inline_calls (tree fn)
4918 copy_body_data id;
4919 basic_block bb;
4920 int last = n_basic_blocks_for_fn (cfun);
4921 bool inlined_p = false;
4923 /* Clear out ID. */
4924 memset (&id, 0, sizeof (id));
4926 id.src_node = id.dst_node = cgraph_node::get (fn);
4927 gcc_assert (id.dst_node->definition);
4928 id.dst_fn = fn;
4929 /* Or any functions that aren't finished yet. */
4930 if (current_function_decl)
4931 id.dst_fn = current_function_decl;
4933 id.copy_decl = copy_decl_maybe_to_var;
4934 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
4935 id.transform_new_cfg = false;
4936 id.transform_return_to_modify = true;
4937 id.transform_parameter = true;
4938 id.transform_lang_insert_block = NULL;
4939 id.statements_to_fold = new hash_set<gimple *>;
4941 push_gimplify_context ();
4943 /* We make no attempts to keep dominance info up-to-date. */
4944 free_dominance_info (CDI_DOMINATORS);
4945 free_dominance_info (CDI_POST_DOMINATORS);
4947 /* Register specific gimple functions. */
4948 gimple_register_cfg_hooks ();
4950 /* Reach the trees by walking over the CFG, and note the
4951 enclosing basic-blocks in the call edges. */
4952 /* We walk the blocks going forward, because inlined function bodies
4953 will split id->current_basic_block, and the new blocks will
4954 follow it; we'll trudge through them, processing their CALL_EXPRs
4955 along the way. */
4956 FOR_EACH_BB_FN (bb, cfun)
4957 inlined_p |= gimple_expand_calls_inline (bb, &id);
4959 pop_gimplify_context (NULL);
4961 if (flag_checking)
4963 struct cgraph_edge *e;
4965 id.dst_node->verify ();
4967 /* Double check that we inlined everything we are supposed to inline. */
4968 for (e = id.dst_node->callees; e; e = e->next_callee)
4969 gcc_assert (e->inline_failed);
4972 /* Fold queued statements. */
4973 fold_marked_statements (last, id.statements_to_fold);
4974 delete id.statements_to_fold;
4976 gcc_assert (!id.debug_stmts.exists ());
4978 /* If we didn't inline into the function there is nothing to do. */
4979 if (!inlined_p)
4980 return 0;
4982 /* Renumber the lexical scoping (non-code) blocks consecutively. */
4983 number_blocks (fn);
4985 delete_unreachable_blocks_update_callgraph (&id);
4986 if (flag_checking)
4987 id.dst_node->verify ();
4989 /* It would be nice to check SSA/CFG/statement consistency here, but it is
4990 not possible yet - the IPA passes might make various functions to not
4991 throw and they don't care to proactively update local EH info. This is
4992 done later in fixup_cfg pass that also execute the verification. */
4993 return (TODO_update_ssa
4994 | TODO_cleanup_cfg
4995 | (gimple_in_ssa_p (cfun) ? TODO_remove_unused_locals : 0)
4996 | (gimple_in_ssa_p (cfun) ? TODO_update_address_taken : 0)
4997 | (profile_status_for_fn (cfun) != PROFILE_ABSENT
4998 ? TODO_rebuild_frequencies : 0));
5001 /* Passed to walk_tree. Copies the node pointed to, if appropriate. */
5003 tree
5004 copy_tree_r (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
5006 enum tree_code code = TREE_CODE (*tp);
5007 enum tree_code_class cl = TREE_CODE_CLASS (code);
5009 /* We make copies of most nodes. */
5010 if (IS_EXPR_CODE_CLASS (cl)
5011 || code == TREE_LIST
5012 || code == TREE_VEC
5013 || code == TYPE_DECL
5014 || code == OMP_CLAUSE)
5016 /* Because the chain gets clobbered when we make a copy, we save it
5017 here. */
5018 tree chain = NULL_TREE, new_tree;
5020 if (CODE_CONTAINS_STRUCT (code, TS_COMMON))
5021 chain = TREE_CHAIN (*tp);
5023 /* Copy the node. */
5024 new_tree = copy_node (*tp);
5026 *tp = new_tree;
5028 /* Now, restore the chain, if appropriate. That will cause
5029 walk_tree to walk into the chain as well. */
5030 if (code == PARM_DECL
5031 || code == TREE_LIST
5032 || code == OMP_CLAUSE)
5033 TREE_CHAIN (*tp) = chain;
5035 /* For now, we don't update BLOCKs when we make copies. So, we
5036 have to nullify all BIND_EXPRs. */
5037 if (TREE_CODE (*tp) == BIND_EXPR)
5038 BIND_EXPR_BLOCK (*tp) = NULL_TREE;
5040 else if (code == CONSTRUCTOR)
5042 /* CONSTRUCTOR nodes need special handling because
5043 we need to duplicate the vector of elements. */
5044 tree new_tree;
5046 new_tree = copy_node (*tp);
5047 CONSTRUCTOR_ELTS (new_tree) = vec_safe_copy (CONSTRUCTOR_ELTS (*tp));
5048 *tp = new_tree;
5050 else if (code == STATEMENT_LIST)
5051 /* We used to just abort on STATEMENT_LIST, but we can run into them
5052 with statement-expressions (c++/40975). */
5053 copy_statement_list (tp);
5054 else if (TREE_CODE_CLASS (code) == tcc_type)
5055 *walk_subtrees = 0;
5056 else if (TREE_CODE_CLASS (code) == tcc_declaration)
5057 *walk_subtrees = 0;
5058 else if (TREE_CODE_CLASS (code) == tcc_constant)
5059 *walk_subtrees = 0;
5060 return NULL_TREE;
5063 /* The SAVE_EXPR pointed to by TP is being copied. If ST contains
5064 information indicating to what new SAVE_EXPR this one should be mapped,
5065 use that one. Otherwise, create a new node and enter it in ST. FN is
5066 the function into which the copy will be placed. */
5068 static void
5069 remap_save_expr (tree *tp, hash_map<tree, tree> *st, int *walk_subtrees)
5071 tree *n;
5072 tree t;
5074 /* See if we already encountered this SAVE_EXPR. */
5075 n = st->get (*tp);
5077 /* If we didn't already remap this SAVE_EXPR, do so now. */
5078 if (!n)
5080 t = copy_node (*tp);
5082 /* Remember this SAVE_EXPR. */
5083 st->put (*tp, t);
5084 /* Make sure we don't remap an already-remapped SAVE_EXPR. */
5085 st->put (t, t);
5087 else
5089 /* We've already walked into this SAVE_EXPR; don't do it again. */
5090 *walk_subtrees = 0;
5091 t = *n;
5094 /* Replace this SAVE_EXPR with the copy. */
5095 *tp = t;
5098 /* Called via walk_gimple_seq. If *GSIP points to a GIMPLE_LABEL for a local
5099 label, copies the declaration and enters it in the splay_tree in DATA (which
5100 is really a 'copy_body_data *'. */
5102 static tree
5103 mark_local_labels_stmt (gimple_stmt_iterator *gsip,
5104 bool *handled_ops_p ATTRIBUTE_UNUSED,
5105 struct walk_stmt_info *wi)
5107 copy_body_data *id = (copy_body_data *) wi->info;
5108 glabel *stmt = dyn_cast <glabel *> (gsi_stmt (*gsip));
5110 if (stmt)
5112 tree decl = gimple_label_label (stmt);
5114 /* Copy the decl and remember the copy. */
5115 insert_decl_map (id, decl, id->copy_decl (decl, id));
5118 return NULL_TREE;
5121 static gimple_seq duplicate_remap_omp_clause_seq (gimple_seq seq,
5122 struct walk_stmt_info *wi);
5124 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5125 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5126 remaps all local declarations to appropriate replacements in gimple
5127 operands. */
5129 static tree
5130 replace_locals_op (tree *tp, int *walk_subtrees, void *data)
5132 struct walk_stmt_info *wi = (struct walk_stmt_info*) data;
5133 copy_body_data *id = (copy_body_data *) wi->info;
5134 hash_map<tree, tree> *st = id->decl_map;
5135 tree *n;
5136 tree expr = *tp;
5138 /* Only a local declaration (variable or label). */
5139 if ((TREE_CODE (expr) == VAR_DECL
5140 && !TREE_STATIC (expr))
5141 || TREE_CODE (expr) == LABEL_DECL)
5143 /* Lookup the declaration. */
5144 n = st->get (expr);
5146 /* If it's there, remap it. */
5147 if (n)
5148 *tp = *n;
5149 *walk_subtrees = 0;
5151 else if (TREE_CODE (expr) == STATEMENT_LIST
5152 || TREE_CODE (expr) == BIND_EXPR
5153 || TREE_CODE (expr) == SAVE_EXPR)
5154 gcc_unreachable ();
5155 else if (TREE_CODE (expr) == TARGET_EXPR)
5157 /* Don't mess with a TARGET_EXPR that hasn't been expanded.
5158 It's OK for this to happen if it was part of a subtree that
5159 isn't immediately expanded, such as operand 2 of another
5160 TARGET_EXPR. */
5161 if (!TREE_OPERAND (expr, 1))
5163 TREE_OPERAND (expr, 1) = TREE_OPERAND (expr, 3);
5164 TREE_OPERAND (expr, 3) = NULL_TREE;
5167 else if (TREE_CODE (expr) == OMP_CLAUSE)
5169 /* Before the omplower pass completes, some OMP clauses can contain
5170 sequences that are neither copied by gimple_seq_copy nor walked by
5171 walk_gimple_seq. To make copy_gimple_seq_and_replace_locals work even
5172 in those situations, we have to copy and process them explicitely. */
5174 if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LASTPRIVATE)
5176 gimple_seq seq = OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr);
5177 seq = duplicate_remap_omp_clause_seq (seq, wi);
5178 OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (expr) = seq;
5180 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_LINEAR)
5182 gimple_seq seq = OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr);
5183 seq = duplicate_remap_omp_clause_seq (seq, wi);
5184 OMP_CLAUSE_LINEAR_GIMPLE_SEQ (expr) = seq;
5186 else if (OMP_CLAUSE_CODE (expr) == OMP_CLAUSE_REDUCTION)
5188 gimple_seq seq = OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr);
5189 seq = duplicate_remap_omp_clause_seq (seq, wi);
5190 OMP_CLAUSE_REDUCTION_GIMPLE_INIT (expr) = seq;
5191 seq = OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr);
5192 seq = duplicate_remap_omp_clause_seq (seq, wi);
5193 OMP_CLAUSE_REDUCTION_GIMPLE_MERGE (expr) = seq;
5197 /* Keep iterating. */
5198 return NULL_TREE;
5202 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5203 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5204 remaps all local declarations to appropriate replacements in gimple
5205 statements. */
5207 static tree
5208 replace_locals_stmt (gimple_stmt_iterator *gsip,
5209 bool *handled_ops_p ATTRIBUTE_UNUSED,
5210 struct walk_stmt_info *wi)
5212 copy_body_data *id = (copy_body_data *) wi->info;
5213 gimple *gs = gsi_stmt (*gsip);
5215 if (gbind *stmt = dyn_cast <gbind *> (gs))
5217 tree block = gimple_bind_block (stmt);
5219 if (block)
5221 remap_block (&block, id);
5222 gimple_bind_set_block (stmt, block);
5225 /* This will remap a lot of the same decls again, but this should be
5226 harmless. */
5227 if (gimple_bind_vars (stmt))
5228 gimple_bind_set_vars (stmt, remap_decls (gimple_bind_vars (stmt),
5229 NULL, id));
5232 /* Keep iterating. */
5233 return NULL_TREE;
5236 /* Create a copy of SEQ and remap all decls in it. */
5238 static gimple_seq
5239 duplicate_remap_omp_clause_seq (gimple_seq seq, struct walk_stmt_info *wi)
5241 if (!seq)
5242 return NULL;
5244 /* If there are any labels in OMP sequences, they can be only referred to in
5245 the sequence itself and therefore we can do both here. */
5246 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, wi);
5247 gimple_seq copy = gimple_seq_copy (seq);
5248 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, wi);
5249 return copy;
5252 /* Copies everything in SEQ and replaces variables and labels local to
5253 current_function_decl. */
5255 gimple_seq
5256 copy_gimple_seq_and_replace_locals (gimple_seq seq)
5258 copy_body_data id;
5259 struct walk_stmt_info wi;
5260 gimple_seq copy;
5262 /* There's nothing to do for NULL_TREE. */
5263 if (seq == NULL)
5264 return seq;
5266 /* Set up ID. */
5267 memset (&id, 0, sizeof (id));
5268 id.src_fn = current_function_decl;
5269 id.dst_fn = current_function_decl;
5270 id.decl_map = new hash_map<tree, tree>;
5271 id.debug_map = NULL;
5273 id.copy_decl = copy_decl_no_change;
5274 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
5275 id.transform_new_cfg = false;
5276 id.transform_return_to_modify = false;
5277 id.transform_parameter = false;
5278 id.transform_lang_insert_block = NULL;
5280 /* Walk the tree once to find local labels. */
5281 memset (&wi, 0, sizeof (wi));
5282 hash_set<tree> visited;
5283 wi.info = &id;
5284 wi.pset = &visited;
5285 walk_gimple_seq (seq, mark_local_labels_stmt, NULL, &wi);
5287 copy = gimple_seq_copy (seq);
5289 /* Walk the copy, remapping decls. */
5290 memset (&wi, 0, sizeof (wi));
5291 wi.info = &id;
5292 walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, &wi);
5294 /* Clean up. */
5295 delete id.decl_map;
5296 if (id.debug_map)
5297 delete id.debug_map;
5298 if (id.dependence_map)
5300 delete id.dependence_map;
5301 id.dependence_map = NULL;
5304 return copy;
5308 /* Allow someone to determine if SEARCH is a child of TOP from gdb. */
5310 static tree
5311 debug_find_tree_1 (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED, void *data)
5313 if (*tp == data)
5314 return (tree) data;
5315 else
5316 return NULL;
5319 DEBUG_FUNCTION bool
5320 debug_find_tree (tree top, tree search)
5322 return walk_tree_without_duplicates (&top, debug_find_tree_1, search) != 0;
5326 /* Declare the variables created by the inliner. Add all the variables in
5327 VARS to BIND_EXPR. */
5329 static void
5330 declare_inline_vars (tree block, tree vars)
5332 tree t;
5333 for (t = vars; t; t = DECL_CHAIN (t))
5335 DECL_SEEN_IN_BIND_EXPR_P (t) = 1;
5336 gcc_assert (!TREE_STATIC (t) && !TREE_ASM_WRITTEN (t));
5337 add_local_decl (cfun, t);
5340 if (block)
5341 BLOCK_VARS (block) = chainon (BLOCK_VARS (block), vars);
5344 /* Copy NODE (which must be a DECL). The DECL originally was in the FROM_FN,
5345 but now it will be in the TO_FN. PARM_TO_VAR means enable PARM_DECL to
5346 VAR_DECL translation. */
5348 static tree
5349 copy_decl_for_dup_finish (copy_body_data *id, tree decl, tree copy)
5351 /* Don't generate debug information for the copy if we wouldn't have
5352 generated it for the copy either. */
5353 DECL_ARTIFICIAL (copy) = DECL_ARTIFICIAL (decl);
5354 DECL_IGNORED_P (copy) = DECL_IGNORED_P (decl);
5356 /* Set the DECL_ABSTRACT_ORIGIN so the debugging routines know what
5357 declaration inspired this copy. */
5358 DECL_ABSTRACT_ORIGIN (copy) = DECL_ORIGIN (decl);
5360 /* The new variable/label has no RTL, yet. */
5361 if (CODE_CONTAINS_STRUCT (TREE_CODE (copy), TS_DECL_WRTL)
5362 && !TREE_STATIC (copy) && !DECL_EXTERNAL (copy))
5363 SET_DECL_RTL (copy, 0);
5365 /* These args would always appear unused, if not for this. */
5366 TREE_USED (copy) = 1;
5368 /* Set the context for the new declaration. */
5369 if (!DECL_CONTEXT (decl))
5370 /* Globals stay global. */
5372 else if (DECL_CONTEXT (decl) != id->src_fn)
5373 /* Things that weren't in the scope of the function we're inlining
5374 from aren't in the scope we're inlining to, either. */
5376 else if (TREE_STATIC (decl))
5377 /* Function-scoped static variables should stay in the original
5378 function. */
5380 else
5381 /* Ordinary automatic local variables are now in the scope of the
5382 new function. */
5383 DECL_CONTEXT (copy) = id->dst_fn;
5385 return copy;
5388 static tree
5389 copy_decl_to_var (tree decl, copy_body_data *id)
5391 tree copy, type;
5393 gcc_assert (TREE_CODE (decl) == PARM_DECL
5394 || TREE_CODE (decl) == RESULT_DECL);
5396 type = TREE_TYPE (decl);
5398 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5399 VAR_DECL, DECL_NAME (decl), type);
5400 if (DECL_PT_UID_SET_P (decl))
5401 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5402 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5403 TREE_READONLY (copy) = TREE_READONLY (decl);
5404 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5405 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5407 return copy_decl_for_dup_finish (id, decl, copy);
5410 /* Like copy_decl_to_var, but create a return slot object instead of a
5411 pointer variable for return by invisible reference. */
5413 static tree
5414 copy_result_decl_to_var (tree decl, copy_body_data *id)
5416 tree copy, type;
5418 gcc_assert (TREE_CODE (decl) == PARM_DECL
5419 || TREE_CODE (decl) == RESULT_DECL);
5421 type = TREE_TYPE (decl);
5422 if (DECL_BY_REFERENCE (decl))
5423 type = TREE_TYPE (type);
5425 copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
5426 VAR_DECL, DECL_NAME (decl), type);
5427 if (DECL_PT_UID_SET_P (decl))
5428 SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
5429 TREE_READONLY (copy) = TREE_READONLY (decl);
5430 TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
5431 if (!DECL_BY_REFERENCE (decl))
5433 TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
5434 DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
5437 return copy_decl_for_dup_finish (id, decl, copy);
5440 tree
5441 copy_decl_no_change (tree decl, copy_body_data *id)
5443 tree copy;
5445 copy = copy_node (decl);
5447 /* The COPY is not abstract; it will be generated in DST_FN. */
5448 DECL_ABSTRACT_P (copy) = false;
5449 lang_hooks.dup_lang_specific_decl (copy);
5451 /* TREE_ADDRESSABLE isn't used to indicate that a label's address has
5452 been taken; it's for internal bookkeeping in expand_goto_internal. */
5453 if (TREE_CODE (copy) == LABEL_DECL)
5455 TREE_ADDRESSABLE (copy) = 0;
5456 LABEL_DECL_UID (copy) = -1;
5459 return copy_decl_for_dup_finish (id, decl, copy);
5462 static tree
5463 copy_decl_maybe_to_var (tree decl, copy_body_data *id)
5465 if (TREE_CODE (decl) == PARM_DECL || TREE_CODE (decl) == RESULT_DECL)
5466 return copy_decl_to_var (decl, id);
5467 else
5468 return copy_decl_no_change (decl, id);
5471 /* Return a copy of the function's argument tree. */
5472 static tree
5473 copy_arguments_for_versioning (tree orig_parm, copy_body_data * id,
5474 bitmap args_to_skip, tree *vars)
5476 tree arg, *parg;
5477 tree new_parm = NULL;
5478 int i = 0;
5480 parg = &new_parm;
5482 for (arg = orig_parm; arg; arg = DECL_CHAIN (arg), i++)
5483 if (!args_to_skip || !bitmap_bit_p (args_to_skip, i))
5485 tree new_tree = remap_decl (arg, id);
5486 if (TREE_CODE (new_tree) != PARM_DECL)
5487 new_tree = id->copy_decl (arg, id);
5488 lang_hooks.dup_lang_specific_decl (new_tree);
5489 *parg = new_tree;
5490 parg = &DECL_CHAIN (new_tree);
5492 else if (!id->decl_map->get (arg))
5494 /* Make an equivalent VAR_DECL. If the argument was used
5495 as temporary variable later in function, the uses will be
5496 replaced by local variable. */
5497 tree var = copy_decl_to_var (arg, id);
5498 insert_decl_map (id, arg, var);
5499 /* Declare this new variable. */
5500 DECL_CHAIN (var) = *vars;
5501 *vars = var;
5503 return new_parm;
5506 /* Return a copy of the function's static chain. */
5507 static tree
5508 copy_static_chain (tree static_chain, copy_body_data * id)
5510 tree *chain_copy, *pvar;
5512 chain_copy = &static_chain;
5513 for (pvar = chain_copy; *pvar; pvar = &DECL_CHAIN (*pvar))
5515 tree new_tree = remap_decl (*pvar, id);
5516 lang_hooks.dup_lang_specific_decl (new_tree);
5517 DECL_CHAIN (new_tree) = DECL_CHAIN (*pvar);
5518 *pvar = new_tree;
5520 return static_chain;
5523 /* Return true if the function is allowed to be versioned.
5524 This is a guard for the versioning functionality. */
5526 bool
5527 tree_versionable_function_p (tree fndecl)
5529 return (!lookup_attribute ("noclone", DECL_ATTRIBUTES (fndecl))
5530 && copy_forbidden (DECL_STRUCT_FUNCTION (fndecl), fndecl) == NULL);
5533 /* Delete all unreachable basic blocks and update callgraph.
5534 Doing so is somewhat nontrivial because we need to update all clones and
5535 remove inline function that become unreachable. */
5537 static bool
5538 delete_unreachable_blocks_update_callgraph (copy_body_data *id)
5540 bool changed = false;
5541 basic_block b, next_bb;
5543 find_unreachable_blocks ();
5545 /* Delete all unreachable basic blocks. */
5547 for (b = ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb; b
5548 != EXIT_BLOCK_PTR_FOR_FN (cfun); b = next_bb)
5550 next_bb = b->next_bb;
5552 if (!(b->flags & BB_REACHABLE))
5554 gimple_stmt_iterator bsi;
5556 for (bsi = gsi_start_bb (b); !gsi_end_p (bsi); gsi_next (&bsi))
5558 struct cgraph_edge *e;
5559 struct cgraph_node *node;
5561 id->dst_node->remove_stmt_references (gsi_stmt (bsi));
5563 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5564 &&(e = id->dst_node->get_edge (gsi_stmt (bsi))) != NULL)
5566 if (!e->inline_failed)
5567 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5568 else
5569 e->remove ();
5571 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES
5572 && id->dst_node->clones)
5573 for (node = id->dst_node->clones; node != id->dst_node;)
5575 node->remove_stmt_references (gsi_stmt (bsi));
5576 if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL
5577 && (e = node->get_edge (gsi_stmt (bsi))) != NULL)
5579 if (!e->inline_failed)
5580 e->callee->remove_symbol_and_inline_clones (id->dst_node);
5581 else
5582 e->remove ();
5585 if (node->clones)
5586 node = node->clones;
5587 else if (node->next_sibling_clone)
5588 node = node->next_sibling_clone;
5589 else
5591 while (node != id->dst_node && !node->next_sibling_clone)
5592 node = node->clone_of;
5593 if (node != id->dst_node)
5594 node = node->next_sibling_clone;
5598 delete_basic_block (b);
5599 changed = true;
5603 return changed;
5606 /* Update clone info after duplication. */
5608 static void
5609 update_clone_info (copy_body_data * id)
5611 struct cgraph_node *node;
5612 if (!id->dst_node->clones)
5613 return;
5614 for (node = id->dst_node->clones; node != id->dst_node;)
5616 /* First update replace maps to match the new body. */
5617 if (node->clone.tree_map)
5619 unsigned int i;
5620 for (i = 0; i < vec_safe_length (node->clone.tree_map); i++)
5622 struct ipa_replace_map *replace_info;
5623 replace_info = (*node->clone.tree_map)[i];
5624 walk_tree (&replace_info->old_tree, copy_tree_body_r, id, NULL);
5625 walk_tree (&replace_info->new_tree, copy_tree_body_r, id, NULL);
5628 if (node->clones)
5629 node = node->clones;
5630 else if (node->next_sibling_clone)
5631 node = node->next_sibling_clone;
5632 else
5634 while (node != id->dst_node && !node->next_sibling_clone)
5635 node = node->clone_of;
5636 if (node != id->dst_node)
5637 node = node->next_sibling_clone;
5642 /* Create a copy of a function's tree.
5643 OLD_DECL and NEW_DECL are FUNCTION_DECL tree nodes
5644 of the original function and the new copied function
5645 respectively. In case we want to replace a DECL
5646 tree with another tree while duplicating the function's
5647 body, TREE_MAP represents the mapping between these
5648 trees. If UPDATE_CLONES is set, the call_stmt fields
5649 of edges of clones of the function will be updated.
5651 If non-NULL ARGS_TO_SKIP determine function parameters to remove
5652 from new version.
5653 If SKIP_RETURN is true, the new version will return void.
5654 If non-NULL BLOCK_TO_COPY determine what basic blocks to copy.
5655 If non_NULL NEW_ENTRY determine new entry BB of the clone.
5657 void
5658 tree_function_versioning (tree old_decl, tree new_decl,
5659 vec<ipa_replace_map *, va_gc> *tree_map,
5660 bool update_clones, bitmap args_to_skip,
5661 bool skip_return, bitmap blocks_to_copy,
5662 basic_block new_entry)
5664 struct cgraph_node *old_version_node;
5665 struct cgraph_node *new_version_node;
5666 copy_body_data id;
5667 tree p;
5668 unsigned i;
5669 struct ipa_replace_map *replace_info;
5670 basic_block old_entry_block, bb;
5671 auto_vec<gimple *, 10> init_stmts;
5672 tree vars = NULL_TREE;
5673 bitmap debug_args_to_skip = args_to_skip;
5675 gcc_assert (TREE_CODE (old_decl) == FUNCTION_DECL
5676 && TREE_CODE (new_decl) == FUNCTION_DECL);
5677 DECL_POSSIBLY_INLINED (old_decl) = 1;
5679 old_version_node = cgraph_node::get (old_decl);
5680 gcc_checking_assert (old_version_node);
5681 new_version_node = cgraph_node::get (new_decl);
5682 gcc_checking_assert (new_version_node);
5684 /* Copy over debug args. */
5685 if (DECL_HAS_DEBUG_ARGS_P (old_decl))
5687 vec<tree, va_gc> **new_debug_args, **old_debug_args;
5688 gcc_checking_assert (decl_debug_args_lookup (new_decl) == NULL);
5689 DECL_HAS_DEBUG_ARGS_P (new_decl) = 0;
5690 old_debug_args = decl_debug_args_lookup (old_decl);
5691 if (old_debug_args)
5693 new_debug_args = decl_debug_args_insert (new_decl);
5694 *new_debug_args = vec_safe_copy (*old_debug_args);
5698 /* Output the inlining info for this abstract function, since it has been
5699 inlined. If we don't do this now, we can lose the information about the
5700 variables in the function when the blocks get blown away as soon as we
5701 remove the cgraph node. */
5702 (*debug_hooks->outlining_inline_function) (old_decl);
5704 DECL_ARTIFICIAL (new_decl) = 1;
5705 DECL_ABSTRACT_ORIGIN (new_decl) = DECL_ORIGIN (old_decl);
5706 if (DECL_ORIGIN (old_decl) == old_decl)
5707 old_version_node->used_as_abstract_origin = true;
5708 DECL_FUNCTION_PERSONALITY (new_decl) = DECL_FUNCTION_PERSONALITY (old_decl);
5710 /* Prepare the data structures for the tree copy. */
5711 memset (&id, 0, sizeof (id));
5713 /* Generate a new name for the new version. */
5714 id.statements_to_fold = new hash_set<gimple *>;
5716 id.decl_map = new hash_map<tree, tree>;
5717 id.debug_map = NULL;
5718 id.src_fn = old_decl;
5719 id.dst_fn = new_decl;
5720 id.src_node = old_version_node;
5721 id.dst_node = new_version_node;
5722 id.src_cfun = DECL_STRUCT_FUNCTION (old_decl);
5723 id.blocks_to_copy = blocks_to_copy;
5725 id.copy_decl = copy_decl_no_change;
5726 id.transform_call_graph_edges
5727 = update_clones ? CB_CGE_MOVE_CLONES : CB_CGE_MOVE;
5728 id.transform_new_cfg = true;
5729 id.transform_return_to_modify = false;
5730 id.transform_parameter = false;
5731 id.transform_lang_insert_block = NULL;
5733 old_entry_block = ENTRY_BLOCK_PTR_FOR_FN
5734 (DECL_STRUCT_FUNCTION (old_decl));
5735 DECL_RESULT (new_decl) = DECL_RESULT (old_decl);
5736 DECL_ARGUMENTS (new_decl) = DECL_ARGUMENTS (old_decl);
5737 initialize_cfun (new_decl, old_decl,
5738 old_entry_block->count);
5739 if (DECL_STRUCT_FUNCTION (new_decl)->gimple_df)
5740 DECL_STRUCT_FUNCTION (new_decl)->gimple_df->ipa_pta
5741 = id.src_cfun->gimple_df->ipa_pta;
5743 /* Copy the function's static chain. */
5744 p = DECL_STRUCT_FUNCTION (old_decl)->static_chain_decl;
5745 if (p)
5746 DECL_STRUCT_FUNCTION (new_decl)->static_chain_decl
5747 = copy_static_chain (p, &id);
5749 /* If there's a tree_map, prepare for substitution. */
5750 if (tree_map)
5751 for (i = 0; i < tree_map->length (); i++)
5753 gimple *init;
5754 replace_info = (*tree_map)[i];
5755 if (replace_info->replace_p)
5757 int parm_num = -1;
5758 if (!replace_info->old_tree)
5760 int p = replace_info->parm_num;
5761 tree parm;
5762 tree req_type, new_type;
5764 for (parm = DECL_ARGUMENTS (old_decl); p;
5765 parm = DECL_CHAIN (parm))
5766 p--;
5767 replace_info->old_tree = parm;
5768 parm_num = replace_info->parm_num;
5769 req_type = TREE_TYPE (parm);
5770 new_type = TREE_TYPE (replace_info->new_tree);
5771 if (!useless_type_conversion_p (req_type, new_type))
5773 if (fold_convertible_p (req_type, replace_info->new_tree))
5774 replace_info->new_tree
5775 = fold_build1 (NOP_EXPR, req_type,
5776 replace_info->new_tree);
5777 else if (TYPE_SIZE (req_type) == TYPE_SIZE (new_type))
5778 replace_info->new_tree
5779 = fold_build1 (VIEW_CONVERT_EXPR, req_type,
5780 replace_info->new_tree);
5781 else
5783 if (dump_file)
5785 fprintf (dump_file, " const ");
5786 print_generic_expr (dump_file,
5787 replace_info->new_tree, 0);
5788 fprintf (dump_file,
5789 " can't be converted to param ");
5790 print_generic_expr (dump_file, parm, 0);
5791 fprintf (dump_file, "\n");
5793 replace_info->old_tree = NULL;
5797 else
5798 gcc_assert (TREE_CODE (replace_info->old_tree) == PARM_DECL);
5799 if (replace_info->old_tree)
5801 init = setup_one_parameter (&id, replace_info->old_tree,
5802 replace_info->new_tree, id.src_fn,
5803 NULL,
5804 &vars);
5805 if (init)
5806 init_stmts.safe_push (init);
5807 if (MAY_HAVE_DEBUG_STMTS && args_to_skip)
5809 if (parm_num == -1)
5811 tree parm;
5812 int p;
5813 for (parm = DECL_ARGUMENTS (old_decl), p = 0; parm;
5814 parm = DECL_CHAIN (parm), p++)
5815 if (parm == replace_info->old_tree)
5817 parm_num = p;
5818 break;
5821 if (parm_num != -1)
5823 if (debug_args_to_skip == args_to_skip)
5825 debug_args_to_skip = BITMAP_ALLOC (NULL);
5826 bitmap_copy (debug_args_to_skip, args_to_skip);
5828 bitmap_clear_bit (debug_args_to_skip, parm_num);
5834 /* Copy the function's arguments. */
5835 if (DECL_ARGUMENTS (old_decl) != NULL_TREE)
5836 DECL_ARGUMENTS (new_decl)
5837 = copy_arguments_for_versioning (DECL_ARGUMENTS (old_decl), &id,
5838 args_to_skip, &vars);
5840 DECL_INITIAL (new_decl) = remap_blocks (DECL_INITIAL (id.src_fn), &id);
5841 BLOCK_SUPERCONTEXT (DECL_INITIAL (new_decl)) = new_decl;
5843 declare_inline_vars (DECL_INITIAL (new_decl), vars);
5845 if (!vec_safe_is_empty (DECL_STRUCT_FUNCTION (old_decl)->local_decls))
5846 /* Add local vars. */
5847 add_local_variables (DECL_STRUCT_FUNCTION (old_decl), cfun, &id);
5849 if (DECL_RESULT (old_decl) == NULL_TREE)
5851 else if (skip_return && !VOID_TYPE_P (TREE_TYPE (DECL_RESULT (old_decl))))
5853 DECL_RESULT (new_decl)
5854 = build_decl (DECL_SOURCE_LOCATION (DECL_RESULT (old_decl)),
5855 RESULT_DECL, NULL_TREE, void_type_node);
5856 DECL_CONTEXT (DECL_RESULT (new_decl)) = new_decl;
5857 cfun->returns_struct = 0;
5858 cfun->returns_pcc_struct = 0;
5860 else
5862 tree old_name;
5863 DECL_RESULT (new_decl) = remap_decl (DECL_RESULT (old_decl), &id);
5864 lang_hooks.dup_lang_specific_decl (DECL_RESULT (new_decl));
5865 if (gimple_in_ssa_p (id.src_cfun)
5866 && DECL_BY_REFERENCE (DECL_RESULT (old_decl))
5867 && (old_name = ssa_default_def (id.src_cfun, DECL_RESULT (old_decl))))
5869 tree new_name = make_ssa_name (DECL_RESULT (new_decl));
5870 insert_decl_map (&id, old_name, new_name);
5871 SSA_NAME_DEF_STMT (new_name) = gimple_build_nop ();
5872 set_ssa_default_def (cfun, DECL_RESULT (new_decl), new_name);
5876 /* Set up the destination functions loop tree. */
5877 if (loops_for_fn (DECL_STRUCT_FUNCTION (old_decl)) != NULL)
5879 cfun->curr_properties &= ~PROP_loops;
5880 loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
5881 cfun->curr_properties |= PROP_loops;
5884 /* Copy the Function's body. */
5885 copy_body (&id, old_entry_block->count, REG_BR_PROB_BASE,
5886 ENTRY_BLOCK_PTR_FOR_FN (cfun), EXIT_BLOCK_PTR_FOR_FN (cfun),
5887 new_entry);
5889 /* Renumber the lexical scoping (non-code) blocks consecutively. */
5890 number_blocks (new_decl);
5892 /* We want to create the BB unconditionally, so that the addition of
5893 debug stmts doesn't affect BB count, which may in the end cause
5894 codegen differences. */
5895 bb = split_edge (single_succ_edge (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
5896 while (init_stmts.length ())
5897 insert_init_stmt (&id, bb, init_stmts.pop ());
5898 update_clone_info (&id);
5900 /* Remap the nonlocal_goto_save_area, if any. */
5901 if (cfun->nonlocal_goto_save_area)
5903 struct walk_stmt_info wi;
5905 memset (&wi, 0, sizeof (wi));
5906 wi.info = &id;
5907 walk_tree (&cfun->nonlocal_goto_save_area, remap_gimple_op_r, &wi, NULL);
5910 /* Clean up. */
5911 delete id.decl_map;
5912 if (id.debug_map)
5913 delete id.debug_map;
5914 free_dominance_info (CDI_DOMINATORS);
5915 free_dominance_info (CDI_POST_DOMINATORS);
5917 fold_marked_statements (0, id.statements_to_fold);
5918 delete id.statements_to_fold;
5919 delete_unreachable_blocks_update_callgraph (&id);
5920 if (id.dst_node->definition)
5921 cgraph_edge::rebuild_references ();
5922 if (loops_state_satisfies_p (LOOPS_NEED_FIXUP))
5924 calculate_dominance_info (CDI_DOMINATORS);
5925 fix_loop_structure (NULL);
5927 update_ssa (TODO_update_ssa);
5929 /* After partial cloning we need to rescale frequencies, so they are
5930 within proper range in the cloned function. */
5931 if (new_entry)
5933 struct cgraph_edge *e;
5934 rebuild_frequencies ();
5936 new_version_node->count = ENTRY_BLOCK_PTR_FOR_FN (cfun)->count;
5937 for (e = new_version_node->callees; e; e = e->next_callee)
5939 basic_block bb = gimple_bb (e->call_stmt);
5940 e->frequency = compute_call_stmt_bb_frequency (current_function_decl,
5941 bb);
5942 e->count = bb->count;
5944 for (e = new_version_node->indirect_calls; e; e = e->next_callee)
5946 basic_block bb = gimple_bb (e->call_stmt);
5947 e->frequency = compute_call_stmt_bb_frequency (current_function_decl,
5948 bb);
5949 e->count = bb->count;
5953 if (debug_args_to_skip && MAY_HAVE_DEBUG_STMTS)
5955 tree parm;
5956 vec<tree, va_gc> **debug_args = NULL;
5957 unsigned int len = 0;
5958 for (parm = DECL_ARGUMENTS (old_decl), i = 0;
5959 parm; parm = DECL_CHAIN (parm), i++)
5960 if (bitmap_bit_p (debug_args_to_skip, i) && is_gimple_reg (parm))
5962 tree ddecl;
5964 if (debug_args == NULL)
5966 debug_args = decl_debug_args_insert (new_decl);
5967 len = vec_safe_length (*debug_args);
5969 ddecl = make_node (DEBUG_EXPR_DECL);
5970 DECL_ARTIFICIAL (ddecl) = 1;
5971 TREE_TYPE (ddecl) = TREE_TYPE (parm);
5972 DECL_MODE (ddecl) = DECL_MODE (parm);
5973 vec_safe_push (*debug_args, DECL_ORIGIN (parm));
5974 vec_safe_push (*debug_args, ddecl);
5976 if (debug_args != NULL)
5978 /* On the callee side, add
5979 DEBUG D#Y s=> parm
5980 DEBUG var => D#Y
5981 stmts to the first bb where var is a VAR_DECL created for the
5982 optimized away parameter in DECL_INITIAL block. This hints
5983 in the debug info that var (whole DECL_ORIGIN is the parm
5984 PARM_DECL) is optimized away, but could be looked up at the
5985 call site as value of D#X there. */
5986 tree var = vars, vexpr;
5987 gimple_stmt_iterator cgsi
5988 = gsi_after_labels (single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun)));
5989 gimple *def_temp;
5990 var = vars;
5991 i = vec_safe_length (*debug_args);
5994 i -= 2;
5995 while (var != NULL_TREE
5996 && DECL_ABSTRACT_ORIGIN (var) != (**debug_args)[i])
5997 var = TREE_CHAIN (var);
5998 if (var == NULL_TREE)
5999 break;
6000 vexpr = make_node (DEBUG_EXPR_DECL);
6001 parm = (**debug_args)[i];
6002 DECL_ARTIFICIAL (vexpr) = 1;
6003 TREE_TYPE (vexpr) = TREE_TYPE (parm);
6004 DECL_MODE (vexpr) = DECL_MODE (parm);
6005 def_temp = gimple_build_debug_bind (var, vexpr, NULL);
6006 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6007 def_temp = gimple_build_debug_source_bind (vexpr, parm, NULL);
6008 gsi_insert_before (&cgsi, def_temp, GSI_NEW_STMT);
6010 while (i > len);
6014 if (debug_args_to_skip && debug_args_to_skip != args_to_skip)
6015 BITMAP_FREE (debug_args_to_skip);
6016 free_dominance_info (CDI_DOMINATORS);
6017 free_dominance_info (CDI_POST_DOMINATORS);
6019 gcc_assert (!id.debug_stmts.exists ());
6020 pop_cfun ();
6021 return;
6024 /* EXP is CALL_EXPR present in a GENERIC expression tree. Try to integrate
6025 the callee and return the inlined body on success. */
6027 tree
6028 maybe_inline_call_in_expr (tree exp)
6030 tree fn = get_callee_fndecl (exp);
6032 /* We can only try to inline "const" functions. */
6033 if (fn && TREE_READONLY (fn) && DECL_SAVED_TREE (fn))
6035 call_expr_arg_iterator iter;
6036 copy_body_data id;
6037 tree param, arg, t;
6038 hash_map<tree, tree> decl_map;
6040 /* Remap the parameters. */
6041 for (param = DECL_ARGUMENTS (fn), arg = first_call_expr_arg (exp, &iter);
6042 param;
6043 param = DECL_CHAIN (param), arg = next_call_expr_arg (&iter))
6044 decl_map.put (param, arg);
6046 memset (&id, 0, sizeof (id));
6047 id.src_fn = fn;
6048 id.dst_fn = current_function_decl;
6049 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6050 id.decl_map = &decl_map;
6052 id.copy_decl = copy_decl_no_change;
6053 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6054 id.transform_new_cfg = false;
6055 id.transform_return_to_modify = true;
6056 id.transform_parameter = true;
6057 id.transform_lang_insert_block = NULL;
6059 /* Make sure not to unshare trees behind the front-end's back
6060 since front-end specific mechanisms may rely on sharing. */
6061 id.regimplify = false;
6062 id.do_not_unshare = true;
6064 /* We're not inside any EH region. */
6065 id.eh_lp_nr = 0;
6067 t = copy_tree_body (&id);
6069 /* We can only return something suitable for use in a GENERIC
6070 expression tree. */
6071 if (TREE_CODE (t) == MODIFY_EXPR)
6072 return TREE_OPERAND (t, 1);
6075 return NULL_TREE;
6078 /* Duplicate a type, fields and all. */
6080 tree
6081 build_duplicate_type (tree type)
6083 struct copy_body_data id;
6085 memset (&id, 0, sizeof (id));
6086 id.src_fn = current_function_decl;
6087 id.dst_fn = current_function_decl;
6088 id.src_cfun = cfun;
6089 id.decl_map = new hash_map<tree, tree>;
6090 id.debug_map = NULL;
6091 id.copy_decl = copy_decl_no_change;
6093 type = remap_type_1 (type, &id);
6095 delete id.decl_map;
6096 if (id.debug_map)
6097 delete id.debug_map;
6099 TYPE_CANONICAL (type) = type;
6101 return type;
6104 /* Unshare the entire DECL_SAVED_TREE of FN and return the remapped
6105 parameters and RESULT_DECL in PARMS and RESULT. Used by C++ constexpr
6106 evaluation. */
6108 tree
6109 copy_fn (tree fn, tree& parms, tree& result)
6111 copy_body_data id;
6112 tree param;
6113 hash_map<tree, tree> decl_map;
6115 tree *p = &parms;
6116 *p = NULL_TREE;
6118 memset (&id, 0, sizeof (id));
6119 id.src_fn = fn;
6120 id.dst_fn = current_function_decl;
6121 id.src_cfun = DECL_STRUCT_FUNCTION (fn);
6122 id.decl_map = &decl_map;
6124 id.copy_decl = copy_decl_no_change;
6125 id.transform_call_graph_edges = CB_CGE_DUPLICATE;
6126 id.transform_new_cfg = false;
6127 id.transform_return_to_modify = false;
6128 id.transform_parameter = true;
6129 id.transform_lang_insert_block = NULL;
6131 /* Make sure not to unshare trees behind the front-end's back
6132 since front-end specific mechanisms may rely on sharing. */
6133 id.regimplify = false;
6134 id.do_not_unshare = true;
6136 /* We're not inside any EH region. */
6137 id.eh_lp_nr = 0;
6139 /* Remap the parameters and result and return them to the caller. */
6140 for (param = DECL_ARGUMENTS (fn);
6141 param;
6142 param = DECL_CHAIN (param))
6144 *p = remap_decl (param, &id);
6145 p = &DECL_CHAIN (*p);
6148 if (DECL_RESULT (fn))
6149 result = remap_decl (DECL_RESULT (fn), &id);
6150 else
6151 result = NULL_TREE;
6153 return copy_tree_body (&id);