/*
- * Project: libFIRM
- * File name: ir/ana/trouts.h
- * Purpose: Reverse edges that reference types/entities.
- * Author: Goetz Lindenmaier
- * Modified by:
- * Created: 29.10.2004
- * CVS-ID: $Id$
- * Copyright: (c) 2004 Universität Karlsruhe
- * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ * Copyright (C) 1995-2007 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.
*/
/**
- * @file trouts.h
- *
- * Trouts list all uses of types and entities.
- * Each type gets a list of all Alloc nodes allocating it.
- * Each entity gets two lists:
- * - one containing all accesses (Load, (Call), Store),
- * - and one containing all uses to get a reference (Sel, SymConst).
+ * @file
+ * @brief Reverse edges that reference types/entities.
+ * @author Goetz Lindenmaier
+ * @date 29.10.2004
+ * @version $Id$
+ * @summary
+ * Trouts list all uses of types and entities.
+ * Each type gets a list of all Alloc nodes allocating it.
+ * Each entity gets two lists:
+ * - one containing all accesses (Load, (Call), Store),
+ * - and one containing all uses to get a reference (Sel, SymConst).
*
* @todo
* To list all uses of entities of a type, we also should list all
* static/automatic allocated entities in types. The Alloc nodes
* represent only the dynamic allocated entities.
- *
- * @author Goetz Lindenmaier
- *
*/
+#ifndef FIRM_ANA_TROUTS_H
+#define FIRM_ANA_TROUTS_H
-# ifndef _TROUTS_H_
-# define _TROUTS_H_
-
-#include "type.h"
-#include "entity.h"
-#include "irnode.h"
+#include "firm_types.h"
+#include "irgraph.h"
/*-----------------------------------------------------------------*/
/* Accessing the trout datastructures. */
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
/** Number of Load/Store nodes that possibly access this entity. */
-int get_entity_n_accesses(entity *ent);
+int get_entity_n_accesses(ir_entity *ent);
/** Load/Store node that possibly access this entity. */
-ir_node *get_entity_access(entity *ent, int pos);
+ir_node *get_entity_access(ir_entity *ent, int pos);
/** Number of references to an entity, in form of SymConst/Sel.
* Including references from constant entities and the like. */
-int get_entity_n_references(entity *ent);
+int get_entity_n_references(ir_entity *ent);
/** References to an entity, in form of SymConst/Sel
* Including references from constants. */
-ir_node *get_entity_reference(entity *ent, int pos);
+ir_node *get_entity_reference(ir_entity *ent, int pos);
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
/* types */
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
/** Number of Alloc nodes that create an instance of this type. */
-int get_type_n_allocs(type *tp);
+int get_type_n_allocs(ir_type *tp);
/** Alloc node that create an instance of this type. */
-ir_node *get_type_alloc(type *tp, int pos);
+ir_node *get_type_alloc(ir_type *tp, int pos);
/** Number of Cast nodes that cast a pointer to this type. */
-int get_type_n_casts(type *tp);
+int get_type_n_casts(ir_type *tp);
/** Cast node that cast a pointer to this type. */
-ir_node *get_type_cast(type *tp, int pos);
+ir_node *get_type_cast(ir_type *tp, int pos);
+void add_type_cast(ir_type *tp, ir_node *cast);
/** Return number of upcasts. O(#casts). */
-int get_class_n_upcasts(type *clss);
+int get_class_n_upcasts(ir_type *clss);
/** Return number of downcasts. O(#casts). */
-int get_class_n_downcasts(type *clss);
+int get_class_n_downcasts(ir_type *clss);
/* Access all pointer types that point to tp. */
-int get_type_n_pointertypes_to(type *tp);
-type *get_type_pointertype_to(type *tp, int pos);
+int get_type_n_pointertypes_to(ir_type *tp);
+ir_type *get_type_pointertype_to(ir_type *tp, int pos);
+void add_type_pointertype_to(ir_type *tp, ir_type *ptp);
+
+/* Access all array types that contain elements of type tp.
+ * Does not find subarrays, e.g., int[] being element of int[][]
+ * for multi dimensional arrays. */
+int get_type_n_arraytypes_of(ir_type *tp);
+ir_type *get_type_arraytype_of(ir_type *tp, int pos);
+void add_type_arraytype_of(ir_type *tp, ir_type *atp);
+
+
/* @@@ TODO: compute all entities that use a type. */
* We reuse the enum of irouts.
* @see irouts.h. */
irg_outs_state get_trouts_state(void);
+/** Set the tr out state to inconsistent if it is consistent. */
void set_trouts_inconsistent(void);
/** Compute the outs of types and entities.
/** Free trout data. */
void free_trouts(void);
-
-#endif /* _TROUTS_H_ */
+#endif
projects / libfirm / blobdiff