beifg: Simplify the implementation of be_ifg_foreach_node().
[libfirm] / ir / be / beifg.c
index e7a7c7a..f7633be 100644 (file)
@@ -1,20 +1,6 @@
 /*
- * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
- *
  * This file is part of libFirm.
- *
- * This file may be distributed and/or modified under the terms of the
- * GNU General Public License version 2 as published by the Free Software
- * Foundation and appearing in the file LICENSE.GPL included in the
- * packaging of this file.
- *
- * Licensees holding valid libFirm Professional Edition licenses may use
- * this file in accordance with the libFirm Commercial License.
- * Agreement provided with the Software.
- *
- * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
- * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- * PURPOSE.
+ * Copyright (C) 2012 University of Karlsruhe.
  */
 
 /**
@@ -61,7 +47,6 @@ static void nodes_walker(ir_node *bl, void *data)
 {
        nodes_iter_t     *it   = (nodes_iter_t*)data;
        struct list_head *head = get_block_border_head(it->env, bl);
-       border_t         *b;
 
        foreach_border_head(head, b) {
                if (b->is_def && b->is_real) {
@@ -71,61 +56,36 @@ static void nodes_walker(ir_node *bl, void *data)
        }
 }
 
-static void find_nodes(const be_ifg_t *ifg, nodes_iter_t *iter)
+nodes_iter_t be_ifg_nodes_begin(be_ifg_t const *const ifg)
 {
-       obstack_init(&iter->obst);
-       iter->n     = 0;
-       iter->curr  = 0;
-       iter->env   = ifg->env;
-
-       irg_block_walk_graph(ifg->env->irg, nodes_walker, NULL, iter);
-       obstack_ptr_grow(&iter->obst, NULL);
-       iter->nodes = (ir_node**)obstack_finish(&iter->obst);
+       nodes_iter_t iter;
+       obstack_init(&iter.obst);
+       iter.n    = 0;
+       iter.curr = 0;
+       iter.env  = ifg->env;
+
+       irg_block_walk_graph(ifg->env->irg, nodes_walker, NULL, &iter);
+       obstack_ptr_grow(&iter.obst, NULL);
+       iter.nodes = (ir_node**)obstack_finish(&iter.obst);
+       return iter;
 }
 
-static inline void node_break(nodes_iter_t *it, int force)
+ir_node *be_ifg_nodes_next(nodes_iter_t *const it)
 {
-       if ((it->curr >= it->n || force) && it->nodes) {
+       if (it->curr < it->n) {
+               return it->nodes[it->curr++];
+       } else {
                obstack_free(&it->obst, NULL);
-               it->nodes = NULL;
+               return NULL;
        }
 }
 
-static ir_node *get_next_node(nodes_iter_t *it)
-{
-       ir_node *res = NULL;
-
-       if (it->curr < it->n)
-               res = it->nodes[it->curr++];
-
-       node_break(it, 0);
-
-       return res;
-}
-
-ir_node *be_ifg_nodes_begin(const be_ifg_t *ifg, nodes_iter_t *iter)
-{
-       find_nodes(ifg, iter);
-       return get_next_node(iter);
-}
-
-ir_node *be_ifg_nodes_next(nodes_iter_t *iter)
-{
-       return get_next_node(iter);
-}
-
-void be_ifg_nodes_break(nodes_iter_t *iter)
-{
-       node_break(iter, 1);
-}
-
 static void find_neighbour_walker(ir_node *block, void *data)
 {
        neighbours_iter_t *it    = (neighbours_iter_t*)data;
        struct list_head  *head  = get_block_border_head(it->env, block);
        be_lv_t           *lv    = be_get_irg_liveness(it->env->irg);
 
-       border_t *b;
        int has_started = 0;
 
        if (!be_is_live_in(lv, block, it->irn) && block != get_nodes_block(it->irn))
@@ -186,7 +146,7 @@ ir_node *be_ifg_neighbours_begin(const be_ifg_t *ifg, neighbours_iter_t *iter,
                                  const ir_node *irn)
 {
        find_neighbours(ifg, iter, irn);
-       return ir_nodeset_iterator_next(&iter->iter);
+       return get_next_neighbour(iter);
 }
 
 ir_node *be_ifg_neighbours_next(neighbours_iter_t *iter)
@@ -244,11 +204,9 @@ static inline int get_next_clique(cliques_iter_t *it)
                                /* before shrinking the set, return the current maximal clique */
                                if (output_on_shrink) {
                                        int count = 0;
-                                       ir_node *irn;
 
                                        /* fill the output buffer */
-                                       for (irn = (ir_node*)pset_first(it->living); irn != NULL;
-                                            irn = (ir_node*)pset_next(it->living)) {
+                                       foreach_pset(it->living, ir_node, irn) {
                                                it->buf[count++] = irn;
                                        }
 
@@ -274,10 +232,8 @@ static inline int get_next_clique(cliques_iter_t *it)
 int be_ifg_cliques_begin(const be_ifg_t *ifg, cliques_iter_t *it,
                          ir_node **buf)
 {
-       ir_node *start_bl = get_irg_start_block(ifg->env->irg);
-
        obstack_init(&it->ob);
-       dom_tree_walk(start_bl, get_blocks_dom_order, NULL, it);
+       dom_tree_walk_irg(ifg->env->irg, get_blocks_dom_order, NULL, it);
 
        it->cenv     = ifg->env;
        it->buf      = buf;
@@ -321,13 +277,13 @@ be_ifg_t *be_create_ifg(const be_chordal_env_t *env)
 static void int_comp_rec(be_ifg_t *ifg, ir_node *n, bitset_t *seen)
 {
        neighbours_iter_t neigh_it;
-       ir_node *m;
 
        be_ifg_foreach_neighbour(ifg, &neigh_it, n, m) {
                if (bitset_is_set(seen, get_irn_idx(m)))
                        continue;
 
-               if (arch_get_irn_register_req(m)->type & arch_register_req_type_ignore)
+               arch_register_req_t const *const req = arch_get_irn_register_req(m);
+               if (arch_register_req_is(req, ignore))
                        continue;
 
                bitset_set(seen, get_irn_idx(m));
@@ -339,16 +295,14 @@ static void int_comp_rec(be_ifg_t *ifg, ir_node *n, bitset_t *seen)
 static int int_component_stat(ir_graph *irg, be_ifg_t *ifg)
 {
        int      n_comp    = 0;
-       nodes_iter_t nodes_it;
        bitset_t *seen     = bitset_malloc(get_irg_last_idx(irg));
 
-       ir_node *n;
-
-       be_ifg_foreach_node(ifg, &nodes_it, n) {
+       be_ifg_foreach_node(ifg, n) {
                if (bitset_is_set(seen, get_irn_idx(n)))
                        continue;
 
-               if (arch_get_irn_register_req(n)->type & arch_register_req_type_ignore)
+               arch_register_req_t const *const req = arch_get_irn_register_req(n);
+               if (arch_register_req_is(req, ignore))
                        continue;
 
                ++n_comp;
@@ -362,21 +316,19 @@ static int int_component_stat(ir_graph *irg, be_ifg_t *ifg)
 
 void be_ifg_stat(ir_graph *irg, be_ifg_t *ifg, be_ifg_stat_t *stat)
 {
-       nodes_iter_t      nodes_it;
        neighbours_iter_t neigh_it;
-       bitset_t         *nodes    = bitset_malloc(get_irg_last_idx(irg));
-       ir_node          *n, *m;
-
-       memset(stat, 0, sizeof(stat[0]));
 
-       be_ifg_foreach_node(ifg, &nodes_it, n) {
-               stat->n_nodes += 1;
+       size_t n_nodes = 0;
+       size_t n_edges = 0;
+       be_ifg_foreach_node(ifg, n) {
+               ++n_nodes;
                be_ifg_foreach_neighbour(ifg, &neigh_it, n, m) {
-                       bitset_set(nodes, get_irn_idx(n));
-                       stat->n_edges += !bitset_is_set(nodes, get_irn_idx(m));
+                       ++n_edges;
                }
        }
 
+       stat->n_nodes = n_nodes;
+       /* Every interference edge was counted twice, once for each end. */
+       stat->n_edges = n_edges / 2;
        stat->n_comps = int_component_stat(irg, ifg);
-       bitset_free(nodes);
 }