-/* Copyright (C) 2002 by Universitaet Karlsruhe
-** All rights reserved.
-**
-** Authors: Goetz Lindenmaier
-**
-** irbackedges.c Access function for backedges.
-**
-*/
+/*
+ * Copyright (C) 1995-2011 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
+ */
-/* $Id$ */
+/**
+ * @file
+ * @brief Access function for backedges.
+ * @author Goetz Lindenmaier
+ * @date 7.2002
+ */
+#include "config.h"
#include "irnode_t.h"
+#include "irgraph_t.h"
+#include "array.h"
+#include "irbackedge_t.h"
+#include "raw_bitset.h"
-/**********************************************************************/
-/** Backedge information. **/
-/**********************************************************************/
-
-
-/* Returns backarray if the node can have backedges. Else returns
- NULL. */
-inline int *get_backarray(ir_node *n) {
- switch(get_irn_opcode(n)) {
- case iro_Block:
- if (interprocedural_view && n->attr.block.in_cg) {
- assert(n->attr.block.cg_backedge && "backedge array not allocated!");
- return n->attr.block.cg_backedge;
- } else {
- assert(n->attr.block.backedge && "backedge array not allocated!");
- return n->attr.block.backedge;
- }
- break;
- case iro_Phi:
- assert(n->attr.phi_backedge && "backedge array not allocated!");
- return n->attr.phi_backedge;
- break;
- case iro_Filter:
- if (interprocedural_view) {
- assert(n->attr.filter.backedge && "backedge array not allocated!");
- return n->attr.filter.backedge;
- }
- break;
- default: ;
- }
- return NULL;
+/*--------------------------------------------------------------------*/
+/* Backedge information. */
+/*--------------------------------------------------------------------*/
+
+
+/**
+ * Returns backarray if the node can have backedges, else returns
+ * NULL.
+ *
+ * Does not assert whether the backarray is correct -- use
+ * very careful!
+ */
+static bitset_t *mere_get_backarray(const ir_node *n)
+{
+ switch (get_irn_opcode(n)) {
+ case iro_Block:
+ if (!get_Block_matured(n)) return NULL;
+
+ assert(n->attr.block.backedge && "backedge array not allocated!");
+ return n->attr.block.backedge;
+ case iro_Phi:
+ assert(n->attr.phi.u.backedge && "backedge array not allocated!");
+ return n->attr.phi.u.backedge;
+ default:
+ break;
+ }
+ return NULL;
+}
+
+/**
+ * Returns backarray if the node can have backedges, else returns
+ * NULL.
+ */
+static bitset_t *get_backarray(const ir_node *n)
+{
+ bitset_t *ba = mere_get_backarray(n);
+
+#ifndef NDEBUG
+ if (ba) {
+ size_t bal = bitset_size(ba); /* avoid macro expansion in assertion. */
+ size_t inl = get_irn_arity(n);
+ assert(bal == inl && "backedge array with faulty length");
+ }
+#endif
+
+ return ba;
+}
+
+#ifndef NDEBUG
+/**
+ * Returns non-zero if node has no backarray, or
+ * if size of backarray == size of in array.
+ */
+static int legal_backarray(const ir_node *n)
+{
+ bitset_t *ba = mere_get_backarray(n);
+ if (ba && (bitset_size(ba) != (unsigned) get_irn_arity(n)))
+ return 0;
+ return 1;
+}
+#endif
+
+void fix_backedges(struct obstack *obst, ir_node *n)
+{
+ bitset_t *arr = mere_get_backarray(n);
+ unsigned opc;
+ int arity;
+
+ if (! arr)
+ return;
+
+ arity = get_irn_arity(n);
+ if (bitset_size(arr) != (unsigned) arity) {
+ arr = new_backedge_arr(obst, arity);
+
+ opc = get_irn_opcode(n);
+ if (opc == iro_Phi)
+ n->attr.phi.u.backedge = arr;
+ else if (opc == iro_Block) {
+ n->attr.block.backedge = arr;
+ }
+ }
+
+ assert(legal_backarray(n));
+}
+
+int is_backedge(const ir_node *n, int pos)
+{
+ bitset_t *ba = get_backarray(n);
+ if (ba)
+ return bitset_is_set(ba, pos);
+ return 0;
}
-/* 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;
+void set_backedge(ir_node *n, int pos)
+{
+ bitset_t *ba = get_backarray(n);
+ assert(ba && "can only set backedges at Phi, Block nodes.");
+ bitset_set(ba, pos);
}
-/* 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;
+void set_not_backedge(ir_node *n, int pos)
+{
+ bitset_t *ba = get_backarray(n);
+ assert(ba && "can only set backedges at Phi, Block nodes.");
+ bitset_clear(ba, pos);
}
-/* 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;
+int has_backedges(const ir_node *n)
+{
+ bitset_t *ba = get_backarray(n);
+ if (ba != NULL) {
+ return !bitset_is_empty(ba);
+ }
+ return 0;
}
-/* 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[i]) return true;
- return false;
+void clear_backedges(ir_node *n)
+{
+ bitset_t *ba = get_backarray(n);
+ if (ba != NULL) {
+ bitset_clear_all(ba);
+ }
}
-/* Sets all backedge information to zero. */
-void clear_backedges (ir_node *n) {
- int i, rem = interprocedural_view;
- int *ba;
- interprocedural_view = 0;
- ba = get_backarray (n);
- if (ba)
- for (i = 0; i < get_irn_arity(n); i++)
- ba[i] = 0;
- interprocedural_view = 1;
- ba = get_backarray (n);
- if (ba)
- for (i = 0; i < get_irn_arity(n); i++)
- ba[i] = 0;
- interprocedural_view = rem;
+bitset_t *new_backedge_arr(struct obstack *obst, size_t size)
+{
+ return bitset_obstack_alloc(obst, size);
}
projects / libfirm / blobdiff