nsz Git - libfirm/blob - ir/ir/ircgopt.c

   1 /* -------------------------------------------------------------------
   2  * $Id$
   3  * -------------------------------------------------------------------
   4  * Entfernen von nicht erreichbaren (aufrufbaren) Methoden. Die Menge
   5  * der nicht erreichbaren Methoden wird aus der Abschätzung der
   6  * Aufrufrelation bestimmt.
   7  *
   8  * Erstellt: Hubert Schmid, 09.06.2002
   9  * ---------------------------------------------------------------- */
  10
  11
  12 #include "ircgopt.h"
  13
  14 #include "array.h"
  15 #include "irprog.h"
  16 #include "irgwalk.h"
  17
  18
  19 static void clear_link(ir_node * node, void * env) {
  20   set_irn_link(node, NULL);
  21 }
  22
  23
  24 /* Call-Operationen an die "link"-Liste von "call_head" anhängen. */
  25 static void collect_call(ir_node * node, ir_node * head) {
  26   if (get_irn_op(node) == op_Call) {
  27     set_irn_link(node, get_irn_link(head));
  28     set_irn_link(head, node);
  29   }
  30 }
  31
  32
  33
  34 /* garbage collect methods: mark and remove */
  35 void gc_irgs(int n_keep, entity ** keep_arr) {
  36   void * MARK = &MARK;
  37   int i;
  38
  39   /* mark */
  40   if (n_keep > 0) {
  41     entity ** marked = NEW_ARR_F(entity *, n_keep);
  42     for (i = 0; i < n_keep; ++i) {
  43       marked[i] = keep_arr[i];
  44       set_entity_link(marked[i], MARK);
  45     }
  46     for (i = 0; i < ARR_LEN(marked); ++i) {
  47       ir_graph * irg = get_entity_irg(marked[i]);
  48       ir_node * node = get_irg_end(irg);
  49       /* collect calls */
  50       irg_walk_graph(irg, clear_link, (irg_walk_func) collect_call, node);
  51       /* iterate calls */
  52       for (node = get_irn_link(node); node; node = get_irn_link(node)) {
  53         int i;
  54         assert(get_irn_op(node) == op_Call);
  55         for (i = get_Call_n_callees(node) - 1; i >= 0; --i) {
  56           entity * ent = get_Call_callee(node, i);
  57           if (ent && get_entity_irg(ent) && get_entity_link(ent) != MARK) {
  58             set_entity_link(ent, MARK);
  59             ARR_APP1(entity *, marked, ent);
  60           }
  61         }
  62       }
  63     }
  64     DEL_ARR_F(marked);
  65   }
  66
  67   /* clean */
  68   for (i = get_irp_n_irgs() - 1; i >= 0; --i) {
  69     ir_graph * irg = get_irp_irg(i);
  70     entity * ent = get_irg_ent(irg);
  71     if (get_entity_link(ent) != MARK) {
  72       remove_irp_irg(irg);
  73       set_entity_peculiarity(ent, description);
  74     }
  75     set_entity_link(ent, NULL);
  76   }
  77 }