nsz Git - libfirm/blob - ir/be/beifg.h

   1 /*
   2  * This file is part of libFirm.
   3  * Copyright (C) 2012 University of Karlsruhe.
   4  */
   5
   6 /**
   7  * @file
   8  * @brief       Interface for interference graphs.
   9  * @author      Sebastian Hack
  10  * @date        18.11.2005
  11  */
  12 #ifndef FIRM_BE_BEIFG_H
  13 #define FIRM_BE_BEIFG_H
  14
  15 #include "be_types.h"
  16 #include "bechordal.h"
  17 #include "irnodeset.h"
  18 #include "pset.h"
  19
  20 struct be_ifg_t {
  21         const be_chordal_env_t *env;
  22 };
  23
  24 typedef struct nodes_iter_t {
  25         const be_chordal_env_t *env;
  26         struct obstack         obst;
  27         int                    n;
  28         int                    curr;
  29         ir_node                **nodes;
  30 } nodes_iter_t;
  31
  32 typedef struct neighbours_iter_t {
  33         const be_chordal_env_t *env;
  34         const ir_node        *irn;
  35         int                   valid;
  36         ir_nodeset_t          neighbours;
  37         ir_nodeset_iterator_t iter;
  38 } neighbours_iter_t;
  39
  40 typedef struct cliques_iter_t {
  41         struct obstack ob;
  42         const be_chordal_env_t *cenv;
  43         ir_node **buf;
  44         ir_node **blocks;
  45         int n_blocks, blk;
  46         struct list_head *bor;
  47         pset *living;
  48 } cliques_iter_t;
  49
  50 void     be_ifg_free(be_ifg_t *ifg);
  51 int      be_ifg_connected(const be_ifg_t *ifg, const ir_node *a,
  52                           const ir_node *b);
  53 ir_node *be_ifg_neighbours_begin(const be_ifg_t *ifg, neighbours_iter_t *iter,
  54                                  const ir_node *irn);
  55 ir_node *be_ifg_neighbours_next(neighbours_iter_t *iter);
  56 void     be_ifg_neighbours_break(neighbours_iter_t *iter);
  57 nodes_iter_t be_ifg_nodes_begin(be_ifg_t const *ifg);
  58 ir_node *be_ifg_nodes_next(nodes_iter_t *iter);
  59 int      be_ifg_cliques_begin(const be_ifg_t *ifg, cliques_iter_t *iter,
  60                               ir_node **buf);
  61 int      be_ifg_cliques_next(cliques_iter_t *iter);
  62 void     be_ifg_cliques_break(cliques_iter_t *iter);
  63 int      be_ifg_degree(const be_ifg_t *ifg, const ir_node *irn);
  64
  65 #define be_ifg_foreach_neighbour(ifg, iter, irn, pos) \
  66         for (ir_node *pos = be_ifg_neighbours_begin(ifg, iter, irn); pos; pos = be_ifg_neighbours_next(iter))
  67
  68 #define be_ifg_foreach_node(ifg, pos) \
  69         for (bool pos##__once = true; pos##__once;) \
  70                 for (nodes_iter_t pos##__iter = be_ifg_nodes_begin(ifg); pos##__once; pos##__once = false) \
  71                         for (ir_node *pos; (pos = be_ifg_nodes_next(&pos##__iter));)
  72
  73 #define be_ifg_foreach_clique(ifg, iter, buf, count) \
  74         for(*(count) = be_ifg_cliques_begin(ifg, iter, buf); \
  75         *(count) != -1 ; \
  76         *(count) = be_ifg_cliques_next(iter))
  77
  78 typedef struct {
  79         int n_nodes;
  80         int n_edges;
  81         int n_comps;
  82 } be_ifg_stat_t;
  83
  84 void be_ifg_stat(ir_graph *irg, be_ifg_t *ifg, be_ifg_stat_t *stat);
  85
  86 be_ifg_t *be_create_ifg(const be_chordal_env_t *env);
  87
  88 #endif