X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2FTEMPLATE%2Fbearch_TEMPLATE.c;h=667a082647cb5dc1a5becfb1fe57e85293945ceb;hb=ea75e9d38674b468f602a0699fb64b9c01254797;hp=a3ba07b1b189c07865566c57681a078a5a279f0d;hpb=e07b61c6ed5d198a484761f8a40a4f26520d964d;p=libfirm diff --git a/ir/be/TEMPLATE/bearch_TEMPLATE.c b/ir/be/TEMPLATE/bearch_TEMPLATE.c index a3ba07b1b..667a08264 100644 --- a/ir/be/TEMPLATE/bearch_TEMPLATE.c +++ b/ir/be/TEMPLATE/bearch_TEMPLATE.c @@ -22,9 +22,7 @@ * @brief The main TEMPLATE backend driver file. * @version $Id$ */ -#ifdef HAVE_CONFIG_H #include "config.h" -#endif #include "pseudo_irg.h" #include "irgwalk.h" @@ -36,14 +34,15 @@ #include "bitset.h" #include "debug.h" -#include "../bearch_t.h" -#include "../benode_t.h" -#include "../belower.h" -#include "../besched_t.h" #include "be.h" +#include "../bearch.h" +#include "../benode.h" +#include "../belower.h" +#include "../besched.h" #include "../beabi.h" #include "../bemodule.h" #include "../begnuas.h" +#include "../belistsched.h" #include "bearch_TEMPLATE_t.h" @@ -51,137 +50,12 @@ #include "gen_TEMPLATE_regalloc_if.h" #include "TEMPLATE_transform.h" #include "TEMPLATE_emitter.h" -#include "TEMPLATE_map_regs.h" - -/* TODO: ugly, but we need it to get access to the registers assigned to Phi nodes */ -static set *cur_reg_set = NULL; - -/************************************************** - * _ _ _ __ - * | | | (_)/ _| - * _ __ ___ __ _ __ _| | | ___ ___ _| |_ - * | '__/ _ \/ _` | / _` | | |/ _ \ / __| | | _| - * | | | __/ (_| | | (_| | | | (_) | (__ | | | - * |_| \___|\__, | \__,_|_|_|\___/ \___| |_|_| - * __/ | - * |___/ - **************************************************/ - -/** - * Return register requirements for a TEMPLATE 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 *TEMPLATE_get_irn_reg_req(const ir_node *node, - int pos) -{ - long node_pos = pos == -1 ? 0 : pos; - ir_mode *mode = get_irn_mode(node); - - if (mode == mode_T || mode == mode_M) { - return arch_no_register_req; - } - - 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 = TEMPLATE_translate_proj_pos(node); - } else { - node_pos = pos; - } - - node = skip_Proj_const(node); - } - - /* get requirements for our own nodes */ - if (is_TEMPLATE_irn(node)) { - const arch_register_req_t *req; - if (pos >= 0) { - req = get_TEMPLATE_in_req(node, pos); - } else { - req = get_TEMPLATE_out_req(node, node_pos); - } - - assert(req != NULL); - - return req; - } - - /* unknowns should be transformed already */ - assert(!is_Unknown(node)); - - return arch_no_register_req; -} - -static void TEMPLATE_set_irn_reg(ir_node *irn, const arch_register_t *reg) -{ - int pos = 0; - - if (is_Proj(irn)) { - pos = TEMPLATE_translate_proj_pos(irn); - irn = skip_Proj(irn); - } - if (is_TEMPLATE_irn(irn)) { - const arch_register_t **slots; - - slots = get_TEMPLATE_slots(irn); - slots[pos] = reg; - } - else { - /* here we set the registers for the Phi nodes */ - TEMPLATE_set_firm_reg(irn, reg, cur_reg_set); - } -} - -static const arch_register_t *TEMPLATE_get_irn_reg(const ir_node *irn) -{ - int pos = 0; - const arch_register_t *reg = NULL; - - if (is_Proj(irn)) { - pos = TEMPLATE_translate_proj_pos(irn); - irn = skip_Proj_const(irn); - } - - if (is_TEMPLATE_irn(irn)) { - const arch_register_t * const *slots; - slots = get_TEMPLATE_slots_const(irn); - reg = slots[pos]; - } - else { - reg = TEMPLATE_get_firm_reg(irn, cur_reg_set); - } - - return reg; -} +DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;) static arch_irn_class_t TEMPLATE_classify(const ir_node *irn) { - irn = skip_Proj_const(irn); - - if (is_cfop(irn)) { - return arch_irn_class_branch; - } - else if (is_TEMPLATE_irn(irn)) { - return arch_irn_class_normal; - } - - return 0; -} - -static arch_irn_flags_t TEMPLATE_get_flags(const ir_node *irn) -{ - irn = skip_Proj_const(irn); - - if (is_TEMPLATE_irn(irn)) { - return get_TEMPLATE_flags(irn); - } - else if (is_Unknown(irn)) { - return arch_irn_flags_ignore; - } - + (void) irn; return 0; } @@ -219,11 +93,8 @@ static int TEMPLATE_get_sp_bias(const ir_node *irn) /* fill register allocator interface */ static const arch_irn_ops_t TEMPLATE_irn_ops = { - TEMPLATE_get_irn_reg_req, - TEMPLATE_set_irn_reg, - TEMPLATE_get_irn_reg, + get_TEMPLATE_in_req, TEMPLATE_classify, - TEMPLATE_get_flags, TEMPLATE_get_frame_entity, TEMPLATE_set_frame_entity, TEMPLATE_set_frame_offset, @@ -234,22 +105,14 @@ static const arch_irn_ops_t TEMPLATE_irn_ops = { NULL, /* perform_memory_operand */ }; -/************************************************** - * _ _ __ - * | | (_)/ _| - * ___ ___ __| | ___ __ _ ___ _ __ _| |_ - * / __/ _ \ / _` |/ _ \/ _` |/ _ \ '_ \ | | _| - * | (_| (_) | (_| | __/ (_| | __/ | | | | | | - * \___\___/ \__,_|\___|\__, |\___|_| |_| |_|_| - * __/ | - * |___/ - **************************************************/ + /** * Transforms the standard firm graph into * a TEMLPATE firm graph */ -static void TEMPLATE_prepare_graph(void *self) { +static void TEMPLATE_prepare_graph(void *self) +{ TEMPLATE_code_gen_t *cg = self; irg_walk_blkwise_graph(cg->irg, NULL, TEMPLATE_transform_node, cg); @@ -260,7 +123,8 @@ static void TEMPLATE_prepare_graph(void *self) { /** * Called immediatly before emit phase. */ -static void TEMPLATE_finish_irg(void *self) { +static void TEMPLATE_finish_irg(void *self) +{ TEMPLATE_code_gen_t *cg = self; ir_graph *irg = cg->irg; @@ -268,20 +132,14 @@ static void TEMPLATE_finish_irg(void *self) { } -/** - * These are some hooks which must be filled but are probably not needed. - */ -static void TEMPLATE_before_sched(void *self) { - (void) self; - /* Some stuff you need to do after scheduling but before register allocation */ -} - -static void TEMPLATE_before_ra(void *self) { +static void TEMPLATE_before_ra(void *self) +{ (void) self; /* Some stuff you need to do after scheduling but before register allocation */ } -static void TEMPLATE_after_ra(void *self) { +static void TEMPLATE_after_ra(void *self) +{ (void) self; /* Some stuff you need to do immediatly after register allocation */ } @@ -292,16 +150,14 @@ static void TEMPLATE_after_ra(void *self) { * Emits the code, closes the output file and frees * the code generator interface. */ -static void TEMPLATE_emit_and_done(void *self) { +static void TEMPLATE_emit_and_done(void *self) +{ TEMPLATE_code_gen_t *cg = self; ir_graph *irg = cg->irg; TEMPLATE_gen_routine(cg, irg); - cur_reg_set = NULL; - /* de-allocate code generator */ - del_set(cg->reg_set); free(cg); } @@ -313,7 +169,6 @@ static const arch_code_generator_if_t TEMPLATE_code_gen_if = { NULL, /* before abi introduce hook */ TEMPLATE_prepare_graph, NULL, /* spill hook */ - TEMPLATE_before_sched, /* before scheduling hook */ TEMPLATE_before_ra, /* before register allocation hook */ TEMPLATE_after_ra, /* after register allocation hook */ TEMPLATE_finish_irg, @@ -323,41 +178,29 @@ static const arch_code_generator_if_t TEMPLATE_code_gen_if = { /** * Initializes the code generator. */ -static void *TEMPLATE_cg_init(be_irg_t *birg) { +static void *TEMPLATE_cg_init(be_irg_t *birg) +{ const arch_env_t *arch_env = be_get_birg_arch_env(birg); TEMPLATE_isa_t *isa = (TEMPLATE_isa_t *) arch_env; TEMPLATE_code_gen_t *cg = XMALLOC(TEMPLATE_code_gen_t); cg->impl = &TEMPLATE_code_gen_if; cg->irg = be_get_birg_irg(birg); - cg->reg_set = new_set(TEMPLATE_cmp_irn_reg_assoc, 1024); - cg->arch_env = arch_env; cg->isa = isa; cg->birg = birg; - FIRM_DBG_REGISTER(cg->mod, "firm.be.TEMPLATE.cg"); - - cur_reg_set = cg->reg_set; return (arch_code_generator_t *)cg; } -/***************************************************************** - * ____ _ _ _____ _____ - * | _ \ | | | | |_ _|/ ____| /\ - * | |_) | __ _ ___| | _____ _ __ __| | | | | (___ / \ - * | _ < / _` |/ __| |/ / _ \ '_ \ / _` | | | \___ \ / /\ \ - * | |_) | (_| | (__| < __/ | | | (_| | _| |_ ____) / ____ \ - * |____/ \__,_|\___|_|\_\___|_| |_|\__,_| |_____|_____/_/ \_\ - * - *****************************************************************/ - +const arch_isa_if_t TEMPLATE_isa_if; static TEMPLATE_isa_t TEMPLATE_isa_template = { { &TEMPLATE_isa_if, /* isa interface implementation */ - &TEMPLATE_general_purpose_regs[REG_SP], /* stack pointer register */ - &TEMPLATE_general_purpose_regs[REG_BP], /* base pointer register */ + &TEMPLATE_gp_regs[REG_SP], /* stack pointer register */ + &TEMPLATE_gp_regs[REG_BP], /* base pointer register */ + &TEMPLATE_reg_classes[CLASS_TEMPLATE_gp], /* link pointer register class */ -1, /* stack direction */ 2, /* power of two stack alignment for calls, 2^2 == 4 */ NULL, /* main environment */ @@ -367,13 +210,14 @@ static TEMPLATE_isa_t TEMPLATE_isa_template = { }; /** - * Initializes the backend ISA and opens the output file. + * Initializes the backend ISA */ -static arch_env_t *TEMPLATE_init(FILE *outfile) { +static arch_env_t *TEMPLATE_init(FILE *outfile) +{ static int run_once = 0; TEMPLATE_isa_t *isa; - if(run_once) + if (run_once) return NULL; run_once = 1; @@ -393,28 +237,25 @@ static arch_env_t *TEMPLATE_init(FILE *outfile) { /** * Closes the output file and frees the ISA structure. */ -static void TEMPLATE_done(void *self) { +static void TEMPLATE_done(void *self) +{ TEMPLATE_isa_t *isa = self; /* emit now all global declarations */ - be_gas_emit_decls(isa->arch_env.main_env, 0); + be_gas_emit_decls(isa->arch_env.main_env); be_emit_exit(); free(self); } - -static unsigned TEMPLATE_get_n_reg_class(const void *self) +static unsigned TEMPLATE_get_n_reg_class(void) { - (void) self; return N_CLASSES; } -static const arch_register_class_t *TEMPLATE_get_reg_class(const void *self, - unsigned i) +static const arch_register_class_t *TEMPLATE_get_reg_class(unsigned i) { - (void) self; assert(i < N_CLASSES); return &TEMPLATE_reg_classes[i]; } @@ -427,14 +268,12 @@ static const arch_register_class_t *TEMPLATE_get_reg_class(const void *self, * @param mode The mode in question. * @return A register class which can hold values of the given mode. */ -const arch_register_class_t *TEMPLATE_get_reg_class_for_mode(const void *self, - const ir_mode *mode) +static const arch_register_class_t *TEMPLATE_get_reg_class_for_mode(const ir_mode *mode) { - (void) self; if (mode_is_float(mode)) - return &TEMPLATE_reg_classes[CLASS_TEMPLATE_floating_point]; + return &TEMPLATE_reg_classes[CLASS_TEMPLATE_fp]; else - return &TEMPLATE_reg_classes[CLASS_TEMPLATE_general_purpose]; + return &TEMPLATE_reg_classes[CLASS_TEMPLATE_gp]; } @@ -466,10 +305,10 @@ static ir_type *TEMPLATE_get_between_type(void *self) static ir_entity *old_bp_ent = NULL; (void) self; - if(!between_type) { + if (!between_type) { ir_entity *ret_addr_ent; - ir_type *ret_addr_type = new_type_primitive(new_id_from_str("return_addr"), mode_P); - ir_type *old_bp_type = new_type_primitive(new_id_from_str("bp"), mode_P); + ir_type *ret_addr_type = new_type_primitive(mode_P); + ir_type *old_bp_type = new_type_primitive(mode_P); between_type = new_type_class(new_id_from_str("TEMPLATE_between_type")); old_bp_ent = new_entity(between_type, new_id_from_str("old_bp"), old_bp_type); @@ -483,15 +322,6 @@ static ir_type *TEMPLATE_get_between_type(void *self) return between_type; } -static void TEMPLATE_abi_dont_save_regs(void *self, pset *s) -{ - TEMPLATE_abi_env_t *env = self; - if (env->flags.try_omit_fp) { - /* insert the BP register into the ignore set */ - pset_insert_ptr(s, env->arch_env->bp); - } -} - /** * Build the prolog, return the BASE POINTER register */ @@ -503,7 +333,7 @@ static const arch_register_t *TEMPLATE_abi_prologue(void *self, ir_node **mem, (void) mem; (void) stack_bias; - if(env->flags.try_omit_fp) + if (env->flags.try_omit_fp) return env->arch_env->sp; return env->arch_env->bp; } @@ -522,7 +352,6 @@ static const be_abi_callbacks_t TEMPLATE_abi_callbacks = { TEMPLATE_abi_init, free, TEMPLATE_get_between_type, - TEMPLATE_abi_dont_save_regs, TEMPLATE_abi_prologue, TEMPLATE_abi_epilogue, }; @@ -533,8 +362,8 @@ static const be_abi_callbacks_t TEMPLATE_abi_callbacks = { * @param method_type The type of the method (procedure) in question. * @param abi The abi object to be modified */ -void TEMPLATE_get_call_abi(const void *self, ir_type *method_type, - be_abi_call_t *abi) +static void TEMPLATE_get_call_abi(const void *self, ir_type *method_type, + be_abi_call_t *abi) { ir_type *tp; ir_mode *mode; @@ -570,15 +399,15 @@ void TEMPLATE_get_call_abi(const void *self, ir_type *method_type, mode = get_type_mode(tp); be_abi_call_res_reg(abi, 0, - mode_is_float(mode) ? &TEMPLATE_floating_point_regs[REG_F0] : &TEMPLATE_general_purpose_regs[REG_R0]); + mode_is_float(mode) ? &TEMPLATE_fp_regs[REG_F0] : &TEMPLATE_gp_regs[REG_R0]); } } -int TEMPLATE_to_appear_in_schedule(void *block_env, const ir_node *irn) +static int TEMPLATE_to_appear_in_schedule(void *block_env, const ir_node *irn) { (void) block_env; - if(!is_TEMPLATE_irn(irn)) + if (!is_TEMPLATE_irn(irn)) return -1; return 1; @@ -620,35 +449,36 @@ static const ilp_sched_selector_t *TEMPLATE_get_ilp_sched_selector( /** * Returns the necessary byte alignment for storing a register of given class. */ -static int TEMPLATE_get_reg_class_alignment(const void *self, - const arch_register_class_t *cls) { +static int TEMPLATE_get_reg_class_alignment(const arch_register_class_t *cls) +{ ir_mode *mode = arch_register_class_mode(cls); - (void) self; return get_mode_size_bytes(mode); } /** * Returns the libFirm configuration parameter for this backend. */ -static const backend_params *TEMPLATE_get_backend_params(void) { +static const backend_params *TEMPLATE_get_backend_params(void) +{ static backend_params p = { 0, /* no dword lowering */ 0, /* no inline assembly */ - 0, /* no immediate floating point mode. */ - NULL, /* no additional opcodes */ NULL, /* will be set later */ NULL, /* no creator function */ NULL, /* context for create_intrinsic_fkt */ NULL, /* parameter for if conversion */ - NULL /* no immediate fp mode */ + NULL, /* float arithmetic mode */ + 0, /* no trampoline support: size 0 */ + 0, /* no trampoline support: align 0 */ + NULL, /* no trampoline support: no trampoline builder */ + 4 /* alignment of stack parameter: typically 4 (32bit) or 8 (64bit) */ }; return &p; } static const be_execution_unit_t ***TEMPLATE_get_allowed_execution_units( - const void *self, const ir_node *irn) + const ir_node *irn) { - (void) self; (void) irn; /* TODO */ assert(0); @@ -671,17 +501,14 @@ static ir_graph **TEMPLATE_get_backend_irg_list(const void *self, return NULL; } -static asm_constraint_flags_t TEMPLATE_parse_asm_constraint(const void *self, - const char **c) +static asm_constraint_flags_t TEMPLATE_parse_asm_constraint(const char **c) { - (void) self; (void) c; return ASM_CONSTRAINT_FLAG_INVALID; } -static int TEMPLATE_is_valid_clobber(const void *self, const char *clobber) +static int TEMPLATE_is_valid_clobber(const char *clobber) { - (void) self; (void) clobber; return 0; } @@ -689,6 +516,7 @@ static int TEMPLATE_is_valid_clobber(const void *self, const char *clobber) const arch_isa_if_t TEMPLATE_isa_if = { TEMPLATE_init, TEMPLATE_done, + NULL, /* handle intrinsics */ TEMPLATE_get_n_reg_class, TEMPLATE_get_reg_class, TEMPLATE_get_reg_class_for_mode, @@ -706,9 +534,10 @@ const arch_isa_if_t TEMPLATE_isa_if = { TEMPLATE_is_valid_clobber }; +BE_REGISTER_MODULE_CONSTRUCTOR(be_init_arch_TEMPLATE); void be_init_arch_TEMPLATE(void) { be_register_isa_if("TEMPLATE", &TEMPLATE_isa_if); + FIRM_DBG_REGISTER(dbg, "firm.be.TEMPLATE.cg"); + TEMPLATE_init_transform(); } - -BE_REGISTER_MODULE_CONSTRUCTOR(be_init_arch_TEMPLATE);