X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbechordal_t.h;h=83bc395a0479d18829f3dbcdf4a66485f5938aa3;hb=b9d45e08e23bcf058fa8f2d9e18dd78e8cccd044;hp=dbf7e8dc5cbf038be5c2ba2b42d945520b876394;hpb=ea64ddabccc512b21b425e4d89fda5e4ffe124a6;p=libfirm diff --git a/ir/be/bechordal_t.h b/ir/be/bechordal_t.h index dbf7e8dc5..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 */ @@ -20,12 +20,15 @@ #include "pmap.h" #include "set.h" +#include "execfreq.h" + #include "be_t.h" #include "beifg.h" #include "bera.h" #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,15 +55,18 @@ 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. */ - 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. */ - 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. */ }; @@ -90,7 +96,8 @@ 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), @@ -101,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 */