make transformations before checking 2 addresscode constraints

[libfirm] / ir / be / beifg.c

diff --git a/ir/be/beifg.c b/ir/be/beifg.c
index 75e3405..b99fb58 100644 (file)
--- a/ir/be/beifg.c
+++ b/ir/be/beifg.c
@@ -282,7 +282,6 @@ void be_ifg_check_sorted(const be_ifg_t *ifg)
 
        ir_node *n, *m;
        const int node_count = be_ifg_check_get_node_count(ifg);
-       int neighbours_count = 0;
        int i = 0;
 
        ir_node **all_nodes = xmalloc(node_count * sizeof(all_nodes[0]));
@@ -291,7 +290,7 @@ void be_ifg_check_sorted(const be_ifg_t *ifg)
        {
                if(!node_is_in_irgs_storage(ifg->env->irg, n))
                {
-                       printf ("+%F is in ifg but not in the current irg!",n);
+                       ir_printf("+%F is in ifg but not in the current irg!", n);
                        assert (node_is_in_irgs_storage(ifg->env->irg, n));
                }
 
@@ -334,6 +333,64 @@ void be_ifg_check_sorted(const be_ifg_t *ifg)
 
 }
 
+void be_ifg_check_sorted_to_file(const be_ifg_t *ifg, FILE *f)
+{
+       void *iter1 = be_ifg_nodes_iter_alloca(ifg);
+       void *iter2 = be_ifg_neighbours_iter_alloca(ifg);
+
+       ir_node *n, *m;
+       const int node_count = be_ifg_check_get_node_count(ifg);
+       int i = 0;
+
+       ir_node **all_nodes = xmalloc(node_count * sizeof(all_nodes[0]));
+
+       be_ifg_foreach_node(ifg, iter1, n)
+       {
+               if(!node_is_in_irgs_storage(ifg->env->irg, n))
+               {
+                       ir_fprintf (f,"+%F is in ifg but not in the current irg!",n);
+                       assert (node_is_in_irgs_storage(ifg->env->irg, n));
+               }
+
+               all_nodes[i] = n;
+               i++;
+       }
+
+       qsort(all_nodes, node_count, sizeof(all_nodes[0]), be_ifg_check_cmp_nodes);
+
+       for (i = 0; i < node_count; i++)
+       {
+               ir_node **neighbours = xmalloc(node_count * sizeof(neighbours[0]));
+               int j = 0;
+               int k = 0;
+               int degree = 0;
+
+               degree = be_ifg_degree(ifg, all_nodes[i]);
+
+               be_ifg_foreach_neighbour(ifg, iter2, all_nodes[i], m)
+               {
+                       neighbours[j] = m;
+                       j++;
+               }
+
+               qsort(neighbours, j, sizeof(neighbours[0]), be_ifg_check_cmp_nodes);
+
+               ir_fprintf (f,"%d. %+F's neighbours(%d): ", i+1, all_nodes[i], degree);
+
+               for(k = 0; k < j; k++)
+               {
+                       ir_fprintf (f,"%+F, ", neighbours[k]);
+               }
+
+               ir_fprintf (f,"\n");
+
+               free(neighbours);
+       }
+
+       free(all_nodes);
+
+}
+
 void be_ifg_check_performance(be_chordal_env_t *chordal_env)
 {
        int tests = BE_CH_PERFORMANCETEST_COUNT;