becopyopt: Simplify co_dump_appel_disjoint_constraints().
[libfirm] / ir / stat / stat_dmp.c
index a41df26..6f426e2 100644 (file)
@@ -1,20 +1,6 @@
 /*
- * Copyright (C) 1995-2011 University of Karlsruhe.  All right reserved.
- *
  * This file is part of libFirm.
- *
- * This file may be distributed and/or modified under the terms of the
- * GNU General Public License version 2 as published by the Free Software
- * Foundation and appearing in the file LICENSE.GPL included in the
- * packaging of this file.
- *
- * Licensees holding valid libFirm Professional Edition licenses may use
- * this file in accordance with the libFirm Commercial License.
- * Agreement provided with the Software.
- *
- * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
- * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- * PURPOSE.
+ * Copyright (C) 2012 University of Karlsruhe.
  */
 
 /**
@@ -98,7 +84,6 @@ static const struct {
        { (hook_opt_kind)FS_OPT_SHIFT_OR,       "algebraic simplification: (a SHF c) OR (b SHF c) = (a OR b) SHF c" },
        { (hook_opt_kind)FS_OPT_SHIFT_EOR,      "algebraic simplification: (a SHF c) XOR (b SHF c) = (a XOR b) SHF c" },
        { (hook_opt_kind)FS_OPT_CONV,           "algebraic simplification: Conv could be removed" },
-       { (hook_opt_kind)FS_OPT_CAST,           "algebraic simplification: a Cast could be removed" },
        { (hook_opt_kind)FS_OPT_MIN_MAX_EQ,     "algebraic simplification: Min(a,a) = Max(a,a) = a" },
        { (hook_opt_kind)FS_OPT_MUX_COMBINE,    "boolean simplification: two Mux nodes where combined into one" },
        { (hook_opt_kind)FS_OPT_MUX_CONV,       "boolean simplification: MuxI(sel, 1, 0) = (I)sel" },
@@ -217,7 +202,7 @@ static void simple_dump_opcode_hash(dumper_t *dmp, pset *set)
                cnt_add(&f_new_node,  &entry->new_node);
                cnt_add(&f_Id,        &entry->into_Id);
                cnt_add(&f_normlized, &entry->normalized);
-       }  /* foreach_pset */
+       }
        fprintf(dmp->f, "-------------------------------------------\n");
        fprintf(dmp->f, "%-16s %8u %8u %8u %8u\n", "Sum",
                cnt_to_uint(&f_alive),
@@ -225,7 +210,7 @@ static void simple_dump_opcode_hash(dumper_t *dmp, pset *set)
                cnt_to_uint(&f_Id),
                cnt_to_uint(&f_normlized)
        );
-}  /* simple_dump_opcode_hash */
+}
 
 /**
  * Return the name of an optimization.
@@ -235,7 +220,7 @@ static const char *get_opt_name(int index)
        assert(index < (int) ARRAY_SIZE(opt_names) && "index out of range");
        assert((int) opt_names[index].kind == index && "opt_names broken");
        return opt_names[index].name;
-}  /* get_opt_name */
+}
 
 /**
  * dumps an optimization hash into human readable form
@@ -251,9 +236,9 @@ static void simple_dump_opt_hash(dumper_t *dmp, pset *set, int index)
                foreach_pset(set, opt_entry_t, entry) {
                        fprintf(dmp->f, "%-16s %8u\n",
                                get_id_str(entry->op->name), cnt_to_uint(&entry->count));
-               }  /* foreach_pset */
-       }  /* if */
-}  /* simple_dump_opt_hash */
+               }
+       }
+}
 
 /**
  * dumps the register pressure for each block and for each register class
@@ -280,15 +265,15 @@ static void simple_dump_be_block_reg_pressure(dumper_t *dmp, graph_entry_t *entr
                foreach_pset(b_entry->reg_pressure, reg_pressure_entry_t, rp_entry)
                        fprintf(dmp->f, "%15d", rp_entry->pressure);
                fprintf(dmp->f, "\n");
-       }  /* for */
-}  /* simple_dump_be_block_reg_pressure */
+       }
+}
 
 /** prints a distribution entry */
 static void simple_dump_distrib_entry(const distrib_entry_t *entry, void *env)
 {
        dumper_t *dmp = (dumper_t*)env;
        fprintf(dmp->f, "%12u", cnt_to_uint(&entry->cnt));
-}  /* simple_dump_distrib_entry */
+}
 
 /**
  * dumps the distribution of the amount of ready nodes for each block
@@ -311,9 +296,9 @@ static void simple_dump_be_block_sched_ready(dumper_t *dmp, graph_entry_t *entry
                        stat_iterate_distrib_tbl(b_entry->sched_ready, simple_dump_distrib_entry, dmp);
                        fprintf(dmp->f, "%12.2lf", stat_calc_avg_distrib_tbl(b_entry->sched_ready));
                        fprintf(dmp->f, "\n");
-               }  /* foreach_pset */
-       }  /* if */
-}  /* simple_dump_be_block_sched_ready */
+               }
+       }
+}
 
 /**
  * Adds the counter for given entry to another distribution table.
@@ -323,7 +308,7 @@ static void add_distrib_entry(const distrib_entry_t *entry, void *env)
        distrib_tbl_t *sum_tbl = (distrib_tbl_t*)env;
 
        stat_add_int_distrib_tbl(sum_tbl, (int)PTR_TO_INT(entry->object), &entry->cnt);
-}  /* add_distrib_entry */
+}
 
 /**
  * dumps permutation statistics for one and block and one class
@@ -359,7 +344,7 @@ static void simple_dump_be_block_permstat_class(dumper_t *dmp, perm_class_entry_
 
                /* sum up distribution table for cycles */
                stat_iterate_distrib_tbl(ps_ent->cycles, add_distrib_entry, sum_cycles);
