nsz Git - libfirm/blob - ir/opt/opt_frame.c

   1 /*
   2  * Project:     libFIRM
   3  * File name:   ir/opt/opt_frame.c
   4  * Purpose:     optimize the frame type
   5  * Author:      Michael Beck
   6  * Created:     15.03.2006
   7  * CVS-ID:      $Id$
   8  * Copyright:   (c) 1998-2006 Universität Karlsruhe
   9  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  10  */
  11
  12 /**
  13  * @file opt_frame.c
  14  *
  15  * Optimize the frame type by removing unused type members.
  16  */
  17
  18 #ifdef HAVE_CONFIG_H
  19 #include "config.h"
  20 #endif
  21
  22 #include "irgraph_t.h"
  23 #include "type_t.h"
  24 #include "irouts.h"
  25 #include "iredges.h"
  26 #include "opt_frame.h"
  27
  28 /*
  29  * Optimize the frame type of an irg by removing
  30  * never touched entities.
  31  */
  32 void opt_frame_irg(ir_graph *irg) {
  33   ir_type   *frame_tp = get_irg_frame_type(irg);
  34   entity    *ent, *list;
  35   ir_node   *frame, *sel;
  36   int       i, n = get_class_n_members(frame_tp);
  37
  38   assert(get_irg_phase_state(irg) == phase_high && "Graph must be in high phase");
  39   if (n <= 0)
  40     return;
  41
  42   /* clear all entity links */
  43   for (i = n - 1; i >= 0; --i) {
  44     ent = get_class_member(frame_tp, i);
  45     set_entity_link(ent, NULL);
  46   }
  47
  48   /* look for uses */
  49   frame = get_irg_frame(irg);
  50
  51 #ifdef FIRM_EDGES_INPLACE
  52   if (edges_activated(irg)) { /* use inplace edges */
  53     const ir_edge_t *edge;
  54
  55     /* mark all used entities */
  56     foreach_out_edge(frame, edge) {
  57       sel = get_edge_src_irn(edge);
  58       ent = get_Sel_entity(sel);
  59       set_entity_link(ent, ent);
  60     }
  61   }
  62   else
  63 #endif /* FIRM_EDGES_INPLACE */
  64   {
  65     /* use traditionally out edges */
  66     if (get_irg_outs_state(irg) != outs_consistent)
  67       compute_irg_outs(irg);
  68
  69     /* mark all used entities */
  70     for (i = get_irn_n_outs(frame) - 1; i >= 0; --i) {
  71       sel = get_irn_out(frame, i);
  72       ent = get_Sel_entity(sel);
  73       set_entity_link(ent, ent);
  74     }
  75   }
  76
  77   /* link unused ones */
  78   list = NULL;
  79   for (i = n - 1; i >= 0; --i) {
  80     ent = get_class_member(frame_tp, i);
  81     if (get_entity_link(ent) == NULL) {
  82       set_entity_link(ent, list);
  83       list = ent;
  84     }
  85   }
  86
  87   if (list) {
  88     /* delete list members */
  89     for (ent = list; ent; ent = list) {
  90       list = get_entity_link(ent);
  91       remove_class_member(frame_tp, ent);
  92     }
  93     /* we changed the frame type, it's layout should be redefined */
  94     set_type_state(frame_tp, layout_undefined);
  95   }
  96 }