X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbechordal_t.h;h=e73f0327342fae04ce049aaf43e76ef46093b1e9;hb=f804d333c7b5459c3c1a6bfc188ecdc54346be73;hp=ffdd4238d293ba6d3e5793852530ea746e5e50c2;hpb=0e18e8ad134a0db05ba6b602db497e6e70bbdd87;p=libfirm

diff --git a/ir/be/bechordal_t.h b/ir/be/bechordal_t.h
index ffdd4238d..e73f03273 100644
--- a/ir/be/bechordal_t.h
+++ b/ir/be/bechordal_t.h
@@ -30,23 +30,20 @@
 /** Defines an invalid register index. */
 #define NO_COLOR (-1)
 
-#define DBG_CHORDAL "firm.be.ra.chordal"
-
 /**
  * A liveness interval border.
  */
 typedef struct _border_t {
-	unsigned magic;								/**< A magic number for checking. */
-	struct list_head list;				/**< list head for queuing. */
-	struct _border_t *other_end;	/**< The other end of the border. */
-	ir_node *irn;						      /**< The node. */
-	unsigned step;								/**< The number equal to the interval border. */
-	unsigned pressure;						/**< The pressure at this interval border.
-																	(The border itself is counting). */
-	unsigned is_def : 1;					/**< Does this border denote a use or a def. */
-	unsigned is_real : 1;					/**< Is the def/use real? Or is it just inserted
-												at block beginnings or ends to ensure that inside
-												a block, each value has one begin and one end. */
+	unsigned magic;                 /**< A magic number for checking. */
+	struct list_head list;          /**< list head for queuing. */
+	struct _border_t *other_end;    /**< The other end of the border. */
+	ir_node *irn;                   /**< The node. */
+	unsigned step;                  /**< The number equal to the interval border. */
+	unsigned pressure;              /**< The pressure at this interval border. (The border itself is counting). */
+	unsigned is_def : 1;            /**< Does this border denote a use or a def. */
+	unsigned is_real : 1;           /**< Is the def/use real? Or is it just inserted
+                                        at block beginnings or ends to ensure that inside
+                                        a block, each value has one begin and one end. */
 } border_t;
 
 /**
@@ -60,6 +57,7 @@ struct _be_chordal_env_t {
 	ir_graph *irg;             /**< The graph under examination. */
 	const arch_register_class_t *cls;   /**< The current register class. */
 	pmap *border_heads;        /**< Maps blocks to border heads. */
+	pset *constr_irn;          /**< Nodes which deserve special constraint handling. */
 	be_ifg_t *ifg;             /**< The interference graph. */
 	void *data;                /**< Some pointer, to which different
                                     phases can attach data to. */
@@ -72,6 +70,8 @@ static INLINE struct list_head *_get_block_border_head(const be_chordal_env_t *i
 #define get_block_border_head(info, bl)     _get_block_border_head(info, bl)
 
 #define foreach_border_head(head, pos)		list_for_each_entry_reverse(border_t, pos, head, list)
+#define border_next(b)                      (list_entry((b)->list.next, border_t, list))
+#define border_prev(b)                      (list_entry((b)->list.prev, border_t, list))
 
 #define chordal_has_class(chordal_env, irn) \
 	arch_irn_has_reg_class(chordal_env->main_env->arch_env, irn, -1, chordal_env->cls)
@@ -88,10 +88,14 @@ enum {
 	/* Dump flags */
 	BE_CH_DUMP_NONE       = (1 << 0),
 	BE_CH_DUMP_SPILL      = (1 << 1),
-	BE_CH_DUMP_COPYMIN    = (1 << 2),
-	BE_CH_DUMP_SSADESTR	  = (1 << 3),
-	BE_CH_DUMP_TREE_INTV  = (1 << 4),
-	BE_CH_DUMP_ALL        = 2 * BE_CH_DUMP_TREE_INTV - 1,
+	BE_CH_DUMP_LIVE       = (1 << 2),
+	BE_CH_DUMP_COLOR      = (1 << 3),
+	BE_CH_DUMP_COPYMIN    = (1 << 4),
+	BE_CH_DUMP_SSADESTR   = (1 << 5),
+	BE_CH_DUMP_TREE_INTV  = (1 << 6),
+	BE_CH_DUMP_CONSTR     = (1 << 7),
+	BE_CH_DUMP_LOWER      = (1 << 8),
+	BE_CH_DUMP_ALL        = 2 * BE_CH_DUMP_LOWER - 1,
 
 	/* copymin method */
 	BE_CH_COPYMIN_HEUR    = 1,
@@ -107,7 +111,7 @@ enum {
 };
 
 typedef struct {
-	int dump_flags;
+	unsigned dump_flags;
 	int spill_method;
 	int copymin_method;
 	int ifg_flavor;