-       }  /* foreach_pset */
+       }
 
        /* print chain distribution for all perms of this class in this block */
        fprintf(dmp->f, "chain distribution:\n");
@@ -369,7 +354,7 @@ static void simple_dump_be_block_permstat_class(dumper_t *dmp, perm_class_entry_
                snprintf(buf, sizeof(buf), "length %d", i);
                fprintf(dmp->f, "%12s", buf);
                stat_insert_int_distrib_tbl(sum_chains, i);
-       }  /* for */
+       }
        fprintf(dmp->f, "\n");
        stat_iterate_distrib_tbl(sum_chains, simple_dump_distrib_entry, dmp);
        fprintf(dmp->f, "\n");
@@ -382,7 +367,7 @@ static void simple_dump_be_block_permstat_class(dumper_t *dmp, perm_class_entry_
                snprintf(buf, sizeof(buf), "length %d", i);
                fprintf(dmp->f, "%12s", buf);
                stat_insert_int_distrib_tbl(sum_cycles, i);
-       }  /* for */
+       }
        fprintf(dmp->f, "\n");
        stat_iterate_distrib_tbl(sum_cycles, simple_dump_distrib_entry, dmp);
        fprintf(dmp->f, "\n");
@@ -391,7 +376,7 @@ static void simple_dump_be_block_permstat_class(dumper_t *dmp, perm_class_entry_
        stat_delete_distrib_tbl(sum_chains);
        stat_delete_distrib_tbl(sum_cycles);
 
-}  /* simple_dump_be_block_permstat_class */
+}
 
 /**
  * dumps statistics about perms
@@ -407,13 +392,13 @@ static void simple_dump_be_block_permstat(dumper_t *dmp, graph_entry_t *entry)
                                foreach_pset(b_entry->perm_class_stat, perm_class_entry_t, pc_ent) {
                                        fprintf(dmp->f, "register class %s:\n", pc_ent->class_name);
                                        simple_dump_be_block_permstat_class(dmp, pc_ent);
-                               }  /* foreach_pset */
-                       }  /* if */
-               }  /* foreach_pset */
+                               }
+                       }
+               }
 
                fprintf(dmp->f, "PERMUTATION STATISTICS END\n");
