nsz Git - libfirm/blob - ir/ir/irtypes.h

   1 /*
   2  * Copyright (C) 1995-2007 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 the Firm IR base types, concentrated here
  23  * @author  Michael Beck
  24  * @version $Id$
  25  */
  26 #ifndef FIRM_IR_IRDEFS_H
  27 #define FIRM_IR_IRDEFS_H
  28
  29 #include "firm_types.h"
  30 #include "firm_common_t.h"
  31 #include "irdom_t.h"
  32 #include "irmode.h"
  33 #include "irnode.h"
  34 #include "irgraph.h"
  35 #include "iredgekinds.h"
  36 #include "irtypeinfo.h"
  37 #include "execution_frequency.h"
  38 #include "irmemory.h"
  39 #include "callgraph.h"
  40 #include "field_temperature.h"
  41
  42 #include "pset.h"
  43 #include "set.h"
  44 #include "list.h"
  45
  46 /** The type of an ir_op. */
  47 struct ir_op {
  48         unsigned code;          /**< The unique opcode of the op. */
  49         ident *name;            /**< The name of the op. */
  50         size_t attr_size;       /**< Space needed in memory for private attributes. */
  51         op_pin_state op_pin_state_pinned; /**< How to deal with the node in CSE, PRE. */
  52         op_arity opar;          /**< The arity of operator. */
  53         int op_index;           /**< The index of the first data operand, 0 for most cases, 1 for Div etc. */
  54         unsigned flags;         /**< Flags describing the behavior of the ir_op, a bitmasks of irop_flags. */
  55         void *tag;              /**< Some custom pointer the op's creator can attach stuff to. */
  56
  57         ir_op_ops ops;          /**< The operations of the this op. */
  58 };
  59
  60 /**
  61  * Contains relevant information about a mode.
  62  *
  63  * Necessary information about a mode is stored in this struct
  64  * which is used by the tarval module to perform calculations
  65  * and comparisons of values of a such described mode.
  66  *
  67  * ATTRIBUTES:
  68  *  -  modecode code:           An unambiguous int (enum) for the mode
  69  *  -  ident *name:             Name of this mode. Two modes are different if the name is different.
  70  *  -  mode_sort sort:          sort of mode specifying possible usage categories
  71  *  -  int    size:             size of the mode in Bits.
  72  *  -  unsigned sign:1:         signedness of this mode
  73  *  -  ... more to come
  74  *  -  modulo_shift             specifies for modes of kind irms_int_number
  75  *                              whether shift applies modulo to value of bits to shift
  76  *
  77  * SEE ALSO:
  78  *    The tech report 1999-44 describing FIRM and predefined modes
  79  *    tarval.h
  80  */
  81 struct ir_mode {
  82         firm_kind         kind;       /**< distinguishes this node from others */
  83         modecode          code;       /**< unambiguous identifier of a mode */
  84         ident             *name;      /**< Name ident of this mode */
  85
  86         /* ----------------------------------------------------------------------- */
  87         /* On changing this struct you have to evaluate the mode_are_equal function!*/
  88         mode_sort         sort;          /**< coarse classification of this mode:
  89                                           int, float, reference ...
  90                                           (see irmode.h) */
  91         mode_arithmetic   arithmetic;    /**< different arithmetic operations possible with a mode */
  92         int               size;          /**< size of the mode in Bits. */
  93         unsigned          sign:1;        /**< signedness of this mode */
  94         unsigned int      modulo_shift;  /**< number of bits a values of this mode will be shifted */
  95         unsigned          vector_elem;   /**< if this is not equal 1, this is a vector mode with
  96                                           vector_elem number of elements, size contains the size
  97                                           of all bits and must be dividable by vector_elem */
  98
  99         /* ----------------------------------------------------------------------- */
 100         tarval            *min;         /**< the minimum value that can be expressed */
 101         tarval            *max;         /**< the maximum value that can be expressed */
 102         tarval            *null;        /**< the value 0 */
 103         tarval            *one;         /**< the value 1 */
 104         tarval            *minus_one;   /**< the value -1 */
 105         tarval            *all_one;     /**< the value ~0 */
 106         ir_mode           *eq_signed;   /**< For pointer modes, the equivalent signed integer one. */
 107         ir_mode           *eq_unsigned; /**< For pointer modes, the equivalent unsigned integer one. */
 108         void              *link;        /**< To store some intermediate information */
 109         const void        *tv_priv;     /**< tarval module will save private data here */
 110 };
 111
 112 /** ir node attributes **/
 113
 114 /** Block attributes */
 115 typedef struct {
 116         /* General attributes */
 117         ir_graph *irg;              /**< The graph this block belongs to. */
 118         unsigned long block_visited; /**< For the walker that walks over all blocks. */
 119         /* Attributes private to construction: */
 120         unsigned is_matured:1;      /**< If set, all in-nodes of the block are fixed. */
 121         unsigned is_dead:1;         /**< If set, the block is dead (and could be replace by a Bad. */
 122         unsigned is_mb_head:1;      /**< Set if this block is a macroblock head. */
 123         unsigned has_label:1;       /**< Set if this block has a label assigned. */
 124         ir_node **graph_arr;        /**< An array to store all parameters. */
 125         /* Attributes holding analyses information */
 126         ir_dom_info dom;            /**< Datastructure that holds information about dominators.
 127                                          @@@ @todo
 128                                          Eventually overlay with graph_arr as only valid
 129                                          in different phases.  Eventually inline the whole
 130                                          datastructure. */
 131         ir_dom_info pdom;           /**< Datastructure that holds information about post-dominators. */
 132         ir_node ** in_cg;           /**< array with predecessors in
 133                                      * interprocedural_view, if they differ
 134                                      * from intraprocedural predecessors */
 135         int *backedge;              /**< Field n set to true if pred n is backedge.
 136                                          @@@ @todo Ev. replace by bit field! */
 137         int *cg_backedge;           /**< Field n set to true if pred n is interprocedural backedge.
 138                                          @@@ @todo Ev. replace by bit field! */
 139         ir_extblk *extblk;          /**< The extended basic block this block belongs to. */
 140         ir_region *region;          /**< The immediate structural region this block belongs to. */
 141         unsigned mb_depth;          /**< The macroblock depth: A distance from the macroblock header */
 142         ir_label_t label;           /**< The block label if assigned. */
 143
 144         struct list_head succ_head; /**< A list head for all successor edges of a block. */
 145 } block_attr;
 146
 147 /** Cond attributes. */
 148 typedef struct {
 149         cond_kind kind;           /**< flavor of Cond */
 150         long default_proj;        /**< only for non-binary Conds: biggest Proj number, i.e. the one used for default. */
 151         cond_jmp_predicate pred;  /**< only for binary Conds: The jump predication. */
 152 } cond_attr;
 153
 154 /** Const attributes. */
 155 typedef struct {
 156         tarval  *tv;       /**< the target value */
 157         ir_type *tp;       /**< the source type, for analyses. default: type_unknown. */
 158 } const_attr;
 159
 160 /** SymConst attributes. */
 161 typedef struct {
 162         symconst_symbol sym;  // old tori
 163         symconst_kind num;
 164         ir_type *tp;       /**< the source type, for analyses. default: type_unknown. */
 165 } symconst_attr;
 166
 167 /** Sel attributes. */
 168 typedef struct {
 169         ir_entity *ent;    /**< entity to select */
 170 } sel_attr;
 171
 172 /** Exception attributes. */
 173 typedef struct {
 174         op_pin_state   pin_state;     /**< the pin state for operations that might generate a exception:
 175                                                                          If it's know that no exception will be generated, could be set to
 176                                                                          op_pin_state_floats. */
 177 #if PRECISE_EXC_CONTEXT
 178         struct ir_node **frag_arr;    /**< For Phi node construction in case of exception */
 179 #endif
 180 } except_attr;
 181
 182 /** Call attributes. */
 183 typedef struct {
 184         except_attr    exc;           /**< the exception attribute. MUST be the first one. */
 185         ir_type *cld_tp;              /**< type of called procedure */
 186         ir_entity ** callee_arr;      /**< result of callee analysis */
 187 } call_attr;
 188
 189 /** Alloc attributes. */
 190 typedef struct {
 191         except_attr    exc;           /**< the exception attribute. MUST be the first one. */
 192         ir_type *type;                /**< Type of the allocated object.  */
 193         where_alloc where;            /**< stack, heap or other managed part of memory */
 194 } alloc_attr;
 195
 196 /** Free attributes. */
 197 typedef struct {
 198         ir_type *type;                /**< Type of the allocated object.  */
 199         where_alloc where;            /**< stack, heap or other managed part of memory */
 200 } free_attr;
 201
 202 /** InstOf attributes. */
 203 typedef struct {
 204         except_attr    exc;           /**< the exception attribute. MUST be the first one. */
 205         ir_type *type;                /**< the type of which the object pointer must be */
 206 } io_attr;
 207
 208 /** Filter attributes. */
 209 typedef struct {
 210         long proj;                 /**< contains the result position to project (Proj) */
 211         ir_node ** in_cg;          /**< array with interprocedural predecessors (Phi) */
 212         int *backedge;             /**< Field n set to true if pred n is backedge.
 213                                         @todo Ev. replace by bitfield! */
 214 } filter_attr;
 215
 216 /** CallBegin attributes. */
 217 typedef struct {
 218         ir_node * call;               /**< Associated Call-operation. */
 219 } callbegin_attr;
 220
 221 /** Cast attributes. */
 222 typedef struct {
 223         ir_type *totype;              /**< Type of the casted node. */
 224 } cast_attr;
 225
 226 /** Load attributes. */
 227 typedef struct {
 228         except_attr   exc;            /**< The exception attribute. MUST be the first one. */
 229         ir_mode       *load_mode;     /**< The mode of this Load operation. */
 230         unsigned      volatility:1;   /**< The volatility of this Load operation. */
 231         unsigned      aligned:1;      /**< The align attribute of this Load operation. */
 232 } load_attr;
 233
 234 /** Store attributes. */
 235 typedef struct {
 236         except_attr   exc;            /**< the exception attribute. MUST be the first one. */
 237         unsigned      volatility:1;   /**< The volatility of this Store operation. */
 238         unsigned      aligned:1;      /**< The align attribute of this Store operation. */
 239 } store_attr;
 240
 241 typedef struct {
 242         int            pos;  /**< For Phi0. Used to remember the value defined by
 243                                   this Phi node.  Needed when the Phi is completed
 244                                   to call get_r_internal_value to find the
 245                                   predecessors. If this attribute is set, the Phi
 246                                   node takes the role of the obsolete Phi0 node,
 247                                   therefore the name. */
 248 } phi0_attr;
 249
 250 /**< Confirm attribute. */
 251 typedef struct {
 252         pn_Cmp cmp;                   /**< The compare operation. */
 253 } confirm_attr;
 254
 255 /** CopyB attribute. */
 256 typedef struct {
 257         except_attr    exc;           /**< The exception attribute. MUST be the first one. */
 258         ir_type        *data_type;    /**< Type of the copied entity. */
 259 } copyb_attr;
 260
 261 /** Bound attribute. */
 262 typedef struct {
 263         except_attr exc;              /**< The exception attribute. MUST be the first one. */
 264 } bound_attr;
 265
 266 /** Conv attribute. */
 267 typedef struct {
 268         char           strict;        /**< If set, this is a strict Conv that cannot be removed. */
 269 } conv_attr;
 270
 271 /** Div/Mod/DivMod/Quot attribute. */
 272 typedef struct {
 273         except_attr    exc;           /**< The exception attribute. MUST be the first one. */
 274         ir_mode        *res_mode;     /**< Result mode for the division. */
 275 } divmod_attr;
 276
 277 /** Inline Assembler support attribute. */
 278 typedef struct {
 279         op_pin_state      pin_state;  /**< the pin state for operations that might generate a exception */
 280         ident             *asm_text;  /**< The inline assembler text. */
 281         ir_asm_constraint *inputs;    /**< Input constraints. */
 282         ir_asm_constraint *outputs;   /**< Output constraints. */
 283         ident             **clobber;  /**< List of clobbered registers. */
 284 } asm_attr;
 285
 286 /** Some IR-nodes just have one attribute, these are stored here,
 287    some have more. Their name is 'irnodename_attr' */
 288 typedef union {
 289         block_attr     block;         /**< For Block: Fields needed to construct it */
 290         cond_attr      cond;          /**< For Cond. */
 291         const_attr     con;           /**< For Const: contains the value of the constant and a type */
 292         symconst_attr  symc;          /**< For SymConst. */
 293         sel_attr       sel;           /**< For Sel. */
 294         call_attr      call;          /**< For Call: pointer to the type of the method to call */
 295         callbegin_attr callbegin;     /**< For CallBegin. */
 296         alloc_attr     alloc;         /**< For Alloc. */
 297         free_attr      free;          /**< For Free. */
 298         io_attr        instof;        /**< For InstOf */
 299         cast_attr      cast;          /**< For Cast. */
 300         load_attr      load;          /**< For Load. */
 301         store_attr     store;         /**< For Store. */
 302         phi0_attr      phi0;          /**< for Phi0 nodes. */
 303         int            *phi_backedge; /**< For Phi after construction.
 304                                            Field n set to true if pred n is backedge.
 305                                            @todo Ev. replace by bitfield! */
 306         long           proj;          /**< For Proj: contains the result position to project */
 307         confirm_attr   confirm;       /**< For Confirm: compare operation and region. */
 308         filter_attr    filter;        /**< For Filter */
 309         except_attr    except;        /**< For Phi node construction in case of exceptions */
 310         copyb_attr     copyb;         /**< For CopyB operation */
 311         bound_attr     bound;         /**< For Bound operation */
 312         conv_attr      conv;          /**< For Conv operation */
 313         divmod_attr    divmod;        /**< For Div/Mod/DivMod operation */
 314         asm_attr       assem;         /**< For ASM operation. */
 315 } attr;
 316
 317 /**
 318  * Edge info to put into an irn.
 319  */
 320 typedef struct _irn_edge_kind_info_t {
 321         struct list_head outs_head;  /**< The list of all outs. */
 322         int out_count;               /**< Number of outs in the list. */
 323 } irn_edge_info_t;
 324
 325 typedef irn_edge_info_t irn_edges_info_t[EDGE_KIND_LAST];
 326
 327 /**
 328  * The common structure of an irnode.
 329  * If the node has some attributes, they are stored in the attr field.
 330  */
 331 struct ir_node {
 332         /* ------- Basics of the representation  ------- */
 333         firm_kind kind;          /**< Distinguishes this node from others. */
 334         ir_op *op;               /**< The Opcode of this node. */
 335         ir_mode *mode;           /**< The Mode of this node. */
 336         struct ir_node **in;     /**< The array of predecessors / operands. */
 337         unsigned long visited;   /**< The visited counter for walks of the graph. */
 338         unsigned node_idx;       /**< The node index of this node in its graph. */
 339         void *link;              /**< To attach additional information to the node, e.g.
 340                                       used while construction to link Phi0 nodes and
 341                                       during optimization to link to nodes that
 342                                       shall replace a node. */
 343         /* ------- Fields for optimizations / analysis information ------- */
 344         struct ir_node **out;    /**< @deprecated array of out edges. */
 345         struct dbg_info *dbi;    /**< A pointer to information for debug support. */
 346         /* ------- For debugging ------- */
 347 #ifdef DEBUG_libfirm
 348         unsigned flags;
 349         int out_valid;
 350         long node_nr;            /**< A unique node number for each node to make output
 351                                       readable. */
 352 #endif
 353         /* ------- For analyses -------- */
 354         ir_loop *loop;           /**< the loop the node is in. Access routines in irloop.h */
 355 #ifdef DO_HEAPANALYSIS
 356         struct abstval *av;      /**< Heapanalysis: The abstract value of this node. */
 357         struct section *sec;     /**< Heapanalysis: The section of this node. */
 358 #endif
 359         struct ir_node **deps;   /**< Additional dependencies induced by state. */
 360         irn_edges_info_t edge_info;  /**< Everlasting out edges. */
 361         /* ------- Opcode depending fields -------- */
 362         attr attr;               /**< The set of attributes of this node. Depends on opcode.
 363                                       Must be last field of struct ir_node. */
 364 };
 365
 366 /**
 367  * Edge info to put into an irg.
 368  */
 369 typedef struct _irg_edge_info_t {
 370           set      *edges;         /**< a set containing all edges of a graph. */
 371           unsigned activated : 1;  /**< set if edges are activated for the graph. */
 372 } irg_edge_info_t;
 373
 374 typedef irg_edge_info_t irg_edges_info_t[EDGE_KIND_LAST];
 375
 376 /**
 377  * Index constants for nodes that can be accessed through the graph anchor node.
 378  */
 379 enum irg_anchors {
 380         anchor_end_block = 0,    /**< block the end node will belong to, same as Anchors block */
 381         anchor_start_block,      /**< block the start node will belong to */
 382         anchor_end,              /**< end node of this ir_graph */
 383         anchor_start,            /**< start node of this ir_graph */
 384         anchor_end_reg,          /**< end node of this ir_graph */
 385         anchor_end_except,       /**< end node of this ir_graph */
 386         anchor_frame,            /**< method's frame */
 387         anchor_globals,          /**< pointer to the data segment containing all
 388                                       globals as well as global procedures. */
 389         anchor_tls,              /**< pointer to the thread local storage containing all
 390                                       thread local data. */
 391         anchor_initial_mem,      /**< initial memory of this graph */
 392         anchor_args,             /**< methods arguments */
 393         anchor_value_param_base, /**< method value param base */
 394         anchor_bad,              /**< bad node of this ir_graph, the one and
 395                                       only in this graph */
 396         anchor_no_mem,           /**< NoMem node of this ir_graph, the one and only in this graph */
 397         anchor_last
 398 };
 399
 400 /** A callgraph entry for callees. */
 401 typedef struct cg_callee_entry {
 402         ir_graph  *irg;        /**< The called irg. */
 403         ir_node  **call_list;  /**< The list of all calls to the irg. */
 404         int        max_depth;  /**< Maximum depth of all Call nodes to irg. */
 405 } cg_callee_entry;
 406
 407 /**
 408  * An ir_graph holds all information for a procedure.
 409  */
 410 struct ir_graph {
 411         firm_kind         kind;        /**< Always set to k_ir_graph. */
 412         /* --  Basics of the representation -- */
 413         ir_entity  *ent;               /**< The entity of this procedure, i.e.,
 414                                             the type of the procedure and the
 415                                             class it belongs to. */
 416         ir_type *frame_type;           /**< A class type representing the stack frame.
 417                                             Can include "inner" methods. */
 418         ir_node *anchor;               /**< The anchor node. */
 419         ir_node **proj_args;           /**< Projs of the methods arguments. */
 420         struct obstack *obst;          /**< The obstack where all of the ir_nodes live. */
 421         ir_node *current_block;        /**< Current block for newly gen_*()-erated ir_nodes. */
 422         struct obstack *extbb_obst;    /**< The obstack for extended basic block info. */
 423
 424         unsigned last_node_idx;        /**< The last IR node index for this graph. */
 425
 426         /* -- Fields for graph properties -- */
 427         irg_inline_property inline_property;     /**< How to handle inlineing. */
 428         unsigned additional_properties;          /**< Additional graph properties. */
 429
 430         /* -- Fields indicating different states of irgraph -- */
 431         irg_phase_state phase_state;       /**< Compiler phase. */
 432         op_pin_state irg_pinned_state;     /**< Flag for status of nodes. */
 433         irg_outs_state outs_state;         /**< Out edges. */
 434         irg_dom_state dom_state;           /**< Dominator state information. */
 435         irg_dom_state pdom_state;          /**< Post Dominator state information. */
 436         ir_typeinfo_state typeinfo_state;        /**< Validity of type information. */
 437         irg_callee_info_state callee_info_state; /**< Validity of callee information. */
 438         irg_loopinfo_state loopinfo_state;       /**< State of loop information. */
 439         ir_class_cast_state class_cast_state;    /**< Kind of cast operations in code. */
 440         irg_extblk_info_state extblk_state;      /**< State of extended basic block info. */
 441         exec_freq_state execfreq_state;          /**< Execution frequency state. */
 442         ir_address_taken_computed_state adr_taken_state;  /**< Address taken state. */
 443         unsigned mem_disambig_opt;               /**< Options for the memory disambiguator. */
 444         unsigned fp_model;                       /**< floating point model of the graph. */
 445
 446         /* -- Fields for construction -- */
 447 #if USE_EXPLICIT_PHI_IN_STACK
 448         struct Phi_in_stack *Phi_in_stack; /**< Needed for automatic Phi construction. */
 449 #endif
 450         int n_loc;                         /**< Number of local variables in this
 451                                                 procedure including procedure parameters. */
 452         void **loc_descriptions;           /**< Storage for local variable descriptions. */
 453
 454         /* -- Fields for optimizations / analysis information -- */
 455         pset *value_table;                 /**< Hash table for global value numbering (cse)
 456                                                 for optimizing use in iropt.c */
 457         ir_node **outs;                    /**< Space for the out arrays. */
 458
 459         ir_loop *loop;                     /**< The outermost loop for this graph. */
 460         void *link;                        /**< A void* field to link any information to
 461                                                 the node. */
 462
 463         ir_graph **callers;                /**< For callgraph analysis: list of caller graphs. */
 464         unsigned char *caller_isbe;        /**< For callgraph analysis: set if backedge. */
 465         cg_callee_entry **callees;         /**< For callgraph analysis: list of callee calls */
 466         unsigned char *callee_isbe;        /**< For callgraph analysis: set if backedge. */
 467         int        callgraph_loop_depth;         /**< For callgraph analysis */
 468         int        callgraph_recursion_depth;    /**< For callgraph analysis */
 469         double     method_execution_frequency;   /**< For callgraph analysis */
 470
 471         ir_loop   *l;                            /**< For callgraph analysis. */
 472
 473         /* -- Fields for Walking the graph -- */
 474         unsigned long visited;             /**< this flag is an identifier for
 475                           ir walk. it will be incremented
 476                           every time someone walks through
 477                           the graph */
 478         unsigned long block_visited;       /**< same as visited, for a complete block */
 479
 480         unsigned estimated_node_count;     /**< estimated number of nodes in this graph,
 481                                                 updated after every walk */
 482         irg_edges_info_t edge_info;        /**< edge info for automatic outs */
 483         ir_node **idx_irn_map;             /**< Array mapping node indexes to nodes. */
 484
 485 #ifdef DEBUG_libfirm
 486         int             n_outs;            /**< Size wasted for outs */
 487         long graph_nr;                     /**< a unique graph number for each graph to make output
 488                                                 readable. */
 489 #endif
 490
 491 #ifndef NDEBUG
 492         unsigned using_visited       : 1;  /**< set to 1 if we are currently using the visited flag */
 493         unsigned using_block_visited : 1;  /**< set to 1 if we are currently using the block_visited flag */
 494         unsigned using_irn_link      : 1;  /**< set to 1 if we are currently using the irn_link fields */
 495 #endif
 496 };
 497
 498 /** ir_prog */
 499 struct ir_prog {
 500         firm_kind kind;                 /**< must be k_ir_prog */
 501         ident     *name;                /**< A file name or the like. */
 502         ir_graph  *main_irg;            /**< The entry point to the compiled program
 503                                              or NULL if no point exists. */
 504         ir_graph **graphs;              /**< A list of all graphs in the ir. */
 505         ir_graph **pseudo_graphs;       /**< A list of all pseudo graphs in the ir. See pseudo_irg.c */
 506         ir_graph  *const_code_irg;      /**< This ir graph gives the proper environment
 507                                              to allocate nodes the represent values
 508                                              of constant entities. It is not meant as
 509                                              a procedure.  */
 510         ir_type   *glob_type;           /**< The global type.  Must be a class as it can
 511                                              have fields and procedures.  */
 512         ir_type   *tls_type;            /**< The thread local storage type.  Must be a struct as it can
 513                                              only have fields.  */
 514         ir_type  **types;               /**< A list of all types in the ir. */
 515         ir_mode  **modes;               /**< A list of all modes in the ir. */
 516         ir_op    **opcodes;             /**< A list of all opcodes in the ir. */
 517
 518         /* -- states of and access to generated information -- */
 519         irg_phase_state phase_state;    /**< The state of construction. */
 520
 521         ip_view_state ip_view;          /**< The state of interprocedural view. */
 522
 523         irg_outs_state outs_state;      /**< The state of out edges of ir nodes. */
 524         ir_node **ip_outedges;          /**< A huge Array that contains all out edges
 525                                              in interprocedural view. */
 526         irg_outs_state trouts_state;    /**< The state of out edges of type information. */
 527
 528         irg_callee_info_state callee_info_state; /**< Validity of callee information.
 529                                                       Contains the lowest value or all irgs.  */
 530         ir_typeinfo_state typeinfo_state;    /**< Validity of type information. */
 531         inh_transitive_closure_state inh_trans_closure_state;  /**< State of transitive closure
 532                                                                     of inheritance relations. */
 533
 534         irp_callgraph_state callgraph_state; /**< The state of the callgraph. */
 535         ir_loop *outermost_cg_loop;          /**< For callgraph analysis: entry point
 536                                                       to looptree over callgraph. */
 537         int max_callgraph_loop_depth;        /**< needed in callgraph. */
 538         int max_callgraph_recursion_depth;   /**< needed in callgraph. */
 539         double max_method_execution_frequency;  /**< needed in callgraph. */
 540         irp_temperature_state temperature_state; /**< accumulated temperatures computed? */
 541         exec_freq_state execfreq_state;      /**< The state of execution frequency information */
 542         loop_nesting_depth_state lnd_state;  /**< The state of loop nesting depth information. */
 543         ir_class_cast_state class_cast_state;    /**< The state of cast operations in code. */
 544         ir_address_taken_computed_state globals_adr_taken_state;  /**< Address taken state of the globals. */
 545
 546         ir_exc_region_t last_region_nr;      /**< The last exception region number that was assigned. */
 547         ir_label_t last_label_nr;            /**< The highest label number for generating unique labels. */
 548 #ifdef DEBUG_libfirm
 549         long max_node_nr;                    /**< to generate unique numbers for nodes. */
 550 #endif
 551 };
 552
 553
 554 #endif