+/*
+ * Copyright (C) 1995-2007 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 <stdlib.h>
+#include "pmap.h"
+#include "error.h"
+
#include "ia32_map_regs.h"
#include "ia32_new_nodes.h"
+#include "gen_ia32_regalloc_if.h"
+#include "bearch_ia32_t.h"
+#include "../benodesets.h"
+
+#define MAXNUM_GPREG_ARGS 3
+#define MAXNUM_SSE_ARGS 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_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]
+};
+
+const arch_register_t *fpreg_sse_param_reg_this[] = {
+ NULL, /* in case of a "this" pointer, the first parameter must not be a float */
+ &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]
+};
+
+
-struct irn_reg_assoc {
+/* 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;
+ (void) len;
- 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;
templ.reg = NULL;
- hash = HASH_PTR(irn);
+ hash = nodeset_hash(irn);
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;
}
+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");
+}
-/**
- * Translates the projnum into a "real" argument position for register
- * requirements dependend on the predecessor.
- */
-long 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) || is_ia32_CondJmp_i(pred)) {
- return 0;
- }
- else if (is_ia32_SwitchJmp(pred)) {
- return 0;
- }
- else if (is_ia32_Cltd(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_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 + translate_proj_pos(pred);
- first = get_Proj_pred(pred);
+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");
+}
- if (is_ia32_Call(first))
- return 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");
+}
+
+const char *ia32_get_mapped_reg_name(pmap *reg_map, const arch_register_t *reg) {
+ pmap_entry *e = pmap_find(reg_map, (void *)reg);
- assert(0 && "unsupported proj-pos translation Proj(Proj)");
- return -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;
}
- else if (get_irn_opcode(pred) == iro_Start) {
- return nr;
+
+ return e->value;
+}
+
+/**
+ * Returns the register for parameter nr.
+ */
+const arch_register_t *ia32_get_RegParam_reg(ia32_code_gen_t *cg, unsigned cc,
+ size_t nr, const ir_mode *mode)
+{
+ if(! (cc & cc_reg_param))
+ return NULL;
+
+ if(mode_is_float(mode)) {
+ if(!USE_SSE2(cg))
+ return NULL;
+ if(nr >= MAXNUM_SSE_ARGS)
+ return NULL;
+
+ if(cc & cc_this_call) {
+ return fpreg_sse_param_reg_this[nr];
+ }
+ return fpreg_sse_param_reg_std[nr];
+ } else if(mode_is_int(mode) || mode_is_reference(mode)) {
+ if(nr >= MAXNUM_GPREG_ARGS)
+ return NULL;
+
+ if(cc & cc_this_call) {
+ return gpreg_param_reg_this[nr];
+ }
+ return gpreg_param_reg_std[nr];
}
- assert(0 && "unsupported Proj(X)");
- return -1;
+ panic("unknown argument mode");
}