-       }  /* if */
-}  /* simple_dump_be_block_permstat */
+       }
+}
 
 /**
  * dumps the number of real_function_call optimization
@@ -426,8 +411,8 @@ static void simple_dump_real_func_calls(dumper_t *dmp, counter_t *cnt)
        if (! cnt_eq(cnt, 0)) {
                fprintf(dmp->f, "\nReal Function Calls optimized:\n");
                fprintf(dmp->f, "%-16s %8u\n", "Call", cnt_to_uint(cnt));
-       }  /* if */
-}  /* simple_dump_real_func_calls */
+       }
+}
 
 /**
  * dumps the number of tail_recursion optimization
@@ -440,8 +425,8 @@ static void simple_dump_tail_recursion(dumper_t *dmp, unsigned num_tail_recursio
        if (num_tail_recursion > 0) {
                fprintf(dmp->f, "\nTail recursion optimized:\n");
                fprintf(dmp->f, "%-16s %8u\n", "Call", num_tail_recursion);
-       }  /* if */
-}  /* simple_dump_tail_recursion */
+       }
+}
 
 /**
  * dumps the edges count
@@ -452,7 +437,7 @@ static void simple_dump_edges(dumper_t *dmp, counter_t *cnt)
                return;
 
        fprintf(dmp->f, "%-16s %8u\n", "Edges", cnt_to_uint(cnt));
-}  /* simple_dump_edges */
+}
 
 /**
  * dumps the IRG
@@ -475,7 +460,7 @@ static void simple_dump_graph(dumper_t *dmp, graph_entry_t *entry)
                                fprintf(dmp->f, "\nEntity %s, Irg %p", get_entity_ld_name(entry->ent), (void *)entry->irg);
                        else
                                fprintf(dmp->f, "\nIrg %p", (void *)entry->irg);
-               }  /* if */
+               }
 
                fprintf(dmp->f, " %swalked %u over blocks %u:\n"
                        " was inlined               : %u\n"
@@ -506,12 +491,12 @@ static void simple_dump_graph(dumper_t *dmp, graph_entry_t *entry)
 
                for (i = 0; i < IF_RESULT_LAST; ++i) {
                        fprintf(dmp->f, " %s : %u\n", if_conv_names[i], cnt_to_uint(&entry->cnt[gcnt_if_conv + i]));
-               }  /* for */
+               }
        } else {
                fprintf(dmp->f, "\nGlobals counts:\n");
                fprintf(dmp->f, "--------------\n");
                dump_opts = 0;
-       }  /* if */
+       }
 
        /* address ops */
        fprintf(dmp->f,
@@ -547,7 +532,7 @@ static void simple_dump_graph(dumper_t *dmp, graph_entry_t *entry)
 
                for (i = 0; i != ARRAY_SIZE(entry->opt_hash); ++i) {
                        simple_dump_opt_hash(dmp, entry->opt_hash[i], i);
-               }  /* for */
+               }
 
                /* dump block info */
                fprintf(dmp->f, "\n%12s %12s %12s %12s %12s %12s %12s\n", "Block Nr", "Nodes", "intern E", "incoming E", "outgoing E", "Phi", "quot");
@@ -562,7 +547,7 @@ static void simple_dump_graph(dumper_t *dmp, graph_entry_t *entry)
                                cnt_to_dbl(&b_entry->cnt[bcnt_edges]) / cnt_to_dbl(&b_entry->cnt[bcnt_nodes]),
                                b_entry->is_start ? "START" : (b_entry->is_end ? "END" : "")
                        );
-               }  /* foreach_pset */
+               }
 
                /* dump block reg pressure */
                simple_dump_be_block_reg_pressure(dmp, entry);
@@ -573,7 +558,7 @@ static void simple_dump_graph(dumper_t *dmp, graph_entry_t *entry)
                /* dump block permutation statistics */
                simple_dump_be_block_permstat(dmp, entry);
        }
-}  /* simple_dump_graph */
+}
 
 /**
  * dumps the constant table
@@ -597,7 +582,7 @@ static void simple_dump_const_tbl(dumper_t *dmp, const constant_info_t *tbl)
        for (i = 0; i < ARRAY_SIZE(tbl->int_bits_count); ++i) {
                fprintf(dmp->f, "%5u %12u\n", (unsigned) (i + 1), cnt_to_uint(&tbl->int_bits_count[i]));
                cnt_add(&sum, &tbl->int_bits_count[i]);
-       }  /* for */
+       }
        fprintf(dmp->f, "-------------------------------\n");
 
        fprintf(dmp->f, "\nFloating point constants classification\n");
@@ -605,7 +590,7 @@ static void simple_dump_const_tbl(dumper_t *dmp, const constant_info_t *tbl)
        for (i = 0; i < ARRAY_SIZE(tbl->floats); ++i) {
                fprintf(dmp->f, "%-10s %12u\n", stat_fc_name((float_classify_t)i), cnt_to_uint(&tbl->floats[i]));
                cnt_add(&sum, &tbl->floats[i]);
-       }  /* for */
+       }
        fprintf(dmp->f, "--------------------------------------\n");
 
        fprintf(dmp->f, "other %12u\n", cnt_to_uint(&tbl->others));
@@ -613,7 +598,7 @@ static void simple_dump_const_tbl(dumper_t *dmp, const constant_info_t *tbl)
        fprintf(dmp->f, "-------------------------------\n");
 
        fprintf(dmp->f, "sum   %12u\n", cnt_to_uint(&sum));
