move backend into libfirm
[libfirm] / 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   ir_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   if (edges_activated(irg)) { /* use inplace edges */
52     const ir_edge_t *edge;
53
54     /* mark all used entities */
55     foreach_out_edge(frame, edge) {
56       sel = get_edge_src_irn(edge);
57       ent = get_Sel_entity(sel);
58       set_entity_link(ent, ent);
59     }
60   }
61   else {
62     /* use traditionally out edges */
63     if (get_irg_outs_state(irg) != outs_consistent)
64       compute_irg_outs(irg);
65
66     /* mark all used entities */
67     for (i = get_irn_n_outs(frame) - 1; i >= 0; --i) {
68       sel = get_irn_out(frame, i);
69       ent = get_Sel_entity(sel);
70       set_entity_link(ent, ent);
71     }
72   }
73
74   /* link unused ones */
75   list = NULL;
76   for (i = n - 1; i >= 0; --i) {
77     ent = get_class_member(frame_tp, i);
78     if (get_entity_link(ent) == NULL) {
79       set_entity_link(ent, list);
80       list = ent;
81     }
82   }
83
84   if (list) {
85     /* delete list members */
86     for (ent = list; ent; ent = list) {
87       list = get_entity_link(ent);
88       remove_class_member(frame_tp, ent);
89     }
90     /* we changed the frame type, it's layout should be redefined */
91     set_type_state(frame_tp, layout_undefined);
92   }
93 }