replaced all recursive computed_value calls ba value_of()

[libfirm] / ir / ir / irnode_t.h

diff --git a/ir/ir/irnode_t.h b/ir/ir/irnode_t.h
index 569178f..7552ed1 100644 (file)
--- a/ir/ir/irnode_t.h
+++ b/ir/ir/irnode_t.h
@@ -78,7 +78,7 @@ typedef struct {
 typedef struct {
   cond_kind kind;    /**< flavor of Cond */
   long default_proj; /**< for optimization: biggest Proj number, i.e. the one
-              used for default. */
+                          used for default. */
 } cond_attr;
 
 /** Const attributes */
@@ -98,21 +98,27 @@ typedef struct {
   entity *ent;          /**< entity to select */
 } sel_attr;
 
+/** Exception attributes */
 typedef struct {
-  type *cld_tp;         /**< type of called procedure */
+  op_pin_state   pin_state;     /**< the pin state for operations that might generate a exception:
+                                     If it's know that no exception will be generated, could be set to
+                                     op_pin_state_floats. */
 #if PRECISE_EXC_CONTEXT
-  struct ir_node **frag_arr; /**< For Phi node construction in case of exceptions */
+  struct ir_node **frag_arr;    /**< For Phi node construction in case of exception */
 #endif
-  entity ** callee_arr; /**< result of callee analysis */
+} except_attr;
+
+typedef struct {
+  except_attr    exc;           /**< the exception attribute. MUST be the first one. */
+  type *cld_tp;                 /**< type of called procedure */
+  entity ** callee_arr;         /**< result of callee analysis */
 } call_attr;
 
 /** Alloc attributes */
 typedef struct {
-  type *type;           /**< Type of the allocated object.  */
-  where_alloc where;    /**< stack, heap or other managed part of memory */
-#if PRECISE_EXC_CONTEXT
-  struct ir_node **frag_arr; /**< For Phi node construction in case of exceptions */
-#endif
+  except_attr    exc;           /**< the exception attribute. MUST be the first one. */
+  type *type;                   /**< Type of the allocated object.  */
+  where_alloc where;            /**< stack, heap or other managed part of memory */
 } alloc_attr;
 
 /** InstOf attributes */
@@ -153,26 +159,17 @@ typedef struct {
 
 /** Load attributes */
 typedef struct {
-  ir_mode *load_mode;           /**< the mode of this Load operation */
+  except_attr    exc;           /**< the exception attribute. MUST be the first one. */
+  ir_mode        *load_mode;    /**< the mode of this Load operation */
   ent_volatility volatility;   /**< the volatility of a Load/Store operation */
-#if PRECISE_EXC_CONTEXT
-  struct ir_node **frag_arr;    /**< For Phi node construction in case of exception */
-#endif
 } load_attr;
 
 /** Store attributes */
 typedef struct {
+  except_attr    exc;           /**< the exception attribute. MUST be the first one. */
   ent_volatility volatility;   /**< the volatility of a Store operation */
-#if PRECISE_EXC_CONTEXT
-  struct ir_node **frag_arr;    /**< For Phi node construction in case of exception */
-#endif
 } store_attr;
 
-/** Exception attributes */
-typedef struct {
-  struct ir_node **frag_arr;    /**< For Phi node construction in case of exception */
-} except_attr;
-
 typedef pn_Cmp confirm_attr; /** Attribute to hold compare operation */
 
 /** Some irnodes just have one attribute, these are stored here,
@@ -205,9 +202,7 @@ typedef union {
   confirm_attr   confirm_cmp;   /**< For Confirm: compare operation */
   filter_attr    filter;    /**< For Filter */
   end_attr       end;       /**< For EndReg, EndExcept */
-#if PRECISE_EXC_CONTEXT
   except_attr    except; /**< For Phi node construction in case of exceptions */
-#endif
 } attr;
 
 
@@ -339,17 +334,15 @@ __get_irn_inter_arity (const ir_node *node) {
  * Returns the number of predecessors without the block predecessor.
  * Intern version for libFirm.
  */
-static INLINE int
-__get_irn_arity (const ir_node *node) {
-  if (interprocedural_view) return __get_irn_inter_arity(node);
-  return __get_irn_intra_arity(node);
-}
+extern int (*__get_irn_arity)(const ir_node *node);
 
 /**
  * Intern version for libFirm.
  */
 static INLINE ir_node *
 __get_irn_intra_n (ir_node *node, int n) {
+  assert(node); assert(-1 <= n && n < __get_irn_arity(node));
+
   return (node->in[n + 1] = skip_Id(node->in[n + 1]));
 }
 
@@ -358,6 +351,8 @@ __get_irn_intra_n (ir_node *node, int n) {
  */
 static INLINE ir_node*
 __get_irn_inter_n (ir_node *node, int n) {
+  assert(node); assert(-1 <= n && n < __get_irn_arity(node));
+
   /* handle Filter and Block specially */
   if (__get_irn_opcode(node) == iro_Filter) {
     assert(node->attr.filter.in_cg);
@@ -377,12 +372,7 @@ __get_irn_inter_n (ir_node *node, int n) {
  * If it is a block, the entry -1 is NULL.
  * Intern version for libFirm.
  */
-static INLINE ir_node *
-__get_irn_n (ir_node *node, int n) {
-  assert(node); assert(-1 <= n && n < __get_irn_arity(node));
-  if (interprocedural_view)  return __get_irn_inter_n (node, n);
-  return __get_irn_intra_n (node, n);
-}
+extern ir_node *(*__get_irn_n)(ir_node *node, int n);
 
 /**
  * Gets the mode of a node.
@@ -482,6 +472,18 @@ __get_irn_link(const ir_node *node) {
   return node->link;
 }
 
+/**
+ * Returns the pinned state of a node.
+ * Intern version of libFirm.
+ */
+static INLINE op_pin_state
+__get_irn_pinned(const ir_node *node) {
+  op_pin_state state = __get_op_pinned(__get_irn_op(node));
+  if (state == op_pin_state_exc_pinned)
+    return get_opt_fragile_ops() ? node->attr.except.pin_state : op_pin_state_pinned;
+  return state;
+}
+
 /* this section MUST contain all inline functions */
 #define is_ir_node(thing)          __is_ir_node(thing)
 #define get_irn_intra_arity(node)  __get_irn_intra_arity(node)