- add ir_bk_outport and ir_bk_inport
[libfirm] / ir / ir / irdumptxt.c
index aa71c16..bbc4bb9 100644 (file)
  * @author  Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Hubert Schmidt
  * @version $Id$
  */
-#ifdef HAVE_CONFIG_H
 #include "config.h"
-#endif
 
-#ifdef HAVE_STRING_H
 #include <string.h>
-#endif
-#ifdef HAVE_STDLIB_H
 #include <stdlib.h>
-#endif
-
 #include <stdarg.h>
 
 #include "irdump_t.h"
@@ -75,7 +68,7 @@ static FILE *text_open(const char *basename, const char * suffix1, const char *s
        if (!suffix3) suffix3 = ".txt";
 
        /* open file for vcg graph */
-       fname = xmalloc(strlen(basename)*2 + strlen(suffix1) + strlen(suffix2) + 5); /* *2: space for escapes. */
+       fname = XMALLOCN(char, strlen(basename)*2 + strlen(suffix1) + strlen(suffix2) + 5); /* *2: space for escapes. */
 
        j = 0;
        for (i = 0; i < len; ++i) {  /* replace '/' in the name: escape by @. */
@@ -95,7 +88,7 @@ static FILE *text_open(const char *basename, const char * suffix1, const char *s
        F = fopen(fname, "w");   /* open file for writing */
        if (!F) {
                perror(fname);
-               assert(0);
+               abort();
        }
        free(fname);
 
@@ -159,15 +152,14 @@ int dump_irnode_to_file(FILE *F, ir_node *n) {
 
        fprintf(F, "  Private Attributes:\n");
 
-       if (get_irn_opcode(n) == iro_Proj)
+       if (is_Proj(n))
                fprintf(F, "  proj nr: %ld\n", get_Proj_proj(n));
 
 #ifdef INTERPROCEDURAL_VIEW
-       if ((get_irp_ip_view_state() != ip_view_no)
-               && (get_irn_opcode(n) == iro_Filter || get_irn_opcode(n) == iro_Block)) {
+       if ((get_irp_ip_view_state() != ip_view_no) && (is_Filter(n) || is_Block(n))) {
                fprintf(F, "  inter arity: %d\n", get_irn_inter_arity(n));
                fprintf(F, "  inter pred nodes: \n");
-               for ( i = 0; i < get_irn_inter_arity(n); ++i) {
+               for (i = 0; i < get_irn_inter_arity(n); ++i) {
                        fprintf(F, "     %d: %s ", i, is_intra_backedge(n, i) ? "be" : "  ");
                        dump_node_opcode(F, get_irn_inter_n(n, i));
                        fprintf(F, " %ld\n", get_irn_node_nr(get_irn_inter_n(n, i)));
@@ -181,9 +173,9 @@ int dump_irnode_to_file(FILE *F, ir_node *n) {
        }
 
        /* This is not nice, output it as a marker in the predecessor list. */
-       if ((get_irn_op(n) == op_Block) ||
-               (get_irn_op(n) == op_Phi) ||
-               ((get_irn_op(n) == op_Filter) && get_interprocedural_view())) {
+       if (is_Block(n)             ||
+           get_irn_op(n) == op_Phi ||
+           (is_Filter(n) && get_interprocedural_view())) {
                fprintf(F, "  backedges:");
                comma = ' ';
                for (i = 0; i < get_irn_arity(n); i++)
@@ -202,8 +194,11 @@ int dump_irnode_to_file(FILE *F, ir_node *n) {
        /* Source types */
        switch (get_irn_opcode(n)) {
        case iro_Block: {
+               if (has_Block_label(n))
+                       fprintf(F, "  Label: %lu\n", get_Block_label(n));
                ir_fprintf(F, "  macro Block: %+F\n", get_Block_MacroBlock(n));
                fprintf(F, "  block visited: %ld\n", get_Block_block_visited(n));
+               fprintf(F, "  block marked: %u\n", get_Block_mark(n));
                if (get_irg_dom_state(get_irn_irg(n)) != dom_none) {
                        fprintf(F, "  dom depth %d\n", get_Block_dom_depth(n));
                        fprintf(F, "  tree pre num %d\n", get_Block_dom_tree_pre_num(n));
@@ -224,8 +219,6 @@ int dump_irnode_to_file(FILE *F, ir_node *n) {
                        (get_irp_callgraph_state() == irp_callgraph_and_calltree_consistent))
                        fprintf(F, "    final evaluation:           **%8.2lf**\n", get_irn_final_cost(n));
 #endif
-    if (has_Block_label(n))
-      fprintf(F, "    Label: %lu\n", get_Block_label(n));
 
                /* not dumped: graph_arr */
                /* not dumped: mature    */
@@ -589,7 +582,7 @@ static void dump_ir_initializers_to_file(FILE *F, const char *prefix,
                                        fprintf(F, "\n%s    ", prefix);
                                        need_nl = 0;
                                }
-                               fprintf(F, "[%d]", i);
+                               fprintf(F, "[%d]", (int) i);
                                dump_ir_initializers_to_file(F, prefix, sub_initializer, element_type);
                        }
                } else {
@@ -697,49 +690,56 @@ void dump_entity_to_file_prefix(FILE *F, ir_entity *ent, char *prefix, unsigned
                        if (mask) {
                                fprintf(F, "\n%s  additional prop: ", prefix);
 
-                               if (mask & mtp_property_const)    fprintf(F, "const_function, ");
-                               if (mask & mtp_property_pure)     fprintf(F, "pure_function, ");
-                               if (mask & mtp_property_noreturn) fprintf(F, "noreturn_function, ");
-                               if (mask & mtp_property_nothrow)  fprintf(F, "nothrow_function, ");
-                               if (mask & mtp_property_naked)    fprintf(F, "naked_function, ");
+                               if (mask & mtp_property_const)         fputs("const_function, ", F);
+                               if (mask & mtp_property_pure)          fputs("pure_function, ", F);
+                               if (mask & mtp_property_noreturn)      fputs("noreturn_function, ", F);
+                               if (mask & mtp_property_nothrow)       fputs("nothrow_function, ", F);
+                               if (mask & mtp_property_naked)         fputs("naked_function, ", F);
+                               if (mask & mtp_property_malloc)        fputs("malloc_function, ", F);
+                               if (mask & mtp_property_weak)          fputs("weak_function, ", F);
+                               if (mask & mtp_property_returns_twice) fputs("weak_function, ", F);
+                               if (mask & mtp_property_intrinsic)     fputs("intrinsic_function, ", F);
+                               if (mask & mtp_property_runtime)       fputs("runtime_function, ", F);
+                               if (mask & mtp_property_private)       fputs("private_function, ", F);
+                               if (mask & mtp_property_has_loop)      fputs("has_loop_function, ", F);
                        }
                        fprintf(F, "\n%s  calling convention: ", prefix);
-                       if (cc & cc_reg_param) fprintf(F, "regparam, ");
-                       if (cc & cc_this_call) fprintf(F, "thiscall, ");
-                       if (cc & cc_compound_ret) fprintf(F, "compound_ret, ");
-                       if (cc & cc_frame_on_caller_stk) fprintf(F, "frame on caller's stack, ");
+                       if (cc & cc_reg_param)           fputs("regparam, ", F);
+                       if (cc & cc_this_call)           fputs("thiscall, ", F);
+                       if (cc & cc_compound_ret)        fputs("compound_ret, ", F);
+                       if (cc & cc_frame_on_caller_stk) fputs("frame on caller's stack, ", F);
                        cc &= ~(cc_compound_ret|cc_frame_on_caller_stk);
                        if (IS_CDECL(cc))
-                               fprintf(F, "cdecl");
+                               fputs("cdecl", F);
                        else if (IS_STDCALL(cc))
-                               fprintf(F, "stdcall");
+                               fputs("stdcall", F);
                        else {
-                               fprintf(F, (cc & cc_last_on_top) ? "last param on top, " : "first param on top, ");
-                               fprintf(F, (cc & cc_callee_clear_stk) ? "callee clear stack" : "caller clear stack");
+                               fputs(cc & cc_last_on_top      ? "last param on top, " : "first param on top, ", F);
+                               fputs(cc & cc_callee_clear_stk ? "callee clear stack" : "caller clear stack", F);
                        }
                        fprintf(F, "\n%s  vtable number:        %u", prefix, get_entity_vtable_number(ent));
                }
 
-               fprintf(F, "\n");
+               fputc('\n', F);
        } else {  /* no entattrs */
                fprintf(F, "%s(%3d:%d) %-40s: %s", prefix,
                        get_entity_offset(ent), get_entity_offset_bits_remainder(ent),
                        get_type_name(get_entity_type(ent)), get_entity_name(ent));
-               if (is_Method_type(get_entity_type(ent))) fprintf(F, "(...)");
+               if (is_Method_type(get_entity_type(ent))) fputs("(...)", F);
 
                if (verbosity & dump_verbosity_accessStats) {
-                       if (get_entity_allocation(ent) == allocation_static) fprintf(F, " (stat)");
-                       if (get_entity_peculiarity(ent) == peculiarity_description) fprintf(F, " (desc)");
-                       if (get_entity_peculiarity(ent) == peculiarity_inherited)   fprintf(F, " (inh)");
+                       if (get_entity_allocation(ent) == allocation_static)        fputs(" (stat)", F);
+                       if (get_entity_peculiarity(ent) == peculiarity_description) fputs(" (desc)", F);
+                       if (get_entity_peculiarity(ent) == peculiarity_inherited)   fputs(" (inh)", F);
                }
-               fprintf(F, "\n");
+               fputc('\n', F);
        }
 
        if (verbosity & dump_verbosity_entconsts) {
                if (get_entity_variability(ent) != variability_uninitialized) {
                        if (ent->has_initializer) {
                                const ir_initializer_t *initializer = get_entity_initializer(ent);
-                               fprintf(F, "\n%s  Initializers:");
+                               fprintf(F, "\n%s  Initializers:", prefix);
                                need_nl = 1;
                                dump_ir_initializers_to_file(F, prefix, initializer, get_entity_type(ent));
                        } else {
@@ -767,7 +767,7 @@ void dump_entity_to_file_prefix(FILE *F, ir_entity *ent, char *prefix, unsigned
                                        }
                                }
                        }
-                       fprintf(F, "\n");
+                       fputc('\n', F);
                }
        }
 
@@ -790,7 +790,7 @@ void dump_entity_to_file_prefix(FILE *F, ir_entity *ent, char *prefix, unsigned
                                fprintf(F, "\n%s  irg = NULL", prefix);
                        }
                }
-               fprintf(F, "\n");
+               fputc('\n', F);
        }
 
        if (get_trouts_state()) {
@@ -821,7 +821,7 @@ void dump_entity_to_file_prefix(FILE *F, ir_entity *ent, char *prefix, unsigned
                        max_depth = (depth > max_depth) ? depth : max_depth ;
                }
 
-               L_freq = xcalloc(4 * max_depth, sizeof(L_freq[0]));
+               L_freq = XMALLOCNZ(int, 4 * max_depth);
 
                S_freq  = L_freq + 1*max_depth;
                LA_freq = L_freq + 2*max_depth;
@@ -831,14 +831,14 @@ void dump_entity_to_file_prefix(FILE *F, ir_entity *ent, char *prefix, unsigned
                        ir_node *acc = get_entity_access(ent, i);
                        int depth = get_weighted_loop_depth(acc);
                        assert(depth < max_depth);
-                       if ((get_irn_op(acc) == op_Load) || (get_irn_op(acc) == op_Call)) {
+                       if (is_Load(acc) || is_Call(acc)) {
                                L_freq[depth]++;
                                max_L_freq = (depth > max_L_freq) ? depth : max_L_freq;
                                if (addr_is_alloc(acc)) {
                                        LA_freq[depth]++;
                                        max_LA_freq = (depth > max_LA_freq) ? depth : max_LA_freq;
                                }
-                       } else if (get_irn_op(acc) == op_Store) {
+                       } else if (is_Store(acc)) {
                                S_freq[depth]++;
                                max_S_freq = (depth > max_S_freq) ? depth : max_S_freq;
                                if (addr_is_alloc(acc)) {
@@ -954,7 +954,7 @@ void dump_entitycsv_to_file_prefix(FILE *F, ir_entity *ent, char *prefix,
                max_depth = (depth > max_depth) ? depth : max_depth ;
        }
 
-       L_freq = xcalloc(4 * (max_depth+1), sizeof(L_freq[0]));
+       L_freq = XMALLOCNZ(int, 4 * (max_depth + 1));
 
        S_freq  = L_freq + 1*max_depth;
        LA_freq = L_freq + 2*max_depth;
@@ -964,7 +964,7 @@ void dump_entitycsv_to_file_prefix(FILE *F, ir_entity *ent, char *prefix,
                ir_node *acc = get_entity_access(ent, i);
                int depth = get_weighted_loop_depth(acc);
                assert(depth <= max_depth);
-               if ((get_irn_op(acc) == op_Load) || (get_irn_op(acc) == op_Call)) {
+               if (is_Load(acc) || is_Call(acc)) {
                        L_freq[depth]++;
                        max_L_freq = (depth > max_L_freq) ? depth : max_L_freq;
                        if (addr_is_alloc(acc)) {
@@ -975,7 +975,7 @@ void dump_entitycsv_to_file_prefix(FILE *F, ir_entity *ent, char *prefix,
                                disp[depth]++;
                                *max_disp = (depth > *max_disp) ? depth : *max_disp;
                        }
-               } else if (get_irn_op(acc) == op_Store) {
+               } else if (is_Store(acc)) {
                        S_freq[depth]++;
                        max_S_freq = (depth > max_S_freq) ? depth : max_S_freq;
                        if (addr_is_alloc(acc)) {
@@ -1059,7 +1059,7 @@ void dump_typecsv_to_file(FILE *F, ir_type *tp, dump_verbosity verbosity, const
                        max_depth = (depth > max_depth) ? depth : max_depth ;
                }
 
-               freq = xcalloc(2 * (max_depth+1), sizeof(freq[0]));
+               freq = XMALLOCNZ(int, 2 * (max_depth + 1));
 
                disp = freq + max_depth;
 
@@ -1069,7 +1069,7 @@ void dump_typecsv_to_file(FILE *F, ir_type *tp, dump_verbosity verbosity, const
                        assert(depth <= max_depth);
                        freq[depth]++;
                        max_freq = (depth > max_freq) ? depth : max_freq;
-                       assert(get_irn_op(all) == op_Alloc);
+                       assert(is_Alloc(all));
                }
 
                fprintf(F, "%s ", get_type_name(tp));
@@ -1222,16 +1222,16 @@ void dump_type_to_file(FILE *F, ir_type *tp, dump_verbosity verbosity) {
 
                                fprintf(F, "[");
 
-                               if (get_irn_op(lower) == op_Const)
+                               if (is_Const(lower)) {
                                        fprintf(F, "%ld .. ", get_tarval_long(get_Const_tarval(lower)));
-                               else {
+                               else {
                                        dump_node_opcode(F, lower);
                                        fprintf(F, " %ld .. ", get_irn_node_nr(lower));
                                }
 
-                               if (get_irn_op(upper) == op_Const)
+                               if (is_Const(upper)) {
                                        fprintf(F, "%ld]", get_tarval_long(get_Const_tarval(lower)));
-                               else {
+                               else {
                                        dump_node_opcode(F, upper);
                                        fprintf(F, " %ld]", get_irn_node_nr(upper));
                                }
@@ -1331,7 +1331,7 @@ void dump_type_to_file(FILE *F, ir_type *tp, dump_verbosity verbosity) {
                        max_depth = (depth > max_depth) ? depth : max_depth ;
                }
 
-               freq = xcalloc(max_depth+1, sizeof(freq[0]));
+               freq = XMALLOCNZ(int, max_depth + 1);
 
                for (i = 0; i < n_all; ++i) {
                        ir_node *all = get_type_alloc(tp, i);
@@ -1339,7 +1339,7 @@ void dump_type_to_file(FILE *F, ir_type *tp, dump_verbosity verbosity) {
                        assert(depth <= max_depth);
                        freq[depth]++;
                        max_freq = (depth > max_freq) ? depth : max_freq;
-                       assert(get_irn_op(all) == op_Alloc);
+                       assert(is_Alloc(all));
                }
 
                if (max_freq >= 0) {