X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fmips%2Fbearch_mips.c;h=fed1d3da4b8ae5d1989ecf445738789c8ef809db;hb=e68b365af2610c47d76f461b2e49e7fe1edc9265;hp=2ac831157b64297a911aef1f5f8a153126d44ef5;hpb=205396c4f4f5abe7abd6dc2350c8c398a7623afc;p=libfirm diff --git a/ir/be/mips/bearch_mips.c b/ir/be/mips/bearch_mips.c index 2ac831157..fed1d3da4 100644 --- a/ir/be/mips/bearch_mips.c +++ b/ir/be/mips/bearch_mips.c @@ -1,5 +1,28 @@ -/* The main mips backend driver file. */ -/* $Id$ */ +/* + * 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. + */ + +/** + * @file + * @brief The main mips backend driver file. + * @author Matthias Braun, Mehdi + * @version $Id$ + */ #ifdef HAVE_CONFIG_H #include "config.h" #endif @@ -15,11 +38,12 @@ #include "iredges.h" #include "irdump.h" #include "irextbb.h" +#include "error.h" #include "bitset.h" #include "debug.h" -#include "../bearch_t.h" /* the general register allocator interface */ +#include "../bearch_t.h" #include "../benode_t.h" #include "../belower.h" #include "../besched_t.h" @@ -27,12 +51,14 @@ #include "../beabi.h" #include "../bemachine.h" #include "../bemodule.h" +#include "../bespillslots.h" +#include "../beemitter.h" +#include "../begnuas.h" #include "bearch_mips_t.h" -#include "mips_new_nodes.h" /* mips nodes interface */ -#include "gen_mips_regalloc_if.h" /* the generated interface (register type and class defenitions) */ -#include "mips_gen_decls.h" /* interface declaration emitter */ +#include "mips_new_nodes.h" +#include "gen_mips_regalloc_if.h" #include "mips_transform.h" #include "mips_emitter.h" #include "mips_map_regs.h" @@ -181,19 +207,20 @@ static arch_irn_flags_t mips_get_flags(const void *self, const ir_node *irn) { return 0; } -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); +static +ir_entity *mips_get_frame_entity(const void *self, const ir_node *node) { + mips_attr_t *attr; - return attr->stack_entity; - } + if(!is_mips_irn(node)) + return NULL; - return NULL; + attr = get_mips_attr(node); + return attr->stack_entity; } -static void mips_set_frame_entity(const void *self, ir_node *irn, ir_entity *ent) { +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; } @@ -201,11 +228,13 @@ static void mips_set_frame_entity(const void *self, ir_node *irn, ir_entity *ent * This function is called by the generic backend to correct offsets for * nodes accessing the stack. */ -static void mips_set_frame_offset(const void *self, ir_node *irn, int offset) { +static void mips_set_frame_offset(const void *self, ir_node *irn, int offset) +{ + panic("TODO"); +#if 0 mips_attr_t *attr = get_mips_attr(irn); - assert(is_mips_load_r(irn) || is_mips_store_r(irn)); - attr->stack_entity_offset = offset; +#endif } static int mips_get_sp_bias(const void *self, const ir_node *irn) { @@ -331,6 +360,7 @@ static void mips_create_block_sched(mips_code_gen_t *cg) { cg->bl_list = bl_list; } +#if 0 typedef struct _wenv_t { ir_node *list; } wenv_t; @@ -346,8 +376,10 @@ static void collect_copyb_nodes(ir_node *node, void *env) { wenv->list = node; } } +#endif static void replace_copyb_nodes(mips_code_gen_t *cg) { +#if 0 wenv_t env; ir_node *copy, *next; ir_node *old_bl, *new_bl, *jmp, *new_jmp, *mem; @@ -385,6 +417,8 @@ static void replace_copyb_nodes(mips_code_gen_t *cg) { } } } +#endif + (void) cg; } /** @@ -438,6 +472,7 @@ static void mips_before_ra(void *self) { static void mips_after_ra(void* self) { mips_code_gen_t *cg = self; + be_coalesce_spillslots(cg->birg); irg_walk_blkwise_graph(cg->irg, NULL, mips_after_ra_walker, self); } @@ -446,18 +481,10 @@ static void mips_after_ra(void* self) { * the code generator interface. */ static void mips_emit_and_done(void *self) { - mips_code_gen_t *cg = self; - ir_graph *irg = cg->irg; - FILE *out = cg->isa->out; - - mips_register_emitters(); - - if (cg->emit_decls) { - mips_gen_decls(out); - cg->emit_decls = 0; - } + mips_code_gen_t *cg = self; + ir_graph *irg = cg->irg; - mips_gen_routine(out, irg, cg); + mips_gen_routine(cg, irg); cur_reg_set = NULL; @@ -489,8 +516,8 @@ static const arch_code_generator_if_t mips_code_gen_if = { */ static void *mips_cg_init(be_irg_t *birg) { const arch_env_t *arch_env = be_get_birg_arch_env(birg); - mips_isa_t *isa = (mips_isa_t *) arch_env->isa; - mips_code_gen_t *cg = xmalloc(sizeof(*cg)); + mips_isa_t *isa = (mips_isa_t *) arch_env->isa; + mips_code_gen_t *cg = xmalloc(sizeof(*cg)); cg->impl = &mips_code_gen_if; cg->irg = be_get_birg_irg(birg); @@ -499,14 +526,6 @@ static void *mips_cg_init(be_irg_t *birg) { cg->isa = isa; cg->birg = birg; cg->bl_list = NULL; - FIRM_DBG_REGISTER(cg->mod, "firm.be.mips.cg"); - - isa->num_codegens++; - - if (isa->num_codegens > 1) - cg->emit_decls = 0; - else - cg->emit_decls = 1; cur_reg_set = cg->reg_set; @@ -527,12 +546,16 @@ static void *mips_cg_init(be_irg_t *birg) { *****************************************************************/ static mips_isa_t mips_isa_template = { - &mips_isa_if, - &mips_gp_regs[REG_SP], - &mips_gp_regs[REG_FP], - -1, // stack direction - 0, // num codegens?!? TODO what is this? - NULL + { + &mips_isa_if, + &mips_gp_regs[REG_SP], + &mips_gp_regs[REG_FP], + -1, /* stack direction */ + NULL, /* main environment */ + 7, /* spill costs */ + 5, /* reload costs */ + }, + { NULL, }, /* emitter environment */ }; /** @@ -544,17 +567,22 @@ static void *mips_init(FILE *file_handle) { if(inited) return NULL; + inited = 1; - isa = xcalloc(1, sizeof(*isa)); - memcpy(isa, &mips_isa_template, sizeof(*isa)); + isa = xcalloc(1, sizeof(isa[0])); + memcpy(isa, &mips_isa_template, sizeof(isa[0])); - isa->out = file_handle; + be_emit_init_env(&isa->emit, file_handle); mips_register_init(isa); mips_create_opcodes(); - mips_init_opcode_transforms(); + // mips_init_opcode_transforms(); - inited = 1; + /* we mark referenced global entities, so we can only emit those which + * are actually referenced. (Note: you mustn't use the type visited flag + * elsewhere in the backend) + */ + inc_master_type_visited(); return isa; } @@ -563,7 +591,12 @@ static void *mips_init(FILE *file_handle) { * Closes the output file and frees the ISA structure. */ static void mips_done(void *self) { - free(self); + mips_isa_t *isa = self; + + be_gas_emit_decls(&isa->emit, isa->arch_isa.main_env, 1); + + be_emit_destroy_env(&isa->emit); + free(isa); } static int mips_get_n_reg_class(const void *self) { @@ -590,7 +623,7 @@ const arch_register_class_t *mips_get_reg_class_for_mode(const void *self, const typedef struct { be_abi_call_flags_bits_t flags; - const mips_isa_t *isa; + const arch_isa_t *isa; const arch_env_t *arch_env; ir_graph *irg; // do special handling to support debuggers @@ -601,19 +634,20 @@ static void *mips_abi_init(const be_abi_call_t *call, const arch_env_t *arch_env { mips_abi_env_t *env = xmalloc(sizeof(env[0])); be_abi_call_flags_t fl = be_abi_call_get_flags(call); - env->flags = fl.bits; - env->irg = irg; - env->arch_env = arch_env; - env->isa = (const mips_isa_t*) arch_env->isa; - env->debug = 1; + env->flags = fl.bits; + env->irg = irg; + env->arch_env = arch_env; + env->isa = arch_env->isa; + env->debug = 1; return env; } static void mips_abi_dont_save_regs(void *self, pset *s) { mips_abi_env_t *env = self; + if(env->flags.try_omit_fp) - pset_insert_ptr(s, env->isa->fp); + pset_insert_ptr(s, env->isa->bp); } static const arch_register_t *mips_abi_prologue(void *self, ir_node** mem, pmap *reg_map) @@ -659,20 +693,18 @@ static const arch_register_t *mips_abi_prologue(void *self, ir_node** mem, pmap */ 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); + store = new_rd_mips_sw(dbg, irg, block, *mem, sp, reg); attr = get_mips_attr(store); - attr->modes.load_store_mode = mode_Iu; - attr->tv = new_tarval_from_long(16, mode_Is); + attr->tv = new_tarval_from_long(16, mode_Hs); - mm[4] = new_r_Proj(irg, block, store, mode_M, pn_Store_M); + mm[4] = store; 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); + store = new_rd_mips_sw(dbg, irg, block, *mem, sp, reg); attr = get_mips_attr(store); - attr->modes.load_store_mode = mode_Iu; - attr->tv = new_tarval_from_long(20, mode_Is); + attr->tv = new_tarval_from_long(20, mode_Hs); - mm[5] = new_r_Proj(irg, block, store, mode_M, pn_Store_M); + mm[5] = store; // TODO ideally we would route these mem edges directly towards the epilogue sync = new_r_Sync(irg, block, 2, mm+4); @@ -689,12 +721,11 @@ static const arch_register_t *mips_abi_prologue(void *self, ir_node** mem, pmap //arch_set_irn_register(mips_get_arg_env(), sp, &mips_gp_regs[REG_SP]); 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); + store = new_rd_mips_sw(dbg, irg, block, *mem, sp, reg); attr = get_mips_attr(store); - attr->modes.load_store_mode = mode_Iu; - attr->tv = new_tarval_from_long(0, mode_Is); + attr->tv = new_tarval_from_long(0, mode_Hs); - *mem = new_r_Proj(irg, block, store, mode_M, pn_Store_M); + *mem = store; } // setup framepointer @@ -728,15 +759,14 @@ static void mips_abi_epilogue(void *self, ir_node *block, ir_node **mem, pmap *r //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); + load = new_rd_mips_lw(dbg, irg, block, *mem, sp); attr = get_mips_attr(load); - attr->modes.load_store_mode = mode_Iu; // sp is at the fp address already, so we have to do fp_save_offset - initial_frame_size - attr->tv = new_tarval_from_long(fp_save_offset - initial_frame_size, mode_Is); + attr->tv = new_tarval_from_long(fp_save_offset - initial_frame_size, mode_Hs); - fp = new_r_Proj(irg, block, load, mode_Iu, pn_Load_res); - 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]); + fp = new_r_Proj(irg, block, load, mode_Iu, pn_mips_lw_res); + *mem = new_r_Proj(irg, block, load, mode_Iu, pn_mips_lw_M); + arch_set_irn_register(env->arch_env, fp, &mips_gp_regs[REG_FP]); 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); @@ -905,6 +935,14 @@ static ir_graph **mips_get_irg_list(const void *self, ir_graph ***irg_list) { return NULL; } +/** + * Called by the frontend to encode a register name into a backend specific way + */ +static unsigned mips_register_from_name(const char *regname) { + /* NYI */ + return 0; +} + /** * Returns the libFirm configuration parameter for this backend. */ @@ -918,11 +956,13 @@ static const backend_params *mips_get_libfirm_params(void) { 32, /* Mulhs & Mulhu available for 32 bit */ }; static backend_params p = { + 1, /* need dword lowering */ + 0, /* don't support inlien assembler yet */ 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 */ + mips_register_from_name, /* register names */ }; p.dep_param = &ad;