opt_frame.[ch] added

[r7448]

diff --git a/ir/opt/Makefile.in b/ir/opt/Makefile.in
index f1de90d..13106a7 100644 (file)
--- a/ir/opt/Makefile.in
+++ b/ir/opt/Makefile.in
@@ -18,7 +18,7 @@ subdir := ir/ir
 INSTALL_HEADERS = cfopt.h tailrec.h ldstopt.h strength_red.h reassoc.h \
                loop_unrolling.h funccall.h opt_polymorphy.h ifconv.h \
                return.h tropt.h scalar_replace.h escape_ana.h \
-               proc_cloning.h opt_confirms.h gvn_pre.h
+               proc_cloning.h opt_confirms.h gvn_pre.h opt_frame.h
 
 SOURCES = $(INSTALL_HEADERS)
 
@@ -26,7 +26,7 @@ SOURCES +=    Makefile.in \
                cfopt.c tailrec.c strength_red.c ldstopt.c reassoc.c \
                loop_unrolling.c ifconv.c scalar_replace.c funccall.c \
                opt_polymorphy.c return.c tropt.c opt_confirms.c opt_confirms.h \
-               escape_ana.c proc_cloning.c gvn_pre.c
+               escape_ana.c proc_cloning.c gvn_pre.c opt_frame.c
 
 include $(topdir)/MakeRules
 

diff --git a/ir/opt/opt_frame.c b/ir/opt/opt_frame.c
new file mode 100644 (file)
index 0000000..1680f5f
--- /dev/null
+++ b/ir/opt/opt_frame.c
@@ -0,0 +1,96 @@
+/*
+ * Project:     libFIRM
+ * File name:   ir/opt/opt_frame.c
+ * Purpose:     optimize the frame type
+ * Author:      Michael Beck
+ * Created:     15.03.2006
+ * CVS-ID:      $Id$
+ * Copyright:   (c) 1998-2006 Universität Karlsruhe
+ * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ */
+
+/**
+ * @file opt_frame.c
+ *
+ * Optimize the frame type by removing unused type members.
+ */
+
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
+
+#include "irgraph_t.h"
+#include "type_t.h"
+#include "irouts.h"
+#include "iredges.h"
+#include "opt_frame.h"
+
+/*
+ * Optimize the frame type of an irg by removing
+ * never touched entities.
+ */
+void opt_frame_irg(ir_graph *irg) {
+  ir_type   *frame_tp = get_irg_frame_type(irg);
+  entity    *ent, *list;
+  ir_node   *frame, *sel;
+  int       i, n = get_class_n_members(frame_tp);
+
+  assert(get_irg_phase_state(irg) == phase_high && "Graph must be in high phase");
+  if (n <= 0)
+    return;
+
+  /* clear all entity links */
+  for (i = n - 1; i >= 0; --i) {
+    ent = get_class_member(frame_tp, i);
+    set_entity_link(ent, NULL);
+  }
+
+  /* look for uses */
+  frame = get_irg_frame(irg);
+
+#ifdef FIRM_EDGES_INPLACE
+  if (edges_activated(irg)) { /* use inplace edges */
+    ir_edge_t *edge;
+
+    /* mark all used entities */
+    foreach_out_edge(frame, edge) {
+      sel = get_edge_src_irn(edge);
+      ent = get_Sel_entity(sel);
+      set_entity_link(ent, ent);
+    }
+  }
+  else
+#endif /* FIRM_EDGES_INPLACE */
+  {
+    /* use traditionally out edges */
+    if (get_irg_outs_state(irg) != outs_consistent)
+      compute_irg_outs(irg);
+
+    /* mark all used entities */
+    for (i = get_irn_n_outs(frame) - 1; i >= 0; --i) {
+      sel = get_irn_out(frame, i);
+      ent = get_Sel_entity(sel);
+      set_entity_link(ent, ent);
+    }
+  }
+
+  /* link unused ones */
+  list = NULL;
+  for (i = n - 1; i >= 0; --i) {
+    ent = get_class_member(frame_tp, i);
+    if (get_entity_link(ent) == NULL) {
+      set_entity_link(ent, list);
+      list = ent;
+    }
+  }
+
+  if (list) {
+    /* delete list members */
+    for (ent = list; ent; ent = list) {
+      list = get_entity_link(ent);
+      remove_class_member(frame_tp, ent);
+    }
+    /* we changed the frame type, it's layout should be redefined */
+    set_type_state(frame_tp, layout_undefined);
+  }
+}

diff --git a/ir/opt/opt_frame.h b/ir/opt/opt_frame.h
new file mode 100644 (file)
index 0000000..e0b90bf
--- /dev/null
+++ b/ir/opt/opt_frame.h
@@ -0,0 +1,34 @@
+/*
+ * Project:     libFIRM
+ * File name:   ir/opt/opt_frame.c
+ * Purpose:     optimize the frame type
+ * Author:      Michael Beck
+ * Created:     15.03.2006
+ * CVS-ID:      $Id$
+ * Copyright:   (c) 1998-2006 Universität Karlsruhe
+ * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ */
+#ifndef _OPT_FRAME_H_
+#define _OPT_FRAME_H_
+
+/**
+ * @file opt_frame.h
+ *
+ * Optimize the frame type by removing unused type members.
+ */
+
+#include "firm_types.h"
+
+/**
+ * Optimize the frame type of an irg by removing
+ * never touched entities.
+ *
+ * @param irg  The graph whose frame type will be optimized
+ *
+ * This function did not change the graph, only it's frame type.
+ * The layout state of the frame type will be set to layout_undefined
+ * if entities were removed.
+ */
+void opt_frame_irg(ir_graph *irg);
+
+#endif /* _OPT_FRAME_H_ */