2 Copyright (C) 2001-2015 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)
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/>. */
23 #include "coretypes.h"
28 #include "gimple-predict.h"
31 #include "diagnostic-core.h"
33 #include "fold-const.h"
34 #include "stor-layout.h"
36 #include "tree-inline.h"
39 #include "insn-config.h"
40 #include "langhooks.h"
42 #include "tree-iterator.h"
44 #include "internal-fn.h"
45 #include "gimple-fold.h"
48 #include "gimple-iterator.h"
49 #include "gimplify-me.h"
50 #include "gimple-walk.h"
52 #include "tree-into-ssa.h"
62 #include "tree-pretty-print.h"
66 #include "alloc-pool.h"
67 #include "symbol-summary.h"
69 #include "value-prof.h"
70 #include "tree-pass.h"
74 #include "tree-chkp.h"
77 /* I'm not real happy about this, but we need to handle gimple and
80 /* Inlining, Cloning, Versioning, Parallelization
82 Inlining: a function body is duplicated, but the PARM_DECLs are
83 remapped into VAR_DECLs, and non-void RETURN_EXPRs become
84 MODIFY_EXPRs that store to a dedicated returned-value variable.
85 The duplicated eh_region info of the copy will later be appended
86 to the info for the caller; the eh_region info in copied throwing
87 statements and RESX statements are adjusted accordingly.
89 Cloning: (only in C++) We have one body for a con/de/structor, and
90 multiple function decls, each with a unique parameter list.
91 Duplicate the body, using the given splay tree; some parameters
92 will become constants (like 0 or 1).
94 Versioning: a function body is duplicated and the result is a new
95 function rather than into blocks of an existing function as with
96 inlining. Some parameters will become constants.
98 Parallelization: a region of a function is duplicated resulting in
99 a new function. Variables may be replaced with complex expressions
100 to enable shared variable semantics.
102 All of these will simultaneously lookup any callgraph edges. If
103 we're going to inline the duplicated function body, and the given
104 function has some cloned callgraph nodes (one for each place this
105 function will be inlined) those callgraph edges will be duplicated.
106 If we're cloning the body, those callgraph edges will be
107 updated to point into the new body. (Note that the original
108 callgraph node and edge list will not be altered.)
110 See the CALL_EXPR handling case in copy_tree_body_r (). */
114 o In order to make inlining-on-trees work, we pessimized
115 function-local static constants. In particular, they are now
116 always output, even when not addressed. Fix this by treating
117 function-local static constants just like global static
118 constants; the back-end already knows not to output them if they
121 o Provide heuristics to clamp inlining of recursive template
125 /* Weights that estimate_num_insns uses to estimate the size of the
128 eni_weights eni_size_weights
;
130 /* Weights that estimate_num_insns uses to estimate the time necessary
131 to execute the produced code. */
133 eni_weights eni_time_weights
;
137 static tree
declare_return_variable (copy_body_data
*, tree
, tree
, tree
,
139 static void remap_block (tree
*, copy_body_data
*);
140 static void copy_bind_expr (tree
*, int *, copy_body_data
*);
141 static void declare_inline_vars (tree
, tree
);
142 static void remap_save_expr (tree
*, hash_map
<tree
, tree
> *, int *);
143 static void prepend_lexical_block (tree current_block
, tree new_block
);
144 static tree
copy_decl_to_var (tree
, copy_body_data
*);
145 static tree
copy_result_decl_to_var (tree
, copy_body_data
*);
146 static tree
copy_decl_maybe_to_var (tree
, copy_body_data
*);
147 static gimple_seq
remap_gimple_stmt (gimple
, copy_body_data
*);
148 static bool delete_unreachable_blocks_update_callgraph (copy_body_data
*id
);
149 static void insert_init_stmt (copy_body_data
*, basic_block
, gimple
);
151 /* Insert a tree->tree mapping for ID. Despite the name suggests
152 that the trees should be variables, it is used for more than that. */
155 insert_decl_map (copy_body_data
*id
, tree key
, tree value
)
157 id
->decl_map
->put (key
, value
);
159 /* Always insert an identity map as well. If we see this same new
160 node again, we won't want to duplicate it a second time. */
162 id
->decl_map
->put (value
, value
);
165 /* Insert a tree->tree mapping for ID. This is only used for
169 insert_debug_decl_map (copy_body_data
*id
, tree key
, tree value
)
171 if (!gimple_in_ssa_p (id
->src_cfun
))
174 if (!opt_for_fn (id
->dst_fn
, flag_var_tracking_assignments
))
177 if (!target_for_debug_bind (key
))
180 gcc_assert (TREE_CODE (key
) == PARM_DECL
);
181 gcc_assert (TREE_CODE (value
) == VAR_DECL
);
184 id
->debug_map
= new hash_map
<tree
, tree
>;
186 id
->debug_map
->put (key
, value
);
189 /* If nonzero, we're remapping the contents of inlined debug
190 statements. If negative, an error has occurred, such as a
191 reference to a variable that isn't available in the inlined
193 static int processing_debug_stmt
= 0;
195 /* Construct new SSA name for old NAME. ID is the inline context. */
198 remap_ssa_name (tree name
, copy_body_data
*id
)
203 gcc_assert (TREE_CODE (name
) == SSA_NAME
);
205 n
= id
->decl_map
->get (name
);
207 return unshare_expr (*n
);
209 if (processing_debug_stmt
)
211 if (SSA_NAME_IS_DEFAULT_DEF (name
)
212 && TREE_CODE (SSA_NAME_VAR (name
)) == PARM_DECL
213 && id
->entry_bb
== NULL
214 && single_succ_p (ENTRY_BLOCK_PTR_FOR_FN (cfun
)))
216 tree vexpr
= make_node (DEBUG_EXPR_DECL
);
218 gimple_stmt_iterator gsi
;
219 tree val
= SSA_NAME_VAR (name
);
221 n
= id
->decl_map
->get (val
);
224 if (TREE_CODE (val
) != PARM_DECL
)
226 processing_debug_stmt
= -1;
229 def_temp
= gimple_build_debug_source_bind (vexpr
, val
, NULL
);
230 DECL_ARTIFICIAL (vexpr
) = 1;
231 TREE_TYPE (vexpr
) = TREE_TYPE (name
);
232 DECL_MODE (vexpr
) = DECL_MODE (SSA_NAME_VAR (name
));
233 gsi
= gsi_after_labels (single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun
)));
234 gsi_insert_before (&gsi
, def_temp
, GSI_SAME_STMT
);
238 processing_debug_stmt
= -1;
242 /* Remap anonymous SSA names or SSA names of anonymous decls. */
243 var
= SSA_NAME_VAR (name
);
245 || (!SSA_NAME_IS_DEFAULT_DEF (name
)
246 && TREE_CODE (var
) == VAR_DECL
247 && !VAR_DECL_IS_VIRTUAL_OPERAND (var
)
248 && DECL_ARTIFICIAL (var
)
249 && DECL_IGNORED_P (var
)
250 && !DECL_NAME (var
)))
252 struct ptr_info_def
*pi
;
253 new_tree
= make_ssa_name (remap_type (TREE_TYPE (name
), id
));
254 if (!var
&& SSA_NAME_IDENTIFIER (name
))
255 SET_SSA_NAME_VAR_OR_IDENTIFIER (new_tree
, SSA_NAME_IDENTIFIER (name
));
256 insert_decl_map (id
, name
, new_tree
);
257 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree
)
258 = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name
);
259 /* At least IPA points-to info can be directly transferred. */
260 if (id
->src_cfun
->gimple_df
261 && id
->src_cfun
->gimple_df
->ipa_pta
262 && (pi
= SSA_NAME_PTR_INFO (name
))
265 struct ptr_info_def
*new_pi
= get_ptr_info (new_tree
);
271 /* Do not set DEF_STMT yet as statement is not copied yet. We do that
273 new_tree
= remap_decl (var
, id
);
275 /* We might've substituted constant or another SSA_NAME for
278 Replace the SSA name representing RESULT_DECL by variable during
279 inlining: this saves us from need to introduce PHI node in a case
280 return value is just partly initialized. */
281 if ((TREE_CODE (new_tree
) == VAR_DECL
|| TREE_CODE (new_tree
) == PARM_DECL
)
282 && (!SSA_NAME_VAR (name
)
283 || TREE_CODE (SSA_NAME_VAR (name
)) != RESULT_DECL
284 || !id
->transform_return_to_modify
))
286 struct ptr_info_def
*pi
;
287 new_tree
= make_ssa_name (new_tree
);
288 insert_decl_map (id
, name
, new_tree
);
289 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree
)
290 = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name
);
291 /* At least IPA points-to info can be directly transferred. */
292 if (id
->src_cfun
->gimple_df
293 && id
->src_cfun
->gimple_df
->ipa_pta
294 && (pi
= SSA_NAME_PTR_INFO (name
))
297 struct ptr_info_def
*new_pi
= get_ptr_info (new_tree
);
300 if (SSA_NAME_IS_DEFAULT_DEF (name
))
302 /* By inlining function having uninitialized variable, we might
303 extend the lifetime (variable might get reused). This cause
304 ICE in the case we end up extending lifetime of SSA name across
305 abnormal edge, but also increase register pressure.
307 We simply initialize all uninitialized vars by 0 except
308 for case we are inlining to very first BB. We can avoid
309 this for all BBs that are not inside strongly connected
310 regions of the CFG, but this is expensive to test. */
312 && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name
)
313 && (!SSA_NAME_VAR (name
)
314 || TREE_CODE (SSA_NAME_VAR (name
)) != PARM_DECL
)
315 && (id
->entry_bb
!= EDGE_SUCC (ENTRY_BLOCK_PTR_FOR_FN (cfun
),
317 || EDGE_COUNT (id
->entry_bb
->preds
) != 1))
319 gimple_stmt_iterator gsi
= gsi_last_bb (id
->entry_bb
);
321 tree zero
= build_zero_cst (TREE_TYPE (new_tree
));
323 init_stmt
= gimple_build_assign (new_tree
, zero
);
324 gsi_insert_after (&gsi
, init_stmt
, GSI_NEW_STMT
);
325 SSA_NAME_IS_DEFAULT_DEF (new_tree
) = 0;
329 SSA_NAME_DEF_STMT (new_tree
) = gimple_build_nop ();
330 set_ssa_default_def (cfun
, SSA_NAME_VAR (new_tree
), new_tree
);
335 insert_decl_map (id
, name
, new_tree
);
339 /* Remap DECL during the copying of the BLOCK tree for the function. */
342 remap_decl (tree decl
, copy_body_data
*id
)
346 /* We only remap local variables in the current function. */
348 /* See if we have remapped this declaration. */
350 n
= id
->decl_map
->get (decl
);
352 if (!n
&& processing_debug_stmt
)
354 processing_debug_stmt
= -1;
358 /* If we didn't already have an equivalent for this declaration,
362 /* Make a copy of the variable or label. */
363 tree t
= id
->copy_decl (decl
, id
);
365 /* Remember it, so that if we encounter this local entity again
366 we can reuse this copy. Do this early because remap_type may
367 need this decl for TYPE_STUB_DECL. */
368 insert_decl_map (id
, decl
, t
);
373 /* Remap types, if necessary. */
374 TREE_TYPE (t
) = remap_type (TREE_TYPE (t
), id
);
375 if (TREE_CODE (t
) == TYPE_DECL
)
376 DECL_ORIGINAL_TYPE (t
) = remap_type (DECL_ORIGINAL_TYPE (t
), id
);
378 /* Remap sizes as necessary. */
379 walk_tree (&DECL_SIZE (t
), copy_tree_body_r
, id
, NULL
);
380 walk_tree (&DECL_SIZE_UNIT (t
), copy_tree_body_r
, id
, NULL
);
382 /* If fields, do likewise for offset and qualifier. */
383 if (TREE_CODE (t
) == FIELD_DECL
)
385 walk_tree (&DECL_FIELD_OFFSET (t
), copy_tree_body_r
, id
, NULL
);
386 if (TREE_CODE (DECL_CONTEXT (t
)) == QUAL_UNION_TYPE
)
387 walk_tree (&DECL_QUALIFIER (t
), copy_tree_body_r
, id
, NULL
);
393 if (id
->do_not_unshare
)
396 return unshare_expr (*n
);
400 remap_type_1 (tree type
, copy_body_data
*id
)
404 /* We do need a copy. build and register it now. If this is a pointer or
405 reference type, remap the designated type and make a new pointer or
407 if (TREE_CODE (type
) == POINTER_TYPE
)
409 new_tree
= build_pointer_type_for_mode (remap_type (TREE_TYPE (type
), id
),
411 TYPE_REF_CAN_ALIAS_ALL (type
));
412 if (TYPE_ATTRIBUTES (type
) || TYPE_QUALS (type
))
413 new_tree
= build_type_attribute_qual_variant (new_tree
,
414 TYPE_ATTRIBUTES (type
),
416 insert_decl_map (id
, type
, new_tree
);
419 else if (TREE_CODE (type
) == REFERENCE_TYPE
)
421 new_tree
= build_reference_type_for_mode (remap_type (TREE_TYPE (type
), id
),
423 TYPE_REF_CAN_ALIAS_ALL (type
));
424 if (TYPE_ATTRIBUTES (type
) || TYPE_QUALS (type
))
425 new_tree
= build_type_attribute_qual_variant (new_tree
,
426 TYPE_ATTRIBUTES (type
),
428 insert_decl_map (id
, type
, new_tree
);
432 new_tree
= copy_node (type
);
434 insert_decl_map (id
, type
, new_tree
);
436 /* This is a new type, not a copy of an old type. Need to reassociate
437 variants. We can handle everything except the main variant lazily. */
438 t
= TYPE_MAIN_VARIANT (type
);
441 t
= remap_type (t
, id
);
442 TYPE_MAIN_VARIANT (new_tree
) = t
;
443 TYPE_NEXT_VARIANT (new_tree
) = TYPE_NEXT_VARIANT (t
);
444 TYPE_NEXT_VARIANT (t
) = new_tree
;
448 TYPE_MAIN_VARIANT (new_tree
) = new_tree
;
449 TYPE_NEXT_VARIANT (new_tree
) = NULL
;
452 if (TYPE_STUB_DECL (type
))
453 TYPE_STUB_DECL (new_tree
) = remap_decl (TYPE_STUB_DECL (type
), id
);
455 /* Lazily create pointer and reference types. */
456 TYPE_POINTER_TO (new_tree
) = NULL
;
457 TYPE_REFERENCE_TO (new_tree
) = NULL
;
459 /* Copy all types that may contain references to local variables; be sure to
460 preserve sharing in between type and its main variant when possible. */
461 switch (TREE_CODE (new_tree
))
465 case FIXED_POINT_TYPE
:
468 if (TYPE_MAIN_VARIANT (new_tree
) != new_tree
)
470 gcc_checking_assert (TYPE_MIN_VALUE (type
) == TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (type
)));
471 gcc_checking_assert (TYPE_MAX_VALUE (type
) == TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (type
)));
473 TYPE_MIN_VALUE (new_tree
) = TYPE_MIN_VALUE (TYPE_MAIN_VARIANT (new_tree
));
474 TYPE_MAX_VALUE (new_tree
) = TYPE_MAX_VALUE (TYPE_MAIN_VARIANT (new_tree
));
478 t
= TYPE_MIN_VALUE (new_tree
);
479 if (t
&& TREE_CODE (t
) != INTEGER_CST
)
480 walk_tree (&TYPE_MIN_VALUE (new_tree
), copy_tree_body_r
, id
, NULL
);
482 t
= TYPE_MAX_VALUE (new_tree
);
483 if (t
&& TREE_CODE (t
) != INTEGER_CST
)
484 walk_tree (&TYPE_MAX_VALUE (new_tree
), copy_tree_body_r
, id
, NULL
);
489 if (TYPE_MAIN_VARIANT (new_tree
) != new_tree
490 && TREE_TYPE (type
) == TREE_TYPE (TYPE_MAIN_VARIANT (type
)))
491 TREE_TYPE (new_tree
) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree
));
493 TREE_TYPE (new_tree
) = remap_type (TREE_TYPE (new_tree
), id
);
494 if (TYPE_MAIN_VARIANT (new_tree
) != new_tree
495 && TYPE_ARG_TYPES (type
) == TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (type
)))
496 TYPE_ARG_TYPES (new_tree
) = TYPE_ARG_TYPES (TYPE_MAIN_VARIANT (new_tree
));
498 walk_tree (&TYPE_ARG_TYPES (new_tree
), copy_tree_body_r
, id
, NULL
);
502 if (TYPE_MAIN_VARIANT (new_tree
) != new_tree
503 && TREE_TYPE (type
) == TREE_TYPE (TYPE_MAIN_VARIANT (type
)))
504 TREE_TYPE (new_tree
) = TREE_TYPE (TYPE_MAIN_VARIANT (new_tree
));
506 TREE_TYPE (new_tree
) = remap_type (TREE_TYPE (new_tree
), id
);
508 if (TYPE_MAIN_VARIANT (new_tree
) != new_tree
)
510 gcc_checking_assert (TYPE_DOMAIN (type
) == TYPE_DOMAIN (TYPE_MAIN_VARIANT (type
)));
511 TYPE_DOMAIN (new_tree
) = TYPE_DOMAIN (TYPE_MAIN_VARIANT (new_tree
));
514 TYPE_DOMAIN (new_tree
) = remap_type (TYPE_DOMAIN (new_tree
), id
);
519 case QUAL_UNION_TYPE
:
520 if (TYPE_MAIN_VARIANT (type
) != type
521 && TYPE_FIELDS (type
) == TYPE_FIELDS (TYPE_MAIN_VARIANT (type
)))
522 TYPE_FIELDS (new_tree
) = TYPE_FIELDS (TYPE_MAIN_VARIANT (new_tree
));
527 for (f
= TYPE_FIELDS (new_tree
); f
; f
= DECL_CHAIN (f
))
529 t
= remap_decl (f
, id
);
530 DECL_CONTEXT (t
) = new_tree
;
534 TYPE_FIELDS (new_tree
) = nreverse (nf
);
540 /* Shouldn't have been thought variable sized. */
544 /* All variants of type share the same size, so use the already remaped data. */
545 if (TYPE_MAIN_VARIANT (new_tree
) != new_tree
)
547 gcc_checking_assert (TYPE_SIZE (type
) == TYPE_SIZE (TYPE_MAIN_VARIANT (type
)));
548 gcc_checking_assert (TYPE_SIZE_UNIT (type
) == TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (type
)));
550 TYPE_SIZE (new_tree
) = TYPE_SIZE (TYPE_MAIN_VARIANT (new_tree
));
551 TYPE_SIZE_UNIT (new_tree
) = TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (new_tree
));
555 walk_tree (&TYPE_SIZE (new_tree
), copy_tree_body_r
, id
, NULL
);
556 walk_tree (&TYPE_SIZE_UNIT (new_tree
), copy_tree_body_r
, id
, NULL
);
563 remap_type (tree type
, copy_body_data
*id
)
571 /* See if we have remapped this type. */
572 node
= id
->decl_map
->get (type
);
576 /* The type only needs remapping if it's variably modified. */
577 if (! variably_modified_type_p (type
, id
->src_fn
))
579 insert_decl_map (id
, type
, type
);
583 id
->remapping_type_depth
++;
584 tmp
= remap_type_1 (type
, id
);
585 id
->remapping_type_depth
--;
590 /* Decide if DECL can be put into BLOCK_NONLOCAL_VARs. */
593 can_be_nonlocal (tree decl
, copy_body_data
*id
)
595 /* We can not duplicate function decls. */
596 if (TREE_CODE (decl
) == FUNCTION_DECL
)
599 /* Local static vars must be non-local or we get multiple declaration
601 if (TREE_CODE (decl
) == VAR_DECL
602 && !auto_var_in_fn_p (decl
, id
->src_fn
))
609 remap_decls (tree decls
, vec
<tree
, va_gc
> **nonlocalized_list
,
613 tree new_decls
= NULL_TREE
;
615 /* Remap its variables. */
616 for (old_var
= decls
; old_var
; old_var
= DECL_CHAIN (old_var
))
620 if (can_be_nonlocal (old_var
, id
))
622 /* We need to add this variable to the local decls as otherwise
623 nothing else will do so. */
624 if (TREE_CODE (old_var
) == VAR_DECL
625 && ! DECL_EXTERNAL (old_var
))
626 add_local_decl (cfun
, old_var
);
627 if ((!optimize
|| debug_info_level
> DINFO_LEVEL_TERSE
)
628 && !DECL_IGNORED_P (old_var
)
629 && nonlocalized_list
)
630 vec_safe_push (*nonlocalized_list
, old_var
);
634 /* Remap the variable. */
635 new_var
= remap_decl (old_var
, id
);
637 /* If we didn't remap this variable, we can't mess with its
638 TREE_CHAIN. If we remapped this variable to the return slot, it's
639 already declared somewhere else, so don't declare it here. */
641 if (new_var
== id
->retvar
)
645 if ((!optimize
|| debug_info_level
> DINFO_LEVEL_TERSE
)
646 && !DECL_IGNORED_P (old_var
)
647 && nonlocalized_list
)
648 vec_safe_push (*nonlocalized_list
, old_var
);
652 gcc_assert (DECL_P (new_var
));
653 DECL_CHAIN (new_var
) = new_decls
;
656 /* Also copy value-expressions. */
657 if (TREE_CODE (new_var
) == VAR_DECL
658 && DECL_HAS_VALUE_EXPR_P (new_var
))
660 tree tem
= DECL_VALUE_EXPR (new_var
);
661 bool old_regimplify
= id
->regimplify
;
662 id
->remapping_type_depth
++;
663 walk_tree (&tem
, copy_tree_body_r
, id
, NULL
);
664 id
->remapping_type_depth
--;
665 id
->regimplify
= old_regimplify
;
666 SET_DECL_VALUE_EXPR (new_var
, tem
);
671 return nreverse (new_decls
);
674 /* Copy the BLOCK to contain remapped versions of the variables
675 therein. And hook the new block into the block-tree. */
678 remap_block (tree
*block
, copy_body_data
*id
)
683 /* Make the new block. */
685 new_block
= make_node (BLOCK
);
686 TREE_USED (new_block
) = TREE_USED (old_block
);
687 BLOCK_ABSTRACT_ORIGIN (new_block
) = old_block
;
688 BLOCK_SOURCE_LOCATION (new_block
) = BLOCK_SOURCE_LOCATION (old_block
);
689 BLOCK_NONLOCALIZED_VARS (new_block
)
690 = vec_safe_copy (BLOCK_NONLOCALIZED_VARS (old_block
));
693 /* Remap its variables. */
694 BLOCK_VARS (new_block
) = remap_decls (BLOCK_VARS (old_block
),
695 &BLOCK_NONLOCALIZED_VARS (new_block
),
698 if (id
->transform_lang_insert_block
)
699 id
->transform_lang_insert_block (new_block
);
701 /* Remember the remapped block. */
702 insert_decl_map (id
, old_block
, new_block
);
705 /* Copy the whole block tree and root it in id->block. */
707 remap_blocks (tree block
, copy_body_data
*id
)
710 tree new_tree
= block
;
715 remap_block (&new_tree
, id
);
716 gcc_assert (new_tree
!= block
);
717 for (t
= BLOCK_SUBBLOCKS (block
); t
; t
= BLOCK_CHAIN (t
))
718 prepend_lexical_block (new_tree
, remap_blocks (t
, id
));
719 /* Blocks are in arbitrary order, but make things slightly prettier and do
720 not swap order when producing a copy. */
721 BLOCK_SUBBLOCKS (new_tree
) = blocks_nreverse (BLOCK_SUBBLOCKS (new_tree
));
725 /* Remap the block tree rooted at BLOCK to nothing. */
727 remap_blocks_to_null (tree block
, copy_body_data
*id
)
730 insert_decl_map (id
, block
, NULL_TREE
);
731 for (t
= BLOCK_SUBBLOCKS (block
); t
; t
= BLOCK_CHAIN (t
))
732 remap_blocks_to_null (t
, id
);
736 copy_statement_list (tree
*tp
)
738 tree_stmt_iterator oi
, ni
;
741 new_tree
= alloc_stmt_list ();
742 ni
= tsi_start (new_tree
);
743 oi
= tsi_start (*tp
);
744 TREE_TYPE (new_tree
) = TREE_TYPE (*tp
);
747 for (; !tsi_end_p (oi
); tsi_next (&oi
))
749 tree stmt
= tsi_stmt (oi
);
750 if (TREE_CODE (stmt
) == STATEMENT_LIST
)
751 /* This copy is not redundant; tsi_link_after will smash this
752 STATEMENT_LIST into the end of the one we're building, and we
753 don't want to do that with the original. */
754 copy_statement_list (&stmt
);
755 tsi_link_after (&ni
, stmt
, TSI_CONTINUE_LINKING
);
760 copy_bind_expr (tree
*tp
, int *walk_subtrees
, copy_body_data
*id
)
762 tree block
= BIND_EXPR_BLOCK (*tp
);
763 /* Copy (and replace) the statement. */
764 copy_tree_r (tp
, walk_subtrees
, NULL
);
767 remap_block (&block
, id
);
768 BIND_EXPR_BLOCK (*tp
) = block
;
771 if (BIND_EXPR_VARS (*tp
))
772 /* This will remap a lot of the same decls again, but this should be
774 BIND_EXPR_VARS (*tp
) = remap_decls (BIND_EXPR_VARS (*tp
), NULL
, id
);
778 /* Create a new gimple_seq by remapping all the statements in BODY
779 using the inlining information in ID. */
782 remap_gimple_seq (gimple_seq body
, copy_body_data
*id
)
784 gimple_stmt_iterator si
;
785 gimple_seq new_body
= NULL
;
787 for (si
= gsi_start (body
); !gsi_end_p (si
); gsi_next (&si
))
789 gimple_seq new_stmts
= remap_gimple_stmt (gsi_stmt (si
), id
);
790 gimple_seq_add_seq (&new_body
, new_stmts
);
797 /* Copy a GIMPLE_BIND statement STMT, remapping all the symbols in its
798 block using the mapping information in ID. */
801 copy_gimple_bind (gbind
*stmt
, copy_body_data
*id
)
804 tree new_block
, new_vars
;
805 gimple_seq body
, new_body
;
807 /* Copy the statement. Note that we purposely don't use copy_stmt
808 here because we need to remap statements as we copy. */
809 body
= gimple_bind_body (stmt
);
810 new_body
= remap_gimple_seq (body
, id
);
812 new_block
= gimple_bind_block (stmt
);
814 remap_block (&new_block
, id
);
816 /* This will remap a lot of the same decls again, but this should be
818 new_vars
= gimple_bind_vars (stmt
);
820 new_vars
= remap_decls (new_vars
, NULL
, id
);
822 new_bind
= gimple_build_bind (new_vars
, new_body
, new_block
);
827 /* Return true if DECL is a parameter or a SSA_NAME for a parameter. */
832 if (TREE_CODE (decl
) == SSA_NAME
)
834 decl
= SSA_NAME_VAR (decl
);
839 return (TREE_CODE (decl
) == PARM_DECL
);
842 /* Remap the dependence CLIQUE from the source to the destination function
843 as specified in ID. */
845 static unsigned short
846 remap_dependence_clique (copy_body_data
*id
, unsigned short clique
)
850 if (!id
->dependence_map
)
851 id
->dependence_map
= new hash_map
<dependence_hash
, unsigned short>;
853 unsigned short &newc
= id
->dependence_map
->get_or_insert (clique
, &existed
);
855 newc
= ++cfun
->last_clique
;
859 /* Remap the GIMPLE operand pointed to by *TP. DATA is really a
860 'struct walk_stmt_info *'. DATA->INFO is a 'copy_body_data *'.
861 WALK_SUBTREES is used to indicate walk_gimple_op whether to keep
862 recursing into the children nodes of *TP. */
865 remap_gimple_op_r (tree
*tp
, int *walk_subtrees
, void *data
)
867 struct walk_stmt_info
*wi_p
= (struct walk_stmt_info
*) data
;
868 copy_body_data
*id
= (copy_body_data
*) wi_p
->info
;
869 tree fn
= id
->src_fn
;
871 if (TREE_CODE (*tp
) == SSA_NAME
)
873 *tp
= remap_ssa_name (*tp
, id
);
877 else if (auto_var_in_fn_p (*tp
, fn
))
879 /* Local variables and labels need to be replaced by equivalent
880 variables. We don't want to copy static variables; there's
881 only one of those, no matter how many times we inline the
882 containing function. Similarly for globals from an outer
886 /* Remap the declaration. */
887 new_decl
= remap_decl (*tp
, id
);
888 gcc_assert (new_decl
);
889 /* Replace this variable with the copy. */
890 STRIP_TYPE_NOPS (new_decl
);
891 /* ??? The C++ frontend uses void * pointer zero to initialize
892 any other type. This confuses the middle-end type verification.
893 As cloned bodies do not go through gimplification again the fixup
894 there doesn't trigger. */
895 if (TREE_CODE (new_decl
) == INTEGER_CST
896 && !useless_type_conversion_p (TREE_TYPE (*tp
), TREE_TYPE (new_decl
)))
897 new_decl
= fold_convert (TREE_TYPE (*tp
), new_decl
);
901 else if (TREE_CODE (*tp
) == STATEMENT_LIST
)
903 else if (TREE_CODE (*tp
) == SAVE_EXPR
)
905 else if (TREE_CODE (*tp
) == LABEL_DECL
906 && (!DECL_CONTEXT (*tp
)
907 || decl_function_context (*tp
) == id
->src_fn
))
908 /* These may need to be remapped for EH handling. */
909 *tp
= remap_decl (*tp
, id
);
910 else if (TREE_CODE (*tp
) == FIELD_DECL
)
912 /* If the enclosing record type is variably_modified_type_p, the field
913 has already been remapped. Otherwise, it need not be. */
914 tree
*n
= id
->decl_map
->get (*tp
);
919 else if (TYPE_P (*tp
))
920 /* Types may need remapping as well. */
921 *tp
= remap_type (*tp
, id
);
922 else if (CONSTANT_CLASS_P (*tp
))
924 /* If this is a constant, we have to copy the node iff the type
925 will be remapped. copy_tree_r will not copy a constant. */
926 tree new_type
= remap_type (TREE_TYPE (*tp
), id
);
928 if (new_type
== TREE_TYPE (*tp
))
931 else if (TREE_CODE (*tp
) == INTEGER_CST
)
932 *tp
= wide_int_to_tree (new_type
, *tp
);
935 *tp
= copy_node (*tp
);
936 TREE_TYPE (*tp
) = new_type
;
941 /* Otherwise, just copy the node. Note that copy_tree_r already
942 knows not to copy VAR_DECLs, etc., so this is safe. */
944 if (TREE_CODE (*tp
) == MEM_REF
)
946 /* We need to re-canonicalize MEM_REFs from inline substitutions
947 that can happen when a pointer argument is an ADDR_EXPR.
948 Recurse here manually to allow that. */
949 tree ptr
= TREE_OPERAND (*tp
, 0);
950 tree type
= remap_type (TREE_TYPE (*tp
), id
);
952 walk_tree (&ptr
, remap_gimple_op_r
, data
, NULL
);
953 *tp
= fold_build2 (MEM_REF
, type
, ptr
, TREE_OPERAND (*tp
, 1));
954 TREE_THIS_VOLATILE (*tp
) = TREE_THIS_VOLATILE (old
);
955 TREE_SIDE_EFFECTS (*tp
) = TREE_SIDE_EFFECTS (old
);
956 TREE_NO_WARNING (*tp
) = TREE_NO_WARNING (old
);
957 if (MR_DEPENDENCE_CLIQUE (old
) != 0)
959 MR_DEPENDENCE_CLIQUE (*tp
)
960 = remap_dependence_clique (id
, MR_DEPENDENCE_CLIQUE (old
));
961 MR_DEPENDENCE_BASE (*tp
) = MR_DEPENDENCE_BASE (old
);
963 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
964 remapped a parameter as the property might be valid only
965 for the parameter itself. */
966 if (TREE_THIS_NOTRAP (old
)
967 && (!is_parm (TREE_OPERAND (old
, 0))
968 || (!id
->transform_parameter
&& is_parm (ptr
))))
969 TREE_THIS_NOTRAP (*tp
) = 1;
974 /* Here is the "usual case". Copy this tree node, and then
975 tweak some special cases. */
976 copy_tree_r (tp
, walk_subtrees
, NULL
);
978 if (TREE_CODE (*tp
) != OMP_CLAUSE
)
979 TREE_TYPE (*tp
) = remap_type (TREE_TYPE (*tp
), id
);
981 if (TREE_CODE (*tp
) == TARGET_EXPR
&& TREE_OPERAND (*tp
, 3))
983 /* The copied TARGET_EXPR has never been expanded, even if the
984 original node was expanded already. */
985 TREE_OPERAND (*tp
, 1) = TREE_OPERAND (*tp
, 3);
986 TREE_OPERAND (*tp
, 3) = NULL_TREE
;
988 else if (TREE_CODE (*tp
) == ADDR_EXPR
)
990 /* Variable substitution need not be simple. In particular,
991 the MEM_REF substitution above. Make sure that
992 TREE_CONSTANT and friends are up-to-date. */
993 int invariant
= is_gimple_min_invariant (*tp
);
994 walk_tree (&TREE_OPERAND (*tp
, 0), remap_gimple_op_r
, data
, NULL
);
995 recompute_tree_invariant_for_addr_expr (*tp
);
997 /* If this used to be invariant, but is not any longer,
998 then regimplification is probably needed. */
999 if (invariant
&& !is_gimple_min_invariant (*tp
))
1000 id
->regimplify
= true;
1006 /* Update the TREE_BLOCK for the cloned expr. */
1009 tree new_block
= id
->remapping_type_depth
== 0 ? id
->block
: NULL
;
1010 tree old_block
= TREE_BLOCK (*tp
);
1014 n
= id
->decl_map
->get (TREE_BLOCK (*tp
));
1018 TREE_SET_BLOCK (*tp
, new_block
);
1021 /* Keep iterating. */
1026 /* Called from copy_body_id via walk_tree. DATA is really a
1027 `copy_body_data *'. */
1030 copy_tree_body_r (tree
*tp
, int *walk_subtrees
, void *data
)
1032 copy_body_data
*id
= (copy_body_data
*) data
;
1033 tree fn
= id
->src_fn
;
1036 /* Begin by recognizing trees that we'll completely rewrite for the
1037 inlining context. Our output for these trees is completely
1038 different from out input (e.g. RETURN_EXPR is deleted, and morphs
1039 into an edge). Further down, we'll handle trees that get
1040 duplicated and/or tweaked. */
1042 /* When requested, RETURN_EXPRs should be transformed to just the
1043 contained MODIFY_EXPR. The branch semantics of the return will
1044 be handled elsewhere by manipulating the CFG rather than a statement. */
1045 if (TREE_CODE (*tp
) == RETURN_EXPR
&& id
->transform_return_to_modify
)
1047 tree assignment
= TREE_OPERAND (*tp
, 0);
1049 /* If we're returning something, just turn that into an
1050 assignment into the equivalent of the original RESULT_DECL.
1051 If the "assignment" is just the result decl, the result
1052 decl has already been set (e.g. a recent "foo (&result_decl,
1053 ...)"); just toss the entire RETURN_EXPR. */
1054 if (assignment
&& TREE_CODE (assignment
) == MODIFY_EXPR
)
1056 /* Replace the RETURN_EXPR with (a copy of) the
1057 MODIFY_EXPR hanging underneath. */
1058 *tp
= copy_node (assignment
);
1060 else /* Else the RETURN_EXPR returns no value. */
1063 return (tree
) (void *)1;
1066 else if (TREE_CODE (*tp
) == SSA_NAME
)
1068 *tp
= remap_ssa_name (*tp
, id
);
1073 /* Local variables and labels need to be replaced by equivalent
1074 variables. We don't want to copy static variables; there's only
1075 one of those, no matter how many times we inline the containing
1076 function. Similarly for globals from an outer function. */
1077 else if (auto_var_in_fn_p (*tp
, fn
))
1081 /* Remap the declaration. */
1082 new_decl
= remap_decl (*tp
, id
);
1083 gcc_assert (new_decl
);
1084 /* Replace this variable with the copy. */
1085 STRIP_TYPE_NOPS (new_decl
);
1089 else if (TREE_CODE (*tp
) == STATEMENT_LIST
)
1090 copy_statement_list (tp
);
1091 else if (TREE_CODE (*tp
) == SAVE_EXPR
1092 || TREE_CODE (*tp
) == TARGET_EXPR
)
1093 remap_save_expr (tp
, id
->decl_map
, walk_subtrees
);
1094 else if (TREE_CODE (*tp
) == LABEL_DECL
1095 && (! DECL_CONTEXT (*tp
)
1096 || decl_function_context (*tp
) == id
->src_fn
))
1097 /* These may need to be remapped for EH handling. */
1098 *tp
= remap_decl (*tp
, id
);
1099 else if (TREE_CODE (*tp
) == BIND_EXPR
)
1100 copy_bind_expr (tp
, walk_subtrees
, id
);
1101 /* Types may need remapping as well. */
1102 else if (TYPE_P (*tp
))
1103 *tp
= remap_type (*tp
, id
);
1105 /* If this is a constant, we have to copy the node iff the type will be
1106 remapped. copy_tree_r will not copy a constant. */
1107 else if (CONSTANT_CLASS_P (*tp
))
1109 tree new_type
= remap_type (TREE_TYPE (*tp
), id
);
1111 if (new_type
== TREE_TYPE (*tp
))
1114 else if (TREE_CODE (*tp
) == INTEGER_CST
)
1115 *tp
= wide_int_to_tree (new_type
, *tp
);
1118 *tp
= copy_node (*tp
);
1119 TREE_TYPE (*tp
) = new_type
;
1123 /* Otherwise, just copy the node. Note that copy_tree_r already
1124 knows not to copy VAR_DECLs, etc., so this is safe. */
1127 /* Here we handle trees that are not completely rewritten.
1128 First we detect some inlining-induced bogosities for
1130 if (TREE_CODE (*tp
) == MODIFY_EXPR
1131 && TREE_OPERAND (*tp
, 0) == TREE_OPERAND (*tp
, 1)
1132 && (auto_var_in_fn_p (TREE_OPERAND (*tp
, 0), fn
)))
1134 /* Some assignments VAR = VAR; don't generate any rtl code
1135 and thus don't count as variable modification. Avoid
1136 keeping bogosities like 0 = 0. */
1137 tree decl
= TREE_OPERAND (*tp
, 0), value
;
1140 n
= id
->decl_map
->get (decl
);
1144 STRIP_TYPE_NOPS (value
);
1145 if (TREE_CONSTANT (value
) || TREE_READONLY (value
))
1147 *tp
= build_empty_stmt (EXPR_LOCATION (*tp
));
1148 return copy_tree_body_r (tp
, walk_subtrees
, data
);
1152 else if (TREE_CODE (*tp
) == INDIRECT_REF
)
1154 /* Get rid of *& from inline substitutions that can happen when a
1155 pointer argument is an ADDR_EXPR. */
1156 tree decl
= TREE_OPERAND (*tp
, 0);
1157 tree
*n
= id
->decl_map
->get (decl
);
1160 /* If we happen to get an ADDR_EXPR in n->value, strip
1161 it manually here as we'll eventually get ADDR_EXPRs
1162 which lie about their types pointed to. In this case
1163 build_fold_indirect_ref wouldn't strip the INDIRECT_REF,
1164 but we absolutely rely on that. As fold_indirect_ref
1165 does other useful transformations, try that first, though. */
1166 tree type
= TREE_TYPE (*tp
);
1167 tree ptr
= id
->do_not_unshare
? *n
: unshare_expr (*n
);
1169 *tp
= gimple_fold_indirect_ref (ptr
);
1172 if (TREE_CODE (ptr
) == ADDR_EXPR
)
1175 = fold_indirect_ref_1 (EXPR_LOCATION (ptr
), type
, ptr
);
1176 /* ??? We should either assert here or build
1177 a VIEW_CONVERT_EXPR instead of blindly leaking
1178 incompatible types to our IL. */
1180 *tp
= TREE_OPERAND (ptr
, 0);
1184 *tp
= build1 (INDIRECT_REF
, type
, ptr
);
1185 TREE_THIS_VOLATILE (*tp
) = TREE_THIS_VOLATILE (old
);
1186 TREE_SIDE_EFFECTS (*tp
) = TREE_SIDE_EFFECTS (old
);
1187 TREE_READONLY (*tp
) = TREE_READONLY (old
);
1188 /* We cannot propagate the TREE_THIS_NOTRAP flag if we
1189 have remapped a parameter as the property might be
1190 valid only for the parameter itself. */
1191 if (TREE_THIS_NOTRAP (old
)
1192 && (!is_parm (TREE_OPERAND (old
, 0))
1193 || (!id
->transform_parameter
&& is_parm (ptr
))))
1194 TREE_THIS_NOTRAP (*tp
) = 1;
1201 else if (TREE_CODE (*tp
) == MEM_REF
)
1203 /* We need to re-canonicalize MEM_REFs from inline substitutions
1204 that can happen when a pointer argument is an ADDR_EXPR.
1205 Recurse here manually to allow that. */
1206 tree ptr
= TREE_OPERAND (*tp
, 0);
1207 tree type
= remap_type (TREE_TYPE (*tp
), id
);
1209 walk_tree (&ptr
, copy_tree_body_r
, data
, NULL
);
1210 *tp
= fold_build2 (MEM_REF
, type
, ptr
, TREE_OPERAND (*tp
, 1));
1211 TREE_THIS_VOLATILE (*tp
) = TREE_THIS_VOLATILE (old
);
1212 TREE_SIDE_EFFECTS (*tp
) = TREE_SIDE_EFFECTS (old
);
1213 TREE_NO_WARNING (*tp
) = TREE_NO_WARNING (old
);
1214 if (MR_DEPENDENCE_CLIQUE (old
) != 0)
1216 MR_DEPENDENCE_CLIQUE (*tp
)
1217 = remap_dependence_clique (id
, MR_DEPENDENCE_CLIQUE (old
));
1218 MR_DEPENDENCE_BASE (*tp
) = MR_DEPENDENCE_BASE (old
);
1220 /* We cannot propagate the TREE_THIS_NOTRAP flag if we have
1221 remapped a parameter as the property might be valid only
1222 for the parameter itself. */
1223 if (TREE_THIS_NOTRAP (old
)
1224 && (!is_parm (TREE_OPERAND (old
, 0))
1225 || (!id
->transform_parameter
&& is_parm (ptr
))))
1226 TREE_THIS_NOTRAP (*tp
) = 1;
1231 /* Here is the "usual case". Copy this tree node, and then
1232 tweak some special cases. */
1233 copy_tree_r (tp
, walk_subtrees
, NULL
);
1235 /* If EXPR has block defined, map it to newly constructed block.
1236 When inlining we want EXPRs without block appear in the block
1237 of function call if we are not remapping a type. */
1240 new_block
= id
->remapping_type_depth
== 0 ? id
->block
: NULL
;
1241 if (TREE_BLOCK (*tp
))
1244 n
= id
->decl_map
->get (TREE_BLOCK (*tp
));
1248 TREE_SET_BLOCK (*tp
, new_block
);
1251 if (TREE_CODE (*tp
) != OMP_CLAUSE
)
1252 TREE_TYPE (*tp
) = remap_type (TREE_TYPE (*tp
), id
);
1254 /* The copied TARGET_EXPR has never been expanded, even if the
1255 original node was expanded already. */
1256 if (TREE_CODE (*tp
) == TARGET_EXPR
&& TREE_OPERAND (*tp
, 3))
1258 TREE_OPERAND (*tp
, 1) = TREE_OPERAND (*tp
, 3);
1259 TREE_OPERAND (*tp
, 3) = NULL_TREE
;
1262 /* Variable substitution need not be simple. In particular, the
1263 INDIRECT_REF substitution above. Make sure that TREE_CONSTANT
1264 and friends are up-to-date. */
1265 else if (TREE_CODE (*tp
) == ADDR_EXPR
)
1267 int invariant
= is_gimple_min_invariant (*tp
);
1268 walk_tree (&TREE_OPERAND (*tp
, 0), copy_tree_body_r
, id
, NULL
);
1270 /* Handle the case where we substituted an INDIRECT_REF
1271 into the operand of the ADDR_EXPR. */
1272 if (TREE_CODE (TREE_OPERAND (*tp
, 0)) == INDIRECT_REF
)
1273 *tp
= TREE_OPERAND (TREE_OPERAND (*tp
, 0), 0);
1275 recompute_tree_invariant_for_addr_expr (*tp
);
1277 /* If this used to be invariant, but is not any longer,
1278 then regimplification is probably needed. */
1279 if (invariant
&& !is_gimple_min_invariant (*tp
))
1280 id
->regimplify
= true;
1286 /* Keep iterating. */
1290 /* Helper for remap_gimple_stmt. Given an EH region number for the
1291 source function, map that to the duplicate EH region number in
1292 the destination function. */
1295 remap_eh_region_nr (int old_nr
, copy_body_data
*id
)
1297 eh_region old_r
, new_r
;
1299 old_r
= get_eh_region_from_number_fn (id
->src_cfun
, old_nr
);
1300 new_r
= static_cast<eh_region
> (*id
->eh_map
->get (old_r
));
1302 return new_r
->index
;
1305 /* Similar, but operate on INTEGER_CSTs. */
1308 remap_eh_region_tree_nr (tree old_t_nr
, copy_body_data
*id
)
1312 old_nr
= tree_to_shwi (old_t_nr
);
1313 new_nr
= remap_eh_region_nr (old_nr
, id
);
1315 return build_int_cst (integer_type_node
, new_nr
);
1318 /* Helper for copy_bb. Remap statement STMT using the inlining
1319 information in ID. Return the new statement copy. */
1322 remap_gimple_stmt (gimple stmt
, copy_body_data
*id
)
1325 struct walk_stmt_info wi
;
1326 bool skip_first
= false;
1327 gimple_seq stmts
= NULL
;
1329 if (is_gimple_debug (stmt
)
1330 && !opt_for_fn (id
->dst_fn
, flag_var_tracking_assignments
))
1333 /* Begin by recognizing trees that we'll completely rewrite for the
1334 inlining context. Our output for these trees is completely
1335 different from out input (e.g. RETURN_EXPR is deleted, and morphs
1336 into an edge). Further down, we'll handle trees that get
1337 duplicated and/or tweaked. */
1339 /* When requested, GIMPLE_RETURNs should be transformed to just the
1340 contained GIMPLE_ASSIGN. The branch semantics of the return will
1341 be handled elsewhere by manipulating the CFG rather than the
1343 if (gimple_code (stmt
) == GIMPLE_RETURN
&& id
->transform_return_to_modify
)
1345 tree retval
= gimple_return_retval (as_a
<greturn
*> (stmt
));
1346 tree retbnd
= gimple_return_retbnd (stmt
);
1347 tree bndslot
= id
->retbnd
;
1349 if (retbnd
&& bndslot
)
1351 gimple bndcopy
= gimple_build_assign (bndslot
, retbnd
);
1352 memset (&wi
, 0, sizeof (wi
));
1354 walk_gimple_op (bndcopy
, remap_gimple_op_r
, &wi
);
1355 gimple_seq_add_stmt (&stmts
, bndcopy
);
1358 /* If we're returning something, just turn that into an
1359 assignment into the equivalent of the original RESULT_DECL.
1360 If RETVAL is just the result decl, the result decl has
1361 already been set (e.g. a recent "foo (&result_decl, ...)");
1362 just toss the entire GIMPLE_RETURN. */
1364 && (TREE_CODE (retval
) != RESULT_DECL
1365 && (TREE_CODE (retval
) != SSA_NAME
1366 || ! SSA_NAME_VAR (retval
)
1367 || TREE_CODE (SSA_NAME_VAR (retval
)) != RESULT_DECL
)))
1369 copy
= gimple_build_assign (id
->do_not_unshare
1370 ? id
->retvar
: unshare_expr (id
->retvar
),
1372 /* id->retvar is already substituted. Skip it on later remapping. */
1375 /* We need to copy bounds if return structure with pointers into
1376 instrumented function. */
1377 if (chkp_function_instrumented_p (id
->dst_fn
)
1379 && !BOUNDED_P (id
->retvar
)
1380 && chkp_type_has_pointer (TREE_TYPE (id
->retvar
)))
1381 id
->assign_stmts
.safe_push (copy
);
1387 else if (gimple_has_substatements (stmt
))
1391 /* When cloning bodies from the C++ front end, we will be handed bodies
1392 in High GIMPLE form. Handle here all the High GIMPLE statements that
1393 have embedded statements. */
1394 switch (gimple_code (stmt
))
1397 copy
= copy_gimple_bind (as_a
<gbind
*> (stmt
), id
);
1402 gcatch
*catch_stmt
= as_a
<gcatch
*> (stmt
);
1403 s1
= remap_gimple_seq (gimple_catch_handler (catch_stmt
), id
);
1404 copy
= gimple_build_catch (gimple_catch_types (catch_stmt
), s1
);
1408 case GIMPLE_EH_FILTER
:
1409 s1
= remap_gimple_seq (gimple_eh_filter_failure (stmt
), id
);
1410 copy
= gimple_build_eh_filter (gimple_eh_filter_types (stmt
), s1
);
1414 s1
= remap_gimple_seq (gimple_try_eval (stmt
), id
);
1415 s2
= remap_gimple_seq (gimple_try_cleanup (stmt
), id
);
1416 copy
= gimple_build_try (s1
, s2
, gimple_try_kind (stmt
));
1419 case GIMPLE_WITH_CLEANUP_EXPR
:
1420 s1
= remap_gimple_seq (gimple_wce_cleanup (stmt
), id
);
1421 copy
= gimple_build_wce (s1
);
1424 case GIMPLE_OMP_PARALLEL
:
1426 gomp_parallel
*omp_par_stmt
= as_a
<gomp_parallel
*> (stmt
);
1427 s1
= remap_gimple_seq (gimple_omp_body (omp_par_stmt
), id
);
1428 copy
= gimple_build_omp_parallel
1430 gimple_omp_parallel_clauses (omp_par_stmt
),
1431 gimple_omp_parallel_child_fn (omp_par_stmt
),
1432 gimple_omp_parallel_data_arg (omp_par_stmt
));
1436 case GIMPLE_OMP_TASK
:
1437 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1438 copy
= gimple_build_omp_task
1440 gimple_omp_task_clauses (stmt
),
1441 gimple_omp_task_child_fn (stmt
),
1442 gimple_omp_task_data_arg (stmt
),
1443 gimple_omp_task_copy_fn (stmt
),
1444 gimple_omp_task_arg_size (stmt
),
1445 gimple_omp_task_arg_align (stmt
));
1448 case GIMPLE_OMP_FOR
:
1449 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1450 s2
= remap_gimple_seq (gimple_omp_for_pre_body (stmt
), id
);
1451 copy
= gimple_build_omp_for (s1
, gimple_omp_for_kind (stmt
),
1452 gimple_omp_for_clauses (stmt
),
1453 gimple_omp_for_collapse (stmt
), s2
);
1456 for (i
= 0; i
< gimple_omp_for_collapse (stmt
); i
++)
1458 gimple_omp_for_set_index (copy
, i
,
1459 gimple_omp_for_index (stmt
, i
));
1460 gimple_omp_for_set_initial (copy
, i
,
1461 gimple_omp_for_initial (stmt
, i
));
1462 gimple_omp_for_set_final (copy
, i
,
1463 gimple_omp_for_final (stmt
, i
));
1464 gimple_omp_for_set_incr (copy
, i
,
1465 gimple_omp_for_incr (stmt
, i
));
1466 gimple_omp_for_set_cond (copy
, i
,
1467 gimple_omp_for_cond (stmt
, i
));
1472 case GIMPLE_OMP_MASTER
:
1473 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1474 copy
= gimple_build_omp_master (s1
);
1477 case GIMPLE_OMP_TASKGROUP
:
1478 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1479 copy
= gimple_build_omp_taskgroup (s1
);
1482 case GIMPLE_OMP_ORDERED
:
1483 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1484 copy
= gimple_build_omp_ordered (s1
);
1487 case GIMPLE_OMP_SECTION
:
1488 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1489 copy
= gimple_build_omp_section (s1
);
1492 case GIMPLE_OMP_SECTIONS
:
1493 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1494 copy
= gimple_build_omp_sections
1495 (s1
, gimple_omp_sections_clauses (stmt
));
1498 case GIMPLE_OMP_SINGLE
:
1499 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1500 copy
= gimple_build_omp_single
1501 (s1
, gimple_omp_single_clauses (stmt
));
1504 case GIMPLE_OMP_TARGET
:
1505 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1506 copy
= gimple_build_omp_target
1507 (s1
, gimple_omp_target_kind (stmt
),
1508 gimple_omp_target_clauses (stmt
));
1511 case GIMPLE_OMP_TEAMS
:
1512 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1513 copy
= gimple_build_omp_teams
1514 (s1
, gimple_omp_teams_clauses (stmt
));
1517 case GIMPLE_OMP_CRITICAL
:
1518 s1
= remap_gimple_seq (gimple_omp_body (stmt
), id
);
1519 copy
= gimple_build_omp_critical (s1
,
1520 gimple_omp_critical_name (
1521 as_a
<gomp_critical
*> (stmt
)));
1524 case GIMPLE_TRANSACTION
:
1526 gtransaction
*old_trans_stmt
= as_a
<gtransaction
*> (stmt
);
1527 gtransaction
*new_trans_stmt
;
1528 s1
= remap_gimple_seq (gimple_transaction_body (old_trans_stmt
),
1530 copy
= new_trans_stmt
1531 = gimple_build_transaction (
1533 gimple_transaction_label (old_trans_stmt
));
1534 gimple_transaction_set_subcode (
1536 gimple_transaction_subcode (old_trans_stmt
));
1546 if (gimple_assign_copy_p (stmt
)
1547 && gimple_assign_lhs (stmt
) == gimple_assign_rhs1 (stmt
)
1548 && auto_var_in_fn_p (gimple_assign_lhs (stmt
), id
->src_fn
))
1550 /* Here we handle statements that are not completely rewritten.
1551 First we detect some inlining-induced bogosities for
1554 /* Some assignments VAR = VAR; don't generate any rtl code
1555 and thus don't count as variable modification. Avoid
1556 keeping bogosities like 0 = 0. */
1557 tree decl
= gimple_assign_lhs (stmt
), value
;
1560 n
= id
->decl_map
->get (decl
);
1564 STRIP_TYPE_NOPS (value
);
1565 if (TREE_CONSTANT (value
) || TREE_READONLY (value
))
1570 /* For *ptr_N ={v} {CLOBBER}, if ptr_N is SSA_NAME defined
1571 in a block that we aren't copying during tree_function_versioning,
1572 just drop the clobber stmt. */
1573 if (id
->blocks_to_copy
&& gimple_clobber_p (stmt
))
1575 tree lhs
= gimple_assign_lhs (stmt
);
1576 if (TREE_CODE (lhs
) == MEM_REF
1577 && TREE_CODE (TREE_OPERAND (lhs
, 0)) == SSA_NAME
)
1579 gimple def_stmt
= SSA_NAME_DEF_STMT (TREE_OPERAND (lhs
, 0));
1580 if (gimple_bb (def_stmt
)
1581 && !bitmap_bit_p (id
->blocks_to_copy
,
1582 gimple_bb (def_stmt
)->index
))
1587 if (gimple_debug_bind_p (stmt
))
1590 = gimple_build_debug_bind (gimple_debug_bind_get_var (stmt
),
1591 gimple_debug_bind_get_value (stmt
),
1593 id
->debug_stmts
.safe_push (copy
);
1594 gimple_seq_add_stmt (&stmts
, copy
);
1597 if (gimple_debug_source_bind_p (stmt
))
1599 gdebug
*copy
= gimple_build_debug_source_bind
1600 (gimple_debug_source_bind_get_var (stmt
),
1601 gimple_debug_source_bind_get_value (stmt
),
1603 id
->debug_stmts
.safe_push (copy
);
1604 gimple_seq_add_stmt (&stmts
, copy
);
1608 /* Create a new deep copy of the statement. */
1609 copy
= gimple_copy (stmt
);
1611 /* Clear flags that need revisiting. */
1612 if (gcall
*call_stmt
= dyn_cast
<gcall
*> (copy
))
1614 if (gimple_call_tail_p (call_stmt
))
1615 gimple_call_set_tail (call_stmt
, false);
1616 if (gimple_call_from_thunk_p (call_stmt
))
1617 gimple_call_set_from_thunk (call_stmt
, false);
1620 /* Remap the region numbers for __builtin_eh_{pointer,filter},
1621 RESX and EH_DISPATCH. */
1623 switch (gimple_code (copy
))
1627 tree r
, fndecl
= gimple_call_fndecl (copy
);
1628 if (fndecl
&& DECL_BUILT_IN_CLASS (fndecl
) == BUILT_IN_NORMAL
)
1629 switch (DECL_FUNCTION_CODE (fndecl
))
1631 case BUILT_IN_EH_COPY_VALUES
:
1632 r
= gimple_call_arg (copy
, 1);
1633 r
= remap_eh_region_tree_nr (r
, id
);
1634 gimple_call_set_arg (copy
, 1, r
);
1637 case BUILT_IN_EH_POINTER
:
1638 case BUILT_IN_EH_FILTER
:
1639 r
= gimple_call_arg (copy
, 0);
1640 r
= remap_eh_region_tree_nr (r
, id
);
1641 gimple_call_set_arg (copy
, 0, r
);
1648 /* Reset alias info if we didn't apply measures to
1649 keep it valid over inlining by setting DECL_PT_UID. */
1650 if (!id
->src_cfun
->gimple_df
1651 || !id
->src_cfun
->gimple_df
->ipa_pta
)
1652 gimple_call_reset_alias_info (as_a
<gcall
*> (copy
));
1658 gresx
*resx_stmt
= as_a
<gresx
*> (copy
);
1659 int r
= gimple_resx_region (resx_stmt
);
1660 r
= remap_eh_region_nr (r
, id
);
1661 gimple_resx_set_region (resx_stmt
, r
);
1665 case GIMPLE_EH_DISPATCH
:
1667 geh_dispatch
*eh_dispatch
= as_a
<geh_dispatch
*> (copy
);
1668 int r
= gimple_eh_dispatch_region (eh_dispatch
);
1669 r
= remap_eh_region_nr (r
, id
);
1670 gimple_eh_dispatch_set_region (eh_dispatch
, r
);
1679 /* If STMT has a block defined, map it to the newly constructed
1681 if (gimple_block (copy
))
1684 n
= id
->decl_map
->get (gimple_block (copy
));
1686 gimple_set_block (copy
, *n
);
1689 if (gimple_debug_bind_p (copy
) || gimple_debug_source_bind_p (copy
))
1691 gimple_seq_add_stmt (&stmts
, copy
);
1695 /* Remap all the operands in COPY. */
1696 memset (&wi
, 0, sizeof (wi
));
1699 walk_tree (gimple_op_ptr (copy
, 1), remap_gimple_op_r
, &wi
, NULL
);
1701 walk_gimple_op (copy
, remap_gimple_op_r
, &wi
);
1703 /* Clear the copied virtual operands. We are not remapping them here
1704 but are going to recreate them from scratch. */
1705 if (gimple_has_mem_ops (copy
))
1707 gimple_set_vdef (copy
, NULL_TREE
);
1708 gimple_set_vuse (copy
, NULL_TREE
);
1711 gimple_seq_add_stmt (&stmts
, copy
);
1716 /* Copy basic block, scale profile accordingly. Edges will be taken care of
1720 copy_bb (copy_body_data
*id
, basic_block bb
, int frequency_scale
,
1721 gcov_type count_scale
)
1723 gimple_stmt_iterator gsi
, copy_gsi
, seq_gsi
;
1724 basic_block copy_basic_block
;
1729 /* Search for previous copied basic block. */
1732 prev
= prev
->prev_bb
;
1734 /* create_basic_block() will append every new block to
1735 basic_block_info automatically. */
1736 copy_basic_block
= create_basic_block (NULL
, (basic_block
) prev
->aux
);
1737 copy_basic_block
->count
= apply_scale (bb
->count
, count_scale
);
1739 /* We are going to rebuild frequencies from scratch. These values
1740 have just small importance to drive canonicalize_loop_headers. */
1741 freq
= apply_scale ((gcov_type
)bb
->frequency
, frequency_scale
);
1743 /* We recompute frequencies after inlining, so this is quite safe. */
1744 if (freq
> BB_FREQ_MAX
)
1746 copy_basic_block
->frequency
= freq
;
1748 copy_gsi
= gsi_start_bb (copy_basic_block
);
1750 for (gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
); gsi_next (&gsi
))
1753 gimple stmt
= gsi_stmt (gsi
);
1754 gimple orig_stmt
= stmt
;
1755 gimple_stmt_iterator stmts_gsi
;
1756 bool stmt_added
= false;
1758 id
->regimplify
= false;
1759 stmts
= remap_gimple_stmt (stmt
, id
);
1761 if (gimple_seq_empty_p (stmts
))
1766 for (stmts_gsi
= gsi_start (stmts
);
1767 !gsi_end_p (stmts_gsi
); )
1769 stmt
= gsi_stmt (stmts_gsi
);
1771 /* Advance iterator now before stmt is moved to seq_gsi. */
1772 gsi_next (&stmts_gsi
);
1774 if (gimple_nop_p (stmt
))
1777 gimple_duplicate_stmt_histograms (cfun
, stmt
, id
->src_cfun
,
1780 /* With return slot optimization we can end up with
1781 non-gimple (foo *)&this->m, fix that here. */
1782 if (is_gimple_assign (stmt
)
1783 && CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt
))
1784 && !is_gimple_val (gimple_assign_rhs1 (stmt
)))
1787 new_rhs
= force_gimple_operand_gsi (&seq_gsi
,
1788 gimple_assign_rhs1 (stmt
),
1790 GSI_CONTINUE_LINKING
);
1791 gimple_assign_set_rhs1 (stmt
, new_rhs
);
1792 id
->regimplify
= false;
1795 gsi_insert_after (&seq_gsi
, stmt
, GSI_NEW_STMT
);
1798 gimple_regimplify_operands (stmt
, &seq_gsi
);
1806 /* If copy_basic_block has been empty at the start of this iteration,
1807 call gsi_start_bb again to get at the newly added statements. */
1808 if (gsi_end_p (copy_gsi
))
1809 copy_gsi
= gsi_start_bb (copy_basic_block
);
1811 gsi_next (©_gsi
);
1813 /* Process the new statement. The call to gimple_regimplify_operands
1814 possibly turned the statement into multiple statements, we
1815 need to process all of them. */
1821 stmt
= gsi_stmt (copy_gsi
);
1822 call_stmt
= dyn_cast
<gcall
*> (stmt
);
1824 && gimple_call_va_arg_pack_p (call_stmt
)
1827 /* __builtin_va_arg_pack () should be replaced by
1828 all arguments corresponding to ... in the caller. */
1832 size_t nargs
= gimple_call_num_args (id
->call_stmt
);
1833 size_t n
, i
, nargs_to_copy
;
1834 bool remove_bounds
= false;
1836 for (p
= DECL_ARGUMENTS (id
->src_fn
); p
; p
= DECL_CHAIN (p
))
1839 /* Bounds should be removed from arg pack in case
1840 we handle not instrumented call in instrumented
1842 nargs_to_copy
= nargs
;
1843 if (gimple_call_with_bounds_p (id
->call_stmt
)
1844 && !gimple_call_with_bounds_p (stmt
))
1846 for (i
= gimple_call_num_args (id
->call_stmt
) - nargs
;
1847 i
< gimple_call_num_args (id
->call_stmt
);
1849 if (POINTER_BOUNDS_P (gimple_call_arg (id
->call_stmt
, i
)))
1851 remove_bounds
= true;
1854 /* Create the new array of arguments. */
1855 n
= nargs_to_copy
+ gimple_call_num_args (call_stmt
);
1856 argarray
.create (n
);
1857 argarray
.safe_grow_cleared (n
);
1859 /* Copy all the arguments before '...' */
1860 memcpy (argarray
.address (),
1861 gimple_call_arg_ptr (call_stmt
, 0),
1862 gimple_call_num_args (call_stmt
) * sizeof (tree
));
1866 /* Append the rest of arguments removing bounds. */
1867 unsigned cur
= gimple_call_num_args (call_stmt
);
1868 i
= gimple_call_num_args (id
->call_stmt
) - nargs
;
1869 for (i
= gimple_call_num_args (id
->call_stmt
) - nargs
;
1870 i
< gimple_call_num_args (id
->call_stmt
);
1872 if (!POINTER_BOUNDS_P (gimple_call_arg (id
->call_stmt
, i
)))
1873 argarray
[cur
++] = gimple_call_arg (id
->call_stmt
, i
);
1874 gcc_assert (cur
== n
);
1878 /* Append the arguments passed in '...' */
1879 memcpy (argarray
.address () + gimple_call_num_args (call_stmt
),
1880 gimple_call_arg_ptr (id
->call_stmt
, 0)
1881 + (gimple_call_num_args (id
->call_stmt
) - nargs
),
1882 nargs
* sizeof (tree
));
1885 new_call
= gimple_build_call_vec (gimple_call_fn (call_stmt
),
1888 argarray
.release ();
1890 /* Copy all GIMPLE_CALL flags, location and block, except
1891 GF_CALL_VA_ARG_PACK. */
1892 gimple_call_copy_flags (new_call
, call_stmt
);
1893 gimple_call_set_va_arg_pack (new_call
, false);
1894 gimple_set_location (new_call
, gimple_location (stmt
));
1895 gimple_set_block (new_call
, gimple_block (stmt
));
1896 gimple_call_set_lhs (new_call
, gimple_call_lhs (call_stmt
));
1898 gsi_replace (©_gsi
, new_call
, false);
1903 && (decl
= gimple_call_fndecl (stmt
))
1904 && DECL_BUILT_IN_CLASS (decl
) == BUILT_IN_NORMAL
1905 && DECL_FUNCTION_CODE (decl
) == BUILT_IN_VA_ARG_PACK_LEN
)
1907 /* __builtin_va_arg_pack_len () should be replaced by
1908 the number of anonymous arguments. */
1909 size_t nargs
= gimple_call_num_args (id
->call_stmt
), i
;
1913 for (p
= DECL_ARGUMENTS (id
->src_fn
); p
; p
= DECL_CHAIN (p
))
1916 /* For instrumented calls we should ignore bounds. */
1917 for (i
= gimple_call_num_args (id
->call_stmt
) - nargs
;
1918 i
< gimple_call_num_args (id
->call_stmt
);
1920 if (POINTER_BOUNDS_P (gimple_call_arg (id
->call_stmt
, i
)))
1923 count
= build_int_cst (integer_type_node
, nargs
);
1924 new_stmt
= gimple_build_assign (gimple_call_lhs (stmt
), count
);
1925 gsi_replace (©_gsi
, new_stmt
, false);
1930 && gimple_call_internal_p (stmt
)
1931 && gimple_call_internal_fn (stmt
) == IFN_TSAN_FUNC_EXIT
)
1933 /* Drop TSAN_FUNC_EXIT () internal calls during inlining. */
1934 gsi_remove (©_gsi
, false);
1938 /* Statements produced by inlining can be unfolded, especially
1939 when we constant propagated some operands. We can't fold
1940 them right now for two reasons:
1941 1) folding require SSA_NAME_DEF_STMTs to be correct
1942 2) we can't change function calls to builtins.
1943 So we just mark statement for later folding. We mark
1944 all new statements, instead just statements that has changed
1945 by some nontrivial substitution so even statements made
1946 foldable indirectly are updated. If this turns out to be
1947 expensive, copy_body can be told to watch for nontrivial
1949 if (id
->statements_to_fold
)
1950 id
->statements_to_fold
->add (stmt
);
1952 /* We're duplicating a CALL_EXPR. Find any corresponding
1953 callgraph edges and update or duplicate them. */
1954 if (gcall
*call_stmt
= dyn_cast
<gcall
*> (stmt
))
1956 struct cgraph_edge
*edge
;
1958 switch (id
->transform_call_graph_edges
)
1960 case CB_CGE_DUPLICATE
:
1961 edge
= id
->src_node
->get_edge (orig_stmt
);
1964 int edge_freq
= edge
->frequency
;
1966 struct cgraph_edge
*old_edge
= edge
;
1967 edge
= edge
->clone (id
->dst_node
, call_stmt
,
1969 REG_BR_PROB_BASE
, CGRAPH_FREQ_BASE
,
1971 /* We could also just rescale the frequency, but
1972 doing so would introduce roundoff errors and make
1973 verifier unhappy. */
1974 new_freq
= compute_call_stmt_bb_frequency (id
->dst_node
->decl
,
1977 /* Speculative calls consist of two edges - direct and indirect.
1978 Duplicate the whole thing and distribute frequencies accordingly. */
1979 if (edge
->speculative
)
1981 struct cgraph_edge
*direct
, *indirect
;
1982 struct ipa_ref
*ref
;
1984 gcc_assert (!edge
->indirect_unknown_callee
);
1985 old_edge
->speculative_call_info (direct
, indirect
, ref
);
1986 indirect
= indirect
->clone (id
->dst_node
, call_stmt
,
1988 REG_BR_PROB_BASE
, CGRAPH_FREQ_BASE
,
1990 if (old_edge
->frequency
+ indirect
->frequency
)
1992 edge
->frequency
= MIN (RDIV ((gcov_type
)new_freq
* old_edge
->frequency
,
1993 (old_edge
->frequency
+ indirect
->frequency
)),
1995 indirect
->frequency
= MIN (RDIV ((gcov_type
)new_freq
* indirect
->frequency
,
1996 (old_edge
->frequency
+ indirect
->frequency
)),
1999 id
->dst_node
->clone_reference (ref
, stmt
);
2003 edge
->frequency
= new_freq
;
2005 && profile_status_for_fn (cfun
) != PROFILE_ABSENT
2006 && (edge_freq
> edge
->frequency
+ 10
2007 || edge_freq
< edge
->frequency
- 10))
2009 fprintf (dump_file
, "Edge frequency estimated by "
2010 "cgraph %i diverge from inliner's estimate %i\n",
2014 "Orig bb: %i, orig bb freq %i, new bb freq %i\n",
2017 copy_basic_block
->frequency
);
2023 case CB_CGE_MOVE_CLONES
:
2024 id
->dst_node
->set_call_stmt_including_clones (orig_stmt
,
2026 edge
= id
->dst_node
->get_edge (stmt
);
2030 edge
= id
->dst_node
->get_edge (orig_stmt
);
2032 edge
->set_call_stmt (call_stmt
);
2039 /* Constant propagation on argument done during inlining
2040 may create new direct call. Produce an edge for it. */
2042 || (edge
->indirect_inlining_edge
2043 && id
->transform_call_graph_edges
== CB_CGE_MOVE_CLONES
))
2044 && id
->dst_node
->definition
2045 && (fn
= gimple_call_fndecl (stmt
)) != NULL
)
2047 struct cgraph_node
*dest
= cgraph_node::get (fn
);
2049 /* We have missing edge in the callgraph. This can happen
2050 when previous inlining turned an indirect call into a
2051 direct call by constant propagating arguments or we are
2052 producing dead clone (for further cloning). In all
2053 other cases we hit a bug (incorrect node sharing is the
2054 most common reason for missing edges). */
2055 gcc_assert (!dest
->definition
2056 || dest
->address_taken
2057 || !id
->src_node
->definition
2058 || !id
->dst_node
->definition
);
2059 if (id
->transform_call_graph_edges
== CB_CGE_MOVE_CLONES
)
2060 id
->dst_node
->create_edge_including_clones
2061 (dest
, orig_stmt
, call_stmt
, bb
->count
,
2062 compute_call_stmt_bb_frequency (id
->dst_node
->decl
,
2064 CIF_ORIGINALLY_INDIRECT_CALL
);
2066 id
->dst_node
->create_edge (dest
, call_stmt
,
2068 compute_call_stmt_bb_frequency
2069 (id
->dst_node
->decl
,
2070 copy_basic_block
))->inline_failed
2071 = CIF_ORIGINALLY_INDIRECT_CALL
;
2074 fprintf (dump_file
, "Created new direct edge to %s\n",
2079 notice_special_calls (as_a
<gcall
*> (stmt
));
2082 maybe_duplicate_eh_stmt_fn (cfun
, stmt
, id
->src_cfun
, orig_stmt
,
2083 id
->eh_map
, id
->eh_lp_nr
);
2085 if (gimple_in_ssa_p (cfun
) && !is_gimple_debug (stmt
))
2090 FOR_EACH_SSA_TREE_OPERAND (def
, stmt
, i
, SSA_OP_DEF
)
2091 if (TREE_CODE (def
) == SSA_NAME
)
2092 SSA_NAME_DEF_STMT (def
) = stmt
;
2095 gsi_next (©_gsi
);
2097 while (!gsi_end_p (copy_gsi
));
2099 copy_gsi
= gsi_last_bb (copy_basic_block
);
2102 return copy_basic_block
;
2105 /* Inserting Single Entry Multiple Exit region in SSA form into code in SSA
2106 form is quite easy, since dominator relationship for old basic blocks does
2109 There is however exception where inlining might change dominator relation
2110 across EH edges from basic block within inlined functions destinating
2111 to landing pads in function we inline into.
2113 The function fills in PHI_RESULTs of such PHI nodes if they refer
2114 to gimple regs. Otherwise, the function mark PHI_RESULT of such
2115 PHI nodes for renaming. For non-gimple regs, renaming is safe: the
2116 EH edges are abnormal and SSA_NAME_OCCURS_IN_ABNORMAL_PHI must be
2117 set, and this means that there will be no overlapping live ranges
2118 for the underlying symbol.
2120 This might change in future if we allow redirecting of EH edges and
2121 we might want to change way build CFG pre-inlining to include
2122 all the possible edges then. */
2124 update_ssa_across_abnormal_edges (basic_block bb
, basic_block ret_bb
,
2125 bool can_throw
, bool nonlocal_goto
)
2130 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
2132 || ((basic_block
)e
->dest
->aux
)->index
== ENTRY_BLOCK
)
2138 gcc_assert (e
->flags
& EDGE_EH
);
2141 gcc_assert (!(e
->flags
& EDGE_EH
));
2143 for (si
= gsi_start_phis (e
->dest
); !gsi_end_p (si
); gsi_next (&si
))
2149 /* For abnormal goto/call edges the receiver can be the
2150 ENTRY_BLOCK. Do not assert this cannot happen. */
2152 gcc_assert ((e
->flags
& EDGE_EH
)
2153 || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (phi
)));
2155 re
= find_edge (ret_bb
, e
->dest
);
2156 gcc_checking_assert (re
);
2157 gcc_assert ((re
->flags
& (EDGE_EH
| EDGE_ABNORMAL
))
2158 == (e
->flags
& (EDGE_EH
| EDGE_ABNORMAL
)));
2160 SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (phi
, e
),
2161 USE_FROM_PTR (PHI_ARG_DEF_PTR_FROM_EDGE (phi
, re
)));
2167 /* Copy edges from BB into its copy constructed earlier, scale profile
2168 accordingly. Edges will be taken care of later. Assume aux
2169 pointers to point to the copies of each BB. Return true if any
2170 debug stmts are left after a statement that must end the basic block. */
2173 copy_edges_for_bb (basic_block bb
, gcov_type count_scale
, basic_block ret_bb
,
2174 basic_block abnormal_goto_dest
)
2176 basic_block new_bb
= (basic_block
) bb
->aux
;
2179 gimple_stmt_iterator si
;
2181 bool need_debug_cleanup
= false;
2183 /* Use the indices from the original blocks to create edges for the
2185 FOR_EACH_EDGE (old_edge
, ei
, bb
->succs
)
2186 if (!(old_edge
->flags
& EDGE_EH
))
2190 flags
= old_edge
->flags
;
2192 /* Return edges do get a FALLTHRU flag when the get inlined. */
2193 if (old_edge
->dest
->index
== EXIT_BLOCK
2194 && !(old_edge
->flags
& (EDGE_TRUE_VALUE
|EDGE_FALSE_VALUE
|EDGE_FAKE
))
2195 && old_edge
->dest
->aux
!= EXIT_BLOCK_PTR_FOR_FN (cfun
))
2196 flags
|= EDGE_FALLTHRU
;
2197 new_edge
= make_edge (new_bb
, (basic_block
) old_edge
->dest
->aux
, flags
);
2198 new_edge
->count
= apply_scale (old_edge
->count
, count_scale
);
2199 new_edge
->probability
= old_edge
->probability
;
2202 if (bb
->index
== ENTRY_BLOCK
|| bb
->index
== EXIT_BLOCK
)
2205 for (si
= gsi_start_bb (new_bb
); !gsi_end_p (si
);)
2208 bool can_throw
, nonlocal_goto
;
2210 copy_stmt
= gsi_stmt (si
);
2211 if (!is_gimple_debug (copy_stmt
))
2212 update_stmt (copy_stmt
);
2214 /* Do this before the possible split_block. */
2217 /* If this tree could throw an exception, there are two
2218 cases where we need to add abnormal edge(s): the
2219 tree wasn't in a region and there is a "current
2220 region" in the caller; or the original tree had
2221 EH edges. In both cases split the block after the tree,
2222 and add abnormal edge(s) as needed; we need both
2223 those from the callee and the caller.
2224 We check whether the copy can throw, because the const
2225 propagation can change an INDIRECT_REF which throws
2226 into a COMPONENT_REF which doesn't. If the copy
2227 can throw, the original could also throw. */
2228 can_throw
= stmt_can_throw_internal (copy_stmt
);
2230 = (stmt_can_make_abnormal_goto (copy_stmt
)
2231 && !computed_goto_p (copy_stmt
));
2233 if (can_throw
|| nonlocal_goto
)
2235 if (!gsi_end_p (si
))
2237 while (!gsi_end_p (si
) && is_gimple_debug (gsi_stmt (si
)))
2240 need_debug_cleanup
= true;
2242 if (!gsi_end_p (si
))
2243 /* Note that bb's predecessor edges aren't necessarily
2244 right at this point; split_block doesn't care. */
2246 edge e
= split_block (new_bb
, copy_stmt
);
2249 new_bb
->aux
= e
->src
->aux
;
2250 si
= gsi_start_bb (new_bb
);
2254 if (gimple_code (copy_stmt
) == GIMPLE_EH_DISPATCH
)
2255 make_eh_dispatch_edges (as_a
<geh_dispatch
*> (copy_stmt
));
2257 make_eh_edges (copy_stmt
);
2259 /* If the call we inline cannot make abnormal goto do not add
2260 additional abnormal edges but only retain those already present
2261 in the original function body. */
2262 if (abnormal_goto_dest
== NULL
)
2263 nonlocal_goto
= false;
2266 basic_block copy_stmt_bb
= gimple_bb (copy_stmt
);
2268 if (get_abnormal_succ_dispatcher (copy_stmt_bb
))
2269 nonlocal_goto
= false;
2270 /* ABNORMAL_DISPATCHER (1) is for longjmp/setjmp or nonlocal gotos
2271 in OpenMP regions which aren't allowed to be left abnormally.
2272 So, no need to add abnormal edge in that case. */
2273 else if (is_gimple_call (copy_stmt
)
2274 && gimple_call_internal_p (copy_stmt
)
2275 && (gimple_call_internal_fn (copy_stmt
)
2276 == IFN_ABNORMAL_DISPATCHER
)
2277 && gimple_call_arg (copy_stmt
, 0) == boolean_true_node
)
2278 nonlocal_goto
= false;
2280 make_edge (copy_stmt_bb
, abnormal_goto_dest
, EDGE_ABNORMAL
);
2283 if ((can_throw
|| nonlocal_goto
)
2284 && gimple_in_ssa_p (cfun
))
2285 update_ssa_across_abnormal_edges (gimple_bb (copy_stmt
), ret_bb
,
2286 can_throw
, nonlocal_goto
);
2288 return need_debug_cleanup
;
2291 /* Copy the PHIs. All blocks and edges are copied, some blocks
2292 was possibly split and new outgoing EH edges inserted.
2293 BB points to the block of original function and AUX pointers links
2294 the original and newly copied blocks. */
2297 copy_phis_for_bb (basic_block bb
, copy_body_data
*id
)
2299 basic_block
const new_bb
= (basic_block
) bb
->aux
;
2304 bool inserted
= false;
2306 for (si
= gsi_start_phis (bb
); !gsi_end_p (si
); gsi_next (&si
))
2312 res
= PHI_RESULT (phi
);
2314 if (!virtual_operand_p (res
))
2316 walk_tree (&new_res
, copy_tree_body_r
, id
, NULL
);
2317 new_phi
= create_phi_node (new_res
, new_bb
);
2318 FOR_EACH_EDGE (new_edge
, ei
, new_bb
->preds
)
2320 edge old_edge
= find_edge ((basic_block
) new_edge
->src
->aux
, bb
);
2326 /* When doing partial cloning, we allow PHIs on the entry block
2327 as long as all the arguments are the same. Find any input
2328 edge to see argument to copy. */
2330 FOR_EACH_EDGE (old_edge
, ei2
, bb
->preds
)
2331 if (!old_edge
->src
->aux
)
2334 arg
= PHI_ARG_DEF_FROM_EDGE (phi
, old_edge
);
2336 walk_tree (&new_arg
, copy_tree_body_r
, id
, NULL
);
2337 gcc_assert (new_arg
);
2338 /* With return slot optimization we can end up with
2339 non-gimple (foo *)&this->m, fix that here. */
2340 if (TREE_CODE (new_arg
) != SSA_NAME
2341 && TREE_CODE (new_arg
) != FUNCTION_DECL
2342 && !is_gimple_val (new_arg
))
2344 gimple_seq stmts
= NULL
;
2345 new_arg
= force_gimple_operand (new_arg
, &stmts
, true, NULL
);
2346 gsi_insert_seq_on_edge (new_edge
, stmts
);
2349 locus
= gimple_phi_arg_location_from_edge (phi
, old_edge
);
2350 if (LOCATION_BLOCK (locus
))
2353 n
= id
->decl_map
->get (LOCATION_BLOCK (locus
));
2356 locus
= COMBINE_LOCATION_DATA (line_table
, locus
, *n
);
2358 locus
= LOCATION_LOCUS (locus
);
2361 locus
= LOCATION_LOCUS (locus
);
2363 add_phi_arg (new_phi
, new_arg
, new_edge
, locus
);
2368 /* Commit the delayed edge insertions. */
2370 FOR_EACH_EDGE (new_edge
, ei
, new_bb
->preds
)
2371 gsi_commit_one_edge_insert (new_edge
, NULL
);
2375 /* Wrapper for remap_decl so it can be used as a callback. */
2378 remap_decl_1 (tree decl
, void *data
)
2380 return remap_decl (decl
, (copy_body_data
*) data
);
2383 /* Build struct function and associated datastructures for the new clone
2384 NEW_FNDECL to be build. CALLEE_FNDECL is the original. Function changes
2385 the cfun to the function of new_fndecl (and current_function_decl too). */
2388 initialize_cfun (tree new_fndecl
, tree callee_fndecl
, gcov_type count
)
2390 struct function
*src_cfun
= DECL_STRUCT_FUNCTION (callee_fndecl
);
2391 gcov_type count_scale
;
2393 if (!DECL_ARGUMENTS (new_fndecl
))
2394 DECL_ARGUMENTS (new_fndecl
) = DECL_ARGUMENTS (callee_fndecl
);
2395 if (!DECL_RESULT (new_fndecl
))
2396 DECL_RESULT (new_fndecl
) = DECL_RESULT (callee_fndecl
);
2398 if (ENTRY_BLOCK_PTR_FOR_FN (src_cfun
)->count
)
2400 = GCOV_COMPUTE_SCALE (count
,
2401 ENTRY_BLOCK_PTR_FOR_FN (src_cfun
)->count
);
2403 count_scale
= REG_BR_PROB_BASE
;
2405 /* Register specific tree functions. */
2406 gimple_register_cfg_hooks ();
2408 /* Get clean struct function. */
2409 push_struct_function (new_fndecl
);
2411 /* We will rebuild these, so just sanity check that they are empty. */
2412 gcc_assert (VALUE_HISTOGRAMS (cfun
) == NULL
);
2413 gcc_assert (cfun
->local_decls
== NULL
);
2414 gcc_assert (cfun
->cfg
== NULL
);
2415 gcc_assert (cfun
->decl
== new_fndecl
);
2417 /* Copy items we preserve during cloning. */
2418 cfun
->static_chain_decl
= src_cfun
->static_chain_decl
;
2419 cfun
->nonlocal_goto_save_area
= src_cfun
->nonlocal_goto_save_area
;
2420 cfun
->function_end_locus
= src_cfun
->function_end_locus
;
2421 cfun
->curr_properties
= src_cfun
->curr_properties
;
2422 cfun
->last_verified
= src_cfun
->last_verified
;
2423 cfun
->va_list_gpr_size
= src_cfun
->va_list_gpr_size
;
2424 cfun
->va_list_fpr_size
= src_cfun
->va_list_fpr_size
;
2425 cfun
->has_nonlocal_label
= src_cfun
->has_nonlocal_label
;
2426 cfun
->stdarg
= src_cfun
->stdarg
;
2427 cfun
->after_inlining
= src_cfun
->after_inlining
;
2428 cfun
->can_throw_non_call_exceptions
2429 = src_cfun
->can_throw_non_call_exceptions
;
2430 cfun
->can_delete_dead_exceptions
= src_cfun
->can_delete_dead_exceptions
;
2431 cfun
->returns_struct
= src_cfun
->returns_struct
;
2432 cfun
->returns_pcc_struct
= src_cfun
->returns_pcc_struct
;
2434 init_empty_tree_cfg ();
2436 profile_status_for_fn (cfun
) = profile_status_for_fn (src_cfun
);
2437 ENTRY_BLOCK_PTR_FOR_FN (cfun
)->count
=
2438 (ENTRY_BLOCK_PTR_FOR_FN (src_cfun
)->count
* count_scale
/
2440 ENTRY_BLOCK_PTR_FOR_FN (cfun
)->frequency
2441 = ENTRY_BLOCK_PTR_FOR_FN (src_cfun
)->frequency
;
2442 EXIT_BLOCK_PTR_FOR_FN (cfun
)->count
=
2443 (EXIT_BLOCK_PTR_FOR_FN (src_cfun
)->count
* count_scale
/
2445 EXIT_BLOCK_PTR_FOR_FN (cfun
)->frequency
=
2446 EXIT_BLOCK_PTR_FOR_FN (src_cfun
)->frequency
;
2448 init_eh_for_function ();
2450 if (src_cfun
->gimple_df
)
2452 init_tree_ssa (cfun
);
2453 cfun
->gimple_df
->in_ssa_p
= true;
2454 init_ssa_operands (cfun
);
2458 /* Helper function for copy_cfg_body. Move debug stmts from the end
2459 of NEW_BB to the beginning of successor basic blocks when needed. If the
2460 successor has multiple predecessors, reset them, otherwise keep
2464 maybe_move_debug_stmts_to_successors (copy_body_data
*id
, basic_block new_bb
)
2468 gimple_stmt_iterator si
= gsi_last_nondebug_bb (new_bb
);
2471 || gsi_one_before_end_p (si
)
2472 || !(stmt_can_throw_internal (gsi_stmt (si
))
2473 || stmt_can_make_abnormal_goto (gsi_stmt (si
))))
2476 FOR_EACH_EDGE (e
, ei
, new_bb
->succs
)
2478 gimple_stmt_iterator ssi
= gsi_last_bb (new_bb
);
2479 gimple_stmt_iterator dsi
= gsi_after_labels (e
->dest
);
2480 while (is_gimple_debug (gsi_stmt (ssi
)))
2482 gimple stmt
= gsi_stmt (ssi
);
2487 /* For the last edge move the debug stmts instead of copying
2489 if (ei_one_before_end_p (ei
))
2493 if (!single_pred_p (e
->dest
) && gimple_debug_bind_p (stmt
))
2494 gimple_debug_bind_reset_value (stmt
);
2495 gsi_remove (&si
, false);
2496 gsi_insert_before (&dsi
, stmt
, GSI_SAME_STMT
);
2500 if (gimple_debug_bind_p (stmt
))
2502 var
= gimple_debug_bind_get_var (stmt
);
2503 if (single_pred_p (e
->dest
))
2505 value
= gimple_debug_bind_get_value (stmt
);
2506 value
= unshare_expr (value
);
2510 new_stmt
= gimple_build_debug_bind (var
, value
, stmt
);
2512 else if (gimple_debug_source_bind_p (stmt
))
2514 var
= gimple_debug_source_bind_get_var (stmt
);
2515 value
= gimple_debug_source_bind_get_value (stmt
);
2516 new_stmt
= gimple_build_debug_source_bind (var
, value
, stmt
);
2520 gsi_insert_before (&dsi
, new_stmt
, GSI_SAME_STMT
);
2521 id
->debug_stmts
.safe_push (new_stmt
);
2527 /* Make a copy of the sub-loops of SRC_PARENT and place them
2528 as siblings of DEST_PARENT. */
2531 copy_loops (copy_body_data
*id
,
2532 struct loop
*dest_parent
, struct loop
*src_parent
)
2534 struct loop
*src_loop
= src_parent
->inner
;
2537 if (!id
->blocks_to_copy
2538 || bitmap_bit_p (id
->blocks_to_copy
, src_loop
->header
->index
))
2540 struct loop
*dest_loop
= alloc_loop ();
2542 /* Assign the new loop its header and latch and associate
2543 those with the new loop. */
2544 dest_loop
->header
= (basic_block
)src_loop
->header
->aux
;
2545 dest_loop
->header
->loop_father
= dest_loop
;
2546 if (src_loop
->latch
!= NULL
)
2548 dest_loop
->latch
= (basic_block
)src_loop
->latch
->aux
;
2549 dest_loop
->latch
->loop_father
= dest_loop
;
2552 /* Copy loop meta-data. */
2553 copy_loop_info (src_loop
, dest_loop
);
2555 /* Finally place it into the loop array and the loop tree. */
2556 place_new_loop (cfun
, dest_loop
);
2557 flow_loop_tree_node_add (dest_parent
, dest_loop
);
2559 dest_loop
->safelen
= src_loop
->safelen
;
2560 dest_loop
->dont_vectorize
= src_loop
->dont_vectorize
;
2561 if (src_loop
->force_vectorize
)
2563 dest_loop
->force_vectorize
= true;
2564 cfun
->has_force_vectorize_loops
= true;
2566 if (src_loop
->simduid
)
2568 dest_loop
->simduid
= remap_decl (src_loop
->simduid
, id
);
2569 cfun
->has_simduid_loops
= true;
2573 copy_loops (id
, dest_loop
, src_loop
);
2575 src_loop
= src_loop
->next
;
2579 /* Call cgraph_redirect_edge_call_stmt_to_callee on all calls in BB */
2582 redirect_all_calls (copy_body_data
* id
, basic_block bb
)
2584 gimple_stmt_iterator si
;
2585 gimple last
= last_stmt (bb
);
2586 for (si
= gsi_start_bb (bb
); !gsi_end_p (si
); gsi_next (&si
))
2588 gimple stmt
= gsi_stmt (si
);
2589 if (is_gimple_call (stmt
))
2591 struct cgraph_edge
*edge
= id
->dst_node
->get_edge (stmt
);
2594 edge
->redirect_call_stmt_to_callee ();
2595 if (stmt
== last
&& id
->call_stmt
&& maybe_clean_eh_stmt (stmt
))
2596 gimple_purge_dead_eh_edges (bb
);
2602 /* Convert estimated frequencies into counts for NODE, scaling COUNT
2603 with each bb's frequency. Used when NODE has a 0-weight entry
2604 but we are about to inline it into a non-zero count call bb.
2605 See the comments for handle_missing_profiles() in predict.c for
2606 when this can happen for COMDATs. */
2609 freqs_to_counts (struct cgraph_node
*node
, gcov_type count
)
2614 struct function
*fn
= DECL_STRUCT_FUNCTION (node
->decl
);
2616 FOR_ALL_BB_FN(bb
, fn
)
2618 bb
->count
= apply_scale (count
,
2619 GCOV_COMPUTE_SCALE (bb
->frequency
, BB_FREQ_MAX
));
2620 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
2621 e
->count
= apply_probability (e
->src
->count
, e
->probability
);
2625 /* Make a copy of the body of FN so that it can be inserted inline in
2626 another function. Walks FN via CFG, returns new fndecl. */
2629 copy_cfg_body (copy_body_data
* id
, gcov_type count
, int frequency_scale
,
2630 basic_block entry_block_map
, basic_block exit_block_map
,
2631 basic_block new_entry
)
2633 tree callee_fndecl
= id
->src_fn
;
2634 /* Original cfun for the callee, doesn't change. */
2635 struct function
*src_cfun
= DECL_STRUCT_FUNCTION (callee_fndecl
);
2636 struct function
*cfun_to_copy
;
2638 tree new_fndecl
= NULL
;
2639 bool need_debug_cleanup
= false;
2640 gcov_type count_scale
;
2642 int incoming_frequency
= 0;
2643 gcov_type incoming_count
= 0;
2645 /* This can happen for COMDAT routines that end up with 0 counts
2646 despite being called (see the comments for handle_missing_profiles()
2647 in predict.c as to why). Apply counts to the blocks in the callee
2648 before inlining, using the guessed edge frequencies, so that we don't
2649 end up with a 0-count inline body which can confuse downstream
2650 optimizations such as function splitting. */
2651 if (!ENTRY_BLOCK_PTR_FOR_FN (src_cfun
)->count
&& count
)
2653 /* Apply the larger of the call bb count and the total incoming
2654 call edge count to the callee. */
2655 gcov_type in_count
= 0;
2656 struct cgraph_edge
*in_edge
;
2657 for (in_edge
= id
->src_node
->callers
; in_edge
;
2658 in_edge
= in_edge
->next_caller
)
2659 in_count
+= in_edge
->count
;
2660 freqs_to_counts (id
->src_node
, count
> in_count
? count
: in_count
);
2663 if (ENTRY_BLOCK_PTR_FOR_FN (src_cfun
)->count
)
2665 = GCOV_COMPUTE_SCALE (count
,
2666 ENTRY_BLOCK_PTR_FOR_FN (src_cfun
)->count
);
2668 count_scale
= REG_BR_PROB_BASE
;
2670 /* Register specific tree functions. */
2671 gimple_register_cfg_hooks ();
2673 /* If we are inlining just region of the function, make sure to connect
2674 new entry to ENTRY_BLOCK_PTR_FOR_FN (cfun). Since new entry can be
2675 part of loop, we must compute frequency and probability of
2676 ENTRY_BLOCK_PTR_FOR_FN (cfun) based on the frequencies and
2677 probabilities of edges incoming from nonduplicated region. */
2683 FOR_EACH_EDGE (e
, ei
, new_entry
->preds
)
2686 incoming_frequency
+= EDGE_FREQUENCY (e
);
2687 incoming_count
+= e
->count
;
2689 incoming_count
= apply_scale (incoming_count
, count_scale
);
2691 = apply_scale ((gcov_type
)incoming_frequency
, frequency_scale
);
2692 ENTRY_BLOCK_PTR_FOR_FN (cfun
)->count
= incoming_count
;
2693 ENTRY_BLOCK_PTR_FOR_FN (cfun
)->frequency
= incoming_frequency
;
2696 /* Must have a CFG here at this point. */
2697 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN
2698 (DECL_STRUCT_FUNCTION (callee_fndecl
)));
2700 cfun_to_copy
= id
->src_cfun
= DECL_STRUCT_FUNCTION (callee_fndecl
);
2702 ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy
)->aux
= entry_block_map
;
2703 EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy
)->aux
= exit_block_map
;
2704 entry_block_map
->aux
= ENTRY_BLOCK_PTR_FOR_FN (cfun_to_copy
);
2705 exit_block_map
->aux
= EXIT_BLOCK_PTR_FOR_FN (cfun_to_copy
);
2707 /* Duplicate any exception-handling regions. */
2709 id
->eh_map
= duplicate_eh_regions (cfun_to_copy
, NULL
, id
->eh_lp_nr
,
2712 /* Use aux pointers to map the original blocks to copy. */
2713 FOR_EACH_BB_FN (bb
, cfun_to_copy
)
2714 if (!id
->blocks_to_copy
|| bitmap_bit_p (id
->blocks_to_copy
, bb
->index
))
2716 basic_block new_bb
= copy_bb (id
, bb
, frequency_scale
, count_scale
);
2719 new_bb
->loop_father
= entry_block_map
->loop_father
;
2722 last
= last_basic_block_for_fn (cfun
);
2724 /* Now that we've duplicated the blocks, duplicate their edges. */
2725 basic_block abnormal_goto_dest
= NULL
;
2727 && stmt_can_make_abnormal_goto (id
->call_stmt
))
2729 gimple_stmt_iterator gsi
= gsi_for_stmt (id
->call_stmt
);
2731 bb
= gimple_bb (id
->call_stmt
);
2733 if (gsi_end_p (gsi
))
2734 abnormal_goto_dest
= get_abnormal_succ_dispatcher (bb
);
2736 FOR_ALL_BB_FN (bb
, cfun_to_copy
)
2737 if (!id
->blocks_to_copy
2738 || (bb
->index
> 0 && bitmap_bit_p (id
->blocks_to_copy
, bb
->index
)))
2739 need_debug_cleanup
|= copy_edges_for_bb (bb
, count_scale
, exit_block_map
,
2740 abnormal_goto_dest
);
2744 edge e
= make_edge (entry_block_map
, (basic_block
)new_entry
->aux
, EDGE_FALLTHRU
);
2745 e
->probability
= REG_BR_PROB_BASE
;
2746 e
->count
= incoming_count
;
2749 /* Duplicate the loop tree, if available and wanted. */
2750 if (loops_for_fn (src_cfun
) != NULL
2751 && current_loops
!= NULL
)
2753 copy_loops (id
, entry_block_map
->loop_father
,
2754 get_loop (src_cfun
, 0));
2755 /* Defer to cfgcleanup to update loop-father fields of basic-blocks. */
2756 loops_state_set (LOOPS_NEED_FIXUP
);
2759 /* If the loop tree in the source function needed fixup, mark the
2760 destination loop tree for fixup, too. */
2761 if (loops_for_fn (src_cfun
)->state
& LOOPS_NEED_FIXUP
)
2762 loops_state_set (LOOPS_NEED_FIXUP
);
2764 if (gimple_in_ssa_p (cfun
))
2765 FOR_ALL_BB_FN (bb
, cfun_to_copy
)
2766 if (!id
->blocks_to_copy
2767 || (bb
->index
> 0 && bitmap_bit_p (id
->blocks_to_copy
, bb
->index
)))
2768 copy_phis_for_bb (bb
, id
);
2770 FOR_ALL_BB_FN (bb
, cfun_to_copy
)
2773 if (need_debug_cleanup
2774 && bb
->index
!= ENTRY_BLOCK
2775 && bb
->index
!= EXIT_BLOCK
)
2776 maybe_move_debug_stmts_to_successors (id
, (basic_block
) bb
->aux
);
2777 /* Update call edge destinations. This can not be done before loop
2778 info is updated, because we may split basic blocks. */
2779 if (id
->transform_call_graph_edges
== CB_CGE_DUPLICATE
2780 && bb
->index
!= ENTRY_BLOCK
2781 && bb
->index
!= EXIT_BLOCK
)
2782 redirect_all_calls (id
, (basic_block
)bb
->aux
);
2783 ((basic_block
)bb
->aux
)->aux
= NULL
;
2787 /* Zero out AUX fields of newly created block during EH edge
2789 for (; last
< last_basic_block_for_fn (cfun
); last
++)
2791 if (need_debug_cleanup
)
2792 maybe_move_debug_stmts_to_successors (id
,
2793 BASIC_BLOCK_FOR_FN (cfun
, last
));
2794 BASIC_BLOCK_FOR_FN (cfun
, last
)->aux
= NULL
;
2795 /* Update call edge destinations. This can not be done before loop
2796 info is updated, because we may split basic blocks. */
2797 if (id
->transform_call_graph_edges
== CB_CGE_DUPLICATE
)
2798 redirect_all_calls (id
, BASIC_BLOCK_FOR_FN (cfun
, last
));
2800 entry_block_map
->aux
= NULL
;
2801 exit_block_map
->aux
= NULL
;
2808 if (id
->dependence_map
)
2810 delete id
->dependence_map
;
2811 id
->dependence_map
= NULL
;
2817 /* Copy the debug STMT using ID. We deal with these statements in a
2818 special way: if any variable in their VALUE expression wasn't
2819 remapped yet, we won't remap it, because that would get decl uids
2820 out of sync, causing codegen differences between -g and -g0. If
2821 this arises, we drop the VALUE expression altogether. */
2824 copy_debug_stmt (gdebug
*stmt
, copy_body_data
*id
)
2827 struct walk_stmt_info wi
;
2829 if (gimple_block (stmt
))
2831 n
= id
->decl_map
->get (gimple_block (stmt
));
2832 gimple_set_block (stmt
, n
? *n
: id
->block
);
2835 /* Remap all the operands in COPY. */
2836 memset (&wi
, 0, sizeof (wi
));
2839 processing_debug_stmt
= 1;
2841 if (gimple_debug_source_bind_p (stmt
))
2842 t
= gimple_debug_source_bind_get_var (stmt
);
2844 t
= gimple_debug_bind_get_var (stmt
);
2846 if (TREE_CODE (t
) == PARM_DECL
&& id
->debug_map
2847 && (n
= id
->debug_map
->get (t
)))
2849 gcc_assert (TREE_CODE (*n
) == VAR_DECL
);
2852 else if (TREE_CODE (t
) == VAR_DECL
2853 && !is_global_var (t
)
2854 && !id
->decl_map
->get (t
))
2855 /* T is a non-localized variable. */;
2857 walk_tree (&t
, remap_gimple_op_r
, &wi
, NULL
);
2859 if (gimple_debug_bind_p (stmt
))
2861 gimple_debug_bind_set_var (stmt
, t
);
2863 if (gimple_debug_bind_has_value_p (stmt
))
2864 walk_tree (gimple_debug_bind_get_value_ptr (stmt
),
2865 remap_gimple_op_r
, &wi
, NULL
);
2867 /* Punt if any decl couldn't be remapped. */
2868 if (processing_debug_stmt
< 0)
2869 gimple_debug_bind_reset_value (stmt
);
2871 else if (gimple_debug_source_bind_p (stmt
))
2873 gimple_debug_source_bind_set_var (stmt
, t
);
2874 walk_tree (gimple_debug_source_bind_get_value_ptr (stmt
),
2875 remap_gimple_op_r
, &wi
, NULL
);
2876 /* When inlining and source bind refers to one of the optimized
2877 away parameters, change the source bind into normal debug bind
2878 referring to the corresponding DEBUG_EXPR_DECL that should have
2879 been bound before the call stmt. */
2880 t
= gimple_debug_source_bind_get_value (stmt
);
2882 && TREE_CODE (t
) == PARM_DECL
2885 vec
<tree
, va_gc
> **debug_args
= decl_debug_args_lookup (id
->src_fn
);
2887 if (debug_args
!= NULL
)
2889 for (i
= 0; i
< vec_safe_length (*debug_args
); i
+= 2)
2890 if ((**debug_args
)[i
] == DECL_ORIGIN (t
)
2891 && TREE_CODE ((**debug_args
)[i
+ 1]) == DEBUG_EXPR_DECL
)
2893 t
= (**debug_args
)[i
+ 1];
2894 stmt
->subcode
= GIMPLE_DEBUG_BIND
;
2895 gimple_debug_bind_set_value (stmt
, t
);
2902 processing_debug_stmt
= 0;
2907 /* Process deferred debug stmts. In order to give values better odds
2908 of being successfully remapped, we delay the processing of debug
2909 stmts until all other stmts that might require remapping are
2913 copy_debug_stmts (copy_body_data
*id
)
2918 if (!id
->debug_stmts
.exists ())
2921 FOR_EACH_VEC_ELT (id
->debug_stmts
, i
, stmt
)
2922 copy_debug_stmt (stmt
, id
);
2924 id
->debug_stmts
.release ();
2927 /* Make a copy of the body of SRC_FN so that it can be inserted inline in
2928 another function. */
2931 copy_tree_body (copy_body_data
*id
)
2933 tree fndecl
= id
->src_fn
;
2934 tree body
= DECL_SAVED_TREE (fndecl
);
2936 walk_tree (&body
, copy_tree_body_r
, id
, NULL
);
2941 /* Make a copy of the body of FN so that it can be inserted inline in
2942 another function. */
2945 copy_body (copy_body_data
*id
, gcov_type count
, int frequency_scale
,
2946 basic_block entry_block_map
, basic_block exit_block_map
,
2947 basic_block new_entry
)
2949 tree fndecl
= id
->src_fn
;
2952 /* If this body has a CFG, walk CFG and copy. */
2953 gcc_assert (ENTRY_BLOCK_PTR_FOR_FN (DECL_STRUCT_FUNCTION (fndecl
)));
2954 body
= copy_cfg_body (id
, count
, frequency_scale
, entry_block_map
, exit_block_map
,
2956 copy_debug_stmts (id
);
2961 /* Return true if VALUE is an ADDR_EXPR of an automatic variable
2962 defined in function FN, or of a data member thereof. */
2965 self_inlining_addr_expr (tree value
, tree fn
)
2969 if (TREE_CODE (value
) != ADDR_EXPR
)
2972 var
= get_base_address (TREE_OPERAND (value
, 0));
2974 return var
&& auto_var_in_fn_p (var
, fn
);
2977 /* Append to BB a debug annotation that binds VAR to VALUE, inheriting
2978 lexical block and line number information from base_stmt, if given,
2979 or from the last stmt of the block otherwise. */
2982 insert_init_debug_bind (copy_body_data
*id
,
2983 basic_block bb
, tree var
, tree value
,
2987 gimple_stmt_iterator gsi
;
2990 if (!gimple_in_ssa_p (id
->src_cfun
))
2993 if (!opt_for_fn (id
->dst_fn
, flag_var_tracking_assignments
))
2996 tracked_var
= target_for_debug_bind (var
);
3002 gsi
= gsi_last_bb (bb
);
3003 if (!base_stmt
&& !gsi_end_p (gsi
))
3004 base_stmt
= gsi_stmt (gsi
);
3007 note
= gimple_build_debug_bind (tracked_var
, unshare_expr (value
), base_stmt
);
3011 if (!gsi_end_p (gsi
))
3012 gsi_insert_after (&gsi
, note
, GSI_SAME_STMT
);
3014 gsi_insert_before (&gsi
, note
, GSI_SAME_STMT
);
3021 insert_init_stmt (copy_body_data
*id
, basic_block bb
, gimple init_stmt
)
3023 /* If VAR represents a zero-sized variable, it's possible that the
3024 assignment statement may result in no gimple statements. */
3027 gimple_stmt_iterator si
= gsi_last_bb (bb
);
3029 /* We can end up with init statements that store to a non-register
3030 from a rhs with a conversion. Handle that here by forcing the
3031 rhs into a temporary. gimple_regimplify_operands is not
3032 prepared to do this for us. */
3033 if (!is_gimple_debug (init_stmt
)
3034 && !is_gimple_reg (gimple_assign_lhs (init_stmt
))
3035 && is_gimple_reg_type (TREE_TYPE (gimple_assign_lhs (init_stmt
)))
3036 && gimple_assign_rhs_class (init_stmt
) == GIMPLE_UNARY_RHS
)
3038 tree rhs
= build1 (gimple_assign_rhs_code (init_stmt
),
3039 gimple_expr_type (init_stmt
),
3040 gimple_assign_rhs1 (init_stmt
));
3041 rhs
= force_gimple_operand_gsi (&si
, rhs
, true, NULL_TREE
, false,
3043 gimple_assign_set_rhs_code (init_stmt
, TREE_CODE (rhs
));
3044 gimple_assign_set_rhs1 (init_stmt
, rhs
);
3046 gsi_insert_after (&si
, init_stmt
, GSI_NEW_STMT
);
3047 gimple_regimplify_operands (init_stmt
, &si
);
3049 if (!is_gimple_debug (init_stmt
))
3051 tree def
= gimple_assign_lhs (init_stmt
);
3052 insert_init_debug_bind (id
, bb
, def
, def
, init_stmt
);
3057 /* Initialize parameter P with VALUE. If needed, produce init statement
3058 at the end of BB. When BB is NULL, we return init statement to be
3061 setup_one_parameter (copy_body_data
*id
, tree p
, tree value
, tree fn
,
3062 basic_block bb
, tree
*vars
)
3064 gimple init_stmt
= NULL
;
3067 tree def
= (gimple_in_ssa_p (cfun
)
3068 ? ssa_default_def (id
->src_cfun
, p
) : NULL
);
3071 && value
!= error_mark_node
3072 && !useless_type_conversion_p (TREE_TYPE (p
), TREE_TYPE (value
)))
3074 /* If we can match up types by promotion/demotion do so. */
3075 if (fold_convertible_p (TREE_TYPE (p
), value
))
3076 rhs
= fold_convert (TREE_TYPE (p
), value
);
3079 /* ??? For valid programs we should not end up here.
3080 Still if we end up with truly mismatched types here, fall back
3081 to using a VIEW_CONVERT_EXPR or a literal zero to not leak invalid
3082 GIMPLE to the following passes. */
3083 if (!is_gimple_reg_type (TREE_TYPE (value
))
3084 || TYPE_SIZE (TREE_TYPE (p
)) == TYPE_SIZE (TREE_TYPE (value
)))
3085 rhs
= fold_build1 (VIEW_CONVERT_EXPR
, TREE_TYPE (p
), value
);
3087 rhs
= build_zero_cst (TREE_TYPE (p
));
3091 /* Make an equivalent VAR_DECL. Note that we must NOT remap the type
3092 here since the type of this decl must be visible to the calling
3094 var
= copy_decl_to_var (p
, id
);
3096 /* Declare this new variable. */
3097 DECL_CHAIN (var
) = *vars
;
3100 /* Make gimplifier happy about this variable. */
3101 DECL_SEEN_IN_BIND_EXPR_P (var
) = 1;
3103 /* If the parameter is never assigned to, has no SSA_NAMEs created,
3104 we would not need to create a new variable here at all, if it
3105 weren't for debug info. Still, we can just use the argument
3107 if (TREE_READONLY (p
)
3108 && !TREE_ADDRESSABLE (p
)
3109 && value
&& !TREE_SIDE_EFFECTS (value
)
3112 /* We may produce non-gimple trees by adding NOPs or introduce
3113 invalid sharing when operand is not really constant.
3114 It is not big deal to prohibit constant propagation here as
3115 we will constant propagate in DOM1 pass anyway. */
3116 if (is_gimple_min_invariant (value
)
3117 && useless_type_conversion_p (TREE_TYPE (p
),
3119 /* We have to be very careful about ADDR_EXPR. Make sure
3120 the base variable isn't a local variable of the inlined
3121 function, e.g., when doing recursive inlining, direct or
3122 mutually-recursive or whatever, which is why we don't
3123 just test whether fn == current_function_decl. */
3124 && ! self_inlining_addr_expr (value
, fn
))
3126 insert_decl_map (id
, p
, value
);
3127 insert_debug_decl_map (id
, p
, var
);
3128 return insert_init_debug_bind (id
, bb
, var
, value
, NULL
);
3132 /* Register the VAR_DECL as the equivalent for the PARM_DECL;
3133 that way, when the PARM_DECL is encountered, it will be
3134 automatically replaced by the VAR_DECL. */
3135 insert_decl_map (id
, p
, var
);
3137 /* Even if P was TREE_READONLY, the new VAR should not be.
3138 In the original code, we would have constructed a
3139 temporary, and then the function body would have never
3140 changed the value of P. However, now, we will be
3141 constructing VAR directly. The constructor body may
3142 change its value multiple times as it is being
3143 constructed. Therefore, it must not be TREE_READONLY;
3144 the back-end assumes that TREE_READONLY variable is
3145 assigned to only once. */
3146 if (TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (p
)))
3147 TREE_READONLY (var
) = 0;
3149 /* If there is no setup required and we are in SSA, take the easy route
3150 replacing all SSA names representing the function parameter by the
3151 SSA name passed to function.
3153 We need to construct map for the variable anyway as it might be used
3154 in different SSA names when parameter is set in function.
3156 Do replacement at -O0 for const arguments replaced by constant.
3157 This is important for builtin_constant_p and other construct requiring
3158 constant argument to be visible in inlined function body. */
3159 if (gimple_in_ssa_p (cfun
) && rhs
&& def
&& is_gimple_reg (p
)
3161 || (TREE_READONLY (p
)
3162 && is_gimple_min_invariant (rhs
)))
3163 && (TREE_CODE (rhs
) == SSA_NAME
3164 || is_gimple_min_invariant (rhs
))
3165 && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def
))
3167 insert_decl_map (id
, def
, rhs
);
3168 return insert_init_debug_bind (id
, bb
, var
, rhs
, NULL
);
3171 /* If the value of argument is never used, don't care about initializing
3173 if (optimize
&& gimple_in_ssa_p (cfun
) && !def
&& is_gimple_reg (p
))
3175 gcc_assert (!value
|| !TREE_SIDE_EFFECTS (value
));
3176 return insert_init_debug_bind (id
, bb
, var
, rhs
, NULL
);
3179 /* Initialize this VAR_DECL from the equivalent argument. Convert
3180 the argument to the proper type in case it was promoted. */
3183 if (rhs
== error_mark_node
)
3185 insert_decl_map (id
, p
, var
);
3186 return insert_init_debug_bind (id
, bb
, var
, rhs
, NULL
);
3189 STRIP_USELESS_TYPE_CONVERSION (rhs
);
3191 /* If we are in SSA form properly remap the default definition
3192 or assign to a dummy SSA name if the parameter is unused and
3193 we are not optimizing. */
3194 if (gimple_in_ssa_p (cfun
) && is_gimple_reg (p
))
3198 def
= remap_ssa_name (def
, id
);
3199 init_stmt
= gimple_build_assign (def
, rhs
);
3200 SSA_NAME_IS_DEFAULT_DEF (def
) = 0;
3201 set_ssa_default_def (cfun
, var
, NULL
);
3205 def
= make_ssa_name (var
);
3206 init_stmt
= gimple_build_assign (def
, rhs
);
3210 init_stmt
= gimple_build_assign (var
, rhs
);
3212 if (bb
&& init_stmt
)
3213 insert_init_stmt (id
, bb
, init_stmt
);
3218 /* Generate code to initialize the parameters of the function at the
3219 top of the stack in ID from the GIMPLE_CALL STMT. */
3222 initialize_inlined_parameters (copy_body_data
*id
, gimple stmt
,
3223 tree fn
, basic_block bb
)
3228 tree vars
= NULL_TREE
;
3229 tree static_chain
= gimple_call_chain (stmt
);
3231 /* Figure out what the parameters are. */
3232 parms
= DECL_ARGUMENTS (fn
);
3234 /* Loop through the parameter declarations, replacing each with an
3235 equivalent VAR_DECL, appropriately initialized. */
3236 for (p
= parms
, i
= 0; p
; p
= DECL_CHAIN (p
), i
++)
3239 val
= i
< gimple_call_num_args (stmt
) ? gimple_call_arg (stmt
, i
) : NULL
;
3240 setup_one_parameter (id
, p
, val
, fn
, bb
, &vars
);
3242 /* After remapping parameters remap their types. This has to be done
3243 in a second loop over all parameters to appropriately remap
3244 variable sized arrays when the size is specified in a
3245 parameter following the array. */
3246 for (p
= parms
, i
= 0; p
; p
= DECL_CHAIN (p
), i
++)
3248 tree
*varp
= id
->decl_map
->get (p
);
3250 && TREE_CODE (*varp
) == VAR_DECL
)
3252 tree def
= (gimple_in_ssa_p (cfun
) && is_gimple_reg (p
)
3253 ? ssa_default_def (id
->src_cfun
, p
) : NULL
);
3255 TREE_TYPE (var
) = remap_type (TREE_TYPE (var
), id
);
3256 /* Also remap the default definition if it was remapped
3257 to the default definition of the parameter replacement
3258 by the parameter setup. */
3261 tree
*defp
= id
->decl_map
->get (def
);
3263 && TREE_CODE (*defp
) == SSA_NAME
3264 && SSA_NAME_VAR (*defp
) == var
)
3265 TREE_TYPE (*defp
) = TREE_TYPE (var
);
3270 /* Initialize the static chain. */
3271 p
= DECL_STRUCT_FUNCTION (fn
)->static_chain_decl
;
3272 gcc_assert (fn
!= current_function_decl
);
3275 /* No static chain? Seems like a bug in tree-nested.c. */
3276 gcc_assert (static_chain
);
3278 setup_one_parameter (id
, p
, static_chain
, fn
, bb
, &vars
);
3281 declare_inline_vars (id
->block
, vars
);
3285 /* Declare a return variable to replace the RESULT_DECL for the
3286 function we are calling. An appropriate DECL_STMT is returned.
3287 The USE_STMT is filled to contain a use of the declaration to
3288 indicate the return value of the function.
3290 RETURN_SLOT, if non-null is place where to store the result. It
3291 is set only for CALL_EXPR_RETURN_SLOT_OPT. MODIFY_DEST, if non-null,
3292 was the LHS of the MODIFY_EXPR to which this call is the RHS.
3294 RETURN_BOUNDS holds a destination for returned bounds.
3296 The return value is a (possibly null) value that holds the result
3297 as seen by the caller. */
3300 declare_return_variable (copy_body_data
*id
, tree return_slot
, tree modify_dest
,
3301 tree return_bounds
, basic_block entry_bb
)
3303 tree callee
= id
->src_fn
;
3304 tree result
= DECL_RESULT (callee
);
3305 tree callee_type
= TREE_TYPE (result
);
3309 /* Handle type-mismatches in the function declaration return type
3310 vs. the call expression. */
3312 caller_type
= TREE_TYPE (modify_dest
);
3314 caller_type
= TREE_TYPE (TREE_TYPE (callee
));
3316 /* We don't need to do anything for functions that don't return anything. */
3317 if (VOID_TYPE_P (callee_type
))
3320 /* If there was a return slot, then the return value is the
3321 dereferenced address of that object. */
3324 /* The front end shouldn't have used both return_slot and
3325 a modify expression. */
3326 gcc_assert (!modify_dest
);
3327 if (DECL_BY_REFERENCE (result
))
3329 tree return_slot_addr
= build_fold_addr_expr (return_slot
);
3330 STRIP_USELESS_TYPE_CONVERSION (return_slot_addr
);
3332 /* We are going to construct *&return_slot and we can't do that
3333 for variables believed to be not addressable.
3335 FIXME: This check possibly can match, because values returned
3336 via return slot optimization are not believed to have address
3337 taken by alias analysis. */
3338 gcc_assert (TREE_CODE (return_slot
) != SSA_NAME
);
3339 var
= return_slot_addr
;
3344 gcc_assert (TREE_CODE (var
) != SSA_NAME
);
3345 if (TREE_ADDRESSABLE (result
))
3346 mark_addressable (var
);
3348 if ((TREE_CODE (TREE_TYPE (result
)) == COMPLEX_TYPE
3349 || TREE_CODE (TREE_TYPE (result
)) == VECTOR_TYPE
)
3350 && !DECL_GIMPLE_REG_P (result
)
3352 DECL_GIMPLE_REG_P (var
) = 0;
3357 /* All types requiring non-trivial constructors should have been handled. */
3358 gcc_assert (!TREE_ADDRESSABLE (callee_type
));
3360 /* Attempt to avoid creating a new temporary variable. */
3362 && TREE_CODE (modify_dest
) != SSA_NAME
)
3364 bool use_it
= false;
3366 /* We can't use MODIFY_DEST if there's type promotion involved. */
3367 if (!useless_type_conversion_p (callee_type
, caller_type
))
3370 /* ??? If we're assigning to a variable sized type, then we must
3371 reuse the destination variable, because we've no good way to
3372 create variable sized temporaries at this point. */
3373 else if (TREE_CODE (TYPE_SIZE_UNIT (caller_type
)) != INTEGER_CST
)
3376 /* If the callee cannot possibly modify MODIFY_DEST, then we can
3377 reuse it as the result of the call directly. Don't do this if
3378 it would promote MODIFY_DEST to addressable. */
3379 else if (TREE_ADDRESSABLE (result
))
3383 tree base_m
= get_base_address (modify_dest
);
3385 /* If the base isn't a decl, then it's a pointer, and we don't
3386 know where that's going to go. */
3387 if (!DECL_P (base_m
))
3389 else if (is_global_var (base_m
))
3391 else if ((TREE_CODE (TREE_TYPE (result
)) == COMPLEX_TYPE
3392 || TREE_CODE (TREE_TYPE (result
)) == VECTOR_TYPE
)
3393 && !DECL_GIMPLE_REG_P (result
)
3394 && DECL_GIMPLE_REG_P (base_m
))
3396 else if (!TREE_ADDRESSABLE (base_m
))
3408 gcc_assert (TREE_CODE (TYPE_SIZE_UNIT (callee_type
)) == INTEGER_CST
);
3410 var
= copy_result_decl_to_var (result
, id
);
3411 DECL_SEEN_IN_BIND_EXPR_P (var
) = 1;
3413 /* Do not have the rest of GCC warn about this variable as it should
3414 not be visible to the user. */
3415 TREE_NO_WARNING (var
) = 1;
3417 declare_inline_vars (id
->block
, var
);
3419 /* Build the use expr. If the return type of the function was
3420 promoted, convert it back to the expected type. */
3422 if (!useless_type_conversion_p (caller_type
, TREE_TYPE (var
)))
3424 /* If we can match up types by promotion/demotion do so. */
3425 if (fold_convertible_p (caller_type
, var
))
3426 use
= fold_convert (caller_type
, var
);
3429 /* ??? For valid programs we should not end up here.
3430 Still if we end up with truly mismatched types here, fall back
3431 to using a MEM_REF to not leak invalid GIMPLE to the following
3433 /* Prevent var from being written into SSA form. */
3434 if (TREE_CODE (TREE_TYPE (var
)) == VECTOR_TYPE
3435 || TREE_CODE (TREE_TYPE (var
)) == COMPLEX_TYPE
)
3436 DECL_GIMPLE_REG_P (var
) = false;
3437 else if (is_gimple_reg_type (TREE_TYPE (var
)))
3438 TREE_ADDRESSABLE (var
) = true;
3439 use
= fold_build2 (MEM_REF
, caller_type
,
3440 build_fold_addr_expr (var
),
3441 build_int_cst (ptr_type_node
, 0));
3445 STRIP_USELESS_TYPE_CONVERSION (use
);
3447 if (DECL_BY_REFERENCE (result
))
3449 TREE_ADDRESSABLE (var
) = 1;
3450 var
= build_fold_addr_expr (var
);
3454 /* Register the VAR_DECL as the equivalent for the RESULT_DECL; that
3455 way, when the RESULT_DECL is encountered, it will be
3456 automatically replaced by the VAR_DECL.
3458 When returning by reference, ensure that RESULT_DECL remaps to
3460 if (DECL_BY_REFERENCE (result
)
3461 && !is_gimple_val (var
))
3463 tree temp
= create_tmp_var (TREE_TYPE (result
), "retvalptr");
3464 insert_decl_map (id
, result
, temp
);
3465 /* When RESULT_DECL is in SSA form, we need to remap and initialize
3466 it's default_def SSA_NAME. */
3467 if (gimple_in_ssa_p (id
->src_cfun
)
3468 && is_gimple_reg (result
))
3470 temp
= make_ssa_name (temp
);
3471 insert_decl_map (id
, ssa_default_def (id
->src_cfun
, result
), temp
);
3473 insert_init_stmt (id
, entry_bb
, gimple_build_assign (temp
, var
));
3476 insert_decl_map (id
, result
, var
);
3478 /* Remember this so we can ignore it in remap_decls. */
3481 /* If returned bounds are used, then make var for them. */
3484 tree bndtemp
= create_tmp_var (pointer_bounds_type_node
, "retbnd");
3485 DECL_SEEN_IN_BIND_EXPR_P (bndtemp
) = 1;
3486 TREE_NO_WARNING (bndtemp
) = 1;
3487 declare_inline_vars (id
->block
, bndtemp
);
3489 id
->retbnd
= bndtemp
;
3490 insert_init_stmt (id
, entry_bb
,
3491 gimple_build_assign (bndtemp
, chkp_get_zero_bounds_var ()));
3497 /* Callback through walk_tree. Determine if a DECL_INITIAL makes reference
3498 to a local label. */
3501 has_label_address_in_static_1 (tree
*nodep
, int *walk_subtrees
, void *fnp
)
3504 tree fn
= (tree
) fnp
;
3506 if (TREE_CODE (node
) == LABEL_DECL
&& DECL_CONTEXT (node
) == fn
)
3515 /* Determine if the function can be copied. If so return NULL. If
3516 not return a string describng the reason for failure. */
3519 copy_forbidden (struct function
*fun
, tree fndecl
)
3521 const char *reason
= fun
->cannot_be_copied_reason
;
3525 /* Only examine the function once. */
3526 if (fun
->cannot_be_copied_set
)
3529 /* We cannot copy a function that receives a non-local goto
3530 because we cannot remap the destination label used in the
3531 function that is performing the non-local goto. */
3532 /* ??? Actually, this should be possible, if we work at it.
3533 No doubt there's just a handful of places that simply
3534 assume it doesn't happen and don't substitute properly. */
3535 if (fun
->has_nonlocal_label
)
3537 reason
= G_("function %q+F can never be copied "
3538 "because it receives a non-local goto");
3542 FOR_EACH_LOCAL_DECL (fun
, ix
, decl
)
3543 if (TREE_CODE (decl
) == VAR_DECL
3544 && TREE_STATIC (decl
)
3545 && !DECL_EXTERNAL (decl
)
3546 && DECL_INITIAL (decl
)
3547 && walk_tree_without_duplicates (&DECL_INITIAL (decl
),
3548 has_label_address_in_static_1
,
3551 reason
= G_("function %q+F can never be copied because it saves "
3552 "address of local label in a static variable");
3557 fun
->cannot_be_copied_reason
= reason
;
3558 fun
->cannot_be_copied_set
= true;
3563 static const char *inline_forbidden_reason
;
3565 /* A callback for walk_gimple_seq to handle statements. Returns non-null
3566 iff a function can not be inlined. Also sets the reason why. */
3569 inline_forbidden_p_stmt (gimple_stmt_iterator
*gsi
, bool *handled_ops_p
,
3570 struct walk_stmt_info
*wip
)
3572 tree fn
= (tree
) wip
->info
;
3574 gimple stmt
= gsi_stmt (*gsi
);
3576 switch (gimple_code (stmt
))
3579 /* Refuse to inline alloca call unless user explicitly forced so as
3580 this may change program's memory overhead drastically when the
3581 function using alloca is called in loop. In GCC present in
3582 SPEC2000 inlining into schedule_block cause it to require 2GB of
3583 RAM instead of 256MB. Don't do so for alloca calls emitted for
3584 VLA objects as those can't cause unbounded growth (they're always
3585 wrapped inside stack_save/stack_restore regions. */
3586 if (gimple_alloca_call_p (stmt
)
3587 && !gimple_call_alloca_for_var_p (as_a
<gcall
*> (stmt
))
3588 && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn
)))
3590 inline_forbidden_reason
3591 = G_("function %q+F can never be inlined because it uses "
3592 "alloca (override using the always_inline attribute)");
3593 *handled_ops_p
= true;
3597 t
= gimple_call_fndecl (stmt
);
3601 /* We cannot inline functions that call setjmp. */
3602 if (setjmp_call_p (t
))
3604 inline_forbidden_reason
3605 = G_("function %q+F can never be inlined because it uses setjmp");
3606 *handled_ops_p
= true;
3610 if (DECL_BUILT_IN_CLASS (t
) == BUILT_IN_NORMAL
)
3611 switch (DECL_FUNCTION_CODE (t
))
3613 /* We cannot inline functions that take a variable number of
3615 case BUILT_IN_VA_START
:
3616 case BUILT_IN_NEXT_ARG
:
3617 case BUILT_IN_VA_END
:
3618 inline_forbidden_reason
3619 = G_("function %q+F can never be inlined because it "
3620 "uses variable argument lists");
3621 *handled_ops_p
= true;
3624 case BUILT_IN_LONGJMP
:
3625 /* We can't inline functions that call __builtin_longjmp at
3626 all. The non-local goto machinery really requires the
3627 destination be in a different function. If we allow the
3628 function calling __builtin_longjmp to be inlined into the
3629 function calling __builtin_setjmp, Things will Go Awry. */
3630 inline_forbidden_reason
3631 = G_("function %q+F can never be inlined because "
3632 "it uses setjmp-longjmp exception handling");
3633 *handled_ops_p
= true;
3636 case BUILT_IN_NONLOCAL_GOTO
:
3638 inline_forbidden_reason
3639 = G_("function %q+F can never be inlined because "
3640 "it uses non-local goto");
3641 *handled_ops_p
= true;
3644 case BUILT_IN_RETURN
:
3645 case BUILT_IN_APPLY_ARGS
:
3646 /* If a __builtin_apply_args caller would be inlined,
3647 it would be saving arguments of the function it has
3648 been inlined into. Similarly __builtin_return would
3649 return from the function the inline has been inlined into. */
3650 inline_forbidden_reason
3651 = G_("function %q+F can never be inlined because "
3652 "it uses __builtin_return or __builtin_apply_args");
3653 *handled_ops_p
= true;
3662 t
= gimple_goto_dest (stmt
);
3664 /* We will not inline a function which uses computed goto. The
3665 addresses of its local labels, which may be tucked into
3666 global storage, are of course not constant across
3667 instantiations, which causes unexpected behavior. */
3668 if (TREE_CODE (t
) != LABEL_DECL
)
3670 inline_forbidden_reason
3671 = G_("function %q+F can never be inlined "
3672 "because it contains a computed goto");
3673 *handled_ops_p
= true;
3682 *handled_ops_p
= false;
3686 /* Return true if FNDECL is a function that cannot be inlined into
3690 inline_forbidden_p (tree fndecl
)
3692 struct function
*fun
= DECL_STRUCT_FUNCTION (fndecl
);
3693 struct walk_stmt_info wi
;
3695 bool forbidden_p
= false;
3697 /* First check for shared reasons not to copy the code. */
3698 inline_forbidden_reason
= copy_forbidden (fun
, fndecl
);
3699 if (inline_forbidden_reason
!= NULL
)
3702 /* Next, walk the statements of the function looking for
3703 constraucts we can't handle, or are non-optimal for inlining. */
3704 hash_set
<tree
> visited_nodes
;
3705 memset (&wi
, 0, sizeof (wi
));
3706 wi
.info
= (void *) fndecl
;
3707 wi
.pset
= &visited_nodes
;
3709 FOR_EACH_BB_FN (bb
, fun
)
3712 gimple_seq seq
= bb_seq (bb
);
3713 ret
= walk_gimple_seq (seq
, inline_forbidden_p_stmt
, NULL
, &wi
);
3714 forbidden_p
= (ret
!= NULL
);
3722 /* Return false if the function FNDECL cannot be inlined on account of its
3723 attributes, true otherwise. */
3725 function_attribute_inlinable_p (const_tree fndecl
)
3727 if (targetm
.attribute_table
)
3731 for (a
= DECL_ATTRIBUTES (fndecl
); a
; a
= TREE_CHAIN (a
))
3733 const_tree name
= TREE_PURPOSE (a
);
3736 for (i
= 0; targetm
.attribute_table
[i
].name
!= NULL
; i
++)
3737 if (is_attribute_p (targetm
.attribute_table
[i
].name
, name
))
3738 return targetm
.function_attribute_inlinable_p (fndecl
);
3745 /* Returns nonzero if FN is a function that does not have any
3746 fundamental inline blocking properties. */
3749 tree_inlinable_function_p (tree fn
)
3751 bool inlinable
= true;
3755 /* If we've already decided this function shouldn't be inlined,
3756 there's no need to check again. */
3757 if (DECL_UNINLINABLE (fn
))
3760 /* We only warn for functions declared `inline' by the user. */
3761 do_warning
= (warn_inline
3762 && DECL_DECLARED_INLINE_P (fn
)
3763 && !DECL_NO_INLINE_WARNING_P (fn
)
3764 && !DECL_IN_SYSTEM_HEADER (fn
));
3766 always_inline
= lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn
));
3769 && always_inline
== NULL
)
3772 warning (OPT_Winline
, "function %q+F can never be inlined because it "
3773 "is suppressed using -fno-inline", fn
);
3777 else if (!function_attribute_inlinable_p (fn
))
3780 warning (OPT_Winline
, "function %q+F can never be inlined because it "
3781 "uses attributes conflicting with inlining", fn
);
3785 else if (inline_forbidden_p (fn
))
3787 /* See if we should warn about uninlinable functions. Previously,
3788 some of these warnings would be issued while trying to expand
3789 the function inline, but that would cause multiple warnings
3790 about functions that would for example call alloca. But since
3791 this a property of the function, just one warning is enough.
3792 As a bonus we can now give more details about the reason why a
3793 function is not inlinable. */
3795 error (inline_forbidden_reason
, fn
);
3796 else if (do_warning
)
3797 warning (OPT_Winline
, inline_forbidden_reason
, fn
);
3802 /* Squirrel away the result so that we don't have to check again. */
3803 DECL_UNINLINABLE (fn
) = !inlinable
;
3808 /* Estimate the cost of a memory move of type TYPE. Use machine dependent
3809 word size and take possible memcpy call into account and return
3810 cost based on whether optimizing for size or speed according to SPEED_P. */
3813 estimate_move_cost (tree type
, bool ARG_UNUSED (speed_p
))
3817 gcc_assert (!VOID_TYPE_P (type
));
3819 if (TREE_CODE (type
) == VECTOR_TYPE
)
3821 machine_mode inner
= TYPE_MODE (TREE_TYPE (type
));
3823 = targetm
.vectorize
.preferred_simd_mode (inner
);
3824 int simd_mode_size
= GET_MODE_SIZE (simd
);
3825 return ((GET_MODE_SIZE (TYPE_MODE (type
)) + simd_mode_size
- 1)
3829 size
= int_size_in_bytes (type
);
3831 if (size
< 0 || size
> MOVE_MAX_PIECES
* MOVE_RATIO (speed_p
))
3832 /* Cost of a memcpy call, 3 arguments and the call. */
3835 return ((size
+ MOVE_MAX_PIECES
- 1) / MOVE_MAX_PIECES
);
3838 /* Returns cost of operation CODE, according to WEIGHTS */
3841 estimate_operator_cost (enum tree_code code
, eni_weights
*weights
,
3842 tree op1 ATTRIBUTE_UNUSED
, tree op2
)
3846 /* These are "free" conversions, or their presumed cost
3847 is folded into other operations. */
3852 case VIEW_CONVERT_EXPR
:
3855 /* Assign cost of 1 to usual operations.
3856 ??? We may consider mapping RTL costs to this. */
3862 case POINTER_PLUS_EXPR
:
3865 case MULT_HIGHPART_EXPR
:
3868 case ADDR_SPACE_CONVERT_EXPR
:
3869 case FIXED_CONVERT_EXPR
:
3870 case FIX_TRUNC_EXPR
:
3888 case TRUTH_ANDIF_EXPR
:
3889 case TRUTH_ORIF_EXPR
:
3890 case TRUTH_AND_EXPR
:
3892 case TRUTH_XOR_EXPR
:
3893 case TRUTH_NOT_EXPR
:
3902 case UNORDERED_EXPR
:
3913 case PREDECREMENT_EXPR
:
3914 case PREINCREMENT_EXPR
:
3915 case POSTDECREMENT_EXPR
:
3916 case POSTINCREMENT_EXPR
:
3918 case REALIGN_LOAD_EXPR
:
3920 case REDUC_MAX_EXPR
:
3921 case REDUC_MIN_EXPR
:
3922 case REDUC_PLUS_EXPR
:
3923 case WIDEN_SUM_EXPR
:
3924 case WIDEN_MULT_EXPR
:
3927 case WIDEN_MULT_PLUS_EXPR
:
3928 case WIDEN_MULT_MINUS_EXPR
:
3929 case WIDEN_LSHIFT_EXPR
:
3931 case VEC_WIDEN_MULT_HI_EXPR
:
3932 case VEC_WIDEN_MULT_LO_EXPR
:
3933 case VEC_WIDEN_MULT_EVEN_EXPR
:
3934 case VEC_WIDEN_MULT_ODD_EXPR
:
3935 case VEC_UNPACK_HI_EXPR
:
3936 case VEC_UNPACK_LO_EXPR
:
3937 case VEC_UNPACK_FLOAT_HI_EXPR
:
3938 case VEC_UNPACK_FLOAT_LO_EXPR
:
3939 case VEC_PACK_TRUNC_EXPR
:
3940 case VEC_PACK_SAT_EXPR
:
3941 case VEC_PACK_FIX_TRUNC_EXPR
:
3942 case VEC_WIDEN_LSHIFT_HI_EXPR
:
3943 case VEC_WIDEN_LSHIFT_LO_EXPR
:
3947 /* Few special cases of expensive operations. This is useful
3948 to avoid inlining on functions having too many of these. */
3949 case TRUNC_DIV_EXPR
:
3951 case FLOOR_DIV_EXPR
:
3952 case ROUND_DIV_EXPR
:
3953 case EXACT_DIV_EXPR
:
3954 case TRUNC_MOD_EXPR
:
3956 case FLOOR_MOD_EXPR
:
3957 case ROUND_MOD_EXPR
:
3959 if (TREE_CODE (op2
) != INTEGER_CST
)
3960 return weights
->div_mod_cost
;
3964 /* We expect a copy assignment with no operator. */
3965 gcc_assert (get_gimple_rhs_class (code
) == GIMPLE_SINGLE_RHS
);
3971 /* Estimate number of instructions that will be created by expanding
3972 the statements in the statement sequence STMTS.
3973 WEIGHTS contains weights attributed to various constructs. */
3976 int estimate_num_insns_seq (gimple_seq stmts
, eni_weights
*weights
)
3979 gimple_stmt_iterator gsi
;
3982 for (gsi
= gsi_start (stmts
); !gsi_end_p (gsi
); gsi_next (&gsi
))
3983 cost
+= estimate_num_insns (gsi_stmt (gsi
), weights
);
3989 /* Estimate number of instructions that will be created by expanding STMT.
3990 WEIGHTS contains weights attributed to various constructs. */
3993 estimate_num_insns (gimple stmt
, eni_weights
*weights
)
3996 enum gimple_code code
= gimple_code (stmt
);
4003 /* Try to estimate the cost of assignments. We have three cases to
4005 1) Simple assignments to registers;
4006 2) Stores to things that must live in memory. This includes
4007 "normal" stores to scalars, but also assignments of large
4008 structures, or constructors of big arrays;
4010 Let us look at the first two cases, assuming we have "a = b + C":
4011 <GIMPLE_ASSIGN <var_decl "a">
4012 <plus_expr <var_decl "b"> <constant C>>
4013 If "a" is a GIMPLE register, the assignment to it is free on almost
4014 any target, because "a" usually ends up in a real register. Hence
4015 the only cost of this expression comes from the PLUS_EXPR, and we
4016 can ignore the GIMPLE_ASSIGN.
4017 If "a" is not a GIMPLE register, the assignment to "a" will most
4018 likely be a real store, so the cost of the GIMPLE_ASSIGN is the cost
4019 of moving something into "a", which we compute using the function
4020 estimate_move_cost. */
4021 if (gimple_clobber_p (stmt
))
4022 return 0; /* ={v} {CLOBBER} stmt expands to nothing. */
4024 lhs
= gimple_assign_lhs (stmt
);
4025 rhs
= gimple_assign_rhs1 (stmt
);
4029 /* Account for the cost of moving to / from memory. */
4030 if (gimple_store_p (stmt
))
4031 cost
+= estimate_move_cost (TREE_TYPE (lhs
), weights
->time_based
);
4032 if (gimple_assign_load_p (stmt
))
4033 cost
+= estimate_move_cost (TREE_TYPE (rhs
), weights
->time_based
);
4035 cost
+= estimate_operator_cost (gimple_assign_rhs_code (stmt
), weights
,
4036 gimple_assign_rhs1 (stmt
),
4037 get_gimple_rhs_class (gimple_assign_rhs_code (stmt
))
4038 == GIMPLE_BINARY_RHS
4039 ? gimple_assign_rhs2 (stmt
) : NULL
);
4043 cost
= 1 + estimate_operator_cost (gimple_cond_code (stmt
), weights
,
4044 gimple_op (stmt
, 0),
4045 gimple_op (stmt
, 1));
4050 gswitch
*switch_stmt
= as_a
<gswitch
*> (stmt
);
4051 /* Take into account cost of the switch + guess 2 conditional jumps for
4054 TODO: once the switch expansion logic is sufficiently separated, we can
4055 do better job on estimating cost of the switch. */
4056 if (weights
->time_based
)
4057 cost
= floor_log2 (gimple_switch_num_labels (switch_stmt
)) * 2;
4059 cost
= gimple_switch_num_labels (switch_stmt
) * 2;
4067 if (gimple_call_internal_p (stmt
))
4069 else if ((decl
= gimple_call_fndecl (stmt
))
4070 && DECL_BUILT_IN (decl
))
4072 /* Do not special case builtins where we see the body.
4073 This just confuse inliner. */
4074 struct cgraph_node
*node
;
4075 if (!(node
= cgraph_node::get (decl
))
4076 || node
->definition
)
4078 /* For buitins that are likely expanded to nothing or
4079 inlined do not account operand costs. */
4080 else if (is_simple_builtin (decl
))
4082 else if (is_inexpensive_builtin (decl
))
4083 return weights
->target_builtin_call_cost
;
4084 else if (DECL_BUILT_IN_CLASS (decl
) == BUILT_IN_NORMAL
)
4086 /* We canonicalize x * x to pow (x, 2.0) with -ffast-math, so
4087 specialize the cheap expansion we do here.
4088 ??? This asks for a more general solution. */
4089 switch (DECL_FUNCTION_CODE (decl
))
4094 if (TREE_CODE (gimple_call_arg (stmt
, 1)) == REAL_CST
4095 && REAL_VALUES_EQUAL
4096 (TREE_REAL_CST (gimple_call_arg (stmt
, 1)), dconst2
))
4097 return estimate_operator_cost
4098 (MULT_EXPR
, weights
, gimple_call_arg (stmt
, 0),
4099 gimple_call_arg (stmt
, 0));
4108 cost
= decl
? weights
->call_cost
: weights
->indirect_call_cost
;
4109 if (gimple_call_lhs (stmt
))
4110 cost
+= estimate_move_cost (TREE_TYPE (gimple_call_lhs (stmt
)),
4111 weights
->time_based
);
4112 for (i
= 0; i
< gimple_call_num_args (stmt
); i
++)
4114 tree arg
= gimple_call_arg (stmt
, i
);
4115 cost
+= estimate_move_cost (TREE_TYPE (arg
),
4116 weights
->time_based
);
4122 return weights
->return_cost
;
4128 case GIMPLE_PREDICT
:
4134 int count
= asm_str_count (gimple_asm_string (as_a
<gasm
*> (stmt
)));
4135 /* 1000 means infinity. This avoids overflows later
4136 with very long asm statements. */
4143 /* This is either going to be an external function call with one
4144 argument, or two register copy statements plus a goto. */
4147 case GIMPLE_EH_DISPATCH
:
4148 /* ??? This is going to turn into a switch statement. Ideally
4149 we'd have a look at the eh region and estimate the number of
4154 return estimate_num_insns_seq (
4155 gimple_bind_body (as_a
<gbind
*> (stmt
)),
4158 case GIMPLE_EH_FILTER
:
4159 return estimate_num_insns_seq (gimple_eh_filter_failure (stmt
), weights
);
4162 return estimate_num_insns_seq (gimple_catch_handler (
4163 as_a
<gcatch
*> (stmt
)),
4167 return (estimate_num_insns_seq (gimple_try_eval (stmt
), weights
)
4168 + estimate_num_insns_seq (gimple_try_cleanup (stmt
), weights
));
4170 /* OMP directives are generally very expensive. */
4172 case GIMPLE_OMP_RETURN
:
4173 case GIMPLE_OMP_SECTIONS_SWITCH
:
4174 case GIMPLE_OMP_ATOMIC_STORE
:
4175 case GIMPLE_OMP_CONTINUE
:
4176 /* ...except these, which are cheap. */
4179 case GIMPLE_OMP_ATOMIC_LOAD
:
4180 return weights
->omp_cost
;
4182 case GIMPLE_OMP_FOR
:
4183 return (weights
->omp_cost
4184 + estimate_num_insns_seq (gimple_omp_body (stmt
), weights
)
4185 + estimate_num_insns_seq (gimple_omp_for_pre_body (stmt
), weights
));
4187 case GIMPLE_OMP_PARALLEL
:
4188 case GIMPLE_OMP_TASK
:
4189 case GIMPLE_OMP_CRITICAL
:
4190 case GIMPLE_OMP_MASTER
:
4191 case GIMPLE_OMP_TASKGROUP
:
4192 case GIMPLE_OMP_ORDERED
:
4193 case GIMPLE_OMP_SECTION
:
4194 case GIMPLE_OMP_SECTIONS
:
4195 case GIMPLE_OMP_SINGLE
:
4196 case GIMPLE_OMP_TARGET
:
4197 case GIMPLE_OMP_TEAMS
:
4198 return (weights
->omp_cost
4199 + estimate_num_insns_seq (gimple_omp_body (stmt
), weights
));
4201 case GIMPLE_TRANSACTION
:
4202 return (weights
->tm_cost
4203 + estimate_num_insns_seq (gimple_transaction_body (
4204 as_a
<gtransaction
*> (stmt
)),
4214 /* Estimate number of instructions that will be created by expanding
4215 function FNDECL. WEIGHTS contains weights attributed to various
4219 estimate_num_insns_fn (tree fndecl
, eni_weights
*weights
)
4221 struct function
*my_function
= DECL_STRUCT_FUNCTION (fndecl
);
4222 gimple_stmt_iterator bsi
;
4226 gcc_assert (my_function
&& my_function
->cfg
);
4227 FOR_EACH_BB_FN (bb
, my_function
)
4229 for (bsi
= gsi_start_bb (bb
); !gsi_end_p (bsi
); gsi_next (&bsi
))
4230 n
+= estimate_num_insns (gsi_stmt (bsi
), weights
);
4237 /* Initializes weights used by estimate_num_insns. */
4240 init_inline_once (void)
4242 eni_size_weights
.call_cost
= 1;
4243 eni_size_weights
.indirect_call_cost
= 3;
4244 eni_size_weights
.target_builtin_call_cost
= 1;
4245 eni_size_weights
.div_mod_cost
= 1;
4246 eni_size_weights
.omp_cost
= 40;
4247 eni_size_weights
.tm_cost
= 10;
4248 eni_size_weights
.time_based
= false;
4249 eni_size_weights
.return_cost
= 1;
4251 /* Estimating time for call is difficult, since we have no idea what the
4252 called function does. In the current uses of eni_time_weights,
4253 underestimating the cost does less harm than overestimating it, so
4254 we choose a rather small value here. */
4255 eni_time_weights
.call_cost
= 10;
4256 eni_time_weights
.indirect_call_cost
= 15;
4257 eni_time_weights
.target_builtin_call_cost
= 1;
4258 eni_time_weights
.div_mod_cost
= 10;
4259 eni_time_weights
.omp_cost
= 40;
4260 eni_time_weights
.tm_cost
= 40;
4261 eni_time_weights
.time_based
= true;
4262 eni_time_weights
.return_cost
= 2;
4265 /* Estimate the number of instructions in a gimple_seq. */
4268 count_insns_seq (gimple_seq seq
, eni_weights
*weights
)
4270 gimple_stmt_iterator gsi
;
4272 for (gsi
= gsi_start (seq
); !gsi_end_p (gsi
); gsi_next (&gsi
))
4273 n
+= estimate_num_insns (gsi_stmt (gsi
), weights
);
4279 /* Install new lexical TREE_BLOCK underneath 'current_block'. */
4282 prepend_lexical_block (tree current_block
, tree new_block
)
4284 BLOCK_CHAIN (new_block
) = BLOCK_SUBBLOCKS (current_block
);
4285 BLOCK_SUBBLOCKS (current_block
) = new_block
;
4286 BLOCK_SUPERCONTEXT (new_block
) = current_block
;
4289 /* Add local variables from CALLEE to CALLER. */
4292 add_local_variables (struct function
*callee
, struct function
*caller
,
4298 FOR_EACH_LOCAL_DECL (callee
, ix
, var
)
4299 if (!can_be_nonlocal (var
, id
))
4301 tree new_var
= remap_decl (var
, id
);
4303 /* Remap debug-expressions. */
4304 if (TREE_CODE (new_var
) == VAR_DECL
4305 && DECL_HAS_DEBUG_EXPR_P (var
)
4308 tree tem
= DECL_DEBUG_EXPR (var
);
4309 bool old_regimplify
= id
->regimplify
;
4310 id
->remapping_type_depth
++;
4311 walk_tree (&tem
, copy_tree_body_r
, id
, NULL
);
4312 id
->remapping_type_depth
--;
4313 id
->regimplify
= old_regimplify
;
4314 SET_DECL_DEBUG_EXPR (new_var
, tem
);
4315 DECL_HAS_DEBUG_EXPR_P (new_var
) = 1;
4317 add_local_decl (caller
, new_var
);
4321 /* Add to BINDINGS a debug stmt resetting SRCVAR if inlining might
4322 have brought in or introduced any debug stmts for SRCVAR. */
4325 reset_debug_binding (copy_body_data
*id
, tree srcvar
, gimple_seq
*bindings
)
4327 tree
*remappedvarp
= id
->decl_map
->get (srcvar
);
4332 if (TREE_CODE (*remappedvarp
) != VAR_DECL
)
4335 if (*remappedvarp
== id
->retvar
|| *remappedvarp
== id
->retbnd
)
4338 tree tvar
= target_for_debug_bind (*remappedvarp
);
4342 gdebug
*stmt
= gimple_build_debug_bind (tvar
, NULL_TREE
,
4344 gimple_seq_add_stmt (bindings
, stmt
);
4347 /* For each inlined variable for which we may have debug bind stmts,
4348 add before GSI a final debug stmt resetting it, marking the end of
4349 its life, so that var-tracking knows it doesn't have to compute
4350 further locations for it. */
4353 reset_debug_bindings (copy_body_data
*id
, gimple_stmt_iterator gsi
)
4357 gimple_seq bindings
= NULL
;
4359 if (!gimple_in_ssa_p (id
->src_cfun
))
4362 if (!opt_for_fn (id
->dst_fn
, flag_var_tracking_assignments
))
4365 for (var
= DECL_ARGUMENTS (id
->src_fn
);
4366 var
; var
= DECL_CHAIN (var
))
4367 reset_debug_binding (id
, var
, &bindings
);
4369 FOR_EACH_LOCAL_DECL (id
->src_cfun
, ix
, var
)
4370 reset_debug_binding (id
, var
, &bindings
);
4372 gsi_insert_seq_before_without_update (&gsi
, bindings
, GSI_SAME_STMT
);
4375 /* If STMT is a GIMPLE_CALL, replace it with its inline expansion. */
4378 expand_call_inline (basic_block bb
, gimple stmt
, copy_body_data
*id
)
4382 hash_map
<tree
, tree
> *dst
;
4383 hash_map
<tree
, tree
> *st
= NULL
;
4386 tree return_bounds
= NULL
;
4387 location_t saved_location
;
4388 struct cgraph_edge
*cg_edge
;
4389 cgraph_inline_failed_t reason
;
4390 basic_block return_block
;
4392 gimple_stmt_iterator gsi
, stmt_gsi
;
4393 bool successfully_inlined
= FALSE
;
4394 bool purge_dead_abnormal_edges
;
4398 /* Set input_location here so we get the right instantiation context
4399 if we call instantiate_decl from inlinable_function_p. */
4400 /* FIXME: instantiate_decl isn't called by inlinable_function_p. */
4401 saved_location
= input_location
;
4402 input_location
= gimple_location (stmt
);
4404 /* From here on, we're only interested in CALL_EXPRs. */
4405 call_stmt
= dyn_cast
<gcall
*> (stmt
);
4409 cg_edge
= id
->dst_node
->get_edge (stmt
);
4410 gcc_checking_assert (cg_edge
);
4411 /* First, see if we can figure out what function is being called.
4412 If we cannot, then there is no hope of inlining the function. */
4413 if (cg_edge
->indirect_unknown_callee
)
4415 fn
= cg_edge
->callee
->decl
;
4416 gcc_checking_assert (fn
);
4418 /* If FN is a declaration of a function in a nested scope that was
4419 globally declared inline, we don't set its DECL_INITIAL.
4420 However, we can't blindly follow DECL_ABSTRACT_ORIGIN because the
4421 C++ front-end uses it for cdtors to refer to their internal
4422 declarations, that are not real functions. Fortunately those
4423 don't have trees to be saved, so we can tell by checking their
4425 if (!DECL_INITIAL (fn
)
4426 && DECL_ABSTRACT_ORIGIN (fn
)
4427 && gimple_has_body_p (DECL_ABSTRACT_ORIGIN (fn
)))
4428 fn
= DECL_ABSTRACT_ORIGIN (fn
);
4430 /* Don't try to inline functions that are not well-suited to inlining. */
4431 if (cg_edge
->inline_failed
)
4433 reason
= cg_edge
->inline_failed
;
4434 /* If this call was originally indirect, we do not want to emit any
4435 inlining related warnings or sorry messages because there are no
4436 guarantees regarding those. */
4437 if (cg_edge
->indirect_inlining_edge
)
4440 if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn
))
4441 /* For extern inline functions that get redefined we always
4442 silently ignored always_inline flag. Better behaviour would
4443 be to be able to keep both bodies and use extern inline body
4444 for inlining, but we can't do that because frontends overwrite
4446 && !cg_edge
->callee
->local
.redefined_extern_inline
4447 /* During early inline pass, report only when optimization is
4449 && (symtab
->global_info_ready
4451 || cgraph_inline_failed_type (reason
) == CIF_FINAL_ERROR
)
4452 /* PR 20090218-1_0.c. Body can be provided by another module. */
4453 && (reason
!= CIF_BODY_NOT_AVAILABLE
|| !flag_generate_lto
))
4455 error ("inlining failed in call to always_inline %q+F: %s", fn
,
4456 cgraph_inline_failed_string (reason
));
4457 error ("called from here");
4459 else if (warn_inline
4460 && DECL_DECLARED_INLINE_P (fn
)
4461 && !DECL_NO_INLINE_WARNING_P (fn
)
4462 && !DECL_IN_SYSTEM_HEADER (fn
)
4463 && reason
!= CIF_UNSPECIFIED
4464 && !lookup_attribute ("noinline", DECL_ATTRIBUTES (fn
))
4465 /* Do not warn about not inlined recursive calls. */
4466 && !cg_edge
->recursive_p ()
4467 /* Avoid warnings during early inline pass. */
4468 && symtab
->global_info_ready
)
4470 warning (OPT_Winline
, "inlining failed in call to %q+F: %s",
4471 fn
, _(cgraph_inline_failed_string (reason
)));
4472 warning (OPT_Winline
, "called from here");
4476 fn
= cg_edge
->callee
->decl
;
4477 cg_edge
->callee
->get_untransformed_body ();
4479 #ifdef ENABLE_CHECKING
4480 if (cg_edge
->callee
->decl
!= id
->dst_node
->decl
)
4481 cg_edge
->callee
->verify ();
4484 /* We will be inlining this callee. */
4485 id
->eh_lp_nr
= lookup_stmt_eh_lp (stmt
);
4486 id
->assign_stmts
.create (0);
4488 /* Update the callers EH personality. */
4489 if (DECL_FUNCTION_PERSONALITY (cg_edge
->callee
->decl
))
4490 DECL_FUNCTION_PERSONALITY (cg_edge
->caller
->decl
)
4491 = DECL_FUNCTION_PERSONALITY (cg_edge
->callee
->decl
);
4493 /* Split the block holding the GIMPLE_CALL. */
4494 e
= split_block (bb
, stmt
);
4496 return_block
= e
->dest
;
4499 /* split_block splits after the statement; work around this by
4500 moving the call into the second block manually. Not pretty,
4501 but seems easier than doing the CFG manipulation by hand
4502 when the GIMPLE_CALL is in the last statement of BB. */
4503 stmt_gsi
= gsi_last_bb (bb
);
4504 gsi_remove (&stmt_gsi
, false);
4506 /* If the GIMPLE_CALL was in the last statement of BB, it may have
4507 been the source of abnormal edges. In this case, schedule
4508 the removal of dead abnormal edges. */
4509 gsi
= gsi_start_bb (return_block
);
4510 if (gsi_end_p (gsi
))
4512 gsi_insert_after (&gsi
, stmt
, GSI_NEW_STMT
);
4513 purge_dead_abnormal_edges
= true;
4517 gsi_insert_before (&gsi
, stmt
, GSI_NEW_STMT
);
4518 purge_dead_abnormal_edges
= false;
4521 stmt_gsi
= gsi_start_bb (return_block
);
4523 /* Build a block containing code to initialize the arguments, the
4524 actual inline expansion of the body, and a label for the return
4525 statements within the function to jump to. The type of the
4526 statement expression is the return type of the function call.
4527 ??? If the call does not have an associated block then we will
4528 remap all callee blocks to NULL, effectively dropping most of
4529 its debug information. This should only happen for calls to
4530 artificial decls inserted by the compiler itself. We need to
4531 either link the inlined blocks into the caller block tree or
4532 not refer to them in any way to not break GC for locations. */
4533 if (gimple_block (stmt
))
4535 id
->block
= make_node (BLOCK
);
4536 BLOCK_ABSTRACT_ORIGIN (id
->block
) = fn
;
4537 BLOCK_SOURCE_LOCATION (id
->block
) = LOCATION_LOCUS (input_location
);
4538 prepend_lexical_block (gimple_block (stmt
), id
->block
);
4541 /* Local declarations will be replaced by their equivalents in this
4544 id
->decl_map
= new hash_map
<tree
, tree
>;
4545 dst
= id
->debug_map
;
4546 id
->debug_map
= NULL
;
4548 /* Record the function we are about to inline. */
4550 id
->src_node
= cg_edge
->callee
;
4551 id
->src_cfun
= DECL_STRUCT_FUNCTION (fn
);
4552 id
->call_stmt
= stmt
;
4554 /* If the src function contains an IFN_VA_ARG, then so will the dst
4555 function after inlining. */
4556 if ((id
->src_cfun
->curr_properties
& PROP_gimple_lva
) == 0)
4558 struct function
*dst_cfun
= DECL_STRUCT_FUNCTION (id
->dst_fn
);
4559 dst_cfun
->curr_properties
&= ~PROP_gimple_lva
;
4562 gcc_assert (!id
->src_cfun
->after_inlining
);
4565 if (lookup_attribute ("cold", DECL_ATTRIBUTES (fn
)))
4567 gimple_stmt_iterator si
= gsi_last_bb (bb
);
4568 gsi_insert_after (&si
, gimple_build_predict (PRED_COLD_FUNCTION
,
4572 initialize_inlined_parameters (id
, stmt
, fn
, bb
);
4574 if (DECL_INITIAL (fn
))
4576 if (gimple_block (stmt
))
4580 prepend_lexical_block (id
->block
,
4581 remap_blocks (DECL_INITIAL (fn
), id
));
4582 gcc_checking_assert (BLOCK_SUBBLOCKS (id
->block
)
4583 && (BLOCK_CHAIN (BLOCK_SUBBLOCKS (id
->block
))
4585 /* Move vars for PARM_DECLs from DECL_INITIAL block to id->block,
4586 otherwise for DWARF DW_TAG_formal_parameter will not be children of
4587 DW_TAG_inlined_subroutine, but of a DW_TAG_lexical_block
4588 under it. The parameters can be then evaluated in the debugger,
4589 but don't show in backtraces. */
4590 for (var
= &BLOCK_VARS (BLOCK_SUBBLOCKS (id
->block
)); *var
; )
4591 if (TREE_CODE (DECL_ORIGIN (*var
)) == PARM_DECL
)
4594 *var
= TREE_CHAIN (v
);
4595 TREE_CHAIN (v
) = BLOCK_VARS (id
->block
);
4596 BLOCK_VARS (id
->block
) = v
;
4599 var
= &TREE_CHAIN (*var
);
4602 remap_blocks_to_null (DECL_INITIAL (fn
), id
);
4605 /* Return statements in the function body will be replaced by jumps
4606 to the RET_LABEL. */
4607 gcc_assert (DECL_INITIAL (fn
));
4608 gcc_assert (TREE_CODE (DECL_INITIAL (fn
)) == BLOCK
);
4610 /* Find the LHS to which the result of this call is assigned. */
4612 if (gimple_call_lhs (stmt
))
4614 modify_dest
= gimple_call_lhs (stmt
);
4616 /* Remember where to copy returned bounds. */
4617 if (gimple_call_with_bounds_p (stmt
)
4618 && TREE_CODE (modify_dest
) == SSA_NAME
)
4620 gcall
*retbnd
= chkp_retbnd_call_by_val (modify_dest
);
4623 return_bounds
= gimple_call_lhs (retbnd
);
4624 /* If returned bounds are not used then just
4625 remove unused call. */
4628 gimple_stmt_iterator iter
= gsi_for_stmt (retbnd
);
4629 gsi_remove (&iter
, true);
4634 /* The function which we are inlining might not return a value,
4635 in which case we should issue a warning that the function
4636 does not return a value. In that case the optimizers will
4637 see that the variable to which the value is assigned was not
4638 initialized. We do not want to issue a warning about that
4639 uninitialized variable. */
4640 if (DECL_P (modify_dest
))
4641 TREE_NO_WARNING (modify_dest
) = 1;
4643 if (gimple_call_return_slot_opt_p (call_stmt
))
4645 return_slot
= modify_dest
;
4652 /* If we are inlining a call to the C++ operator new, we don't want
4653 to use type based alias analysis on the return value. Otherwise
4654 we may get confused if the compiler sees that the inlined new
4655 function returns a pointer which was just deleted. See bug
4657 if (DECL_IS_OPERATOR_NEW (fn
))
4663 /* Declare the return variable for the function. */
4664 use_retvar
= declare_return_variable (id
, return_slot
, modify_dest
,
4667 /* Add local vars in this inlined callee to caller. */
4668 add_local_variables (id
->src_cfun
, cfun
, id
);
4670 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4672 fprintf (dump_file
, "Inlining ");
4673 print_generic_expr (dump_file
, id
->src_fn
, 0);
4674 fprintf (dump_file
, " to ");
4675 print_generic_expr (dump_file
, id
->dst_fn
, 0);
4676 fprintf (dump_file
, " with frequency %i\n", cg_edge
->frequency
);
4679 /* This is it. Duplicate the callee body. Assume callee is
4680 pre-gimplified. Note that we must not alter the caller
4681 function in any way before this point, as this CALL_EXPR may be
4682 a self-referential call; if we're calling ourselves, we need to
4683 duplicate our body before altering anything. */
4684 copy_body (id
, cg_edge
->callee
->count
,
4685 GCOV_COMPUTE_SCALE (cg_edge
->frequency
, CGRAPH_FREQ_BASE
),
4686 bb
, return_block
, NULL
);
4688 reset_debug_bindings (id
, stmt_gsi
);
4690 /* Reset the escaped solution. */
4691 if (cfun
->gimple_df
)
4692 pt_solution_reset (&cfun
->gimple_df
->escaped
);
4697 delete id
->debug_map
;
4698 id
->debug_map
= dst
;
4700 delete id
->decl_map
;
4703 /* Unlink the calls virtual operands before replacing it. */
4704 unlink_stmt_vdef (stmt
);
4705 if (gimple_vdef (stmt
)
4706 && TREE_CODE (gimple_vdef (stmt
)) == SSA_NAME
)
4707 release_ssa_name (gimple_vdef (stmt
));
4709 /* If the inlined function returns a result that we care about,
4710 substitute the GIMPLE_CALL with an assignment of the return
4711 variable to the LHS of the call. That is, if STMT was
4712 'a = foo (...)', substitute the call with 'a = USE_RETVAR'. */
4713 if (use_retvar
&& gimple_call_lhs (stmt
))
4715 gimple old_stmt
= stmt
;
4716 stmt
= gimple_build_assign (gimple_call_lhs (stmt
), use_retvar
);
4717 gsi_replace (&stmt_gsi
, stmt
, false);
4718 maybe_clean_or_replace_eh_stmt (old_stmt
, stmt
);
4720 /* Copy bounds if we copy structure with bounds. */
4721 if (chkp_function_instrumented_p (id
->dst_fn
)
4722 && !BOUNDED_P (use_retvar
)
4723 && chkp_type_has_pointer (TREE_TYPE (use_retvar
)))
4724 id
->assign_stmts
.safe_push (stmt
);
4728 /* Handle the case of inlining a function with no return
4729 statement, which causes the return value to become undefined. */
4730 if (gimple_call_lhs (stmt
)
4731 && TREE_CODE (gimple_call_lhs (stmt
)) == SSA_NAME
)
4733 tree name
= gimple_call_lhs (stmt
);
4734 tree var
= SSA_NAME_VAR (name
);
4735 tree def
= ssa_default_def (cfun
, var
);
4739 /* If the variable is used undefined, make this name
4740 undefined via a move. */
4741 stmt
= gimple_build_assign (gimple_call_lhs (stmt
), def
);
4742 gsi_replace (&stmt_gsi
, stmt
, true);
4746 /* Otherwise make this variable undefined. */
4747 gsi_remove (&stmt_gsi
, true);
4748 set_ssa_default_def (cfun
, var
, name
);
4749 SSA_NAME_DEF_STMT (name
) = gimple_build_nop ();
4753 gsi_remove (&stmt_gsi
, true);
4756 /* Put returned bounds into the correct place if required. */
4759 gimple old_stmt
= SSA_NAME_DEF_STMT (return_bounds
);
4760 gimple new_stmt
= gimple_build_assign (return_bounds
, id
->retbnd
);
4761 gimple_stmt_iterator bnd_gsi
= gsi_for_stmt (old_stmt
);
4762 unlink_stmt_vdef (old_stmt
);
4763 gsi_replace (&bnd_gsi
, new_stmt
, false);
4764 maybe_clean_or_replace_eh_stmt (old_stmt
, new_stmt
);
4765 cgraph_update_edges_for_call_stmt (old_stmt
,
4766 gimple_call_fndecl (old_stmt
),
4770 if (purge_dead_abnormal_edges
)
4772 gimple_purge_dead_eh_edges (return_block
);
4773 gimple_purge_dead_abnormal_call_edges (return_block
);
4776 /* If the value of the new expression is ignored, that's OK. We
4777 don't warn about this for CALL_EXPRs, so we shouldn't warn about
4778 the equivalent inlined version either. */
4779 if (is_gimple_assign (stmt
))
4781 gcc_assert (gimple_assign_single_p (stmt
)
4782 || CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt
)));
4783 TREE_USED (gimple_assign_rhs1 (stmt
)) = 1;
4786 /* Copy bounds for all generated assigns that need it. */
4787 for (i
= 0; i
< id
->assign_stmts
.length (); i
++)
4788 chkp_copy_bounds_for_assign (id
->assign_stmts
[i
], cg_edge
);
4789 id
->assign_stmts
.release ();
4791 /* Output the inlining info for this abstract function, since it has been
4792 inlined. If we don't do this now, we can lose the information about the
4793 variables in the function when the blocks get blown away as soon as we
4794 remove the cgraph node. */
4795 if (gimple_block (stmt
))
4796 (*debug_hooks
->outlining_inline_function
) (cg_edge
->callee
->decl
);
4798 /* Update callgraph if needed. */
4799 cg_edge
->callee
->remove ();
4801 id
->block
= NULL_TREE
;
4802 successfully_inlined
= TRUE
;
4805 input_location
= saved_location
;
4806 return successfully_inlined
;
4809 /* Expand call statements reachable from STMT_P.
4810 We can only have CALL_EXPRs as the "toplevel" tree code or nested
4811 in a MODIFY_EXPR. */
4814 gimple_expand_calls_inline (basic_block bb
, copy_body_data
*id
)
4816 gimple_stmt_iterator gsi
;
4817 bool inlined
= false;
4819 for (gsi
= gsi_last_bb (bb
); !gsi_end_p (gsi
);)
4821 gimple stmt
= gsi_stmt (gsi
);
4824 if (is_gimple_call (stmt
)
4825 && !gimple_call_internal_p (stmt
))
4826 inlined
|= expand_call_inline (bb
, stmt
, id
);
4833 /* Walk all basic blocks created after FIRST and try to fold every statement
4834 in the STATEMENTS pointer set. */
4837 fold_marked_statements (int first
, hash_set
<gimple
> *statements
)
4839 for (; first
< n_basic_blocks_for_fn (cfun
); first
++)
4840 if (BASIC_BLOCK_FOR_FN (cfun
, first
))
4842 gimple_stmt_iterator gsi
;
4844 for (gsi
= gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun
, first
));
4847 if (statements
->contains (gsi_stmt (gsi
)))
4849 gimple old_stmt
= gsi_stmt (gsi
);
4850 tree old_decl
= is_gimple_call (old_stmt
) ? gimple_call_fndecl (old_stmt
) : 0;
4852 if (old_decl
&& DECL_BUILT_IN (old_decl
))
4854 /* Folding builtins can create multiple instructions,
4855 we need to look at all of them. */
4856 gimple_stmt_iterator i2
= gsi
;
4858 if (fold_stmt (&gsi
))
4861 /* If a builtin at the end of a bb folded into nothing,
4862 the following loop won't work. */
4863 if (gsi_end_p (gsi
))
4865 cgraph_update_edges_for_call_stmt (old_stmt
,
4870 i2
= gsi_start_bb (BASIC_BLOCK_FOR_FN (cfun
, first
));
4875 new_stmt
= gsi_stmt (i2
);
4876 update_stmt (new_stmt
);
4877 cgraph_update_edges_for_call_stmt (old_stmt
, old_decl
,
4880 if (new_stmt
== gsi_stmt (gsi
))
4882 /* It is okay to check only for the very last
4883 of these statements. If it is a throwing
4884 statement nothing will change. If it isn't
4885 this can remove EH edges. If that weren't
4886 correct then because some intermediate stmts
4887 throw, but not the last one. That would mean
4888 we'd have to split the block, which we can't
4889 here and we'd loose anyway. And as builtins
4890 probably never throw, this all
4892 if (maybe_clean_or_replace_eh_stmt (old_stmt
,
4894 gimple_purge_dead_eh_edges (
4895 BASIC_BLOCK_FOR_FN (cfun
, first
));
4902 else if (fold_stmt (&gsi
))
4904 /* Re-read the statement from GSI as fold_stmt() may
4906 gimple new_stmt
= gsi_stmt (gsi
);
4907 update_stmt (new_stmt
);
4909 if (is_gimple_call (old_stmt
)
4910 || is_gimple_call (new_stmt
))
4911 cgraph_update_edges_for_call_stmt (old_stmt
, old_decl
,
4914 if (maybe_clean_or_replace_eh_stmt (old_stmt
, new_stmt
))
4915 gimple_purge_dead_eh_edges (BASIC_BLOCK_FOR_FN (cfun
,
4922 /* Expand calls to inline functions in the body of FN. */
4925 optimize_inline_calls (tree fn
)
4929 int last
= n_basic_blocks_for_fn (cfun
);
4930 bool inlined_p
= false;
4933 memset (&id
, 0, sizeof (id
));
4935 id
.src_node
= id
.dst_node
= cgraph_node::get (fn
);
4936 gcc_assert (id
.dst_node
->definition
);
4938 /* Or any functions that aren't finished yet. */
4939 if (current_function_decl
)
4940 id
.dst_fn
= current_function_decl
;
4942 id
.copy_decl
= copy_decl_maybe_to_var
;
4943 id
.transform_call_graph_edges
= CB_CGE_DUPLICATE
;
4944 id
.transform_new_cfg
= false;
4945 id
.transform_return_to_modify
= true;
4946 id
.transform_parameter
= true;
4947 id
.transform_lang_insert_block
= NULL
;
4948 id
.statements_to_fold
= new hash_set
<gimple
>;
4950 push_gimplify_context ();
4952 /* We make no attempts to keep dominance info up-to-date. */
4953 free_dominance_info (CDI_DOMINATORS
);
4954 free_dominance_info (CDI_POST_DOMINATORS
);
4956 /* Register specific gimple functions. */
4957 gimple_register_cfg_hooks ();
4959 /* Reach the trees by walking over the CFG, and note the
4960 enclosing basic-blocks in the call edges. */
4961 /* We walk the blocks going forward, because inlined function bodies
4962 will split id->current_basic_block, and the new blocks will
4963 follow it; we'll trudge through them, processing their CALL_EXPRs
4965 FOR_EACH_BB_FN (bb
, cfun
)
4966 inlined_p
|= gimple_expand_calls_inline (bb
, &id
);
4968 pop_gimplify_context (NULL
);
4970 #ifdef ENABLE_CHECKING
4972 struct cgraph_edge
*e
;
4974 id
.dst_node
->verify ();
4976 /* Double check that we inlined everything we are supposed to inline. */
4977 for (e
= id
.dst_node
->callees
; e
; e
= e
->next_callee
)
4978 gcc_assert (e
->inline_failed
);
4982 /* Fold queued statements. */
4983 fold_marked_statements (last
, id
.statements_to_fold
);
4984 delete id
.statements_to_fold
;
4986 gcc_assert (!id
.debug_stmts
.exists ());
4988 /* If we didn't inline into the function there is nothing to do. */
4992 /* Renumber the lexical scoping (non-code) blocks consecutively. */
4995 delete_unreachable_blocks_update_callgraph (&id
);
4996 #ifdef ENABLE_CHECKING
4997 id
.dst_node
->verify ();
5000 /* It would be nice to check SSA/CFG/statement consistency here, but it is
5001 not possible yet - the IPA passes might make various functions to not
5002 throw and they don't care to proactively update local EH info. This is
5003 done later in fixup_cfg pass that also execute the verification. */
5004 return (TODO_update_ssa
5006 | (gimple_in_ssa_p (cfun
) ? TODO_remove_unused_locals
: 0)
5007 | (gimple_in_ssa_p (cfun
) ? TODO_update_address_taken
: 0)
5008 | (profile_status_for_fn (cfun
) != PROFILE_ABSENT
5009 ? TODO_rebuild_frequencies
: 0));
5012 /* Passed to walk_tree. Copies the node pointed to, if appropriate. */
5015 copy_tree_r (tree
*tp
, int *walk_subtrees
, void *data ATTRIBUTE_UNUSED
)
5017 enum tree_code code
= TREE_CODE (*tp
);
5018 enum tree_code_class cl
= TREE_CODE_CLASS (code
);
5020 /* We make copies of most nodes. */
5021 if (IS_EXPR_CODE_CLASS (cl
)
5022 || code
== TREE_LIST
5024 || code
== TYPE_DECL
5025 || code
== OMP_CLAUSE
)
5027 /* Because the chain gets clobbered when we make a copy, we save it
5029 tree chain
= NULL_TREE
, new_tree
;
5031 if (CODE_CONTAINS_STRUCT (code
, TS_COMMON
))
5032 chain
= TREE_CHAIN (*tp
);
5034 /* Copy the node. */
5035 new_tree
= copy_node (*tp
);
5039 /* Now, restore the chain, if appropriate. That will cause
5040 walk_tree to walk into the chain as well. */
5041 if (code
== PARM_DECL
5042 || code
== TREE_LIST
5043 || code
== OMP_CLAUSE
)
5044 TREE_CHAIN (*tp
) = chain
;
5046 /* For now, we don't update BLOCKs when we make copies. So, we
5047 have to nullify all BIND_EXPRs. */
5048 if (TREE_CODE (*tp
) == BIND_EXPR
)
5049 BIND_EXPR_BLOCK (*tp
) = NULL_TREE
;
5051 else if (code
== CONSTRUCTOR
)
5053 /* CONSTRUCTOR nodes need special handling because
5054 we need to duplicate the vector of elements. */
5057 new_tree
= copy_node (*tp
);
5058 CONSTRUCTOR_ELTS (new_tree
) = vec_safe_copy (CONSTRUCTOR_ELTS (*tp
));
5061 else if (code
== STATEMENT_LIST
)
5062 /* We used to just abort on STATEMENT_LIST, but we can run into them
5063 with statement-expressions (c++/40975). */
5064 copy_statement_list (tp
);
5065 else if (TREE_CODE_CLASS (code
) == tcc_type
)
5067 else if (TREE_CODE_CLASS (code
) == tcc_declaration
)
5069 else if (TREE_CODE_CLASS (code
) == tcc_constant
)
5074 /* The SAVE_EXPR pointed to by TP is being copied. If ST contains
5075 information indicating to what new SAVE_EXPR this one should be mapped,
5076 use that one. Otherwise, create a new node and enter it in ST. FN is
5077 the function into which the copy will be placed. */
5080 remap_save_expr (tree
*tp
, hash_map
<tree
, tree
> *st
, int *walk_subtrees
)
5085 /* See if we already encountered this SAVE_EXPR. */
5088 /* If we didn't already remap this SAVE_EXPR, do so now. */
5091 t
= copy_node (*tp
);
5093 /* Remember this SAVE_EXPR. */
5095 /* Make sure we don't remap an already-remapped SAVE_EXPR. */
5100 /* We've already walked into this SAVE_EXPR; don't do it again. */
5105 /* Replace this SAVE_EXPR with the copy. */
5109 /* Called via walk_gimple_seq. If *GSIP points to a GIMPLE_LABEL for a local
5110 label, copies the declaration and enters it in the splay_tree in DATA (which
5111 is really a 'copy_body_data *'. */
5114 mark_local_labels_stmt (gimple_stmt_iterator
*gsip
,
5115 bool *handled_ops_p ATTRIBUTE_UNUSED
,
5116 struct walk_stmt_info
*wi
)
5118 copy_body_data
*id
= (copy_body_data
*) wi
->info
;
5119 glabel
*stmt
= dyn_cast
<glabel
*> (gsi_stmt (*gsip
));
5123 tree decl
= gimple_label_label (stmt
);
5125 /* Copy the decl and remember the copy. */
5126 insert_decl_map (id
, decl
, id
->copy_decl (decl
, id
));
5133 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5134 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5135 remaps all local declarations to appropriate replacements in gimple
5139 replace_locals_op (tree
*tp
, int *walk_subtrees
, void *data
)
5141 struct walk_stmt_info
*wi
= (struct walk_stmt_info
*) data
;
5142 copy_body_data
*id
= (copy_body_data
*) wi
->info
;
5143 hash_map
<tree
, tree
> *st
= id
->decl_map
;
5147 /* Only a local declaration (variable or label). */
5148 if ((TREE_CODE (expr
) == VAR_DECL
5149 && !TREE_STATIC (expr
))
5150 || TREE_CODE (expr
) == LABEL_DECL
)
5152 /* Lookup the declaration. */
5155 /* If it's there, remap it. */
5160 else if (TREE_CODE (expr
) == STATEMENT_LIST
5161 || TREE_CODE (expr
) == BIND_EXPR
5162 || TREE_CODE (expr
) == SAVE_EXPR
)
5164 else if (TREE_CODE (expr
) == TARGET_EXPR
)
5166 /* Don't mess with a TARGET_EXPR that hasn't been expanded.
5167 It's OK for this to happen if it was part of a subtree that
5168 isn't immediately expanded, such as operand 2 of another
5170 if (!TREE_OPERAND (expr
, 1))
5172 TREE_OPERAND (expr
, 1) = TREE_OPERAND (expr
, 3);
5173 TREE_OPERAND (expr
, 3) = NULL_TREE
;
5177 /* Keep iterating. */
5182 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
5183 Using the splay_tree pointed to by ST (which is really a `splay_tree'),
5184 remaps all local declarations to appropriate replacements in gimple
5188 replace_locals_stmt (gimple_stmt_iterator
*gsip
,
5189 bool *handled_ops_p ATTRIBUTE_UNUSED
,
5190 struct walk_stmt_info
*wi
)
5192 copy_body_data
*id
= (copy_body_data
*) wi
->info
;
5193 gimple gs
= gsi_stmt (*gsip
);
5195 if (gbind
*stmt
= dyn_cast
<gbind
*> (gs
))
5197 tree block
= gimple_bind_block (stmt
);
5201 remap_block (&block
, id
);
5202 gimple_bind_set_block (stmt
, block
);
5205 /* This will remap a lot of the same decls again, but this should be
5207 if (gimple_bind_vars (stmt
))
5208 gimple_bind_set_vars (stmt
, remap_decls (gimple_bind_vars (stmt
),
5212 /* Keep iterating. */
5217 /* Copies everything in SEQ and replaces variables and labels local to
5218 current_function_decl. */
5221 copy_gimple_seq_and_replace_locals (gimple_seq seq
)
5224 struct walk_stmt_info wi
;
5227 /* There's nothing to do for NULL_TREE. */
5232 memset (&id
, 0, sizeof (id
));
5233 id
.src_fn
= current_function_decl
;
5234 id
.dst_fn
= current_function_decl
;
5235 id
.decl_map
= new hash_map
<tree
, tree
>;
5236 id
.debug_map
= NULL
;
5238 id
.copy_decl
= copy_decl_no_change
;
5239 id
.transform_call_graph_edges
= CB_CGE_DUPLICATE
;
5240 id
.transform_new_cfg
= false;
5241 id
.transform_return_to_modify
= false;
5242 id
.transform_parameter
= false;
5243 id
.transform_lang_insert_block
= NULL
;
5245 /* Walk the tree once to find local labels. */
5246 memset (&wi
, 0, sizeof (wi
));
5247 hash_set
<tree
> visited
;
5250 walk_gimple_seq (seq
, mark_local_labels_stmt
, NULL
, &wi
);
5252 copy
= gimple_seq_copy (seq
);
5254 /* Walk the copy, remapping decls. */
5255 memset (&wi
, 0, sizeof (wi
));
5257 walk_gimple_seq (copy
, replace_locals_stmt
, replace_locals_op
, &wi
);
5262 delete id
.debug_map
;
5263 if (id
.dependence_map
)
5265 delete id
.dependence_map
;
5266 id
.dependence_map
= NULL
;
5273 /* Allow someone to determine if SEARCH is a child of TOP from gdb. */
5276 debug_find_tree_1 (tree
*tp
, int *walk_subtrees ATTRIBUTE_UNUSED
, void *data
)
5285 debug_find_tree (tree top
, tree search
)
5287 return walk_tree_without_duplicates (&top
, debug_find_tree_1
, search
) != 0;
5291 /* Declare the variables created by the inliner. Add all the variables in
5292 VARS to BIND_EXPR. */
5295 declare_inline_vars (tree block
, tree vars
)
5298 for (t
= vars
; t
; t
= DECL_CHAIN (t
))
5300 DECL_SEEN_IN_BIND_EXPR_P (t
) = 1;
5301 gcc_assert (!TREE_STATIC (t
) && !TREE_ASM_WRITTEN (t
));
5302 add_local_decl (cfun
, t
);
5306 BLOCK_VARS (block
) = chainon (BLOCK_VARS (block
), vars
);
5309 /* Copy NODE (which must be a DECL). The DECL originally was in the FROM_FN,
5310 but now it will be in the TO_FN. PARM_TO_VAR means enable PARM_DECL to
5311 VAR_DECL translation. */
5314 copy_decl_for_dup_finish (copy_body_data
*id
, tree decl
, tree copy
)
5316 /* Don't generate debug information for the copy if we wouldn't have
5317 generated it for the copy either. */
5318 DECL_ARTIFICIAL (copy
) = DECL_ARTIFICIAL (decl
);
5319 DECL_IGNORED_P (copy
) = DECL_IGNORED_P (decl
);
5321 /* Set the DECL_ABSTRACT_ORIGIN so the debugging routines know what
5322 declaration inspired this copy. */
5323 DECL_ABSTRACT_ORIGIN (copy
) = DECL_ORIGIN (decl
);
5325 /* The new variable/label has no RTL, yet. */
5326 if (CODE_CONTAINS_STRUCT (TREE_CODE (copy
), TS_DECL_WRTL
)
5327 && !TREE_STATIC (copy
) && !DECL_EXTERNAL (copy
))
5328 SET_DECL_RTL (copy
, 0);
5330 /* These args would always appear unused, if not for this. */
5331 TREE_USED (copy
) = 1;
5333 /* Set the context for the new declaration. */
5334 if (!DECL_CONTEXT (decl
))
5335 /* Globals stay global. */
5337 else if (DECL_CONTEXT (decl
) != id
->src_fn
)
5338 /* Things that weren't in the scope of the function we're inlining
5339 from aren't in the scope we're inlining to, either. */
5341 else if (TREE_STATIC (decl
))
5342 /* Function-scoped static variables should stay in the original
5346 /* Ordinary automatic local variables are now in the scope of the
5348 DECL_CONTEXT (copy
) = id
->dst_fn
;
5354 copy_decl_to_var (tree decl
, copy_body_data
*id
)
5358 gcc_assert (TREE_CODE (decl
) == PARM_DECL
5359 || TREE_CODE (decl
) == RESULT_DECL
);
5361 type
= TREE_TYPE (decl
);
5363 copy
= build_decl (DECL_SOURCE_LOCATION (id
->dst_fn
),
5364 VAR_DECL
, DECL_NAME (decl
), type
);
5365 if (DECL_PT_UID_SET_P (decl
))
5366 SET_DECL_PT_UID (copy
, DECL_PT_UID (decl
));
5367 TREE_ADDRESSABLE (copy
) = TREE_ADDRESSABLE (decl
);
5368 TREE_READONLY (copy
) = TREE_READONLY (decl
);
5369 TREE_THIS_VOLATILE (copy
) = TREE_THIS_VOLATILE (decl
);
5370 DECL_GIMPLE_REG_P (copy
) = DECL_GIMPLE_REG_P (decl
);
5372 return copy_decl_for_dup_finish (id
, decl
, copy
);
5375 /* Like copy_decl_to_var, but create a return slot object instead of a
5376 pointer variable for return by invisible reference. */
5379 copy_result_decl_to_var (tree decl
, copy_body_data
*id
)
5383 gcc_assert (TREE_CODE (decl
) == PARM_DECL
5384 || TREE_CODE (decl
) == RESULT_DECL
);
5386 type
= TREE_TYPE (decl
);
5387 if (DECL_BY_REFERENCE (decl
))
5388 type
= TREE_TYPE (type
);
5390 copy
= build_decl (DECL_SOURCE_LOCATION (id
->dst_fn
),
5391 VAR_DECL
, DECL_NAME (decl
), type
);
5392 if (DECL_PT_UID_SET_P (decl
))
5393 SET_DECL_PT_UID (copy
, DECL_PT_UID (decl
));
5394 TREE_READONLY (copy
) = TREE_READONLY (decl
);
5395 TREE_THIS_VOLATILE (copy
) = TREE_THIS_VOLATILE (decl
);
5396 if (!DECL_BY_REFERENCE (decl
))
5398 TREE_ADDRESSABLE (copy
) = TREE_ADDRESSABLE (decl
);
5399 DECL_GIMPLE_REG_P (copy
) = DECL_GIMPLE_REG_P (decl
);
5402 return copy_decl_for_dup_finish (id
, decl
, copy
);
5406 copy_decl_no_change (tree decl
, copy_body_data
*id
)
5410 copy
= copy_node (decl
);
5412 /* The COPY is not abstract; it will be generated in DST_FN. */
5413 DECL_ABSTRACT_P (copy
) = false;
5414 lang_hooks
.dup_lang_specific_decl (copy
);
5416 /* TREE_ADDRESSABLE isn't used to indicate that a label's address has
5417 been taken; it's for internal bookkeeping in expand_goto_internal. */
5418 if (TREE_CODE (copy
) == LABEL_DECL
)
5420 TREE_ADDRESSABLE (copy
) = 0;
5421 LABEL_DECL_UID (copy
) = -1;
5424 return copy_decl_for_dup_finish (id
, decl
, copy
);
5428 copy_decl_maybe_to_var (tree decl
, copy_body_data
*id
)
5430 if (TREE_CODE (decl
) == PARM_DECL
|| TREE_CODE (decl
) == RESULT_DECL
)
5431 return copy_decl_to_var (decl
, id
);
5433 return copy_decl_no_change (decl
, id
);
5436 /* Return a copy of the function's argument tree. */
5438 copy_arguments_for_versioning (tree orig_parm
, copy_body_data
* id
,
5439 bitmap args_to_skip
, tree
*vars
)
5442 tree new_parm
= NULL
;
5447 for (arg
= orig_parm
; arg
; arg
= DECL_CHAIN (arg
), i
++)
5448 if (!args_to_skip
|| !bitmap_bit_p (args_to_skip
, i
))
5450 tree new_tree
= remap_decl (arg
, id
);
5451 if (TREE_CODE (new_tree
) != PARM_DECL
)
5452 new_tree
= id
->copy_decl (arg
, id
);
5453 lang_hooks
.dup_lang_specific_decl (new_tree
);
5455 parg
= &DECL_CHAIN (new_tree
);
5457 else if (!id
->decl_map
->get (arg
))
5459 /* Make an equivalent VAR_DECL. If the argument was used
5460 as temporary variable later in function, the uses will be
5461 replaced by local variable. */
5462 tree var
= copy_decl_to_var (arg
, id
);
5463 insert_decl_map (id
, arg
, var
);
5464 /* Declare this new variable. */
5465 DECL_CHAIN (var
) = *vars
;
5471 /* Return a copy of the function's static chain. */
5473 copy_static_chain (tree static_chain
, copy_body_data
* id
)
5475 tree
*chain_copy
, *pvar
;
5477 chain_copy
= &static_chain
;
5478 for (pvar
= chain_copy
; *pvar
; pvar
= &DECL_CHAIN (*pvar
))
5480 tree new_tree
= remap_decl (*pvar
, id
);
5481 lang_hooks
.dup_lang_specific_decl (new_tree
);
5482 DECL_CHAIN (new_tree
) = DECL_CHAIN (*pvar
);
5485 return static_chain
;
5488 /* Return true if the function is allowed to be versioned.
5489 This is a guard for the versioning functionality. */
5492 tree_versionable_function_p (tree fndecl
)
5494 return (!lookup_attribute ("noclone", DECL_ATTRIBUTES (fndecl
))
5495 && copy_forbidden (DECL_STRUCT_FUNCTION (fndecl
), fndecl
) == NULL
);
5498 /* Delete all unreachable basic blocks and update callgraph.
5499 Doing so is somewhat nontrivial because we need to update all clones and
5500 remove inline function that become unreachable. */
5503 delete_unreachable_blocks_update_callgraph (copy_body_data
*id
)
5505 bool changed
= false;
5506 basic_block b
, next_bb
;
5508 find_unreachable_blocks ();
5510 /* Delete all unreachable basic blocks. */
5512 for (b
= ENTRY_BLOCK_PTR_FOR_FN (cfun
)->next_bb
; b
5513 != EXIT_BLOCK_PTR_FOR_FN (cfun
); b
= next_bb
)
5515 next_bb
= b
->next_bb
;
5517 if (!(b
->flags
& BB_REACHABLE
))
5519 gimple_stmt_iterator bsi
;
5521 for (bsi
= gsi_start_bb (b
); !gsi_end_p (bsi
); gsi_next (&bsi
))
5523 struct cgraph_edge
*e
;
5524 struct cgraph_node
*node
;
5526 id
->dst_node
->remove_stmt_references (gsi_stmt (bsi
));
5528 if (gimple_code (gsi_stmt (bsi
)) == GIMPLE_CALL
5529 &&(e
= id
->dst_node
->get_edge (gsi_stmt (bsi
))) != NULL
)
5531 if (!e
->inline_failed
)
5532 e
->callee
->remove_symbol_and_inline_clones (id
->dst_node
);
5536 if (id
->transform_call_graph_edges
== CB_CGE_MOVE_CLONES
5537 && id
->dst_node
->clones
)
5538 for (node
= id
->dst_node
->clones
; node
!= id
->dst_node
;)
5540 node
->remove_stmt_references (gsi_stmt (bsi
));
5541 if (gimple_code (gsi_stmt (bsi
)) == GIMPLE_CALL
5542 && (e
= node
->get_edge (gsi_stmt (bsi
))) != NULL
)
5544 if (!e
->inline_failed
)
5545 e
->callee
->remove_symbol_and_inline_clones (id
->dst_node
);
5551 node
= node
->clones
;
5552 else if (node
->next_sibling_clone
)
5553 node
= node
->next_sibling_clone
;
5556 while (node
!= id
->dst_node
&& !node
->next_sibling_clone
)
5557 node
= node
->clone_of
;
5558 if (node
!= id
->dst_node
)
5559 node
= node
->next_sibling_clone
;
5563 delete_basic_block (b
);
5571 /* Update clone info after duplication. */
5574 update_clone_info (copy_body_data
* id
)
5576 struct cgraph_node
*node
;
5577 if (!id
->dst_node
->clones
)
5579 for (node
= id
->dst_node
->clones
; node
!= id
->dst_node
;)
5581 /* First update replace maps to match the new body. */
5582 if (node
->clone
.tree_map
)
5585 for (i
= 0; i
< vec_safe_length (node
->clone
.tree_map
); i
++)
5587 struct ipa_replace_map
*replace_info
;
5588 replace_info
= (*node
->clone
.tree_map
)[i
];
5589 walk_tree (&replace_info
->old_tree
, copy_tree_body_r
, id
, NULL
);
5590 walk_tree (&replace_info
->new_tree
, copy_tree_body_r
, id
, NULL
);
5594 node
= node
->clones
;
5595 else if (node
->next_sibling_clone
)
5596 node
= node
->next_sibling_clone
;
5599 while (node
!= id
->dst_node
&& !node
->next_sibling_clone
)
5600 node
= node
->clone_of
;
5601 if (node
!= id
->dst_node
)
5602 node
= node
->next_sibling_clone
;
5607 /* Create a copy of a function's tree.
5608 OLD_DECL and NEW_DECL are FUNCTION_DECL tree nodes
5609 of the original function and the new copied function
5610 respectively. In case we want to replace a DECL
5611 tree with another tree while duplicating the function's
5612 body, TREE_MAP represents the mapping between these
5613 trees. If UPDATE_CLONES is set, the call_stmt fields
5614 of edges of clones of the function will be updated.
5616 If non-NULL ARGS_TO_SKIP determine function parameters to remove
5618 If SKIP_RETURN is true, the new version will return void.
5619 If non-NULL BLOCK_TO_COPY determine what basic blocks to copy.
5620 If non_NULL NEW_ENTRY determine new entry BB of the clone.
5623 tree_function_versioning (tree old_decl
, tree new_decl
,
5624 vec
<ipa_replace_map
*, va_gc
> *tree_map
,
5625 bool update_clones
, bitmap args_to_skip
,
5626 bool skip_return
, bitmap blocks_to_copy
,
5627 basic_block new_entry
)
5629 struct cgraph_node
*old_version_node
;
5630 struct cgraph_node
*new_version_node
;
5634 struct ipa_replace_map
*replace_info
;
5635 basic_block old_entry_block
, bb
;
5636 auto_vec
<gimple
, 10> init_stmts
;
5637 tree vars
= NULL_TREE
;
5639 gcc_assert (TREE_CODE (old_decl
) == FUNCTION_DECL
5640 && TREE_CODE (new_decl
) == FUNCTION_DECL
);
5641 DECL_POSSIBLY_INLINED (old_decl
) = 1;
5643 old_version_node
= cgraph_node::get (old_decl
);
5644 gcc_checking_assert (old_version_node
);
5645 new_version_node
= cgraph_node::get (new_decl
);
5646 gcc_checking_assert (new_version_node
);
5648 /* Copy over debug args. */
5649 if (DECL_HAS_DEBUG_ARGS_P (old_decl
))
5651 vec
<tree
, va_gc
> **new_debug_args
, **old_debug_args
;
5652 gcc_checking_assert (decl_debug_args_lookup (new_decl
) == NULL
);
5653 DECL_HAS_DEBUG_ARGS_P (new_decl
) = 0;
5654 old_debug_args
= decl_debug_args_lookup (old_decl
);
5657 new_debug_args
= decl_debug_args_insert (new_decl
);
5658 *new_debug_args
= vec_safe_copy (*old_debug_args
);
5662 /* Output the inlining info for this abstract function, since it has been
5663 inlined. If we don't do this now, we can lose the information about the
5664 variables in the function when the blocks get blown away as soon as we
5665 remove the cgraph node. */
5666 (*debug_hooks
->outlining_inline_function
) (old_decl
);
5668 DECL_ARTIFICIAL (new_decl
) = 1;
5669 DECL_ABSTRACT_ORIGIN (new_decl
) = DECL_ORIGIN (old_decl
);
5670 if (DECL_ORIGIN (old_decl
) == old_decl
)
5671 old_version_node
->used_as_abstract_origin
= true;
5672 DECL_FUNCTION_PERSONALITY (new_decl
) = DECL_FUNCTION_PERSONALITY (old_decl
);
5674 /* Prepare the data structures for the tree copy. */
5675 memset (&id
, 0, sizeof (id
));
5677 /* Generate a new name for the new version. */
5678 id
.statements_to_fold
= new hash_set
<gimple
>;
5680 id
.decl_map
= new hash_map
<tree
, tree
>;
5681 id
.debug_map
= NULL
;
5682 id
.src_fn
= old_decl
;
5683 id
.dst_fn
= new_decl
;
5684 id
.src_node
= old_version_node
;
5685 id
.dst_node
= new_version_node
;
5686 id
.src_cfun
= DECL_STRUCT_FUNCTION (old_decl
);
5687 id
.blocks_to_copy
= blocks_to_copy
;
5689 id
.copy_decl
= copy_decl_no_change
;
5690 id
.transform_call_graph_edges
5691 = update_clones
? CB_CGE_MOVE_CLONES
: CB_CGE_MOVE
;
5692 id
.transform_new_cfg
= true;
5693 id
.transform_return_to_modify
= false;
5694 id
.transform_parameter
= false;
5695 id
.transform_lang_insert_block
= NULL
;
5697 old_entry_block
= ENTRY_BLOCK_PTR_FOR_FN
5698 (DECL_STRUCT_FUNCTION (old_decl
));
5699 DECL_RESULT (new_decl
) = DECL_RESULT (old_decl
);
5700 DECL_ARGUMENTS (new_decl
) = DECL_ARGUMENTS (old_decl
);
5701 initialize_cfun (new_decl
, old_decl
,
5702 old_entry_block
->count
);
5703 if (DECL_STRUCT_FUNCTION (new_decl
)->gimple_df
)
5704 DECL_STRUCT_FUNCTION (new_decl
)->gimple_df
->ipa_pta
5705 = id
.src_cfun
->gimple_df
->ipa_pta
;
5707 /* Copy the function's static chain. */
5708 p
= DECL_STRUCT_FUNCTION (old_decl
)->static_chain_decl
;
5710 DECL_STRUCT_FUNCTION (new_decl
)->static_chain_decl
=
5711 copy_static_chain (DECL_STRUCT_FUNCTION (old_decl
)->static_chain_decl
,
5714 /* If there's a tree_map, prepare for substitution. */
5716 for (i
= 0; i
< tree_map
->length (); i
++)
5719 replace_info
= (*tree_map
)[i
];
5720 if (replace_info
->replace_p
)
5722 if (!replace_info
->old_tree
)
5724 int i
= replace_info
->parm_num
;
5728 for (parm
= DECL_ARGUMENTS (old_decl
); i
; parm
= DECL_CHAIN (parm
))
5730 replace_info
->old_tree
= parm
;
5731 req_type
= TREE_TYPE (parm
);
5732 if (!useless_type_conversion_p (req_type
, TREE_TYPE (replace_info
->new_tree
)))
5734 if (fold_convertible_p (req_type
, replace_info
->new_tree
))
5735 replace_info
->new_tree
= fold_build1 (NOP_EXPR
, req_type
, replace_info
->new_tree
);
5736 else if (TYPE_SIZE (req_type
) == TYPE_SIZE (TREE_TYPE (replace_info
->new_tree
)))
5737 replace_info
->new_tree
= fold_build1 (VIEW_CONVERT_EXPR
, req_type
, replace_info
->new_tree
);
5742 fprintf (dump_file
, " const ");
5743 print_generic_expr (dump_file
, replace_info
->new_tree
, 0);
5744 fprintf (dump_file
, " can't be converted to param ");
5745 print_generic_expr (dump_file
, parm
, 0);
5746 fprintf (dump_file
, "\n");
5748 replace_info
->old_tree
= NULL
;
5753 gcc_assert (TREE_CODE (replace_info
->old_tree
) == PARM_DECL
);
5754 if (replace_info
->old_tree
)
5756 init
= setup_one_parameter (&id
, replace_info
->old_tree
,
5757 replace_info
->new_tree
, id
.src_fn
,
5761 init_stmts
.safe_push (init
);
5765 /* Copy the function's arguments. */
5766 if (DECL_ARGUMENTS (old_decl
) != NULL_TREE
)
5767 DECL_ARGUMENTS (new_decl
) =
5768 copy_arguments_for_versioning (DECL_ARGUMENTS (old_decl
), &id
,
5769 args_to_skip
, &vars
);
5771 DECL_INITIAL (new_decl
) = remap_blocks (DECL_INITIAL (id
.src_fn
), &id
);
5772 BLOCK_SUPERCONTEXT (DECL_INITIAL (new_decl
)) = new_decl
;
5774 declare_inline_vars (DECL_INITIAL (new_decl
), vars
);
5776 if (!vec_safe_is_empty (DECL_STRUCT_FUNCTION (old_decl
)->local_decls
))
5777 /* Add local vars. */
5778 add_local_variables (DECL_STRUCT_FUNCTION (old_decl
), cfun
, &id
);
5780 if (DECL_RESULT (old_decl
) == NULL_TREE
)
5782 else if (skip_return
&& !VOID_TYPE_P (TREE_TYPE (DECL_RESULT (old_decl
))))
5784 DECL_RESULT (new_decl
)
5785 = build_decl (DECL_SOURCE_LOCATION (DECL_RESULT (old_decl
)),
5786 RESULT_DECL
, NULL_TREE
, void_type_node
);
5787 DECL_CONTEXT (DECL_RESULT (new_decl
)) = new_decl
;
5788 cfun
->returns_struct
= 0;
5789 cfun
->returns_pcc_struct
= 0;
5794 DECL_RESULT (new_decl
) = remap_decl (DECL_RESULT (old_decl
), &id
);
5795 lang_hooks
.dup_lang_specific_decl (DECL_RESULT (new_decl
));
5796 if (gimple_in_ssa_p (id
.src_cfun
)
5797 && DECL_BY_REFERENCE (DECL_RESULT (old_decl
))
5798 && (old_name
= ssa_default_def (id
.src_cfun
, DECL_RESULT (old_decl
))))
5800 tree new_name
= make_ssa_name (DECL_RESULT (new_decl
));
5801 insert_decl_map (&id
, old_name
, new_name
);
5802 SSA_NAME_DEF_STMT (new_name
) = gimple_build_nop ();
5803 set_ssa_default_def (cfun
, DECL_RESULT (new_decl
), new_name
);
5807 /* Set up the destination functions loop tree. */
5808 if (loops_for_fn (DECL_STRUCT_FUNCTION (old_decl
)) != NULL
)
5810 cfun
->curr_properties
&= ~PROP_loops
;
5811 loop_optimizer_init (AVOID_CFG_MODIFICATIONS
);
5812 cfun
->curr_properties
|= PROP_loops
;
5815 /* Copy the Function's body. */
5816 copy_body (&id
, old_entry_block
->count
, REG_BR_PROB_BASE
,
5817 ENTRY_BLOCK_PTR_FOR_FN (cfun
), EXIT_BLOCK_PTR_FOR_FN (cfun
),
5820 /* Renumber the lexical scoping (non-code) blocks consecutively. */
5821 number_blocks (new_decl
);
5823 /* We want to create the BB unconditionally, so that the addition of
5824 debug stmts doesn't affect BB count, which may in the end cause
5825 codegen differences. */
5826 bb
= split_edge (single_succ_edge (ENTRY_BLOCK_PTR_FOR_FN (cfun
)));
5827 while (init_stmts
.length ())
5828 insert_init_stmt (&id
, bb
, init_stmts
.pop ());
5829 update_clone_info (&id
);
5831 /* Remap the nonlocal_goto_save_area, if any. */
5832 if (cfun
->nonlocal_goto_save_area
)
5834 struct walk_stmt_info wi
;
5836 memset (&wi
, 0, sizeof (wi
));
5838 walk_tree (&cfun
->nonlocal_goto_save_area
, remap_gimple_op_r
, &wi
, NULL
);
5844 delete id
.debug_map
;
5845 free_dominance_info (CDI_DOMINATORS
);
5846 free_dominance_info (CDI_POST_DOMINATORS
);
5848 fold_marked_statements (0, id
.statements_to_fold
);
5849 delete id
.statements_to_fold
;
5850 delete_unreachable_blocks_update_callgraph (&id
);
5851 if (id
.dst_node
->definition
)
5852 cgraph_edge::rebuild_references ();
5853 if (loops_state_satisfies_p (LOOPS_NEED_FIXUP
))
5855 calculate_dominance_info (CDI_DOMINATORS
);
5856 fix_loop_structure (NULL
);
5858 update_ssa (TODO_update_ssa
);
5860 /* After partial cloning we need to rescale frequencies, so they are
5861 within proper range in the cloned function. */
5864 struct cgraph_edge
*e
;
5865 rebuild_frequencies ();
5867 new_version_node
->count
= ENTRY_BLOCK_PTR_FOR_FN (cfun
)->count
;
5868 for (e
= new_version_node
->callees
; e
; e
= e
->next_callee
)
5870 basic_block bb
= gimple_bb (e
->call_stmt
);
5871 e
->frequency
= compute_call_stmt_bb_frequency (current_function_decl
,
5873 e
->count
= bb
->count
;
5875 for (e
= new_version_node
->indirect_calls
; e
; e
= e
->next_callee
)
5877 basic_block bb
= gimple_bb (e
->call_stmt
);
5878 e
->frequency
= compute_call_stmt_bb_frequency (current_function_decl
,
5880 e
->count
= bb
->count
;
5884 free_dominance_info (CDI_DOMINATORS
);
5885 free_dominance_info (CDI_POST_DOMINATORS
);
5887 gcc_assert (!id
.debug_stmts
.exists ());
5892 /* EXP is CALL_EXPR present in a GENERIC expression tree. Try to integrate
5893 the callee and return the inlined body on success. */
5896 maybe_inline_call_in_expr (tree exp
)
5898 tree fn
= get_callee_fndecl (exp
);
5900 /* We can only try to inline "const" functions. */
5901 if (fn
&& TREE_READONLY (fn
) && DECL_SAVED_TREE (fn
))
5903 call_expr_arg_iterator iter
;
5906 hash_map
<tree
, tree
> decl_map
;
5908 /* Remap the parameters. */
5909 for (param
= DECL_ARGUMENTS (fn
), arg
= first_call_expr_arg (exp
, &iter
);
5911 param
= DECL_CHAIN (param
), arg
= next_call_expr_arg (&iter
))
5912 decl_map
.put (param
, arg
);
5914 memset (&id
, 0, sizeof (id
));
5916 id
.dst_fn
= current_function_decl
;
5917 id
.src_cfun
= DECL_STRUCT_FUNCTION (fn
);
5918 id
.decl_map
= &decl_map
;
5920 id
.copy_decl
= copy_decl_no_change
;
5921 id
.transform_call_graph_edges
= CB_CGE_DUPLICATE
;
5922 id
.transform_new_cfg
= false;
5923 id
.transform_return_to_modify
= true;
5924 id
.transform_parameter
= true;
5925 id
.transform_lang_insert_block
= NULL
;
5927 /* Make sure not to unshare trees behind the front-end's back
5928 since front-end specific mechanisms may rely on sharing. */
5929 id
.regimplify
= false;
5930 id
.do_not_unshare
= true;
5932 /* We're not inside any EH region. */
5935 t
= copy_tree_body (&id
);
5937 /* We can only return something suitable for use in a GENERIC
5939 if (TREE_CODE (t
) == MODIFY_EXPR
)
5940 return TREE_OPERAND (t
, 1);
5946 /* Duplicate a type, fields and all. */
5949 build_duplicate_type (tree type
)
5951 struct copy_body_data id
;
5953 memset (&id
, 0, sizeof (id
));
5954 id
.src_fn
= current_function_decl
;
5955 id
.dst_fn
= current_function_decl
;
5957 id
.decl_map
= new hash_map
<tree
, tree
>;
5958 id
.debug_map
= NULL
;
5959 id
.copy_decl
= copy_decl_no_change
;
5961 type
= remap_type_1 (type
, &id
);
5965 delete id
.debug_map
;
5967 TYPE_CANONICAL (type
) = type
;
5972 /* Unshare the entire DECL_SAVED_TREE of FN and return the remapped
5973 parameters and RESULT_DECL in PARMS and RESULT. Used by C++ constexpr
5977 copy_fn (tree fn
, tree
& parms
, tree
& result
)
5981 hash_map
<tree
, tree
> decl_map
;
5986 memset (&id
, 0, sizeof (id
));
5988 id
.dst_fn
= current_function_decl
;
5989 id
.src_cfun
= DECL_STRUCT_FUNCTION (fn
);
5990 id
.decl_map
= &decl_map
;
5992 id
.copy_decl
= copy_decl_no_change
;
5993 id
.transform_call_graph_edges
= CB_CGE_DUPLICATE
;
5994 id
.transform_new_cfg
= false;
5995 id
.transform_return_to_modify
= false;
5996 id
.transform_parameter
= true;
5997 id
.transform_lang_insert_block
= NULL
;
5999 /* Make sure not to unshare trees behind the front-end's back
6000 since front-end specific mechanisms may rely on sharing. */
6001 id
.regimplify
= false;
6002 id
.do_not_unshare
= true;
6004 /* We're not inside any EH region. */
6007 /* Remap the parameters and result and return them to the caller. */
6008 for (param
= DECL_ARGUMENTS (fn
);
6010 param
= DECL_CHAIN (param
))
6012 *p
= remap_decl (param
, &id
);
6013 p
= &DECL_CHAIN (*p
);
6016 if (DECL_RESULT (fn
))
6017 result
= remap_decl (DECL_RESULT (fn
), &id
);
6021 return copy_tree_body (&id
);