4 * @author Sebastian Hack
6 * Copyright (C) 2005 Universitaet Karlsruhe
7 * Released under the GPL
28 void (be_ifg_free)(void *self)
31 ifg->impl->free(self);
34 int (be_ifg_connected)(const void *self, const ir_node *a, const ir_node *b)
36 const be_ifg_t *ifg = self;
37 return ifg->impl->connected(self, a, b);
40 ir_node *(be_ifg_neighbours_begin)(const void *self, void *iter, const ir_node *irn)
42 const be_ifg_t *ifg = self;
43 return ifg->impl->neighbours_begin(self, iter, irn);
46 ir_node *(be_ifg_neighbours_next)(const void *self, void *iter)
48 const be_ifg_t *ifg = self;
49 return ifg->impl->neighbours_next(self, iter);
52 void (be_ifg_neighbours_break)(const void *self, void *iter)
54 const be_ifg_t *ifg = self;
55 ifg->impl->neighbours_break(self, iter);
58 ir_node *(be_ifg_nodes_begin)(const void *self, void *iter)
60 const be_ifg_t *ifg = self;
61 return ifg->impl->nodes_begin(self, iter);
64 ir_node *(be_ifg_nodes_next)(const void *self, void *iter)
66 const be_ifg_t *ifg = self;
67 return ifg->impl->nodes_next(self, iter);
70 void (be_ifg_nodes_break)(const void *self, void *iter)
72 const be_ifg_t *ifg = self;
73 ifg->impl->nodes_break(self, iter);
76 int (be_ifg_degree)(const void *self, const ir_node *irn)
78 const be_ifg_t *ifg = self;
79 return ifg->impl->degree(self, irn);
83 int be_ifg_is_simplicial(const be_ifg_t *ifg, const ir_node *irn)
85 int degree = be_ifg_degree(ifg, irn);
86 void *iter = be_ifg_neighbours_iter_alloca(ifg);
88 ir_node **neighbours = malloc(degree * sizeof(neighbours[0]));
93 be_ifg_foreach_neighbour(ifg, iter, irn, curr)
94 neighbours[i++] = curr;
96 for(i = 0; i < degree; ++i) {
97 for(j = 0; j < i; ++j)
98 if(!be_ifg_connected(ifg, neighbours[i], neighbours[j])) {
109 void be_ifg_check(const be_ifg_t *ifg)
111 void *iter1 = be_ifg_neighbours_iter_alloca(ifg);
112 void *iter2 = be_ifg_neighbours_iter_alloca(ifg);
116 /* Check, if all neighbours are indeed connected to the node. */
117 be_ifg_foreach_node(ifg, iter1, n) {
118 be_ifg_foreach_neighbour(ifg, iter2, n, m)
119 if(!be_ifg_connected(ifg, n, m))
120 ir_fprintf(stderr, "%+F is a neighbour of %+F but they are not connected!\n", n, m);