improve sched_info datastructure, saving space and making it more efficient
[libfirm] / ir / be / beinfo.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
22  * @author      Matthias Braun
23  * @version     $Id$
24  */
25 #include "config.h"
26
27 #include "beinfo.h"
28 #include "bearch_t.h"
29 #include "irgwalk.h"
30 #include "irnode_t.h"
31 #include "error.h"
32
33 static copy_attr_func  old_phi_copy_attr;
34
35 void be_info_new_node(ir_node *node)
36 {
37         struct obstack *obst;
38         backend_info_t *info;
39         sched_info_t   *sinfo;
40
41         if (is_Anchor(node))
42                 return;
43
44         obst  = get_irg_obstack(current_ir_graph);
45         info  = obstack_alloc(obst, sizeof(*info));
46         sinfo = &info->sched_info;
47
48         memset(info, 0, sizeof(*info));
49         sinfo->next = NULL;
50         sinfo->prev = NULL;
51
52         if (is_Phi(node)) {
53                 info->out_infos = NEW_ARR_D(reg_out_info_t, obst, 1);
54                 memset(info->out_infos, 0, 1 * sizeof(info->out_infos[0]));
55         }
56         assert(node->backend_info == NULL);
57         node->backend_info = info;
58 }
59
60 static void new_Phi_copy_attr(const ir_node *old_node, ir_node *new_node)
61 {
62         struct obstack *obst  = get_irg_obstack(get_irn_irg(new_node));
63         backend_info_t *old_info = be_get_info(old_node);
64         backend_info_t *new_info = be_get_info(new_node);
65
66         old_phi_copy_attr(old_node, new_node);
67         new_info->out_infos = DUP_ARR_D(reg_out_info_t, obst, old_info->out_infos);
68 }
69
70 int be_info_equal(const ir_node *node1, const ir_node *node2)
71 {
72         backend_info_t *info1 = be_get_info(node1);
73         backend_info_t *info2 = be_get_info(node2);
74         int             len   = ARR_LEN(info1->out_infos);
75         int             i;
76
77         if (ARR_LEN(info2->out_infos) != len)
78                 return 0;
79
80         for (i = 0; i < len; ++i) {
81                 const reg_out_info_t *out1 = &info1->out_infos[i];
82                 const reg_out_info_t *out2 = &info2->out_infos[i];
83                 if (out1->reg != out2->reg)
84                         return 0;
85                 if (!reg_reqs_equal(out1->req, out2->req))
86                         return 0;
87         }
88
89         /* TODO: in reqs */
90
91         return 1;
92 }
93
94 static void init_walker(ir_node *node, void *data)
95 {
96         (void) data;
97         be_info_new_node(node);
98 }
99
100 static int initialized = 0;
101
102 void be_info_init(void)
103 {
104         if (initialized == 1)
105                 panic("double initialization of be_info");
106
107         old_phi_copy_attr = op_Phi->ops.copy_attr;
108         op_Phi->ops.copy_attr = new_Phi_copy_attr;
109         initialized = 1;
110 }
111
112 void be_info_init_irg(ir_graph *irg)
113 {
114         irg_walk_anchors(irg, init_walker, NULL, NULL);
115 }
116
117 void be_info_free(void)
118 {
119         if (!initialized)
120                 panic("be_info_free called without prior init");
121
122         assert(op_Phi->ops.copy_attr == new_Phi_copy_attr);
123         op_Phi->ops.copy_attr = old_phi_copy_attr;
124         initialized = 0;
125 }
126
127 int be_info_initialized(const ir_graph *irg)
128 {
129         (void) irg;
130         return initialized;
131 }