beflags: transform modifies_flags property into a callback, use default rematerialisa...
[libfirm] / ir / be / sparc / sparc_new_nodes.c
index dc92b50..a365595 100644 (file)
 #include "sparc_new_nodes.h"
 #include "gen_sparc_regalloc_if.h"
 
+static bool has_symconst_attr(const ir_node *node)
+{
+       return is_sparc_SymConst(node) || is_sparc_FrameAddr(node);
+}
+
+static bool has_load_store_attr(const ir_node *node)
+{
+       return is_sparc_Ld(node) || is_sparc_St(node);
+}
+
+static bool has_jmp_cond_attr(const ir_node *node)
+{
+       return is_sparc_BXX(node);
+}
+
+static bool has_jmp_switch_attr(const ir_node *node)
+{
+       return is_sparc_SwitchJmp(node);
+}
+
+static bool has_save_attr(const ir_node *node)
+{
+       return is_sparc_Save(node);
+}
+
 /**
  * Dumper interface for dumping sparc nodes in vcg.
- * @param n        the node to dump
  * @param F        the output file
+ * @param n        the node to dump
  * @param reason   indicates which kind of information should be dumped
- * @return 0 on success or != 0 on failure
  */
-static int sparc_dump_node(ir_node *n, FILE *F, dump_reason_t reason)
+static void sparc_dump_node(FILE *F, ir_node *n, dump_reason_t reason)
 {
-       ir_mode *mode = NULL;
-
        switch (reason) {
-               case dump_node_opcode_txt:
-                       fprintf(F, "%s", get_irn_opname(n));
+       case dump_node_opcode_txt:
+               fprintf(F, "%s", get_irn_opname(n));
                break;
 
-               case dump_node_mode_txt:
-                       mode = get_irn_mode(n);
-
-                       if (mode) {
-                               fprintf(F, "[%s]", get_mode_name(mode));
-                       } else {
-                               fprintf(F, "[?NOMODE?]");
-                       }
+       case dump_node_mode_txt:
                break;
 
-               case dump_node_info_txt:
-                                       arch_dump_reqs_and_registers(F, n);
+       case dump_node_info_txt:
+               arch_dump_reqs_and_registers(F, n);
+               if (has_save_attr(n)) {
+                       const sparc_save_attr_t *attr = get_sparc_save_attr_const(n);
+                       fprintf(F, "initial stacksize: %d\n", attr->initial_stacksize);
+               }
+               if (has_symconst_attr(n)) {
+                       const sparc_symconst_attr_t *attr = get_sparc_symconst_attr_const(n);
+                       ir_fprintf(F, "entity: %+F\n", attr->entity);
+                       fprintf(F, "fp_offset: %d\n", attr->fp_offset);
+               }
+               if (has_load_store_attr(n)) {
+                       const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(n);
+                       ir_fprintf(F, "load store mode: %+F\n", attr->load_store_mode);
+                       ir_fprintf(F, "entity: (sign %d) %+F\n", attr->entity_sign,
+                                  attr->entity);
+                       fprintf(F, "offset: %ld\n", attr->offset);
+                       fprintf(F, "is frame entity: %s\n",
+                               attr->is_frame_entity ? "true" : "false");
+               }
+               if (has_jmp_cond_attr(n)) {
+                       const sparc_jmp_cond_attr_t *attr
+                               = get_sparc_jmp_cond_attr_const(n);
+                       fprintf(F, "pnc: %d (%s)\n", attr->proj_num,
+                               get_pnc_string(attr->proj_num));
+                       fprintf(F, "unsigned: %s\n", attr->is_unsigned ? "true" : "false");
+               }
+               if (has_jmp_switch_attr(n)) {
+                       const sparc_jmp_switch_attr_t *attr
+                               = get_sparc_jmp_switch_attr_const(n);
+                       fprintf(F, "n projs: %d\n", attr->n_projs);
+                       fprintf(F, "default proj: %ld\n", attr->default_proj_num);
+               }
                break;
 
-               case dump_node_nodeattr_txt:
-
-                       /* TODO: dump some attributes which should show up */
-                       /* in node name in dump (e.g. consts or the like)  */
-                       fputs("\n", F);
-
-                       if (is_sparc_FrameAddr(n)) {
-                               const sparc_symconst_attr_t *attr = get_sparc_symconst_attr_const(n);
-                               fprintf(F, "fp_offset: 0x%X\n", attr->fp_offset);
-                       }
-
-                       if (is_sparc_Load(n) || is_sparc_Store(n)) {
-                               const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(n);
-                               fprintf(F, "offset: 0x%lX\n", attr->offset);
-                               fprintf(F, "is_frame_entity: %s\n", attr->is_frame_entity == true ? "true" : "false");
-                       }
-
+       case dump_node_nodeattr_txt:
                break;
-
-
        }
-
-       return 0;
 }
 
-/* ATTRIBUTE INIT SETTERS / HELPERS */
 static void sparc_set_attr_imm(ir_node *res, int immediate_value)
 {
        sparc_attr_t *attr = get_irn_generic_attr(res);
        attr->immediate_value = immediate_value;
 }
 
