X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Firbackedge.c;h=da5690b94082014c41e772bfc6924842e72c02b0;hb=73eef69c89c2181e7ed3a2f7c09cdaa0f6d997e5;hp=28cd09e2a0f68752e8ef3779cc898be9e8762bc7;hpb=382defb529c86fac61baacb80ce2d6ce3d5f88a9;p=libfirm

diff --git a/ir/ana/irbackedge.c b/ir/ana/irbackedge.c
index 28cd09e2a..da5690b94 100644
--- a/ir/ana/irbackedge.c
+++ b/ir/ana/irbackedge.c
@@ -1,29 +1,35 @@
-/* Copyright (C) 2002 by Universitaet Karlsruhe
-** All rights reserved.
-**
-** Authors:  Goetz Lindenmaier
-**
-** irbackedges.c  Access function for backedges.
-**
-*/
-
-/* $Id$ */
+/*
+ * Project:     libFIRM
+ * File name:   ir/ana/irbackedge.c
+ * Purpose:     Access function for backedges.
+ * Author:      Goetz Lindenmaier
+ * Modified by:
+ * Created:     7.2002
+ * CVS-ID:      $Id$
+ * Copyright:   (c) 2002-2003 Universität Karlsruhe
+ * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ */
 
 #include "irnode_t.h"
 #include "array.h"
 #include "irbackedge_t.h"
 
-/**********************************************************************/
-/** Backedge information.                                            **/
-/**********************************************************************/
+/*--------------------------------------------------------------------*/
+/* Backedge information.                                              */
+/*--------------------------------------------------------------------*/
 
 
-/* Returns backarray if the node can have backedges.  Else returns
-   NULL. Does not assert whether the backarray is correct -- use
-   very careful! */
+/**
+ * Returns backarray if the node can have backedges, else returns
+ * NULL.
+ *
+ * Does not assert whether the backarray is correct -- use
+ * very careful!
+ */
 static INLINE int *mere_get_backarray(ir_node *n) {
-  switch(get_irn_opcode(n)) {
+  switch (get_irn_opcode(n)) {
   case iro_Block:
+    if (!get_Block_matured(n)) return NULL;
     if (interprocedural_view && n->attr.block.in_cg) {
       assert(n->attr.block.cg_backedge && "backedge array not allocated!");
       return n->attr.block.cg_backedge;
@@ -47,8 +53,10 @@ static INLINE int *mere_get_backarray(ir_node *n) {
   return NULL;
 }
 
-/* Returns backarray if the node can have backedges.  Else returns
-   NULL. */
+/**
+ * Returns backarray if the node can have backedges, else returns
+ * NULL.
+ */
 static INLINE int *get_backarray(ir_node *n) {
   int *ba = mere_get_backarray(n);
 
@@ -61,8 +69,10 @@ static INLINE int *get_backarray(ir_node *n) {
   return ba;
 }
 
-/* returns true if node has no backarray, or
-                if size of backarray == size of in array. */
+/**
+ * Returns true if node has no backarray, or
+ *              if size of backarray == size of in array.
+ */
 static INLINE bool legal_backarray (ir_node *n) {
   int *ba = mere_get_backarray(n);
   if (ba && (ARR_LEN(ba) != ARR_LEN(get_irn_in(n))-1))  /* Use get_irn_in -- sensitive to view! */
@@ -87,57 +97,64 @@ INLINE void fix_backedges(struct obstack *obst, ir_node *n) {
     return;
   }
   assert(legal_backarray(n));
-  // @@@ more efficient in memory consumption, not possible with
-  // array implementation.
-  //if (ARR_LEN(arr) < ARR_LEN(get_irn_in(n))-1) {
-  //  ARR_SETLEN(int, arr, ARR_LEN(get_irn_in(n))-1);
-  //}
+  /* @@@ more efficient in memory consumption, not possible with
+   array implementation.
+  if (ARR_LEN(arr) < ARR_LEN(get_irn_in(n))-1) {
+    ARR_SETLEN(int, arr, ARR_LEN(get_irn_in(n))-1);
+  }*/
 }
 
-/* Returns true if the predesessor pos is a backedge. */
+/** Returns true if the predesessor pos is a backedge. */
 bool is_backedge (ir_node *n, int pos) {
   int *ba = get_backarray (n);
   if (ba) return ba[pos];
   return false;
 }
 
-/* Remarks that edge pos is a backedge. */
+/** Remarks that edge pos is a backedge. */
 void set_backedge (ir_node *n, int pos) {
   int *ba = get_backarray (n);
   assert(ba && "can only set backedges at Phi, Filter, Block nodes.");
   ba[pos] = 1;
 }
 
-/* Remarks that edge pos is a backedge. */
+/** Remarks that edge pos is a backedge. */
 void set_not_backedge (ir_node *n, int pos) {
   int *ba = get_backarray (n);
   assert(ba && "can only set backedges at Phi, Filter, Block nodes.");
   ba[pos] = 0;
 }
 
-/* Returns true if n has backedges. */
+/** Returns true if n has backedges. */
 bool has_backedges (ir_node *n) {
   int i;
   int *ba = get_backarray (n);
-  if (ba)
-    for (i = 0; i < get_irn_arity(n); i++)
+  if (ba) {
+    int arity = get_irn_arity(n);
+    for (i = 0; i < arity; i++)
       if (ba[i]) return true;
+  }
   return false;
 }
 
-/* Sets all backedge information to zero. */
+/** Sets all backedge information to zero. */
 void clear_backedges (ir_node *n) {
-  int i, rem = interprocedural_view;
+  int i, arity;
+  int rem = interprocedural_view;
   int *ba;
   interprocedural_view = 0;
   ba = get_backarray (n);
-  if (ba)
-    for (i = 0; i < get_irn_arity(n); i++)
+  if (ba) {
+    arity = get_irn_arity(n);
+    for (i = 0; i < arity; i++)
       ba[i] = 0;
+  }
   interprocedural_view = 1;
   ba = get_backarray (n);
-  if (ba)
-    for (i = 0; i < get_irn_arity(n); i++)
+  if (ba) {
+    arity = get_irn_arity(n);
+    for (i = 0; i < arity; i++)
       ba[i] = 0;
+  }
   interprocedural_view = rem;
 }