Add is_Conv().
[libfirm] / ir / ir / ircgcons.h
index aa31da4..2f627b1 100644 (file)
@@ -1,32 +1,67 @@
 /*
- * Project:     libFIRM
- * File name:   ir/ir/ircgcons.h
- * Purpose:     Construction and removal of interprocedural representation
- *              (explicit interprocedural dependencies).
- * Author:      Hubert Schmid
- * Modified by:
- * Created:     09.06.2002
- * CVS-ID:      $Id$
- * Copyright:   (c) 2002-2003 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
+ * @brief   Construction and removal of interprocedural representation
+ *          (explicit interprocedural dependencies).
+ * @author  Hubert Schmid
+ * @date    09.06.2002
+ * @version $Id$
+ */
+#ifndef FIRM_IR_IRCGCONS_H
+#define FIRM_IR_IRCGCONS_H
 
-#ifndef _CONSTRUCT_H_
-#define _CONSTRUCT_H_
-
+#include "firm_types.h"
 
-#include "entity.h"
+/** The state of the interprocedural view.
+ *
+ * This value indicates the state of the interprocedural view.
+ */
+typedef enum {
+  ip_view_no,       /**< The interprocedural view is not constructed.  There are no
+                         view specific nodes (EndReg, Filter, Break ...) in any graph.  */
+  ip_view_valid,    /**< The interprocedural view is valid.  */
+  ip_view_invalid   /**< The interprocedural view is invalid.  Specific nodes are
+                         all still in the representation, but the graph is no more complete. */
+} ip_view_state;
 
+/** Return the current state of the interprocedural view. */
+ip_view_state get_irp_ip_view_state(void);
+/** Set the state of the interprocedural view to invalid. */
+void set_irp_ip_view_invalid(void);
 
-/* Aufbau der interprozeduralen Darstellung.  In den Call-Operationen
- * muessen alle potentiellen callees gespeichert sein. */
-void cg_construct(int arr_len, entity *free_methods_arr[]);
+/** Construction of the interprocedural view.
+ *
+ * Construction of the interprocedural view.  A prior analysis must have set
+ * all possible callees in the corresponding fields of Call nodes.  Sets
+ * ip_view_valid in irp.
+ *
+ * @arg free_methods_arr: An array of all free methods, i.e., methods that
+ *                        are external visible.  These methods get an 'Unknown'
+ *                        caller.
+ * @arg arr_len           The number of free methods. */
+void cg_construct(int arr_len, ir_entity *free_methods_arr[]);
 
 
-/* Abbau der interprozeduralen (Sichten-) Darstellung, in eine
* gewoehnliche intraprozedurale Darstellung */
+/** Deconstruction of the interprocedural view.  Reduces memory consumption of
   the ir. Sets ip_view_no in irp. */
 void cg_destruct(void);
 
-
-#endif /* _CONSTRUCT_H_ */
+#endif