nsz Git - libfirm/blob - ir/tr/type_finalization.c

   1 /*
   2  * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
   3  *
   4  * This file is part of libFirm.
   5  *
   6  * This file may be distributed and/or modified under the terms of the
   7  * GNU General Public License version 2 as published by the Free Software
   8  * Foundation and appearing in the file LICENSE.GPL included in the
   9  * packaging of this file.
  10  *
  11  * Licensees holding valid libFirm Professional Edition licenses may use
  12  * this file in accordance with the libFirm Commercial License.
  13  * Agreement provided with the Software.
  14  *
  15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
  16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  17  * PURPOSE.
  18  */
  19
  20 /**
  21  * @file    type_finalization.c
  22  * @brief   Calculate finalization of classes and entities by
  23  *          inspecting the class hierarchy.
  24  * @author  Michael Beck
  25  * @version $Id$
  26  */
  27 #include "config.h"
  28
  29 #include "typerep.h"
  30 #include "irprog_t.h"
  31 #include "irflag_t.h"
  32 #include "entity_t.h"
  33 #include "debug.h"
  34
  35 DEBUG_ONLY(static firm_dbg_module_t *dbg;)
  36
  37 static void do_finalization(type_or_ent tore, void *env)
  38 {
  39         ir_type *glob_tp = env;
  40
  41         if (is_type(tore.typ)) {
  42                 ir_type *cls = tore.typ;
  43
  44                 if (! is_Class_type(cls) || cls == glob_tp)
  45                         return;
  46
  47                 if (is_class_final(cls))
  48                         return;
  49                 if (get_class_n_subtypes(cls) == 0) {
  50                         /* Note that we set the final property even for the
  51                            frame/global types this way. Should not made any problems. */
  52                         set_class_final(cls, 1);
  53                         DB((dbg, LEVEL_1, " made final Class %s\n",
  54                                 get_class_name(cls)));
  55                 }
  56         } else {
  57                 ir_entity *ent = tore.ent;
  58                 ir_type *owner;
  59
  60                 if (is_entity_final(ent))
  61                         return;
  62
  63                 owner = get_entity_owner(ent);
  64                 /* beware of array entities */
  65                 if (! is_Class_type(owner) || owner == glob_tp)
  66                         return;
  67
  68                 if (is_class_final(owner)) {
  69                         assert(get_entity_n_overwrittenby(ent) == 0);
  70                         set_entity_final(ent, 1);
  71                         DB((dbg, LEVEL_1, " made final %s::%s\n",
  72                                 get_compound_name(owner), get_entity_name(ent)));
  73                 } else if (get_entity_n_overwrittenby(ent) == 0) {
  74                         set_entity_final(ent, 1);
  75                         DB((dbg, LEVEL_1, " made final %s::%s\n",
  76                                 get_compound_name(owner), get_entity_name(ent)));
  77                 }
  78         }
  79 }  /* do_finalization */
  80
  81 /**
  82  * If we have the closed world assumption, we can calculate the
  83  * finalization of classes and entities by inspecting the class hierarchy.
  84  * After this is done, all classes and entities that are not overridden
  85  * anymore have the final property set.
  86  */
  87 void types_calc_finalization(void)
  88 {
  89         if (! get_opt_closed_world())
  90                 return;
  91
  92         FIRM_DBG_REGISTER(dbg, "firm.tr.finalization");
  93
  94         /* types must be visited before it's entities */
  95         type_walk(do_finalization, NULL, get_glob_type());
  96 }