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

   1 /*
   2  * Project:     libFIRM
   3  * File name:   ir/ir/irprog_t.h
   4  * Purpose:     Entry point to the representation of a whole program 0-- private header.
   5  * Author:      Goetz Lindenmaier
   6  * Modified by:
   7  * Created:     2000
   8  * CVS-ID:      $Id$
   9  * Copyright:   (c) 2000-2003 Universität Karlsruhe
  10  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  11  */
  12
  13 /**
  14  * @file irprog_t.h
  15  */
  16
  17 #ifndef _IRPROG_T_H_
  18 #define _IRPROG_T_H_
  19
  20 #ifdef HAVE_CONFIG_H
  21 #include "firm_config.h"
  22 #endif
  23
  24 #include "irprog.h"
  25 #include "irgraph.h"
  26 #include "pseudo_irg.h"
  27 #include "ircgcons.h"
  28 #include "firm_common_t.h"
  29 #include "typegmod.h"
  30 #include "irtypeinfo.h"
  31 #include "tr_inheritance.h"
  32
  33 #include "callgraph.h"
  34 #include "field_temperature.h"
  35
  36 #include "array.h"
  37
  38 /** ir_prog */
  39 struct ir_prog {
  40   firm_kind kind;
  41   ident     *name;                /**< A file name or the like. */
  42   ir_graph  *main_irg;            /**< entry point to the compiled program
  43                                        @@@ or a list, in case we compile a library or the like? */
  44   ir_graph **graphs;              /**< all graphs in the ir */
  45   ir_graph **pseudo_graphs;       /**< all pseudo graphs in the ir. See pseudo_irg.c */
  46   ir_graph  *const_code_irg;      /**< This ir graph gives the proper environment
  47                                        to allocate nodes the represent values
  48                                        of constant entities. It is not meant as
  49                                        a procedure.  */
  50   type      *glob_type;           /**< global type.  Must be a class as it can
  51                                        have fields and procedures.  */
  52   type     **types;               /**< all types in the ir */
  53
  54   /* -- states of and access to generated information -- */
  55   irg_phase_state phase_state;    /**< State of construction. */
  56
  57   ip_view_state ip_view;          /**< State of interprocedural view. */
  58
  59   irg_outs_state outs_state;      /**< State of out edges of ir nodes. */
  60   ir_node **ip_outedges;          /**< Huge Array that contains all out edges
  61                                        in interprocedural view. */
  62   irg_outs_state trouts_state;    /**< State of out edges of type information. */
  63
  64   irg_callee_info_state callee_info_state; /**< Validity of callee information.
  65                                               Contains the lowest value or all irgs.  */
  66   ir_typeinfo_state typeinfo_state;    /**< Validity of type information. */
  67   inh_transitive_closure_state inh_trans_closure_state;  /**< trans closure of inh relations. */
  68
  69   irp_callgraph_state callgraph_state; /**< State of the callgraph. */
  70   struct ir_loop *outermost_cg_loop;   /**< For callgraph analysis: entry point
  71                                             to looptree over callgraph. */
  72   int max_callgraph_loop_depth;        /**< needed in callgraph. */
  73   int max_callgraph_recursion_depth;   /**< needed in callgraph. */
  74   int max_method_execution_frequency;  /**< needed in callgraph. */
  75   irp_temperature_state temperature_state; /**< accumulated temperatures computed? */
  76
  77 #ifdef DEBUG_libfirm
  78   long max_node_nr;                /**< to generate unique numbers for nodes. */
  79 #endif
  80 };
  81
  82 void remove_irp_type_from_list (type *typ);
  83
  84 static INLINE type *
  85 __get_glob_type(void) {
  86   assert(irp);
  87   return irp->glob_type = skip_tid(irp->glob_type);
  88 }
  89
  90 static INLINE int
  91 __get_irp_n_irgs(void) {
  92   assert (irp && irp->graphs);
  93   if (get_visit_pseudo_irgs()) return get_irp_n_allirgs();
  94   return (ARR_LEN((irp)->graphs));
  95 }
  96
  97 static INLINE ir_graph *
  98 __get_irp_irg(int pos){
  99   if (get_visit_pseudo_irgs()) return get_irp_allirg(pos);
 100   assert(0 <= pos && pos <= get_irp_n_irgs());
 101   return irp->graphs[pos];
 102 }
 103
 104
 105 static INLINE int
 106 __get_irp_n_types (void) {
 107   assert (irp && irp->types);
 108   return (ARR_LEN((irp)->types));
 109 }
 110
 111 static INLINE type *
 112 __get_irp_type(int pos) {
 113   assert (irp && irp->types);
 114   /* Don't set the skip_tid result so that no double entries are generated. */
 115   return skip_tid(irp->types[pos]);
 116 }
 117
 118 #ifdef DEBUG_libfirm
 119 /** Returns a new, unique number to number nodes or the like. */
 120 int get_irp_new_node_nr(void);
 121 #endif
 122
 123 static INLINE ir_graph *
 124 __get_const_code_irg(void)
 125 {
 126   return irp->const_code_irg;
 127 }
 128
 129 void           set_irp_ip_outedges(ir_node ** ip_outedges);
 130 ir_node**      get_irp_ip_outedges(void);
 131
 132 /** initializes ir_prog. Calls the constructor for an ir_prog. */
 133 void init_irprog(void);
 134
 135 #define get_irp_n_irgs()       __get_irp_n_irgs()
 136 #define get_irp_irg(pos)       __get_irp_irg(pos)
 137 #define get_irp_n_types()      __get_irp_n_types()
 138 #define get_irp_type(pos)      __get_irp_type(pos)
 139 #define get_const_code_irg()   __get_const_code_irg()
 140 #define get_glob_type()        __get_glob_type()
 141
 142 #endif /* ifndef _IRPROG_T_H_ */