X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2FTEMPLATE%2Fbearch_TEMPLATE.c;h=34d200a21198265298885f6ff323f28f978eae11;hb=1140301fc5c11fef75f583bc4d94082cfd450fbc;hp=9731e29e7abfbbbb908faae0d07c59eb13f45c89;hpb=a824d376c1c37f80c7e1ebd6304665380d28fc5f;p=libfirm diff --git a/ir/be/TEMPLATE/bearch_TEMPLATE.c b/ir/be/TEMPLATE/bearch_TEMPLATE.c index 9731e29e7..34d200a21 100644 --- a/ir/be/TEMPLATE/bearch_TEMPLATE.c +++ b/ir/be/TEMPLATE/bearch_TEMPLATE.c @@ -24,7 +24,6 @@ */ #include "config.h" -#include "pseudo_irg.h" #include "irgwalk.h" #include "irprog.h" #include "irprintf.h" @@ -34,14 +33,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" @@ -49,77 +49,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; -} +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; - } - + (void) irn; return 0; } @@ -130,13 +65,6 @@ static ir_entity *TEMPLATE_get_frame_entity(const ir_node *node) return NULL; } -static void TEMPLATE_set_frame_entity(ir_node *node, ir_entity *ent) -{ - (void) node; - (void) ent; - /* TODO: set the ir_entity assigned to the frame */ -} - /** * This function is called by the generic backend to correct offsets for * nodes accessing the stack. @@ -157,10 +85,9 @@ 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, + get_TEMPLATE_in_req, TEMPLATE_classify, TEMPLATE_get_frame_entity, - TEMPLATE_set_frame_entity, TEMPLATE_set_frame_offset, TEMPLATE_get_sp_bias, NULL, /* get_inverse */ @@ -169,25 +96,18 @@ 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); + /* transform nodes into assembler instructions */ + TEMPLATE_transform_graph(cg); } @@ -195,20 +115,20 @@ static void TEMPLATE_prepare_graph(void *self) { /** * Called immediatly before emit phase. */ -static void TEMPLATE_finish_irg(void *self) { - TEMPLATE_code_gen_t *cg = self; - ir_graph *irg = cg->irg; - - dump_ir_block_graph_sched(irg, "-TEMPLATE-finished"); +static void TEMPLATE_finish_irg(void *self) +{ + (void) self; } -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 */ } @@ -219,20 +139,18 @@ 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; + TEMPLATE_emit_routine(irg); /* de-allocate code generator */ - del_set(cg->reg_set); free(cg); } -static void *TEMPLATE_cg_init(be_irg_t *birg); +static void *TEMPLATE_cg_init(ir_graph *irg); static const arch_code_generator_if_t TEMPLATE_code_gen_if = { TEMPLATE_cg_init, @@ -249,56 +167,46 @@ static const arch_code_generator_if_t TEMPLATE_code_gen_if = { /** * Initializes the code generator. */ -static void *TEMPLATE_cg_init(be_irg_t *birg) { - const arch_env_t *arch_env = be_get_birg_arch_env(birg); +static void *TEMPLATE_cg_init(ir_graph *irg) +{ + const arch_env_t *arch_env = be_get_irg_arch_env(irg); 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->isa = isa; - cg->birg = birg; - FIRM_DBG_REGISTER(cg->mod, "firm.be.TEMPLATE.cg"); - - cur_reg_set = cg->reg_set; + cg->impl = &TEMPLATE_code_gen_if; + cg->irg = irg; + cg->isa = isa; 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 */ 7, /* costs for a spill instruction */ 5, /* costs for a reload instruction */ + false, /* no custom abi handling */ }, }; /** - * 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; @@ -318,28 +226,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]; } @@ -352,14 +257,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]; } @@ -391,10 +294,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); @@ -419,7 +322,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; } @@ -448,8 +351,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; @@ -470,12 +373,12 @@ void TEMPLATE_get_call_abi(const void *self, ir_type *method_type, for (i = 0; i < n; i++) { /* TODO: implement register parameter: */ /* reg = get reg for param i; */ - /* be_abi_call_param_reg(abi, i, reg); */ + /* be_abi_call_param_reg(abi, i, reg, ABI_CONTEXT_BOTH); */ /* default: all parameters on stack */ tp = get_method_param_type(method_type, i); mode = get_type_mode(tp); - be_abi_call_param_stack(abi, i, mode, 4, 0, 0); + be_abi_call_param_stack(abi, i, mode, 4, 0, 0, ABI_CONTEXT_BOTH); } /* TODO: set correct return register */ @@ -485,15 +388,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], ABI_CONTEXT_BOTH); } } -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; @@ -535,38 +438,38 @@ 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); return NULL; } @@ -574,7 +477,6 @@ static const be_machine_t *TEMPLATE_get_machine(const void *self) { (void) self; /* TODO */ - assert(0); return NULL; } @@ -586,17 +488,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; } @@ -622,9 +521,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);