-void set_sparc_jmp_cond_proj_num(ir_node *node, int proj_num)
+static void init_sparc_jmp_cond_attr(ir_node *node, int proj_num,
+                                     bool is_unsigned)
 {
        sparc_jmp_cond_attr_t *attr = get_sparc_jmp_cond_attr(node);
-       attr->proj_num = proj_num;
+       attr->proj_num    = proj_num;
+       attr->is_unsigned = is_unsigned;
 }
 
 void set_sparc_jmp_switch_n_projs(ir_node *node, int n_projs)
@@ -127,12 +154,6 @@ void set_sparc_jmp_switch_default_proj_num(ir_node *node, long def_proj_num)
 
 
 
-int get_sparc_jmp_cond_proj_num(const ir_node *node)
-{
-       const sparc_jmp_cond_attr_t *attr = get_sparc_jmp_cond_attr_const(node);
-       return attr->proj_num;
-}
-
 int get_sparc_jmp_switch_n_projs(const ir_node *node)
 {
        const sparc_jmp_switch_attr_t *attr = get_sparc_jmp_switch_attr_const(node);
@@ -145,97 +166,76 @@ long get_sparc_jmp_switch_default_proj_num(const ir_node *node)
        return attr->default_proj_num;
 }
 
-
-/* ATTRIBUTE GETTERS */
 sparc_attr_t *get_sparc_attr(ir_node *node)
 {
-       assert(is_sparc_irn(node) && "need sparc node to get attributes");
-       return (sparc_attr_t *)get_irn_generic_attr(node);
+       assert(is_sparc_irn(node));
+       return (sparc_attr_t*) get_irn_generic_attr(node);
 }
 
 const sparc_attr_t *get_sparc_attr_const(const ir_node *node)
 {
-       assert(is_sparc_irn(node) && "need sparc node to get attributes");
-       return (const sparc_attr_t *)get_irn_generic_attr_const(node);
+       assert(is_sparc_irn(node));
+       return (const sparc_attr_t*) get_irn_generic_attr_const(node);
 }
 
-
-
 sparc_load_store_attr_t *get_sparc_load_store_attr(ir_node *node)
 {
-       assert(is_sparc_irn(node) && "need sparc node to get attributes");
-       return (sparc_load_store_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_load_store_attr(node));
+       return (sparc_load_store_attr_t*) get_irn_generic_attr_const(node);
 }
 
 const sparc_load_store_attr_t *get_sparc_load_store_attr_const(const ir_node *node)
 {
-       assert(is_sparc_irn(node) && "need sparc node to get attributes");
-       return (const sparc_load_store_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_load_store_attr(node));
+       return (const sparc_load_store_attr_t*) get_irn_generic_attr_const(node);
 }
 
-
-
 sparc_symconst_attr_t *get_sparc_symconst_attr(ir_node *node)
 {
-       assert((is_sparc_SymConst(node)  || is_sparc_FrameAddr(node)) && "need sparc SymConst/FrameAddr node to get attributes");
-       return (sparc_symconst_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_symconst_attr(node));
+       return (sparc_symconst_attr_t*) get_irn_generic_attr_const(node);
 }
 
 const sparc_symconst_attr_t *get_sparc_symconst_attr_const(const ir_node *node)
 {
-       assert((is_sparc_SymConst(node)  || is_sparc_FrameAddr(node)) && "need sparc SymConst/FrameAddr node to get attributes");
-       return (const sparc_symconst_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_symconst_attr(node));
+       return (const sparc_symconst_attr_t*) get_irn_generic_attr_const(node);
 }
 
-
 sparc_jmp_cond_attr_t *get_sparc_jmp_cond_attr(ir_node *node)
 {
-       assert(is_sparc_Branch(node) && "need sparc B node to get attributes");
-       return (sparc_jmp_cond_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_jmp_cond_attr(node));
+       return (sparc_jmp_cond_attr_t*) get_irn_generic_attr_const(node);
 }
 
 const sparc_jmp_cond_attr_t *get_sparc_jmp_cond_attr_const(const ir_node *node)
 {
-       assert(is_sparc_Branch(node) && "need sparc B node to get attributes");
-       return (const sparc_jmp_cond_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_jmp_cond_attr(node));
+       return (const sparc_jmp_cond_attr_t*) get_irn_generic_attr_const(node);
 }
 
-
 sparc_jmp_switch_attr_t *get_sparc_jmp_switch_attr(ir_node *node)
 {
-       assert(is_sparc_SwitchJmp(node) && "need sparc SwitchJmp node to get attributes");
-       return (sparc_jmp_switch_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_jmp_switch_attr(node));
+       return (sparc_jmp_switch_attr_t*) get_irn_generic_attr_const(node);
 }
 
 const sparc_jmp_switch_attr_t *get_sparc_jmp_switch_attr_const(const ir_node *node)
 {
-       assert(is_sparc_SwitchJmp(node) && "need sparc SwitchJmp node to get attributes");
-       return (const sparc_jmp_switch_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_jmp_switch_attr(node));
+       return (const sparc_jmp_switch_attr_t*) get_irn_generic_attr_const(node);
 }
 
