/*
- * Project: libFIRM
- * File name: ir/ir/irprog_t.h
- * Purpose: Entry point to the representation of a whole program 0-- private header.
- * Author: Goetz Lindenmaier
- * Modified by:
- * Created: 2000
- * CVS-ID: $Id$
- * Copyright: (c) 2000-2003 Universität Karlsruhe
- * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ * Copyright (C) 1995-2008 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 irprog_t.h
+ * @file
+ * @brief Entry point to the representation of a whole program 0-- private header.
+ * @author Goetz Lindenmaier
+ * @date 2000
*/
-
-# ifndef _IRPROG_T_H_
-# define _IRPROG_T_H_
-
-#ifdef HAVE_CONFIG_H
-#include "config.h"
-#endif
+#ifndef FIRM_IR_IRPROG_T_H
+#define FIRM_IR_IRPROG_T_H
#include "irprog.h"
-#include "irgraph.h"
-#include "ircgcons.h"
-#include "firm_common_t.h"
-#include "typegmod.h"
+#include "irtypes.h"
+#include "irtypeinfo.h"
+#include "irmemory.h"
-#include "array.h"
+#include "callgraph.h"
-/** ir_prog */
-struct ir_prog {
- firm_kind kind;
- ir_graph *main_irg; /**< entry point to the compiled program
- @@@ or a list, in case we compile a library or the like? */
- ir_graph **graphs; /**< all graphs in the ir */
- type *glob_type; /**< global type. Must be a class as it can
- have fields and procedures. */
- type **types; /**< all types in the ir */
- ir_graph *const_code_irg; /**< This ir graph gives the proper environment
- to allocate nodes the represent values
- of constant entities. It is not meant as
- a procedure. */
-
- irg_outs_state outs_state; /**< Out edges. */
- ir_node **ip_outedges; /**< Huge Array that contains all out edges
- in interprocedural view. */
- ip_view_state ip_view; /**< State of interprocedural view. */
- ident *name;
- /*struct obstack *obst; * @@@ Should we place all types and
- entities on an obstack, too? */
-
-#ifdef DEBUG_libfirm
- long max_node_nr; /**< to generate unique numbers for nodes. */
-#endif
-};
+#include "array.h"
-INLINE void remove_irp_type_from_list (type *typ);
+/* inline functions */
+static inline ir_type *get_segment_type_(ir_segment_t segment)
+{
+ assert(segment <= IR_SEGMENT_LAST);
+ return irp->segment_types[segment];
+}
-static INLINE type *
-__get_glob_type(void) {
- assert(irp);
- return irp->glob_type = skip_tid(irp->glob_type);
+static inline ir_type *get_glob_type_(void)
+{
+ return get_segment_type_(IR_SEGMENT_GLOBAL);
}
-static INLINE int
-__get_irp_n_irgs(void) {
- assert (irp && irp->graphs);
- /* Strangely the first element of the array is NULL. Why?? */
- return (ARR_LEN((irp)->graphs) - 1);
+static inline ir_type *get_tls_type_(void)
+{
+ return get_segment_type_(IR_SEGMENT_THREAD_LOCAL);
}
-static INLINE ir_graph *
-__get_irp_irg(int pos){
- assert (irp && irp->graphs);
- /* Strangely the first element of the array is NULL. Why?? */
- return irp->graphs[pos+1];
+static inline size_t get_irp_n_irgs_(void)
+{
+ assert(irp && irp->graphs);
+ return ARR_LEN(irp->graphs);
}
+static inline ir_graph *get_irp_irg_(size_t pos)
+{
+ assert(pos < ARR_LEN(irp->graphs));
+ return irp->graphs[pos];
+}
-static INLINE int
-__get_irp_n_types (void) {
- assert (irp && irp->types);
- /* Strangely the first element of the array is NULL. Why?? */
- return (ARR_LEN((irp)->types) - 1);
+static inline size_t get_irp_n_types_(void)
+{
+ assert(irp && irp->types);
+ return ARR_LEN(irp->types);
}
-static INLINE type *
-__get_irp_type(int pos) {
- assert (irp && irp->types);
- /* Strangely the first element of the array is NULL. Why?? */
- /* Don't set the skip_tid result so that no double entries are generated. */
- return skip_tid(irp->types[pos+1]);
+static inline ir_type *get_irp_type_(size_t pos)
+{
+ assert(irp->types);
+ assert(pos < ARR_LEN(irp->types));
+ /* Don't set the skip_tid result so that no double entries are generated. */
+ return irp->types[pos];
}
-#ifdef DEBUG_libfirm
/** Returns a new, unique number to number nodes or the like. */
-int get_irp_new_node_nr(void);
-#endif
+static inline long get_irp_new_node_nr(void)
+{
+ assert(irp);
+ return irp->max_node_nr++;
+}
+
+static inline size_t get_irp_new_irg_idx(void)
+{
+ assert(irp);
+ return irp->max_irg_idx++;
+}
-static INLINE ir_graph *
-__get_const_code_irg(void)
+static inline ir_graph *get_const_code_irg_(void)
{
- return irp->const_code_irg;
+ return irp->const_code_irg;
}
-#define get_irp_n_irgs() __get_irp_n_irgs()
-#define get_irp_irg(pos) __get_irp_irg(pos)
-#define get_irp_n_types() __get_irp_n_types()
-#define get_irp_type(pos) __get_irp_type(pos)
-#define get_const_code_irg() __get_const_code_irg()
-#define get_glob_type() __get_glob_type()
+/** Returns a new, unique label number. */
+static inline ir_label_t get_irp_next_label_nr_(void)
+{
+ assert(irp);
+ return ++irp->last_label_nr;
+}
-#endif /* ifndef _IRPROG_T_H_ */
+void set_irp_ip_outedges(ir_node ** ip_outedges);
+ir_node** get_irp_ip_outedges(void);
+
+/** initializes ir_prog. Constructs only the basic lists */
+void init_irprog_1(void);
+
+/** Completes ir_prog. */
+void init_irprog_2(void);
+
+/** Adds type to the list of types in irp. */
+void add_irp_type(ir_type *typ);
+
+/** Removes type from the list of types, deallocates it and
+ shrinks the list by one. */
+void remove_irp_type(ir_type *typ);
+
+/* Inline functions. */
+#define get_irp_n_irgs() get_irp_n_irgs_()
+#define get_irp_irg(pos) get_irp_irg_(pos)
+#define get_irp_n_types() get_irp_n_types_()
+#define get_irp_type(pos) get_irp_type_(pos)
+#define get_const_code_irg() get_const_code_irg_()
+#define get_segment_type(s) get_segment_type_(s)
+#define get_glob_type() get_glob_type_()
+#define get_tls_type() get_tls_type_()
+#define get_irp_next_label_nr() get_irp_next_label_nr_()
+
+#endif