contrib/gcc-4.1/gcc/cp/optimize.c

   1 /* Perform optimizations on tree structure.
   2    Copyright (C) 1998, 1999, 2000, 2001, 2002, 2004, 2005
   3    Free Software Foundation, Inc.
   4    Written by Mark Michell (mark@codesourcery.com).
   5
   6 This file is part of GCC.
   7
   8 GCC is free software; you can redistribute it and/or modify it
   9 under the terms of the GNU General Public License as published by
  10 the Free Software Foundation; either version 2, or (at your option)
  11 any later version.
  12
  13 GCC is distributed in the hope that it will be useful, but
  14 WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16 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 COPYING.  If not, write to the Free
  20 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
  21 02110-1301, USA.  */
  22
  23 #include "config.h"
  24 #include "system.h"
  25 #include "coretypes.h"
  26 #include "tm.h"
  27 #include "tree.h"
  28 #include "cp-tree.h"
  29 #include "rtl.h"
  30 #include "insn-config.h"
  31 #include "input.h"
  32 #include "integrate.h"
  33 #include "toplev.h"
  34 #include "varray.h"
  35 #include "params.h"
  36 #include "hashtab.h"
  37 #include "target.h"
  38 #include "debug.h"
  39 #include "tree-inline.h"
  40 #include "flags.h"
  41 #include "langhooks.h"
  42 #include "diagnostic.h"
  43 #include "tree-dump.h"
  44 #include "tree-gimple.h"
  45
  46 /* Prototypes.  */
  47
  48 static void update_cloned_parm (tree, tree, bool);
  49
  50 /* CLONED_PARM is a copy of CLONE, generated for a cloned constructor
  51    or destructor.  Update it to ensure that the source-position for
  52    the cloned parameter matches that for the original, and that the
  53    debugging generation code will be able to find the original PARM.  */
  54
  55 static void
  56 update_cloned_parm (tree parm, tree cloned_parm, bool first)
  57 {
  58   DECL_ABSTRACT_ORIGIN (cloned_parm) = parm;
  59
  60   /* We may have taken its address.  */
  61   TREE_ADDRESSABLE (cloned_parm) = TREE_ADDRESSABLE (parm);
  62
  63   /* The definition might have different constness.  */
  64   TREE_READONLY (cloned_parm) = TREE_READONLY (parm);
  65
  66   TREE_USED (cloned_parm) = !first || TREE_USED (parm);
  67
  68   /* The name may have changed from the declaration.  */
  69   DECL_NAME (cloned_parm) = DECL_NAME (parm);
  70   DECL_SOURCE_LOCATION (cloned_parm) = DECL_SOURCE_LOCATION (parm);
  71   TREE_TYPE (cloned_parm) = TREE_TYPE (parm);
  72 }
  73
  74 /* FN is a function that has a complete body.  Clone the body as
  75    necessary.  Returns nonzero if there's no longer any need to
  76    process the main body.  */
  77
  78 bool
  79 maybe_clone_body (tree fn)
  80 {
  81   tree clone;
  82   bool first = true;
  83
  84   /* We only clone constructors and destructors.  */
  85   if (!DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P (fn)
  86       && !DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (fn))
  87     return 0;
  88
  89   /* Emit the DWARF1 abstract instance.  */
  90   (*debug_hooks->deferred_inline_function) (fn);
  91
  92   /* We know that any clones immediately follow FN in the TYPE_METHODS
  93      list.  */
  94   push_to_top_level ();
  95   FOR_EACH_CLONE (clone, fn)
  96     {
  97       tree parm;
  98       tree clone_parm;
  99       int parmno;
 100       splay_tree decl_map;
 101
 102       /* Update CLONE's source position information to match FN's.  */
 103       DECL_SOURCE_LOCATION (clone) = DECL_SOURCE_LOCATION (fn);
 104       DECL_INLINE (clone) = DECL_INLINE (fn);
 105       DECL_DECLARED_INLINE_P (clone) = DECL_DECLARED_INLINE_P (fn);
 106       DECL_COMDAT (clone) = DECL_COMDAT (fn);
 107       DECL_WEAK (clone) = DECL_WEAK (fn);
 108       DECL_ONE_ONLY (clone) = DECL_ONE_ONLY (fn);
 109       DECL_SECTION_NAME (clone) = DECL_SECTION_NAME (fn);
 110       DECL_USE_TEMPLATE (clone) = DECL_USE_TEMPLATE (fn);
 111       DECL_EXTERNAL (clone) = DECL_EXTERNAL (fn);
 112       DECL_INTERFACE_KNOWN (clone) = DECL_INTERFACE_KNOWN (fn);
 113       DECL_NOT_REALLY_EXTERN (clone) = DECL_NOT_REALLY_EXTERN (fn);
 114       TREE_PUBLIC (clone) = TREE_PUBLIC (fn);
 115       DECL_VISIBILITY (clone) = DECL_VISIBILITY (fn);
 116       DECL_VISIBILITY_SPECIFIED (clone) = DECL_VISIBILITY_SPECIFIED (fn);
 117
 118       /* Adjust the parameter names and locations.  */
 119       parm = DECL_ARGUMENTS (fn);
 120       clone_parm = DECL_ARGUMENTS (clone);
 121       /* Update the `this' parameter, which is always first.  */
 122       update_cloned_parm (parm, clone_parm, first);
 123       parm = TREE_CHAIN (parm);
 124       clone_parm = TREE_CHAIN (clone_parm);
 125       if (DECL_HAS_IN_CHARGE_PARM_P (fn))
 126         parm = TREE_CHAIN (parm);
 127       if (DECL_HAS_VTT_PARM_P (fn))
 128         parm = TREE_CHAIN (parm);
 129       if (DECL_HAS_VTT_PARM_P (clone))
 130         clone_parm = TREE_CHAIN (clone_parm);
 131       for (; parm;
 132            parm = TREE_CHAIN (parm), clone_parm = TREE_CHAIN (clone_parm))
 133         /* Update this parameter.  */
 134         update_cloned_parm (parm, clone_parm, first);
 135
 136       /* Start processing the function.  */
 137       start_preparsed_function (clone, NULL_TREE, SF_PRE_PARSED);
 138
 139       /* Remap the parameters.  */
 140       decl_map = splay_tree_new (splay_tree_compare_pointers, NULL, NULL);
 141       for (parmno = 0,
 142              parm = DECL_ARGUMENTS (fn),
 143              clone_parm = DECL_ARGUMENTS (clone);
 144            parm;
 145            ++parmno,
 146              parm = TREE_CHAIN (parm))
 147         {
 148           /* Map the in-charge parameter to an appropriate constant.  */
 149           if (DECL_HAS_IN_CHARGE_PARM_P (fn) && parmno == 1)
 150             {
 151               tree in_charge;
 152               in_charge = in_charge_arg_for_name (DECL_NAME (clone));
 153               splay_tree_insert (decl_map,
 154                                  (splay_tree_key) parm,
 155                                  (splay_tree_value) in_charge);
 156             }
 157           else if (DECL_ARTIFICIAL (parm)
 158                    && DECL_NAME (parm) == vtt_parm_identifier)
 159             {
 160               /* For a subobject constructor or destructor, the next
 161                  argument is the VTT parameter.  Remap the VTT_PARM
 162                  from the CLONE to this parameter.  */
 163               if (DECL_HAS_VTT_PARM_P (clone))
 164                 {
 165                   DECL_ABSTRACT_ORIGIN (clone_parm) = parm;
 166                   splay_tree_insert (decl_map,
 167                                      (splay_tree_key) parm,
 168                                      (splay_tree_value) clone_parm);
 169                   clone_parm = TREE_CHAIN (clone_parm);
 170                 }
 171               /* Otherwise, map the VTT parameter to `NULL'.  */
 172               else
 173                 {
 174                   splay_tree_insert (decl_map,
 175                                      (splay_tree_key) parm,
 176                                      (splay_tree_value) null_pointer_node);
 177                 }
 178             }
 179           /* Map other parameters to their equivalents in the cloned
 180              function.  */
 181           else
 182             {
 183               splay_tree_insert (decl_map,
 184                                  (splay_tree_key) parm,
 185                                  (splay_tree_value) clone_parm);
 186               clone_parm = TREE_CHAIN (clone_parm);
 187             }
 188         }
 189
 190       if (targetm.cxx.cdtor_returns_this ())
 191         {
 192           parm = DECL_RESULT (fn);
 193           clone_parm = DECL_RESULT (clone);
 194           splay_tree_insert (decl_map, (splay_tree_key) parm,
 195                              (splay_tree_value) clone_parm);
 196         }
 197       /* Clone the body.  */
 198       clone_body (clone, fn, decl_map);
 199
 200       /* Clean up.  */
 201       splay_tree_delete (decl_map);
 202
 203       /* The clone can throw iff the original function can throw.  */
 204       cp_function_chain->can_throw = !TREE_NOTHROW (fn);
 205
 206       /* Now, expand this function into RTL, if appropriate.  */
 207       finish_function (0);
 208       BLOCK_ABSTRACT_ORIGIN (DECL_INITIAL (clone)) = DECL_INITIAL (fn);
 209       expand_or_defer_fn (clone);
 210       first = false;
 211     }
 212   pop_from_top_level ();
 213
 214   /* We don't need to process the original function any further.  */
 215   return 1;
 216 }