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 ir_node *be_ifg_nodes_begin(const be_ifg_t *ifg, nodes_iter_t *iter);
  58 ir_node *be_ifg_nodes_next(nodes_iter_t *iter);
  59 void     be_ifg_nodes_break(nodes_iter_t *iter);
  60 int      be_ifg_cliques_begin(const be_ifg_t *ifg, cliques_iter_t *iter,
  61                               ir_node **buf);
  62 int      be_ifg_cliques_next(cliques_iter_t *iter);
  63 void     be_ifg_cliques_break(cliques_iter_t *iter);
  64 int      be_ifg_degree(const be_ifg_t *ifg, const ir_node *irn);
  65
  66 #define be_ifg_foreach_neighbour(ifg, iter, irn, pos) \
  67         for (ir_node *pos = be_ifg_neighbours_begin(ifg, iter, irn); pos; pos = be_ifg_neighbours_next(iter))
  68
  69 #define be_ifg_foreach_node(ifg, iter, pos) \
  70         for (ir_node *pos = be_ifg_nodes_begin(ifg, iter); pos; pos = be_ifg_nodes_next(iter))
  71
  72 #define be_ifg_foreach_clique(ifg, iter, buf, count) \
  73         for(*(count) = be_ifg_cliques_begin(ifg, iter, buf); \
  74         *(count) != -1 ; \
  75         *(count) = be_ifg_cliques_next(iter))
  76
  77 typedef struct {
  78         int n_nodes;
  79         int n_edges;
  80         int n_comps;
  81 } be_ifg_stat_t;
  82
  83 void be_ifg_stat(ir_graph *irg, be_ifg_t *ifg, be_ifg_stat_t *stat);
  84
  85 be_ifg_t *be_create_ifg(const be_chordal_env_t *env);
  86
  87 #endif