nsz Git - libfirm/blob - ir/tr/type_t.h

   1 /*
   2  * Copyright (C) 1995-2011 University of Karlsruhe.  All right reserved.
   3  *
   4  * This file is part of libFirm.
   5  *
   6  * This file may be distributed and/or modified under the terms of the
   7  * GNU General Public License version 2 as published by the Free Software
   8  * Foundation and appearing in the file LICENSE.GPL included in the
   9  * packaging of this file.
  10  *
  11  * Licensees holding valid libFirm Professional Edition licenses may use
  12  * this file in accordance with the libFirm Commercial License.
  13  * Agreement provided with the Software.
  14  *
  15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
  16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  17  * PURPOSE.
  18  */
  19
  20 /**
  21  * @file
  22  * @brief   Representation of types -- private header.
  23  * @author  Goetz Lindenmaier, Michael Beck
  24  * @version $Id$
  25  * @see     type.h tpop_t.h tpop.h
  26  */
  27 #ifndef FIRM_TR_TYPE_T_H
  28 #define FIRM_TR_TYPE_T_H
  29
  30 #include "typerep.h"
  31 #include "tpop_t.h"
  32 #include "irgraph.h"
  33 #include "firm_common.h"
  34
  35 #include "array.h"
  36
  37 /** Class flags. */
  38 enum class_flags {
  39         cf_none            = 0,  /**< No flags. */
  40         cf_final_class     = 1,  /**< Set if a class is an final class */
  41         cf_interface_class = 2,  /**< Set if a class is an "interface" */
  42         cf_absctract_class = 4,  /**< Set if a class is "abstract" */
  43 };
  44
  45 /** Class type attributes. */
  46 typedef struct {
  47         ir_entity  **members;           /**< Array containing the fields and methods of this class. */
  48         ir_type **subtypes;          /**< Array containing the direct subtypes. */
  49         ir_type **supertypes;        /**< Array containing the direct supertypes */
  50         ir_peculiarity peculiarity;  /**< The peculiarity of this class. */
  51         ir_entity *type_info;        /**< An ir_entity representing this class, used for type info. */
  52         int      dfn;                /**< A number that can be used for 'instanceof' operator. */
  53         unsigned vtable_size;        /**< The size of the vtable for this class. */
  54         unsigned clss_flags;         /**< Additional class flags. */
  55 } cls_attr;
  56
  57 /** Struct type attributes. */
  58 typedef struct {
  59         ir_entity **members; /**< Fields of this struct. No method entities allowed. */
  60 } stc_attr;
  61
  62 /** A (type, ir_entity) pair. */
  63 typedef struct {
  64         ir_type *tp;         /**< A type. */
  65         ir_entity  *ent;     /**< An ir_entity. */
  66         ident   *param_name; /**< For debugging purposes: the name of the parameter */
  67 } tp_ent_pair;
  68
  69 /** Method type attributes. */
  70 typedef struct {
  71         size_t       n_params;          /**< Number of parameters. */
  72         tp_ent_pair *params;            /**< Array of parameter type/value entities pairs. */
  73         ir_type     *value_params;      /**< A type whose entities represent copied value arguments. */
  74         size_t       n_res;             /**< Number of results. */
  75         tp_ent_pair *res_type;          /**< Array of result type/value ir_entity pairs. */
  76         ir_type     *value_ress;        /**< A type whose entities represent copied value results. */
  77         ir_variadicity variadicity;     /**< The variadicity of the method. */
  78         size_t first_variadic_param;    /**< The index of the first variadic parameter or -1 if non-variadic .*/
  79         mtp_additional_properties additional_properties; /**< Set of additional method properties. */
  80         unsigned irg_calling_conv;      /**< A set of calling convention flags. */
  81 } mtd_attr;
  82
  83 /** Union type attributes. */
  84 typedef struct {
  85         ir_entity **members;    /**< Fields of this union. No method entities allowed. */
  86 } uni_attr;
  87
  88 /** Array type attributes. */
  89 typedef struct {
  90         size_t  n_dimensions;   /**< Number of array dimensions.  */
  91         ir_node **lower_bound;  /**< Lower bounds of dimensions.  Usually all 0. */
  92         ir_node **upper_bound;  /**< Upper bounds or dimensions. */
  93         int     *order;         /**< Ordering of dimensions. */
  94         ir_type *element_type;  /**< The type of the array elements. */
  95         ir_entity *element_ent; /**< entity for the array elements, to be used for
  96                                      element selection with a Sel node. */
  97 } arr_attr;
  98
  99 /** An enumerator constant. */
 100 struct ir_enum_const {
 101         ir_tarval  *value;  /**< The constants that represents this enumerator identifier. */
 102         ident   *nameid;    /**< The name of the enumerator identifier. */
 103         ir_type *owner;     /**< owner type of this enumerator constant. */
 104 };
 105
 106 /** Enum type attributes. */
 107 typedef struct {
 108         ir_enum_const *enumer;   /**< Contains all enumerator constants that represent a member
 109                                       of the enum -- enumerators. */
 110 } enm_attr;
 111
 112 /** Pointer type attributes. */
 113 typedef struct {
 114         ir_type *points_to;  /**< The type of the ir_entity the pointer points to. */
 115 } ptr_attr;
 116
 117 /** Primitive type attributes. */
 118 typedef struct {
 119         ir_type *base_type;  /**< For bitfield types: The base primitive type, NULL else. */
 120 } pri_attr;
 121
 122 /** General type attributes. */
 123 typedef union {
 124         cls_attr ca;      /**< Attributes of a class type */
 125         stc_attr sa;      /**< Attributes of a struct type */
 126         mtd_attr ma;      /**< Attributes of a method type */
 127         uni_attr ua;      /**< Attributes of an union type */
 128         arr_attr aa;      /**< Attributes of an array type */
 129         enm_attr ea;      /**< Attributes of an enumeration type */
 130         ptr_attr pa;      /**< Attributes of a pointer type */
 131         pri_attr ba;      /**< Attributes of a primitive bitfield type */
 132 } tp_attr;
 133
 134 /** Additional type flags. */
 135 enum type_flags {
 136         tf_none             =   0, /**< No flags. */
 137         tf_lowered_type     =   1, /**< Set if this is a lowered type. */
 138         tf_layout_fixed     =   2, /**< Set if the layout of a type is fixed */
 139
 140         tf_frame_type       =   4, /**< Set if this is a frame type. */
 141         tf_value_param_type =   8, /**< Set if this is a value param type. */
 142         tf_global_type      =  16, /**< Set only for the global type */
 143         tf_tls_type         =  32, /**< Set only for the tls type */
 144         tf_constructors     =  64, /**< Set only for the constructors segment type */
 145         tf_destructors      = 128, /**< Set only for the destructors segment type */
 146 };
 147
 148 /**
 149  *  An abstract data type to represent types.
 150  *
 151  *  This is the abstract data type with which any type known in the
 152  *  compiled program can be represented.  This includes types specified
 153  *  in the program as well as types defined by the language.  In the
 154  *  view of the intermediate representation there is no difference
 155  *  between these types.
 156  *
 157  *  There exist several kinds of types, arranged by the structure of
 158  *  the type.  These are distinguished by a type opcode.
 159  *  A type is described by a set of attributes.  Some of these attributes
 160  *  are common to all types, others depend on the kind of the type.
 161  *
 162  *  The following describes the common attributes.  They can only be
 163  *  accessed by the functions given below.
 164  *
 165  *  The common fields are:
 166  *
 167  *  - firm_kind:   A firm_kind tag containing k_type.  This is useful
 168  *                 for dynamically checking whether a node is a type node.
 169  *  - type_op:     A tp_op specifying the kind of the type.
 170  *  - name:        An identifier specifying the name of the type.  To be
 171  *                 set by the frontend.
 172  *  - size:        The size of the type, i.e. an entity of this type will
 173  *                 occupy size bits in memory.  In several cases this is
 174  *                 determined when fixing the layout of this type (class,
 175  *                 struct, union, array, enumeration).
 176  *  - alignment    The alignment of the type, i.e. an entity of this type will
 177  *                 be allocated an an address in memory with this alignment.
 178  *                 In several cases this is determined when fixing the layout
 179  *                 of this type (class, struct, union, array)
 180  *  - mode:        The mode to be used to represent the type on a machine.
 181  *  - state:       The state of the type.  The state represents whether the
 182  *                 layout of the type is undefined or fixed (values: layout_undefined
 183  *                 or layout_fixed).  Compound types can have an undefined
 184  *                 layout.  The layout of the basic types primitive and pointer
 185  *                 is always layout_fixed.  If the layout of
 186  *                 compound types is fixed all entities must have an offset
 187  *                 and the size of the type must be set.
 188  *                 A fixed layout for enumeration types means that each enumeration
 189  *                 is associated with an implementation value.
 190  *  - assoc_type:  The associated lowered/upper type.
 191  *  - visit:       A counter for walks of the type information.
 192  *  - link:        A void* to associate some additional information with the type.
 193  *
 194  *  These fields can only be accessed via access functions.
 195  *
 196  *  Depending on the value of @c type_op, i.e., depending on the kind of the
 197  *  type the adt contains further attributes.  These are documented below.
 198  *
 199  *  @see
 200  *
 201  *  @link class_type class @endlink, @link struct_type struct @endlink,
 202  *  @link method_type method @endlink, @link union_type union @endlink,
 203  *  @link array_type array @endlink, @link enumeration_type enumeration @endlink,
 204  *  @link pointer_type pointer @endlink, @link primitive_type primitive @endlink
 205  *
 206  *  @todo
 207  *      mode maybe not global field??
 208  */
 209 struct ir_type {
 210         firm_kind kind;          /**< the firm kind, must be k_type */
 211         const tp_op *type_op;    /**< the type operation of the type */
 212         ident *name;             /**< The name of the type */
 213         ir_visibility visibility;/**< Visibility of entities of this type. */
 214         unsigned flags;          /**< Type flags, a bitmask of enum type_flags. */
 215         unsigned size;           /**< Size of an ir_entity of this type. This is determined
 216                                       when fixing the layout of this class.  Size must be
 217                                       given in bytes. */
 218         unsigned align;          /**< Alignment of an ir_entity of this type. This should be
 219                                       set according to the source language needs. If not set it's
 220                                       calculated automatically by get_type_alignment().
 221                                       Alignment must be given in bytes. */
 222         ir_mode *mode;           /**< The mode for atomic types */
 223         ir_visited_t visit;      /**< visited counter for walks of the type information */
 224         void *link;              /**< holds temporary data - like in irnode_t.h */
 225         type_dbg_info *dbi;      /**< A pointer to information for debug support. */
 226         ir_type *assoc_type;     /**< The associated lowered/unlowered type */
 227
 228         /* ------------- fields for analyses ---------------*/
 229
 230 #ifdef DEBUG_libfirm
 231         long nr;                 /**< An unique node number for each node to make output
 232                                       readable. */
 233 #endif
 234         tp_attr attr;            /**< Type kind specific fields. This must be the last
 235                                       entry in this struct!  Varying size! */
 236 };
 237
 238 /**
 239  *   Creates a new type representation:
 240  *
 241  *   @param type_op  the kind of this type.  May not be type_id.
 242  *   @param mode     the mode to be used for this type, may be NULL
 243  *   @param db       debug info
 244  *
 245  *   @return A new type of the given type.  The remaining private attributes are not
 246  *           initialized.  The type is in state layout_undefined.
 247  */
 248 ir_type *new_type(const tp_op *type_op, ir_mode *mode, type_dbg_info *db);
 249 void free_type_attrs(ir_type *tp);
 250
 251 void free_class_entities      (ir_type *clss);
 252 void free_struct_entities     (ir_type *strct);
 253 void free_method_entities     (ir_type *method);
 254 void free_union_entities      (ir_type *uni);
 255 void free_array_entities      (ir_type *array);
 256 void free_enumeration_entities(ir_type *enumeration);
 257 void free_pointer_entities    (ir_type *pointer);
 258
 259 void free_array_automatic_entities(ir_type *array);
 260
 261 void free_class_attrs      (ir_type *clss);
 262 void free_struct_attrs     (ir_type *strct);
 263 void free_method_attrs     (ir_type *method);
 264 void free_union_attrs      (ir_type *uni);
 265 void free_array_attrs      (ir_type *array);
 266 void free_enumeration_attrs(ir_type *enumeration);
 267 void free_pointer_attrs    (ir_type *pointer);
 268
 269 void set_class_mode(ir_type *tp, ir_mode *mode);
 270 void set_struct_mode(ir_type *tp, ir_mode *mode);
 271 void set_pointer_mode(ir_type *tp, ir_mode *mode);
 272 void set_primitive_mode(ir_type *tp, ir_mode *mode);
 273 void set_enumeration_mode(ir_type *tp, ir_mode *mode);
 274
 275 void set_class_size(ir_type *tp, unsigned bytes);
 276 void set_struct_size(ir_type *tp, unsigned bytes);
 277 void set_union_size(ir_type *tp, unsigned bytes);
 278 void set_array_size(ir_type *tp, unsigned bytes);
 279 void set_default_size(ir_type *tp, unsigned bytes);
 280
 281 /** Set and get a class' dfn --
 282  * This is an undocumented field, subject to change! */
 283 void set_class_dfn(ir_type *clss, int dfn);
 284 int  get_class_dfn(const ir_type *clss);
 285
 286 void add_compound_member(ir_type *compound, ir_entity *entity);
 287 void remove_compound_member(ir_type *compound, ir_entity *entity);
 288
 289 /** Initialize the type module. */
 290 void ir_init_type(void);
 291
 292 /** free internal datastructures of type module */
 293 void ir_finish_type(void);
 294
 295 /** Clone an existing method type.
 296  *
 297  * @param tp      the method type to clone.
 298  * @param prefix  if non-null, will be the prefix for the name of
 299  *                the cloned type
 300  *
 301  * @return the cloned method type.
 302  */
 303 ir_type *clone_type_method(ir_type *tp);
 304
 305 /* ------------------- *
 306  *  inline functions   *
 307  * ------------------- */
 308
 309 extern ir_visited_t firm_type_visited;
 310
 311 static inline void _set_master_type_visited(ir_visited_t val) { firm_type_visited = val; }
 312 static inline ir_visited_t _get_master_type_visited(void)     { return firm_type_visited; }
 313 static inline void _inc_master_type_visited(void)             { ++firm_type_visited; }
 314
 315 static inline void *_get_type_link(const ir_type *tp)
 316 {
 317         assert(tp && tp->kind == k_type);
 318         return(tp -> link);
 319 }
 320
 321 static inline void _set_type_link(ir_type *tp, void *l)
 322 {
 323         assert(tp && tp->kind == k_type);
 324         tp -> link = l;
 325 }
 326
 327 static inline const tp_op *_get_type_tpop(const ir_type *tp)
 328 {
 329         assert(tp && tp->kind == k_type);
 330         return tp->type_op;
 331 }
 332
 333 static inline ident *_get_type_tpop_nameid(const ir_type *tp)
 334 {
 335         assert(tp && tp->kind == k_type);
 336         return get_tpop_ident(tp->type_op);
 337 }
 338
 339 static inline tp_opcode _get_type_tpop_code(const ir_type *tp)
 340 {
 341         assert(tp && tp->kind == k_type);
 342         return get_tpop_code(tp->type_op);
 343 }
 344
 345 static inline ir_mode *_get_type_mode(const ir_type *tp)
 346 {
 347         assert(tp && tp->kind == k_type);
 348         return tp->mode;
 349 }
 350
 351 static inline unsigned _get_type_size_bytes(const ir_type *tp)
 352 {
 353         assert(tp && tp->kind == k_type);
 354         return tp->size;
 355 }
 356
 357 static inline ir_type_state _get_type_state(const ir_type *tp)
 358 {
 359         assert(tp && tp->kind == k_type);
 360         return tp->flags & tf_layout_fixed ? layout_fixed : layout_undefined;
 361 }
 362
 363 static inline ir_visited_t _get_type_visited(const ir_type *tp)
 364 {
 365         assert(tp && tp->kind == k_type);
 366         return tp->visit;
 367 }
 368
 369 static inline void _set_type_visited(ir_type *tp, ir_visited_t num)
 370 {
 371         assert(tp && tp->kind == k_type);
 372         tp->visit = num;
 373 }
 374
 375 static inline void _mark_type_visited(ir_type *tp)
 376 {
 377         assert(tp && tp->kind == k_type);
 378         assert(tp->visit < firm_type_visited);
 379         tp->visit = firm_type_visited;
 380 }
 381
 382 static inline int _type_visited(const ir_type *tp)
 383 {
 384         assert(tp && tp->kind == k_type);
 385         return tp->visit >= firm_type_visited;
 386 }
 387
 388 static inline int _type_not_visited(const ir_type *tp)
 389 {
 390         assert(tp && tp->kind == k_type);
 391         return tp->visit  < firm_type_visited;
 392 }
 393
 394 static inline type_dbg_info *_get_type_dbg_info(const ir_type *tp)
 395 {
 396         return tp->dbi;
 397 }
 398
 399 static inline void _set_type_dbg_info(ir_type *tp, type_dbg_info *db)
 400 {
 401         tp->dbi = db;
 402 }
 403
 404 static inline int _is_type(const void *thing)
 405 {
 406         return get_kind(thing) == k_type;
 407 }
 408
 409 static inline int _is_class_type(const ir_type *clss)
 410 {
 411         return clss->type_op == type_class;
 412 }
 413
 414 static inline size_t _get_class_n_members(const ir_type *clss)
 415 {
 416         assert(clss->type_op == type_class);
 417         return ARR_LEN(clss->attr.ca.members);
 418 }
 419
 420 static inline ir_entity *_get_class_member(const ir_type *clss, size_t pos)
 421 {
 422         assert(clss->type_op == type_class);
 423         assert(pos < _get_class_n_members(clss));
 424         return clss->attr.ca.members[pos];
 425 }
 426
 427 static inline unsigned _get_class_vtable_size(const ir_type *clss)
 428 {
 429         assert(clss->type_op == type_class);
 430         return clss->attr.ca.vtable_size;
 431 }
 432
 433 static inline void _set_class_vtable_size(ir_type *clss, unsigned vtable_size)
 434 {
 435         assert(clss->type_op == type_class);
 436         clss->attr.ca.vtable_size = vtable_size;
 437 }
 438
 439 static inline int _is_class_final(const ir_type *clss)
 440 {
 441         assert(clss->type_op == type_class);
 442         return clss->attr.ca.clss_flags & cf_final_class;
 443 }
 444
 445 static inline void _set_class_final(ir_type *clss, int final)
 446 {
 447         assert(clss->type_op == type_class);
 448         if (final)
 449                 clss->attr.ca.clss_flags |= cf_final_class;
 450         else
 451                 clss->attr.ca.clss_flags &= ~cf_final_class;
 452 }
 453
 454 static inline int _is_class_interface(const ir_type *clss)
 455 {
 456         assert(clss->type_op == type_class);
 457         return clss->attr.ca.clss_flags & cf_interface_class;
 458 }
 459
 460 static inline void _set_class_interface(ir_type *clss, int final)
 461 {
 462         assert(clss->type_op == type_class);
 463         if (final)
 464                 clss->attr.ca.clss_flags |= cf_interface_class;
 465         else
 466                 clss->attr.ca.clss_flags &= ~cf_interface_class;
 467 }
 468
 469 static inline int _is_class_abstract(const ir_type *clss)
 470 {
 471         assert(clss->type_op == type_class);
 472         return clss->attr.ca.clss_flags & cf_absctract_class;
 473 }
 474
 475 static inline void _set_class_abstract(ir_type *clss, int final)
 476 {
 477         assert(clss->type_op == type_class);
 478         if (final)
 479                 clss->attr.ca.clss_flags |= cf_absctract_class;
 480         else
 481                 clss->attr.ca.clss_flags &= ~cf_absctract_class;
 482 }
 483
 484 static inline int _is_struct_type(const ir_type *strct)
 485 {
 486         return (strct->type_op == type_struct);
 487 }
 488
 489 static inline int _is_method_type(const ir_type *method)
 490 {
 491         return (method->type_op == type_method);
 492 }
 493
 494 static inline int _is_union_type(const ir_type *uni)
 495 {
 496         return (uni->type_op == type_union);
 497 }
 498
 499 static inline int _is_array_type(const ir_type *array)
 500 {
 501         return (array->type_op == type_array);
 502 }
 503
 504 static inline int _is_enumeration_type(const ir_type *enumeration)
 505 {
 506         return (enumeration->type_op == type_enumeration);
 507 }
 508
 509 static inline int _is_pointer_type(const ir_type *pointer)
 510 {
 511         return (pointer->type_op == type_pointer);
 512 }
 513
 514 /** Returns true if a type is a primitive type. */
 515 static inline int _is_primitive_type(const ir_type *primitive)
 516 {
 517         assert(primitive->kind == k_type);
 518         return (primitive->type_op == type_primitive);
 519 }
 520
 521 static inline int _is_atomic_type(const ir_type *tp)
 522 {
 523         assert(tp->kind == k_type);
 524         return (_is_primitive_type(tp) || _is_pointer_type(tp) ||
 525                 _is_enumeration_type(tp));
 526 }
 527
 528 static inline size_t _get_method_n_params(const ir_type *method)
 529 {
 530         assert(method->type_op == type_method);
 531         return method->attr.ma.n_params;
 532 }
 533
 534 static inline size_t _get_method_n_ress(const ir_type *method)
 535 {
 536         assert(method->type_op == type_method);
 537         return method->attr.ma.n_res;
 538 }
 539
 540 static inline mtp_additional_properties _get_method_additional_properties(const ir_type *method)
 541 {
 542         assert(method->type_op == type_method);
 543         return method->attr.ma.additional_properties;
 544 }
 545
 546 static inline void _set_method_additional_properties(ir_type *method, mtp_additional_properties mask)
 547 {
 548         assert(method->type_op == type_method);
 549
 550         /* do not allow to set the mtp_property_inherited flag or
 551          * the automatic inheritance of flags will not work */
 552         method->attr.ma.additional_properties = mask & ~mtp_property_inherited;
 553 }
 554
 555 static inline void _add_method_additional_properties(ir_type *method, mtp_additional_properties flag)
 556 {
 557         assert(method->type_op == type_method);
 558
 559         /* do not allow to set the mtp_property_inherited flag or
 560          * the automatic inheritance of flags will not work */
 561         method->attr.ma.additional_properties |= flag & ~mtp_property_inherited;
 562 }
 563
 564 static inline unsigned _get_method_calling_convention(const ir_type *method)
 565 {
 566         assert(method->type_op == type_method);
 567         return method->attr.ma.irg_calling_conv;
 568 }
 569
 570 static inline void _set_method_calling_convention(ir_type *method, unsigned cc_mask)
 571 {
 572         assert(method->type_op == type_method);
 573         method->attr.ma.irg_calling_conv = cc_mask;
 574 }
 575
 576
 577 #define set_master_type_visited(val)      _set_master_type_visited(val)
 578 #define get_master_type_visited()         _get_master_type_visited()
 579 #define inc_master_type_visited()         _inc_master_type_visited()
 580 #define get_type_link(tp)                 _get_type_link(tp)
 581 #define set_type_link(tp, l)              _set_type_link(tp, l)
 582 #define get_type_tpop(tp)                 _get_type_tpop(tp)
 583 #define get_type_tpop_nameid(tp)          _get_type_tpop_nameid(tp)
 584 #define get_type_tpop_code(tp)            _get_type_tpop_code(tp)
 585 #define get_type_mode(tp)                 _get_type_mode(tp)
 586 #define get_type_size_bytes(tp)           _get_type_size_bytes(tp)
 587 #define get_type_state(tp)                _get_type_state(tp)
 588 #define get_type_visited(tp)              _get_type_visited(tp)
 589 #define set_type_visited(tp, num)         _set_type_visited(tp, num)
 590 #define mark_type_visited(tp)             _mark_type_visited(tp)
 591 #define type_visited(tp)                  _type_visited(tp)
 592 #define type_not_visited(tp)              _type_not_visited(tp)
 593 #define get_type_dbg_info(tp)             _get_type_dbg_info(tp)
 594 #define set_type_dbg_info(tp, db)         _set_type_dbg_info(tp, db)
 595 #define is_type(thing)                    _is_type(thing)
 596 #define is_Class_type(clss)               _is_class_type(clss)
 597 #define get_class_n_members(clss)         _get_class_n_members(clss)
 598 #define get_class_member(clss, pos)       _get_class_member(clss, pos)
 599 #define get_class_vtable_size(clss)       _get_class_vtable_size(clss)
 600 #define set_class_vtable_size(clss, size) _set_class_vtable_size(clss, size)
 601 #define is_class_final(clss)              _is_class_final(clss)
 602 #define set_class_final(clss, flag)       _set_class_final(clss, flag)
 603 #define is_class_interface(clss)          _is_class_interface(clss)
 604 #define set_class_interface(clss, flag)   _set_class_interface(clss, flag)
 605 #define is_class_abstract(clss)           _is_class_abstract(clss)
 606 #define set_class_abstract(clss, flag)    _set_class_abstract(clss, flag)
 607 #define is_Struct_type(strct)             _is_struct_type(strct)
 608 #define is_Method_type(method)            _is_method_type(method)
 609 #define is_Union_type(uni)                _is_union_type(uni)
 610 #define is_Array_type(array)              _is_array_type(array)
 611 #define is_Enumeration_type(enumeration)  _is_enumeration_type(enumeration)
 612 #define is_Pointer_type(pointer)          _is_pointer_type(pointer)
 613 #define is_Primitive_type(primitive)      _is_primitive_type(primitive)
 614 #define is_atomic_type(tp)                _is_atomic_type(tp)
 615 #define get_method_n_params(method)       _get_method_n_params(method)
 616 #define get_method_n_ress(method)         _get_method_n_ress(method)
 617 #define get_method_additional_properties(method)        _get_method_additional_properties(method)
 618 #define set_method_additional_properties(method, mask)  _set_method_additional_properties(method, mask)
 619 #define add_method_additional_properties(method, flag)  _add_method_additional_properties(method, flag)
 620 #define get_method_calling_convention(method)           _get_method_calling_convention(method)
 621 #define set_method_calling_convention(method, cc_mask)  _set_method_calling_convention(method, cc_mask)
 622
 623 #endif /* FIRM_TR_TYPE_T_H */