fixed a bunch of warnings (in OPTIMIZE mode)
[libfirm] / ir / ana / irouts.c
index cf20039..48c9efa 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyrigth (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -53,6 +53,7 @@
 #ifdef DEBUG_libfirm
 /** Clear the outs of a node */
 static void reset_outs(ir_node *node, void *unused) {
+       (void) unused;
        node->out       = NULL;
        node->out_valid = 0;
 }
@@ -92,10 +93,11 @@ int get_Block_n_cfg_outs(ir_node *bl) {
 #ifdef DEBUG_libfirm
        assert(bl->out_valid);
 #endif /* defined DEBUG_libfirm */
-       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i)
-               if ((get_irn_mode(bl->out[i]) == mode_X) &&
-                   (get_irn_op(bl->out[i]) != op_End))
-                       ++n_cfg_outs;
+       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i) {
+               ir_node *succ = bl->out[i];
+               if (get_irn_mode(succ) == mode_X && get_irn_op(succ) != op_End)
+                       n_cfg_outs += PTR_TO_INT(succ->out[0]);
+       }
        return n_cfg_outs;
 }
 
@@ -106,59 +108,72 @@ int get_Block_n_cfg_outs_ka(ir_node *bl) {
 #ifdef DEBUG_libfirm
        assert(bl->out_valid);
 #endif /* defined DEBUG_libfirm */
-       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i)
-               if (get_irn_mode(bl->out[i]) == mode_X) {
-                       /* ignore End if we are in the Endblock */
-                       if (get_irn_op(bl->out[i]) == op_End &&
-                           get_irn_n(bl->out[i], -1) == bl)
-                               continue;
-                       else
-                               ++n_cfg_outs;
+       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i) {
+               ir_node *succ = bl->out[i];
+               if (get_irn_mode(succ) == mode_X) {
+
+                       if (get_irn_op(succ) == op_End) {
+                               /* ignore End if we are in the Endblock */
+                               if (get_irn_n(succ, -1) == bl)
+                                       continue;
+                               else /* count Keep-alive as one */
+                                       n_cfg_outs += 1;
+                       } else
+                               n_cfg_outs += PTR_TO_INT(succ->out[0]);
                }
+       }
        return n_cfg_outs;
 }
 
 /* Access predecessor n, ignore keep-alives. */
 ir_node *get_Block_cfg_out(ir_node *bl, int pos) {
-       int i, out_pos = 0;
+       int i;
        assert(bl && is_Block(bl));
 #ifdef DEBUG_libfirm
        assert (bl->out_valid);
 #endif /* defined DEBUG_libfirm */
-       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i)
-               if ((get_irn_mode(bl->out[i]) == mode_X)  &&
-                       (get_irn_op(bl->out[i]) != op_End)) {
-                       if (out_pos == pos) {
-                               ir_node *cfop = bl->out[i];
-                               return cfop->out[1];
-                       else
-                               ++out_pos;
+       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i) {
+               ir_node *succ = bl->out[i];
+               if (get_irn_mode(succ) == mode_X && get_irn_op(succ) != op_End) {
+                       int n_outs = PTR_TO_INT(succ->out[0]);
+                       if (pos < n_outs)
+                               return succ->out[pos + 1];
+                       else
+                               pos -= n_outs;
                }
+       }
        return NULL;
 }
 
 /* Access predecessor n, honor keep-alives. */
 ir_node *get_Block_cfg_out_ka(ir_node *bl, int pos) {
-       int i, out_pos = 0;
+       int i, n_outs;
        assert(bl && is_Block(bl));
 #ifdef DEBUG_libfirm
        assert (bl->out_valid);
 #endif /* defined DEBUG_libfirm */
-       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i)
-               if (get_irn_mode(bl->out[i]) == mode_X) {
-                       /* ignore End if we are in the Endblock */
-                       if (get_irn_op(bl->out[i]) == op_End &&
-                               get_irn_n(bl->out[i], -1) == bl)
-                               continue;
-                       if (out_pos == pos) {
-                               ir_node *cfop = bl->out[i];
-                               /* handle keep-alive here */
-                               if (get_irn_op(cfop) == op_End)
-                                       return get_irn_n(cfop, -1);
-                               return cfop->out[1];
-                       } else
-                               ++out_pos;
+       for (i = 1; i <= PTR_TO_INT(bl->out[0]); ++i) {
+               ir_node *succ = bl->out[i];
+               if (get_irn_mode(succ) == mode_X) {
+                       if (get_irn_op(succ) == op_End) {
+                               if (get_irn_n(succ, -1) == bl) {
+                                       /* ignore End if we are in the Endblock */
+                                       continue;
+                               }
+                               if (pos == 0) {
+                                       /* handle keep-alive here: return the Endblock instead of the End node */
+                                       return get_irn_n(succ, -1);
+                               } else
+                                       --pos;
+                       } else {
+                               n_outs = PTR_TO_INT(succ->out[0]);
+                               if (pos < n_outs)
+                                       return succ->out[pos + 1];
+                               else
+                                       pos -= n_outs;
+                       }
                }
+       }
        return NULL;
 }
 
@@ -229,14 +244,22 @@ void irg_out_block_walk(ir_node *node,
 
        inc_irg_block_visited(current_ir_graph);
 
-       if (get_irn_mode(node) == mode_X)
-               node = node->out[1];
+       if (get_irn_mode(node) == mode_X) {
+               int i, n;
 
-       irg_out_block_walk2(node, pre, post, env);
+               for (i = 0, n = get_irn_n_outs(node); i < n; ++i) {
+                       ir_node *succ = get_irn_out(node, i);
+                       if (get_irn_visited(succ) < get_irg_visited(current_ir_graph))
+                               irg_out_walk_2(succ, pre, post, env);
+               }
+       }
+       else {
+               irg_out_block_walk2(node, pre, post, env);
+       }
 }
 
 /*--------------------------------------------------------------------*/
-/** Building and Removing the out datasturcture                      **/
+/** Building and Removing the out datastructure                      **/
 /**                                                                  **/
 /** The outs of a graph are allocated in a single, large array.      **/
 /** This allows to allocate and deallocate the memory for the outs   **/
@@ -477,11 +500,13 @@ void free_irp_outs(void) {
  *------------------------------------------------------------*/
 
 
+#ifdef INTERPROCEDURAL_VIEW
 /**
  * Inits the number of outedges for each node
  * before counting.
  */
 static void init_count(ir_node * node, void *env) {
+       (void) env;
        node->out = (ir_node **) 1; /* 1 for the array size */
 }
 
@@ -507,7 +532,6 @@ static void node_arity_count(ir_node * node, void * env) {
        }
 }
 
-
 /*
  * Inits all nodes for setting the outedges
  * Returns the overall count of edges
@@ -548,10 +572,11 @@ static void set_array_pointer(ir_node *node, void *env) {
  * Adds an outedge from the predecessor to the
  * current node.
  */
-static void set_out_pointer(ir_node * node, void * env) {
+static void set_out_pointer(ir_node * node, void *env) {
        int i, arity = get_irn_arity(node);
        ir_node *succ;
        int start = (!is_Block(node)) ? -1 : 0;
+       (void) env;
 
        for (i = start; i < arity; ++i) {
                succ = get_irn_n(node, i);
@@ -601,6 +626,7 @@ void free_ip_outs(void) {
        }
        irp->outs_state = outs_none;
 }
+#endif
 
 
 void free_irg_outs(ir_graph *irg) {