nsz Git - libfirm/blob - ir/be/ia32/ia32_map_regs.c

   1 /**
   2  * Register mapping for firm nodes. Stolen from bearch_firm :)
   3  * $Id$
   4  */
   5 #ifdef HAVE_CONFIG_H
   6 #include "config.h"
   7 #endif
   8
   9 #include <stdlib.h>
  10
  11 #include "pmap.h"
  12
  13 #include "ia32_map_regs.h"
  14 #include "ia32_new_nodes.h"
  15 #include "gen_ia32_regalloc_if.h"
  16
  17 static int maxnum_gpreg_args = 3;   /* maximum number of int arguments passed in registers; default 3 */
  18 static int maxnum_fpreg_args = 5;   /* maximum number of float arguments passed in registers; default 5 */
  19
  20 /* this is the order of the assigned registers usesd for parameter passing */
  21
  22 const arch_register_t *gpreg_param_reg_std[] = {
  23         &ia32_gp_regs[REG_EAX],
  24         &ia32_gp_regs[REG_EDX],
  25         &ia32_gp_regs[REG_ECX],
  26         &ia32_gp_regs[REG_EBX],
  27         &ia32_gp_regs[REG_EDI],
  28         &ia32_gp_regs[REG_ESI]
  29 };
  30
  31 const arch_register_t *gpreg_param_reg_this[] = {
  32         &ia32_gp_regs[REG_ECX],
  33         &ia32_gp_regs[REG_EAX],
  34         &ia32_gp_regs[REG_EDX],
  35         &ia32_gp_regs[REG_EBX],
  36         &ia32_gp_regs[REG_EDI],
  37         &ia32_gp_regs[REG_ESI]
  38 };
  39
  40 const arch_register_t *fpreg_param_reg_std[] = {
  41         &ia32_xmm_regs[REG_XMM0],
  42         &ia32_xmm_regs[REG_XMM1],
  43         &ia32_xmm_regs[REG_XMM2],
  44         &ia32_xmm_regs[REG_XMM3],
  45         &ia32_xmm_regs[REG_XMM4],
  46         &ia32_xmm_regs[REG_XMM5],
  47         &ia32_xmm_regs[REG_XMM6],
  48         &ia32_xmm_regs[REG_XMM7]
  49 };
  50
  51 const arch_register_t *fpreg_param_reg_this[] = {
  52         NULL,  /* in case of a "this" pointer, the first parameter must not be a float */
  53         &ia32_xmm_regs[REG_XMM0],
  54         &ia32_xmm_regs[REG_XMM1],
  55         &ia32_xmm_regs[REG_XMM2],
  56         &ia32_xmm_regs[REG_XMM3],
  57         &ia32_xmm_regs[REG_XMM4],
  58         &ia32_xmm_regs[REG_XMM5],
  59         &ia32_xmm_regs[REG_XMM6],
  60         &ia32_xmm_regs[REG_XMM7]
  61 };
  62
  63
  64
  65 /* Mapping to store registers in firm nodes */
  66
  67 struct ia32_irn_reg_assoc {
  68         const ir_node *irn;
  69         const arch_register_t *reg;
  70 };
  71
  72 int ia32_cmp_irn_reg_assoc(const void *a, const void *b, size_t len) {
  73         const struct ia32_irn_reg_assoc *x = a;
  74         const struct ia32_irn_reg_assoc *y = b;
  75
  76         return x->irn != y->irn;
  77 }
  78
  79 static struct ia32_irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, set *reg_set) {
  80         struct ia32_irn_reg_assoc templ;
  81         unsigned int hash;
  82
  83         templ.irn = irn;
  84         templ.reg = NULL;
  85         hash = HASH_PTR(irn);
  86
  87         return set_insert(reg_set, &templ, sizeof(templ), hash);
  88 }
  89
  90 void ia32_set_firm_reg(ir_node *irn, const arch_register_t *reg, set *reg_set) {
  91         struct ia32_irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set);
  92         assoc->reg = reg;
  93 }
  94
  95 const arch_register_t *ia32_get_firm_reg(const ir_node *irn, set *reg_set) {
  96         struct ia32_irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set);
  97         return assoc->reg;
  98 }
  99
 100 void ia32_build_16bit_reg_map(pmap *reg_map) {
 101         pmap_insert(reg_map, &ia32_gp_regs[REG_EAX], "ax");
 102         pmap_insert(reg_map, &ia32_gp_regs[REG_EBX], "bx");
 103         pmap_insert(reg_map, &ia32_gp_regs[REG_ECX], "cx");
 104         pmap_insert(reg_map, &ia32_gp_regs[REG_EDX], "dx");
 105         pmap_insert(reg_map, &ia32_gp_regs[REG_ESI], "si");
 106         pmap_insert(reg_map, &ia32_gp_regs[REG_EDI], "di");
 107         pmap_insert(reg_map, &ia32_gp_regs[REG_EBP], "bp");
 108         pmap_insert(reg_map, &ia32_gp_regs[REG_ESP], "sp");
 109 }
 110
 111 void ia32_build_8bit_reg_map(pmap *reg_map) {
 112         pmap_insert(reg_map, &ia32_gp_regs[REG_EAX], "al");
 113         pmap_insert(reg_map, &ia32_gp_regs[REG_EBX], "bl");
 114         pmap_insert(reg_map, &ia32_gp_regs[REG_ECX], "cl");
 115         pmap_insert(reg_map, &ia32_gp_regs[REG_EDX], "dl");
 116 }
 117
 118 char *ia32_get_mapped_reg_name(pmap *reg_map, const arch_register_t *reg) {
 119         pmap_entry *e = pmap_find(reg_map, (void *)reg);
 120
 121         assert(e && "missing map init?");
 122
 123         return e->value;
 124 }
 125
 126 /**
 127  * Check all parameters and determine the maximum number of parameters
 128  * to pass in gp regs resp. in fp regs.
 129  *
 130  * @param n       The number of parameters
 131  * @param modes   The list of the parameter modes
 132  * @param n_int   Holds the number of int parameters to be passed in regs after the call
 133  * @param n_float Holds the number of float parameters to be passed in regs after the call
 134  * @return        The number of the last parameter to be passed in register
 135  */
 136 int ia32_get_n_regparam_class(int n, ir_mode **modes, int *n_int, int *n_float) {
 137         int i, finished = 0;
 138
 139         *n_int   = 0;
 140         *n_float = 0;
 141
 142         for (i = 0; i < n && !finished; i++) {
 143                 if (mode_is_int(modes[i]) || mode_is_reference(modes[i])) {
 144                         *n_int = *n_int + 1;
 145                 }
 146                 else if (mode_is_float(modes[i])) {
 147                         *n_float = *n_float + 1;
 148                 }
 149                 else {
 150                         finished = 1;
 151                 }
 152
 153                 /* test for maximum */
 154                 if (*n_int == maxnum_gpreg_args || *n_float == maxnum_fpreg_args) {
 155                         finished = 1;
 156                 }
 157         }
 158
 159         return i - 1;
 160 }
 161
 162
 163 /**
 164  * Returns the register for parameter nr.
 165  *
 166  * @param n     The number of parameters
 167  * @param modes The list of the parameter modes
 168  * @param nr    The number of the parameter to return the requirements for
 169  * @param cc    The calling convention
 170  * @return      The register
 171  */
 172 const arch_register_t *ia32_get_RegParam_reg(int n, ir_mode **modes, long nr, unsigned cc) {
 173         const arch_register_t **current_gpreg_param_reg;
 174         const arch_register_t **current_fpreg_param_reg;
 175         const arch_register_t  *param_reg = NULL;
 176         int n_gpregparam = 0;
 177         int n_fpregparam = 0;
 178         int i, done      = 0;
 179         int cur_gp_idx   = 0;
 180         int cur_fp_idx   = 0;
 181         int biggest_n    = ia32_get_n_regparam_class(n, modes, &n_gpregparam, &n_fpregparam);
 182
 183         /* Check if parameter #nr is in range for passing in register */
 184         if (nr <= biggest_n) {
 185                 current_gpreg_param_reg = gpreg_param_reg_std;
 186                 current_fpreg_param_reg = fpreg_param_reg_std;
 187
 188                 if (cc & cc_this_call) {
 189                         current_gpreg_param_reg = gpreg_param_reg_this;
 190                         current_fpreg_param_reg = fpreg_param_reg_this;
 191                 }
 192
 193                 /* loop over all parameters and determine whether its a int or float register parameter */
 194                 for (i = 0; i < nr && !done && (cc & cc_reg_param); i++) {
 195                         if ((mode_is_int(modes[i]) || mode_is_reference(modes[i])) && cur_gp_idx < maxnum_gpreg_args) {
 196                                 /* param can be passed in general purpose register and we have some registers left */
 197                                 cur_gp_idx++;
 198                         }
 199                         else if (mode_is_float(modes[i]) && cur_fp_idx < maxnum_fpreg_args) {
 200                                 /* param can be passed in floating point register and we have some registers left */
 201                                 assert(current_gpreg_param_reg[cur_fp_idx] && "'this' pointer cannot be passed as float");
 202                                 cur_fp_idx++;
 203                         }
 204                 }
 205
 206                 /* now: i == nr, that's the parameter requirement we want */
 207                 if ((mode_is_int(modes[i]) || mode_is_reference(modes[i])) && cur_gp_idx < maxnum_gpreg_args) {
 208                         /* parameter #nr can be passed in general purpose register */
 209                         param_reg = current_gpreg_param_reg[i];
 210                 }
 211                 else if (mode_is_float(modes[i]) && cur_fp_idx < maxnum_fpreg_args) {
 212                         /* parameter #nr can be passed in floating point register */
 213                         param_reg = current_fpreg_param_reg[i];
 214                 }
 215                 else {
 216                         assert(0 && "This should not happen!");
 217                 }
 218         }
 219
 220         return param_reg;
 221 }
 222
 223
 224
 225 /**
 226  * Translates the projnum into a "real" argument position for register
 227  * requirements dependend on the predecessor.
 228  */
 229 long ia32_translate_proj_pos(const ir_node *proj) {
 230         ir_node *pred = get_Proj_pred(proj);
 231         long nr       = get_Proj_proj(proj);
 232
 233         if (is_ia32_Ld(pred)) {
 234                 if (nr == pn_Load_res || nr == 0)
 235                         return 0;
 236                 assert(0 && "unsupported Proj(Load) number");
 237         }
 238         else if (is_ia32_St(pred)) {
 239                 return 0;
 240         }
 241         else if (is_ia32_CondJmp(pred)) {
 242                 return 0;
 243         }
 244         else if (is_ia32_SwitchJmp(pred)) {
 245                 return 0;
 246         }
 247         else if (is_ia32_Cdq(pred) || is_ia32_Mulh(pred)) {
 248                 if (nr == pn_EAX)
 249                         return 0;
 250                 if (nr == pn_EDX)
 251                         return 1;
 252         }
 253         else if (is_ia32_DivMod(pred)) {
 254                 if (nr == pn_DivMod_res_div)
 255                         return 0;
 256                 if (nr == pn_DivMod_res_mod)
 257                         return 1;
 258                 assert(0 && "unsupported DivMod");
 259         }
 260         else if (is_ia32_fDiv(pred)) {
 261                 if (nr == pn_Quot_res)
 262                         return 0;
 263                 else
 264                         assert(0 && "there should be no more Projs for a fDiv");
 265         }
 266         else if (get_irn_mode(proj) == mode_X && nr == pn_Start_X_initial_exec) {
 267                 return 0;
 268         }
 269         else if (is_Proj(pred)) {
 270                 return nr;
 271         }
 272         else if (get_irn_opcode(pred) == iro_Start) {
 273                 return nr;
 274         }
 275
 276 //      assert(0 && "unsupported Proj(X)");
 277         return nr;
 278 }