X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_map_regs.c;h=cb09bf1418eae00afea8589f1fdf99969fd38efa;hb=dabecf7efb18569c6f06f047c68d124f108cfced;hp=1ccbcad6d3c94ef0b55ef8cfd2c77e336f0d30aa;hpb=bea700ecc61bc5228929abaf9e94de34092a04de;p=libfirm diff --git a/ir/be/ia32/ia32_map_regs.c b/ir/be/ia32/ia32_map_regs.c index 1ccbcad6d..cb09bf141 100644 --- a/ir/be/ia32/ia32_map_regs.c +++ b/ir/be/ia32/ia32_map_regs.c @@ -1,258 +1,85 @@ +/* + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. + * + * This file is part of libFirm. + * + * This file may be distributed and/or modified under the terms of the + * GNU General Public License version 2 as published by the Free Software + * Foundation and appearing in the file LICENSE.GPL included in the + * packaging of this file. + * + * Licensees holding valid libFirm Professional Edition licenses may use + * this file in accordance with the libFirm Commercial License. + * Agreement provided with the Software. + * + * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE + * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE. + */ + /** - * Register mapping for firm nodes. Stolen from bearch_firm :) - * $Id$ + * @file + * @brief Register param constraints and some other register handling tools. + * @author Christian Wuerdig + * @version $Id$ */ -#ifdef HAVE_CONFIG_H #include "config.h" -#endif #include +#include "pmap.h" +#include "error.h" + #include "ia32_map_regs.h" #include "ia32_new_nodes.h" +#include "ia32_architecture.h" #include "gen_ia32_regalloc_if.h" - -static int maxnum_gpreg_args = 3; /* maximum number of int arguments passed in registers; default 3 */ -static int maxnum_fpreg_args = 5; /* maximum number of float arguments passed in registers; default 5 */ - -/* this is the order of the assigned registers usesd for parameter passing */ - -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 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 arch_register_t *fpreg_param_reg_std[] = { - &ia32_fp_regs[REG_XMM0], - &ia32_fp_regs[REG_XMM1], - &ia32_fp_regs[REG_XMM2], - &ia32_fp_regs[REG_XMM3], - &ia32_fp_regs[REG_XMM4], - &ia32_fp_regs[REG_XMM5], - &ia32_fp_regs[REG_XMM6], - &ia32_fp_regs[REG_XMM7] -}; - -const arch_register_t *fpreg_param_reg_this[] = { - NULL, /* in case of a "this" pointer, the first parameter must not be a float */ - &ia32_fp_regs[REG_XMM0], - &ia32_fp_regs[REG_XMM1], - &ia32_fp_regs[REG_XMM2], - &ia32_fp_regs[REG_XMM3], - &ia32_fp_regs[REG_XMM4], - &ia32_fp_regs[REG_XMM5], - &ia32_fp_regs[REG_XMM6], - &ia32_fp_regs[REG_XMM7] -}; - - - -/* Mapping to store registers in firm nodes */ - -struct ia32_irn_reg_assoc { - const ir_node *irn; - const arch_register_t *reg; -}; - -int ia32_cmp_irn_reg_assoc(const void *a, const void *b, size_t len) { - const struct ia32_irn_reg_assoc *x = a; - const struct ia32_irn_reg_assoc *y = b; - - return x->irn != y->irn; -} - -static struct ia32_irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, set *reg_set) { - struct ia32_irn_reg_assoc templ; - unsigned int hash; - - templ.irn = irn; - templ.reg = NULL; - hash = HASH_PTR(irn); - - return set_insert(reg_set, &templ, sizeof(templ), hash); +#include "bearch_ia32_t.h" + +/* this is the order of the assigned registers used for parameter passing */ + + +void ia32_build_16bit_reg_map(const char *reg_map[]) +{ + memset(reg_map, 0, sizeof(reg_map[0]) * N_ia32_gp_REGS); + reg_map[REG_GP_EAX] = "ax"; + reg_map[REG_GP_EBX] = "bx"; + reg_map[REG_GP_ECX] = "cx"; + reg_map[REG_GP_EDX] = "dx"; + reg_map[REG_GP_ESI] = "si"; + reg_map[REG_GP_EDI] = "di"; + reg_map[REG_GP_EBP] = "bp"; + reg_map[REG_GP_ESP] = "sp"; } -void ia32_set_firm_reg(ir_node *irn, const arch_register_t *reg, set *reg_set) { - struct ia32_irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set); - assoc->reg = reg; -} - -const arch_register_t *ia32_get_firm_reg(const ir_node *irn, set *reg_set) { - struct ia32_irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set); - return assoc->reg; -} - - - -/** - * 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 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_mode **modes, int *n_int, int *n_float) { - int i, finished = 0; - - for (i = 0; i < n && !finished; i++) { - if (mode_is_int(modes[i])) { - *n_int = *n_int + 1; - } - else if (mode_is_float(modes[i])) { - *n_float = *n_float + 1; - } - else { - finished = 1; - } - - /* test for maximum */ - if (*n_int == maxnum_gpreg_args || *n_float == maxnum_fpreg_args) { - finished = 1; - } - } - - return i - 1; +void ia32_build_8bit_reg_map(const char *reg_map[]) +{ + memset(reg_map, 0, sizeof(reg_map[0]) * N_ia32_gp_REGS); + reg_map[REG_GP_EAX] = "al"; + reg_map[REG_GP_EBX] = "bl"; + reg_map[REG_GP_ECX] = "cl"; + reg_map[REG_GP_EDX] = "dl"; } - -/** - * Returns the register for parameter nr. - * - * @param n The number of parameters - * @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 - */ -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, modes, &n_gpregparam, &n_fpregparam); - - /* Check if parameter #nr is in range for passing in register */ - if (nr <= biggest_n) { - current_gpreg_param_reg = gpreg_param_reg_std; - current_fpreg_param_reg = fpreg_param_reg_std; - - if (cc & cc_this_call) { - 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(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(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_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(modes[i]) && cur_gp_idx < maxnum_gpreg_args) { - /* parameter #nr can be passed in general purpose register */ - param_reg = current_gpreg_param_reg[i]; - } - else if (mode_is_float(modes[i]) && cur_fp_idx < maxnum_fpreg_args) { - /* parameter #nr can be passed in floating point register */ - param_reg = current_fpreg_param_reg[i]; - } - else { - assert(0 && "This should not happen!"); - } - } - - return param_reg; +void ia32_build_8bit_reg_map_high(const char *reg_map[]) +{ + memset(reg_map, 0, sizeof(reg_map[0]) * N_ia32_gp_REGS); + reg_map[REG_GP_EAX], "ah"; + reg_map[REG_GP_EBX], "bh"; + reg_map[REG_GP_ECX], "ch"; + reg_map[REG_GP_EDX], "dh"; } +const char *ia32_get_mapped_reg_name(const char *reg_map[], const arch_register_t *reg) +{ + const char *name = reg_map[reg->index]; + assert(reg->reg_class->index == CLASS_ia32_gp); - -/** - * Translates the projnum into a "real" argument position for register - * 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) - return 0; - assert(0 && "unsupported Proj(Load) number"); - } - else if (is_ia32_Store(pred)) { - return 0; - } - else if (is_ia32_CondJmp(pred)) { - return 0; - } - else if (is_ia32_SwitchJmp(pred)) { - return 0; - } - 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) - return 0; - if (nr == pn_DivMod_res_mod || pn_Mod_res) - return 1; - } - else if (is_ia32_fDiv(pred)) { - if (nr == pn_Quot_res) - return 0; - else - assert(0 && "there should be no more Projs for a fDiv"); - } - else if (is_ia32_Call(pred)) { - return 0; - } - 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; - } - else if (get_irn_opcode(pred) == iro_Start) { - return nr; + //assert(name && "missing map init?"); + if (! name) { + printf("FIXME: ia32map_regs.c:122: returning fake register name for ia32 with 32 register\n"); + return reg->name; } -// assert(0 && "unsupported Proj(X)"); - return nr; + return name; }