-sparc_cmp_attr_t *get_sparc_cmp_attr(ir_node *node)
-{
-       assert(is_sparc_irn(node) && "need sparc node to get attributes");
-       return (sparc_cmp_attr_t *)get_irn_generic_attr_const(node);
-}
-
-const sparc_cmp_attr_t *get_sparc_cmp_attr_const(const ir_node *node)
-{
-       assert(is_sparc_irn(node) && "need sparc node to get attributes");
-       return (const sparc_cmp_attr_t *)get_irn_generic_attr_const(node);
-}
-
-
 sparc_save_attr_t *get_sparc_save_attr(ir_node *node)
 {
-       assert(is_sparc_Save(node) && "need sparc Save node to get attributes");
-       return (sparc_save_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_save_attr(node));
+       return (sparc_save_attr_t*) get_irn_generic_attr_const(node);
 }
 
 const sparc_save_attr_t *get_sparc_save_attr_const(const ir_node *node)
 {
-       assert(is_sparc_Save(node) && "need sparc Save node to get attributes");
-       return (const sparc_save_attr_t *)get_irn_generic_attr_const(node);
+       assert(has_save_attr(node));
+       return (const sparc_save_attr_t*) get_irn_generic_attr_const(node);
 }
 
 /**
@@ -247,6 +247,12 @@ const arch_register_req_t **get_sparc_in_req_all(const ir_node *node)
        return attr->in_req;
 }
 
+void set_sparc_in_req_all(ir_node *node, const arch_register_req_t **reqs)
+{
+       sparc_attr_t *attr = get_sparc_attr(node);
+       attr->in_req = reqs;
+}
+
 /**
  * Returns the argument register requirement at position pos of an sparc node.
  */
@@ -294,8 +300,8 @@ static void init_sparc_load_store_attributes(ir_node *res, ir_mode *ls_mode,
                                                                                        int entity_sign, long offset,
                                                                                        bool is_frame_entity)
 {
-       sparc_load_store_attr_t *attr = get_irn_generic_attr(res);
-    attr->load_store_mode    = ls_mode;
+       sparc_load_store_attr_t *attr = get_sparc_load_store_attr(res);
+       attr->load_store_mode    = ls_mode;
        attr->entity             = entity;
        attr->entity_sign        = entity_sign;
        attr->is_frame_entity    = is_frame_entity;
@@ -303,23 +309,16 @@ static void init_sparc_load_store_attributes(ir_node *res, ir_mode *ls_mode,
        attr->base.is_load_store = true;
 }
 
-static void init_sparc_cmp_attr(ir_node *res, bool ins_permuted, bool is_unsigned)
-{
-       sparc_cmp_attr_t *attr = get_irn_generic_attr(res);
-       attr->ins_permuted = ins_permuted;
-       attr->is_unsigned  = is_unsigned;
-}
-
 static void init_sparc_symconst_attributes(ir_node *res, ir_entity *entity)
 {
-       sparc_symconst_attr_t *attr = get_irn_generic_attr(res);
+       sparc_symconst_attr_t *attr = get_sparc_symconst_attr(res);
        attr->entity    = entity;
        attr->fp_offset = 0;
 }
 
 static void init_sparc_save_attr(ir_node *res, int initial_stacksize)
 {
-       sparc_save_attr_t *attr = get_irn_generic_attr(res);
+       sparc_save_attr_t *attr = get_sparc_save_attr(res);
        attr->initial_stacksize = initial_stacksize;
 }
 
@@ -342,7 +341,6 @@ static void sparc_copy_attr(ir_graph *irg, const ir_node *old_node,
                DUP_ARR_D(reg_out_info_t, obst, old_info->out_infos);
 }
 
-
 /**
  * compare some node's attributes
  */
@@ -392,7 +390,8 @@ static int cmp_attr_sparc_jmp_cond(ir_node *a, ir_node *b)
        if (cmp_attr_sparc(a, b))
                        return 1;
 
-       return attr_a->proj_num != attr_b->proj_num;
+       return attr_a->proj_num != attr_b->proj_num
+               || attr_a->is_unsigned != attr_b->is_unsigned;
 }
 
 static int cmp_attr_sparc_jmp_switch(ir_node *a, ir_node *b)
@@ -407,18 +406,6 @@ static int cmp_attr_sparc_jmp_switch(ir_node *a, ir_node *b)
                        || attr_a->n_projs != attr_b->n_projs;
 }
 
-static int cmp_attr_sparc_cmp(ir_node *a, ir_node *b)
-{
-       const sparc_cmp_attr_t *attr_a = get_sparc_cmp_attr_const(a);
-       const sparc_cmp_attr_t *attr_b = get_sparc_cmp_attr_const(b);
-
-       if (cmp_attr_sparc(a, b))
-                       return 1;
-
-       return attr_a->ins_permuted != attr_b->ins_permuted
-                       || attr_a->is_unsigned != attr_b->is_unsigned;
-}
-
 static int cmp_attr_sparc_save(ir_node *a, ir_node *b)
 {
        const sparc_save_attr_t *attr_a = get_sparc_save_attr_const(a);