* Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
*/
-# ifndef _TYPE_T_H_
-# define _TYPE_T_H_
+#ifndef _TYPE_T_H_
+#define _TYPE_T_H_
-# include "firm_config.h"
-# include "type.h"
-# include "tpop_t.h"
+#include "firm_config.h"
+#include "type.h"
+#include "tpop_t.h"
+#include "irgraph.h"
-# include "array.h"
+#include "array.h"
/**
* @file type_t.h
int dfn; /**< number used for 'instanceof' operator */
} cls_attr;
-/** struct attributs */
+/** struct attributes */
typedef struct {
- entity **members; /**< fields of this struct. No method entities
- allowed. */
+ entity **members; /**< fields of this struct. No method entities allowed. */
} stc_attr;
+/** A (type, entity) pair */
+typedef struct {
+ type *tp; /**< a type */
+ entity *ent; /**< an entity */
+} tp_ent_pair;
+
/** method attributes */
typedef struct {
- int n_params; /**< number of parameters */
- type **param_type; /**< code generation needs this information. */
- type *value_params; /**< A type whose entities represent copied value arguments. */
- int n_res; /**< number of results */
- type **res_type; /**< array with result types */
- type *value_ress; /**< A type whose entities represent copied value results. */
- variadicity variadicity; /**< variadicity of the method. */
- int first_variadic_param; /**< index of the first variadic param or -1 if non-variadic .*/
+ int n_params; /**< number of parameters */
+ tp_ent_pair *param_type; /**< array of parameter type/value entities pairs */
+ type *value_params; /**< A type whose entities represent copied value arguments. */
+ int n_res; /**< number of results */
+ tp_ent_pair *res_type; /**< array of result type/value entity pairs */
+ type *value_ress; /**< A type whose entities represent copied value results. */
+ variadicity variadicity; /**< variadicity of the method. */
+ int first_variadic_param; /**< index of the first variadic param or -1 if non-variadic .*/
+ unsigned additional_properties; /**< Set of additional method properties. */
+ unsigned irg_calling_conv; /**< this is a set of calling convention flags. */
} mtd_attr;
-/** union attributs */
+/** union attributes */
typedef struct {
- int n_types;
- /* type **unioned_type; * a list of unioned types. */
- /* ident **delim_names; * names of the union delimiters. */
- entity **members; /**< fields of this union. No method entities
- allowed. */
-
+ entity **members; /**< fields of this union. No method entities allowed. */
} uni_attr;
-/** array attributs */
+/** array attributes */
typedef struct {
- int n_dimensions; /**< Number of array dimensions. */
- ir_node **lower_bound; /**< Lower bounds of dimensions. Usually all 0. */
- ir_node **upper_bound; /**< Upper bounds or dimensions. */
- int *order; /**< Ordering of dimensions. */
- type *element_type; /**< The type of the array elements. */
- entity *element_ent; /**< Entity for the array elements, to be used for
- element selection with Sel. */
+ int n_dimensions; /**< Number of array dimensions. */
+ ir_node **lower_bound; /**< Lower bounds of dimensions. Usually all 0. */
+ ir_node **upper_bound; /**< Upper bounds or dimensions. */
+ int *order; /**< Ordering of dimensions. */
+ type *element_type; /**< The type of the array elements. */
+ entity *element_ent; /**< Entity for the array elements, to be used for
+ element selection with Sel. */
} arr_attr;
-/** enum attributs */
+/** enum attributes */
typedef struct {
int n_enums; /**< Number of enumerators. */
tarval **enumer; /**< Contains all constants that represent a member
the source program */
} enm_attr;
-/** pointer attributs */
+/** pointer attributes */
typedef struct {
- type *points_to; /**< The type of the enitity the pointer points to. */
+ type *points_to; /**< The type of the entity the pointer points to. */
} ptr_attr;
/*
} id_attr;
*/
-/** General type attributs. */
+/** General type attributes. */
typedef union {
cls_attr ca; /**< attributes of a class type */
stc_attr sa; /**< attributes of a struct type */
firm_kind kind; /**< the firm kind, must be k_type */
const tp_op *type_op; /**< the type operation of the type */
ident *name; /**< The name of the type */
+ visibility visibility; /**< Visibility of entities of this type. */
+ char frame_type; /**< True if this is a frame type, false else */
type_state state; /**< Represents the types state: layout undefined or
- fixed. */
+ fixed. */
int size; /**< Size of an entity of this type. This is determined
- when fixing the layout of this class. Size must be
- given in bits. */
+ when fixing the layout of this class. Size must be
+ given in bits. */
int align; /**< Alignment of an entity of this type. This should be
set according to the source language needs. If not set it's
calculated automatically by get_type_alignment().
ir_mode *mode; /**< The mode for atomic types */
unsigned long visit; /**< visited counter for walks of the type information */
void *link; /**< holds temporary data - like in irnode_t.h */
- struct dbg_info* dbi; /**< A pointer to information for debug support. */
+ struct dbg_info *dbi; /**< A pointer to information for debug support. */
/* ------------- fields for analyses ---------------*/
/**
* Creates a new type representation:
*
- * @param type_op - the kind of this type. May not be type_id.
- * @param mode - the mode to be used for this type, may be NULL
- * @param name - an ident for the name of this type.
+ * @param type_op the kind of this type. May not be type_id.
+ * @param mode the mode to be used for this type, may be NULL
+ * @param name an ident for the name of this type.
+ * @param db debug info
*
* @return A new type of the given type. The remaining private attributes are not
* initialized. The type is in state layout_undefined.
*/
-INLINE type *
-new_type(tp_op *type_op,
- ir_mode *mode,
- ident* name);
+type *
+new_type(tp_op *type_op, ir_mode *mode, ident *name, dbg_info *db);
void free_type_attrs (type *tp);
-INLINE void free_class_entities (type *clss);
-INLINE void free_struct_entities (type *strct);
-INLINE void free_method_entities (type *method);
-INLINE void free_union_entities (type *uni);
-INLINE void free_array_entities (type *array);
-INLINE void free_enumeration_entities(type *enumeration);
-INLINE void free_pointer_entities (type *pointer);
-INLINE void free_primitive_entities (type *primitive);
-
-INLINE void free_class_attrs (type *clss);
-INLINE void free_struct_attrs (type *strct);
-INLINE void free_method_attrs (type *method);
-INLINE void free_union_attrs (type *uni);
-INLINE void free_array_attrs (type *array);
-INLINE void free_enumeration_attrs(type *enumeration);
-INLINE void free_pointer_attrs (type *pointer);
-INLINE void free_primitive_attrs (type *primitive);
+void free_class_entities (type *clss);
+void free_struct_entities (type *strct);
+void free_method_entities (type *method);
+void free_union_entities (type *uni);
+void free_array_entities (type *array);
+void free_enumeration_entities(type *enumeration);
+void free_pointer_entities (type *pointer);
+
+void free_array_automatic_entities(type *array);
+
+void free_class_attrs (type *clss);
+void free_struct_attrs (type *strct);
+void free_method_attrs (type *method);
+void free_union_attrs (type *uni);
+void free_array_attrs (type *array);
+void free_enumeration_attrs(type *enumeration);
+void free_pointer_attrs (type *pointer);
+
+void set_class_mode(type *tp, ir_mode *mode);
+void set_struct_mode(type *tp, ir_mode *mode);
+void set_pointer_mode(type *tp, ir_mode *mode);
+void set_primitive_mode(type *tp, ir_mode *mode);
+void set_enumeration_mode(type *tp, ir_mode *mode);
+
+void set_class_size_bits(type *tp, int bits);
+void set_struct_size_bits(type *tp, int bits);
+void set_union_size_bits(type *tp, int bits);
+void set_array_size_bits(type *tp, int size);
+void set_default_size_bits(type *tp, int size);
-
-/** initialize the type module */
-void init_type (void);
+/**
+ * Initialize the type module.
+ *
+ * @param builtin_db debug info for builtin objects
+ * @param default_cc_mask default calling conventions for methods
+ */
+void firm_init_type(dbg_info *builtin_db, unsigned default_cc_mask);
/* ------------------- *
* inline functions *
* ------------------- */
-extern unsigned long type_visited;
+extern unsigned long firm_type_visited;
-static INLINE void _set_master_type_visited(unsigned long val) { type_visited = val; }
-static INLINE unsigned long _get_master_type_visited(void) { return type_visited; }
-static INLINE void _inc_master_type_visited(void) { type_visited++; }
+static INLINE void _set_master_type_visited(unsigned long val) { firm_type_visited = val; }
+static INLINE unsigned long _get_master_type_visited(void) { return firm_type_visited; }
+static INLINE void _inc_master_type_visited(void) { ++firm_type_visited; }
static INLINE void *
_get_type_link(const type *tp) {
static INLINE void
_mark_type_visited(type *tp) {
assert(tp && tp->kind == k_type);
- assert(tp->visit < type_visited);
- tp->visit = type_visited;
+ assert(tp->visit < firm_type_visited);
+ tp->visit = firm_type_visited;
}
static INLINE int
_type_visited(const type *tp) {
assert(tp && tp->kind == k_type);
- return tp->visit >= type_visited;
+ return tp->visit >= firm_type_visited;
}
static INLINE int
_type_not_visited(const type *tp) {
assert(tp && tp->kind == k_type);
- return tp->visit < type_visited;
+ return tp->visit < firm_type_visited;
}
static INLINE int
_is_enumeration_type(tp));
}
+static INLINE int
+_get_method_n_params(const type *method) {
+ assert(method && (method->type_op == type_method));
+ return method->attr.ma.n_params;
+}
+
+static INLINE int
+_get_method_n_ress(const type *method) {
+ assert(method && (method->type_op == type_method));
+ return method->attr.ma.n_res;
+}
+
+static INLINE unsigned
+_get_method_additional_properties(const type *method) {
+ assert(method && (method->type_op == type_method));
+ return method->attr.ma.additional_properties;
+}
+
+static INLINE void
+_set_method_additional_properties(type *method, unsigned mask) {
+ assert(method && (method->type_op == type_method));
+
+ /* do not allow to set the mtp_property_inherited flag or
+ * the automatic inheritance of flags will not work */
+ method->attr.ma.additional_properties = mask & ~mtp_property_inherited;
+}
+
+static INLINE void
+_set_method_additional_property(type *method, mtp_additional_property flag) {
+ assert(method && (method->type_op == type_method));
+
+ /* do not allow to set the mtp_property_inherited flag or
+ * the automatic inheritance of flags will not work */
+ method->attr.ma.additional_properties |= flag & ~mtp_property_inherited;
+}
+
+static INLINE unsigned
+_get_method_calling_convention(const type *method) {
+ assert(method && (method->type_op == type_method));
+ return method->attr.ma.irg_calling_conv;
+}
+
+static INLINE void
+_set_method_calling_convention(type *method, unsigned cc_mask) {
+ assert(method && (method->type_op == type_method));
+ method->attr.ma.irg_calling_conv = cc_mask;
+}
#define set_master_type_visited(val) _set_master_type_visited(val)
#define get_master_type_visited() _get_master_type_visited()
#define get_type_mode(tp) _get_type_mode(tp)
#define get_type_ident(tp) _get_type_ident(tp)
#define set_type_ident(tp, id) _set_type_ident(tp, id)
-#define get_type_size(tp) _get_type_size(tp)
+#define get_type_size_bits(tp) _get_type_size_bits(tp)
+#define get_type_size_bytes(tp) _get_type_size_bytes(tp)
#define get_type_state(tp) _get_type_state(tp)
#define get_type_visited(tp) _get_type_visited(tp)
#define set_type_visited(tp, num) _set_type_visited(tp, num)
#define is_Pointer_type(pointer) _is_pointer_type(pointer)
#define is_Primitive_type(primitive) _is_primitive_type(primitive)
#define is_atomic_type(tp) _is_atomic_type(tp)
-
-# endif /* _TYPE_T_H_ */
+#define get_method_n_params(method) _get_method_n_params(method)
+#define get_method_n_ress(method) _get_method_n_ress(method)
+#define get_method_additional_properties(method) _get_method_additional_properties(method)
+#define set_method_additional_properties(method, mask) _set_method_additional_properties(method, mask)
+#define set_method_additional_property(method, flag) _set_method_additional_property(method, flag)
+#define get_method_calling_convention(method) _get_method_calling_convention(method)
+#define set_method_calling_convention(method, cc_mask) _set_method_calling_convention(method, cc_mask)
+
+#endif /* _TYPE_T_H_ */