Enqueue Phi nodes to reach fixpoint.

[libfirm] / ir / ir / irphase.c

diff --git a/ir/ir/irphase.c b/ir/ir/irphase.c
index 1d4d421..98c01db 100644 (file)
--- a/ir/ir/irphase.c
+++ b/ir/ir/irphase.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.
  *
@@ -17,59 +17,70 @@
  * PURPOSE.
  */
 
-/*
- * Project:     libFIRM
- * File name:   ir/ir/irphase.c
- * Purpose:     Phase information handling using node indexes.
- * Author:      Sebastian Hack
- * Modified by:
- * Created:
- * SVN-ID:      $Id$
- * Copyright:   (c) 1998-2006 Universitaet Karlsruhe
+/**
+ * @file
+ * @brief    Phase information handling using node indexes.
+ * @author   Sebastian Hack
+ * @version  $Id$
+ * @brief
+ *  A phase contains a link to private data for each node in an ir graph.
+ *  A phase is independent from the globally visible link field of ir nodes.
  */
-
-#ifdef HAVE_CONFIG_H
 #include "config.h"
-#endif
 
 #include "array.h"
+#include "util.h"
 #include "irnode_t.h"
+#include "irgraph_t.h"
 #include "irphase_t.h"
 
-ir_phase *phase_init(ir_phase *ph, const char *name, ir_graph *irg, unsigned growth_factor, phase_irn_data_init_t *data_init, void *priv)
+void *phase_irn_init_default(ir_phase *ph, const ir_node *irn)
 {
-       assert(growth_factor >= 256 && "growth factor must greater or equal to 256/256");
-       assert(data_init && "You must provide a data constructor");
+       (void) ph;
+       (void) irn;
+       return NULL;
+}
 
-       obstack_init(&ph->obst);
+void phase_init(ir_phase *phase, ir_graph *irg, phase_irn_init *data_init)
+{
+       memset(phase, 0, sizeof(*phase));
 
-       ph->name          = name;
-       ph->growth_factor = growth_factor;
-       ph->data_init     = data_init;
-       ph->irg           = irg;
-       ph->n_data_ptr    = 0;
-       ph->data_ptr      = NULL;
-       ph->priv          = priv;
+       obstack_init(&phase->obst);
+       phase->data_init  = data_init;
+       phase->irg        = irg;
+       phase->n_data_ptr = 0;
+       phase->data_ptr   = NULL;
+}
 
-       return ph;
+ir_phase *new_phase(ir_graph *irg, phase_irn_init *data_init)
+{
+       ir_phase *phase = XMALLOC(ir_phase);
+       phase_init(phase, irg, data_init);
+       return phase;
 }
 
-void phase_free(ir_phase *phase)
+void phase_deinit(ir_phase *phase)
 {
        obstack_free(&phase->obst, NULL);
-       if(phase->data_ptr)
+       if (phase->data_ptr)
                xfree(phase->data_ptr);
 }
 
+void phase_free(ir_phase *phase)
+{
+       phase_deinit(phase);
+       xfree(phase);
+}
+
 phase_stat_t *phase_stat(const ir_phase *phase, phase_stat_t *stat)
 {
-       int i, n;
+       size_t i, n;
        memset(stat, 0, sizeof(stat[0]));
 
        stat->node_map_bytes = phase->n_data_ptr * sizeof(phase->data_ptr[0]);
        stat->node_slots     = phase->n_data_ptr;
-       for(i = 0, n = phase->n_data_ptr; i < n; ++i) {
-               if(phase->data_ptr[i] != NULL) {
+       for (i = 0, n = phase->n_data_ptr; i < n; ++i) {
+               if (phase->data_ptr[i] != NULL) {
                        stat->node_slots_used++;
                }
        }
@@ -77,36 +88,25 @@ phase_stat_t *phase_stat(const ir_phase *phase, phase_stat_t *stat)
        return stat;
 }
 
-void phase_reinit_irn_data(ir_phase *phase)
+void phase_reinit_irn_data(ir_phase *phase, phase_irn_reinit *data_reinit)
 {
-       int i, n;
-
-       if (! phase->data_init)
-               return;
-
-       for (i = 0, n = phase->n_data_ptr; i < n; ++i) {
-               if (phase->data_ptr[i])
-                       phase->data_init(phase, get_idx_irn(phase->irg, i), phase->data_ptr[i]);
-       }
-}
-
-void phase_reinit_block_irn_data(ir_phase *phase, ir_node *block)
-{
-       int i, n;
+       size_t i, n;
+       ir_graph *irg;
 
        if (! phase->data_init)
                return;
 
+       irg = phase->irg;
        for (i = 0, n = phase->n_data_ptr; i < n; ++i) {
                if (phase->data_ptr[i]) {
-                       ir_node *irn = get_idx_irn(phase->irg, i);
-                       if (! is_Block(irn) && get_nodes_block(irn) == block)
-                               phase->data_init(phase, irn, phase->data_ptr[i]);
+                       ir_node *node = get_idx_irn(irg, i);
+                       phase->data_ptr[i] = data_reinit(phase, node, phase->data_ptr[i]);
                }
        }
 }
 
-ir_node *phase_get_first_node(ir_phase *phase) {
+ir_node *phase_get_first_node(const ir_phase *phase)
+{
        unsigned i;
 
        for (i = 0; i < phase->n_data_ptr;  ++i)
@@ -116,7 +116,8 @@ ir_node *phase_get_first_node(ir_phase *phase) {
        return NULL;
 }
 
-ir_node *phase_get_next_node(ir_phase *phase, ir_node *start) {
+ir_node *phase_get_next_node(const ir_phase *phase, ir_node *start)
+{
        unsigned i;
 
        for (i = get_irn_idx(start) + 1; i < phase->n_data_ptr; ++i)