-}  /* simple_dump_const_tbl */
+}
 
 /**
  * Dumps a line of the parameter table
@@ -624,7 +609,7 @@ static void dump_tbl_line(const distrib_entry_t *entry, void *env)
 
        fprintf(dmp->f, "%ld : %u\n", (long int)PTR_TO_INT(entry->object),
                cnt_to_uint(&entry->cnt));
-}  /* dump_tbl_line */
+}
 
 /**
  * dumps the parameter distribution table
@@ -643,7 +628,7 @@ static void simple_dump_param_tbl(dumper_t *dmp, const distrib_tbl_t *tbl, graph
        fprintf(dmp->f, "with const params         %12u\n", cnt_to_uint(&global->cnt[gcnt_call_with_cnst_arg]));
        fprintf(dmp->f, "with all const params     %12u\n", cnt_to_uint(&global->cnt[gcnt_call_with_all_cnst_arg]));
        fprintf(dmp->f, "with local var adr params %12u\n", cnt_to_uint(&global->cnt[gcnt_call_with_local_adr]));
-}  /* simple_dump_param_tbl */
+}
 
 /**
  * dumps the optimization counter table
@@ -662,7 +647,7 @@ static void simple_dump_opt_cnt(dumper_t *dmp, const counter_t *tbl, unsigned le
                        fprintf(dmp->f, "%8u %s\n", cnt, get_opt_name(i));
                }
        }
-}  /* simple_dump_opt_cnt */
+}
 
 /**
  * initialize the simple dumper
@@ -675,8 +660,8 @@ static void simple_init(dumper_t *dmp, const char *name)
        dmp->f = fopen(fname, "w");
        if (! dmp->f) {
                perror(fname);
-       }  /* if */
-}  /* simple_init */
+       }
+}
 
 /**
  * finishes the simple dumper
@@ -686,7 +671,7 @@ static void simple_finish(dumper_t *dmp)
        if (dmp->f)
                fclose(dmp->f);
        dmp->f = NULL;
-}  /* simple_finish */
+}
 
 /**
  * the simple human readable dumper
@@ -735,9 +720,9 @@ static void csv_count_nodes(dumper_t *dmp, graph_entry_t *graph, counter_t cnt[]
                } else {
                        /* all other nodes */
                        cnt_add(&cnt[0], &entry->cnt_alive);
-               }  /* if */
-       }  /* foreach_pset */
-}  /* csv_count_nodes */
+               }
+       }
+}
 
 /**
  * dumps the IRG
@@ -760,7 +745,7 @@ static void csv_dump_graph(dumper_t *dmp, graph_entry_t *entry)
                                name = get_entity_name(entry->ent);
                        else
                                name = "<UNKNOWN IRG>";
-               }  /* if */
+               }
 
                csv_count_nodes(dmp, entry, cnt);
 
@@ -772,8 +757,8 @@ static void csv_dump_graph(dumper_t *dmp, graph_entry_t *entry)
                        cnt_to_uint(&cnt[2]),
                        cnt_to_uint(&cnt[3])
                );
-       }  /* if */
-}  /* csv_dump_graph */
+       }
+}
 
 /**
  * dumps the IRG
@@ -783,7 +768,7 @@ static void csv_dump_const_tbl(dumper_t *dmp, const constant_info_t *tbl)
        (void) dmp;
        (void) tbl;
        /* FIXME: NYI */
-}  /* csv_dump_const_tbl */
+}
 
 /**
  * dumps the parameter distribution table
@@ -794,7 +779,7 @@ static void csv_dump_param_tbl(dumper_t *dmp, const distrib_tbl_t *tbl, graph_en
        (void) tbl;
        (void) global;
        /* FIXME: NYI */
-}  /* csv_dump_param_tbl */
+}
 
 /**
  * dumps the optimization counter
@@ -805,7 +790,7 @@ static void csv_dump_opt_cnt(dumper_t *dmp, const counter_t *tbl, unsigned len)
        (void) tbl;
        (void) len;
        /* FIXME: NYI */
-}  /* csv_dump_opt_cnt */
+}
 
 /**
  * initialize the simple dumper
@@ -818,7 +803,7 @@ static void csv_init(dumper_t *dmp, const char *name)
        dmp->f = fopen(fname, "a");
        if (! dmp->f)
                perror(fname);
-}  /* csv_init */
+}
 
 /**
  * finishes the simple dumper
@@ -828,7 +813,7 @@ static void csv_finish(dumper_t *dmp)
        if (dmp->f)
                fclose(dmp->f);
        dmp->f = NULL;
-}  /* csv_finish */
+}
 
 /**
  * the simple human readable dumper