X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_map_regs.c;h=ab776aea6c7a3e8a368d466c444bd2d794fcc87b;hb=c535ac8fff54e1684c27ce3412e3426caf9a004b;hp=46f5b0597be63238682c94c7c7c6ee87e45ac33a;hpb=ee1fc38ecb6d0832d827e198f28edd6d2ed8c997;p=libfirm

diff --git a/ir/be/ia32/ia32_map_regs.c b/ir/be/ia32/ia32_map_regs.c
index 46f5b0597..ab776aea6 100644
--- a/ir/be/ia32/ia32_map_regs.c
+++ b/ir/be/ia32/ia32_map_regs.c
@@ -2,26 +2,80 @@
  * Register mapping for firm nodes. Stolen from bearch_firm :)
  * $Id$
  */
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
 
 #include <stdlib.h>
 
 #include "ia32_map_regs.h"
 #include "ia32_new_nodes.h"
+#include "gen_ia32_regalloc_if.h"
 
-struct irn_reg_assoc {
+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 cmp_irn_reg_assoc(const void *a, const void *b, size_t len) {
-	const struct irn_reg_assoc *x = a;
-	const struct irn_reg_assoc *y = b;
+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);
+	return x->irn != y->irn;
 }
 
-static struct irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, set *reg_set) {
-	struct irn_reg_assoc templ;
+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;
@@ -31,26 +85,156 @@ static struct irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, set *reg_set)
 	return set_insert(reg_set, &templ, sizeof(templ), hash);
 }
 
-void ia32_set_firm_reg(const arch_irn_ops_t *self, ir_node *irn,
-    const arch_register_t *reg, set *reg_set)
-{
-	struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set);
+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 arch_irn_ops_t *self,
-    const ir_node *irn, set *reg_set)
-{
-	struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, reg_set);
+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;
 }
 
 
+
+/* 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_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;
+}
+
+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;
+}
+
+
+
+/**
+ * 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;
+}
+
+
+/**
+ * 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;
+}
+
+
+
 /**
  * Translates the projnum into a "real" argument position for register
  * requirements dependend on the predecessor.
  */
-long translate_proj_pos(const ir_node *proj) {
+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);
@@ -63,13 +247,13 @@ long translate_proj_pos(const ir_node *proj) {
 	else if (is_ia32_Store(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)) {
+	else if (is_ia32_Cdq(pred) || is_ia32_Mulh(pred)) {
 		if (nr == pn_EAX)
 			return 0;
 		if (nr == pn_EDX)
@@ -81,6 +265,12 @@ long translate_proj_pos(const ir_node *proj) {
 		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;
 	}
@@ -88,7 +278,6 @@ long translate_proj_pos(const ir_node *proj) {
 		return 0;
 	}
 	else if (is_Proj(pred)) {
-//		return nr + translate_proj_pos(pred);
 		first = get_Proj_pred(pred);
 
 		if (is_ia32_Call(first))
@@ -101,6 +290,6 @@ long translate_proj_pos(const ir_node *proj) {
 		return nr;
 	}
 
-	assert(0 && "unsupported Proj(X)");
-	return -1;
+//	assert(0 && "unsupported Proj(X)");
+	return nr;
 }