OSDN Git Service

PR debug/47106
[pf3gnuchains/gcc-fork.git] / gcc / tree-inline.c
1 /* Tree inlining.
2    Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
3    Free Software Foundation, Inc.
4    Contributed by Alexandre Oliva <aoliva@redhat.com>
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
12
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3.  If not see
20 <http://www.gnu.org/licenses/>.  */
21
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "tm.h"
26 #include "diagnostic-core.h"
27 #include "tree.h"
28 #include "tree-inline.h"
29 #include "flags.h"
30 #include "params.h"
31 #include "input.h"
32 #include "insn-config.h"
33 #include "hashtab.h"
34 #include "langhooks.h"
35 #include "basic-block.h"
36 #include "tree-iterator.h"
37 #include "cgraph.h"
38 #include "intl.h"
39 #include "tree-mudflap.h"
40 #include "tree-flow.h"
41 #include "function.h"
42 #include "tree-flow.h"
43 #include "tree-pretty-print.h"
44 #include "except.h"
45 #include "debug.h"
46 #include "pointer-set.h"
47 #include "ipa-prop.h"
48 #include "value-prof.h"
49 #include "tree-pass.h"
50 #include "target.h"
51 #include "integrate.h"
52
53 #include "rtl.h"        /* FIXME: For asm_str_count.  */
54
55 /* I'm not real happy about this, but we need to handle gimple and
56    non-gimple trees.  */
57 #include "gimple.h"
58
59 /* Inlining, Cloning, Versioning, Parallelization
60
61    Inlining: a function body is duplicated, but the PARM_DECLs are
62    remapped into VAR_DECLs, and non-void RETURN_EXPRs become
63    MODIFY_EXPRs that store to a dedicated returned-value variable.
64    The duplicated eh_region info of the copy will later be appended
65    to the info for the caller; the eh_region info in copied throwing
66    statements and RESX statements are adjusted accordingly.
67
68    Cloning: (only in C++) We have one body for a con/de/structor, and
69    multiple function decls, each with a unique parameter list.
70    Duplicate the body, using the given splay tree; some parameters
71    will become constants (like 0 or 1).
72
73    Versioning: a function body is duplicated and the result is a new
74    function rather than into blocks of an existing function as with
75    inlining.  Some parameters will become constants.
76
77    Parallelization: a region of a function is duplicated resulting in
78    a new function.  Variables may be replaced with complex expressions
79    to enable shared variable semantics.
80
81    All of these will simultaneously lookup any callgraph edges.  If
82    we're going to inline the duplicated function body, and the given
83    function has some cloned callgraph nodes (one for each place this
84    function will be inlined) those callgraph edges will be duplicated.
85    If we're cloning the body, those callgraph edges will be
86    updated to point into the new body.  (Note that the original
87    callgraph node and edge list will not be altered.)
88
89    See the CALL_EXPR handling case in copy_tree_body_r ().  */
90
91 /* To Do:
92
93    o In order to make inlining-on-trees work, we pessimized
94      function-local static constants.  In particular, they are now
95      always output, even when not addressed.  Fix this by treating
96      function-local static constants just like global static
97      constants; the back-end already knows not to output them if they
98      are not needed.
99
100    o Provide heuristics to clamp inlining of recursive template
101      calls?  */
102
103
104 /* Weights that estimate_num_insns uses to estimate the size of the
105    produced code.  */
106
107 eni_weights eni_size_weights;
108
109 /* Weights that estimate_num_insns uses to estimate the time necessary
110    to execute the produced code.  */
111
112 eni_weights eni_time_weights;
113
114 /* Prototypes.  */
115
116 static tree declare_return_variable (copy_body_data *, tree, tree, basic_block);
117 static void remap_block (tree *, copy_body_data *);
118 static void copy_bind_expr (tree *, int *, copy_body_data *);
119 static tree mark_local_for_remap_r (tree *, int *, void *);
120 static void unsave_expr_1 (tree);
121 static tree unsave_r (tree *, int *, void *);
122 static void declare_inline_vars (tree, tree);
123 static void remap_save_expr (tree *, void *, int *);
124 static void prepend_lexical_block (tree current_block, tree new_block);
125 static tree copy_decl_to_var (tree, copy_body_data *);
126 static tree copy_result_decl_to_var (tree, copy_body_data *);
127 static tree copy_decl_maybe_to_var (tree, copy_body_data *);
128 static gimple remap_gimple_stmt (gimple, copy_body_data *);
129 static bool delete_unreachable_blocks_update_callgraph (copy_body_data *id);
130
131 /* Insert a tree->tree mapping for ID.  Despite the name suggests
132    that the trees should be variables, it is used for more than that.  */
133
134 void
135 insert_decl_map (copy_body_data *id, tree key, tree value)
136 {
137   *pointer_map_insert (id->decl_map, key) = value;
138
139   /* Always insert an identity map as well.  If we see this same new
140      node again, we won't want to duplicate it a second time.  */
141   if (key != value)
142     *pointer_map_insert (id->decl_map, value) = value;
143 }
144
145 /* Insert a tree->tree mapping for ID.  This is only used for
146    variables.  */
147
148 static void
149 insert_debug_decl_map (copy_body_data *id, tree key, tree value)
150 {
151   if (!gimple_in_ssa_p (id->src_cfun))
152     return;
153
154   if (!MAY_HAVE_DEBUG_STMTS)
155     return;
156
157   if (!target_for_debug_bind (key))
158     return;
159
160   gcc_assert (TREE_CODE (key) == PARM_DECL);
161   gcc_assert (TREE_CODE (value) == VAR_DECL);
162
163   if (!id->debug_map)
164     id->debug_map = pointer_map_create ();
165
166   *pointer_map_insert (id->debug_map, key) = value;
167 }
168
169 /* If nonzero, we're remapping the contents of inlined debug
170    statements.  If negative, an error has occurred, such as a
171    reference to a variable that isn't available in the inlined
172    context.  */
173 static int processing_debug_stmt = 0;
174
175 /* Construct new SSA name for old NAME. ID is the inline context.  */
176
177 static tree
178 remap_ssa_name (tree name, copy_body_data *id)
179 {
180   tree new_tree;
181   tree *n;
182
183   gcc_assert (TREE_CODE (name) == SSA_NAME);
184
185   n = (tree *) pointer_map_contains (id->decl_map, name);
186   if (n)
187     return unshare_expr (*n);
188
189   if (processing_debug_stmt)
190     {
191       processing_debug_stmt = -1;
192       return name;
193     }
194
195   /* Do not set DEF_STMT yet as statement is not copied yet. We do that
196      in copy_bb.  */
197   new_tree = remap_decl (SSA_NAME_VAR (name), id);
198
199   /* We might've substituted constant or another SSA_NAME for
200      the variable.
201
202      Replace the SSA name representing RESULT_DECL by variable during
203      inlining:  this saves us from need to introduce PHI node in a case
204      return value is just partly initialized.  */
205   if ((TREE_CODE (new_tree) == VAR_DECL || TREE_CODE (new_tree) == PARM_DECL)
206       && (TREE_CODE (SSA_NAME_VAR (name)) != RESULT_DECL
207           || !id->transform_return_to_modify))
208     {
209       struct ptr_info_def *pi;
210       new_tree = make_ssa_name (new_tree, NULL);
211       insert_decl_map (id, name, new_tree);
212       SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_tree)
213         = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name);
214       TREE_TYPE (new_tree) = TREE_TYPE (SSA_NAME_VAR (new_tree));
215       /* At least IPA points-to info can be directly transferred.  */
216       if (id->src_cfun->gimple_df
217           && id->src_cfun->gimple_df->ipa_pta
218           && (pi = SSA_NAME_PTR_INFO (name))
219           && !pi->pt.anything)
220         {
221           struct ptr_info_def *new_pi = get_ptr_info (new_tree);
222           new_pi->pt = pi->pt;
223         }
224       if (gimple_nop_p (SSA_NAME_DEF_STMT (name)))
225         {
226           /* By inlining function having uninitialized variable, we might
227              extend the lifetime (variable might get reused).  This cause
228              ICE in the case we end up extending lifetime of SSA name across
229              abnormal edge, but also increase register pressure.
230
231              We simply initialize all uninitialized vars by 0 except
232              for case we are inlining to very first BB.  We can avoid
233              this for all BBs that are not inside strongly connected
234              regions of the CFG, but this is expensive to test.  */
235           if (id->entry_bb
236               && is_gimple_reg (SSA_NAME_VAR (name))
237               && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name)
238               && TREE_CODE (SSA_NAME_VAR (name)) != PARM_DECL
239               && (id->entry_bb != EDGE_SUCC (ENTRY_BLOCK_PTR, 0)->dest
240                   || EDGE_COUNT (id->entry_bb->preds) != 1))
241             {
242               gimple_stmt_iterator gsi = gsi_last_bb (id->entry_bb);
243               gimple init_stmt;
244               tree zero = build_zero_cst (TREE_TYPE (new_tree));
245
246               init_stmt = gimple_build_assign (new_tree, zero);
247               gsi_insert_after (&gsi, init_stmt, GSI_NEW_STMT);
248               SSA_NAME_IS_DEFAULT_DEF (new_tree) = 0;
249             }
250           else
251             {
252               SSA_NAME_DEF_STMT (new_tree) = gimple_build_nop ();
253               if (gimple_default_def (id->src_cfun, SSA_NAME_VAR (name))
254                   == name)
255                 set_default_def (SSA_NAME_VAR (new_tree), new_tree);
256             }
257         }
258     }
259   else
260     insert_decl_map (id, name, new_tree);
261   return new_tree;
262 }
263
264 /* Remap DECL during the copying of the BLOCK tree for the function.  */
265
266 tree
267 remap_decl (tree decl, copy_body_data *id)
268 {
269   tree *n;
270
271   /* We only remap local variables in the current function.  */
272
273   /* See if we have remapped this declaration.  */
274
275   n = (tree *) pointer_map_contains (id->decl_map, decl);
276
277   if (!n && processing_debug_stmt)
278     {
279       processing_debug_stmt = -1;
280       return decl;
281     }
282
283   /* If we didn't already have an equivalent for this declaration,
284      create one now.  */
285   if (!n)
286     {
287       /* Make a copy of the variable or label.  */
288       tree t = id->copy_decl (decl, id);
289
290       /* Remember it, so that if we encounter this local entity again
291          we can reuse this copy.  Do this early because remap_type may
292          need this decl for TYPE_STUB_DECL.  */
293       insert_decl_map (id, decl, t);
294
295       if (!DECL_P (t))
296         return t;
297
298       /* Remap types, if necessary.  */
299       TREE_TYPE (t) = remap_type (TREE_TYPE (t), id);
300       if (TREE_CODE (t) == TYPE_DECL)
301         DECL_ORIGINAL_TYPE (t) = remap_type (DECL_ORIGINAL_TYPE (t), id);
302
303       /* Remap sizes as necessary.  */
304       walk_tree (&DECL_SIZE (t), copy_tree_body_r, id, NULL);
305       walk_tree (&DECL_SIZE_UNIT (t), copy_tree_body_r, id, NULL);
306
307       /* If fields, do likewise for offset and qualifier.  */
308       if (TREE_CODE (t) == FIELD_DECL)
309         {
310           walk_tree (&DECL_FIELD_OFFSET (t), copy_tree_body_r, id, NULL);
311           if (TREE_CODE (DECL_CONTEXT (t)) == QUAL_UNION_TYPE)
312             walk_tree (&DECL_QUALIFIER (t), copy_tree_body_r, id, NULL);
313         }
314
315       if ((TREE_CODE (t) == VAR_DECL
316            || TREE_CODE (t) == RESULT_DECL
317            || TREE_CODE (t) == PARM_DECL)
318           && id->src_fn && DECL_STRUCT_FUNCTION (id->src_fn)
319           && gimple_referenced_vars (DECL_STRUCT_FUNCTION (id->src_fn))
320           /* We don't want to mark as referenced VAR_DECLs that were
321              not marked as such in the src function.  */
322           && (TREE_CODE (decl) != VAR_DECL
323               || referenced_var_lookup (DECL_STRUCT_FUNCTION (id->src_fn),
324                                         DECL_UID (decl))))
325         add_referenced_var (t);
326       return t;
327     }
328
329   if (id->do_not_unshare)
330     return *n;
331   else
332     return unshare_expr (*n);
333 }
334
335 static tree
336 remap_type_1 (tree type, copy_body_data *id)
337 {
338   tree new_tree, t;
339
340   /* We do need a copy.  build and register it now.  If this is a pointer or
341      reference type, remap the designated type and make a new pointer or
342      reference type.  */
343   if (TREE_CODE (type) == POINTER_TYPE)
344     {
345       new_tree = build_pointer_type_for_mode (remap_type (TREE_TYPE (type), id),
346                                          TYPE_MODE (type),
347                                          TYPE_REF_CAN_ALIAS_ALL (type));
348       if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
349         new_tree = build_type_attribute_qual_variant (new_tree,
350                                                       TYPE_ATTRIBUTES (type),
351                                                       TYPE_QUALS (type));
352       insert_decl_map (id, type, new_tree);
353       return new_tree;
354     }
355   else if (TREE_CODE (type) == REFERENCE_TYPE)
356     {
357       new_tree = build_reference_type_for_mode (remap_type (TREE_TYPE (type), id),
358                                             TYPE_MODE (type),
359                                             TYPE_REF_CAN_ALIAS_ALL (type));
360       if (TYPE_ATTRIBUTES (type) || TYPE_QUALS (type))
361         new_tree = build_type_attribute_qual_variant (new_tree,
362                                                       TYPE_ATTRIBUTES (type),
363                                                       TYPE_QUALS (type));
364       insert_decl_map (id, type, new_tree);
365       return new_tree;
366     }
367   else
368     new_tree = copy_node (type);
369
370   insert_decl_map (id, type, new_tree);
371
372   /* This is a new type, not a copy of an old type.  Need to reassociate
373      variants.  We can handle everything except the main variant lazily.  */
374   t = TYPE_MAIN_VARIANT (type);
375   if (type != t)
376     {
377       t = remap_type (t, id);
378       TYPE_MAIN_VARIANT (new_tree) = t;
379       TYPE_NEXT_VARIANT (new_tree) = TYPE_NEXT_VARIANT (t);
380       TYPE_NEXT_VARIANT (t) = new_tree;
381     }
382   else
383     {
384       TYPE_MAIN_VARIANT (new_tree) = new_tree;
385       TYPE_NEXT_VARIANT (new_tree) = NULL;
386     }
387
388   if (TYPE_STUB_DECL (type))
389     TYPE_STUB_DECL (new_tree) = remap_decl (TYPE_STUB_DECL (type), id);
390
391   /* Lazily create pointer and reference types.  */
392   TYPE_POINTER_TO (new_tree) = NULL;
393   TYPE_REFERENCE_TO (new_tree) = NULL;
394
395   switch (TREE_CODE (new_tree))
396     {
397     case INTEGER_TYPE:
398     case REAL_TYPE:
399     case FIXED_POINT_TYPE:
400     case ENUMERAL_TYPE:
401     case BOOLEAN_TYPE:
402       t = TYPE_MIN_VALUE (new_tree);
403       if (t && TREE_CODE (t) != INTEGER_CST)
404         walk_tree (&TYPE_MIN_VALUE (new_tree), copy_tree_body_r, id, NULL);
405
406       t = TYPE_MAX_VALUE (new_tree);
407       if (t && TREE_CODE (t) != INTEGER_CST)
408         walk_tree (&TYPE_MAX_VALUE (new_tree), copy_tree_body_r, id, NULL);
409       return new_tree;
410
411     case FUNCTION_TYPE:
412       TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
413       walk_tree (&TYPE_ARG_TYPES (new_tree), copy_tree_body_r, id, NULL);
414       return new_tree;
415
416     case ARRAY_TYPE:
417       TREE_TYPE (new_tree) = remap_type (TREE_TYPE (new_tree), id);
418       TYPE_DOMAIN (new_tree) = remap_type (TYPE_DOMAIN (new_tree), id);
419       break;
420
421     case RECORD_TYPE:
422     case UNION_TYPE:
423     case QUAL_UNION_TYPE:
424       {
425         tree f, nf = NULL;
426
427         for (f = TYPE_FIELDS (new_tree); f ; f = DECL_CHAIN (f))
428           {
429             t = remap_decl (f, id);
430             DECL_CONTEXT (t) = new_tree;
431             DECL_CHAIN (t) = nf;
432             nf = t;
433           }
434         TYPE_FIELDS (new_tree) = nreverse (nf);
435       }
436       break;
437
438     case OFFSET_TYPE:
439     default:
440       /* Shouldn't have been thought variable sized.  */
441       gcc_unreachable ();
442     }
443
444   walk_tree (&TYPE_SIZE (new_tree), copy_tree_body_r, id, NULL);
445   walk_tree (&TYPE_SIZE_UNIT (new_tree), copy_tree_body_r, id, NULL);
446
447   return new_tree;
448 }
449
450 tree
451 remap_type (tree type, copy_body_data *id)
452 {
453   tree *node;
454   tree tmp;
455
456   if (type == NULL)
457     return type;
458
459   /* See if we have remapped this type.  */
460   node = (tree *) pointer_map_contains (id->decl_map, type);
461   if (node)
462     return *node;
463
464   /* The type only needs remapping if it's variably modified.  */
465   if (! variably_modified_type_p (type, id->src_fn))
466     {
467       insert_decl_map (id, type, type);
468       return type;
469     }
470
471   id->remapping_type_depth++;
472   tmp = remap_type_1 (type, id);
473   id->remapping_type_depth--;
474
475   return tmp;
476 }
477
478 /* Return previously remapped type of TYPE in ID.  Return NULL if TYPE
479    is NULL or TYPE has not been remapped before.  */
480
481 static tree
482 remapped_type (tree type, copy_body_data *id)
483 {
484   tree *node;
485
486   if (type == NULL)
487     return type;
488
489   /* See if we have remapped this type.  */
490   node = (tree *) pointer_map_contains (id->decl_map, type);
491   if (node)
492     return *node;
493   else
494     return NULL;
495 }
496
497   /* The type only needs remapping if it's variably modified.  */
498 /* Decide if DECL can be put into BLOCK_NONLOCAL_VARs.  */
499
500 static bool
501 can_be_nonlocal (tree decl, copy_body_data *id)
502 {
503   /* We can not duplicate function decls.  */
504   if (TREE_CODE (decl) == FUNCTION_DECL)
505     return true;
506
507   /* Local static vars must be non-local or we get multiple declaration
508      problems.  */
509   if (TREE_CODE (decl) == VAR_DECL
510       && !auto_var_in_fn_p (decl, id->src_fn))
511     return true;
512
513   /* At the moment dwarf2out can handle only these types of nodes.  We
514      can support more later.  */
515   if (TREE_CODE (decl) != VAR_DECL && TREE_CODE (decl) != PARM_DECL)
516     return false;
517
518   /* We must use global type.  We call remapped_type instead of
519      remap_type since we don't want to remap this type here if it
520      hasn't been remapped before.  */
521   if (TREE_TYPE (decl) != remapped_type (TREE_TYPE (decl), id))
522     return false;
523
524   /* Wihtout SSA we can't tell if variable is used.  */
525   if (!gimple_in_ssa_p (cfun))
526     return false;
527
528   /* Live variables must be copied so we can attach DECL_RTL.  */
529   if (var_ann (decl))
530     return false;
531
532   return true;
533 }
534
535 static tree
536 remap_decls (tree decls, VEC(tree,gc) **nonlocalized_list, copy_body_data *id)
537 {
538   tree old_var;
539   tree new_decls = NULL_TREE;
540
541   /* Remap its variables.  */
542   for (old_var = decls; old_var; old_var = DECL_CHAIN (old_var))
543     {
544       tree new_var;
545
546       if (can_be_nonlocal (old_var, id))
547         {
548           if (TREE_CODE (old_var) == VAR_DECL
549               && ! DECL_EXTERNAL (old_var)
550               && (var_ann (old_var) || !gimple_in_ssa_p (cfun)))
551             add_local_decl (cfun, old_var);
552           if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
553               && !DECL_IGNORED_P (old_var)
554               && nonlocalized_list)
555             VEC_safe_push (tree, gc, *nonlocalized_list, old_var);
556           continue;
557         }
558
559       /* Remap the variable.  */
560       new_var = remap_decl (old_var, id);
561
562       /* If we didn't remap this variable, we can't mess with its
563          TREE_CHAIN.  If we remapped this variable to the return slot, it's
564          already declared somewhere else, so don't declare it here.  */
565
566       if (new_var == id->retvar)
567         ;
568       else if (!new_var)
569         {
570           if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
571               && !DECL_IGNORED_P (old_var)
572               && nonlocalized_list)
573             VEC_safe_push (tree, gc, *nonlocalized_list, old_var);
574         }
575       else
576         {
577           gcc_assert (DECL_P (new_var));
578           DECL_CHAIN (new_var) = new_decls;
579           new_decls = new_var;
580  
581           /* Also copy value-expressions.  */
582           if (TREE_CODE (new_var) == VAR_DECL
583               && DECL_HAS_VALUE_EXPR_P (new_var))
584             {
585               tree tem = DECL_VALUE_EXPR (new_var);
586               bool old_regimplify = id->regimplify;
587               id->remapping_type_depth++;
588               walk_tree (&tem, copy_tree_body_r, id, NULL);
589               id->remapping_type_depth--;
590               id->regimplify = old_regimplify;
591               SET_DECL_VALUE_EXPR (new_var, tem);
592             }
593         }
594     }
595
596   return nreverse (new_decls);
597 }
598
599 /* Copy the BLOCK to contain remapped versions of the variables
600    therein.  And hook the new block into the block-tree.  */
601
602 static void
603 remap_block (tree *block, copy_body_data *id)
604 {
605   tree old_block;
606   tree new_block;
607
608   /* Make the new block.  */
609   old_block = *block;
610   new_block = make_node (BLOCK);
611   TREE_USED (new_block) = TREE_USED (old_block);
612   BLOCK_ABSTRACT_ORIGIN (new_block) = old_block;
613   BLOCK_SOURCE_LOCATION (new_block) = BLOCK_SOURCE_LOCATION (old_block);
614   BLOCK_NONLOCALIZED_VARS (new_block)
615     = VEC_copy (tree, gc, BLOCK_NONLOCALIZED_VARS (old_block));
616   *block = new_block;
617
618   /* Remap its variables.  */
619   BLOCK_VARS (new_block) = remap_decls (BLOCK_VARS (old_block),
620                                         &BLOCK_NONLOCALIZED_VARS (new_block),
621                                         id);
622
623   if (id->transform_lang_insert_block)
624     id->transform_lang_insert_block (new_block);
625
626   /* Remember the remapped block.  */
627   insert_decl_map (id, old_block, new_block);
628 }
629
630 /* Copy the whole block tree and root it in id->block.  */
631 static tree
632 remap_blocks (tree block, copy_body_data *id)
633 {
634   tree t;
635   tree new_tree = block;
636
637   if (!block)
638     return NULL;
639
640   remap_block (&new_tree, id);
641   gcc_assert (new_tree != block);
642   for (t = BLOCK_SUBBLOCKS (block); t ; t = BLOCK_CHAIN (t))
643     prepend_lexical_block (new_tree, remap_blocks (t, id));
644   /* Blocks are in arbitrary order, but make things slightly prettier and do
645      not swap order when producing a copy.  */
646   BLOCK_SUBBLOCKS (new_tree) = blocks_nreverse (BLOCK_SUBBLOCKS (new_tree));
647   return new_tree;
648 }
649
650 static void
651 copy_statement_list (tree *tp)
652 {
653   tree_stmt_iterator oi, ni;
654   tree new_tree;
655
656   new_tree = alloc_stmt_list ();
657   ni = tsi_start (new_tree);
658   oi = tsi_start (*tp);
659   TREE_TYPE (new_tree) = TREE_TYPE (*tp);
660   *tp = new_tree;
661
662   for (; !tsi_end_p (oi); tsi_next (&oi))
663     {
664       tree stmt = tsi_stmt (oi);
665       if (TREE_CODE (stmt) == STATEMENT_LIST)
666         copy_statement_list (&stmt);
667       tsi_link_after (&ni, stmt, TSI_CONTINUE_LINKING);
668     }
669 }
670
671 static void
672 copy_bind_expr (tree *tp, int *walk_subtrees, copy_body_data *id)
673 {
674   tree block = BIND_EXPR_BLOCK (*tp);
675   /* Copy (and replace) the statement.  */
676   copy_tree_r (tp, walk_subtrees, NULL);
677   if (block)
678     {
679       remap_block (&block, id);
680       BIND_EXPR_BLOCK (*tp) = block;
681     }
682
683   if (BIND_EXPR_VARS (*tp))
684     /* This will remap a lot of the same decls again, but this should be
685        harmless.  */
686     BIND_EXPR_VARS (*tp) = remap_decls (BIND_EXPR_VARS (*tp), NULL, id);
687 }
688
689
690 /* Create a new gimple_seq by remapping all the statements in BODY
691    using the inlining information in ID.  */
692
693 static gimple_seq
694 remap_gimple_seq (gimple_seq body, copy_body_data *id)
695 {
696   gimple_stmt_iterator si;
697   gimple_seq new_body = NULL;
698
699   for (si = gsi_start (body); !gsi_end_p (si); gsi_next (&si))
700     {
701       gimple new_stmt = remap_gimple_stmt (gsi_stmt (si), id);
702       gimple_seq_add_stmt (&new_body, new_stmt);
703     }
704
705   return new_body;
706 }
707
708
709 /* Copy a GIMPLE_BIND statement STMT, remapping all the symbols in its
710    block using the mapping information in ID.  */
711
712 static gimple
713 copy_gimple_bind (gimple stmt, copy_body_data *id)
714 {
715   gimple new_bind;
716   tree new_block, new_vars;
717   gimple_seq body, new_body;
718
719   /* Copy the statement.  Note that we purposely don't use copy_stmt
720      here because we need to remap statements as we copy.  */
721   body = gimple_bind_body (stmt);
722   new_body = remap_gimple_seq (body, id);
723
724   new_block = gimple_bind_block (stmt);
725   if (new_block)
726     remap_block (&new_block, id);
727
728   /* This will remap a lot of the same decls again, but this should be
729      harmless.  */
730   new_vars = gimple_bind_vars (stmt);
731   if (new_vars)
732     new_vars = remap_decls (new_vars, NULL, id);
733
734   new_bind = gimple_build_bind (new_vars, new_body, new_block);
735
736   return new_bind;
737 }
738
739
740 /* Remap the GIMPLE operand pointed to by *TP.  DATA is really a
741    'struct walk_stmt_info *'.  DATA->INFO is a 'copy_body_data *'.
742    WALK_SUBTREES is used to indicate walk_gimple_op whether to keep
743    recursing into the children nodes of *TP.  */
744
745 static tree
746 remap_gimple_op_r (tree *tp, int *walk_subtrees, void *data)
747 {
748   struct walk_stmt_info *wi_p = (struct walk_stmt_info *) data;
749   copy_body_data *id = (copy_body_data *) wi_p->info;
750   tree fn = id->src_fn;
751
752   if (TREE_CODE (*tp) == SSA_NAME)
753     {
754       *tp = remap_ssa_name (*tp, id);
755       *walk_subtrees = 0;
756       return NULL;
757     }
758   else if (auto_var_in_fn_p (*tp, fn))
759     {
760       /* Local variables and labels need to be replaced by equivalent
761          variables.  We don't want to copy static variables; there's
762          only one of those, no matter how many times we inline the
763          containing function.  Similarly for globals from an outer
764          function.  */
765       tree new_decl;
766
767       /* Remap the declaration.  */
768       new_decl = remap_decl (*tp, id);
769       gcc_assert (new_decl);
770       /* Replace this variable with the copy.  */
771       STRIP_TYPE_NOPS (new_decl);
772       /* ???  The C++ frontend uses void * pointer zero to initialize
773          any other type.  This confuses the middle-end type verification.
774          As cloned bodies do not go through gimplification again the fixup
775          there doesn't trigger.  */
776       if (TREE_CODE (new_decl) == INTEGER_CST
777           && !useless_type_conversion_p (TREE_TYPE (*tp), TREE_TYPE (new_decl)))
778         new_decl = fold_convert (TREE_TYPE (*tp), new_decl);
779       *tp = new_decl;
780       *walk_subtrees = 0;
781     }
782   else if (TREE_CODE (*tp) == STATEMENT_LIST)
783     gcc_unreachable ();
784   else if (TREE_CODE (*tp) == SAVE_EXPR)
785     gcc_unreachable ();
786   else if (TREE_CODE (*tp) == LABEL_DECL
787            && (!DECL_CONTEXT (*tp)
788                || decl_function_context (*tp) == id->src_fn))
789     /* These may need to be remapped for EH handling.  */
790     *tp = remap_decl (*tp, id);
791   else if (TYPE_P (*tp))
792     /* Types may need remapping as well.  */
793     *tp = remap_type (*tp, id);
794   else if (CONSTANT_CLASS_P (*tp))
795     {
796       /* If this is a constant, we have to copy the node iff the type
797          will be remapped.  copy_tree_r will not copy a constant.  */
798       tree new_type = remap_type (TREE_TYPE (*tp), id);
799
800       if (new_type == TREE_TYPE (*tp))
801         *walk_subtrees = 0;
802
803       else if (TREE_CODE (*tp) == INTEGER_CST)
804         *tp = build_int_cst_wide (new_type, TREE_INT_CST_LOW (*tp),
805                                   TREE_INT_CST_HIGH (*tp));
806       else
807         {
808           *tp = copy_node (*tp);
809           TREE_TYPE (*tp) = new_type;
810         }
811     }
812   else
813     {
814       /* Otherwise, just copy the node.  Note that copy_tree_r already
815          knows not to copy VAR_DECLs, etc., so this is safe.  */
816       if (TREE_CODE (*tp) == MEM_REF)
817         {
818           tree ptr = TREE_OPERAND (*tp, 0);
819           tree old = *tp;
820           tree tem;
821
822           /* We need to re-canonicalize MEM_REFs from inline substitutions
823              that can happen when a pointer argument is an ADDR_EXPR.
824              Recurse here manually to allow that.  */
825           walk_tree (&ptr, remap_gimple_op_r, data, NULL);
826           if ((tem = maybe_fold_offset_to_reference (EXPR_LOCATION (*tp),
827                                                      ptr,
828                                                      TREE_OPERAND (*tp, 1),
829                                                      TREE_TYPE (*tp)))
830               && TREE_THIS_VOLATILE (tem) == TREE_THIS_VOLATILE (old))
831             {
832               tree *tem_basep = &tem;
833               while (handled_component_p (*tem_basep))
834                 tem_basep = &TREE_OPERAND (*tem_basep, 0);
835               if (TREE_CODE (*tem_basep) == MEM_REF)
836                 *tem_basep
837                     = build2 (MEM_REF, TREE_TYPE (*tem_basep),
838                               TREE_OPERAND (*tem_basep, 0),
839                               fold_convert (TREE_TYPE (TREE_OPERAND (*tp, 1)),
840                                             TREE_OPERAND (*tem_basep, 1)));
841               else
842                 *tem_basep
843                     = build2 (MEM_REF, TREE_TYPE (*tem_basep),
844                               build_fold_addr_expr (*tem_basep),
845                               build_int_cst
846                               (TREE_TYPE (TREE_OPERAND (*tp, 1)), 0));
847               *tp = tem;
848             }
849           else
850             {
851               *tp = fold_build2 (MEM_REF, TREE_TYPE (*tp),
852                                  ptr, TREE_OPERAND (*tp, 1));
853               TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
854               TREE_THIS_NOTRAP (*tp) = TREE_THIS_NOTRAP (old);
855             }
856           TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
857           *walk_subtrees = 0;
858           return NULL;
859         }
860
861       /* Here is the "usual case".  Copy this tree node, and then
862          tweak some special cases.  */
863       copy_tree_r (tp, walk_subtrees, NULL);
864
865       /* Global variables we haven't seen yet need to go into referenced
866          vars.  If not referenced from types only.  */
867       if (gimple_in_ssa_p (cfun)
868           && TREE_CODE (*tp) == VAR_DECL
869           && id->remapping_type_depth == 0
870           && !processing_debug_stmt)
871         add_referenced_var (*tp);
872
873       /* We should never have TREE_BLOCK set on non-statements.  */
874       if (EXPR_P (*tp))
875         gcc_assert (!TREE_BLOCK (*tp));
876
877       if (TREE_CODE (*tp) != OMP_CLAUSE)
878         TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
879
880       if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
881         {
882           /* The copied TARGET_EXPR has never been expanded, even if the
883              original node was expanded already.  */
884           TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
885           TREE_OPERAND (*tp, 3) = NULL_TREE;
886         }
887       else if (TREE_CODE (*tp) == ADDR_EXPR)
888         {
889           /* Variable substitution need not be simple.  In particular,
890              the MEM_REF substitution above.  Make sure that
891              TREE_CONSTANT and friends are up-to-date.  But make sure
892              to not improperly set TREE_BLOCK on some sub-expressions.  */
893           int invariant = is_gimple_min_invariant (*tp);
894           tree block = id->block;
895           id->block = NULL_TREE;
896           walk_tree (&TREE_OPERAND (*tp, 0), remap_gimple_op_r, data, NULL);
897           id->block = block;
898           recompute_tree_invariant_for_addr_expr (*tp);
899
900           /* If this used to be invariant, but is not any longer,
901              then regimplification is probably needed.  */
902           if (invariant && !is_gimple_min_invariant (*tp))
903             id->regimplify = true;
904
905           *walk_subtrees = 0;
906         }
907     }
908
909   /* Keep iterating.  */
910   return NULL_TREE;
911 }
912
913
914 /* Called from copy_body_id via walk_tree.  DATA is really a
915    `copy_body_data *'.  */
916
917 tree
918 copy_tree_body_r (tree *tp, int *walk_subtrees, void *data)
919 {
920   copy_body_data *id = (copy_body_data *) data;
921   tree fn = id->src_fn;
922   tree new_block;
923
924   /* Begin by recognizing trees that we'll completely rewrite for the
925      inlining context.  Our output for these trees is completely
926      different from out input (e.g. RETURN_EXPR is deleted, and morphs
927      into an edge).  Further down, we'll handle trees that get
928      duplicated and/or tweaked.  */
929
930   /* When requested, RETURN_EXPRs should be transformed to just the
931      contained MODIFY_EXPR.  The branch semantics of the return will
932      be handled elsewhere by manipulating the CFG rather than a statement.  */
933   if (TREE_CODE (*tp) == RETURN_EXPR && id->transform_return_to_modify)
934     {
935       tree assignment = TREE_OPERAND (*tp, 0);
936
937       /* If we're returning something, just turn that into an
938          assignment into the equivalent of the original RESULT_DECL.
939          If the "assignment" is just the result decl, the result
940          decl has already been set (e.g. a recent "foo (&result_decl,
941          ...)"); just toss the entire RETURN_EXPR.  */
942       if (assignment && TREE_CODE (assignment) == MODIFY_EXPR)
943         {
944           /* Replace the RETURN_EXPR with (a copy of) the
945              MODIFY_EXPR hanging underneath.  */
946           *tp = copy_node (assignment);
947         }
948       else /* Else the RETURN_EXPR returns no value.  */
949         {
950           *tp = NULL;
951           return (tree) (void *)1;
952         }
953     }
954   else if (TREE_CODE (*tp) == SSA_NAME)
955     {
956       *tp = remap_ssa_name (*tp, id);
957       *walk_subtrees = 0;
958       return NULL;
959     }
960
961   /* Local variables and labels need to be replaced by equivalent
962      variables.  We don't want to copy static variables; there's only
963      one of those, no matter how many times we inline the containing
964      function.  Similarly for globals from an outer function.  */
965   else if (auto_var_in_fn_p (*tp, fn))
966     {
967       tree new_decl;
968
969       /* Remap the declaration.  */
970       new_decl = remap_decl (*tp, id);
971       gcc_assert (new_decl);
972       /* Replace this variable with the copy.  */
973       STRIP_TYPE_NOPS (new_decl);
974       *tp = new_decl;
975       *walk_subtrees = 0;
976     }
977   else if (TREE_CODE (*tp) == STATEMENT_LIST)
978     copy_statement_list (tp);
979   else if (TREE_CODE (*tp) == SAVE_EXPR
980            || TREE_CODE (*tp) == TARGET_EXPR)
981     remap_save_expr (tp, id->decl_map, walk_subtrees);
982   else if (TREE_CODE (*tp) == LABEL_DECL
983            && (! DECL_CONTEXT (*tp)
984                || decl_function_context (*tp) == id->src_fn))
985     /* These may need to be remapped for EH handling.  */
986     *tp = remap_decl (*tp, id);
987   else if (TREE_CODE (*tp) == BIND_EXPR)
988     copy_bind_expr (tp, walk_subtrees, id);
989   /* Types may need remapping as well.  */
990   else if (TYPE_P (*tp))
991     *tp = remap_type (*tp, id);
992
993   /* If this is a constant, we have to copy the node iff the type will be
994      remapped.  copy_tree_r will not copy a constant.  */
995   else if (CONSTANT_CLASS_P (*tp))
996     {
997       tree new_type = remap_type (TREE_TYPE (*tp), id);
998
999       if (new_type == TREE_TYPE (*tp))
1000         *walk_subtrees = 0;
1001
1002       else if (TREE_CODE (*tp) == INTEGER_CST)
1003         *tp = build_int_cst_wide (new_type, TREE_INT_CST_LOW (*tp),
1004                                   TREE_INT_CST_HIGH (*tp));
1005       else
1006         {
1007           *tp = copy_node (*tp);
1008           TREE_TYPE (*tp) = new_type;
1009         }
1010     }
1011
1012   /* Otherwise, just copy the node.  Note that copy_tree_r already
1013      knows not to copy VAR_DECLs, etc., so this is safe.  */
1014   else
1015     {
1016       /* Here we handle trees that are not completely rewritten.
1017          First we detect some inlining-induced bogosities for
1018          discarding.  */
1019       if (TREE_CODE (*tp) == MODIFY_EXPR
1020           && TREE_OPERAND (*tp, 0) == TREE_OPERAND (*tp, 1)
1021           && (auto_var_in_fn_p (TREE_OPERAND (*tp, 0), fn)))
1022         {
1023           /* Some assignments VAR = VAR; don't generate any rtl code
1024              and thus don't count as variable modification.  Avoid
1025              keeping bogosities like 0 = 0.  */
1026           tree decl = TREE_OPERAND (*tp, 0), value;
1027           tree *n;
1028
1029           n = (tree *) pointer_map_contains (id->decl_map, decl);
1030           if (n)
1031             {
1032               value = *n;
1033               STRIP_TYPE_NOPS (value);
1034               if (TREE_CONSTANT (value) || TREE_READONLY (value))
1035                 {
1036                   *tp = build_empty_stmt (EXPR_LOCATION (*tp));
1037                   return copy_tree_body_r (tp, walk_subtrees, data);
1038                 }
1039             }
1040         }
1041       else if (TREE_CODE (*tp) == INDIRECT_REF)
1042         {
1043           /* Get rid of *& from inline substitutions that can happen when a
1044              pointer argument is an ADDR_EXPR.  */
1045           tree decl = TREE_OPERAND (*tp, 0);
1046           tree *n;
1047
1048           n = (tree *) pointer_map_contains (id->decl_map, decl);
1049           if (n)
1050             {
1051               tree new_tree;
1052               tree old;
1053               /* If we happen to get an ADDR_EXPR in n->value, strip
1054                  it manually here as we'll eventually get ADDR_EXPRs
1055                  which lie about their types pointed to.  In this case
1056                  build_fold_indirect_ref wouldn't strip the INDIRECT_REF,
1057                  but we absolutely rely on that.  As fold_indirect_ref
1058                  does other useful transformations, try that first, though.  */
1059               tree type = TREE_TYPE (TREE_TYPE (*n));
1060               if (id->do_not_unshare)
1061                 new_tree = *n;
1062               else
1063                 new_tree = unshare_expr (*n);
1064               old = *tp;
1065               *tp = gimple_fold_indirect_ref (new_tree);
1066               if (! *tp)
1067                 {
1068                   if (TREE_CODE (new_tree) == ADDR_EXPR)
1069                     {
1070                       *tp = fold_indirect_ref_1 (EXPR_LOCATION (new_tree),
1071                                                  type, new_tree);
1072                       /* ???  We should either assert here or build
1073                          a VIEW_CONVERT_EXPR instead of blindly leaking
1074                          incompatible types to our IL.  */
1075                       if (! *tp)
1076                         *tp = TREE_OPERAND (new_tree, 0);
1077                     }
1078                   else
1079                     {
1080                       *tp = build1 (INDIRECT_REF, type, new_tree);
1081                       TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1082                       TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
1083                       TREE_READONLY (*tp) = TREE_READONLY (old);
1084                       TREE_THIS_NOTRAP (*tp) = TREE_THIS_NOTRAP (old);
1085                     }
1086                 }
1087               *walk_subtrees = 0;
1088               return NULL;
1089             }
1090         }
1091       else if (TREE_CODE (*tp) == MEM_REF)
1092         {
1093           /* We need to re-canonicalize MEM_REFs from inline substitutions
1094              that can happen when a pointer argument is an ADDR_EXPR.  */
1095           tree decl = TREE_OPERAND (*tp, 0);
1096           tree *n;
1097
1098           n = (tree *) pointer_map_contains (id->decl_map, decl);
1099           if (n)
1100             {
1101               tree old = *tp;
1102               *tp = fold_build2 (MEM_REF, TREE_TYPE (*tp),
1103                                  unshare_expr (*n), TREE_OPERAND (*tp, 1));
1104               TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
1105               TREE_NO_WARNING (*tp) = TREE_NO_WARNING (old);
1106               *walk_subtrees = 0;
1107               return NULL;
1108             }
1109         }
1110
1111       /* Here is the "usual case".  Copy this tree node, and then
1112          tweak some special cases.  */
1113       copy_tree_r (tp, walk_subtrees, NULL);
1114
1115       /* Global variables we haven't seen yet needs to go into referenced
1116          vars.  If not referenced from types or debug stmts only.  */
1117       if (gimple_in_ssa_p (cfun)
1118           && TREE_CODE (*tp) == VAR_DECL
1119           && id->remapping_type_depth == 0
1120           && !processing_debug_stmt)
1121         add_referenced_var (*tp);
1122
1123       /* If EXPR has block defined, map it to newly constructed block.
1124          When inlining we want EXPRs without block appear in the block
1125          of function call if we are not remapping a type.  */
1126       if (EXPR_P (*tp))
1127         {
1128           new_block = id->remapping_type_depth == 0 ? id->block : NULL;
1129           if (TREE_BLOCK (*tp))
1130             {
1131               tree *n;
1132               n = (tree *) pointer_map_contains (id->decl_map,
1133                                                  TREE_BLOCK (*tp));
1134               gcc_assert (n || id->remapping_type_depth != 0);
1135               if (n)
1136                 new_block = *n;
1137             }
1138           TREE_BLOCK (*tp) = new_block;
1139         }
1140
1141       if (TREE_CODE (*tp) != OMP_CLAUSE)
1142         TREE_TYPE (*tp) = remap_type (TREE_TYPE (*tp), id);
1143
1144       /* The copied TARGET_EXPR has never been expanded, even if the
1145          original node was expanded already.  */
1146       if (TREE_CODE (*tp) == TARGET_EXPR && TREE_OPERAND (*tp, 3))
1147         {
1148           TREE_OPERAND (*tp, 1) = TREE_OPERAND (*tp, 3);
1149           TREE_OPERAND (*tp, 3) = NULL_TREE;
1150         }
1151
1152       /* Variable substitution need not be simple.  In particular, the
1153          INDIRECT_REF substitution above.  Make sure that TREE_CONSTANT
1154          and friends are up-to-date.  */
1155       else if (TREE_CODE (*tp) == ADDR_EXPR)
1156         {
1157           int invariant = is_gimple_min_invariant (*tp);
1158           walk_tree (&TREE_OPERAND (*tp, 0), copy_tree_body_r, id, NULL);
1159
1160           /* Handle the case where we substituted an INDIRECT_REF
1161              into the operand of the ADDR_EXPR.  */
1162           if (TREE_CODE (TREE_OPERAND (*tp, 0)) == INDIRECT_REF)
1163             *tp = TREE_OPERAND (TREE_OPERAND (*tp, 0), 0);
1164           else
1165             recompute_tree_invariant_for_addr_expr (*tp);
1166
1167           /* If this used to be invariant, but is not any longer,
1168              then regimplification is probably needed.  */
1169           if (invariant && !is_gimple_min_invariant (*tp))
1170             id->regimplify = true;
1171
1172           *walk_subtrees = 0;
1173         }
1174     }
1175
1176   /* Keep iterating.  */
1177   return NULL_TREE;
1178 }
1179
1180 /* Helper for remap_gimple_stmt.  Given an EH region number for the
1181    source function, map that to the duplicate EH region number in
1182    the destination function.  */
1183
1184 static int
1185 remap_eh_region_nr (int old_nr, copy_body_data *id)
1186 {
1187   eh_region old_r, new_r;
1188   void **slot;
1189
1190   old_r = get_eh_region_from_number_fn (id->src_cfun, old_nr);
1191   slot = pointer_map_contains (id->eh_map, old_r);
1192   new_r = (eh_region) *slot;
1193
1194   return new_r->index;
1195 }
1196
1197 /* Similar, but operate on INTEGER_CSTs.  */
1198
1199 static tree
1200 remap_eh_region_tree_nr (tree old_t_nr, copy_body_data *id)
1201 {
1202   int old_nr, new_nr;
1203
1204   old_nr = tree_low_cst (old_t_nr, 0);
1205   new_nr = remap_eh_region_nr (old_nr, id);
1206
1207   return build_int_cst (NULL, new_nr);
1208 }
1209
1210 /* Helper for copy_bb.  Remap statement STMT using the inlining
1211    information in ID.  Return the new statement copy.  */
1212
1213 static gimple
1214 remap_gimple_stmt (gimple stmt, copy_body_data *id)
1215 {
1216   gimple copy = NULL;
1217   struct walk_stmt_info wi;
1218   tree new_block;
1219   bool skip_first = false;
1220
1221   /* Begin by recognizing trees that we'll completely rewrite for the
1222      inlining context.  Our output for these trees is completely
1223      different from out input (e.g. RETURN_EXPR is deleted, and morphs
1224      into an edge).  Further down, we'll handle trees that get
1225      duplicated and/or tweaked.  */
1226
1227   /* When requested, GIMPLE_RETURNs should be transformed to just the
1228      contained GIMPLE_ASSIGN.  The branch semantics of the return will
1229      be handled elsewhere by manipulating the CFG rather than the
1230      statement.  */
1231   if (gimple_code (stmt) == GIMPLE_RETURN && id->transform_return_to_modify)
1232     {
1233       tree retval = gimple_return_retval (stmt);
1234
1235       /* If we're returning something, just turn that into an
1236          assignment into the equivalent of the original RESULT_DECL.
1237          If RETVAL is just the result decl, the result decl has
1238          already been set (e.g. a recent "foo (&result_decl, ...)");
1239          just toss the entire GIMPLE_RETURN.  */
1240       if (retval
1241           && (TREE_CODE (retval) != RESULT_DECL
1242               && (TREE_CODE (retval) != SSA_NAME
1243                   || TREE_CODE (SSA_NAME_VAR (retval)) != RESULT_DECL)))
1244         {
1245           copy = gimple_build_assign (id->retvar, retval);
1246           /* id->retvar is already substituted.  Skip it on later remapping.  */
1247           skip_first = true;
1248         }
1249       else
1250         return gimple_build_nop ();
1251     }
1252   else if (gimple_has_substatements (stmt))
1253     {
1254       gimple_seq s1, s2;
1255
1256       /* When cloning bodies from the C++ front end, we will be handed bodies
1257          in High GIMPLE form.  Handle here all the High GIMPLE statements that
1258          have embedded statements.  */
1259       switch (gimple_code (stmt))
1260         {
1261         case GIMPLE_BIND:
1262           copy = copy_gimple_bind (stmt, id);
1263           break;
1264
1265         case GIMPLE_CATCH:
1266           s1 = remap_gimple_seq (gimple_catch_handler (stmt), id);
1267           copy = gimple_build_catch (gimple_catch_types (stmt), s1);
1268           break;
1269
1270         case GIMPLE_EH_FILTER:
1271           s1 = remap_gimple_seq (gimple_eh_filter_failure (stmt), id);
1272           copy = gimple_build_eh_filter (gimple_eh_filter_types (stmt), s1);
1273           break;
1274
1275         case GIMPLE_TRY:
1276           s1 = remap_gimple_seq (gimple_try_eval (stmt), id);
1277           s2 = remap_gimple_seq (gimple_try_cleanup (stmt), id);
1278           copy = gimple_build_try (s1, s2, gimple_try_kind (stmt));
1279           break;
1280
1281         case GIMPLE_WITH_CLEANUP_EXPR:
1282           s1 = remap_gimple_seq (gimple_wce_cleanup (stmt), id);
1283           copy = gimple_build_wce (s1);
1284           break;
1285
1286         case GIMPLE_OMP_PARALLEL:
1287           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1288           copy = gimple_build_omp_parallel
1289                    (s1,
1290                     gimple_omp_parallel_clauses (stmt),
1291                     gimple_omp_parallel_child_fn (stmt),
1292                     gimple_omp_parallel_data_arg (stmt));
1293           break;
1294
1295         case GIMPLE_OMP_TASK:
1296           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1297           copy = gimple_build_omp_task
1298                    (s1,
1299                     gimple_omp_task_clauses (stmt),
1300                     gimple_omp_task_child_fn (stmt),
1301                     gimple_omp_task_data_arg (stmt),
1302                     gimple_omp_task_copy_fn (stmt),
1303                     gimple_omp_task_arg_size (stmt),
1304                     gimple_omp_task_arg_align (stmt));
1305           break;
1306
1307         case GIMPLE_OMP_FOR:
1308           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1309           s2 = remap_gimple_seq (gimple_omp_for_pre_body (stmt), id);
1310           copy = gimple_build_omp_for (s1, gimple_omp_for_clauses (stmt),
1311                                        gimple_omp_for_collapse (stmt), s2);
1312           {
1313             size_t i;
1314             for (i = 0; i < gimple_omp_for_collapse (stmt); i++)
1315               {
1316                 gimple_omp_for_set_index (copy, i,
1317                                           gimple_omp_for_index (stmt, i));
1318                 gimple_omp_for_set_initial (copy, i,
1319                                             gimple_omp_for_initial (stmt, i));
1320                 gimple_omp_for_set_final (copy, i,
1321                                           gimple_omp_for_final (stmt, i));
1322                 gimple_omp_for_set_incr (copy, i,
1323                                          gimple_omp_for_incr (stmt, i));
1324                 gimple_omp_for_set_cond (copy, i,
1325                                          gimple_omp_for_cond (stmt, i));
1326               }
1327           }
1328           break;
1329
1330         case GIMPLE_OMP_MASTER:
1331           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1332           copy = gimple_build_omp_master (s1);
1333           break;
1334
1335         case GIMPLE_OMP_ORDERED:
1336           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1337           copy = gimple_build_omp_ordered (s1);
1338           break;
1339
1340         case GIMPLE_OMP_SECTION:
1341           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1342           copy = gimple_build_omp_section (s1);
1343           break;
1344
1345         case GIMPLE_OMP_SECTIONS:
1346           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1347           copy = gimple_build_omp_sections
1348                    (s1, gimple_omp_sections_clauses (stmt));
1349           break;
1350
1351         case GIMPLE_OMP_SINGLE:
1352           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1353           copy = gimple_build_omp_single
1354                    (s1, gimple_omp_single_clauses (stmt));
1355           break;
1356
1357         case GIMPLE_OMP_CRITICAL:
1358           s1 = remap_gimple_seq (gimple_omp_body (stmt), id);
1359           copy
1360             = gimple_build_omp_critical (s1, gimple_omp_critical_name (stmt));
1361           break;
1362
1363         default:
1364           gcc_unreachable ();
1365         }
1366     }
1367   else
1368     {
1369       if (gimple_assign_copy_p (stmt)
1370           && gimple_assign_lhs (stmt) == gimple_assign_rhs1 (stmt)
1371           && auto_var_in_fn_p (gimple_assign_lhs (stmt), id->src_fn))
1372         {
1373           /* Here we handle statements that are not completely rewritten.
1374              First we detect some inlining-induced bogosities for
1375              discarding.  */
1376
1377           /* Some assignments VAR = VAR; don't generate any rtl code
1378              and thus don't count as variable modification.  Avoid
1379              keeping bogosities like 0 = 0.  */
1380           tree decl = gimple_assign_lhs (stmt), value;
1381           tree *n;
1382
1383           n = (tree *) pointer_map_contains (id->decl_map, decl);
1384           if (n)
1385             {
1386               value = *n;
1387               STRIP_TYPE_NOPS (value);
1388               if (TREE_CONSTANT (value) || TREE_READONLY (value))
1389                 return gimple_build_nop ();
1390             }
1391         }
1392
1393       if (gimple_debug_bind_p (stmt))
1394         {
1395           copy = gimple_build_debug_bind (gimple_debug_bind_get_var (stmt),
1396                                           gimple_debug_bind_get_value (stmt),
1397                                           stmt);
1398           VEC_safe_push (gimple, heap, id->debug_stmts, copy);
1399           return copy;
1400         }
1401
1402       /* Create a new deep copy of the statement.  */
1403       copy = gimple_copy (stmt);
1404
1405       /* Remap the region numbers for __builtin_eh_{pointer,filter},
1406          RESX and EH_DISPATCH.  */
1407       if (id->eh_map)
1408         switch (gimple_code (copy))
1409           {
1410           case GIMPLE_CALL:
1411             {
1412               tree r, fndecl = gimple_call_fndecl (copy);
1413               if (fndecl && DECL_BUILT_IN_CLASS (fndecl) == BUILT_IN_NORMAL)
1414                 switch (DECL_FUNCTION_CODE (fndecl))
1415                   {
1416                   case BUILT_IN_EH_COPY_VALUES:
1417                     r = gimple_call_arg (copy, 1);
1418                     r = remap_eh_region_tree_nr (r, id);
1419                     gimple_call_set_arg (copy, 1, r);
1420                     /* FALLTHRU */
1421
1422                   case BUILT_IN_EH_POINTER:
1423                   case BUILT_IN_EH_FILTER:
1424                     r = gimple_call_arg (copy, 0);
1425                     r = remap_eh_region_tree_nr (r, id);
1426                     gimple_call_set_arg (copy, 0, r);
1427                     break;
1428
1429                   default:
1430                     break;
1431                   }
1432
1433               /* Reset alias info if we didn't apply measures to
1434                  keep it valid over inlining by setting DECL_PT_UID.  */
1435               if (!id->src_cfun->gimple_df
1436                   || !id->src_cfun->gimple_df->ipa_pta)
1437                 gimple_call_reset_alias_info (copy);
1438             }
1439             break;
1440
1441           case GIMPLE_RESX:
1442             {
1443               int r = gimple_resx_region (copy);
1444               r = remap_eh_region_nr (r, id);
1445               gimple_resx_set_region (copy, r);
1446             }
1447             break;
1448
1449           case GIMPLE_EH_DISPATCH:
1450             {
1451               int r = gimple_eh_dispatch_region (copy);
1452               r = remap_eh_region_nr (r, id);
1453               gimple_eh_dispatch_set_region (copy, r);
1454             }
1455             break;
1456
1457           default:
1458             break;
1459           }
1460     }
1461
1462   /* If STMT has a block defined, map it to the newly constructed
1463      block.  When inlining we want statements without a block to
1464      appear in the block of the function call.  */
1465   new_block = id->block;
1466   if (gimple_block (copy))
1467     {
1468       tree *n;
1469       n = (tree *) pointer_map_contains (id->decl_map, gimple_block (copy));
1470       gcc_assert (n);
1471       new_block = *n;
1472     }
1473
1474   gimple_set_block (copy, new_block);
1475
1476   if (gimple_debug_bind_p (copy))
1477     return copy;
1478
1479   /* Remap all the operands in COPY.  */
1480   memset (&wi, 0, sizeof (wi));
1481   wi.info = id;
1482   if (skip_first)
1483     walk_tree (gimple_op_ptr (copy, 1), remap_gimple_op_r, &wi, NULL);
1484   else
1485     walk_gimple_op (copy, remap_gimple_op_r, &wi);
1486
1487   /* Clear the copied virtual operands.  We are not remapping them here
1488      but are going to recreate them from scratch.  */
1489   if (gimple_has_mem_ops (copy))
1490     {
1491       gimple_set_vdef (copy, NULL_TREE);
1492       gimple_set_vuse (copy, NULL_TREE);
1493     }
1494
1495   return copy;
1496 }
1497
1498
1499 /* Copy basic block, scale profile accordingly.  Edges will be taken care of
1500    later  */
1501
1502 static basic_block
1503 copy_bb (copy_body_data *id, basic_block bb, int frequency_scale,
1504          gcov_type count_scale)
1505 {
1506   gimple_stmt_iterator gsi, copy_gsi, seq_gsi;
1507   basic_block copy_basic_block;
1508   tree decl;
1509   gcov_type freq;
1510   basic_block prev;
1511
1512   /* Search for previous copied basic block.  */
1513   prev = bb->prev_bb;
1514   while (!prev->aux)
1515     prev = prev->prev_bb;
1516
1517   /* create_basic_block() will append every new block to
1518      basic_block_info automatically.  */
1519   copy_basic_block = create_basic_block (NULL, (void *) 0,
1520                                          (basic_block) prev->aux);
1521   copy_basic_block->count = bb->count * count_scale / REG_BR_PROB_BASE;
1522
1523   /* We are going to rebuild frequencies from scratch.  These values
1524      have just small importance to drive canonicalize_loop_headers.  */
1525   freq = ((gcov_type)bb->frequency * frequency_scale / REG_BR_PROB_BASE);
1526
1527   /* We recompute frequencies after inlining, so this is quite safe.  */
1528   if (freq > BB_FREQ_MAX)
1529     freq = BB_FREQ_MAX;
1530   copy_basic_block->frequency = freq;
1531
1532   copy_gsi = gsi_start_bb (copy_basic_block);
1533
1534   for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1535     {
1536       gimple stmt = gsi_stmt (gsi);
1537       gimple orig_stmt = stmt;
1538
1539       id->regimplify = false;
1540       stmt = remap_gimple_stmt (stmt, id);
1541       if (gimple_nop_p (stmt))
1542         continue;
1543
1544       gimple_duplicate_stmt_histograms (cfun, stmt, id->src_cfun, orig_stmt);
1545       seq_gsi = copy_gsi;
1546
1547       /* With return slot optimization we can end up with
1548          non-gimple (foo *)&this->m, fix that here.  */
1549       if (is_gimple_assign (stmt)
1550           && gimple_assign_rhs_code (stmt) == NOP_EXPR
1551           && !is_gimple_val (gimple_assign_rhs1 (stmt)))
1552         {
1553           tree new_rhs;
1554           new_rhs = force_gimple_operand_gsi (&seq_gsi,
1555                                               gimple_assign_rhs1 (stmt),
1556                                               true, NULL, false,
1557                                               GSI_CONTINUE_LINKING);
1558           gimple_assign_set_rhs1 (stmt, new_rhs);
1559           id->regimplify = false;
1560         }
1561
1562       gsi_insert_after (&seq_gsi, stmt, GSI_NEW_STMT);
1563
1564       if (id->regimplify)
1565         gimple_regimplify_operands (stmt, &seq_gsi);
1566
1567       /* If copy_basic_block has been empty at the start of this iteration,
1568          call gsi_start_bb again to get at the newly added statements.  */
1569       if (gsi_end_p (copy_gsi))
1570         copy_gsi = gsi_start_bb (copy_basic_block);
1571       else
1572         gsi_next (&copy_gsi);
1573
1574       /* Process the new statement.  The call to gimple_regimplify_operands
1575          possibly turned the statement into multiple statements, we
1576          need to process all of them.  */
1577       do
1578         {
1579           tree fn;
1580
1581           stmt = gsi_stmt (copy_gsi);
1582           if (is_gimple_call (stmt)
1583               && gimple_call_va_arg_pack_p (stmt)
1584               && id->gimple_call)
1585             {
1586               /* __builtin_va_arg_pack () should be replaced by
1587                  all arguments corresponding to ... in the caller.  */
1588               tree p;
1589               gimple new_call;
1590               VEC(tree, heap) *argarray;
1591               size_t nargs = gimple_call_num_args (id->gimple_call);
1592               size_t n;
1593
1594               for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1595                 nargs--;
1596
1597               /* Create the new array of arguments.  */
1598               n = nargs + gimple_call_num_args (stmt);
1599               argarray = VEC_alloc (tree, heap, n);
1600               VEC_safe_grow (tree, heap, argarray, n);
1601
1602               /* Copy all the arguments before '...'  */
1603               memcpy (VEC_address (tree, argarray),
1604                       gimple_call_arg_ptr (stmt, 0),
1605                       gimple_call_num_args (stmt) * sizeof (tree));
1606
1607               /* Append the arguments passed in '...'  */
1608               memcpy (VEC_address(tree, argarray) + gimple_call_num_args (stmt),
1609                       gimple_call_arg_ptr (id->gimple_call, 0)
1610                         + (gimple_call_num_args (id->gimple_call) - nargs),
1611                       nargs * sizeof (tree));
1612
1613               new_call = gimple_build_call_vec (gimple_call_fn (stmt),
1614                                                 argarray);
1615
1616               VEC_free (tree, heap, argarray);
1617
1618               /* Copy all GIMPLE_CALL flags, location and block, except
1619                  GF_CALL_VA_ARG_PACK.  */
1620               gimple_call_copy_flags (new_call, stmt);
1621               gimple_call_set_va_arg_pack (new_call, false);
1622               gimple_set_location (new_call, gimple_location (stmt));
1623               gimple_set_block (new_call, gimple_block (stmt));
1624               gimple_call_set_lhs (new_call, gimple_call_lhs (stmt));
1625
1626               gsi_replace (&copy_gsi, new_call, false);
1627               stmt = new_call;
1628             }
1629           else if (is_gimple_call (stmt)
1630                    && id->gimple_call
1631                    && (decl = gimple_call_fndecl (stmt))
1632                    && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL
1633                    && DECL_FUNCTION_CODE (decl) == BUILT_IN_VA_ARG_PACK_LEN)
1634             {
1635               /* __builtin_va_arg_pack_len () should be replaced by
1636                  the number of anonymous arguments.  */
1637               size_t nargs = gimple_call_num_args (id->gimple_call);
1638               tree count, p;
1639               gimple new_stmt;
1640
1641               for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
1642                 nargs--;
1643
1644               count = build_int_cst (integer_type_node, nargs);
1645               new_stmt = gimple_build_assign (gimple_call_lhs (stmt), count);
1646               gsi_replace (&copy_gsi, new_stmt, false);
1647               stmt = new_stmt;
1648             }
1649
1650           /* Statements produced by inlining can be unfolded, especially
1651              when we constant propagated some operands.  We can't fold
1652              them right now for two reasons:
1653              1) folding require SSA_NAME_DEF_STMTs to be correct
1654              2) we can't change function calls to builtins.
1655              So we just mark statement for later folding.  We mark
1656              all new statements, instead just statements that has changed
1657              by some nontrivial substitution so even statements made
1658              foldable indirectly are updated.  If this turns out to be
1659              expensive, copy_body can be told to watch for nontrivial
1660              changes.  */
1661           if (id->statements_to_fold)
1662             pointer_set_insert (id->statements_to_fold, stmt);
1663
1664           /* We're duplicating a CALL_EXPR.  Find any corresponding
1665              callgraph edges and update or duplicate them.  */
1666           if (is_gimple_call (stmt))
1667             {
1668               struct cgraph_edge *edge;
1669               int flags;
1670
1671               switch (id->transform_call_graph_edges)
1672                 {
1673                 case CB_CGE_DUPLICATE:
1674                   edge = cgraph_edge (id->src_node, orig_stmt);
1675                   if (edge)
1676                     {
1677                       int edge_freq = edge->frequency;
1678                       edge = cgraph_clone_edge (edge, id->dst_node, stmt,
1679                                                 gimple_uid (stmt),
1680                                                 REG_BR_PROB_BASE, CGRAPH_FREQ_BASE,
1681                                                 edge->frequency, true);
1682                       /* We could also just rescale the frequency, but
1683                          doing so would introduce roundoff errors and make
1684                          verifier unhappy.  */
1685                       edge->frequency
1686                         = compute_call_stmt_bb_frequency (id->dst_node->decl,
1687                                                           copy_basic_block);
1688                       if (dump_file
1689                           && profile_status_for_function (cfun) != PROFILE_ABSENT
1690                           && (edge_freq > edge->frequency + 10
1691                               || edge_freq < edge->frequency - 10))
1692                         {
1693                           fprintf (dump_file, "Edge frequency estimated by "
1694                                    "cgraph %i diverge from inliner's estimate %i\n",
1695                                    edge_freq,
1696                                    edge->frequency);
1697                           fprintf (dump_file,
1698                                    "Orig bb: %i, orig bb freq %i, new bb freq %i\n",
1699                                    bb->index,
1700                                    bb->frequency,
1701                                    copy_basic_block->frequency);
1702                         }
1703                       stmt = cgraph_redirect_edge_call_stmt_to_callee (edge);
1704                     }
1705                   break;
1706
1707                 case CB_CGE_MOVE_CLONES:
1708                   cgraph_set_call_stmt_including_clones (id->dst_node,
1709                                                          orig_stmt, stmt);
1710                   edge = cgraph_edge (id->dst_node, stmt);
1711                   break;
1712
1713                 case CB_CGE_MOVE:
1714                   edge = cgraph_edge (id->dst_node, orig_stmt);
1715                   if (edge)
1716                     cgraph_set_call_stmt (edge, stmt);
1717                   break;
1718
1719                 default:
1720                   gcc_unreachable ();
1721                 }
1722
1723               /* Constant propagation on argument done during inlining
1724                  may create new direct call.  Produce an edge for it.  */
1725               if ((!edge
1726                    || (edge->indirect_inlining_edge
1727                        && id->transform_call_graph_edges == CB_CGE_MOVE_CLONES))
1728                   && (fn = gimple_call_fndecl (stmt)) != NULL)
1729                 {
1730                   struct cgraph_node *dest = cgraph_node (fn);
1731
1732                   /* We have missing edge in the callgraph.  This can happen
1733                      when previous inlining turned an indirect call into a
1734                      direct call by constant propagating arguments or we are
1735                      producing dead clone (for further cloning).  In all
1736                      other cases we hit a bug (incorrect node sharing is the
1737                      most common reason for missing edges).  */
1738                   gcc_assert (dest->needed || !dest->analyzed
1739                               || dest->address_taken
1740                               || !id->src_node->analyzed
1741                               || !id->dst_node->analyzed);
1742                   if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES)
1743                     cgraph_create_edge_including_clones
1744                       (id->dst_node, dest, orig_stmt, stmt, bb->count,
1745                        compute_call_stmt_bb_frequency (id->dst_node->decl,
1746                                                        copy_basic_block),
1747                        bb->loop_depth, CIF_ORIGINALLY_INDIRECT_CALL);
1748                   else
1749                     cgraph_create_edge (id->dst_node, dest, stmt,
1750                                         bb->count,
1751                                         compute_call_stmt_bb_frequency
1752                                           (id->dst_node->decl, copy_basic_block),
1753                                         bb->loop_depth)->inline_failed
1754                       = CIF_ORIGINALLY_INDIRECT_CALL;
1755                   if (dump_file)
1756                     {
1757                       fprintf (dump_file, "Created new direct edge to %s\n",
1758                                cgraph_node_name (dest));
1759                     }
1760                 }
1761
1762               flags = gimple_call_flags (stmt);
1763               if (flags & ECF_MAY_BE_ALLOCA)
1764                 cfun->calls_alloca = true;
1765               if (flags & ECF_RETURNS_TWICE)
1766                 cfun->calls_setjmp = true;
1767             }
1768
1769           maybe_duplicate_eh_stmt_fn (cfun, stmt, id->src_cfun, orig_stmt,
1770                                       id->eh_map, id->eh_lp_nr);
1771
1772           if (gimple_in_ssa_p (cfun) && !is_gimple_debug (stmt))
1773             {
1774               ssa_op_iter i;
1775               tree def;
1776
1777               find_new_referenced_vars (gsi_stmt (copy_gsi));
1778               FOR_EACH_SSA_TREE_OPERAND (def, stmt, i, SSA_OP_DEF)
1779                 if (TREE_CODE (def) == SSA_NAME)
1780                   SSA_NAME_DEF_STMT (def) = stmt;
1781             }
1782
1783           gsi_next (&copy_gsi);
1784         }
1785       while (!gsi_end_p (copy_gsi));
1786
1787       copy_gsi = gsi_last_bb (copy_basic_block);
1788     }
1789
1790   return copy_basic_block;
1791 }
1792
1793 /* Inserting Single Entry Multiple Exit region in SSA form into code in SSA
1794    form is quite easy, since dominator relationship for old basic blocks does
1795    not change.
1796
1797    There is however exception where inlining might change dominator relation
1798    across EH edges from basic block within inlined functions destinating
1799    to landing pads in function we inline into.
1800
1801    The function fills in PHI_RESULTs of such PHI nodes if they refer
1802    to gimple regs.  Otherwise, the function mark PHI_RESULT of such
1803    PHI nodes for renaming.  For non-gimple regs, renaming is safe: the
1804    EH edges are abnormal and SSA_NAME_OCCURS_IN_ABNORMAL_PHI must be
1805    set, and this means that there will be no overlapping live ranges
1806    for the underlying symbol.
1807
1808    This might change in future if we allow redirecting of EH edges and
1809    we might want to change way build CFG pre-inlining to include
1810    all the possible edges then.  */
1811 static void
1812 update_ssa_across_abnormal_edges (basic_block bb, basic_block ret_bb,
1813                                   bool can_throw, bool nonlocal_goto)
1814 {
1815   edge e;
1816   edge_iterator ei;
1817
1818   FOR_EACH_EDGE (e, ei, bb->succs)
1819     if (!e->dest->aux
1820         || ((basic_block)e->dest->aux)->index == ENTRY_BLOCK)
1821       {
1822         gimple phi;
1823         gimple_stmt_iterator si;
1824
1825         if (!nonlocal_goto)
1826           gcc_assert (e->flags & EDGE_EH);
1827
1828         if (!can_throw)
1829           gcc_assert (!(e->flags & EDGE_EH));
1830
1831         for (si = gsi_start_phis (e->dest); !gsi_end_p (si); gsi_next (&si))
1832           {
1833             edge re;
1834
1835             phi = gsi_stmt (si);
1836
1837             /* There shouldn't be any PHI nodes in the ENTRY_BLOCK.  */
1838             gcc_assert (!e->dest->aux);
1839
1840             gcc_assert ((e->flags & EDGE_EH)
1841                         || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (phi)));
1842
1843             if (!is_gimple_reg (PHI_RESULT (phi)))
1844               {
1845                 mark_sym_for_renaming (SSA_NAME_VAR (PHI_RESULT (phi)));
1846                 continue;
1847               }
1848
1849             re = find_edge (ret_bb, e->dest);
1850             gcc_assert (re);
1851             gcc_assert ((re->flags & (EDGE_EH | EDGE_ABNORMAL))
1852                         == (e->flags & (EDGE_EH | EDGE_ABNORMAL)));
1853
1854             SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (phi, e),
1855                      USE_FROM_PTR (PHI_ARG_DEF_PTR_FROM_EDGE (phi, re)));
1856           }
1857       }
1858 }
1859
1860
1861 /* Copy edges from BB into its copy constructed earlier, scale profile
1862    accordingly.  Edges will be taken care of later.  Assume aux
1863    pointers to point to the copies of each BB.  Return true if any
1864    debug stmts are left after a statement that must end the basic block.  */
1865
1866 static bool
1867 copy_edges_for_bb (basic_block bb, gcov_type count_scale, basic_block ret_bb)
1868 {
1869   basic_block new_bb = (basic_block) bb->aux;
1870   edge_iterator ei;
1871   edge old_edge;
1872   gimple_stmt_iterator si;
1873   int flags;
1874   bool need_debug_cleanup = false;
1875
1876   /* Use the indices from the original blocks to create edges for the
1877      new ones.  */
1878   FOR_EACH_EDGE (old_edge, ei, bb->succs)
1879     if (!(old_edge->flags & EDGE_EH))
1880       {
1881         edge new_edge;
1882
1883         flags = old_edge->flags;
1884
1885         /* Return edges do get a FALLTHRU flag when the get inlined.  */
1886         if (old_edge->dest->index == EXIT_BLOCK && !old_edge->flags
1887             && old_edge->dest->aux != EXIT_BLOCK_PTR)
1888           flags |= EDGE_FALLTHRU;
1889         new_edge = make_edge (new_bb, (basic_block) old_edge->dest->aux, flags);
1890         new_edge->count = old_edge->count * count_scale / REG_BR_PROB_BASE;
1891         new_edge->probability = old_edge->probability;
1892       }
1893
1894   if (bb->index == ENTRY_BLOCK || bb->index == EXIT_BLOCK)
1895     return false;
1896
1897   for (si = gsi_start_bb (new_bb); !gsi_end_p (si);)
1898     {
1899       gimple copy_stmt;
1900       bool can_throw, nonlocal_goto;
1901
1902       copy_stmt = gsi_stmt (si);
1903       if (!is_gimple_debug (copy_stmt))
1904         {
1905           update_stmt (copy_stmt);
1906           if (gimple_in_ssa_p (cfun))
1907             mark_symbols_for_renaming (copy_stmt);
1908         }
1909
1910       /* Do this before the possible split_block.  */
1911       gsi_next (&si);
1912
1913       /* If this tree could throw an exception, there are two
1914          cases where we need to add abnormal edge(s): the
1915          tree wasn't in a region and there is a "current
1916          region" in the caller; or the original tree had
1917          EH edges.  In both cases split the block after the tree,
1918          and add abnormal edge(s) as needed; we need both
1919          those from the callee and the caller.
1920          We check whether the copy can throw, because the const
1921          propagation can change an INDIRECT_REF which throws
1922          into a COMPONENT_REF which doesn't.  If the copy
1923          can throw, the original could also throw.  */
1924       can_throw = stmt_can_throw_internal (copy_stmt);
1925       nonlocal_goto = stmt_can_make_abnormal_goto (copy_stmt);
1926
1927       if (can_throw || nonlocal_goto)
1928         {
1929           if (!gsi_end_p (si))
1930             {
1931               while (!gsi_end_p (si) && is_gimple_debug (gsi_stmt (si)))
1932                 gsi_next (&si);
1933               if (gsi_end_p (si))
1934                 need_debug_cleanup = true;
1935             }
1936           if (!gsi_end_p (si))
1937             /* Note that bb's predecessor edges aren't necessarily
1938                right at this point; split_block doesn't care.  */
1939             {
1940               edge e = split_block (new_bb, copy_stmt);
1941
1942               new_bb = e->dest;
1943               new_bb->aux = e->src->aux;
1944               si = gsi_start_bb (new_bb);
1945             }
1946         }
1947
1948       if (gimple_code (copy_stmt) == GIMPLE_EH_DISPATCH)
1949         make_eh_dispatch_edges (copy_stmt);
1950       else if (can_throw)
1951         make_eh_edges (copy_stmt);
1952
1953       if (nonlocal_goto)
1954         make_abnormal_goto_edges (gimple_bb (copy_stmt), true);
1955
1956       if ((can_throw || nonlocal_goto)
1957           && gimple_in_ssa_p (cfun))
1958         update_ssa_across_abnormal_edges (gimple_bb (copy_stmt), ret_bb,
1959                                           can_throw, nonlocal_goto);
1960     }
1961   return need_debug_cleanup;
1962 }
1963
1964 /* Copy the PHIs.  All blocks and edges are copied, some blocks
1965    was possibly split and new outgoing EH edges inserted.
1966    BB points to the block of original function and AUX pointers links
1967    the original and newly copied blocks.  */
1968
1969 static void
1970 copy_phis_for_bb (basic_block bb, copy_body_data *id)
1971 {
1972   basic_block const new_bb = (basic_block) bb->aux;
1973   edge_iterator ei;
1974   gimple phi;
1975   gimple_stmt_iterator si;
1976   edge new_edge;
1977   bool inserted = false;
1978
1979   for (si = gsi_start (phi_nodes (bb)); !gsi_end_p (si); gsi_next (&si))
1980     {
1981       tree res, new_res;
1982       gimple new_phi;
1983
1984       phi = gsi_stmt (si);
1985       res = PHI_RESULT (phi);
1986       new_res = res;
1987       if (is_gimple_reg (res))
1988         {
1989           walk_tree (&new_res, copy_tree_body_r, id, NULL);
1990           SSA_NAME_DEF_STMT (new_res)
1991             = new_phi = create_phi_node (new_res, new_bb);
1992           FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
1993             {
1994               edge old_edge = find_edge ((basic_block) new_edge->src->aux, bb);
1995               tree arg;
1996               tree new_arg;
1997               tree block = id->block;
1998               edge_iterator ei2;
1999
2000               /* When doing partial cloning, we allow PHIs on the entry block
2001                  as long as all the arguments are the same.  Find any input
2002                  edge to see argument to copy.  */
2003               if (!old_edge)
2004                 FOR_EACH_EDGE (old_edge, ei2, bb->preds)
2005                   if (!old_edge->src->aux)
2006                     break;
2007
2008               arg = PHI_ARG_DEF_FROM_EDGE (phi, old_edge);
2009               new_arg = arg;
2010               id->block = NULL_TREE;
2011               walk_tree (&new_arg, copy_tree_body_r, id, NULL);
2012               id->block = block;
2013               gcc_assert (new_arg);
2014               /* With return slot optimization we can end up with
2015                  non-gimple (foo *)&this->m, fix that here.  */
2016               if (TREE_CODE (new_arg) != SSA_NAME
2017                   && TREE_CODE (new_arg) != FUNCTION_DECL
2018                   && !is_gimple_val (new_arg))
2019                 {
2020                   gimple_seq stmts = NULL;
2021                   new_arg = force_gimple_operand (new_arg, &stmts, true, NULL);
2022                   gsi_insert_seq_on_edge (new_edge, stmts);
2023                   inserted = true;
2024                 }
2025               add_phi_arg (new_phi, new_arg, new_edge,
2026                            gimple_phi_arg_location_from_edge (phi, old_edge));
2027             }
2028         }
2029     }
2030
2031   /* Commit the delayed edge insertions.  */
2032   if (inserted)
2033     FOR_EACH_EDGE (new_edge, ei, new_bb->preds)
2034       gsi_commit_one_edge_insert (new_edge, NULL);
2035 }
2036
2037
2038 /* Wrapper for remap_decl so it can be used as a callback.  */
2039
2040 static tree
2041 remap_decl_1 (tree decl, void *data)
2042 {
2043   return remap_decl (decl, (copy_body_data *) data);
2044 }
2045
2046 /* Build struct function and associated datastructures for the new clone
2047    NEW_FNDECL to be build.  CALLEE_FNDECL is the original */
2048
2049 static void
2050 initialize_cfun (tree new_fndecl, tree callee_fndecl, gcov_type count)
2051 {
2052   struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2053   gcov_type count_scale;
2054
2055   if (ENTRY_BLOCK_PTR_FOR_FUNCTION (src_cfun)->count)
2056     count_scale = (REG_BR_PROB_BASE * count
2057                    / ENTRY_BLOCK_PTR_FOR_FUNCTION (src_cfun)->count);
2058   else
2059     count_scale = REG_BR_PROB_BASE;
2060
2061   /* Register specific tree functions.  */
2062   gimple_register_cfg_hooks ();
2063
2064   /* Get clean struct function.  */
2065   push_struct_function (new_fndecl);
2066
2067   /* We will rebuild these, so just sanity check that they are empty.  */
2068   gcc_assert (VALUE_HISTOGRAMS (cfun) == NULL);
2069   gcc_assert (cfun->local_decls == NULL);
2070   gcc_assert (cfun->cfg == NULL);
2071   gcc_assert (cfun->decl == new_fndecl);
2072
2073   /* Copy items we preserve during cloning.  */
2074   cfun->static_chain_decl = src_cfun->static_chain_decl;
2075   cfun->nonlocal_goto_save_area = src_cfun->nonlocal_goto_save_area;
2076   cfun->function_end_locus = src_cfun->function_end_locus;
2077   cfun->curr_properties = src_cfun->curr_properties;
2078   cfun->last_verified = src_cfun->last_verified;
2079   cfun->va_list_gpr_size = src_cfun->va_list_gpr_size;
2080   cfun->va_list_fpr_size = src_cfun->va_list_fpr_size;
2081   cfun->has_nonlocal_label = src_cfun->has_nonlocal_label;
2082   cfun->stdarg = src_cfun->stdarg;
2083   cfun->dont_save_pending_sizes_p = src_cfun->dont_save_pending_sizes_p;
2084   cfun->after_inlining = src_cfun->after_inlining;
2085   cfun->can_throw_non_call_exceptions
2086     = src_cfun->can_throw_non_call_exceptions;
2087   cfun->returns_struct = src_cfun->returns_struct;
2088   cfun->returns_pcc_struct = src_cfun->returns_pcc_struct;
2089   cfun->after_tree_profile = src_cfun->after_tree_profile;
2090
2091   init_empty_tree_cfg ();
2092
2093   profile_status_for_function (cfun) = profile_status_for_function (src_cfun);
2094   ENTRY_BLOCK_PTR->count =
2095     (ENTRY_BLOCK_PTR_FOR_FUNCTION (src_cfun)->count * count_scale /
2096      REG_BR_PROB_BASE);
2097   ENTRY_BLOCK_PTR->frequency
2098     = ENTRY_BLOCK_PTR_FOR_FUNCTION (src_cfun)->frequency;
2099   EXIT_BLOCK_PTR->count =
2100     (EXIT_BLOCK_PTR_FOR_FUNCTION (src_cfun)->count * count_scale /
2101      REG_BR_PROB_BASE);
2102   EXIT_BLOCK_PTR->frequency =
2103     EXIT_BLOCK_PTR_FOR_FUNCTION (src_cfun)->frequency;
2104   if (src_cfun->eh)
2105     init_eh_for_function ();
2106
2107   if (src_cfun->gimple_df)
2108     {
2109       init_tree_ssa (cfun);
2110       cfun->gimple_df->in_ssa_p = true;
2111       init_ssa_operands ();
2112     }
2113   pop_cfun ();
2114 }
2115
2116 /* Helper function for copy_cfg_body.  Move debug stmts from the end
2117    of NEW_BB to the beginning of successor basic blocks when needed.  If the
2118    successor has multiple predecessors, reset them, otherwise keep
2119    their value.  */
2120
2121 static void
2122 maybe_move_debug_stmts_to_successors (copy_body_data *id, basic_block new_bb)
2123 {
2124   edge e;
2125   edge_iterator ei;
2126   gimple_stmt_iterator si = gsi_last_nondebug_bb (new_bb);
2127
2128   if (gsi_end_p (si)
2129       || gsi_one_before_end_p (si)
2130       || !(stmt_can_throw_internal (gsi_stmt (si))
2131            || stmt_can_make_abnormal_goto (gsi_stmt (si))))
2132     return;
2133
2134   FOR_EACH_EDGE (e, ei, new_bb->succs)
2135     {
2136       gimple_stmt_iterator ssi = gsi_last_bb (new_bb);
2137       gimple_stmt_iterator dsi = gsi_after_labels (e->dest);
2138       while (is_gimple_debug (gsi_stmt (ssi)))
2139         {
2140           gimple stmt = gsi_stmt (ssi), new_stmt;
2141           tree var;
2142           tree value;
2143
2144           /* For the last edge move the debug stmts instead of copying
2145              them.  */
2146           if (ei_one_before_end_p (ei))
2147             {
2148               si = ssi;
2149               gsi_prev (&ssi);
2150               if (!single_pred_p (e->dest))
2151                 gimple_debug_bind_reset_value (stmt);
2152               gsi_remove (&si, false);
2153               gsi_insert_before (&dsi, stmt, GSI_SAME_STMT);
2154               continue;
2155             }
2156
2157           var = gimple_debug_bind_get_var (stmt);
2158           if (single_pred_p (e->dest))
2159             {
2160               value = gimple_debug_bind_get_value (stmt);
2161               value = unshare_expr (value);
2162             }
2163           else
2164             value = NULL_TREE;
2165           new_stmt = gimple_build_debug_bind (var, value, stmt);
2166           gsi_insert_before (&dsi, new_stmt, GSI_SAME_STMT);
2167           VEC_safe_push (gimple, heap, id->debug_stmts, new_stmt);
2168           gsi_prev (&ssi);
2169         }
2170     }
2171 }
2172
2173 /* Make a copy of the body of FN so that it can be inserted inline in
2174    another function.  Walks FN via CFG, returns new fndecl.  */
2175
2176 static tree
2177 copy_cfg_body (copy_body_data * id, gcov_type count, int frequency_scale,
2178                basic_block entry_block_map, basic_block exit_block_map,
2179                bitmap blocks_to_copy, basic_block new_entry)
2180 {
2181   tree callee_fndecl = id->src_fn;
2182   /* Original cfun for the callee, doesn't change.  */
2183   struct function *src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2184   struct function *cfun_to_copy;
2185   basic_block bb;
2186   tree new_fndecl = NULL;
2187   bool need_debug_cleanup = false;
2188   gcov_type count_scale;
2189   int last;
2190   int incoming_frequency = 0;
2191   gcov_type incoming_count = 0;
2192
2193   if (ENTRY_BLOCK_PTR_FOR_FUNCTION (src_cfun)->count)
2194     count_scale = (REG_BR_PROB_BASE * count
2195                    / ENTRY_BLOCK_PTR_FOR_FUNCTION (src_cfun)->count);
2196   else
2197     count_scale = REG_BR_PROB_BASE;
2198
2199   /* Register specific tree functions.  */
2200   gimple_register_cfg_hooks ();
2201
2202   /* If we are inlining just region of the function, make sure to connect new entry
2203      to ENTRY_BLOCK_PTR.  Since new entry can be part of loop, we must compute
2204      frequency and probability of ENTRY_BLOCK_PTR based on the frequencies and
2205      probabilities of edges incoming from nonduplicated region.  */
2206   if (new_entry)
2207     {
2208       edge e;
2209       edge_iterator ei;
2210
2211       FOR_EACH_EDGE (e, ei, new_entry->preds)
2212         if (!e->src->aux)
2213           {
2214             incoming_frequency += EDGE_FREQUENCY (e);
2215             incoming_count += e->count;
2216           }
2217       incoming_count = incoming_count * count_scale / REG_BR_PROB_BASE;
2218       incoming_frequency
2219         = incoming_frequency * frequency_scale / REG_BR_PROB_BASE;
2220       ENTRY_BLOCK_PTR->count = incoming_count;
2221       ENTRY_BLOCK_PTR->frequency = incoming_frequency;
2222     }
2223
2224   /* Must have a CFG here at this point.  */
2225   gcc_assert (ENTRY_BLOCK_PTR_FOR_FUNCTION
2226               (DECL_STRUCT_FUNCTION (callee_fndecl)));
2227
2228   cfun_to_copy = id->src_cfun = DECL_STRUCT_FUNCTION (callee_fndecl);
2229
2230   ENTRY_BLOCK_PTR_FOR_FUNCTION (cfun_to_copy)->aux = entry_block_map;
2231   EXIT_BLOCK_PTR_FOR_FUNCTION (cfun_to_copy)->aux = exit_block_map;
2232   entry_block_map->aux = ENTRY_BLOCK_PTR_FOR_FUNCTION (cfun_to_copy);
2233   exit_block_map->aux = EXIT_BLOCK_PTR_FOR_FUNCTION (cfun_to_copy);
2234
2235   /* Duplicate any exception-handling regions.  */
2236   if (cfun->eh)
2237     id->eh_map = duplicate_eh_regions (cfun_to_copy, NULL, id->eh_lp_nr,
2238                                        remap_decl_1, id);
2239
2240   /* Use aux pointers to map the original blocks to copy.  */
2241   FOR_EACH_BB_FN (bb, cfun_to_copy)
2242     if (!blocks_to_copy || bitmap_bit_p (blocks_to_copy, bb->index))
2243       {
2244         basic_block new_bb = copy_bb (id, bb, frequency_scale, count_scale);
2245         bb->aux = new_bb;
2246         new_bb->aux = bb;
2247       }
2248
2249   last = last_basic_block;
2250
2251   /* Now that we've duplicated the blocks, duplicate their edges.  */
2252   FOR_ALL_BB_FN (bb, cfun_to_copy)
2253     if (!blocks_to_copy
2254         || (bb->index > 0 && bitmap_bit_p (blocks_to_copy, bb->index)))
2255       need_debug_cleanup |= copy_edges_for_bb (bb, count_scale, exit_block_map);
2256
2257   if (new_entry)
2258     {
2259       edge e = make_edge (entry_block_map, (basic_block)new_entry->aux, EDGE_FALLTHRU);
2260       e->probability = REG_BR_PROB_BASE;
2261       e->count = incoming_count;
2262     }
2263
2264   if (gimple_in_ssa_p (cfun))
2265     FOR_ALL_BB_FN (bb, cfun_to_copy)
2266       if (!blocks_to_copy
2267           || (bb->index > 0 && bitmap_bit_p (blocks_to_copy, bb->index)))
2268         copy_phis_for_bb (bb, id);
2269
2270   FOR_ALL_BB_FN (bb, cfun_to_copy)
2271     if (bb->aux)
2272       {
2273         if (need_debug_cleanup
2274             && bb->index != ENTRY_BLOCK
2275             && bb->index != EXIT_BLOCK)
2276           maybe_move_debug_stmts_to_successors (id, (basic_block) bb->aux);
2277         ((basic_block)bb->aux)->aux = NULL;
2278         bb->aux = NULL;
2279       }
2280
2281   /* Zero out AUX fields of newly created block during EH edge
2282      insertion. */
2283   for (; last < last_basic_block; last++)
2284     {
2285       if (need_debug_cleanup)
2286         maybe_move_debug_stmts_to_successors (id, BASIC_BLOCK (last));
2287       BASIC_BLOCK (last)->aux = NULL;
2288     }
2289   entry_block_map->aux = NULL;
2290   exit_block_map->aux = NULL;
2291
2292   if (id->eh_map)
2293     {
2294       pointer_map_destroy (id->eh_map);
2295       id->eh_map = NULL;
2296     }
2297
2298   return new_fndecl;
2299 }
2300
2301 /* Copy the debug STMT using ID.  We deal with these statements in a
2302    special way: if any variable in their VALUE expression wasn't
2303    remapped yet, we won't remap it, because that would get decl uids
2304    out of sync, causing codegen differences between -g and -g0.  If
2305    this arises, we drop the VALUE expression altogether.  */
2306
2307 static void
2308 copy_debug_stmt (gimple stmt, copy_body_data *id)
2309 {
2310   tree t, *n;
2311   struct walk_stmt_info wi;
2312
2313   t = id->block;
2314   if (gimple_block (stmt))
2315     {
2316       tree *n;
2317       n = (tree *) pointer_map_contains (id->decl_map, gimple_block (stmt));
2318       if (n)
2319         t = *n;
2320     }
2321   gimple_set_block (stmt, t);
2322
2323   /* Remap all the operands in COPY.  */
2324   memset (&wi, 0, sizeof (wi));
2325   wi.info = id;
2326
2327   processing_debug_stmt = 1;
2328
2329   t = gimple_debug_bind_get_var (stmt);
2330
2331   if (TREE_CODE (t) == PARM_DECL && id->debug_map
2332       && (n = (tree *) pointer_map_contains (id->debug_map, t)))
2333     {
2334       gcc_assert (TREE_CODE (*n) == VAR_DECL);
2335       t = *n;
2336     }
2337   else if (TREE_CODE (t) == VAR_DECL
2338            && !TREE_STATIC (t)
2339            && gimple_in_ssa_p (cfun)
2340            && !pointer_map_contains (id->decl_map, t)
2341            && !var_ann (t))
2342     /* T is a non-localized variable.  */;
2343   else
2344     walk_tree (&t, remap_gimple_op_r, &wi, NULL);
2345
2346   gimple_debug_bind_set_var (stmt, t);
2347
2348   if (gimple_debug_bind_has_value_p (stmt))
2349     walk_tree (gimple_debug_bind_get_value_ptr (stmt),
2350                remap_gimple_op_r, &wi, NULL);
2351
2352   /* Punt if any decl couldn't be remapped.  */
2353   if (processing_debug_stmt < 0)
2354     gimple_debug_bind_reset_value (stmt);
2355
2356   processing_debug_stmt = 0;
2357
2358   update_stmt (stmt);
2359   if (gimple_in_ssa_p (cfun))
2360     mark_symbols_for_renaming (stmt);
2361 }
2362
2363 /* Process deferred debug stmts.  In order to give values better odds
2364    of being successfully remapped, we delay the processing of debug
2365    stmts until all other stmts that might require remapping are
2366    processed.  */
2367
2368 static void
2369 copy_debug_stmts (copy_body_data *id)
2370 {
2371   size_t i;
2372   gimple stmt;
2373
2374   if (!id->debug_stmts)
2375     return;
2376
2377   FOR_EACH_VEC_ELT (gimple, id->debug_stmts, i, stmt)
2378     copy_debug_stmt (stmt, id);
2379
2380   VEC_free (gimple, heap, id->debug_stmts);
2381 }
2382
2383 /* Make a copy of the body of SRC_FN so that it can be inserted inline in
2384    another function.  */
2385
2386 static tree
2387 copy_tree_body (copy_body_data *id)
2388 {
2389   tree fndecl = id->src_fn;
2390   tree body = DECL_SAVED_TREE (fndecl);
2391
2392   walk_tree (&body, copy_tree_body_r, id, NULL);
2393
2394   return body;
2395 }
2396
2397 /* Make a copy of the body of FN so that it can be inserted inline in
2398    another function.  */
2399
2400 static tree
2401 copy_body (copy_body_data *id, gcov_type count, int frequency_scale,
2402            basic_block entry_block_map, basic_block exit_block_map,
2403            bitmap blocks_to_copy, basic_block new_entry)
2404 {
2405   tree fndecl = id->src_fn;
2406   tree body;
2407
2408   /* If this body has a CFG, walk CFG and copy.  */
2409   gcc_assert (ENTRY_BLOCK_PTR_FOR_FUNCTION (DECL_STRUCT_FUNCTION (fndecl)));
2410   body = copy_cfg_body (id, count, frequency_scale, entry_block_map, exit_block_map,
2411                         blocks_to_copy, new_entry);
2412   copy_debug_stmts (id);
2413
2414   return body;
2415 }
2416
2417 /* Return true if VALUE is an ADDR_EXPR of an automatic variable
2418    defined in function FN, or of a data member thereof.  */
2419
2420 static bool
2421 self_inlining_addr_expr (tree value, tree fn)
2422 {
2423   tree var;
2424
2425   if (TREE_CODE (value) != ADDR_EXPR)
2426     return false;
2427
2428   var = get_base_address (TREE_OPERAND (value, 0));
2429
2430   return var && auto_var_in_fn_p (var, fn);
2431 }
2432
2433 /* Append to BB a debug annotation that binds VAR to VALUE, inheriting
2434    lexical block and line number information from base_stmt, if given,
2435    or from the last stmt of the block otherwise.  */
2436
2437 static gimple
2438 insert_init_debug_bind (copy_body_data *id,
2439                         basic_block bb, tree var, tree value,
2440                         gimple base_stmt)
2441 {
2442   gimple note;
2443   gimple_stmt_iterator gsi;
2444   tree tracked_var;
2445
2446   if (!gimple_in_ssa_p (id->src_cfun))
2447     return NULL;
2448
2449   if (!MAY_HAVE_DEBUG_STMTS)
2450     return NULL;
2451
2452   tracked_var = target_for_debug_bind (var);
2453   if (!tracked_var)
2454     return NULL;
2455
2456   if (bb)
2457     {
2458       gsi = gsi_last_bb (bb);
2459       if (!base_stmt && !gsi_end_p (gsi))
2460         base_stmt = gsi_stmt (gsi);
2461     }
2462
2463   note = gimple_build_debug_bind (tracked_var, value, base_stmt);
2464
2465   if (bb)
2466     {
2467       if (!gsi_end_p (gsi))
2468         gsi_insert_after (&gsi, note, GSI_SAME_STMT);
2469       else
2470         gsi_insert_before (&gsi, note, GSI_SAME_STMT);
2471     }
2472
2473   return note;
2474 }
2475
2476 static void
2477 insert_init_stmt (copy_body_data *id, basic_block bb, gimple init_stmt)
2478 {
2479   /* If VAR represents a zero-sized variable, it's possible that the
2480      assignment statement may result in no gimple statements.  */
2481   if (init_stmt)
2482     {
2483       gimple_stmt_iterator si = gsi_last_bb (bb);
2484
2485       /* We can end up with init statements that store to a non-register
2486          from a rhs with a conversion.  Handle that here by forcing the
2487          rhs into a temporary.  gimple_regimplify_operands is not
2488          prepared to do this for us.  */
2489       if (!is_gimple_debug (init_stmt)
2490           && !is_gimple_reg (gimple_assign_lhs (init_stmt))
2491           && is_gimple_reg_type (TREE_TYPE (gimple_assign_lhs (init_stmt)))
2492           && gimple_assign_rhs_class (init_stmt) == GIMPLE_UNARY_RHS)
2493         {
2494           tree rhs = build1 (gimple_assign_rhs_code (init_stmt),
2495                              gimple_expr_type (init_stmt),
2496                              gimple_assign_rhs1 (init_stmt));
2497           rhs = force_gimple_operand_gsi (&si, rhs, true, NULL_TREE, false,
2498                                           GSI_NEW_STMT);
2499           gimple_assign_set_rhs_code (init_stmt, TREE_CODE (rhs));
2500           gimple_assign_set_rhs1 (init_stmt, rhs);
2501         }
2502       gsi_insert_after (&si, init_stmt, GSI_NEW_STMT);
2503       gimple_regimplify_operands (init_stmt, &si);
2504       mark_symbols_for_renaming (init_stmt);
2505
2506       if (!is_gimple_debug (init_stmt) && MAY_HAVE_DEBUG_STMTS)
2507         {
2508           tree var, def = gimple_assign_lhs (init_stmt);
2509
2510           if (TREE_CODE (def) == SSA_NAME)
2511             var = SSA_NAME_VAR (def);
2512           else
2513             var = def;
2514
2515           insert_init_debug_bind (id, bb, var, def, init_stmt);
2516         }
2517     }
2518 }
2519
2520 /* Initialize parameter P with VALUE.  If needed, produce init statement
2521    at the end of BB.  When BB is NULL, we return init statement to be
2522    output later.  */
2523 static gimple
2524 setup_one_parameter (copy_body_data *id, tree p, tree value, tree fn,
2525                      basic_block bb, tree *vars)
2526 {
2527   gimple init_stmt = NULL;
2528   tree var;
2529   tree rhs = value;
2530   tree def = (gimple_in_ssa_p (cfun)
2531               ? gimple_default_def (id->src_cfun, p) : NULL);
2532
2533   if (value
2534       && value != error_mark_node
2535       && !useless_type_conversion_p (TREE_TYPE (p), TREE_TYPE (value)))
2536     {
2537       if (fold_convertible_p (TREE_TYPE (p), value))
2538         rhs = fold_build1 (NOP_EXPR, TREE_TYPE (p), value);
2539       else
2540         /* ???  For valid (GIMPLE) programs we should not end up here.
2541            Still if something has gone wrong and we end up with truly
2542            mismatched types here, fall back to using a VIEW_CONVERT_EXPR
2543            to not leak invalid GIMPLE to the following passes.  */
2544         rhs = fold_build1 (VIEW_CONVERT_EXPR, TREE_TYPE (p), value);
2545     }
2546
2547   /* Make an equivalent VAR_DECL.  Note that we must NOT remap the type
2548      here since the type of this decl must be visible to the calling
2549      function.  */
2550   var = copy_decl_to_var (p, id);
2551
2552   /* We're actually using the newly-created var.  */
2553   if (gimple_in_ssa_p (cfun) && TREE_CODE (var) == VAR_DECL)
2554     add_referenced_var (var);
2555
2556   /* Declare this new variable.  */
2557   DECL_CHAIN (var) = *vars;
2558   *vars = var;
2559
2560   /* Make gimplifier happy about this variable.  */
2561   DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
2562
2563   /* If the parameter is never assigned to, has no SSA_NAMEs created,
2564      we would not need to create a new variable here at all, if it
2565      weren't for debug info.  Still, we can just use the argument
2566      value.  */
2567   if (TREE_READONLY (p)
2568       && !TREE_ADDRESSABLE (p)
2569       && value && !TREE_SIDE_EFFECTS (value)
2570       && !def)
2571     {
2572       /* We may produce non-gimple trees by adding NOPs or introduce
2573          invalid sharing when operand is not really constant.
2574          It is not big deal to prohibit constant propagation here as
2575          we will constant propagate in DOM1 pass anyway.  */
2576       if (is_gimple_min_invariant (value)
2577           && useless_type_conversion_p (TREE_TYPE (p),
2578                                                  TREE_TYPE (value))
2579           /* We have to be very careful about ADDR_EXPR.  Make sure
2580              the base variable isn't a local variable of the inlined
2581              function, e.g., when doing recursive inlining, direct or
2582              mutually-recursive or whatever, which is why we don't
2583              just test whether fn == current_function_decl.  */
2584           && ! self_inlining_addr_expr (value, fn))
2585         {
2586           insert_decl_map (id, p, value);
2587           insert_debug_decl_map (id, p, var);
2588           return insert_init_debug_bind (id, bb, var, value, NULL);
2589         }
2590     }
2591
2592   /* Register the VAR_DECL as the equivalent for the PARM_DECL;
2593      that way, when the PARM_DECL is encountered, it will be
2594      automatically replaced by the VAR_DECL.  */
2595   insert_decl_map (id, p, var);
2596
2597   /* Even if P was TREE_READONLY, the new VAR should not be.
2598      In the original code, we would have constructed a
2599      temporary, and then the function body would have never
2600      changed the value of P.  However, now, we will be
2601      constructing VAR directly.  The constructor body may
2602      change its value multiple times as it is being
2603      constructed.  Therefore, it must not be TREE_READONLY;
2604      the back-end assumes that TREE_READONLY variable is
2605      assigned to only once.  */
2606   if (TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (p)))
2607     TREE_READONLY (var) = 0;
2608
2609   /* If there is no setup required and we are in SSA, take the easy route
2610      replacing all SSA names representing the function parameter by the
2611      SSA name passed to function.
2612
2613      We need to construct map for the variable anyway as it might be used
2614      in different SSA names when parameter is set in function.
2615
2616      Do replacement at -O0 for const arguments replaced by constant.
2617      This is important for builtin_constant_p and other construct requiring
2618      constant argument to be visible in inlined function body.  */
2619   if (gimple_in_ssa_p (cfun) && rhs && def && is_gimple_reg (p)
2620       && (optimize
2621           || (TREE_READONLY (p)
2622               && is_gimple_min_invariant (rhs)))
2623       && (TREE_CODE (rhs) == SSA_NAME
2624           || is_gimple_min_invariant (rhs))
2625       && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def))
2626     {
2627       insert_decl_map (id, def, rhs);
2628       return insert_init_debug_bind (id, bb, var, rhs, NULL);
2629     }
2630
2631   /* If the value of argument is never used, don't care about initializing
2632      it.  */
2633   if (optimize && gimple_in_ssa_p (cfun) && !def && is_gimple_reg (p))
2634     {
2635       gcc_assert (!value || !TREE_SIDE_EFFECTS (value));
2636       return insert_init_debug_bind (id, bb, var, rhs, NULL);
2637     }
2638
2639   /* Initialize this VAR_DECL from the equivalent argument.  Convert
2640      the argument to the proper type in case it was promoted.  */
2641   if (value)
2642     {
2643       if (rhs == error_mark_node)
2644         {
2645           insert_decl_map (id, p, var);
2646           return insert_init_debug_bind (id, bb, var, rhs, NULL);
2647         }
2648
2649       STRIP_USELESS_TYPE_CONVERSION (rhs);
2650
2651       /* We want to use MODIFY_EXPR, not INIT_EXPR here so that we
2652          keep our trees in gimple form.  */
2653       if (def && gimple_in_ssa_p (cfun) && is_gimple_reg (p))
2654         {
2655           def = remap_ssa_name (def, id);
2656           init_stmt = gimple_build_assign (def, rhs);
2657           SSA_NAME_IS_DEFAULT_DEF (def) = 0;
2658           set_default_def (var, NULL);
2659         }
2660       else
2661         init_stmt = gimple_build_assign (var, rhs);
2662
2663       if (bb && init_stmt)
2664         insert_init_stmt (id, bb, init_stmt);
2665     }
2666   return init_stmt;
2667 }
2668
2669 /* Generate code to initialize the parameters of the function at the
2670    top of the stack in ID from the GIMPLE_CALL STMT.  */
2671
2672 static void
2673 initialize_inlined_parameters (copy_body_data *id, gimple stmt,
2674                                tree fn, basic_block bb)
2675 {
2676   tree parms;
2677   size_t i;
2678   tree p;
2679   tree vars = NULL_TREE;
2680   tree static_chain = gimple_call_chain (stmt);
2681
2682   /* Figure out what the parameters are.  */
2683   parms = DECL_ARGUMENTS (fn);
2684
2685   /* Loop through the parameter declarations, replacing each with an
2686      equivalent VAR_DECL, appropriately initialized.  */
2687   for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
2688     {
2689       tree val;
2690       val = i < gimple_call_num_args (stmt) ? gimple_call_arg (stmt, i) : NULL;
2691       setup_one_parameter (id, p, val, fn, bb, &vars);
2692     }
2693   /* After remapping parameters remap their types.  This has to be done
2694      in a second loop over all parameters to appropriately remap
2695      variable sized arrays when the size is specified in a
2696      parameter following the array.  */
2697   for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++)
2698     {
2699       tree *varp = (tree *) pointer_map_contains (id->decl_map, p);
2700       if (varp
2701           && TREE_CODE (*varp) == VAR_DECL)
2702         {
2703           tree def = (gimple_in_ssa_p (cfun) && is_gimple_reg (p)
2704                       ? gimple_default_def (id->src_cfun, p) : NULL);
2705           tree var = *varp;
2706           TREE_TYPE (var) = remap_type (TREE_TYPE (var), id);
2707           /* Also remap the default definition if it was remapped
2708              to the default definition of the parameter replacement
2709              by the parameter setup.  */
2710           if (def)
2711             {
2712               tree *defp = (tree *) pointer_map_contains (id->decl_map, def);
2713               if (defp
2714                   && TREE_CODE (*defp) == SSA_NAME
2715                   && SSA_NAME_VAR (*defp) == var)
2716                 TREE_TYPE (*defp) = TREE_TYPE (var);
2717             }
2718         }
2719     }
2720
2721   /* Initialize the static chain.  */
2722   p = DECL_STRUCT_FUNCTION (fn)->static_chain_decl;
2723   gcc_assert (fn != current_function_decl);
2724   if (p)
2725     {
2726       /* No static chain?  Seems like a bug in tree-nested.c.  */
2727       gcc_assert (static_chain);
2728
2729       setup_one_parameter (id, p, static_chain, fn, bb, &vars);
2730     }
2731
2732   declare_inline_vars (id->block, vars);
2733 }
2734
2735
2736 /* Declare a return variable to replace the RESULT_DECL for the
2737    function we are calling.  An appropriate DECL_STMT is returned.
2738    The USE_STMT is filled to contain a use of the declaration to
2739    indicate the return value of the function.
2740
2741    RETURN_SLOT, if non-null is place where to store the result.  It
2742    is set only for CALL_EXPR_RETURN_SLOT_OPT.  MODIFY_DEST, if non-null,
2743    was the LHS of the MODIFY_EXPR to which this call is the RHS.
2744
2745    The return value is a (possibly null) value that holds the result
2746    as seen by the caller.  */
2747
2748 static tree
2749 declare_return_variable (copy_body_data *id, tree return_slot, tree modify_dest,
2750                          basic_block entry_bb)
2751 {
2752   tree callee = id->src_fn;
2753   tree result = DECL_RESULT (callee);
2754   tree callee_type = TREE_TYPE (result);
2755   tree caller_type;
2756   tree var, use;
2757
2758   /* Handle type-mismatches in the function declaration return type
2759      vs. the call expression.  */
2760   if (modify_dest)
2761     caller_type = TREE_TYPE (modify_dest);
2762   else
2763     caller_type = TREE_TYPE (TREE_TYPE (callee));
2764
2765   /* We don't need to do anything for functions that don't return
2766      anything.  */
2767   if (!result || VOID_TYPE_P (callee_type))
2768     return NULL_TREE;
2769
2770   /* If there was a return slot, then the return value is the
2771      dereferenced address of that object.  */
2772   if (return_slot)
2773     {
2774       /* The front end shouldn't have used both return_slot and
2775          a modify expression.  */
2776       gcc_assert (!modify_dest);
2777       if (DECL_BY_REFERENCE (result))
2778         {
2779           tree return_slot_addr = build_fold_addr_expr (return_slot);
2780           STRIP_USELESS_TYPE_CONVERSION (return_slot_addr);
2781
2782           /* We are going to construct *&return_slot and we can't do that
2783              for variables believed to be not addressable.
2784
2785              FIXME: This check possibly can match, because values returned
2786              via return slot optimization are not believed to have address
2787              taken by alias analysis.  */
2788           gcc_assert (TREE_CODE (return_slot) != SSA_NAME);
2789           var = return_slot_addr;
2790         }
2791       else
2792         {
2793           var = return_slot;
2794           gcc_assert (TREE_CODE (var) != SSA_NAME);
2795           TREE_ADDRESSABLE (var) |= TREE_ADDRESSABLE (result);
2796         }
2797       if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
2798            || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
2799           && !DECL_GIMPLE_REG_P (result)
2800           && DECL_P (var))
2801         DECL_GIMPLE_REG_P (var) = 0;
2802       use = NULL;
2803       goto done;
2804     }
2805
2806   /* All types requiring non-trivial constructors should have been handled.  */
2807   gcc_assert (!TREE_ADDRESSABLE (callee_type));
2808
2809   /* Attempt to avoid creating a new temporary variable.  */
2810   if (modify_dest
2811       && TREE_CODE (modify_dest) != SSA_NAME)
2812     {
2813       bool use_it = false;
2814
2815       /* We can't use MODIFY_DEST if there's type promotion involved.  */
2816       if (!useless_type_conversion_p (callee_type, caller_type))
2817         use_it = false;
2818
2819       /* ??? If we're assigning to a variable sized type, then we must
2820          reuse the destination variable, because we've no good way to
2821          create variable sized temporaries at this point.  */
2822       else if (TREE_CODE (TYPE_SIZE_UNIT (caller_type)) != INTEGER_CST)
2823         use_it = true;
2824
2825       /* If the callee cannot possibly modify MODIFY_DEST, then we can
2826          reuse it as the result of the call directly.  Don't do this if
2827          it would promote MODIFY_DEST to addressable.  */
2828       else if (TREE_ADDRESSABLE (result))
2829         use_it = false;
2830       else
2831         {
2832           tree base_m = get_base_address (modify_dest);
2833
2834           /* If the base isn't a decl, then it's a pointer, and we don't
2835              know where that's going to go.  */
2836           if (!DECL_P (base_m))
2837             use_it = false;
2838           else if (is_global_var (base_m))
2839             use_it = false;
2840           else if ((TREE_CODE (TREE_TYPE (result)) == COMPLEX_TYPE
2841                     || TREE_CODE (TREE_TYPE (result)) == VECTOR_TYPE)
2842                    && !DECL_GIMPLE_REG_P (result)
2843                    && DECL_GIMPLE_REG_P (base_m))
2844             use_it = false;
2845           else if (!TREE_ADDRESSABLE (base_m))
2846             use_it = true;
2847         }
2848
2849       if (use_it)
2850         {
2851           var = modify_dest;
2852           use = NULL;
2853           goto done;
2854         }
2855     }
2856
2857   gcc_assert (TREE_CODE (TYPE_SIZE_UNIT (callee_type)) == INTEGER_CST);
2858
2859   var = copy_result_decl_to_var (result, id);
2860   if (gimple_in_ssa_p (cfun))
2861     add_referenced_var (var);
2862
2863   DECL_SEEN_IN_BIND_EXPR_P (var) = 1;
2864
2865   /* Do not have the rest of GCC warn about this variable as it should
2866      not be visible to the user.  */
2867   TREE_NO_WARNING (var) = 1;
2868
2869   declare_inline_vars (id->block, var);
2870
2871   /* Build the use expr.  If the return type of the function was
2872      promoted, convert it back to the expected type.  */
2873   use = var;
2874   if (!useless_type_conversion_p (caller_type, TREE_TYPE (var)))
2875     use = fold_convert (caller_type, var);
2876
2877   STRIP_USELESS_TYPE_CONVERSION (use);
2878
2879   if (DECL_BY_REFERENCE (result))
2880     {
2881       TREE_ADDRESSABLE (var) = 1;
2882       var = build_fold_addr_expr (var);
2883     }
2884
2885  done:
2886   /* Register the VAR_DECL as the equivalent for the RESULT_DECL; that
2887      way, when the RESULT_DECL is encountered, it will be
2888      automatically replaced by the VAR_DECL.  
2889
2890      When returning by reference, ensure that RESULT_DECL remaps to
2891      gimple_val.  */
2892   if (DECL_BY_REFERENCE (result)
2893       && !is_gimple_val (var))
2894     {
2895       tree temp = create_tmp_var (TREE_TYPE (result), "retvalptr");
2896       if (gimple_in_ssa_p (id->src_cfun))
2897         add_referenced_var (temp);
2898       insert_decl_map (id, result, temp);
2899       /* When RESULT_DECL is in SSA form, we need to use it's default_def
2900          SSA_NAME.  */
2901       if (gimple_in_ssa_p (id->src_cfun) && gimple_default_def (id->src_cfun, result))
2902         temp = remap_ssa_name (gimple_default_def (id->src_cfun, result), id);
2903       insert_init_stmt (id, entry_bb, gimple_build_assign (temp, var));
2904     }
2905   else
2906     insert_decl_map (id, result, var);
2907
2908   /* Remember this so we can ignore it in remap_decls.  */
2909   id->retvar = var;
2910
2911   return use;
2912 }
2913
2914 /* Callback through walk_tree.  Determine if a DECL_INITIAL makes reference
2915    to a local label.  */
2916
2917 static tree
2918 has_label_address_in_static_1 (tree *nodep, int *walk_subtrees, void *fnp)
2919 {
2920   tree node = *nodep;
2921   tree fn = (tree) fnp;
2922
2923   if (TREE_CODE (node) == LABEL_DECL && DECL_CONTEXT (node) == fn)
2924     return node;
2925
2926   if (TYPE_P (node))
2927     *walk_subtrees = 0;
2928
2929   return NULL_TREE;
2930 }
2931
2932 /* Determine if the function can be copied.  If so return NULL.  If
2933    not return a string describng the reason for failure.  */
2934
2935 static const char *
2936 copy_forbidden (struct function *fun, tree fndecl)
2937 {
2938   const char *reason = fun->cannot_be_copied_reason;
2939   tree decl;
2940   unsigned ix;
2941
2942   /* Only examine the function once.  */
2943   if (fun->cannot_be_copied_set)
2944     return reason;
2945
2946   /* We cannot copy a function that receives a non-local goto
2947      because we cannot remap the destination label used in the
2948      function that is performing the non-local goto.  */
2949   /* ??? Actually, this should be possible, if we work at it.
2950      No doubt there's just a handful of places that simply
2951      assume it doesn't happen and don't substitute properly.  */
2952   if (fun->has_nonlocal_label)
2953     {
2954       reason = G_("function %q+F can never be copied "
2955                   "because it receives a non-local goto");
2956       goto fail;
2957     }
2958
2959   FOR_EACH_LOCAL_DECL (fun, ix, decl)
2960     if (TREE_CODE (decl) == VAR_DECL
2961         && TREE_STATIC (decl)
2962         && !DECL_EXTERNAL (decl)
2963         && DECL_INITIAL (decl)
2964         && walk_tree_without_duplicates (&DECL_INITIAL (decl),
2965                                          has_label_address_in_static_1,
2966                                          fndecl))
2967       {
2968         reason = G_("function %q+F can never be copied because it saves "
2969                     "address of local label in a static variable");
2970         goto fail;
2971       }
2972
2973  fail:
2974   fun->cannot_be_copied_reason = reason;
2975   fun->cannot_be_copied_set = true;
2976   return reason;
2977 }
2978
2979
2980 static const char *inline_forbidden_reason;
2981
2982 /* A callback for walk_gimple_seq to handle statements.  Returns non-null
2983    iff a function can not be inlined.  Also sets the reason why. */
2984
2985 static tree
2986 inline_forbidden_p_stmt (gimple_stmt_iterator *gsi, bool *handled_ops_p,
2987                          struct walk_stmt_info *wip)
2988 {
2989   tree fn = (tree) wip->info;
2990   tree t;
2991   gimple stmt = gsi_stmt (*gsi);
2992
2993   switch (gimple_code (stmt))
2994     {
2995     case GIMPLE_CALL:
2996       /* Refuse to inline alloca call unless user explicitly forced so as
2997          this may change program's memory overhead drastically when the
2998          function using alloca is called in loop.  In GCC present in
2999          SPEC2000 inlining into schedule_block cause it to require 2GB of
3000          RAM instead of 256MB.  */
3001       if (gimple_alloca_call_p (stmt)
3002           && !lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)))
3003         {
3004           inline_forbidden_reason
3005             = G_("function %q+F can never be inlined because it uses "
3006                  "alloca (override using the always_inline attribute)");
3007           *handled_ops_p = true;
3008           return fn;
3009         }
3010
3011       t = gimple_call_fndecl (stmt);
3012       if (t == NULL_TREE)
3013         break;
3014
3015       /* We cannot inline functions that call setjmp.  */
3016       if (setjmp_call_p (t))
3017         {
3018           inline_forbidden_reason
3019             = G_("function %q+F can never be inlined because it uses setjmp");
3020           *handled_ops_p = true;
3021           return t;
3022         }
3023
3024       if (DECL_BUILT_IN_CLASS (t) == BUILT_IN_NORMAL)
3025         switch (DECL_FUNCTION_CODE (t))
3026           {
3027             /* We cannot inline functions that take a variable number of
3028                arguments.  */
3029           case BUILT_IN_VA_START:
3030           case BUILT_IN_NEXT_ARG:
3031           case BUILT_IN_VA_END:
3032             inline_forbidden_reason
3033               = G_("function %q+F can never be inlined because it "
3034                    "uses variable argument lists");
3035             *handled_ops_p = true;
3036             return t;
3037
3038           case BUILT_IN_LONGJMP:
3039             /* We can't inline functions that call __builtin_longjmp at
3040                all.  The non-local goto machinery really requires the
3041                destination be in a different function.  If we allow the
3042                function calling __builtin_longjmp to be inlined into the
3043                function calling __builtin_setjmp, Things will Go Awry.  */
3044             inline_forbidden_reason
3045               = G_("function %q+F can never be inlined because "
3046                    "it uses setjmp-longjmp exception handling");
3047             *handled_ops_p = true;
3048             return t;
3049
3050           case BUILT_IN_NONLOCAL_GOTO:
3051             /* Similarly.  */
3052             inline_forbidden_reason
3053               = G_("function %q+F can never be inlined because "
3054                    "it uses non-local goto");
3055             *handled_ops_p = true;
3056             return t;
3057
3058           case BUILT_IN_RETURN:
3059           case BUILT_IN_APPLY_ARGS:
3060             /* If a __builtin_apply_args caller would be inlined,
3061                it would be saving arguments of the function it has
3062                been inlined into.  Similarly __builtin_return would
3063                return from the function the inline has been inlined into.  */
3064             inline_forbidden_reason
3065               = G_("function %q+F can never be inlined because "
3066                    "it uses __builtin_return or __builtin_apply_args");
3067             *handled_ops_p = true;
3068             return t;
3069
3070           default:
3071             break;
3072           }
3073       break;
3074
3075     case GIMPLE_GOTO:
3076       t = gimple_goto_dest (stmt);
3077
3078       /* We will not inline a function which uses computed goto.  The
3079          addresses of its local labels, which may be tucked into
3080          global storage, are of course not constant across
3081          instantiations, which causes unexpected behavior.  */
3082       if (TREE_CODE (t) != LABEL_DECL)
3083         {
3084           inline_forbidden_reason
3085             = G_("function %q+F can never be inlined "
3086                  "because it contains a computed goto");
3087           *handled_ops_p = true;
3088           return t;
3089         }
3090       break;
3091
3092     default:
3093       break;
3094     }
3095
3096   *handled_ops_p = false;
3097   return NULL_TREE;
3098 }
3099
3100 /* Return true if FNDECL is a function that cannot be inlined into
3101    another one.  */
3102
3103 static bool
3104 inline_forbidden_p (tree fndecl)
3105 {
3106   struct function *fun = DECL_STRUCT_FUNCTION (fndecl);
3107   struct walk_stmt_info wi;
3108   struct pointer_set_t *visited_nodes;
3109   basic_block bb;
3110   bool forbidden_p = false;
3111
3112   /* First check for shared reasons not to copy the code.  */
3113   inline_forbidden_reason = copy_forbidden (fun, fndecl);
3114   if (inline_forbidden_reason != NULL)
3115     return true;
3116
3117   /* Next, walk the statements of the function looking for
3118      constraucts we can't handle, or are non-optimal for inlining.  */
3119   visited_nodes = pointer_set_create ();
3120   memset (&wi, 0, sizeof (wi));
3121   wi.info = (void *) fndecl;
3122   wi.pset = visited_nodes;
3123
3124   FOR_EACH_BB_FN (bb, fun)
3125     {
3126       gimple ret;
3127       gimple_seq seq = bb_seq (bb);
3128       ret = walk_gimple_seq (seq, inline_forbidden_p_stmt, NULL, &wi);
3129       forbidden_p = (ret != NULL);
3130       if (forbidden_p)
3131         break;
3132     }
3133
3134   pointer_set_destroy (visited_nodes);
3135   return forbidden_p;
3136 }
3137
3138 /* Return true if CALLEE cannot be inlined into CALLER.  */
3139
3140 static bool
3141 inline_forbidden_into_p (tree caller, tree callee)
3142 {
3143   /* Don't inline if the functions have different EH personalities.  */
3144   if (DECL_FUNCTION_PERSONALITY (caller)
3145       && DECL_FUNCTION_PERSONALITY (callee)
3146       && (DECL_FUNCTION_PERSONALITY (caller)
3147           != DECL_FUNCTION_PERSONALITY (callee)))
3148     return true;
3149
3150   /* Don't inline if the callee can throw non-call exceptions but the
3151      caller cannot.  */
3152   if (DECL_STRUCT_FUNCTION (callee)
3153       && DECL_STRUCT_FUNCTION (callee)->can_throw_non_call_exceptions
3154       && !(DECL_STRUCT_FUNCTION (caller)
3155            && DECL_STRUCT_FUNCTION (caller)->can_throw_non_call_exceptions))
3156     return true;
3157
3158   return false;
3159 }
3160
3161 /* Returns nonzero if FN is a function that does not have any
3162    fundamental inline blocking properties.  */
3163
3164 bool
3165 tree_inlinable_function_p (tree fn)
3166 {
3167   bool inlinable = true;
3168   bool do_warning;
3169   tree always_inline;
3170
3171   /* If we've already decided this function shouldn't be inlined,
3172      there's no need to check again.  */
3173   if (DECL_UNINLINABLE (fn))
3174     return false;
3175
3176   /* We only warn for functions declared `inline' by the user.  */
3177   do_warning = (warn_inline
3178                 && DECL_DECLARED_INLINE_P (fn)
3179                 && !DECL_NO_INLINE_WARNING_P (fn)
3180                 && !DECL_IN_SYSTEM_HEADER (fn));
3181
3182   always_inline = lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn));
3183
3184   if (flag_no_inline
3185       && always_inline == NULL)
3186     {
3187       if (do_warning)
3188         warning (OPT_Winline, "function %q+F can never be inlined because it "
3189                  "is suppressed using -fno-inline", fn);
3190       inlinable = false;
3191     }
3192
3193   else if (!function_attribute_inlinable_p (fn))
3194     {
3195       if (do_warning)
3196         warning (OPT_Winline, "function %q+F can never be inlined because it "
3197                  "uses attributes conflicting with inlining", fn);
3198       inlinable = false;
3199     }
3200
3201   else if (inline_forbidden_p (fn))
3202     {
3203       /* See if we should warn about uninlinable functions.  Previously,
3204          some of these warnings would be issued while trying to expand
3205          the function inline, but that would cause multiple warnings
3206          about functions that would for example call alloca.  But since
3207          this a property of the function, just one warning is enough.
3208          As a bonus we can now give more details about the reason why a
3209          function is not inlinable.  */
3210       if (always_inline)
3211         sorry (inline_forbidden_reason, fn);
3212       else if (do_warning)
3213         warning (OPT_Winline, inline_forbidden_reason, fn);
3214
3215       inlinable = false;
3216     }
3217
3218   /* Squirrel away the result so that we don't have to check again.  */
3219   DECL_UNINLINABLE (fn) = !inlinable;
3220
3221   return inlinable;
3222 }
3223
3224 /* Estimate the cost of a memory move.  Use machine dependent
3225    word size and take possible memcpy call into account.  */
3226
3227 int
3228 estimate_move_cost (tree type)
3229 {
3230   HOST_WIDE_INT size;
3231
3232   gcc_assert (!VOID_TYPE_P (type));
3233
3234   if (TREE_CODE (type) == VECTOR_TYPE)
3235     {
3236       enum machine_mode inner = TYPE_MODE (TREE_TYPE (type));
3237       enum machine_mode simd
3238         = targetm.vectorize.preferred_simd_mode (inner);
3239       int simd_mode_size = GET_MODE_SIZE (simd);
3240       return ((GET_MODE_SIZE (TYPE_MODE (type)) + simd_mode_size - 1)
3241               / simd_mode_size);
3242     }
3243
3244   size = int_size_in_bytes (type);
3245
3246   if (size < 0 || size > MOVE_MAX_PIECES * MOVE_RATIO (!optimize_size))
3247     /* Cost of a memcpy call, 3 arguments and the call.  */
3248     return 4;
3249   else
3250     return ((size + MOVE_MAX_PIECES - 1) / MOVE_MAX_PIECES);
3251 }
3252
3253 /* Returns cost of operation CODE, according to WEIGHTS  */
3254
3255 static int
3256 estimate_operator_cost (enum tree_code code, eni_weights *weights,
3257                         tree op1 ATTRIBUTE_UNUSED, tree op2)
3258 {
3259   switch (code)
3260     {
3261     /* These are "free" conversions, or their presumed cost
3262        is folded into other operations.  */
3263     case RANGE_EXPR:
3264     CASE_CONVERT:
3265     case COMPLEX_EXPR:
3266     case PAREN_EXPR:
3267     case VIEW_CONVERT_EXPR:
3268       return 0;
3269
3270     /* Assign cost of 1 to usual operations.
3271        ??? We may consider mapping RTL costs to this.  */
3272     case COND_EXPR:
3273     case VEC_COND_EXPR:
3274
3275     case PLUS_EXPR:
3276     case POINTER_PLUS_EXPR:
3277     case MINUS_EXPR:
3278     case MULT_EXPR:
3279     case FMA_EXPR:
3280
3281     case ADDR_SPACE_CONVERT_EXPR:
3282     case FIXED_CONVERT_EXPR:
3283     case FIX_TRUNC_EXPR:
3284
3285     case NEGATE_EXPR:
3286     case FLOAT_EXPR:
3287     case MIN_EXPR:
3288     case MAX_EXPR:
3289     case ABS_EXPR:
3290
3291     case LSHIFT_EXPR:
3292     case RSHIFT_EXPR:
3293     case LROTATE_EXPR:
3294     case RROTATE_EXPR:
3295     case VEC_LSHIFT_EXPR:
3296     case VEC_RSHIFT_EXPR:
3297
3298     case BIT_IOR_EXPR:
3299     case BIT_XOR_EXPR:
3300     case BIT_AND_EXPR:
3301     case BIT_NOT_EXPR:
3302
3303     case TRUTH_ANDIF_EXPR:
3304     case TRUTH_ORIF_EXPR:
3305     case TRUTH_AND_EXPR:
3306     case TRUTH_OR_EXPR:
3307     case TRUTH_XOR_EXPR:
3308     case TRUTH_NOT_EXPR:
3309
3310     case LT_EXPR:
3311     case LE_EXPR:
3312     case GT_EXPR:
3313     case GE_EXPR:
3314     case EQ_EXPR:
3315     case NE_EXPR:
3316     case ORDERED_EXPR:
3317     case UNORDERED_EXPR:
3318
3319     case UNLT_EXPR:
3320     case UNLE_EXPR:
3321     case UNGT_EXPR:
3322     case UNGE_EXPR:
3323     case UNEQ_EXPR:
3324     case LTGT_EXPR:
3325
3326     case CONJ_EXPR:
3327
3328     case PREDECREMENT_EXPR:
3329     case PREINCREMENT_EXPR:
3330     case POSTDECREMENT_EXPR:
3331     case POSTINCREMENT_EXPR:
3332
3333     case REALIGN_LOAD_EXPR:
3334
3335     case REDUC_MAX_EXPR:
3336     case REDUC_MIN_EXPR:
3337     case REDUC_PLUS_EXPR:
3338     case WIDEN_SUM_EXPR:
3339     case WIDEN_MULT_EXPR:
3340     case DOT_PROD_EXPR:
3341     case WIDEN_MULT_PLUS_EXPR:
3342     case WIDEN_MULT_MINUS_EXPR:
3343
3344     case VEC_WIDEN_MULT_HI_EXPR:
3345     case VEC_WIDEN_MULT_LO_EXPR:
3346     case VEC_UNPACK_HI_EXPR:
3347     case VEC_UNPACK_LO_EXPR:
3348     case VEC_UNPACK_FLOAT_HI_EXPR:
3349     case VEC_UNPACK_FLOAT_LO_EXPR:
3350     case VEC_PACK_TRUNC_EXPR:
3351     case VEC_PACK_SAT_EXPR:
3352     case VEC_PACK_FIX_TRUNC_EXPR:
3353     case VEC_EXTRACT_EVEN_EXPR:
3354     case VEC_EXTRACT_ODD_EXPR:
3355     case VEC_INTERLEAVE_HIGH_EXPR:
3356     case VEC_INTERLEAVE_LOW_EXPR:
3357
3358       return 1;
3359
3360     /* Few special cases of expensive operations.  This is useful
3361        to avoid inlining on functions having too many of these.  */
3362     case TRUNC_DIV_EXPR:
3363     case CEIL_DIV_EXPR:
3364     case FLOOR_DIV_EXPR:
3365     case ROUND_DIV_EXPR:
3366     case EXACT_DIV_EXPR:
3367     case TRUNC_MOD_EXPR:
3368     case CEIL_MOD_EXPR:
3369     case FLOOR_MOD_EXPR:
3370     case ROUND_MOD_EXPR:
3371     case RDIV_EXPR:
3372       if (TREE_CODE (op2) != INTEGER_CST)
3373         return weights->div_mod_cost;
3374       return 1;
3375
3376     default:
3377       /* We expect a copy assignment with no operator.  */
3378       gcc_assert (get_gimple_rhs_class (code) == GIMPLE_SINGLE_RHS);
3379       return 0;
3380     }
3381 }
3382
3383
3384 /* Estimate number of instructions that will be created by expanding
3385    the statements in the statement sequence STMTS.
3386    WEIGHTS contains weights attributed to various constructs.  */
3387
3388 static
3389 int estimate_num_insns_seq (gimple_seq stmts, eni_weights *weights)
3390 {
3391   int cost;
3392   gimple_stmt_iterator gsi;
3393
3394   cost = 0;
3395   for (gsi = gsi_start (stmts); !gsi_end_p (gsi); gsi_next (&gsi))
3396     cost += estimate_num_insns (gsi_stmt (gsi), weights);
3397
3398   return cost;
3399 }
3400
3401
3402 /* Estimate number of instructions that will be created by expanding STMT.
3403    WEIGHTS contains weights attributed to various constructs.  */
3404
3405 int
3406 estimate_num_insns (gimple stmt, eni_weights *weights)
3407 {
3408   unsigned cost, i;
3409   enum gimple_code code = gimple_code (stmt);
3410   tree lhs;
3411   tree rhs;
3412
3413   switch (code)
3414     {
3415     case GIMPLE_ASSIGN:
3416       /* Try to estimate the cost of assignments.  We have three cases to
3417          deal with:
3418          1) Simple assignments to registers;
3419          2) Stores to things that must live in memory.  This includes
3420             "normal" stores to scalars, but also assignments of large
3421             structures, or constructors of big arrays;
3422
3423          Let us look at the first two cases, assuming we have "a = b + C":
3424          <GIMPLE_ASSIGN <var_decl "a">
3425                 <plus_expr <var_decl "b"> <constant C>>
3426          If "a" is a GIMPLE register, the assignment to it is free on almost
3427          any target, because "a" usually ends up in a real register.  Hence
3428          the only cost of this expression comes from the PLUS_EXPR, and we
3429          can ignore the GIMPLE_ASSIGN.
3430          If "a" is not a GIMPLE register, the assignment to "a" will most
3431          likely be a real store, so the cost of the GIMPLE_ASSIGN is the cost
3432          of moving something into "a", which we compute using the function
3433          estimate_move_cost.  */
3434       lhs = gimple_assign_lhs (stmt);
3435       rhs = gimple_assign_rhs1 (stmt);
3436
3437       if (is_gimple_reg (lhs))
3438         cost = 0;
3439       else
3440         cost = estimate_move_cost (TREE_TYPE (lhs));
3441
3442       if (!is_gimple_reg (rhs) && !is_gimple_min_invariant (rhs))
3443         cost += estimate_move_cost (TREE_TYPE (rhs));
3444
3445       cost += estimate_operator_cost (gimple_assign_rhs_code (stmt), weights,
3446                                       gimple_assign_rhs1 (stmt),
3447                                       get_gimple_rhs_class (gimple_assign_rhs_code (stmt))
3448                                       == GIMPLE_BINARY_RHS
3449                                       ? gimple_assign_rhs2 (stmt) : NULL);
3450       break;
3451
3452     case GIMPLE_COND:
3453       cost = 1 + estimate_operator_cost (gimple_cond_code (stmt), weights,
3454                                          gimple_op (stmt, 0),
3455                                          gimple_op (stmt, 1));
3456       break;
3457
3458     case GIMPLE_SWITCH:
3459       /* Take into account cost of the switch + guess 2 conditional jumps for
3460          each case label.
3461
3462          TODO: once the switch expansion logic is sufficiently separated, we can
3463          do better job on estimating cost of the switch.  */
3464       if (weights->time_based)
3465         cost = floor_log2 (gimple_switch_num_labels (stmt)) * 2;
3466       else
3467         cost = gimple_switch_num_labels (stmt) * 2;
3468       break;
3469
3470     case GIMPLE_CALL:
3471       {
3472         tree decl = gimple_call_fndecl (stmt);
3473         tree addr = gimple_call_fn (stmt);
3474         tree funtype = TREE_TYPE (addr);
3475         bool stdarg = false;
3476
3477         if (POINTER_TYPE_P (funtype))
3478           funtype = TREE_TYPE (funtype);
3479
3480         /* Do not special case builtins where we see the body.
3481            This just confuse inliner.  */
3482         if (!decl || cgraph_node (decl)->analyzed)
3483           ;
3484         /* For buitins that are likely expanded to nothing or
3485            inlined do not account operand costs.  */
3486         else if (is_simple_builtin (decl))
3487           return 0;
3488         else if (is_inexpensive_builtin (decl))
3489           return weights->target_builtin_call_cost;
3490         else if (DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL)
3491           {
3492             /* We canonicalize x * x to pow (x, 2.0) with -ffast-math, so
3493                specialize the cheap expansion we do here.
3494                ???  This asks for a more general solution.  */
3495             switch (DECL_FUNCTION_CODE (decl))
3496               {
3497                 case BUILT_IN_POW:
3498                 case BUILT_IN_POWF:
3499                 case BUILT_IN_POWL:
3500                   if (TREE_CODE (gimple_call_arg (stmt, 1)) == REAL_CST
3501                       && REAL_VALUES_EQUAL
3502                            (TREE_REAL_CST (gimple_call_arg (stmt, 1)), dconst2))
3503                     return estimate_operator_cost (MULT_EXPR, weights,
3504                                                    gimple_call_arg (stmt, 0),
3505                                                    gimple_call_arg (stmt, 0));
3506                   break;
3507
3508                 default:
3509                   break;
3510               }
3511           }
3512
3513         cost = weights->call_cost;
3514         if (decl)
3515           funtype = TREE_TYPE (decl);
3516
3517         if (!VOID_TYPE_P (TREE_TYPE (funtype)))
3518           cost += estimate_move_cost (TREE_TYPE (funtype));
3519
3520         if (funtype)
3521           stdarg = stdarg_p (funtype);
3522
3523         /* Our cost must be kept in sync with
3524            cgraph_estimate_size_after_inlining that does use function
3525            declaration to figure out the arguments.
3526
3527            For functions taking variable list of arguments we must
3528            look into call statement intself.  This is safe because
3529            we will get only higher costs and in most cases we will
3530            not inline these anyway.  */
3531         if (decl && DECL_ARGUMENTS (decl) && !stdarg)
3532           {
3533             tree arg;
3534             for (arg = DECL_ARGUMENTS (decl); arg; arg = DECL_CHAIN (arg))
3535               if (!VOID_TYPE_P (TREE_TYPE (arg)))
3536                 cost += estimate_move_cost (TREE_TYPE (arg));
3537           }
3538         else if (funtype && prototype_p (funtype) && !stdarg)
3539           {
3540             tree t;
3541             for (t = TYPE_ARG_TYPES (funtype); t && t != void_list_node;
3542                  t = TREE_CHAIN (t))
3543               if (!VOID_TYPE_P (TREE_VALUE (t)))
3544                 cost += estimate_move_cost (TREE_VALUE (t));
3545           }
3546         else
3547           {
3548             for (i = 0; i < gimple_call_num_args (stmt); i++)
3549               {
3550                 tree arg = gimple_call_arg (stmt, i);
3551                 if (!VOID_TYPE_P (TREE_TYPE (arg)))
3552                   cost += estimate_move_cost (TREE_TYPE (arg));
3553               }
3554           }
3555
3556         break;
3557       }
3558
3559     case GIMPLE_RETURN:
3560       return weights->return_cost;
3561
3562     case GIMPLE_GOTO:
3563     case GIMPLE_LABEL:
3564     case GIMPLE_NOP:
3565     case GIMPLE_PHI:
3566     case GIMPLE_PREDICT:
3567     case GIMPLE_DEBUG:
3568       return 0;
3569
3570     case GIMPLE_ASM:
3571       return asm_str_count (gimple_asm_string (stmt));
3572
3573     case GIMPLE_RESX:
3574       /* This is either going to be an external function call with one
3575          argument, or two register copy statements plus a goto.  */
3576       return 2;
3577
3578     case GIMPLE_EH_DISPATCH:
3579       /* ??? This is going to turn into a switch statement.  Ideally
3580          we'd have a look at the eh region and estimate the number of
3581          edges involved.  */
3582       return 10;
3583
3584     case GIMPLE_BIND:
3585       return estimate_num_insns_seq (gimple_bind_body (stmt), weights);
3586
3587     case GIMPLE_EH_FILTER:
3588       return estimate_num_insns_seq (gimple_eh_filter_failure (stmt), weights);
3589
3590     case GIMPLE_CATCH:
3591       return estimate_num_insns_seq (gimple_catch_handler (stmt), weights);
3592
3593     case GIMPLE_TRY:
3594       return (estimate_num_insns_seq (gimple_try_eval (stmt), weights)
3595               + estimate_num_insns_seq (gimple_try_cleanup (stmt), weights));
3596
3597     /* OpenMP directives are generally very expensive.  */
3598
3599     case GIMPLE_OMP_RETURN:
3600     case GIMPLE_OMP_SECTIONS_SWITCH:
3601     case GIMPLE_OMP_ATOMIC_STORE:
3602     case GIMPLE_OMP_CONTINUE:
3603       /* ...except these, which are cheap.  */
3604       return 0;
3605
3606     case GIMPLE_OMP_ATOMIC_LOAD:
3607       return weights->omp_cost;
3608
3609     case GIMPLE_OMP_FOR:
3610       return (weights->omp_cost
3611               + estimate_num_insns_seq (gimple_omp_body (stmt), weights)
3612               + estimate_num_insns_seq (gimple_omp_for_pre_body (stmt), weights));
3613
3614     case GIMPLE_OMP_PARALLEL:
3615     case GIMPLE_OMP_TASK:
3616     case GIMPLE_OMP_CRITICAL:
3617     case GIMPLE_OMP_MASTER:
3618     case GIMPLE_OMP_ORDERED:
3619     case GIMPLE_OMP_SECTION:
3620     case GIMPLE_OMP_SECTIONS:
3621     case GIMPLE_OMP_SINGLE:
3622       return (weights->omp_cost
3623               + estimate_num_insns_seq (gimple_omp_body (stmt), weights));
3624
3625     default:
3626       gcc_unreachable ();
3627     }
3628
3629   return cost;
3630 }
3631
3632 /* Estimate number of instructions that will be created by expanding
3633    function FNDECL.  WEIGHTS contains weights attributed to various
3634    constructs.  */
3635
3636 int
3637 estimate_num_insns_fn (tree fndecl, eni_weights *weights)
3638 {
3639   struct function *my_function = DECL_STRUCT_FUNCTION (fndecl);
3640   gimple_stmt_iterator bsi;
3641   basic_block bb;
3642   int n = 0;
3643
3644   gcc_assert (my_function && my_function->cfg);
3645   FOR_EACH_BB_FN (bb, my_function)
3646     {
3647       for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
3648         n += estimate_num_insns (gsi_stmt (bsi), weights);
3649     }
3650
3651   return n;
3652 }
3653
3654
3655 /* Initializes weights used by estimate_num_insns.  */
3656
3657 void
3658 init_inline_once (void)
3659 {
3660   eni_size_weights.call_cost = 1;
3661   eni_size_weights.target_builtin_call_cost = 1;
3662   eni_size_weights.div_mod_cost = 1;
3663   eni_size_weights.omp_cost = 40;
3664   eni_size_weights.time_based = false;
3665   eni_size_weights.return_cost = 1;
3666
3667   /* Estimating time for call is difficult, since we have no idea what the
3668      called function does.  In the current uses of eni_time_weights,
3669      underestimating the cost does less harm than overestimating it, so
3670      we choose a rather small value here.  */
3671   eni_time_weights.call_cost = 10;
3672   eni_time_weights.target_builtin_call_cost = 1;
3673   eni_time_weights.div_mod_cost = 10;
3674   eni_time_weights.omp_cost = 40;
3675   eni_time_weights.time_based = true;
3676   eni_time_weights.return_cost = 2;
3677 }
3678
3679 /* Estimate the number of instructions in a gimple_seq. */
3680
3681 int
3682 count_insns_seq (gimple_seq seq, eni_weights *weights)
3683 {
3684   gimple_stmt_iterator gsi;
3685   int n = 0;
3686   for (gsi = gsi_start (seq); !gsi_end_p (gsi); gsi_next (&gsi))
3687     n += estimate_num_insns (gsi_stmt (gsi), weights);
3688
3689   return n;
3690 }
3691
3692
3693 /* Install new lexical TREE_BLOCK underneath 'current_block'.  */
3694
3695 static void
3696 prepend_lexical_block (tree current_block, tree new_block)
3697 {
3698   BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (current_block);
3699   BLOCK_SUBBLOCKS (current_block) = new_block;
3700   BLOCK_SUPERCONTEXT (new_block) = current_block;
3701 }
3702
3703 /* Add local variables from CALLEE to CALLER.  */
3704
3705 static inline void
3706 add_local_variables (struct function *callee, struct function *caller,
3707                      copy_body_data *id, bool check_var_ann)
3708 {
3709   tree var;
3710   unsigned ix;
3711
3712   FOR_EACH_LOCAL_DECL (callee, ix, var)
3713     if (TREE_STATIC (var) && !TREE_ASM_WRITTEN (var))
3714       {
3715         if (!check_var_ann
3716             || (var_ann (var) && add_referenced_var (var)))
3717           add_local_decl (caller, var);
3718       }
3719     else if (!can_be_nonlocal (var, id))
3720       {
3721         tree new_var = remap_decl (var, id);
3722
3723         /* Remap debug-expressions.  */
3724         if (TREE_CODE (new_var) == VAR_DECL
3725             && DECL_DEBUG_EXPR_IS_FROM (new_var)
3726             && new_var != var)
3727           {
3728             tree tem = DECL_DEBUG_EXPR (var);
3729             bool old_regimplify = id->regimplify;
3730             id->remapping_type_depth++;
3731             walk_tree (&tem, copy_tree_body_r, id, NULL);
3732             id->remapping_type_depth--;
3733             id->regimplify = old_regimplify;
3734             SET_DECL_DEBUG_EXPR (new_var, tem);
3735           }
3736         add_local_decl (caller, new_var);
3737       }
3738 }
3739
3740 /* If STMT is a GIMPLE_CALL, replace it with its inline expansion.  */
3741
3742 static bool
3743 expand_call_inline (basic_block bb, gimple stmt, copy_body_data *id)
3744 {
3745   tree use_retvar;
3746   tree fn;
3747   struct pointer_map_t *st, *dst;
3748   tree return_slot;
3749   tree modify_dest;
3750   location_t saved_location;
3751   struct cgraph_edge *cg_edge;
3752   cgraph_inline_failed_t reason;
3753   basic_block return_block;
3754   edge e;
3755   gimple_stmt_iterator gsi, stmt_gsi;
3756   bool successfully_inlined = FALSE;
3757   bool purge_dead_abnormal_edges;
3758
3759   /* Set input_location here so we get the right instantiation context
3760      if we call instantiate_decl from inlinable_function_p.  */
3761   saved_location = input_location;
3762   if (gimple_has_location (stmt))
3763     input_location = gimple_location (stmt);
3764
3765   /* From here on, we're only interested in CALL_EXPRs.  */
3766   if (gimple_code (stmt) != GIMPLE_CALL)
3767     goto egress;
3768
3769   /* Objective C and fortran still calls tree_rest_of_compilation directly.
3770      Kill this check once this is fixed.  */
3771   if (!id->dst_node->analyzed)
3772     goto egress;
3773
3774   cg_edge = cgraph_edge (id->dst_node, stmt);
3775   gcc_checking_assert (cg_edge);
3776   /* First, see if we can figure out what function is being called.
3777      If we cannot, then there is no hope of inlining the function.  */
3778   if (cg_edge->indirect_unknown_callee)
3779     goto egress;
3780   fn = cg_edge->callee->decl;
3781   gcc_checking_assert (fn);
3782
3783   /* If FN is a declaration of a function in a nested scope that was
3784      globally declared inline, we don't set its DECL_INITIAL.
3785      However, we can't blindly follow DECL_ABSTRACT_ORIGIN because the
3786      C++ front-end uses it for cdtors to refer to their internal
3787      declarations, that are not real functions.  Fortunately those
3788      don't have trees to be saved, so we can tell by checking their
3789      gimple_body.  */
3790   if (!DECL_INITIAL (fn)
3791       && DECL_ABSTRACT_ORIGIN (fn)
3792       && gimple_has_body_p (DECL_ABSTRACT_ORIGIN (fn)))
3793     fn = DECL_ABSTRACT_ORIGIN (fn);
3794
3795   /* First check that inlining isn't simply forbidden in this case.  */
3796   if (inline_forbidden_into_p (cg_edge->caller->decl, cg_edge->callee->decl))
3797     goto egress;
3798
3799   /* Don't try to inline functions that are not well-suited to inlining.  */
3800   if (!cgraph_inline_p (cg_edge, &reason))
3801     {
3802       /* If this call was originally indirect, we do not want to emit any
3803          inlining related warnings or sorry messages because there are no
3804          guarantees regarding those.  */
3805       if (cg_edge->indirect_inlining_edge)
3806         goto egress;
3807
3808       if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn))
3809           /* Avoid warnings during early inline pass. */
3810           && cgraph_global_info_ready)
3811         {
3812           sorry ("inlining failed in call to %q+F: %s", fn,
3813                  _(cgraph_inline_failed_string (reason)));
3814           sorry ("called from here");
3815         }
3816       else if (warn_inline && DECL_DECLARED_INLINE_P (fn)
3817                && !DECL_IN_SYSTEM_HEADER (fn)
3818                && reason != CIF_UNSPECIFIED
3819                && !lookup_attribute ("noinline", DECL_ATTRIBUTES (fn))
3820                /* Avoid warnings during early inline pass. */
3821                && cgraph_global_info_ready)
3822         {
3823           warning (OPT_Winline, "inlining failed in call to %q+F: %s",
3824                    fn, _(cgraph_inline_failed_string (reason)));
3825           warning (OPT_Winline, "called from here");
3826         }
3827       goto egress;
3828     }
3829   fn = cg_edge->callee->decl;
3830
3831 #ifdef ENABLE_CHECKING
3832   if (cg_edge->callee->decl != id->dst_node->decl)
3833     verify_cgraph_node (cg_edge->callee);
3834 #endif
3835
3836   /* We will be inlining this callee.  */
3837   id->eh_lp_nr = lookup_stmt_eh_lp (stmt);
3838
3839   /* Update the callers EH personality.  */
3840   if (DECL_FUNCTION_PERSONALITY (cg_edge->callee->decl))
3841     DECL_FUNCTION_PERSONALITY (cg_edge->caller->decl)
3842       = DECL_FUNCTION_PERSONALITY (cg_edge->callee->decl);
3843
3844   /* Split the block holding the GIMPLE_CALL.  */
3845   e = split_block (bb, stmt);
3846   bb = e->src;
3847   return_block = e->dest;
3848   remove_edge (e);
3849
3850   /* split_block splits after the statement; work around this by
3851      moving the call into the second block manually.  Not pretty,
3852      but seems easier than doing the CFG manipulation by hand
3853      when the GIMPLE_CALL is in the last statement of BB.  */
3854   stmt_gsi = gsi_last_bb (bb);
3855   gsi_remove (&stmt_gsi, false);
3856
3857   /* If the GIMPLE_CALL was in the last statement of BB, it may have
3858      been the source of abnormal edges.  In this case, schedule
3859      the removal of dead abnormal edges.  */
3860   gsi = gsi_start_bb (return_block);
3861   if (gsi_end_p (gsi))
3862     {
3863       gsi_insert_after (&gsi, stmt, GSI_NEW_STMT);
3864       purge_dead_abnormal_edges = true;
3865     }
3866   else
3867     {
3868       gsi_insert_before (&gsi, stmt, GSI_NEW_STMT);
3869       purge_dead_abnormal_edges = false;
3870     }
3871
3872   stmt_gsi = gsi_start_bb (return_block);
3873
3874   /* Build a block containing code to initialize the arguments, the
3875      actual inline expansion of the body, and a label for the return
3876      statements within the function to jump to.  The type of the
3877      statement expression is the return type of the function call.  */
3878   id->block = make_node (BLOCK);
3879   BLOCK_ABSTRACT_ORIGIN (id->block) = fn;
3880   BLOCK_SOURCE_LOCATION (id->block) = input_location;
3881   prepend_lexical_block (gimple_block (stmt), id->block);
3882
3883   /* Local declarations will be replaced by their equivalents in this
3884      map.  */
3885   st = id->decl_map;
3886   id->decl_map = pointer_map_create ();
3887   dst = id->debug_map;
3888   id->debug_map = NULL;
3889
3890   /* Record the function we are about to inline.  */
3891   id->src_fn = fn;
3892   id->src_node = cg_edge->callee;
3893   id->src_cfun = DECL_STRUCT_FUNCTION (fn);
3894   id->gimple_call = stmt;
3895
3896   gcc_assert (!id->src_cfun->after_inlining);
3897
3898   id->entry_bb = bb;
3899   if (lookup_attribute ("cold", DECL_ATTRIBUTES (fn)))
3900     {
3901       gimple_stmt_iterator si = gsi_last_bb (bb);
3902       gsi_insert_after (&si, gimple_build_predict (PRED_COLD_FUNCTION,
3903                                                    NOT_TAKEN),
3904                         GSI_NEW_STMT);
3905     }
3906   initialize_inlined_parameters (id, stmt, fn, bb);
3907
3908   if (DECL_INITIAL (fn))
3909     prepend_lexical_block (id->block, remap_blocks (DECL_INITIAL (fn), id));
3910
3911   /* Return statements in the function body will be replaced by jumps
3912      to the RET_LABEL.  */
3913   gcc_assert (DECL_INITIAL (fn));
3914   gcc_assert (TREE_CODE (DECL_INITIAL (fn)) == BLOCK);
3915
3916   /* Find the LHS to which the result of this call is assigned.  */
3917   return_slot = NULL;
3918   if (gimple_call_lhs (stmt))
3919     {
3920       modify_dest = gimple_call_lhs (stmt);
3921
3922       /* The function which we are inlining might not return a value,
3923          in which case we should issue a warning that the function
3924          does not return a value.  In that case the optimizers will
3925          see that the variable to which the value is assigned was not
3926          initialized.  We do not want to issue a warning about that
3927          uninitialized variable.  */
3928       if (DECL_P (modify_dest))
3929         TREE_NO_WARNING (modify_dest) = 1;
3930
3931       if (gimple_call_return_slot_opt_p (stmt))
3932         {
3933           return_slot = modify_dest;
3934           modify_dest = NULL;
3935         }
3936     }
3937   else
3938     modify_dest = NULL;
3939
3940   /* If we are inlining a call to the C++ operator new, we don't want
3941      to use type based alias analysis on the return value.  Otherwise
3942      we may get confused if the compiler sees that the inlined new
3943      function returns a pointer which was just deleted.  See bug
3944      33407.  */
3945   if (DECL_IS_OPERATOR_NEW (fn))
3946     {
3947       return_slot = NULL;
3948       modify_dest = NULL;
3949     }
3950
3951   /* Declare the return variable for the function.  */
3952   use_retvar = declare_return_variable (id, return_slot, modify_dest, bb);
3953
3954   /* Add local vars in this inlined callee to caller.  */
3955   add_local_variables (id->src_cfun, cfun, id, true);
3956
3957   if (dump_file && (dump_flags & TDF_DETAILS))
3958     {
3959       fprintf (dump_file, "Inlining ");
3960       print_generic_expr (dump_file, id->src_fn, 0);
3961       fprintf (dump_file, " to ");
3962       print_generic_expr (dump_file, id->dst_fn, 0);
3963       fprintf (dump_file, " with frequency %i\n", cg_edge->frequency);
3964     }
3965
3966   /* This is it.  Duplicate the callee body.  Assume callee is
3967      pre-gimplified.  Note that we must not alter the caller
3968      function in any way before this point, as this CALL_EXPR may be
3969      a self-referential call; if we're calling ourselves, we need to
3970      duplicate our body before altering anything.  */
3971   copy_body (id, bb->count,
3972              cg_edge->frequency * REG_BR_PROB_BASE / CGRAPH_FREQ_BASE,
3973              bb, return_block, NULL, NULL);
3974
3975   /* Reset the escaped solution.  */
3976   if (cfun->gimple_df)
3977     pt_solution_reset (&cfun->gimple_df->escaped);
3978
3979   /* Clean up.  */
3980   if (id->debug_map)
3981     {
3982       pointer_map_destroy (id->debug_map);
3983       id->debug_map = dst;
3984     }
3985   pointer_map_destroy (id->decl_map);
3986   id->decl_map = st;
3987
3988   /* Unlink the calls virtual operands before replacing it.  */
3989   unlink_stmt_vdef (stmt);
3990
3991   /* If the inlined function returns a result that we care about,
3992      substitute the GIMPLE_CALL with an assignment of the return
3993      variable to the LHS of the call.  That is, if STMT was
3994      'a = foo (...)', substitute the call with 'a = USE_RETVAR'.  */
3995   if (use_retvar && gimple_call_lhs (stmt))
3996     {
3997       gimple old_stmt = stmt;
3998       stmt = gimple_build_assign (gimple_call_lhs (stmt), use_retvar);
3999       gsi_replace (&stmt_gsi, stmt, false);
4000       if (gimple_in_ssa_p (cfun))
4001         mark_symbols_for_renaming (stmt);
4002       maybe_clean_or_replace_eh_stmt (old_stmt, stmt);
4003     }
4004   else
4005     {
4006       /* Handle the case of inlining a function with no return
4007          statement, which causes the return value to become undefined.  */
4008       if (gimple_call_lhs (stmt)
4009           && TREE_CODE (gimple_call_lhs (stmt)) == SSA_NAME)
4010         {
4011           tree name = gimple_call_lhs (stmt);
4012           tree var = SSA_NAME_VAR (name);
4013           tree def = gimple_default_def (cfun, var);
4014
4015           if (def)
4016             {
4017               /* If the variable is used undefined, make this name
4018                  undefined via a move.  */
4019               stmt = gimple_build_assign (gimple_call_lhs (stmt), def);
4020               gsi_replace (&stmt_gsi, stmt, true);
4021             }
4022           else
4023             {
4024               /* Otherwise make this variable undefined.  */
4025               gsi_remove (&stmt_gsi, true);
4026               set_default_def (var, name);
4027               SSA_NAME_DEF_STMT (name) = gimple_build_nop ();
4028             }
4029         }
4030       else
4031         gsi_remove (&stmt_gsi, true);
4032     }
4033
4034   if (purge_dead_abnormal_edges)
4035     {
4036       gimple_purge_dead_eh_edges (return_block);
4037       gimple_purge_dead_abnormal_call_edges (return_block);
4038     }
4039
4040   /* If the value of the new expression is ignored, that's OK.  We
4041      don't warn about this for CALL_EXPRs, so we shouldn't warn about
4042      the equivalent inlined version either.  */
4043   if (is_gimple_assign (stmt))
4044     {
4045       gcc_assert (gimple_assign_single_p (stmt)
4046                   || CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (stmt)));
4047       TREE_USED (gimple_assign_rhs1 (stmt)) = 1;
4048     }
4049
4050   /* Output the inlining info for this abstract function, since it has been
4051      inlined.  If we don't do this now, we can lose the information about the
4052      variables in the function when the blocks get blown away as soon as we
4053      remove the cgraph node.  */
4054   (*debug_hooks->outlining_inline_function) (cg_edge->callee->decl);
4055
4056   /* Update callgraph if needed.  */
4057   cgraph_remove_node (cg_edge->callee);
4058
4059   id->block = NULL_TREE;
4060   successfully_inlined = TRUE;
4061
4062  egress:
4063   input_location = saved_location;
4064   return successfully_inlined;
4065 }
4066
4067 /* Expand call statements reachable from STMT_P.
4068    We can only have CALL_EXPRs as the "toplevel" tree code or nested
4069    in a MODIFY_EXPR.  See gimple.c:get_call_expr_in().  We can
4070    unfortunately not use that function here because we need a pointer
4071    to the CALL_EXPR, not the tree itself.  */
4072
4073 static bool
4074 gimple_expand_calls_inline (basic_block bb, copy_body_data *id)
4075 {
4076   gimple_stmt_iterator gsi;
4077
4078   for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
4079     {
4080       gimple stmt = gsi_stmt (gsi);
4081
4082       if (is_gimple_call (stmt)
4083           && expand_call_inline (bb, stmt, id))
4084         return true;
4085     }
4086
4087   return false;
4088 }
4089
4090
4091 /* Walk all basic blocks created after FIRST and try to fold every statement
4092    in the STATEMENTS pointer set.  */
4093
4094 static void
4095 fold_marked_statements (int first, struct pointer_set_t *statements)
4096 {
4097   for (; first < n_basic_blocks; first++)
4098     if (BASIC_BLOCK (first))
4099       {
4100         gimple_stmt_iterator gsi;
4101
4102         for (gsi = gsi_start_bb (BASIC_BLOCK (first));
4103              !gsi_end_p (gsi);
4104              gsi_next (&gsi))
4105           if (pointer_set_contains (statements, gsi_stmt (gsi)))
4106             {
4107               gimple old_stmt = gsi_stmt (gsi);
4108               tree old_decl = is_gimple_call (old_stmt) ? gimple_call_fndecl (old_stmt) : 0;
4109
4110               if (old_decl && DECL_BUILT_IN (old_decl))
4111                 {
4112                   /* Folding builtins can create multiple instructions,
4113                      we need to look at all of them.  */
4114                   gimple_stmt_iterator i2 = gsi;
4115                   gsi_prev (&i2);
4116                   if (fold_stmt (&gsi))
4117                     {
4118                       gimple new_stmt;
4119                       if (gsi_end_p (i2))
4120                         i2 = gsi_start_bb (BASIC_BLOCK (first));
4121                       else
4122                         gsi_next (&i2);
4123                       while (1)
4124                         {
4125                           new_stmt = gsi_stmt (i2);
4126                           update_stmt (new_stmt);
4127                           cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4128                                                              new_stmt);
4129
4130                           if (new_stmt == gsi_stmt (gsi))
4131                             {
4132                               /* It is okay to check only for the very last
4133                                  of these statements.  If it is a throwing
4134                                  statement nothing will change.  If it isn't
4135                                  this can remove EH edges.  If that weren't
4136                                  correct then because some intermediate stmts
4137                                  throw, but not the last one.  That would mean
4138                                  we'd have to split the block, which we can't
4139                                  here and we'd loose anyway.  And as builtins
4140                                  probably never throw, this all
4141                                  is mood anyway.  */
4142                               if (maybe_clean_or_replace_eh_stmt (old_stmt,
4143                                                                   new_stmt))
4144                                 gimple_purge_dead_eh_edges (BASIC_BLOCK (first));
4145                               break;
4146                             }
4147                           gsi_next (&i2);
4148                         }
4149                     }
4150                 }
4151               else if (fold_stmt (&gsi))
4152                 {
4153                   /* Re-read the statement from GSI as fold_stmt() may
4154                      have changed it.  */
4155                   gimple new_stmt = gsi_stmt (gsi);
4156                   update_stmt (new_stmt);
4157
4158                   if (is_gimple_call (old_stmt)
4159                       || is_gimple_call (new_stmt))
4160                     cgraph_update_edges_for_call_stmt (old_stmt, old_decl,
4161                                                        new_stmt);
4162
4163                   if (maybe_clean_or_replace_eh_stmt (old_stmt, new_stmt))
4164                     gimple_purge_dead_eh_edges (BASIC_BLOCK (first));
4165                 }
4166             }
4167       }
4168 }
4169
4170 /* Return true if BB has at least one abnormal outgoing edge.  */
4171
4172 static inline bool
4173 has_abnormal_outgoing_edge_p (basic_block bb)
4174 {
4175   edge e;
4176   edge_iterator ei;
4177
4178   FOR_EACH_EDGE (e, ei, bb->succs)
4179     if (e->flags & EDGE_ABNORMAL)
4180       return true;
4181
4182   return false;
4183 }
4184
4185 /* Expand calls to inline functions in the body of FN.  */
4186
4187 unsigned int
4188 optimize_inline_calls (tree fn)
4189 {
4190   copy_body_data id;
4191   basic_block bb;
4192   int last = n_basic_blocks;
4193   struct gimplify_ctx gctx;
4194   bool inlined_p = false;
4195
4196   /* There is no point in performing inlining if errors have already
4197      occurred -- and we might crash if we try to inline invalid
4198      code.  */
4199   if (seen_error ())
4200     return 0;
4201
4202   /* Clear out ID.  */
4203   memset (&id, 0, sizeof (id));
4204
4205   id.src_node = id.dst_node = cgraph_node (fn);
4206   id.dst_fn = fn;
4207   /* Or any functions that aren't finished yet.  */
4208   if (current_function_decl)
4209     id.dst_fn = current_function_decl;
4210
4211   id.copy_decl = copy_decl_maybe_to_var;
4212   id.transform_call_graph_edges = CB_CGE_DUPLICATE;
4213   id.transform_new_cfg = false;
4214   id.transform_return_to_modify = true;
4215   id.transform_lang_insert_block = NULL;
4216   id.statements_to_fold = pointer_set_create ();
4217
4218   push_gimplify_context (&gctx);
4219
4220   /* We make no attempts to keep dominance info up-to-date.  */
4221   free_dominance_info (CDI_DOMINATORS);
4222   free_dominance_info (CDI_POST_DOMINATORS);
4223
4224   /* Register specific gimple functions.  */
4225   gimple_register_cfg_hooks ();
4226
4227   /* Reach the trees by walking over the CFG, and note the
4228      enclosing basic-blocks in the call edges.  */
4229   /* We walk the blocks going forward, because inlined function bodies
4230      will split id->current_basic_block, and the new blocks will
4231      follow it; we'll trudge through them, processing their CALL_EXPRs
4232      along the way.  */
4233   FOR_EACH_BB (bb)
4234     inlined_p |= gimple_expand_calls_inline (bb, &id);
4235
4236   pop_gimplify_context (NULL);
4237
4238 #ifdef ENABLE_CHECKING
4239     {
4240       struct cgraph_edge *e;
4241
4242       verify_cgraph_node (id.dst_node);
4243
4244       /* Double check that we inlined everything we are supposed to inline.  */
4245       for (e = id.dst_node->callees; e; e = e->next_callee)
4246         gcc_assert (e->inline_failed);
4247     }
4248 #endif
4249
4250   /* Fold queued statements.  */
4251   fold_marked_statements (last, id.statements_to_fold);
4252   pointer_set_destroy (id.statements_to_fold);
4253
4254   gcc_assert (!id.debug_stmts);
4255
4256   /* If we didn't inline into the function there is nothing to do.  */
4257   if (!inlined_p)
4258     return 0;
4259
4260   /* Renumber the lexical scoping (non-code) blocks consecutively.  */
4261   number_blocks (fn);
4262
4263   delete_unreachable_blocks_update_callgraph (&id);
4264 #ifdef ENABLE_CHECKING
4265   verify_cgraph_node (id.dst_node);
4266 #endif
4267
4268   /* It would be nice to check SSA/CFG/statement consistency here, but it is
4269      not possible yet - the IPA passes might make various functions to not
4270      throw and they don't care to proactively update local EH info.  This is
4271      done later in fixup_cfg pass that also execute the verification.  */
4272   return (TODO_update_ssa
4273           | TODO_cleanup_cfg
4274           | (gimple_in_ssa_p (cfun) ? TODO_remove_unused_locals : 0)
4275           | (gimple_in_ssa_p (cfun) ? TODO_update_address_taken : 0)
4276           | (profile_status != PROFILE_ABSENT ? TODO_rebuild_frequencies : 0));
4277 }
4278
4279 /* Passed to walk_tree.  Copies the node pointed to, if appropriate.  */
4280
4281 tree
4282 copy_tree_r (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
4283 {
4284   enum tree_code code = TREE_CODE (*tp);
4285   enum tree_code_class cl = TREE_CODE_CLASS (code);
4286
4287   /* We make copies of most nodes.  */
4288   if (IS_EXPR_CODE_CLASS (cl)
4289       || code == TREE_LIST
4290       || code == TREE_VEC
4291       || code == TYPE_DECL
4292       || code == OMP_CLAUSE)
4293     {
4294       /* Because the chain gets clobbered when we make a copy, we save it
4295          here.  */
4296       tree chain = NULL_TREE, new_tree;
4297
4298       chain = TREE_CHAIN (*tp);
4299
4300       /* Copy the node.  */
4301       new_tree = copy_node (*tp);
4302
4303       /* Propagate mudflap marked-ness.  */
4304       if (flag_mudflap && mf_marked_p (*tp))
4305         mf_mark (new_tree);
4306
4307       *tp = new_tree;
4308
4309       /* Now, restore the chain, if appropriate.  That will cause
4310          walk_tree to walk into the chain as well.  */
4311       if (code == PARM_DECL
4312           || code == TREE_LIST
4313           || code == OMP_CLAUSE)
4314         TREE_CHAIN (*tp) = chain;
4315
4316       /* For now, we don't update BLOCKs when we make copies.  So, we
4317          have to nullify all BIND_EXPRs.  */
4318       if (TREE_CODE (*tp) == BIND_EXPR)
4319         BIND_EXPR_BLOCK (*tp) = NULL_TREE;
4320     }
4321   else if (code == CONSTRUCTOR)
4322     {
4323       /* CONSTRUCTOR nodes need special handling because
4324          we need to duplicate the vector of elements.  */
4325       tree new_tree;
4326
4327       new_tree = copy_node (*tp);
4328
4329       /* Propagate mudflap marked-ness.  */
4330       if (flag_mudflap && mf_marked_p (*tp))
4331         mf_mark (new_tree);
4332
4333       CONSTRUCTOR_ELTS (new_tree) = VEC_copy (constructor_elt, gc,
4334                                          CONSTRUCTOR_ELTS (*tp));
4335       *tp = new_tree;
4336     }
4337   else if (TREE_CODE_CLASS (code) == tcc_type)
4338     *walk_subtrees = 0;
4339   else if (TREE_CODE_CLASS (code) == tcc_declaration)
4340     *walk_subtrees = 0;
4341   else if (TREE_CODE_CLASS (code) == tcc_constant)
4342     *walk_subtrees = 0;
4343   else
4344     gcc_assert (code != STATEMENT_LIST);
4345   return NULL_TREE;
4346 }
4347
4348 /* The SAVE_EXPR pointed to by TP is being copied.  If ST contains
4349    information indicating to what new SAVE_EXPR this one should be mapped,
4350    use that one.  Otherwise, create a new node and enter it in ST.  FN is
4351    the function into which the copy will be placed.  */
4352
4353 static void
4354 remap_save_expr (tree *tp, void *st_, int *walk_subtrees)
4355 {
4356   struct pointer_map_t *st = (struct pointer_map_t *) st_;
4357   tree *n;
4358   tree t;
4359
4360   /* See if we already encountered this SAVE_EXPR.  */
4361   n = (tree *) pointer_map_contains (st, *tp);
4362
4363   /* If we didn't already remap this SAVE_EXPR, do so now.  */
4364   if (!n)
4365     {
4366       t = copy_node (*tp);
4367
4368       /* Remember this SAVE_EXPR.  */
4369       *pointer_map_insert (st, *tp) = t;
4370       /* Make sure we don't remap an already-remapped SAVE_EXPR.  */
4371       *pointer_map_insert (st, t) = t;
4372     }
4373   else
4374     {
4375       /* We've already walked into this SAVE_EXPR; don't do it again.  */
4376       *walk_subtrees = 0;
4377       t = *n;
4378     }
4379
4380   /* Replace this SAVE_EXPR with the copy.  */
4381   *tp = t;
4382 }
4383
4384 /* Called via walk_tree.  If *TP points to a DECL_STMT for a local label,
4385    copies the declaration and enters it in the splay_tree in DATA (which is
4386    really an `copy_body_data *').  */
4387
4388 static tree
4389 mark_local_for_remap_r (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED,
4390                         void *data)
4391 {
4392   copy_body_data *id = (copy_body_data *) data;
4393
4394   /* Don't walk into types.  */
4395   if (TYPE_P (*tp))
4396     *walk_subtrees = 0;
4397
4398   else if (TREE_CODE (*tp) == LABEL_EXPR)
4399     {
4400       tree decl = TREE_OPERAND (*tp, 0);
4401
4402       /* Copy the decl and remember the copy.  */
4403       insert_decl_map (id, decl, id->copy_decl (decl, id));
4404     }
4405
4406   return NULL_TREE;
4407 }
4408
4409 /* Perform any modifications to EXPR required when it is unsaved.  Does
4410    not recurse into EXPR's subtrees.  */
4411
4412 static void
4413 unsave_expr_1 (tree expr)
4414 {
4415   switch (TREE_CODE (expr))
4416     {
4417     case TARGET_EXPR:
4418       /* Don't mess with a TARGET_EXPR that hasn't been expanded.
4419          It's OK for this to happen if it was part of a subtree that
4420          isn't immediately expanded, such as operand 2 of another
4421          TARGET_EXPR.  */
4422       if (TREE_OPERAND (expr, 1))
4423         break;
4424
4425       TREE_OPERAND (expr, 1) = TREE_OPERAND (expr, 3);
4426       TREE_OPERAND (expr, 3) = NULL_TREE;
4427       break;
4428
4429     default:
4430       break;
4431     }
4432 }
4433
4434 /* Called via walk_tree when an expression is unsaved.  Using the
4435    splay_tree pointed to by ST (which is really a `splay_tree'),
4436    remaps all local declarations to appropriate replacements.  */
4437
4438 static tree
4439 unsave_r (tree *tp, int *walk_subtrees, void *data)
4440 {
4441   copy_body_data *id = (copy_body_data *) data;
4442   struct pointer_map_t *st = id->decl_map;
4443   tree *n;
4444
4445   /* Only a local declaration (variable or label).  */
4446   if ((TREE_CODE (*tp) == VAR_DECL && !TREE_STATIC (*tp))
4447       || TREE_CODE (*tp) == LABEL_DECL)
4448     {
4449       /* Lookup the declaration.  */
4450       n = (tree *) pointer_map_contains (st, *tp);
4451
4452       /* If it's there, remap it.  */
4453       if (n)
4454         *tp = *n;
4455     }
4456
4457   else if (TREE_CODE (*tp) == STATEMENT_LIST)
4458     gcc_unreachable ();
4459   else if (TREE_CODE (*tp) == BIND_EXPR)
4460     copy_bind_expr (tp, walk_subtrees, id);
4461   else if (TREE_CODE (*tp) == SAVE_EXPR
4462            || TREE_CODE (*tp) == TARGET_EXPR)
4463     remap_save_expr (tp, st, walk_subtrees);
4464   else
4465     {
4466       copy_tree_r (tp, walk_subtrees, NULL);
4467
4468       /* Do whatever unsaving is required.  */
4469       unsave_expr_1 (*tp);
4470     }
4471
4472   /* Keep iterating.  */
4473   return NULL_TREE;
4474 }
4475
4476 /* Copies everything in EXPR and replaces variables, labels
4477    and SAVE_EXPRs local to EXPR.  */
4478
4479 tree
4480 unsave_expr_now (tree expr)
4481 {
4482   copy_body_data id;
4483
4484   /* There's nothing to do for NULL_TREE.  */
4485   if (expr == 0)
4486     return expr;
4487
4488   /* Set up ID.  */
4489   memset (&id, 0, sizeof (id));
4490   id.src_fn = current_function_decl;
4491   id.dst_fn = current_function_decl;
4492   id.decl_map = pointer_map_create ();
4493   id.debug_map = NULL;
4494
4495   id.copy_decl = copy_decl_no_change;
4496   id.transform_call_graph_edges = CB_CGE_DUPLICATE;
4497   id.transform_new_cfg = false;
4498   id.transform_return_to_modify = false;
4499   id.transform_lang_insert_block = NULL;
4500
4501   /* Walk the tree once to find local labels.  */
4502   walk_tree_without_duplicates (&expr, mark_local_for_remap_r, &id);
4503
4504   /* Walk the tree again, copying, remapping, and unsaving.  */
4505   walk_tree (&expr, unsave_r, &id, NULL);
4506
4507   /* Clean up.  */
4508   pointer_map_destroy (id.decl_map);
4509   if (id.debug_map)
4510     pointer_map_destroy (id.debug_map);
4511
4512   return expr;
4513 }
4514
4515 /* Called via walk_gimple_seq.  If *GSIP points to a GIMPLE_LABEL for a local
4516    label, copies the declaration and enters it in the splay_tree in DATA (which
4517    is really a 'copy_body_data *'.  */
4518
4519 static tree
4520 mark_local_labels_stmt (gimple_stmt_iterator *gsip,
4521                         bool *handled_ops_p ATTRIBUTE_UNUSED,
4522                         struct walk_stmt_info *wi)
4523 {
4524   copy_body_data *id = (copy_body_data *) wi->info;
4525   gimple stmt = gsi_stmt (*gsip);
4526
4527   if (gimple_code (stmt) == GIMPLE_LABEL)
4528     {
4529       tree decl = gimple_label_label (stmt);
4530
4531       /* Copy the decl and remember the copy.  */
4532       insert_decl_map (id, decl, id->copy_decl (decl, id));
4533     }
4534
4535   return NULL_TREE;
4536 }
4537
4538
4539 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
4540    Using the splay_tree pointed to by ST (which is really a `splay_tree'),
4541    remaps all local declarations to appropriate replacements in gimple
4542    operands. */
4543
4544 static tree
4545 replace_locals_op (tree *tp, int *walk_subtrees, void *data)
4546 {
4547   struct walk_stmt_info *wi = (struct walk_stmt_info*) data;
4548   copy_body_data *id = (copy_body_data *) wi->info;
4549   struct pointer_map_t *st = id->decl_map;
4550   tree *n;
4551   tree expr = *tp;
4552
4553   /* Only a local declaration (variable or label).  */
4554   if ((TREE_CODE (expr) == VAR_DECL
4555        && !TREE_STATIC (expr))
4556       || TREE_CODE (expr) == LABEL_DECL)
4557     {
4558       /* Lookup the declaration.  */
4559       n = (tree *) pointer_map_contains (st, expr);
4560
4561       /* If it's there, remap it.  */
4562       if (n)
4563         *tp = *n;
4564       *walk_subtrees = 0;
4565     }
4566   else if (TREE_CODE (expr) == STATEMENT_LIST
4567            || TREE_CODE (expr) == BIND_EXPR
4568            || TREE_CODE (expr) == SAVE_EXPR)
4569     gcc_unreachable ();
4570   else if (TREE_CODE (expr) == TARGET_EXPR)
4571     {
4572       /* Don't mess with a TARGET_EXPR that hasn't been expanded.
4573          It's OK for this to happen if it was part of a subtree that
4574          isn't immediately expanded, such as operand 2 of another
4575          TARGET_EXPR.  */
4576       if (!TREE_OPERAND (expr, 1))
4577         {
4578           TREE_OPERAND (expr, 1) = TREE_OPERAND (expr, 3);
4579           TREE_OPERAND (expr, 3) = NULL_TREE;
4580         }
4581     }
4582
4583   /* Keep iterating.  */
4584   return NULL_TREE;
4585 }
4586
4587
4588 /* Called via walk_gimple_seq by copy_gimple_seq_and_replace_local.
4589    Using the splay_tree pointed to by ST (which is really a `splay_tree'),
4590    remaps all local declarations to appropriate replacements in gimple
4591    statements. */
4592
4593 static tree
4594 replace_locals_stmt (gimple_stmt_iterator *gsip,
4595                      bool *handled_ops_p ATTRIBUTE_UNUSED,
4596                      struct walk_stmt_info *wi)
4597 {
4598   copy_body_data *id = (copy_body_data *) wi->info;
4599   gimple stmt = gsi_stmt (*gsip);
4600
4601   if (gimple_code (stmt) == GIMPLE_BIND)
4602     {
4603       tree block = gimple_bind_block (stmt);
4604
4605       if (block)
4606         {
4607           remap_block (&block, id);
4608           gimple_bind_set_block (stmt, block);
4609         }
4610
4611       /* This will remap a lot of the same decls again, but this should be
4612          harmless.  */
4613       if (gimple_bind_vars (stmt))
4614         gimple_bind_set_vars (stmt, remap_decls (gimple_bind_vars (stmt), NULL, id));
4615     }
4616
4617   /* Keep iterating.  */
4618   return NULL_TREE;
4619 }
4620
4621
4622 /* Copies everything in SEQ and replaces variables and labels local to
4623    current_function_decl.  */
4624
4625 gimple_seq
4626 copy_gimple_seq_and_replace_locals (gimple_seq seq)
4627 {
4628   copy_body_data id;
4629   struct walk_stmt_info wi;
4630   struct pointer_set_t *visited;
4631   gimple_seq copy;
4632
4633   /* There's nothing to do for NULL_TREE.  */
4634   if (seq == NULL)
4635     return seq;
4636
4637   /* Set up ID.  */
4638   memset (&id, 0, sizeof (id));
4639   id.src_fn = current_function_decl;
4640   id.dst_fn = current_function_decl;
4641   id.decl_map = pointer_map_create ();
4642   id.debug_map = NULL;
4643
4644   id.copy_decl = copy_decl_no_change;
4645   id.transform_call_graph_edges = CB_CGE_DUPLICATE;
4646   id.transform_new_cfg = false;
4647   id.transform_return_to_modify = false;
4648   id.transform_lang_insert_block = NULL;
4649
4650   /* Walk the tree once to find local labels.  */
4651   memset (&wi, 0, sizeof (wi));
4652   visited = pointer_set_create ();
4653   wi.info = &id;
4654   wi.pset = visited;
4655   walk_gimple_seq (seq, mark_local_labels_stmt, NULL, &wi);
4656   pointer_set_destroy (visited);
4657
4658   copy = gimple_seq_copy (seq);
4659
4660   /* Walk the copy, remapping decls.  */
4661   memset (&wi, 0, sizeof (wi));
4662   wi.info = &id;
4663   walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, &wi);
4664
4665   /* Clean up.  */
4666   pointer_map_destroy (id.decl_map);
4667   if (id.debug_map)
4668     pointer_map_destroy (id.debug_map);
4669
4670   return copy;
4671 }
4672
4673
4674 /* Allow someone to determine if SEARCH is a child of TOP from gdb.  */
4675
4676 static tree
4677 debug_find_tree_1 (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED, void *data)
4678 {
4679   if (*tp == data)
4680     return (tree) data;
4681   else
4682     return NULL;
4683 }
4684
4685 DEBUG_FUNCTION bool
4686 debug_find_tree (tree top, tree search)
4687 {
4688   return walk_tree_without_duplicates (&top, debug_find_tree_1, search) != 0;
4689 }
4690
4691
4692 /* Declare the variables created by the inliner.  Add all the variables in
4693    VARS to BIND_EXPR.  */
4694
4695 static void
4696 declare_inline_vars (tree block, tree vars)
4697 {
4698   tree t;
4699   for (t = vars; t; t = DECL_CHAIN (t))
4700     {
4701       DECL_SEEN_IN_BIND_EXPR_P (t) = 1;
4702       gcc_assert (!TREE_STATIC (t) && !TREE_ASM_WRITTEN (t));
4703       add_local_decl (cfun, t);
4704     }
4705
4706   if (block)
4707     BLOCK_VARS (block) = chainon (BLOCK_VARS (block), vars);
4708 }
4709
4710 /* Copy NODE (which must be a DECL).  The DECL originally was in the FROM_FN,
4711    but now it will be in the TO_FN.  PARM_TO_VAR means enable PARM_DECL to
4712    VAR_DECL translation.  */
4713
4714 static tree
4715 copy_decl_for_dup_finish (copy_body_data *id, tree decl, tree copy)
4716 {
4717   /* Don't generate debug information for the copy if we wouldn't have
4718      generated it for the copy either.  */
4719   DECL_ARTIFICIAL (copy) = DECL_ARTIFICIAL (decl);
4720   DECL_IGNORED_P (copy) = DECL_IGNORED_P (decl);
4721
4722   /* Set the DECL_ABSTRACT_ORIGIN so the debugging routines know what
4723      declaration inspired this copy.  */
4724   DECL_ABSTRACT_ORIGIN (copy) = DECL_ORIGIN (decl);
4725
4726   /* The new variable/label has no RTL, yet.  */
4727   if (CODE_CONTAINS_STRUCT (TREE_CODE (copy), TS_DECL_WRTL)
4728       && !TREE_STATIC (copy) && !DECL_EXTERNAL (copy))
4729     SET_DECL_RTL (copy, 0);
4730
4731   /* These args would always appear unused, if not for this.  */
4732   TREE_USED (copy) = 1;
4733
4734   /* Set the context for the new declaration.  */
4735   if (!DECL_CONTEXT (decl))
4736     /* Globals stay global.  */
4737     ;
4738   else if (DECL_CONTEXT (decl) != id->src_fn)
4739     /* Things that weren't in the scope of the function we're inlining
4740        from aren't in the scope we're inlining to, either.  */
4741     ;
4742   else if (TREE_STATIC (decl))
4743     /* Function-scoped static variables should stay in the original
4744        function.  */
4745     ;
4746   else
4747     /* Ordinary automatic local variables are now in the scope of the
4748        new function.  */
4749     DECL_CONTEXT (copy) = id->dst_fn;
4750
4751   if (TREE_CODE (decl) == VAR_DECL
4752       /* C++ clones functions during parsing, before
4753          referenced_vars.  */
4754       && gimple_referenced_vars (DECL_STRUCT_FUNCTION (id->src_fn))
4755       && referenced_var_lookup (DECL_STRUCT_FUNCTION (id->src_fn),
4756                                 DECL_UID (decl)))
4757     add_referenced_var (copy);
4758
4759   return copy;
4760 }
4761
4762 static tree
4763 copy_decl_to_var (tree decl, copy_body_data *id)
4764 {
4765   tree copy, type;
4766
4767   gcc_assert (TREE_CODE (decl) == PARM_DECL
4768               || TREE_CODE (decl) == RESULT_DECL);
4769
4770   type = TREE_TYPE (decl);
4771
4772   copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
4773                      VAR_DECL, DECL_NAME (decl), type);
4774   if (DECL_PT_UID_SET_P (decl))
4775     SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
4776   TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
4777   TREE_READONLY (copy) = TREE_READONLY (decl);
4778   TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
4779   DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
4780
4781   return copy_decl_for_dup_finish (id, decl, copy);
4782 }
4783
4784 /* Like copy_decl_to_var, but create a return slot object instead of a
4785    pointer variable for return by invisible reference.  */
4786
4787 static tree
4788 copy_result_decl_to_var (tree decl, copy_body_data *id)
4789 {
4790   tree copy, type;
4791
4792   gcc_assert (TREE_CODE (decl) == PARM_DECL
4793               || TREE_CODE (decl) == RESULT_DECL);
4794
4795   type = TREE_TYPE (decl);
4796   if (DECL_BY_REFERENCE (decl))
4797     type = TREE_TYPE (type);
4798
4799   copy = build_decl (DECL_SOURCE_LOCATION (id->dst_fn),
4800                      VAR_DECL, DECL_NAME (decl), type);
4801   if (DECL_PT_UID_SET_P (decl))
4802     SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
4803   TREE_READONLY (copy) = TREE_READONLY (decl);
4804   TREE_THIS_VOLATILE (copy) = TREE_THIS_VOLATILE (decl);
4805   if (!DECL_BY_REFERENCE (decl))
4806     {
4807       TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
4808       DECL_GIMPLE_REG_P (copy) = DECL_GIMPLE_REG_P (decl);
4809     }
4810
4811   return copy_decl_for_dup_finish (id, decl, copy);
4812 }
4813
4814 tree
4815 copy_decl_no_change (tree decl, copy_body_data *id)
4816 {
4817   tree copy;
4818
4819   copy = copy_node (decl);
4820
4821   /* The COPY is not abstract; it will be generated in DST_FN.  */
4822   DECL_ABSTRACT (copy) = 0;
4823   lang_hooks.dup_lang_specific_decl (copy);
4824
4825   /* TREE_ADDRESSABLE isn't used to indicate that a label's address has
4826      been taken; it's for internal bookkeeping in expand_goto_internal.  */
4827   if (TREE_CODE (copy) == LABEL_DECL)
4828     {
4829       TREE_ADDRESSABLE (copy) = 0;
4830       LABEL_DECL_UID (copy) = -1;
4831     }
4832
4833   return copy_decl_for_dup_finish (id, decl, copy);
4834 }
4835
4836 static tree
4837 copy_decl_maybe_to_var (tree decl, copy_body_data *id)
4838 {
4839   if (TREE_CODE (decl) == PARM_DECL || TREE_CODE (decl) == RESULT_DECL)
4840     return copy_decl_to_var (decl, id);
4841   else
4842     return copy_decl_no_change (decl, id);
4843 }
4844
4845 /* Return a copy of the function's argument tree.  */
4846 static tree
4847 copy_arguments_for_versioning (tree orig_parm, copy_body_data * id,
4848                                bitmap args_to_skip, tree *vars)
4849 {
4850   tree arg, *parg;
4851   tree new_parm = NULL;
4852   int i = 0;
4853
4854   parg = &new_parm;
4855
4856   for (arg = orig_parm; arg; arg = DECL_CHAIN (arg), i++)
4857     if (!args_to_skip || !bitmap_bit_p (args_to_skip, i))
4858       {
4859         tree new_tree = remap_decl (arg, id);
4860         lang_hooks.dup_lang_specific_decl (new_tree);
4861         *parg = new_tree;
4862         parg = &DECL_CHAIN (new_tree);
4863       }
4864     else if (!pointer_map_contains (id->decl_map, arg))
4865       {
4866         /* Make an equivalent VAR_DECL.  If the argument was used
4867            as temporary variable later in function, the uses will be
4868            replaced by local variable.  */
4869         tree var = copy_decl_to_var (arg, id);
4870         add_referenced_var (var);
4871         insert_decl_map (id, arg, var);
4872         /* Declare this new variable.  */
4873         DECL_CHAIN (var) = *vars;
4874         *vars = var;
4875       }
4876   return new_parm;
4877 }
4878
4879 /* Return a copy of the function's static chain.  */
4880 static tree
4881 copy_static_chain (tree static_chain, copy_body_data * id)
4882 {
4883   tree *chain_copy, *pvar;
4884
4885   chain_copy = &static_chain;
4886   for (pvar = chain_copy; *pvar; pvar = &DECL_CHAIN (*pvar))
4887     {
4888       tree new_tree = remap_decl (*pvar, id);
4889       lang_hooks.dup_lang_specific_decl (new_tree);
4890       DECL_CHAIN (new_tree) = DECL_CHAIN (*pvar);
4891       *pvar = new_tree;
4892     }
4893   return static_chain;
4894 }
4895
4896 /* Return true if the function is allowed to be versioned.
4897    This is a guard for the versioning functionality.  */
4898
4899 bool
4900 tree_versionable_function_p (tree fndecl)
4901 {
4902   return (!lookup_attribute ("noclone", DECL_ATTRIBUTES (fndecl))
4903           && copy_forbidden (DECL_STRUCT_FUNCTION (fndecl), fndecl) == NULL);
4904 }
4905
4906 /* Delete all unreachable basic blocks and update callgraph.
4907    Doing so is somewhat nontrivial because we need to update all clones and
4908    remove inline function that become unreachable.  */
4909
4910 static bool
4911 delete_unreachable_blocks_update_callgraph (copy_body_data *id)
4912 {
4913   bool changed = false;
4914   basic_block b, next_bb;
4915
4916   find_unreachable_blocks ();
4917
4918   /* Delete all unreachable basic blocks.  */
4919
4920   for (b = ENTRY_BLOCK_PTR->next_bb; b != EXIT_BLOCK_PTR; b = next_bb)
4921     {
4922       next_bb = b->next_bb;
4923
4924       if (!(b->flags & BB_REACHABLE))
4925         {
4926           gimple_stmt_iterator bsi;
4927
4928           for (bsi = gsi_start_bb (b); !gsi_end_p (bsi); gsi_next (&bsi))
4929             if (gimple_code (gsi_stmt (bsi)) == GIMPLE_CALL)
4930               {
4931                 struct cgraph_edge *e;
4932                 struct cgraph_node *node;
4933
4934                 if ((e = cgraph_edge (id->dst_node, gsi_stmt (bsi))) != NULL)
4935                   {
4936                     if (!e->inline_failed)
4937                       cgraph_remove_node_and_inline_clones (e->callee);
4938                     else
4939                       cgraph_remove_edge (e);
4940                   }
4941                 if (id->transform_call_graph_edges == CB_CGE_MOVE_CLONES
4942                     && id->dst_node->clones)
4943                   for (node = id->dst_node->clones; node != id->dst_node;)
4944                     {
4945                       if ((e = cgraph_edge (node, gsi_stmt (bsi))) != NULL)
4946                         {
4947                           if (!e->inline_failed)
4948                             cgraph_remove_node_and_inline_clones (e->callee);
4949                           else
4950                             cgraph_remove_edge (e);
4951                         }
4952
4953                       if (node->clones)
4954                         node = node->clones;
4955                       else if (node->next_sibling_clone)
4956                         node = node->next_sibling_clone;
4957                       else
4958                         {
4959                           while (node != id->dst_node && !node->next_sibling_clone)
4960                             node = node->clone_of;
4961                           if (node != id->dst_node)
4962                             node = node->next_sibling_clone;
4963                         }
4964                     }
4965               }
4966           delete_basic_block (b);
4967           changed = true;
4968         }
4969     }
4970
4971   if (changed)
4972     tidy_fallthru_edges ();
4973   return changed;
4974 }
4975
4976 /* Update clone info after duplication.  */
4977
4978 static void
4979 update_clone_info (copy_body_data * id)
4980 {
4981   struct cgraph_node *node;
4982   if (!id->dst_node->clones)
4983     return;
4984   for (node = id->dst_node->clones; node != id->dst_node;)
4985     {
4986       /* First update replace maps to match the new body.  */
4987       if (node->clone.tree_map)
4988         {
4989           unsigned int i;
4990           for (i = 0; i < VEC_length (ipa_replace_map_p, node->clone.tree_map); i++)
4991             {
4992               struct ipa_replace_map *replace_info;
4993               replace_info = VEC_index (ipa_replace_map_p, node->clone.tree_map, i);
4994               walk_tree (&replace_info->old_tree, copy_tree_body_r, id, NULL);
4995               walk_tree (&replace_info->new_tree, copy_tree_body_r, id, NULL);
4996             }
4997         }
4998       if (node->clones)
4999         node = node->clones;
5000       else if (node->next_sibling_clone)
5001         node = node->next_sibling_clone;
5002       else
5003         {
5004           while (node != id->dst_node && !node->next_sibling_clone)
5005             node = node->clone_of;
5006           if (node != id->dst_node)
5007             node = node->next_sibling_clone;
5008         }
5009     }
5010 }
5011
5012 /* Create a copy of a function's tree.
5013    OLD_DECL and NEW_DECL are FUNCTION_DECL tree nodes
5014    of the original function and the new copied function
5015    respectively.  In case we want to replace a DECL
5016    tree with another tree while duplicating the function's
5017    body, TREE_MAP represents the mapping between these
5018    trees. If UPDATE_CLONES is set, the call_stmt fields
5019    of edges of clones of the function will be updated.  
5020
5021    If non-NULL ARGS_TO_SKIP determine function parameters to remove
5022    from new version.
5023    If non-NULL BLOCK_TO_COPY determine what basic blocks to copy.
5024    If non_NULL NEW_ENTRY determine new entry BB of the clone.
5025 */
5026 void
5027 tree_function_versioning (tree old_decl, tree new_decl,
5028                           VEC(ipa_replace_map_p,gc)* tree_map,
5029                           bool update_clones, bitmap args_to_skip,
5030                           bitmap blocks_to_copy, basic_block new_entry)
5031 {
5032   struct cgraph_node *old_version_node;
5033   struct cgraph_node *new_version_node;
5034   copy_body_data id;
5035   tree p;
5036   unsigned i;
5037   struct ipa_replace_map *replace_info;
5038   basic_block old_entry_block, bb;
5039   VEC (gimple, heap) *init_stmts = VEC_alloc (gimple, heap, 10);
5040
5041   tree old_current_function_decl = current_function_decl;
5042   tree vars = NULL_TREE;
5043
5044   gcc_assert (TREE_CODE (old_decl) == FUNCTION_DECL
5045               && TREE_CODE (new_decl) == FUNCTION_DECL);
5046   DECL_POSSIBLY_INLINED (old_decl) = 1;
5047
5048   old_version_node = cgraph_node (old_decl);
5049   new_version_node = cgraph_node (new_decl);
5050
5051   /* Output the inlining info for this abstract function, since it has been
5052      inlined.  If we don't do this now, we can lose the information about the
5053      variables in the function when the blocks get blown away as soon as we
5054      remove the cgraph node.  */
5055   (*debug_hooks->outlining_inline_function) (old_decl);
5056
5057   DECL_ARTIFICIAL (new_decl) = 1;
5058   DECL_ABSTRACT_ORIGIN (new_decl) = DECL_ORIGIN (old_decl);
5059   DECL_FUNCTION_PERSONALITY (new_decl) = DECL_FUNCTION_PERSONALITY (old_decl);
5060
5061   /* Prepare the data structures for the tree copy.  */
5062   memset (&id, 0, sizeof (id));
5063
5064   /* Generate a new name for the new version. */
5065   id.statements_to_fold = pointer_set_create ();
5066
5067   id.decl_map = pointer_map_create ();
5068   id.debug_map = NULL;
5069   id.src_fn = old_decl;
5070   id.dst_fn = new_decl;
5071   id.src_node = old_version_node;
5072   id.dst_node = new_version_node;
5073   id.src_cfun = DECL_STRUCT_FUNCTION (old_decl);
5074   if (id.src_node->ipa_transforms_to_apply)
5075     {
5076       VEC(ipa_opt_pass,heap) * old_transforms_to_apply = id.dst_node->ipa_transforms_to_apply;
5077       unsigned int i;
5078
5079       id.dst_node->ipa_transforms_to_apply = VEC_copy (ipa_opt_pass, heap,
5080                                                        id.src_node->ipa_transforms_to_apply);
5081       for (i = 0; i < VEC_length (ipa_opt_pass, old_transforms_to_apply); i++)
5082         VEC_safe_push (ipa_opt_pass, heap, id.dst_node->ipa_transforms_to_apply,
5083                        VEC_index (ipa_opt_pass,
5084                                   old_transforms_to_apply,
5085                                   i));
5086     }
5087
5088   id.copy_decl = copy_decl_no_change;
5089   id.transform_call_graph_edges
5090     = update_clones ? CB_CGE_MOVE_CLONES : CB_CGE_MOVE;
5091   id.transform_new_cfg = true;
5092   id.transform_return_to_modify = false;
5093   id.transform_lang_insert_block = NULL;
5094
5095   current_function_decl = new_decl;
5096   old_entry_block = ENTRY_BLOCK_PTR_FOR_FUNCTION
5097     (DECL_STRUCT_FUNCTION (old_decl));
5098   initialize_cfun (new_decl, old_decl,
5099                    old_entry_block->count);
5100   DECL_STRUCT_FUNCTION (new_decl)->gimple_df->ipa_pta
5101     = id.src_cfun->gimple_df->ipa_pta;
5102   push_cfun (DECL_STRUCT_FUNCTION (new_decl));
5103
5104   /* Copy the function's static chain.  */
5105   p = DECL_STRUCT_FUNCTION (old_decl)->static_chain_decl;
5106   if (p)
5107     DECL_STRUCT_FUNCTION (new_decl)->static_chain_decl =
5108       copy_static_chain (DECL_STRUCT_FUNCTION (old_decl)->static_chain_decl,
5109                          &id);
5110
5111   /* If there's a tree_map, prepare for substitution.  */
5112   if (tree_map)
5113     for (i = 0; i < VEC_length (ipa_replace_map_p, tree_map); i++)
5114       {
5115         gimple init;
5116         replace_info = VEC_index (ipa_replace_map_p, tree_map, i);
5117         if (replace_info->replace_p)
5118           {
5119             tree op = replace_info->new_tree;
5120             if (!replace_info->old_tree)
5121               {
5122                 int i = replace_info->parm_num;
5123                 tree parm;
5124                 for (parm = DECL_ARGUMENTS (old_decl); i; parm = DECL_CHAIN (parm))
5125                   i --;
5126                 replace_info->old_tree = parm;
5127               }
5128                 
5129
5130             STRIP_NOPS (op);
5131
5132             if (TREE_CODE (op) == VIEW_CONVERT_EXPR)
5133               op = TREE_OPERAND (op, 0);
5134
5135             if (TREE_CODE (op) == ADDR_EXPR)
5136               {
5137                 op = TREE_OPERAND (op, 0);
5138                 while (handled_component_p (op))
5139                   op = TREE_OPERAND (op, 0);
5140                 if (TREE_CODE (op) == VAR_DECL)
5141                   add_referenced_var (op);
5142               }
5143             gcc_assert (TREE_CODE (replace_info->old_tree) == PARM_DECL);
5144             init = setup_one_parameter (&id, replace_info->old_tree,
5145                                         replace_info->new_tree, id.src_fn,
5146                                         NULL,
5147                                         &vars);
5148             if (init)
5149               VEC_safe_push (gimple, heap, init_stmts, init);
5150           }
5151       }
5152   /* Copy the function's arguments.  */
5153   if (DECL_ARGUMENTS (old_decl) != NULL_TREE)
5154     DECL_ARGUMENTS (new_decl) =
5155       copy_arguments_for_versioning (DECL_ARGUMENTS (old_decl), &id,
5156                                      args_to_skip, &vars);
5157
5158   DECL_INITIAL (new_decl) = remap_blocks (DECL_INITIAL (id.src_fn), &id);
5159
5160   declare_inline_vars (DECL_INITIAL (new_decl), vars);
5161
5162   if (!VEC_empty (tree, DECL_STRUCT_FUNCTION (old_decl)->local_decls))
5163     /* Add local vars.  */
5164     add_local_variables (DECL_STRUCT_FUNCTION (old_decl), cfun, &id, false);
5165
5166   if (DECL_RESULT (old_decl) != NULL_TREE)
5167     {
5168       tree old_name;
5169       DECL_RESULT (new_decl) = remap_decl (DECL_RESULT (old_decl), &id);
5170       lang_hooks.dup_lang_specific_decl (DECL_RESULT (new_decl));
5171       if (gimple_in_ssa_p (id.src_cfun)
5172           && DECL_BY_REFERENCE (DECL_RESULT (old_decl))
5173           && (old_name
5174               = gimple_default_def (id.src_cfun, DECL_RESULT (old_decl))))
5175         {
5176           tree new_name = make_ssa_name (DECL_RESULT (new_decl), NULL);
5177           insert_decl_map (&id, old_name, new_name);
5178           SSA_NAME_DEF_STMT (new_name) = gimple_build_nop ();
5179           set_default_def (DECL_RESULT (new_decl), new_name);
5180         }
5181     }
5182
5183   /* Copy the Function's body.  */
5184   copy_body (&id, old_entry_block->count, REG_BR_PROB_BASE,
5185              ENTRY_BLOCK_PTR, EXIT_BLOCK_PTR, blocks_to_copy, new_entry);
5186
5187   /* Renumber the lexical scoping (non-code) blocks consecutively.  */
5188   number_blocks (new_decl);
5189
5190   /* We want to create the BB unconditionally, so that the addition of
5191      debug stmts doesn't affect BB count, which may in the end cause
5192      codegen differences.  */
5193   bb = split_edge (single_succ_edge (ENTRY_BLOCK_PTR));
5194   while (VEC_length (gimple, init_stmts))
5195     insert_init_stmt (&id, bb, VEC_pop (gimple, init_stmts));
5196   update_clone_info (&id);
5197
5198   /* Remap the nonlocal_goto_save_area, if any.  */
5199   if (cfun->nonlocal_goto_save_area)
5200     {
5201       struct walk_stmt_info wi;
5202
5203       memset (&wi, 0, sizeof (wi));
5204       wi.info = &id;
5205       walk_tree (&cfun->nonlocal_goto_save_area, remap_gimple_op_r, &wi, NULL);
5206     }
5207
5208   /* Clean up.  */
5209   pointer_map_destroy (id.decl_map);
5210   if (id.debug_map)
5211     pointer_map_destroy (id.debug_map);
5212   free_dominance_info (CDI_DOMINATORS);
5213   free_dominance_info (CDI_POST_DOMINATORS);
5214
5215   fold_marked_statements (0, id.statements_to_fold);
5216   pointer_set_destroy (id.statements_to_fold);
5217   fold_cond_expr_cond ();
5218   delete_unreachable_blocks_update_callgraph (&id);
5219   if (id.dst_node->analyzed)
5220     cgraph_rebuild_references ();
5221   update_ssa (TODO_update_ssa);
5222
5223   /* After partial cloning we need to rescale frequencies, so they are
5224      within proper range in the cloned function.  */
5225   if (new_entry)
5226     {
5227       struct cgraph_edge *e;
5228       rebuild_frequencies ();
5229
5230       new_version_node->count = ENTRY_BLOCK_PTR->count;
5231       for (e = new_version_node->callees; e; e = e->next_callee)
5232         {
5233           basic_block bb = gimple_bb (e->call_stmt);
5234           e->frequency = compute_call_stmt_bb_frequency (current_function_decl,
5235                                                          bb);
5236           e->count = bb->count;
5237         }
5238       for (e = new_version_node->indirect_calls; e; e = e->next_callee)
5239         {
5240           basic_block bb = gimple_bb (e->call_stmt);
5241           e->frequency = compute_call_stmt_bb_frequency (current_function_decl,
5242                                                          bb);
5243           e->count = bb->count;
5244         }
5245     }
5246
5247   free_dominance_info (CDI_DOMINATORS);
5248   free_dominance_info (CDI_POST_DOMINATORS);
5249
5250   gcc_assert (!id.debug_stmts);
5251   VEC_free (gimple, heap, init_stmts);
5252   pop_cfun ();
5253   current_function_decl = old_current_function_decl;
5254   gcc_assert (!current_function_decl
5255               || DECL_STRUCT_FUNCTION (current_function_decl) == cfun);
5256   return;
5257 }
5258
5259 /* EXP is CALL_EXPR present in a GENERIC expression tree.  Try to integrate
5260    the callee and return the inlined body on success.  */
5261
5262 tree
5263 maybe_inline_call_in_expr (tree exp)
5264 {
5265   tree fn = get_callee_fndecl (exp);
5266
5267   /* We can only try to inline "const" functions.  */
5268   if (fn && TREE_READONLY (fn) && DECL_SAVED_TREE (fn))
5269     {
5270       struct pointer_map_t *decl_map = pointer_map_create ();
5271       call_expr_arg_iterator iter;
5272       copy_body_data id;
5273       tree param, arg, t;
5274
5275       /* Remap the parameters.  */
5276       for (param = DECL_ARGUMENTS (fn), arg = first_call_expr_arg (exp, &iter);
5277            param;
5278            param = DECL_CHAIN (param), arg = next_call_expr_arg (&iter))
5279         *pointer_map_insert (decl_map, param) = arg;
5280
5281       memset (&id, 0, sizeof (id));
5282       id.src_fn = fn;
5283       id.dst_fn = current_function_decl;
5284       id.src_cfun = DECL_STRUCT_FUNCTION (fn);
5285       id.decl_map = decl_map;
5286
5287       id.copy_decl = copy_decl_no_change;
5288       id.transform_call_graph_edges = CB_CGE_DUPLICATE;
5289       id.transform_new_cfg = false;
5290       id.transform_return_to_modify = true;
5291       id.transform_lang_insert_block = false;
5292
5293       /* Make sure not to unshare trees behind the front-end's back
5294          since front-end specific mechanisms may rely on sharing.  */
5295       id.regimplify = false;
5296       id.do_not_unshare = true;
5297
5298       /* We're not inside any EH region.  */
5299       id.eh_lp_nr = 0;
5300
5301       t = copy_tree_body (&id);
5302       pointer_map_destroy (decl_map);
5303
5304       /* We can only return something suitable for use in a GENERIC
5305          expression tree.  */
5306       if (TREE_CODE (t) == MODIFY_EXPR)
5307         return TREE_OPERAND (t, 1);
5308     }
5309
5310    return NULL_TREE;
5311 }
5312
5313 /* Duplicate a type, fields and all.  */
5314
5315 tree
5316 build_duplicate_type (tree type)
5317 {
5318   struct copy_body_data id;
5319
5320   memset (&id, 0, sizeof (id));
5321   id.src_fn = current_function_decl;
5322   id.dst_fn = current_function_decl;
5323   id.src_cfun = cfun;
5324   id.decl_map = pointer_map_create ();
5325   id.debug_map = NULL;
5326   id.copy_decl = copy_decl_no_change;
5327
5328   type = remap_type_1 (type, &id);
5329
5330   pointer_map_destroy (id.decl_map);
5331   if (id.debug_map)
5332     pointer_map_destroy (id.debug_map);
5333
5334   TYPE_CANONICAL (type) = type;
5335
5336   return type;
5337 }
5338
5339 /* Return whether it is safe to inline a function because it used different
5340    target specific options or call site actual types mismatch parameter types.
5341    E is the call edge to be checked.  */
5342 bool
5343 tree_can_inline_p (struct cgraph_edge *e)
5344 {
5345 #if 0
5346   /* This causes a regression in SPEC in that it prevents a cold function from
5347      inlining a hot function.  Perhaps this should only apply to functions
5348      that the user declares hot/cold/optimize explicitly.  */
5349
5350   /* Don't inline a function with a higher optimization level than the
5351      caller, or with different space constraints (hot/cold functions).  */
5352   tree caller_tree = DECL_FUNCTION_SPECIFIC_OPTIMIZATION (caller);
5353   tree callee_tree = DECL_FUNCTION_SPECIFIC_OPTIMIZATION (callee);
5354
5355   if (caller_tree != callee_tree)
5356     {
5357       struct cl_optimization *caller_opt
5358         = TREE_OPTIMIZATION ((caller_tree)
5359                              ? caller_tree
5360                              : optimization_default_node);
5361
5362       struct cl_optimization *callee_opt
5363         = TREE_OPTIMIZATION ((callee_tree)
5364                              ? callee_tree
5365                              : optimization_default_node);
5366
5367       if ((caller_opt->optimize > callee_opt->optimize)
5368           || (caller_opt->optimize_size != callee_opt->optimize_size))
5369         return false;
5370     }
5371 #endif
5372   tree caller, callee, lhs;
5373
5374   caller = e->caller->decl;
5375   callee = e->callee->decl;
5376
5377   /* First check that inlining isn't simply forbidden in this case.  */
5378   if (inline_forbidden_into_p (caller, callee))
5379     {
5380       e->inline_failed = CIF_UNSPECIFIED;
5381       if (e->call_stmt)
5382         gimple_call_set_cannot_inline (e->call_stmt, true);
5383       return false;
5384     }
5385
5386   /* Allow the backend to decide if inlining is ok.  */
5387   if (!targetm.target_option.can_inline_p (caller, callee))
5388     {
5389       e->inline_failed = CIF_TARGET_OPTION_MISMATCH;
5390       if (e->call_stmt)
5391         gimple_call_set_cannot_inline (e->call_stmt, true);
5392       e->call_stmt_cannot_inline_p = true;
5393       return false;
5394     }
5395
5396   /* Do not inline calls where we cannot triviall work around mismatches
5397      in argument or return types.  */
5398   if (e->call_stmt
5399       && ((DECL_RESULT (callee)
5400            && !DECL_BY_REFERENCE (DECL_RESULT (callee))
5401            && (lhs = gimple_call_lhs (e->call_stmt)) != NULL_TREE
5402            && !useless_type_conversion_p (TREE_TYPE (DECL_RESULT (callee)),
5403                                           TREE_TYPE (lhs))
5404            && !fold_convertible_p (TREE_TYPE (DECL_RESULT (callee)), lhs))
5405           || !gimple_check_call_args (e->call_stmt)))
5406     {
5407       e->inline_failed = CIF_MISMATCHED_ARGUMENTS;
5408       if (e->call_stmt)
5409         gimple_call_set_cannot_inline (e->call_stmt, true);
5410       e->call_stmt_cannot_inline_p = true;
5411       return false;
5412     }
5413
5414   return true;
5415 }