Remove obsolete outs invalidation

[libfirm] / ir / ana / dfs.c

diff --git a/ir/ana/dfs.c b/ir/ana/dfs.c
index a85064a..cf96c45 100644 (file)
--- a/ir/ana/dfs.c
+++ b/ir/ana/dfs.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -22,16 +22,16 @@
  * @author  Sebastian Hack
  * @date    20.04.2007
  * @version $Id$
- * @summary
+ * @brief
  *
  * Simple depth first search on CFGs.
  */
-#ifdef HAVE_CONFIG_H
 #include <config.h>
-#endif
 
 #include <stdlib.h>
 
+#define DISABLE_STATEV
+
 #include <assert.h>
 #include "irtools.h"
 #include "irprintf.h"
@@ -40,17 +40,10 @@
 #include "statev.h"
 #include "dfs_t.h"
 
-static const char *edge_names[] = {
-       "anc",
-       "fwd",
-       "cross",
-       "back"
-};
-
 static int cmp_edge(const void *a, const void *b, size_t sz)
 {
-       const dfs_edge_t *p = a;
-       const dfs_edge_t *q = b;
+       const dfs_edge_t *p = (const dfs_edge_t*) a;
+       const dfs_edge_t *q = (const dfs_edge_t*) b;
        (void) sz;
 
        return !(p->src == q->src && p->tgt == q->tgt);
@@ -58,8 +51,8 @@ static int cmp_edge(const void *a, const void *b, size_t sz)
 
 static int cmp_node(const void *a, const void *b, size_t sz)
 {
-       const dfs_node_t *p = a;
-       const dfs_node_t *q = b;
+       const dfs_node_t *p = (const dfs_node_t*) a;
+       const dfs_node_t *q = (const dfs_node_t*) b;
        (void) sz;
 
        return p->node != q->node;
@@ -74,9 +67,9 @@ static dfs_edge_t *get_edge(const dfs_t *self, const void *src, const void *tgt)
 
        templ.src = src;
        templ.tgt = tgt;
-       templ.kind = -1;
+       templ.kind = (dfs_edge_kind_t) -1;
 
-       return set_insert(self->edges, &templ, sizeof(templ), hash);
+       return (dfs_edge_t*) set_insert(self->edges, &templ, sizeof(templ), hash);
 }
 
 static void dfs_perform(dfs_t *dfs, void *n, void *anc, int level)
@@ -95,7 +88,7 @@ static void dfs_perform(dfs_t *dfs, void *n, void *anc, int level)
 
        dfs->graph_impl->grow_succs(dfs->graph, n, &dfs->obst);
        obstack_ptr_grow(&dfs->obst, NULL);
-       succs = obstack_finish(&dfs->obst);
+       succs = (void**) obstack_finish(&dfs->obst);
 
        for (iter = succs; *iter; ++iter) {
                void *p = *iter;
@@ -121,13 +114,13 @@ static void dfs_perform(dfs_t *dfs, void *n, void *anc, int level)
 
 static void classify_edges(dfs_t *dfs)
 {
+       dfs_edge_t *edge;
        stat_ev_cnt_decl(anc);
        stat_ev_cnt_decl(back);
        stat_ev_cnt_decl(fwd);
        stat_ev_cnt_decl(cross);
-       dfs_edge_t *edge;
 
-       foreach_set (dfs->edges, edge) {
+       foreach_set (dfs->edges, dfs_edge_t*, edge) {
                dfs_node_t *src = edge->s;
                dfs_node_t *tgt = edge->t;
 
@@ -167,7 +160,7 @@ dfs_edge_kind_t dfs_get_edge_kind(const dfs_t *dfs, const void *a, const void *b
 
 dfs_t *dfs_new(const absgraph_t *graph_impl, void *graph_self)
 {
-       dfs_t *res = xmalloc(sizeof(res[0]));
+       dfs_t *res = XMALLOC(dfs_t);
        dfs_node_t *node;
 
        res->graph_impl = graph_impl;
@@ -182,11 +175,28 @@ dfs_t *dfs_new(const absgraph_t *graph_impl, void *graph_self)
        obstack_init(&res->obst);
 
        dfs_perform(res, graph_impl->get_root(graph_self), NULL, 0);
+
+       /* make sure the end node (which might not be accessible) has a number */
+       node = get_node(res, graph_impl->get_end(graph_self));
+       if (!node->visited) {
+               node->visited     = 1;
+               node->node        = graph_impl->get_end(graph_self);
+               node->ancestor    = NULL;
+               node->pre_num     = res->pre_num++;
+               node->post_num    = res->post_num++;
+               node->max_pre_num = node->pre_num;
+               node->level       = 0;
+       }
+
        classify_edges(res);
 
-       res->pre_order = xmalloc(res->pre_num * sizeof(res->pre_order));
-       res->post_order = xmalloc(res->pre_num * sizeof(res->post_order));
-       foreach_set (res->nodes, node) {
+       assert(res->pre_num == res->post_num);
+       res->pre_order  = XMALLOCN(dfs_node_t*, res->pre_num);
+       res->post_order = XMALLOCN(dfs_node_t*, res->post_num);
+       foreach_set (res->nodes, dfs_node_t*, node) {
+               assert(node->pre_num < res->pre_num);
+               assert(node->post_num < res->post_num);
+
                res->pre_order[node->pre_num] = node;
                res->post_order[node->post_num] = node;
        }
@@ -212,7 +222,7 @@ static void dfs_dump_edge(const dfs_edge_t *edge, FILE *file)
        const char *s, *style;
        int weight;
 
-#define XXX(e)         case DFS_EDGE_ ## e: s = #e; break
+#define XXX(e)   case DFS_EDGE_ ## e: s = #e; break
        switch (edge->kind) {
                XXX(FWD);
                XXX(CROSS);
@@ -239,13 +249,13 @@ static int node_level_cmp(const void *a, const void *b)
 
 void dfs_dump(const dfs_t *dfs, FILE *file)
 {
-       dfs_node_t **nodes = xmalloc(dfs->pre_num * sizeof(nodes[0]));
+       dfs_node_t **nodes = XMALLOCN(dfs_node_t*, dfs->pre_num);
        dfs_node_t *node;
        dfs_edge_t *edge;
        int i, n = 0;
 
        ir_fprintf(file, "digraph G {\nranksep=0.5\n");
-       foreach_set (dfs->nodes, node) {
+       foreach_set (dfs->nodes, dfs_node_t*, node) {
                nodes[n++] = node;
        }
 
@@ -265,7 +275,7 @@ void dfs_dump(const dfs_t *dfs, FILE *file)
 
        for (i = 0; i < n; ++i) {
                dfs_node_t *node = nodes[i];
-               ir_fprintf(file, "\tn%d [label=\"%d\"]\n", node->pre_num, get_Block_dom_tree_pre_num(node->node));
+               ir_fprintf(file, "\tn%d [label=\"%d\"]\n", node->pre_num, get_Block_dom_tree_pre_num((ir_node*) node->node));
 #if 0
                ir_fprintf(file, "\tn%d [shape=box,label=\"%+F\\l%d %d/%d %d\"];\n",
                                node->pre_num, node->node, get_Block_dom_tree_pre_num(node->node),
@@ -273,7 +283,7 @@ void dfs_dump(const dfs_t *dfs, FILE *file)
 #endif
        }
 
-       foreach_set (dfs->edges, edge)
+       foreach_set (dfs->edges, dfs_edge_t*, edge)
                dfs_dump_edge(edge, file);
 
        ir_fprintf(file, "}\n");