- Rewrite internal backend logic for querying register constraints.
[libfirm] / ir / be / TEMPLATE / bearch_TEMPLATE.c
index 3f94edd..8e8991d 100644 (file)
 #include "bitset.h"
 #include "debug.h"
 
-#include "../bearch_t.h"
+#include "be.h"
+#include "../bearch.h"
 #include "../benode_t.h"
 #include "../belower.h"
-#include "../besched_t.h"
-#include "be.h"
+#include "../besched.h"
 #include "../beabi.h"
 #include "../bemodule.h"
 #include "../begnuas.h"
+#include "../belistsched.h"
 
 #include "bearch_TEMPLATE_t.h"
 
@@ -65,121 +66,9 @@ 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;
-}
-
 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;
 }
 
@@ -217,11 +106,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,
-       TEMPLATE_set_irn_reg,
-       TEMPLATE_get_irn_reg,
+       get_TEMPLATE_in_req,
+       get_TEMPLATE_out_req,
        TEMPLATE_classify,
-       TEMPLATE_get_flags,
        TEMPLATE_get_frame_entity,
        TEMPLATE_set_frame_entity,
        TEMPLATE_set_frame_offset,
@@ -266,14 +153,6 @@ 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) {
        (void) self;
        /* Some stuff you need to do after scheduling but before register allocation */
@@ -311,7 +190,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,
@@ -329,7 +207,6 @@ static void *TEMPLATE_cg_init(be_irg_t *birg) {
        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");
@@ -356,6 +233,7 @@ 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_reg_classes[CLASS_TEMPLATE_general_purpose],  /* link pointer register class */
                -1,                          /* stack direction */
                2,                           /* power of two stack alignment for calls, 2^2 == 4 */
                NULL,                        /* main environment */
@@ -481,15 +359,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
  */
@@ -520,7 +389,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,
 };
@@ -632,13 +500,15 @@ 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;
 }
@@ -687,6 +557,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,