X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbechordal_t.h;h=83bc395a0479d18829f3dbcdf4a66485f5938aa3;hb=b9d45e08e23bcf058fa8f2d9e18dd78e8cccd044;hp=b7260c68b5970ef6064caa04e8ba137b9ab61857;hpb=5e1f95efc1491481487ba22482422b6d6f42bcdb;p=libfirm diff --git a/ir/be/bechordal_t.h b/ir/be/bechordal_t.h index b7260c68b..83bc395a0 100644 --- a/ir/be/bechordal_t.h +++ b/ir/be/bechordal_t.h @@ -1,6 +1,6 @@ /** - * Internal datastructures for the chordal register allocator. + * Internal data structures for the chordal register allocator. * @author Sebastian Hack * @date 25.1.2005 */ @@ -8,6 +8,9 @@ #ifndef _BECHORDAL_T_H #define _BECHORDAL_T_H +#include "firm_types.h" +#include "firm_config.h" + #include #include "bitset.h" @@ -17,8 +20,7 @@ #include "pmap.h" #include "set.h" -#include "irnode.h" -#include "irgraph.h" +#include "execfreq.h" #include "be_t.h" #include "beifg.h" @@ -26,6 +28,7 @@ #include "bearch.h" #include "bechordal.h" #include "beirgmod.h" +#include "belive.h" typedef struct _be_ra_chordal_opts_t be_ra_chordal_opts_t; @@ -52,16 +55,19 @@ typedef struct _border_t { * Environment for each of the chordal register allocator phases */ 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. */ - be_irg_t *birg; /**< Backend IRG session. */ - dom_front_info_t *dom_front; /**< Dominance frontiers. */ - 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. */ - be_ifg_t *ifg; /**< The interference graph. */ - void *data; /**< Some pointer, to which different phases can attach data to. */ + struct obstack obst; /**< An obstack for temporary storage. */ + be_ra_chordal_opts_t *opts; /**< A pointer to the chordal ra options. */ + const be_irg_t *birg; /**< Back-end IRG session. */ + dom_front_info_t *dom_front; /**< Dominance frontiers. */ + ir_graph *irg; /**< The graph under examination. */ + const arch_register_class_t *cls; /**< The current register class. */ + exec_freq_t *exec_freq; /**< Adam's execution frequencies. */ + be_lv_t *lv; /**< Liveness information. */ + 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. */ + bitset_t *ignore_colors; /**< A set of colors which shall be ignored in register allocation. */ + 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) { @@ -75,16 +81,23 @@ static INLINE struct list_head *_get_block_border_head(const be_chordal_env_t *i #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->birg->main_env->arch_env, irn, -1, chordal_env->cls) + arch_irn_consider_in_reg_alloc(chordal_env->birg->main_env->arch_env, chordal_env->cls, irn) int nodes_interfere(const be_chordal_env_t *env, const ir_node *a, const ir_node *b); 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_SPILL_ILP = 2, + BE_CH_SPILL_MORGAN = 2, + BE_CH_SPILL_REMAT = 3, /* Dump flags */ BE_CH_DUMP_NONE = (1 << 0), @@ -95,32 +108,49 @@ enum { 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, - BE_CH_COPYMIN_ILP = 2, + BE_CH_DUMP_SPILLSLOTS = (1 << 8), + BE_CH_DUMP_LOWER = (1 << 9), + BE_CH_DUMP_APPEL = (1 << 10), + BE_CH_DUMP_ALL = 2 * BE_CH_DUMP_APPEL - 1, /* ifg flavor */ - 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 + BE_CH_IFG_STD = 1, + BE_CH_IFG_FAST = 2, + BE_CH_IFG_CLIQUE = 3, + BE_CH_IFG_POINTER = 4, + BE_CH_IFG_LIST = 5, + BE_CH_IFG_CHECK = 6, + + /* lower perm options */ + BE_CH_LOWER_PERM_SWAP = 1, + BE_CH_LOWER_PERM_COPY = 2, + + /* verify options */ + BE_CH_VRFY_OFF = 1, + BE_CH_VRFY_WARN = 2, + BE_CH_VRFY_ASSERT = 3, }; struct _be_ra_chordal_opts_t { int dump_flags; int spill_method; - int copymin_method; int ifg_flavor; - int lower_perm_method; + int lower_perm_opt; + int vrfy_option; char ilp_server[128]; char ilp_solver[128]; }; +/** + * Open a file whose name is composed from the graph's name and the current register class. + * @note The name of the file will be prefix(ifg_name)_(reg_class_name).suffix + * @param prefix The file name's prefix. + * @param suffix The file name's ending (the . is inserted automatically). + * @return A text file opened for writing. + */ +FILE *be_chordal_open(const be_chordal_env_t *env, const char *prefix, const char *suffix); + +void be_pre_spill_prepare_constr(be_chordal_env_t *cenv); #endif /* _BECHORDAL_T_H */