X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_map_regs.c;h=49110979b11f8bab8e98520d74523e4692bdbd6f;hb=0fbcef83aa6060534172bb13e71cdadb04428806;hp=45fa91d569dc39b8c2c64025fe6f36b2f3243df3;hpb=587da26e869d303c38f8ec8affddc9eff58dfe92;p=libfirm diff --git a/ir/be/ia32/ia32_map_regs.c b/ir/be/ia32/ia32_map_regs.c index 45fa91d56..49110979b 100644 --- a/ir/be/ia32/ia32_map_regs.c +++ b/ir/be/ia32/ia32_map_regs.c @@ -1,63 +1,78 @@ +/* + * 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" +#include "bearch_ia32_t.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 */ +#define MAXNUM_GPREG_ARGS 3 +#define MAXNUM_SSE_ARGS 8 -/* this is the order of the assigned registers usesd for parameter passing */ +/* this is the order of the assigned registers used for parameter passing */ -const arch_register_t *gpreg_param_reg_std[] = { - &ia32_gp_regs[REG_EAX], - &ia32_gp_regs[REG_EDX], +static const arch_register_t *gpreg_param_reg_fastcall[] = { &ia32_gp_regs[REG_ECX], - &ia32_gp_regs[REG_EBX], - &ia32_gp_regs[REG_EDI], - &ia32_gp_regs[REG_ESI] + &ia32_gp_regs[REG_EDX], + NULL }; -const arch_register_t *gpreg_param_reg_this[] = { - &ia32_gp_regs[REG_ECX], +static const arch_register_t *gpreg_param_reg_regparam[] = { &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] + &ia32_gp_regs[REG_ECX] }; -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] +static const arch_register_t *gpreg_param_reg_this[] = { + &ia32_gp_regs[REG_ECX], + NULL, + NULL }; -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] +static const arch_register_t *fpreg_sse_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] }; +static const arch_register_t *fpreg_sse_param_reg_this[] = { + NULL, /* in case of a "this" pointer, the first parameter must not be a float */ +}; /* Mapping to store registers in firm nodes */ @@ -70,6 +85,7 @@ struct ia32_irn_reg_assoc { 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; + (void) len; return x->irn != y->irn; } @@ -80,7 +96,7 @@ static struct ia32_irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, set *reg templ.irn = irn; templ.reg = NULL; - hash = HASH_PTR(irn); + hash = hash_irn(irn); return set_insert(reg_set, &templ, sizeof(templ), hash); } @@ -95,157 +111,83 @@ const arch_register_t *ia32_get_firm_reg(const ir_node *irn, set *reg_set) { return assoc->reg; } +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_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"); +} -/** - * 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; +void ia32_build_8bit_reg_map_high(pmap *reg_map) { + pmap_insert(reg_map, &ia32_gp_regs[REG_EAX], "ah"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EBX], "bh"); + pmap_insert(reg_map, &ia32_gp_regs[REG_ECX], "ch"); + pmap_insert(reg_map, &ia32_gp_regs[REG_EDX], "dh"); +} - 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; - } +const char *ia32_get_mapped_reg_name(pmap *reg_map, const arch_register_t *reg) { + pmap_entry *e = pmap_find(reg_map, (void *)reg); - /* test for maximum */ - if (*n_int == maxnum_gpreg_args || *n_float == maxnum_fpreg_args) { - finished = 1; - } + //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 i - 1; + return e->value; } - /** * 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; +const arch_register_t *ia32_get_RegParam_reg(unsigned cc, size_t nr, + const ir_mode *mode) +{ + if (! (cc & cc_reg_param)) + return NULL; + + if (mode_is_float(mode)) { + if (!ia32_cg_config.use_sse2 || (cc & cc_fpreg_param) == 0) + return NULL; + if (nr >= MAXNUM_SSE_ARGS) + return NULL; if (cc & cc_this_call) { - current_gpreg_param_reg = gpreg_param_reg_this; - current_fpreg_param_reg = fpreg_param_reg_this; + return fpreg_sse_param_reg_this[nr]; } + return fpreg_sse_param_reg_std[nr]; + } else if (mode_is_int(mode) || mode_is_reference(mode)) { + unsigned num_regparam; - /* 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++; - } - } + if (get_mode_size_bits(mode) > 32) + return NULL; - /* 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]; + if (nr >= MAXNUM_GPREG_ARGS) + return NULL; + + if (cc & cc_this_call) { + return gpreg_param_reg_this[nr]; } - else { - assert(0 && "This should not happen!"); + num_regparam = cc & ~cc_bits; + if (num_regparam == 0) { + /* default fastcall */ + return gpreg_param_reg_fastcall[nr]; } + if (nr < num_regparam) + return gpreg_param_reg_regparam[nr]; + return NULL; } - return param_reg; -} - - - -/** - * 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 *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)) { - return nr; - } - else if (get_irn_opcode(pred) == iro_Start) { - return nr; - } - -// assert(0 && "unsupported Proj(X)"); - return nr; + panic("unknown argument mode"); }