X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fmips%2Fbearch_mips.c;h=91ae7e55a8861983770acf3d27fc36827e2acb9c;hb=8535fe8732b0acf822be252812a7158ce5b8134a;hp=a40fa99248026259d0f1a755df4f26329a70362b;hpb=2601105986be688124e6023d41304d0e27be4442;p=libfirm diff --git a/ir/be/mips/bearch_mips.c b/ir/be/mips/bearch_mips.c index a40fa9924..91ae7e55a 100644 --- a/ir/be/mips/bearch_mips.c +++ b/ir/be/mips/bearch_mips.c @@ -1,8 +1,7 @@ /* The main mips backend driver file. */ /* $Id$ */ - #ifdef HAVE_CONFIG_H -#include "config.h" +#include #endif #include "pseudo_irg.h" @@ -26,6 +25,8 @@ #include "../besched_t.h" #include "../be.h" #include "../beabi.h" +#include "../bemachine.h" +#include "../bemodule.h" #include "bearch_mips_t.h" @@ -54,101 +55,54 @@ static set *cur_reg_set = NULL; * |___/ **************************************************/ -static ir_node *my_skip_proj(const ir_node *n) { - while (is_Proj(n)) - n = get_Proj_pred(n); - return (ir_node *)n; -} - /** * Return register requirements for a mips node. * If the node returns a tuple (mode_T) then the proj's * will be asked for this information. */ -static const arch_register_req_t *mips_get_irn_reg_req(const void *self, arch_register_req_t *req, const ir_node *irn, int pos) { - const mips_register_req_t *irn_req; +static const +arch_register_req_t *mips_get_irn_reg_req(const void *self, + const ir_node *node, int pos) { long node_pos = pos == -1 ? 0 : pos; - ir_mode *mode = get_irn_mode(irn); - FIRM_DBG_REGISTER(firm_dbg_module_t *mod, DEBUG_MODULE); + ir_mode *mode = get_irn_mode(node); - if (is_Block(irn) || mode == mode_X || mode == mode_M) { - DBG((mod, LEVEL_1, "ignoring mode_T, mode_M node %+F\n", irn)); - return NULL; + if (is_Block(node) || mode == mode_X || mode == mode_M) { + return arch_no_register_req; } if (mode == mode_T && pos < 0) { - DBG((mod, LEVEL_1, "ignoring request for OUT requirements at %+F\n", irn)); - return NULL; + return arch_no_register_req; } - DBG((mod, LEVEL_1, "get requirements at pos %d for %+F ... ", pos, irn)); - - if (is_Proj(irn)) { + if (is_Proj(node)) { /* in case of a proj, we need to get the correct OUT slot */ /* of the node corresponding to the proj number */ if (pos == -1) { - node_pos = mips_translate_proj_pos(irn); + node_pos = mips_translate_proj_pos(node); } else { node_pos = pos; } - irn = my_skip_proj(irn); - - DB((mod, LEVEL_1, "skipping Proj, going to %+F at pos %d ... ", irn, node_pos)); + node = skip_Proj_const(node); } /* get requirements for our own nodes */ - if (is_mips_irn(irn)) { + if (is_mips_irn(node)) { + const arch_register_req_t *req; if (pos >= 0) { - irn_req = get_mips_in_req(irn, pos); - } - else { - irn_req = get_mips_out_req(irn, node_pos); - } - - DB((mod, LEVEL_1, "returning reqs for %+F at pos %d\n", irn, pos)); - - memcpy(req, &(irn_req->req), sizeof(*req)); - - if (arch_register_req_is(&(irn_req->req), should_be_same)) { - assert(irn_req->same_pos >= 0 && "should be same constraint for in -> out NYI"); - req->other_same = get_irn_n(irn, irn_req->same_pos); + req = get_mips_in_req(node, pos); + } else { + req = get_mips_out_req(node, node_pos); } - if (arch_register_req_is(&(irn_req->req), should_be_different)) { - assert(irn_req->different_pos >= 0 && "should be different constraint for in -> out NYI"); - req->other_different = get_irn_n(irn, irn_req->different_pos); - } + return req; } - /* get requirements for FIRM nodes */ - else { - /* treat Phi like Const with default requirements */ - if (is_Phi(irn)) { - DB((mod, LEVEL_1, "returning standard reqs for %+F\n", irn)); - if (mode_is_float(mode)) { - //memcpy(req, &(mips_default_req_mips_floating_point.req), sizeof(*req)); - assert(0 && "floating point not supported (yet)"); - } - else if (mode_is_int(mode) || mode_is_reference(mode)) { - 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 NULL; - } - else { - assert(0 && "unsupported Phi-Mode"); - } - } - else { - DB((mod, LEVEL_1, "returning NULL for %+F (node not supported)\n", irn)); - req = NULL; - } - } + /* unknown should be translated by now */ + assert(!is_Unknown(node)); - return req; + return arch_no_register_req; } static void mips_set_irn_reg(const void *self, ir_node *irn, const arch_register_t *reg) { @@ -161,7 +115,7 @@ static void mips_set_irn_reg(const void *self, ir_node *irn, const arch_register } pos = mips_translate_proj_pos(irn); - irn = my_skip_proj(irn); + irn = skip_Proj(irn); } if (is_mips_irn(irn)) { @@ -187,7 +141,7 @@ static const arch_register_t *mips_get_irn_reg(const void *self, const ir_node * } pos = mips_translate_proj_pos(irn); - irn = my_skip_proj(irn); + irn = skip_Proj_const(irn); } if (is_mips_irn(irn)) { @@ -203,7 +157,7 @@ static const arch_register_t *mips_get_irn_reg(const void *self, const ir_node * } static arch_irn_class_t mips_classify(const void *self, const ir_node *irn) { - irn = my_skip_proj(irn); + irn = skip_Proj_const(irn); if (is_cfop(irn)) { return arch_irn_class_branch; @@ -215,7 +169,7 @@ static arch_irn_class_t mips_classify(const void *self, const ir_node *irn) { } static arch_irn_flags_t mips_get_flags(const void *self, const ir_node *irn) { - irn = my_skip_proj(irn); + irn = skip_Proj_const(irn); if (is_mips_irn(irn)) { return get_mips_flags(irn); @@ -227,7 +181,7 @@ static arch_irn_flags_t mips_get_flags(const void *self, const ir_node *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); @@ -237,6 +191,12 @@ static entity *mips_get_frame_entity(const void *self, const ir_node *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. @@ -248,6 +208,10 @@ static void mips_set_frame_offset(const void *self, ir_node *irn, int offset) { 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 = { @@ -257,8 +221,13 @@ static const arch_irn_ops_if_t mips_irn_ops_if = { mips_classify, mips_get_flags, mips_get_frame_entity, + mips_set_frame_entity, mips_set_frame_offset, - NULL + 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 = { @@ -448,10 +417,11 @@ static void mips_prepare_graph(void *self) { /** * 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"); } @@ -487,8 +457,6 @@ static void mips_emit_and_done(void *self) { 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; @@ -502,22 +470,24 @@ static void mips_emit_and_done(void *self) { free(cg); } -static void *mips_cg_init(const be_irg_t *birg); +static void *mips_cg_init(be_irg_t *birg); static const arch_code_generator_if_t mips_code_gen_if = { mips_cg_init, 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(const be_irg_t *birg) { +static void *mips_cg_init(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)); @@ -751,9 +721,6 @@ static void mips_abi_epilogue(void *self, ir_node *block, ir_node **mem, pmap *r int initial_frame_size = env->debug ? 24 : 4; int fp_save_offset = env->debug ? 16 : 0; - // restore sp - //sp = be_new_IncSP(&mips_gp_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_gp_regs[REG_SP]); @@ -784,11 +751,11 @@ static ir_type *mips_abi_get_between_type(void *self) { 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); @@ -801,21 +768,21 @@ static ir_type *mips_abi_get_between_type(void *self) { 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); } @@ -918,6 +885,25 @@ static int mips_get_reg_class_alignment(const void *self, const arch_register_cl 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; +} + +/** + * Return irp irgs in the desired order. + */ +static ir_graph **mips_get_irg_list(const void *self, ir_graph ***irg_list) { + return NULL; +} + /** * Returns the libFirm configuration parameter for this backend. */ @@ -935,18 +921,13 @@ static const backend_params *mips_get_libfirm_params(void) { 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 = { mips_init, mips_done, @@ -957,9 +938,17 @@ const arch_isa_if_t mips_isa_if = { 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, -#ifdef WITH_LIBCORE - mips_register_options -#endif + mips_get_allowed_execution_units, + mips_get_machine, + mips_get_irg_list, }; + +void be_init_arch_mips(void) +{ + be_register_isa_if("mips", &mips_isa_if); +} + +BE_REGISTER_MODULE_CONSTRUCTOR(be_init_arch_mips);