X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_map_regs.c;h=c9bb092a1813e56c9a38785d816c247eba4764ce;hb=a61c3426415a95aea3e7ba1444d97782c471e681;hp=1173cedb7d5c1b8a4004ba1fe1e6dd26f790e73d;hpb=3b1a4ee674e9522acfd95b6d49c91f86f9b97d32;p=libfirm diff --git a/ir/be/ia32/ia32_map_regs.c b/ir/be/ia32/ia32_map_regs.c index 1173cedb7..c9bb092a1 100644 --- a/ir/be/ia32/ia32_map_regs.c +++ b/ir/be/ia32/ia32_map_regs.c @@ -1,5 +1,7 @@ /** * Register mapping for firm nodes. Stolen from bearch_firm :) + * Calculate requirements for register parameter. + * @author Christian Wuerdig * $Id$ */ #ifdef HAVE_CONFIG_H @@ -8,6 +10,8 @@ #include +#include "pmap.h" + #include "ia32_map_regs.h" #include "ia32_new_nodes.h" #include "gen_ia32_regalloc_if.h" @@ -17,45 +21,45 @@ static int maxnum_fpreg_args = 5; /* maximum number of float arguments passed /* this is the order of the assigned registers usesd for parameter passing */ -const ia32_register_req_t *gpreg_param_req_std[] = { - &ia32_default_req_ia32_general_purpose_eax, - &ia32_default_req_ia32_general_purpose_ecx, - &ia32_default_req_ia32_general_purpose_edx, - &ia32_default_req_ia32_general_purpose_ebx, - &ia32_default_req_ia32_general_purpose_edi, - &ia32_default_req_ia32_general_purpose_esi +const arch_register_t *gpreg_param_reg_std[] = { + &ia32_gp_regs[REG_EAX], + &ia32_gp_regs[REG_EDX], + &ia32_gp_regs[REG_ECX], + &ia32_gp_regs[REG_EBX], + &ia32_gp_regs[REG_EDI], + &ia32_gp_regs[REG_ESI] }; -const ia32_register_req_t *gpreg_param_req_this[] = { - &ia32_default_req_ia32_general_purpose_ecx, - &ia32_default_req_ia32_general_purpose_eax, - &ia32_default_req_ia32_general_purpose_edx, - &ia32_default_req_ia32_general_purpose_ebx, - &ia32_default_req_ia32_general_purpose_edi, - &ia32_default_req_ia32_general_purpose_esi +const arch_register_t *gpreg_param_reg_this[] = { + &ia32_gp_regs[REG_ECX], + &ia32_gp_regs[REG_EAX], + &ia32_gp_regs[REG_EDX], + &ia32_gp_regs[REG_EBX], + &ia32_gp_regs[REG_EDI], + &ia32_gp_regs[REG_ESI] }; -const ia32_register_req_t *fpreg_param_req_std[] = { - &ia32_default_req_ia32_floating_point_xmm0, - &ia32_default_req_ia32_floating_point_xmm1, - &ia32_default_req_ia32_floating_point_xmm2, - &ia32_default_req_ia32_floating_point_xmm3, - &ia32_default_req_ia32_floating_point_xmm4, - &ia32_default_req_ia32_floating_point_xmm5, - &ia32_default_req_ia32_floating_point_xmm6, - &ia32_default_req_ia32_floating_point_xmm7 +const arch_register_t *fpreg_param_reg_std[] = { + &ia32_xmm_regs[REG_XMM0], + &ia32_xmm_regs[REG_XMM1], + &ia32_xmm_regs[REG_XMM2], + &ia32_xmm_regs[REG_XMM3], + &ia32_xmm_regs[REG_XMM4], + &ia32_xmm_regs[REG_XMM5], + &ia32_xmm_regs[REG_XMM6], + &ia32_xmm_regs[REG_XMM7] }; -const ia32_register_req_t *fpreg_param_req_this[] = { +const arch_register_t *fpreg_param_reg_this[] = { NULL, /* in case of a "this" pointer, the first parameter must not be a float */ - &ia32_default_req_ia32_floating_point_xmm0, - &ia32_default_req_ia32_floating_point_xmm1, - &ia32_default_req_ia32_floating_point_xmm2, - &ia32_default_req_ia32_floating_point_xmm3, - &ia32_default_req_ia32_floating_point_xmm4, - &ia32_default_req_ia32_floating_point_xmm5, - &ia32_default_req_ia32_floating_point_xmm6, - &ia32_default_req_ia32_floating_point_xmm7 + &ia32_xmm_regs[REG_XMM0], + &ia32_xmm_regs[REG_XMM1], + &ia32_xmm_regs[REG_XMM2], + &ia32_xmm_regs[REG_XMM3], + &ia32_xmm_regs[REG_XMM4], + &ia32_xmm_regs[REG_XMM5], + &ia32_xmm_regs[REG_XMM6], + &ia32_xmm_regs[REG_XMM7] }; @@ -95,63 +99,57 @@ const arch_register_t *ia32_get_firm_reg(const ir_node *irn, set *reg_set) { return assoc->reg; } - - -/* Mapping to store proj numbers for registers */ - -struct ia32_reg_projnum_assoc { - const arch_register_t *reg; - long proj_num; -}; - -int ia32_cmp_reg_projnum_assoc(const void *a, const void *b, size_t len) { - const struct ia32_reg_projnum_assoc *x = a; - const struct ia32_reg_projnum_assoc *y = b; - - return !(x->reg == y->reg); -} - -static struct ia32_reg_projnum_assoc *get_reg_projnum_assoc(const arch_register_t *reg, set *reg_set) { - struct ia32_reg_projnum_assoc templ; - unsigned int hash; - - templ.reg = reg; - templ.proj_num = -1; - hash = HASH_PTR(reg); - - return set_insert(reg_set, &templ, sizeof(templ), hash); +void ia32_build_16bit_reg_map(pmap *reg_map) { + pmap_insert(reg_map, &ia32_gp_regs[REG_EAX], "ax"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EBX], "bx"); + pmap_insert(reg_map, &ia32_gp_regs[REG_ECX], "cx"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EDX], "dx"); + pmap_insert(reg_map, &ia32_gp_regs[REG_ESI], "si"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EDI], "di"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EBP], "bp"); + pmap_insert(reg_map, &ia32_gp_regs[REG_ESP], "sp"); } -void ia32_set_reg_projnum(const arch_register_t *reg, long proj_num, set *reg_set) { - struct ia32_reg_projnum_assoc *assoc = get_reg_projnum_assoc(reg, reg_set); - assoc->proj_num = proj_num; +void ia32_build_8bit_reg_map(pmap *reg_map) { + pmap_insert(reg_map, &ia32_gp_regs[REG_EAX], "al"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EBX], "bl"); + pmap_insert(reg_map, &ia32_gp_regs[REG_ECX], "cl"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EDX], "dl"); } -long ia32_get_reg_projnum(const arch_register_t *reg, set *reg_set) { - struct ia32_reg_projnum_assoc *assoc = get_reg_projnum_assoc(reg, reg_set); - return assoc->proj_num; -} +const char *ia32_get_mapped_reg_name(pmap *reg_map, const arch_register_t *reg) { + pmap_entry *e = pmap_find(reg_map, (void *)reg); + //assert(e && "missing map init?"); + if (! e) { + printf("FIXME: ia32map_regs.c:122: returning fake register name for ia32 with 32 register\n"); + return reg->name; + } + return e->value; +} /** * Check all parameters and determine the maximum number of parameters * to pass in gp regs resp. in fp regs. * * @param n The number of parameters - * @param modes The parameter list + * @param modes The list of the parameter modes * @param n_int Holds the number of int parameters to be passed in regs after the call * @param n_float Holds the number of float parameters to be passed in regs after the call * @return The number of the last parameter to be passed in register */ -int ia32_get_n_regparam_class(int n, ir_node **params, int *n_int, int *n_float) { +int ia32_get_n_regparam_class(int n, ir_mode **modes, int *n_int, int *n_float) { int i, finished = 0; + *n_int = 0; + *n_float = 0; + for (i = 0; i < n && !finished; i++) { - if (mode_is_int(get_irn_mode(params[i]))) { + if (mode_is_int(modes[i]) || mode_is_reference(modes[i])) { *n_int = *n_int + 1; } - else if (mode_is_float(get_irn_mode(params[i]))) { + else if (mode_is_float(modes[i])) { *n_float = *n_float + 1; } else { @@ -169,63 +167,63 @@ int ia32_get_n_regparam_class(int n, ir_node **params, int *n_int, int *n_float) /** - * Returns the register requirements for parameter nr. + * Returns the register for parameter nr. * * @param n The number of parameters - * @param modes The parameter list + * @param modes The list of the parameter modes * @param nr The number of the parameter to return the requirements for * @param cc The calling convention - * @return The register requirements + * @return The register */ -const ia32_register_req_t *ia32_get_RegParam_req(int n, ir_node **params, long nr, unsigned cc) { - const ia32_register_req_t **current_gpreg_param_req; - const ia32_register_req_t **current_fpreg_param_req; - const ia32_register_req_t *param_req = NULL; +const arch_register_t *ia32_get_RegParam_reg(int n, ir_mode **modes, long nr, unsigned cc) { + const arch_register_t **current_gpreg_param_reg; + const arch_register_t **current_fpreg_param_reg; + const arch_register_t *param_reg = NULL; int n_gpregparam = 0; int n_fpregparam = 0; int i, done = 0; int cur_gp_idx = 0; int cur_fp_idx = 0; - int biggest_n = ia32_get_n_regparam_class(n, params, &n_gpregparam, &n_fpregparam); + int biggest_n = ia32_get_n_regparam_class(n, modes, &n_gpregparam, &n_fpregparam); /* Check if parameter #nr is in range for passing in register */ if (nr <= biggest_n) { - current_gpreg_param_req = gpreg_param_req_std; - current_fpreg_param_req = fpreg_param_req_std; + current_gpreg_param_reg = gpreg_param_reg_std; + current_fpreg_param_reg = fpreg_param_reg_std; if (cc & cc_this_call) { - current_gpreg_param_req = gpreg_param_req_this; - current_fpreg_param_req = fpreg_param_req_this; + current_gpreg_param_reg = gpreg_param_reg_this; + current_fpreg_param_reg = fpreg_param_reg_this; } /* loop over all parameters and determine whether its a int or float register parameter */ for (i = 0; i < nr && !done && (cc & cc_reg_param); i++) { - if (mode_is_int(get_irn_mode(params[i])) && cur_gp_idx < maxnum_gpreg_args) { + if ((mode_is_int(modes[i]) || mode_is_reference(modes[i])) && cur_gp_idx < maxnum_gpreg_args) { /* param can be passed in general purpose register and we have some registers left */ cur_gp_idx++; } - else if (mode_is_float(get_irn_mode(params[i])) && cur_fp_idx < maxnum_fpreg_args) { + else if (mode_is_float(modes[i]) && cur_fp_idx < maxnum_fpreg_args) { /* param can be passed in floating point register and we have some registers left */ - assert(current_gpreg_param_req[cur_fp_idx] && "'this' pointer cannot be passed as float"); + assert(current_gpreg_param_reg[cur_fp_idx] && "'this' pointer cannot be passed as float"); cur_fp_idx++; } } /* now: i == nr, that's the parameter requirement we want */ - if (mode_is_int(get_irn_mode(params[i])) && cur_gp_idx < maxnum_gpreg_args) { + if ((mode_is_int(modes[i]) || mode_is_reference(modes[i])) && cur_gp_idx < maxnum_gpreg_args) { /* parameter #nr can be passed in general purpose register */ - param_req = current_gpreg_param_req[i]; + param_reg = current_gpreg_param_reg[i]; } - else if (mode_is_float(get_irn_mode(params[i])) && cur_fp_idx < maxnum_fpreg_args) { + else if (mode_is_float(modes[i]) && cur_fp_idx < maxnum_fpreg_args) { /* parameter #nr can be passed in floating point register */ - param_req = current_fpreg_param_req[i]; + param_reg = current_fpreg_param_reg[i]; } else { assert(0 && "This should not happen!"); } } - return param_req; + return param_reg; } @@ -235,50 +233,47 @@ const ia32_register_req_t *ia32_get_RegParam_req(int n, ir_node **params, long n * requirements dependend on the predecessor. */ long ia32_translate_proj_pos(const ir_node *proj) { - ir_node *first; ir_node *pred = get_Proj_pred(proj); long nr = get_Proj_proj(proj); - if (is_ia32_Load(pred)) { - if (nr == pn_Load_res) + if (is_ia32_Ld(pred)) { + if (nr == pn_Load_res || nr == 0) return 0; assert(0 && "unsupported Proj(Load) number"); } - else if (is_ia32_Store(pred)) { + else if (is_ia32_St(pred)) { return 0; } - else if (is_ia32_CondJmp(pred) || is_ia32_CondJmp_i(pred)) { + else if (is_ia32_CondJmp(pred)) { return 0; } else if (is_ia32_SwitchJmp(pred)) { return 0; } - else if (is_ia32_Cltd(pred) || is_ia32_Mul(pred)) { + else if (is_ia32_Cdq(pred) || is_ia32_Mulh(pred)) { if (nr == pn_EAX) return 0; if (nr == pn_EDX) return 1; } else if (is_ia32_DivMod(pred)) { - if (nr == pn_DivMod_res_div || pn_Div_res) + if (nr == pn_DivMod_res_div) return 0; - if (nr == pn_DivMod_res_mod || pn_Mod_res) + if (nr == pn_DivMod_res_mod) return 1; + assert(0 && "unsupported DivMod"); } - else if (is_ia32_Call(pred)) { - return 0; + else if (is_ia32_xDiv(pred)) { + if (nr == pn_Quot_res) + return 0; + else + assert(0 && "there should be no more Projs for a xDiv"); } else if (get_irn_mode(proj) == mode_X && nr == pn_Start_X_initial_exec) { return 0; } else if (is_Proj(pred)) { - first = get_Proj_pred(pred); - - if (is_ia32_Call(first)) - return 0; - - assert(0 && "unsupported proj-pos translation Proj(Proj)"); - return -1; + return nr; } else if (get_irn_opcode(pred) == iro_Start) { return nr;