nsz Git - libfirm/blob - include/libfirm/firm_types.h

   1 /*
   2  * Copyright (C) 1995-2008 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      Definition of opaque firm types
  23  * @author     Michael Beck
  24  * @version    $Id$
  25  */
  26 #ifndef FIRM_COMMON_FIRM_TYPES_H
  27 #define FIRM_COMMON_FIRM_TYPES_H
  28
  29 typedef unsigned long ir_visited_t;
  30 typedef unsigned long ir_exc_region_t;
  31 typedef unsigned long ir_label_t;
  32
  33 typedef struct dbg_info             dbg_info,            *dbg_info_ptr;
  34 typedef const struct _ident         ident,               *ir_ident_ptr;
  35 typedef struct ir_node              ir_node,             *ir_node_ptr;
  36 typedef struct ir_op                ir_op,               *ir_op_ptr;
  37 typedef struct ir_mode              ir_mode,             *ir_mode_ptr;
  38 typedef struct _ir_edge_t           ir_edge_t,           *ir_edge_ptr;
  39 typedef struct tarval               tarval,              *ir_tarval_ptr;
  40 typedef struct ir_enum_const        ir_enum_const,       *ir_enum_const_ptr;
  41 typedef struct ir_type              ir_type,             *ir_type_ptr;
  42 typedef struct ir_graph             ir_graph,            *ir_graph_ptr;
  43 typedef struct ir_loop              ir_loop,             *ir_loop_ptr;
  44 typedef struct ir_region            ir_region,           *ir_region_ptr;
  45 typedef struct ir_reg_tree          ir_reg_tree,         *ir_reg_tree_ptr;
  46 typedef struct ir_entity            ir_entity,           *ir_entity_ptr;
  47 typedef struct compound_graph_path  compound_graph_path, *ir_compound_graph_path_ptr;
  48 typedef struct _ir_phase            ir_phase,            *ir_phase_ptr;
  49 typedef struct _ir_extblk           ir_extblk,           *ir_extblk_ptr;
  50 typedef struct ir_exec_freq         ir_exec_freq,        *ir_exec_freq_ptr;
  51 typedef struct ir_cdep              ir_cdep,             *ir_cdep_ptr;
  52 typedef struct sn_entry             *seqno_t;
  53 typedef struct arch_irn_ops_t       arch_irn_ops_t;
  54 typedef struct ident_if_t           ident_if_t;
  55 typedef struct type_identify_if_t   type_identify_if_t;
  56
  57 typedef union  ir_initializer_t     ir_initializer_t,    *ir_initializer_ptr;
  58
  59 typedef void irg_walk_func(ir_node *, void *);
  60 typedef void irg_reg_walk_func(ir_region *, void *);
  61
  62 /* settings */
  63 typedef struct ir_settings_arch_dep_t ir_settings_arch_dep_t;
  64 typedef struct ir_settings_if_conv_t  ir_settings_if_conv_t;
  65
  66 /* states */
  67
  68 /** The state of the interprocedural view.
  69  *
  70  * This value indicates the state of the interprocedural view.
  71  */
  72 typedef enum {
  73         ip_view_no,       /**< The interprocedural view is not constructed.  There are no
  74                                view specific nodes (EndReg, Filter, Break ...) in any graph.  */
  75         ip_view_valid,    /**< The interprocedural view is valid.  */
  76         ip_view_invalid   /**< The interprocedural view is invalid.  Specific nodes are
  77                                all still in the representation, but the graph is no more complete. */
  78 } ip_view_state;
  79
  80 /**
  81  * This function is called, whenever a local variable is used before definition
  82  *
  83  * @param irg       the IR graph on which this happens
  84  * @param mode      the mode of the local var
  85  * @param pos       position chosen be the frontend for this variable (n_loc)
  86  *
  87  * @return a firm node of mode @p mode that initializes the var at position pos
  88  *
  89  * @note
  90  *      Do not return NULL!
  91  *      If this function is not set, FIRM will create a const node with tarval BAD.
  92  *      Use set_irg_loc_description()/get_irg_loc_description() to assign additional
  93  *      informations to local variables.
  94  */
  95 typedef ir_node *uninitialized_local_variable_func_t(ir_graph *irg, ir_mode *mode, int pos);
  96
  97 /** op_pin_state_pinned states. */
  98 typedef enum {
  99         op_pin_state_floats = 0,    /**< Nodes of this opcode can be placed in any basic block. */
 100         op_pin_state_pinned = 1,    /**< Nodes must remain in this basic block. */
 101         op_pin_state_exc_pinned,    /**< Node must be remain in this basic block if it can throw an
 102                                          exception, else can float. Used internally. */
 103         op_pin_state_mem_pinned     /**< Node must be remain in this basic block if it can throw an
 104                                          exception or uses memory, else can float. Used internally. */
 105 } op_pin_state;
 106
 107 /**
 108  * Additional method type properties:
 109  * Tell about special properties of a method type. Some
 110  * of these may be discovered by analyses.
 111  */
 112 typedef enum {
 113         mtp_no_property            = 0x00000000, /**< no additional properties, default */
 114         mtp_property_const         = 0x00000001, /**< This method did not access memory and calculates
 115                                                       its return values solely from its parameters.
 116                                                       GCC: __attribute__((const)). */
 117         mtp_property_pure          = 0x00000002, /**< This method did NOT write to memory and calculates
 118                                                       its return values solely from its parameters and
 119                                                       the memory they points to (or global vars).
 120                                                       GCC: __attribute__((pure)). */
 121         mtp_property_noreturn      = 0x00000004, /**< This method did not return due to an aborting system
 122                                                       call.
 123                                                       GCC: __attribute__((noreturn)). */
 124         mtp_property_nothrow       = 0x00000008, /**< This method cannot throw an exception.
 125                                                       GCC: __attribute__((nothrow)). */
 126         mtp_property_naked         = 0x00000010, /**< This method is naked.
 127                                                       GCC: __attribute__((naked)). */
 128         mtp_property_malloc        = 0x00000020, /**< This method returns newly allocate memory.
 129                                                       GCC: __attribute__((malloc)). */
 130         mtp_property_weak          = 0x00000040, /**< This method is weak. It is expected that
 131                                                       GCC: __attribute__((weak)). */
 132         mtp_property_returns_twice = 0x00000080, /**< This method can return more than one (typically setjmp).
 133                                                   GCC: __attribute__((returns_twice)). */
 134         mtp_property_intrinsic     = 0x00000100, /**< This method is intrinsic. It is expected that
 135                                                       a lowering phase will remove all calls to it. */
 136         mtp_property_runtime       = 0x00000200, /**< This method represents a runtime routine. */
 137         mtp_property_private       = 0x00000400, /**< All method invocations are known, the backend is free to
 138                                                       optimize the call in any possible way. */
 139         mtp_property_has_loop      = 0x00000800, /**< Set, if this method contains one possible endless loop. */
 140         mtp_property_inherited     = (1<<31)     /**< Internal. Used only in irg's, means property is
 141                                                       inherited from type. */
 142 } mtp_additional_property;
 143
 144 /**  This enum names the three different kinds of symbolic Constants
 145      represented by SymConst.  The content of the attribute type_or_id
 146      depends on this tag.  Use the proper access routine after testing
 147      this flag. */
 148 typedef enum {
 149         symconst_type_tag,    /**< The SymConst is a type tag for the given type.
 150                                    symconst_symbol is type *. */
 151         symconst_type_size,   /**< The SymConst is the size of the given type.
 152                                    symconst_symbol is type *. */
 153         symconst_type_align,  /**< The SymConst is the alignment of the given type.
 154                                    symconst_symbol is type *. */
 155         symconst_addr_name,   /**< The SymConst is a symbolic pointer to be filled in
 156                                    by the linker.  The pointer is represented by a string.
 157                                    symconst_symbol is ident *. */
 158         symconst_addr_ent,    /**< The SymConst is a symbolic pointer to be filled in
 159                                    by the linker.  The pointer is represented by an entity.
 160                                    symconst_symbol is entity *. */
 161         symconst_ofs_ent,     /**< The SymConst is the offset of its entity in the entities
 162                                    owner type. */
 163         symconst_enum_const,  /**< The SymConst is a enumeration constant of an
 164                                    enumeration type. */
 165         symconst_label        /**< The SymConst is a label address. */
 166 } symconst_kind;
 167
 168 /** SymConst attribute.
 169  *
 170  *  This union contains the symbolic information represented by the node.
 171  */
 172 typedef union symconst_symbol {
 173         ir_type       *type_p;    /**< The type of a SymConst. */
 174         ident         *ident_p;   /**< The ident of a SymConst. */
 175         ir_entity     *entity_p;  /**< The entity of a SymConst. */
 176         ir_enum_const *enum_p;    /**< The enumeration constant of a SymConst. */
 177         ir_label_t    label;      /**< The label of a SymConst. */
 178 } symconst_symbol;
 179
 180 /**
 181  * Projection numbers for Cmp are defined several times.
 182  * The bit patterns are used for various tests, so don't change.
 183  * The "unordered" values are possible results of comparing
 184  * floating point numbers.
 185  * Note that the encoding is imported, so do NOT change the order.
 186  */
 187 typedef enum {
 188         pn_Cmp_False = 0,                             /**< false */
 189         pn_Cmp_Eq    = 1,                             /**< equal */
 190         pn_Cmp_Lt    = 2,                             /**< less */
 191         pn_Cmp_Le    = pn_Cmp_Eq|pn_Cmp_Lt,           /**< less or equal */
 192         pn_Cmp_Gt    = 4,                             /**< greater */
 193         pn_Cmp_Ge    = pn_Cmp_Eq|pn_Cmp_Gt,           /**< greater or equal */
 194         pn_Cmp_Lg    = pn_Cmp_Lt|pn_Cmp_Gt,           /**< less or greater */
 195         pn_Cmp_Leg   = pn_Cmp_Lt|pn_Cmp_Eq|pn_Cmp_Gt, /**< less, equal or greater = ordered */
 196         pn_Cmp_Uo    = 8,                             /**< unordered */
 197         pn_Cmp_Ue    = pn_Cmp_Uo|pn_Cmp_Eq,           /**< unordered or equal */
 198         pn_Cmp_Ul    = pn_Cmp_Uo|pn_Cmp_Lt,           /**< unordered or less */
 199         pn_Cmp_Ule   = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Lt, /**< unordered, less or equal */
 200         pn_Cmp_Ug    = pn_Cmp_Uo|pn_Cmp_Gt,           /**< unordered or greater */
 201         pn_Cmp_Uge   = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Gt, /**< unordered, greater or equal */
 202         pn_Cmp_Ne    = pn_Cmp_Uo|pn_Cmp_Lt|pn_Cmp_Gt, /**< unordered, less or greater = not equal */
 203         pn_Cmp_True  = 15                             /**< true */
 204         /* not_mask = Leg*/   /* bits to flip to negate comparison * @@ hack for JNI interface */
 205 } pn_Cmp;   /* Projection numbers for Cmp */
 206
 207 /** The allocation place. */
 208 typedef enum {
 209         stack_alloc,          /**< Alloc allocates the object on the stack. */
 210         heap_alloc            /**< Alloc allocates the object on the heap. */
 211 } ir_where_alloc;
 212
 213 /** A input/output constraint attribute. */
 214 typedef struct {
 215         unsigned       pos;           /**< The inputs/output position for this constraint. */
 216         ident          *constraint;   /**< The constraint for this input/output. */
 217         ir_mode        *mode;         /**< The mode of the constraint. */
 218 } ir_asm_constraint;
 219
 220 /** Supported libFirm builtins. */
 221 /** Supported libFirm builtins. */
 222 typedef enum {
 223         ir_bk_trap,                   /**< GCC __builtin_trap(): insert trap */
 224         ir_bk_debugbreak,             /**< MS __debugbreak(): insert debug break */
 225         ir_bk_return_address,         /**< GCC __builtin_return_address() */
 226         ir_bk_frame_addess,           /**< GCC __builtin_frame_address() */
 227         ir_bk_prefetch,               /**< GCC __builtin_prefetch() */
 228         ir_bk_ffs,                    /**< GCC __builtin_ffs(): find first (least) significant 1 bit */
 229         ir_bk_clz,                    /**< GCC __builtin_clz(): count leading zero */
 230         ir_bk_ctz,                    /**< GCC __builtin_ctz(): count trailing zero */
 231         ir_bk_popcount,               /**< GCC __builtin_popcount(): population count */
 232         ir_bk_parity,                 /**< GCC __builtin_parity(): parity */
 233         ir_bk_bswap,                  /**< byte swap */
 234         ir_bk_inport,                 /**< in port */
 235         ir_bk_outport,                /**< out port */
 236 } ir_builtin_kind;
 237
 238 #endif