/*
- * Project: libFIRM
- * File name: ir/tr/entity_t.h
- * Purpose: Representation of all program known entities -- private header.
- * Author: Martin Trapp, Christian Schaefer
- * Modified by: Goetz Lindenmaier, Michael Beck
- * Created:
- * CVS-ID: $Id$
- * Copyright: (c) 1998-2007 Universität Karlsruhe
- * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
- */
-
-/**
- * @file entity_t.h
+ * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
*
- * entity.h: entities represent all program known objects.
+ * This file is part of libFirm.
*
- * @author Martin Trapp, Christian Schaefer, Goetz Lindenmaier
+ * 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.
*
- * An entity is the representation of program known objects in Firm.
- * The primary concept of entities is to represent members of complex
- * types, i.e., fields and methods of classes. As not all programming
- * language model all variables and methods as members of some class,
- * the concept of entities is extended to cover also local and global
- * variables, and arbitrary procedures.
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
*
- * An entity always specifies the type of the object it represents and
- * the type of the object it is a part of, the owner of the entity.
- * Originally this is the type of the class of which the entity is a
- * member.
- * The owner of local variables is the procedure they are defined in.
- * The owner of global variables and procedures visible in the whole
- * program is a universally defined class type "GlobalType". The owner
- * of procedures defined in the scope of an other procedure is the
- * enclosing procedure.
+ * 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 entity_t.h
+ * @brief Representation of all program known entities -- private header.
+ * @author Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Michael Beck
+ * @version $Id$
*/
+#ifndef FIRM_TR_ENTITY_T_H
+#define FIRM_TR_ENTITY_T_H
-#ifndef _FIRM_TR_ENTITY_T_H_
-#define _FIRM_TR_ENTITY_T_H_
+#include <assert.h>
#include "firm_common_t.h"
#include "firm_config.h"
+#include "typerep.h"
#include "type_t.h"
-#include "entity.h"
-#include "typegmod.h"
-#include "mangle.h"
+#include "ident.h"
#include "pseudo_irg.h"
+typedef struct ir_initializer_base_t {
+ ir_initializer_kind_t kind;
+} ir_initializer_base_t;
+
+typedef struct ir_initializer_compound_t {
+ ir_initializer_base_t base;
+ unsigned n_initializers;
+ ir_initializer_t *initializers[1];
+} ir_initializer_compound_t;
+
+typedef struct ir_initializer_const_t {
+ ir_initializer_base_t base;
+ ir_node *value;
+} ir_initializer_const_t ;
+
+typedef struct ir_initializer_tarval_t {
+ ir_initializer_base_t base;
+ tarval *value;
+} ir_initializer_tarval_t ;
+
+union ir_initializer_t {
+ ir_initializer_kind_t kind;
+ ir_initializer_base_t base;
+ ir_initializer_compound_t compound;
+ ir_initializer_const_t consti;
+ ir_initializer_tarval_t tarval;
+};
+
/** A path in a compound graph. */
struct compound_graph_path {
firm_kind kind; /**< The dynamic type tag for compound graph path. */
ir_type *type; /**< The type of this entity, e.g., a method type, a
basic type of the language or a class itself. */
ir_type *owner; /**< The compound type (e.g. class type) this entity belongs to. */
- ir_allocation allocation:3; /**< Distinguishes static and dynamically allocated
- entities and some further cases. */
- ir_visibility visibility:3; /**< Specifies visibility to external program fragments. */
- ir_variability variability:3; /**< Specifies variability of entities content. */
- ir_volatility volatility:2; /**< Specifies volatility of entities content. */
- ir_stickyness stickyness:2; /**< Specifies whether this entity is sticky. */
- ir_peculiarity peculiarity:3; /**< The peculiarity of this entity. */
- ir_address_taken_state address_taken:3; /**< A flag that can be set to mark address taken entities. */
+ unsigned allocation:3; /**< Distinguishes static and dynamically allocated
+ entities and some further cases. */
+ unsigned visibility:3; /**< Specifies visibility to external program fragments. */
+ unsigned variability:3; /**< Specifies variability of entities content. */
+ unsigned volatility:1; /**< Specifies volatility of entities content. */
+ unsigned align:1; /**< Specifies alignment of entities content. */
+ unsigned stickyness:2; /**< Specifies whether this entity is sticky. */
+ unsigned peculiarity:3; /**< The peculiarity of this entity. */
+ unsigned address_taken:3; /**< A flag that can be set to mark address taken entities. */
unsigned final:1; /**< If set, this entity cannot be overridden. */
unsigned compiler_gen:1; /**< If set, this entity was compiler generated. */
+ unsigned backend_marked:1; /**< If set, this entity was marked by the backend for emission. */
+ unsigned has_initializer:1;
int offset; /**< Offset in bytes for this entity. Fixed when layout
of owner is determined. */
unsigned char offset_bit_remainder;
compound_ent_attr cmpd_attr;
/* ------------- fields for method entities ---------------- */
method_ent_attr mtd_attr;
+ /* entity initializer */
+ ir_initializer_t *initializer;
} attr; /**< type specific attributes */
/* ------------- fields for analyses ---------------*/
ent->volatility = vol;
}
+static INLINE ir_align
+_get_entity_align(const ir_entity *ent) {
+ assert(ent && ent->kind == k_entity);
+ return ent->align;
+}
+
+static INLINE void
+_set_entity_align(ir_entity *ent, ir_align a) {
+ assert(ent && ent->kind == k_entity);
+ ent->align = a;
+}
+
static INLINE ir_peculiarity
_get_entity_peculiarity(const ir_entity *ent) {
assert(ent && ent->kind == k_entity);
ent->compiler_gen = flag ? 1 : 0;
}
+static INLINE int
+_is_entity_backend_marked(const ir_entity *ent) {
+ assert(ent && ent->kind == k_entity);
+ return ent->backend_marked;
+}
+
+static INLINE void
+_set_entity_backend_marked(ir_entity *ent, int flag) {
+ assert(ent && ent->kind == k_entity);
+ ent->backend_marked = flag ? 1 : 0;
+}
+
static INLINE ir_address_taken_state
_get_entity_address_taken(const ir_entity *ent) {
assert(ent && ent->kind == k_entity);
static INLINE void
_set_entity_address_taken(ir_entity *ent, ir_address_taken_state state) {
assert(ent && ent->kind == k_entity);
- assert(ir_address_not_taken <= state && state <= ir_address_taken);
+ assert(state == ir_address_not_taken ||
+ state == ir_address_taken_unknown ||
+ state == ir_address_taken);
ent->address_taken = state;
}
static INLINE ir_graph *
_get_entity_irg(const ir_entity *ent) {
+ ir_graph *irg;
assert(ent && ent->kind == k_entity);
assert(ent == unknown_entity || is_Method_type(ent->type));
- if (!get_visit_pseudo_irgs() && ent->attr.mtd_attr.irg
- && is_pseudo_ir_graph(ent->attr.mtd_attr.irg))
+ irg = ent->attr.mtd_attr.irg;
+ if (irg != NULL && !get_visit_pseudo_irgs() && is_pseudo_ir_graph(irg))
return NULL;
- return ent->attr.mtd_attr.irg;
+ return irg;
}
static INLINE unsigned long
return ent->repr_class;
}
+static INLINE dbg_info *
+_get_entity_dbg_info(const ir_entity *ent) {
+ return ent->dbi;
+}
+
+static INLINE void
+_set_entity_dbg_info(ir_entity *ent, dbg_info *db) {
+ ent->dbi = db;
+}
+
+
#define is_entity(thing) _is_entity(thing)
#define get_entity_name(ent) _get_entity_name(ent)
#define get_entity_ident(ent) _get_entity_ident(ent)
#define get_entity_variability(ent) _get_entity_variability(ent)
#define get_entity_volatility(ent) _get_entity_volatility(ent)
#define set_entity_volatility(ent, vol) _set_entity_volatility(ent, vol)
+#define get_entity_align(ent) _get_entity_align(ent)
+#define set_entity_align(ent, a) _set_entity_align(ent, a)
#define get_entity_peculiarity(ent) _get_entity_peculiarity(ent)
#define set_entity_peculiarity(ent, pec) _set_entity_peculiarity(ent, pec)
#define get_entity_stickyness(ent) _get_entity_stickyness(ent)
#define set_entity_final(ent, final) _set_entity_final(ent, final)
#define is_entity_compiler_generated(ent) _is_entity_compiler_generated(ent)
#define set_entity_compiler_generated(ent, flag) _set_entity_compiler_generated(ent, flag)
+#define is_entity_backend_marked(ent) _is_entity_backend_marked(ent)
+#define set_entity_backend_marked(ent, flag) _set_entity_backend_marked(ent, flag)
#define get_entity_address_taken(ent) _get_entity_address_taken(ent)
#define set_entity_address_taken(ent, flag) _set_entity_address_taken(ent, flag)
#define get_entity_offset(ent) _get_entity_offset(ent)
#define entity_visited(ent) _entity_visited(ent)
#define entity_not_visited(ent) _entity_not_visited(ent)
#define get_entity_repr_class(ent) _get_entity_repr_class(ent)
+#define get_entity_dbg_info(ent) _get_entity_dbg_info(ent)
+#define set_entity_dbg_info(ent, db) _set_entity_dbg_info(ent, db)
-#endif /* _FIRM_TR_ENTITY_T_H_ */
+#endif /* FIRM_TR_ENTITY_T_H */