#include "irgmod.h"
#include "irgopt.h"
#include "irgwalk.h"
-#include "iredges.h "
+#include "iredges.h"
#include "irdump.h"
#include "irextbb.h"
#include "../besched_t.h"
#include "../be.h"
#include "../beabi.h"
+#include "../bemachine.h"
#include "bearch_mips_t.h"
assert(0 && "floating point not supported (yet)");
}
else if (mode_is_int(mode) || mode_is_reference(mode)) {
- memcpy(req, &(mips_default_req_mips_general_purpose.req), sizeof(*req));
+ memcpy(req, &(mips_default_req_mips_gp.req), sizeof(*req));
}
else if (mode == mode_T || mode == mode_M) {
DBG((mod, LEVEL_1, "ignoring Phi node %+F\n", irn));
return 0;
}
-static entity *mips_get_frame_entity(const void *self, const ir_node *irn) {
+static ir_entity *mips_get_frame_entity(const void *self, const ir_node *irn) {
if(is_mips_load_r(irn) || is_mips_store_r(irn)) {
mips_attr_t *attr = get_mips_attr(irn);
return NULL;
}
+static void mips_set_frame_entity(const void *self, ir_node *irn, ir_entity *ent) {
+ mips_attr_t *attr = get_mips_attr(irn);
+ assert(is_mips_load_r(irn) || is_mips_store_r(irn));
+ attr->stack_entity = ent;
+}
+
/**
* This function is called by the generic backend to correct offsets for
* nodes accessing the stack.
attr->stack_entity_offset = offset;
}
+static int mips_get_sp_bias(const void *self, const ir_node *irn) {
+ return 0;
+}
+
/* fill register allocator interface */
static const arch_irn_ops_if_t mips_irn_ops_if = {
mips_classify,
mips_get_flags,
mips_get_frame_entity,
- mips_set_frame_offset
+ mips_set_frame_entity,
+ mips_set_frame_offset,
+ mips_get_sp_bias,
+ NULL, /* get_inverse */
+ NULL, /* get_op_estimated_cost */
+ NULL, /* possible_memory_operand */
+ NULL, /* perform_memory_operand */
};
mips_irn_ops_t mips_irn_ops = {
/**
* Called immediately before emit phase.
*/
-static void mips_finish_irg(ir_graph *irg, mips_code_gen_t *cg) {
- /* TODO: - fix offsets for nodes accessing stack
- - ...
- */
+static void mips_finish_irg(void *self) {
+ mips_code_gen_t *cg = self;
+ ir_graph *irg = cg->irg;
+
+ dump_ir_block_graph_sched(irg, "-mips-finished");
}
static void mips_emit_and_done(void *self) {
mips_code_gen_t *cg = self;
ir_graph *irg = cg->irg;
- FILE *out = cg->out;
+ FILE *out = cg->isa->out;
mips_register_emitters();
if (cg->emit_decls) {
- mips_gen_decls(cg->out);
+ mips_gen_decls(out);
cg->emit_decls = 0;
}
- mips_finish_irg(irg, cg);
- dump_ir_block_graph_sched(irg, "-mips-finished");
mips_gen_routine(out, irg, cg);
cur_reg_set = NULL;
free(cg);
}
-static void *mips_cg_init(FILE *F, const be_irg_t *birg);
+static void *mips_cg_init(const be_irg_t *birg);
static const arch_code_generator_if_t mips_code_gen_if = {
mips_cg_init,
- NULL, /* before abi introduce */
+ NULL, /* before abi introduce */
mips_prepare_graph,
+ NULL, /* spill */
mips_before_sched, /* before scheduling hook */
mips_before_ra, /* before register allocation hook */
mips_after_ra,
+ mips_finish_irg,
mips_emit_and_done
};
/**
* Initializes the code generator.
*/
-static void *mips_cg_init(FILE *F, const be_irg_t *birg) {
+static void *mips_cg_init(const be_irg_t *birg) {
mips_isa_t *isa = (mips_isa_t *)birg->main_env->arch_env->isa;
mips_code_gen_t *cg = xmalloc(sizeof(*cg));
cg->impl = &mips_code_gen_if;
cg->irg = birg->irg;
cg->reg_set = new_set(mips_cmp_irn_reg_assoc, 1024);
- cg->out = F;
cg->arch_env = birg->main_env->arch_env;
+ cg->isa = isa;
cg->birg = birg;
cg->bl_list = NULL;
FIRM_DBG_REGISTER(cg->mod, "firm.be.mips.cg");
static mips_isa_t mips_isa_template = {
&mips_isa_if,
- &mips_general_purpose_regs[REG_SP],
- &mips_general_purpose_regs[REG_FP],
+ &mips_gp_regs[REG_SP],
+ &mips_gp_regs[REG_FP],
-1, // stack direction
- 0 // num codegens?!? TODO what is this?
+ 0, // num codegens?!? TODO what is this?
+ NULL
};
/**
* Initializes the backend ISA and opens the output file.
*/
-static void *mips_init(void) {
+static void *mips_init(FILE *file_handle) {
static int inited = 0;
mips_isa_t *isa;
isa = xcalloc(1, sizeof(*isa));
memcpy(isa, &mips_isa_template, sizeof(*isa));
+ isa->out = file_handle;
+
mips_register_init(isa);
mips_create_opcodes();
mips_init_opcode_transforms();
*/
const arch_register_class_t *mips_get_reg_class_for_mode(const void *self, const ir_mode *mode) {
ASSERT_NO_FLOAT(mode);
- return &mips_reg_classes[CLASS_mips_general_purpose];
+ return &mips_reg_classes[CLASS_mips_gp];
}
typedef struct {
dbg_info *dbg = NULL; // TODO where can I get this from?
ir_node *block = get_irg_start_block(env->irg);
mips_attr_t *attr;
- ir_node *sp = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_SP]);
- ir_node *fp = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_FP]);
+ ir_node *sp = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_SP]);
+ ir_node *fp = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_FP]);
int initialstackframesize;
if(env->debug) {
sp = new_rd_mips_addi(dbg, irg, block, sp, mode_Is);
attr = get_mips_attr(sp);
attr->tv = new_tarval_from_long(-initialstackframesize, mode_Is);
- mips_set_irn_reg(NULL, sp, &mips_general_purpose_regs[REG_SP]);
- //arch_set_irn_register(mips_get_arg_env(), sp, &mips_general_purpose_regs[REG_SP]);
+ mips_set_irn_reg(NULL, sp, &mips_gp_regs[REG_SP]);
+ //arch_set_irn_register(mips_get_arg_env(), sp, &mips_gp_regs[REG_SP]);
/* TODO: where to get an edge with a0-a3
int i;
for(i = 0; i < 4; ++i) {
- ir_node *reg = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_A0 + i]);
+ ir_node *reg = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_A0 + i]);
ir_node *store = new_rd_mips_store_r(dbg, irg, block, *mem, sp, reg, mode_T);
attr = get_mips_attr(store);
attr->load_store_mode = mode_Iu;
}
*/
- reg = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_FP]);
+ reg = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_FP]);
store = new_rd_mips_store_r(dbg, irg, block, *mem, sp, reg, mode_T);
attr = get_mips_attr(store);
attr->modes.load_store_mode = mode_Iu;
mm[4] = new_r_Proj(irg, block, store, mode_M, pn_Store_M);
- reg = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_RA]);
+ reg = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_RA]);
store = new_rd_mips_store_r(dbg, irg, block, *mem, sp, reg, mode_T);
attr = get_mips_attr(store);
attr->modes.load_store_mode = mode_Iu;
sp = new_rd_mips_addi(dbg, irg, block, sp, mode_Is);
attr = get_mips_attr(sp);
attr->tv = new_tarval_from_long(-initialstackframesize, mode_Is);
- mips_set_irn_reg(NULL, sp, &mips_general_purpose_regs[REG_SP]);
- //arch_set_irn_register(mips_get_arg_env(), sp, &mips_general_purpose_regs[REG_SP]);
+ mips_set_irn_reg(NULL, sp, &mips_gp_regs[REG_SP]);
+ //arch_set_irn_register(mips_get_arg_env(), sp, &mips_gp_regs[REG_SP]);
- reg = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_FP]);
+ reg = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_FP]);
store = new_rd_mips_store_r(dbg, irg, block, *mem, sp, reg, mode_T);
attr = get_mips_attr(store);
attr->modes.load_store_mode = mode_Iu;
fp = new_rd_mips_addi(dbg, irg, block, sp, mode_Is);
attr = get_mips_attr(fp);
attr->tv = new_tarval_from_long(initialstackframesize, mode_Is);
- mips_set_irn_reg(NULL, fp, &mips_general_purpose_regs[REG_FP]);
- //arch_set_irn_register(mips_get_arg_env(), fp, &mips_general_purpose_regs[REG_FP]);
+ mips_set_irn_reg(NULL, fp, &mips_gp_regs[REG_FP]);
+ //arch_set_irn_register(mips_get_arg_env(), fp, &mips_gp_regs[REG_FP]);
- be_abi_reg_map_set(reg_map, &mips_general_purpose_regs[REG_FP], fp);
- be_abi_reg_map_set(reg_map, &mips_general_purpose_regs[REG_SP], sp);
+ be_abi_reg_map_set(reg_map, &mips_gp_regs[REG_FP], fp);
+ be_abi_reg_map_set(reg_map, &mips_gp_regs[REG_SP], sp);
- return &mips_general_purpose_regs[REG_SP];
+ return &mips_gp_regs[REG_SP];
}
static void mips_abi_epilogue(void *self, ir_node *block, ir_node **mem, pmap *reg_map)
ir_graph *irg = env->irg;
dbg_info *dbg = NULL; // TODO where can I get this from?
mips_attr_t *attr;
- ir_node *sp = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_SP]);
- ir_node *fp = be_abi_reg_map_get(reg_map, &mips_general_purpose_regs[REG_FP]);
+ ir_node *sp = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_SP]);
+ ir_node *fp = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_FP]);
ir_node *load;
int initial_frame_size = env->debug ? 24 : 4;
int fp_save_offset = env->debug ? 16 : 0;
- // restore sp
- //sp = be_new_IncSP(&mips_general_purpose_regs[REG_SP], irg, block, sp, *mem, BE_STACK_FRAME_SIZE, be_stack_dir_against);
-
// copy fp to sp
sp = new_rd_mips_move(dbg, irg, block, fp, mode_Iu);
- mips_set_irn_reg(NULL, sp, &mips_general_purpose_regs[REG_SP]);
- //arch_set_irn_register(mips_get_arg_env(), fp, &mips_general_purpose_regs[REG_SP]);
+ mips_set_irn_reg(NULL, sp, &mips_gp_regs[REG_SP]);
+ //arch_set_irn_register(mips_get_arg_env(), fp, &mips_gp_regs[REG_SP]);
// 1. restore fp
load = new_rd_mips_load_r(dbg, irg, block, *mem, sp, mode_T);
attr->tv = new_tarval_from_long(fp_save_offset - initial_frame_size, mode_Is);
fp = new_r_Proj(irg, block, load, mode_Iu, pn_Load_res);
- mips_set_irn_reg(NULL, fp, &mips_general_purpose_regs[REG_FP]);
- //arch_set_irn_register(mips_get_arg_env(), fp, &mips_general_purpose_regs[REG_FP]);
+ mips_set_irn_reg(NULL, fp, &mips_gp_regs[REG_FP]);
+ //arch_set_irn_register(mips_get_arg_env(), fp, &mips_gp_regs[REG_FP]);
- be_abi_reg_map_set(reg_map, &mips_general_purpose_regs[REG_FP], fp);
- be_abi_reg_map_set(reg_map, &mips_general_purpose_regs[REG_SP], sp);
+ be_abi_reg_map_set(reg_map, &mips_gp_regs[REG_FP], fp);
+ be_abi_reg_map_set(reg_map, &mips_gp_regs[REG_SP], sp);
}
/**
static ir_type *debug_between_type = NULL;
static ir_type *opt_between_type = NULL;
- static entity *old_fp_ent = NULL;
+ static ir_entity *old_fp_ent = NULL;
if(env->debug && debug_between_type == NULL) {
- entity *a0_ent, *a1_ent, *a2_ent, *a3_ent;
- entity *ret_addr_ent;
+ ir_entity *a0_ent, *a1_ent, *a2_ent, *a3_ent;
+ ir_entity *ret_addr_ent;
ir_type *ret_addr_type = new_type_primitive(new_id_from_str("return_addr"), mode_P);
ir_type *old_fp_type = new_type_primitive(new_id_from_str("fp"), mode_P);
ir_type *old_param_type = new_type_primitive(new_id_from_str("param"), mode_Iu);
old_fp_ent = new_entity(debug_between_type, new_id_from_str("old_fp"), old_fp_type);
ret_addr_ent = new_entity(debug_between_type, new_id_from_str("ret_addr"), ret_addr_type);
- set_entity_offset_bytes(a0_ent, 0);
- set_entity_offset_bytes(a1_ent, 4);
- set_entity_offset_bytes(a2_ent, 8);
- set_entity_offset_bytes(a3_ent, 12);
- set_entity_offset_bytes(old_fp_ent, 16);
- set_entity_offset_bytes(ret_addr_ent, 20);
+ set_entity_offset(a0_ent, 0);
+ set_entity_offset(a1_ent, 4);
+ set_entity_offset(a2_ent, 8);
+ set_entity_offset(a3_ent, 12);
+ set_entity_offset(old_fp_ent, 16);
+ set_entity_offset(ret_addr_ent, 20);
set_type_size_bytes(debug_between_type, 24);
} else if(!env->debug && opt_between_type == NULL) {
ir_type *old_fp_type = new_type_primitive(new_id_from_str("fp"), mode_P);
- entity *old_fp_ent;
+ ir_entity *old_fp_ent;
opt_between_type = new_type_class(new_id_from_str("mips_between_type"));
old_fp_ent = new_entity(opt_between_type, new_id_from_str("old_fp"), old_fp_type);
- set_entity_offset_bytes(old_fp_ent, 0);
+ set_entity_offset(old_fp_ent, 0);
set_type_size_bytes(opt_between_type, 4);
}
for (i = 0; i < n; i++) {
// first 4 params in $a0-$a3, the others on the stack
if(i < 4) {
- reg = &mips_general_purpose_regs[REG_A0 + i];
+ reg = &mips_gp_regs[REG_A0 + i];
be_abi_call_param_reg(abi, i, reg);
} else {
/* default: all parameters on stack */
mode = get_type_mode(tp);
ASSERT_NO_FLOAT(mode);
- reg = &mips_general_purpose_regs[REG_V0 + i];
+ reg = &mips_gp_regs[REG_V0 + i];
be_abi_call_res_reg(abi, i, reg);
}
}
return &mips_code_gen_if;
}
+/**
+ * Returns the necessary byte alignment for storing a register of given class.
+ */
+static int mips_get_reg_class_alignment(const void *self, const arch_register_class_t *cls) {
+ ir_mode *mode = arch_register_class_mode(cls);
+ return get_mode_size_bytes(mode);
+}
+
+static const be_execution_unit_t ***mips_get_allowed_execution_units(const void *self, const ir_node *irn) {
+ /* TODO */
+ assert(0);
+ return NULL;
+}
+
+static const be_machine_t *mips_get_machine(const void *self) {
+ /* TODO */
+ assert(0);
+ return NULL;
+}
+
+/**
+ * Returns the libFirm configuration parameter for this backend.
+ */
+static const backend_params *mips_get_libfirm_params(void) {
+ static arch_dep_params_t ad = {
+ 1, /* allow subs */
+ 0, /* Muls are fast enough on Mips */
+ 31, /* shift would be ok */
+ 0, /* no Mulhs */
+ 0, /* no Mulhu */
+ 32, /* Mulhs & Mulhu available for 32 bit */
+ };
+ static backend_params p = {
+ NULL, /* no additional opcodes */
+ NULL, /* will be set later */
+ 1, /* need dword lowering */
+ NULL, /* but yet no creator function */
+ NULL, /* context for create_intrinsic_fkt */
+ };
+
+ p.dep_param = &ad;
+ return &p;
+}
+
#ifdef WITH_LIBCORE
static void mips_register_options(lc_opt_entry_t *ent)
{
#endif /* WITH_LIBCORE */
const arch_isa_if_t mips_isa_if = {
-#ifdef WITH_LIBCORE
- mips_register_options,
-#endif
mips_init,
mips_done,
mips_get_n_reg_class,
mips_get_irn_handler,
mips_get_code_generator_if,
mips_get_list_sched_selector,
+ mips_get_ilp_sched_selector,
+ mips_get_reg_class_alignment,
+ mips_get_libfirm_params,
+ mips_get_allowed_execution_units,
+ mips_get_machine,
+#ifdef WITH_LIBCORE
+ mips_register_options
+#endif
};