struct _be_chordal_env_t {
struct obstack obst; /**< An obstack for temporary storage. */
be_ra_chordal_opts_t *opts; /**< A pointer to the chordal ra options. */
- firm_dbg_module_t *dbg; /**< Debug module for the chordal register allocator. */
const be_irg_t *birg; /**< Back-end IRG session. */
dom_front_info_t *dom_front; /**< Dominance frontiers. */
ir_graph *irg; /**< The graph under examination. */
pmap *border_heads; /**< Maps blocks to border heads. */
be_ifg_t *ifg; /**< The interference graph. */
void *data; /**< Some pointer, to which different phases can attach data to. */
+ DEBUG_ONLY(firm_dbg_module_t *dbg;) /**< Debug module for the chordal register allocator. */
};
static INLINE struct list_head *_get_block_border_head(const be_chordal_env_t *inf, ir_node *bl) {
void be_ra_chordal_color(be_chordal_env_t *chordal_env);
+/**
+ * Check a register allocation obtained with the chordal register allocator.
+ * @param chordal_env The chordal environment.
+ */
+void be_ra_chordal_check(be_chordal_env_t *chordal_env);
+
enum {
/* spill method */
BE_CH_SPILL_BELADY = 1,
BE_CH_IFG_STD = 1,
BE_CH_IFG_FAST = 2,
- /* lower perm method */
- BE_CH_LOWER_PERM_SWAP = 1,
- BE_CH_LOWER_PERM_COPY = 2
+ /* lower perm options */
+ BE_CH_LOWER_PERM_SWAP = (1 << 0),
+ BE_CH_LOWER_PERM_COPY = (1 << 1),
+ BE_CH_LOWER_PERM_STAT = (1 << 2)
};
struct _be_ra_chordal_opts_t {
int spill_method;
int copymin_method;
int ifg_flavor;
- int lower_perm_method;
+ int lower_perm_opt;
char ilp_server[128];
char ilp_solver[128];