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

   1
   2 /**
   3  * Internal datastructures for the chordal register allocator.
   4  * @author Sebastian Hack
   5  * @date 25.1.2005
   6  */
   7
   8 #ifndef _BECHORDAL_T_H
   9 #define _BECHORDAL_T_H
  10
  11 #include <stdlib.h>
  12
  13 #include "bitset.h"
  14 #include "list.h"
  15 #include "pset.h"
  16 #include "pmap.h"
  17 #include "set.h"
  18
  19 #include "irnode.h"
  20 #include "irgraph.h"
  21 #include "bechordal.h"
  22
  23 /** Defines an invalid register index. */
  24 #define NO_COLOR (-1)
  25
  26 #define BUILD_GRAPH
  27
  28 #define DBG_CHORDAL "firm.be.ra.chordal"
  29
  30 /**
  31  * A liveness interval border.
  32  */
  33 typedef struct _border_t {
  34 #ifdef DEBUG_libfirm
  35         unsigned magic;                                                         /**< A magic number for checking. */
  36 #endif
  37         struct list_head list;                          /**< list head for queuing. */
  38         struct _border_t *other_end;    /**< The other end of the border. */
  39         ir_node *irn;                                                 /**< The node. */
  40         unsigned step;                                                          /**< The number equal to the interval border. */
  41         unsigned pressure;                                              /**< The pressure at this interval border.
  42                                                                                                                                         (The border itself is counting). */
  43         unsigned is_def : 1;                                    /**< Does this border denote a use or a def. */
  44         unsigned is_real : 1;                                   /**< Is the def/use real? Or is it just inserted
  45                                                                                                                                         at block beginnings or ends to ensure that inside
  46                                                                                                                                         a block, each value has one begin and one end. */
  47 } border_t;
  48
  49 /**
  50  * Environment for each of the chordal register allocator phases
  51  */
  52 struct _be_chordal_env_t {
  53         struct obstack obst;    /**< An obstack for temporary storage. */
  54   pmap *border_heads;   /**< Maps blocks to border heads. */
  55   ir_graph *irg;        /**< The graph the reg alloc is running on. */
  56
  57 #ifdef BUILD_GRAPH
  58         set *nodes;                                             /**< The interference graph nodes. */
  59         set *edges;                                             /**< The interference graph edges. */
  60 #endif
  61
  62         bitset_t *live;                         /**< A liveness bitset. */
  63         bitset_t *colors;                       /**< The color mask. */
  64         bitset_t *in_colors;    /**< Colors used by live in values. */
  65         int colors_n;                                   /**< The number of colors. */
  66   const arch_env_t *arch_env;         /**< The arch interface environment. */
  67   const arch_register_class_t *cls;   /**< The current register class. */
  68   void *data;           /**< Some pointer, to which different
  69                           phases can attach data to. */
  70 };
  71
  72 static INLINE struct list_head *
  73 _get_block_border_head(const be_chordal_env_t *inf, ir_node *bl)
  74 {
  75   return pmap_get(inf->border_heads, bl);
  76 }
  77
  78 #define get_block_border_head(info, bl)     _get_block_border_head(info, bl)
  79
  80 int nodes_interfere(const be_chordal_env_t *env, const ir_node *a, const ir_node *b);
  81
  82 #ifdef BUILD_GRAPH
  83 typedef struct _if_node_t {
  84         int nnr;
  85         pset *neighb;
  86 } if_node_t;
  87
  88 typedef struct _if_edge_t {
  89         int src, tgt;
  90 } if_edge_t;
  91
  92 set *be_ra_get_ifg_edges(const be_chordal_env_t *env);
  93 set *be_ra_get_ifg_nodes(const be_chordal_env_t *env);
  94 int ifg_has_edge(const be_chordal_env_t *env, const if_node_t *n1, const if_node_t* n2);
  95
  96 #define ifn_get_degree(ifnode) pset_count(ifnode->neighb)
  97 #define foreach_neighb(ifnode, curr) \
  98                         for(curr=pset_first(ifnode->neighb); curr; curr=pset_next(ifnode->neighb))
  99 #endif
 100
 101 extern void be_ra_chordal_spill(be_chordal_env_t *env);
 102
 103 #endif /* _BECHORDAL_T_H */