handle a call of an absolute address
[libfirm] / ir / ir / irgraph_t.h
index ef3b38f..6cc7bf6 100644 (file)
@@ -56,7 +56,7 @@ typedef struct _irg_edge_info_t {
 struct ir_graph {
   firm_kind         kind;            /**<  always set to k_ir_graph*/
   /* --  Basics of the representation -- */
-  struct entity  *ent;               /**< The entity of this procedure, i.e.,
+  entity  *ent;           /**< The entity of this procedure, i.e.,
                     the type of the procedure and the
                     class it belongs to. */
   ir_type *frame_type;    /**< A class type representing the stack frame.
@@ -92,7 +92,8 @@ struct ir_graph {
   irg_phase_state phase_state;       /**< compiler phase */
   op_pin_state irg_pinned_state;     /**< Flag for status of nodes */
   irg_outs_state outs_state;         /**< Out edges. */
-  irg_dom_state dom_state;           /**< Dominator information */
+  irg_dom_state dom_state;           /**< Dominator state information */
+  irg_dom_state pdom_state;          /**< Post Dominator state information */
   ir_typeinfo_state typeinfo_state;        /**< Validity of type information */
   irg_callee_info_state callee_info_state; /**< Validity of callee information */
   irg_loopinfo_state loopinfo_state;       /**< state of loop information */
@@ -111,12 +112,12 @@ struct ir_graph {
   /* -- Fields for optimizations / analysis information -- */
   pset *value_table;                 /**< hash table for global value numbering (cse)
                     for optimizing use in iropt.c */
-  struct ir_node **outs;             /**< Space for the out arrays. */
+  ir_node **outs;                    /**< Space for the out arrays. */
 
 #ifdef DEBUG_libfirm
   int             n_outs;            /**< Size wasted for outs */
 #endif /* defined DEBUG_libfirm */
-  struct ir_loop *loop;              /**< The outermost loop */
+  ir_loop *loop;                     /**< The outermost loop */
   void *link;                        /**< A void* field to link any information to
                     the node. */
 
@@ -142,7 +143,7 @@ struct ir_graph {
   irg_edge_info_t edge_info;  /**< edge info for automatic outs */
 #endif
 #ifdef DEBUG_libfirm
-  int graph_nr;             /**< a unique graph number for each graph to make output
+  long graph_nr;              /**< a unique graph number for each graph to make output
                    readable. */
 #endif
 
@@ -347,14 +348,14 @@ _set_irg_entity(ir_graph *irg, entity *ent) {
   irg->ent = ent;
 }
 
-static INLINE type *
+static INLINE ir_type *
 _get_irg_frame_type(ir_graph *irg) {
   assert(irg && irg->frame_type);
   return irg->frame_type = skip_tid(irg->frame_type);
 }
 
 static INLINE void
-_set_irg_frame_type(ir_graph *irg, type *ftp) {
+_set_irg_frame_type(ir_graph *irg, ir_type *ftp) {
   assert(is_Class_type(ftp));
   irg->frame_type = ftp;
 }
@@ -396,9 +397,17 @@ _get_irg_dom_state(const ir_graph *irg) {
   return irg->dom_state;
 }
 
+static INLINE irg_dom_state
+_get_irg_postdom_state(const ir_graph *irg) {
+  return irg->pdom_state;
+}
+
 static INLINE void
-_set_irg_dom_inconsistent(ir_graph *irg) {
-  irg->dom_state = dom_inconsistent;
+_set_irg_doms_inconsistent(ir_graph *irg) {
+  if (irg->dom_state != dom_none)
+    irg->dom_state = dom_inconsistent;
+  if (irg->pdom_state != dom_none)
+    irg->pdom_state = dom_inconsistent;
 }
 
 static INLINE irg_loopinfo_state
@@ -545,7 +554,8 @@ _get_irg_estimated_node_cnt(const ir_graph *irg) {
 #define get_irg_outs_state(irg)               _get_irg_outs_state(irg)
 #define set_irg_outs_inconsistent(irg)        _set_irg_outs_inconsistent(irg)
 #define get_irg_dom_state(irg)                _get_irg_dom_state(irg)
-#define set_irg_dom_inconsistent(irg)         _set_irg_dom_inconsistent(irg)
+#define get_irg_postdom_state(irg)            _get_irg_postdom_state(irg)
+#define set_irg_doms_inconsistent(irg)        _set_irg_doms_inconsistent(irg)
 #define get_irg_loopinfo_state(irg)           _get_irg_loopinfo_state(irg)
 #define set_irg_loopinfo_state(irg, s)        _set_irg_loopinfo_state(irg, s)
 #define set_irg_loopinfo_inconsistent(irg)    _set_irg_loopinfo_inconsistent(irg)