2 * Register mapping for firm nodes. Stolen from bearch_firm :)
3 * Calculate requirements for register parameter.
4 * @author Christian Wuerdig
15 #include "ia32_map_regs.h"
16 #include "ia32_new_nodes.h"
17 #include "gen_ia32_regalloc_if.h"
18 #include "../benodesets.h"
20 static int maxnum_gpreg_args = 3; /* maximum number of int arguments passed in registers; default 3 */
21 static int maxnum_fpreg_args = 5; /* maximum number of float arguments passed in registers; default 5 */
23 /* this is the order of the assigned registers usesd for parameter passing */
25 const arch_register_t *gpreg_param_reg_std[] = {
26 &ia32_gp_regs[REG_EAX],
27 &ia32_gp_regs[REG_EDX],
28 &ia32_gp_regs[REG_ECX],
29 &ia32_gp_regs[REG_EBX],
30 &ia32_gp_regs[REG_EDI],
31 &ia32_gp_regs[REG_ESI]
34 const arch_register_t *gpreg_param_reg_this[] = {
35 &ia32_gp_regs[REG_ECX],
36 &ia32_gp_regs[REG_EAX],
37 &ia32_gp_regs[REG_EDX],
38 &ia32_gp_regs[REG_EBX],
39 &ia32_gp_regs[REG_EDI],
40 &ia32_gp_regs[REG_ESI]
43 const arch_register_t *fpreg_param_reg_std[] = {
44 &ia32_xmm_regs[REG_XMM0],
45 &ia32_xmm_regs[REG_XMM1],
46 &ia32_xmm_regs[REG_XMM2],
47 &ia32_xmm_regs[REG_XMM3],
48 &ia32_xmm_regs[REG_XMM4],
49 &ia32_xmm_regs[REG_XMM5],
50 &ia32_xmm_regs[REG_XMM6],
51 &ia32_xmm_regs[REG_XMM7]
54 const arch_register_t *fpreg_param_reg_this[] = {
55 NULL, /* in case of a "this" pointer, the first parameter must not be a float */
56 &ia32_xmm_regs[REG_XMM0],
57 &ia32_xmm_regs[REG_XMM1],
58 &ia32_xmm_regs[REG_XMM2],
59 &ia32_xmm_regs[REG_XMM3],
60 &ia32_xmm_regs[REG_XMM4],
61 &ia32_xmm_regs[REG_XMM5],
62 &ia32_xmm_regs[REG_XMM6],
63 &ia32_xmm_regs[REG_XMM7]
68 /* Mapping to store registers in firm nodes */
70 struct ia32_irn_reg_assoc {
72 const arch_register_t *reg;
75 int ia32_cmp_irn_reg_assoc(const void *a, const void *b, size_t len) {
76 const struct ia32_irn_reg_assoc *x = a;
77 const struct ia32_irn_reg_assoc *y = b;
79 return x->irn != y->irn;
82 static struct ia32_irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, set *reg_set) {
83 struct ia32_irn_reg_assoc templ;
88 hash = nodeset_hash(irn);
90 return set_insert(reg_set, &templ, sizeof(templ), hash);
93 void ia32_set_firm_reg(ir_node *irn, const arch_register_t *reg, set *reg_set) {
94 struct ia32_irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set);
98 const arch_register_t *ia32_get_firm_reg(const ir_node *irn, set *reg_set) {
99 struct ia32_irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set);
103 void ia32_build_16bit_reg_map(pmap *reg_map) {
104 pmap_insert(reg_map, &ia32_gp_regs[REG_EAX], "ax");
105 pmap_insert(reg_map, &ia32_gp_regs[REG_EBX], "bx");
106 pmap_insert(reg_map, &ia32_gp_regs[REG_ECX], "cx");
107 pmap_insert(reg_map, &ia32_gp_regs[REG_EDX], "dx");
108 pmap_insert(reg_map, &ia32_gp_regs[REG_ESI], "si");
109 pmap_insert(reg_map, &ia32_gp_regs[REG_EDI], "di");
110 pmap_insert(reg_map, &ia32_gp_regs[REG_EBP], "bp");
111 pmap_insert(reg_map, &ia32_gp_regs[REG_ESP], "sp");
114 void ia32_build_8bit_reg_map(pmap *reg_map) {
115 pmap_insert(reg_map, &ia32_gp_regs[REG_EAX], "al");
116 pmap_insert(reg_map, &ia32_gp_regs[REG_EBX], "bl");
117 pmap_insert(reg_map, &ia32_gp_regs[REG_ECX], "cl");
118 pmap_insert(reg_map, &ia32_gp_regs[REG_EDX], "dl");
121 const char *ia32_get_mapped_reg_name(pmap *reg_map, const arch_register_t *reg) {
122 pmap_entry *e = pmap_find(reg_map, (void *)reg);
124 //assert(e && "missing map init?");
126 printf("FIXME: ia32map_regs.c:122: returning fake register name for ia32 with 32 register\n");
134 * Check all parameters and determine the maximum number of parameters
135 * to pass in gp regs resp. in fp regs.
137 * @param n The number of parameters
138 * @param modes The list of the parameter modes
139 * @param n_int Holds the number of int parameters to be passed in regs after the call
140 * @param n_float Holds the number of float parameters to be passed in regs after the call
141 * @return The number of the last parameter to be passed in register
143 int ia32_get_n_regparam_class(int n, ir_mode **modes, int *n_int, int *n_float) {
149 for (i = 0; i < n && !finished; i++) {
150 if (mode_is_int(modes[i]) || mode_is_reference(modes[i])) {
153 else if (mode_is_float(modes[i])) {
154 *n_float = *n_float + 1;
160 /* test for maximum */
161 if (*n_int == maxnum_gpreg_args || *n_float == maxnum_fpreg_args) {
171 * Returns the register for parameter nr.
173 * @param n The number of parameters
174 * @param modes The list of the parameter modes
175 * @param nr The number of the parameter to return the requirements for
176 * @param cc The calling convention
177 * @return The register
179 const arch_register_t *ia32_get_RegParam_reg(int n, ir_mode **modes, long nr, unsigned cc) {
180 const arch_register_t **current_gpreg_param_reg;
181 const arch_register_t **current_fpreg_param_reg;
182 const arch_register_t *param_reg = NULL;
183 int n_gpregparam = 0;
184 int n_fpregparam = 0;
188 int biggest_n = ia32_get_n_regparam_class(n, modes, &n_gpregparam, &n_fpregparam);
190 /* Check if parameter #nr is in range for passing in register */
191 if (nr <= biggest_n) {
192 current_gpreg_param_reg = gpreg_param_reg_std;
193 current_fpreg_param_reg = fpreg_param_reg_std;
195 if (cc & cc_this_call) {
196 current_gpreg_param_reg = gpreg_param_reg_this;
197 current_fpreg_param_reg = fpreg_param_reg_this;
200 /* loop over all parameters and determine whether its a int or float register parameter */
201 for (i = 0; i < nr && !done && (cc & cc_reg_param); i++) {
202 if ((mode_is_int(modes[i]) || mode_is_reference(modes[i])) && cur_gp_idx < maxnum_gpreg_args) {
203 /* param can be passed in general purpose register and we have some registers left */
206 else if (mode_is_float(modes[i]) && cur_fp_idx < maxnum_fpreg_args) {
207 /* param can be passed in floating point register and we have some registers left */
208 assert(current_gpreg_param_reg[cur_fp_idx] && "'this' pointer cannot be passed as float");
213 /* now: i == nr, that's the parameter requirement we want */
214 if ((mode_is_int(modes[i]) || mode_is_reference(modes[i])) && cur_gp_idx < maxnum_gpreg_args) {
215 /* parameter #nr can be passed in general purpose register */
216 param_reg = current_gpreg_param_reg[i];
218 else if (mode_is_float(modes[i]) && cur_fp_idx < maxnum_fpreg_args) {
219 /* parameter #nr can be passed in floating point register */
220 param_reg = current_fpreg_param_reg[i];
223 assert(0 && "This should not happen!");
233 * Translates the projnum into a "real" argument position for register
234 * requirements dependend on the predecessor.
236 long ia32_translate_proj_pos(const ir_node *proj) {
237 ir_node *pred = get_Proj_pred(proj);
238 long nr = get_Proj_proj(proj);
240 if (is_ia32_Ld(pred)) {
241 if (nr == pn_Load_res || nr == 0)
243 assert(0 && "unsupported Proj(Load) number");
245 else if (is_ia32_Cdq(pred) || is_ia32_MulS(pred) || is_ia32_Mulh(pred)) {
251 else if (is_ia32_DivMod(pred)) {
252 if (nr == pn_DivMod_res_div)
254 if (nr == pn_DivMod_res_mod)
256 assert(0 && "unsupported DivMod");
258 else if (get_irn_opcode(pred) == iro_Start) {
261 else if (is_ia32_CopyB(pred) || is_ia32_CopyB_i(pred)) {
264 else if (is_ia32_Leave(pred)) {
268 // assert(0 && "unsupported Proj(X)");