removed C99 features

[libfirm] / ir / be / bechordal.c

diff --git a/ir/be/bechordal.c b/ir/be/bechordal.c
index ed037b1..a033515 100644 (file)
--- a/ir/be/bechordal.c
+++ b/ir/be/bechordal.c
@@ -130,94 +130,12 @@ int ifg_has_edge(const be_chordal_env_t *env, const if_node_t *n1, const if_node
 
 static void dump_ifg(const be_chordal_env_t *env)
 {
-       static const char *colors[] = {
-               "coral",
-               "azure",
-               "bisque",
-               "aliceblue",
-               "blanchedalmond",
-               "deeppink",
-               "cornsilk",
-               "blueviolet",
-               "floralwhite",
-               "hotpink",
-               "gainsboro",
-               "indianred",
-               "cornflowerblue",
-               "ghostwhite",
-               "lightpink",
-               "palegoldenrod",
-               "darkslateblue",
-               "honeydew",
-               "ivory",
-               "lavender",
-               "mediumvioletred",
-               "indigo",
-               "lavenderblush",
-               "lemonchiffon",
-               "linen",
-               "pink",
-               "mintcream",
-               "red",
-               "mediumblue",
-               "mistyrose",
-               "mediumslateblue",
-               "moccasin",
-               "tomato",
-               "forestgreen",
-               "midnightblue",
-               "navajowhite",
-               "navy",
-               "oldlace",
-               "greenyellow",
-               "navyblue",
-               "papayawhip",
-               "lawngreen",
-               "powderblue",
-               "peachpuff",
-               "seashell",
-               "snow",
-               "thistle",
-               "wheat",
-               "darkkhaki",
-               "mintcream",
-               "khaki",
-               "Magentas",
-               "whitesmoke",
-               "peru",
-               "palegreen",
-               "blueviolet",
-               "rosybrown",
-               "saddlebrown",
-               "springgreen",
-               "darkviolet",
-               "darkslategray",
-               "dimgray",
-               "sienna",
-               "gray",
-               "tan",
-               "gray",
-               "mediumvioletred",
-               "lightgray",
-               "Oranges",
-               "cyan",
-               "lightslategray",
-               "darkorange",
-               "slategray",
-               "orangered",
-               "mediumturquoise",
-               "violet",
-               "paleturquoise"
-       };
-
-       static const int n_colors = sizeof(colors) / sizeof(colors[0]);
-
        FILE *f;
-  set *edges = env->edges;
-  ir_graph *irg = env->irg;
-  char filename[128];
+       set *edges = env->edges;
+       ir_graph *irg = env->irg;
+       char filename[128];
 
-  ir_snprintf(filename, sizeof(filename), "ifg_%s_%F.dot", env->cls->name, irg);
+       ir_snprintf(filename, sizeof(filename), "ifg_%s_%F.dot", env->cls->name, irg);
 
        if((f = fopen(filename, "wt")) != NULL) {
                bitset_pos_t pos;
@@ -239,10 +157,8 @@ static void dump_ifg(const be_chordal_env_t *env)
                bitset_foreach(bs, pos) {
                        int nr = (int) pos;
                        ir_node *irn = get_irn_for_graph_nr(irg, nr);
-                       int color = get_irn_color(irn);
 
-                       ir_fprintf(f, "\tn%d [label=\"%+F\",color=\"%s\"]\n", nr, irn,
-                                       color >= 0 && color < n_colors ? colors[color] : "black");
+                       ir_fprintf(f, "\tn%d [label=\"%+F\"]\n", nr, irn);
                }
 
                for(edge = set_first(edges); edge; edge = set_next(edges)) {
@@ -608,6 +524,45 @@ be_chordal_env_t *be_ra_chordal(ir_graph *irg,
        return env;
 }
 
+void be_ra_chordal_check(be_chordal_env_t *chordal_env) {
+       const arch_env_t *arch_env;
+       struct obstack ob;
+       pmap_entry *pme;
+       ir_node **nodes, *n1, *n2;
+       int i, o;
+
+       arch_env = chordal_env->arch_env;
+
+       /* Collect all irns */
+       obstack_init(&ob);
+       pmap_foreach(chordal_env->border_heads, pme) {
+               border_t *curr;
+               struct list_head *head = pme->value;
+               list_for_each_entry(border_t, curr, head, list)
+                       if (curr->is_def && curr->is_real)
+                               if (arch_get_irn_reg_class(arch_env, curr->irn, arch_pos_make_out(0)) == chordal_env->cls)
+                                       obstack_ptr_grow(&ob, curr->irn);
+       }
+       obstack_ptr_grow(&ob, NULL);
+       nodes = (ir_node **) obstack_finish(&ob);
+
+       /* Check them */
+       for (i = 0, n1 = nodes[i]; n1; n1 = nodes[++i]) {
+               const arch_register_t *n1_reg, *n2_reg;
+
+               n1_reg = arch_get_irn_register(arch_env, n1, 0);
+               assert(arch_reg_is_allocatable(arch_env, n1, arch_pos_make_out(0), n1_reg) && "Register constraint does not hold");
+
+               for (o = i+1, n2 = nodes[o]; n2; n2 = nodes[++o]) {
+                       n2_reg = arch_get_irn_register(arch_env, n2, 0);
+                       assert(!(nodes_interfere(chordal_env, n1, n2) && n1_reg == n2_reg) && "Interfering values have the same color!");
+               }
+       }
+       obstack_free(&ob, NULL);
+}
+
+/* TODO #ifdef BUILD_GRAPH --> faster version of checker with edges */
+
 void be_ra_chordal_done(be_chordal_env_t *env)
 {
 #ifdef BUILD_GRAPH