Fixed gcc warnings --flo
[libfirm] / ir / ir / irnode.h
index 6e21f77..a95e2f5 100644 (file)
 # ifndef _IRNODE_H_
 # define _IRNODE_H_
 
-/** Projection numbers of compare: use for Proj nodes! */
-/* @@@ there are numbers with normalized names below! */
+/**
+ * Projection numbers of compare: use for Proj nodes!
+ * @remark there are numbers with normalized names below!
+ */
 typedef enum {
-  False = 0,           /**< false */
-  Eq,                  /**< equal */
-  Lt,                  /**< less */
-  Le,                  /**< less or equal */
-  Gt,                  /**< greater */
-  Ge,                  /**< greater or equal */
-  Lg,                  /**< less or greater */
-  Leg = 7,             /**< less, equal or greater = ordered */
-  Uo,                  /**< unordered */
-  Ue,                  /**< unordered or equal */
-  Ul,                  /**< unordered or less */
-  Ule,                 /**< unordered, less or equal */
-  Ug,                  /**< unordered or greater */
-  Uge,                 /**< unordered, greater or equal */
-  Ne,                  /**< unordered, less or greater = not equal */
-  True = 15            /**< true */
-  /* not_mask = Leg*/  /* bits to flip to negate comparison * @@ hack for jni interface */
+  False = 0,        /**< false */
+  Eq,           /**< equal */
+  Lt,           /**< less */
+  Le,           /**< less or equal */
+  Gt,           /**< greater */
+  Ge,           /**< greater or equal */
+  Lg,           /**< less or greater */
+  Leg = 7,      /**< less, equal or greater = ordered */
+  Uo,           /**< unordered */
+  Ue,           /**< unordered or equal */
+  Ul,           /**< unordered or less */
+  Ule,          /**< unordered, less or equal */
+  Ug,           /**< unordered or greater */
+  Uge,          /**< unordered, greater or equal */
+  Ne,           /**< unordered, less or greater = not equal */
+  True = 15         /**< true */
+  /* not_mask = Leg*/   /* bits to flip to negate comparison * @@ hack for jni interface */
 } pnc_number;   /* pnc: Projection Number Cmp */
 #define not_mask Leg
 
@@ -57,7 +59,7 @@ typedef enum {
 /**
  * @defgroup ir_node Declarations of an ir node.
  *
- * The type definiton of ir_node is also in irgraph.h to resolve
+ * The type definition of ir_node is also in irgraph.h to resolve
  *  recursion between irnode.h and irgraph.h
  *
  * ir_node - a datatype representing a Firm node
@@ -98,19 +100,21 @@ typedef struct ir_node ir_node;
  *       true if the thing is a ir mode, else false
  */
 int
-is_ir_node (void *thing);
+is_ir_node (const void *thing);
 
 /** returns the number of predecessors without the block predecessor: */
 int                  get_irn_arity         (const ir_node *node);
+INLINE int           get_irn_intra_arity   (const ir_node *node);
+INLINE int           get_irn_inter_arity   (const ir_node *node);
 
 /** Replaces the old in array by a new one that will contain the ins given in
    the parameters.  Conserves the block predecessor.  It copies the array passed.
-   This function is necessary to ajust in arrays of blocks, calls and phis.
+   This function is necessary to adjust in arrays of blocks, calls and phis.
    Assumes that current_ir_graph is set to the graph containing "node".
    "in" must contain all predecessors except the block that are required for
    the nodes opcode. */
 INLINE void          set_irn_in            (ir_node *node, int arity,
-                                           ir_node *in[]);
+                        ir_node *in[]);
 /* to iterate through the predecessors without touching the array. No
    order of predecessors guaranteed.
    To iterate over the operands iterate from 0 to i < get_irn_arity(),
@@ -119,6 +123,8 @@ INLINE void          set_irn_in            (ir_node *node, int arity,
 /* Access predecessor n */
 /* get_irn_n removes Id predecessors. */
 INLINE ir_node      *get_irn_n             (ir_node *node, int n);
+INLINE ir_node      *get_irn_intra_n       (ir_node *node, int n);
+INLINE ir_node      *get_irn_inter_n       (ir_node *node, int n);
 INLINE void          set_irn_n             (ir_node *node, int n, ir_node *in);
 /** Sets the mode struct of node */
 INLINE void          set_irn_mode (ir_node *node, ir_mode *mode);
@@ -128,6 +134,8 @@ INLINE ir_mode      *get_irn_mode          (const ir_node *node);
 INLINE modecode      get_irn_modecode      (const ir_node *node);
 /** Gets the ident for a string representation of the mode .*/
 INLINE ident        *get_irn_modeident     (const ir_node *node);
+/** Gets the string representation of the mode .*/
+INLINE const char   *get_irn_modename      (const ir_node *node);
 /** Gets the opcode struct of the node */
 INLINE ir_op        *get_irn_op            (const ir_node *node);
 /** Sets the opcode struct of the node. */
@@ -146,32 +154,40 @@ INLINE void          mark_irn_visited (ir_node *node);
 INLINE int           irn_not_visited  (const ir_node *node);
 /** Returns 1 if visited >= get_irg_visited(current_ir_graph).  */
 INLINE int           irn_visited      (const ir_node *node);
-INLINE void          set_irn_link          (ir_node *node, void *link);
-INLINE void         *get_irn_link          (const ir_node *node);
+INLINE void          set_irn_link     (ir_node *node, void *link);
+INLINE void         *get_irn_link     (const ir_node *node);
+
+/** Returns the ir_graph this node belongs to. Only valid if irg
+ *  is in state pinned (irg is only stored in the block. */
+INLINE ir_graph     *get_irn_irg      (ir_node *node);
 
-/** Outputs a unique number for this node if libfirm is compiled for
+/** Outputs a unique number for this node if libFIRM is compiled for
    debugging, (configure with --enable-debug) else returns address
    of node cast to long. */
-INLINE long          get_irn_node_nr(const ir_node *node);
+INLINE long          get_irn_node_nr  (const ir_node *node);
 
-/** Returns the ir_graph this node belongs to. Only valid for
- * CallBegin, EndReg, EndExcept and Start */
-INLINE ir_graph     *get_irn_irg(ir_node *node);
 
 /**
  * irnode constructor.
  * Create a new irnode in irg, with an op, mode, arity and
  * some incoming irnodes.
- * If arity is negative, a node with a dynamic array is created.
+ * This constructor is used in every specified irnode constructor.
+ *
+ * @param db    Debug info.
+ * @param irg   IR-graph on with this new node should be constructed.
+ * @param op    The opcode of the new node.
+ * @param mode  The mode of the new node.
+ * @param arity The arity of the new node, may be <0 if yet.
+ * @param in    An array of arity predecessor nodes.
  */
 INLINE ir_node *
 new_ir_node (dbg_info *db,
-            ir_graph *irg,
-            ir_node *block,
-            ir_op *op,
-            ir_mode *mode,
-            int arity,
-            ir_node *in[]);
+         ir_graph *irg,
+         ir_node *block,
+         ir_op *op,
+         ir_mode *mode,
+         int arity,
+         ir_node *in[]);
 
 /*
  *
@@ -188,30 +204,54 @@ INLINE ir_node  *get_nodes_Block (ir_node *node);
 #define set_nodes_block set_nodes_Block
 INLINE void      set_nodes_Block (ir_node *node, ir_node *block);
 
-/** Projection numbers for result of Start node: use for Proj nodes! */
-/* @@@ old name convention! */
-typedef enum {
-  pns_initial_exec,     /**< Projection on an executable, the initial control
-                          flow. */
-  pns_global_store,     /**< Projection on the global store */
-  pns_frame_base,       /**< Projection on the frame base */
-  pns_globals,          /**< Projection on the pointer to the data segment
-                            containing _all_ global entities. */
-  pns_args,             /**< Projection on all arguments */
-  pns_value_arg_base    /**< Pointer to region of compound value arguments as defined by
-                            type of this method. */
-} pns_number; /* pns: Projection Number Start */
+/**
+ * Projection numbers for result of Start node: use for Proj nodes!
+ */
 typedef enum {
   pn_Start_X_initial_exec,  /**< Projection on the initial control flow. */
   pn_Start_M,               /**< Projection on the initial memory. */
   pn_Start_P_frame_base,    /**< Projection on the frame base pointer. */
   pn_Start_P_globals,       /**< Projection on the pointer to the data segment
-                              containing _all_ global entities. */
+                   containing _all_ global entities. */
   pn_Start_T_args,          /**< Projection on all arguments. */
   pn_Start_P_value_arg_base /**< Pointer to region of compound value arguments as defined by
-                              type of this method. */
+                   type of this method. */
 } pn_Start; /* Projection numbers for Start. */
 
+/**
+ * Projection numbers for result of Start node: use for Proj nodes!
+ * @remark This is the old name convention, don't use anymore.
+ */
+typedef enum {
+  pns_initial_exec,     /**< Projection on an executable, the initial control
+               flow. */
+  pns_global_store,     /**< Projection on the global store */
+  pns_frame_base,       /**< Projection on the frame base */
+  pns_globals,          /**< Projection on the pointer to the data segment
+                 containing _all_ global entities. */
+  pns_args,             /**< Projection on all arguments */
+  pns_value_arg_base    /**< Pointer to region of compound value arguments as defined by
+                 type of this method. */
+} pns_number; /* pns: Projection Number Start */
+
+/** Test whether arbitrary node is frame pointer.
+ *
+ * Test whether arbitrary node is frame pointer, i.e. Proj(pn_Start_P_frame_base)
+ * from Start.  If so returns frame type, else Null. */
+type *is_frame_pointer(ir_node *n);
+
+/** Test whether arbitrary node is globals pointer.
+ *
+ * Test whether arbitrary node is globals pointer, i.e. Proj(pn_Start_P_globals)
+ * from Start.  If so returns global type, else Null. */
+type *is_globals_pointer(ir_node *n);
+
+/** Test whether arbitrary node is value arg base.
+ *
+ * Test whether arbitrary node is value arg base, i.e. Proj(pn_Start_P_value_arg_base)
+ * from Start.   If so returns 1, else 0. */
+int   is_value_arg_pointer(ir_node *n);
+
 
 /* @@@ no more supported  */
 INLINE ir_node **get_Block_cfgpred_arr (ir_node *node);
@@ -234,27 +274,28 @@ void      set_Block_cg_cfgpred_arr(ir_node * node, int arity, ir_node ** in);
 void      set_Block_cg_cfgpred(ir_node * node, int pos, ir_node * pred);
 /* @@@ not supported */
 ir_node **get_Block_cg_cfgpred_arr(ir_node * node);
-/* Returns the number of interproc predecessors.  0 if none. */
+/* Returns the number of interprocedural predecessors.  0 if none. */
 int       get_Block_cg_n_cfgpreds(ir_node * node);
 ir_node  *get_Block_cg_cfgpred(ir_node * node, int pos);
 /* frees the memory. */
 void      remove_Block_cg_cfgpred_arr(ir_node * node);
 
-/* Start references the irg it is in. */
+/* Start references the irg it is in.
+ @@@ old -- use get_irn_irg instead! */
 ir_graph *get_Start_irg(ir_node *node);
-void      set_Start_irg(ir_node *node, ir_graph *irg);
 
 INLINE int  get_End_n_keepalives(ir_node *end);
 INLINE ir_node *get_End_keepalive(ir_node *end, int pos);
 INLINE void add_End_keepalive (ir_node *end, ir_node *ka);
 INLINE void set_End_keepalive(ir_node *end, int pos, ir_node *ka);
-/* Some parts of the End node are allocated seperately -- their memory
+/* Some parts of the End node are allocated separately -- their memory
    is not recovered by dead_node_elimination if a End node is dead.
    free_End frees these data structures. */
 INLINE void free_End (ir_node *end);
 
-ir_graph *get_EndReg_irg (const ir_node *end);
-ir_graph *get_EndExcept_irg  (const ir_node *end);
+/* @@@ old -- use get_irn_irg instead!  */
+ir_graph *get_EndReg_irg (ir_node *end);
+ir_graph *get_EndExcept_irg (ir_node *end);
 
 /* We distinguish three kinds of Cond nodes.  These can be distinguished
    by the mode of the selector operand and an internal flag of type cond_kind.
@@ -279,7 +320,7 @@ ir_graph *get_EndExcept_irg  (const ir_node *end);
 typedef enum {
   dense,        /**< Default. Missing Proj nodes are dead control flow. */
   fragmentary   /**< Special. No control flow optimizations allowed.  Missing
-                  Proj nodes mean default control flow, i.e., Proj(n). */
+           Proj nodes mean default control flow, i.e., Proj(n). */
 } cond_kind;
 
 INLINE ir_node  *get_Cond_selector (ir_node *node);
@@ -287,6 +328,9 @@ INLINE void      set_Cond_selector (ir_node *node, ir_node *selector);
 INLINE cond_kind get_Cond_kind (ir_node *node);
 INLINE void      set_Cond_kind (ir_node *node, cond_kind kind);
 
+/**
+ * Projection numbers for conditions.
+ */
 typedef enum {
   pn_Cond_false,    /**< Control flow if operand is "false". */
   pn_Cond_true      /**< Control flow if operand is "true".  */
@@ -304,6 +348,9 @@ INLINE void     set_Raise_mem (ir_node *node, ir_node *mem);
 INLINE ir_node *get_Raise_exo_ptr (ir_node *node);  /* PoinTeR to EXception Object */
 INLINE void     set_Raise_exo_ptr (ir_node *node, ir_node *exoptr);
 
+/**
+ * Projection numbers for Raise.
+ */
 typedef enum {
   pn_Raise_X,    /**< Execution result. */
   pn_Raise_M     /**< Memory result.    */
@@ -323,12 +370,13 @@ INLINE void     set_Const_type   (ir_node *node, type *tp);
      this flag. */
 typedef enum {
   type_tag,          /**< The SymConst is a type tag for the given type.
-                       Type_or_id_p is type *. */
+            Type_or_id_p is type *. */
   size,              /**< The SymConst is the size of the given type.
-                       Type_or_id_p is type *. */
+            Type_or_id_p is type *. */
   linkage_ptr_info   /**< The SymConst is a symbolic pointer to be filled in
-                       by the linker. Type_or_id_p is ident *. */
+            by the linker. Type_or_id_p is ident *. */
 } symconst_kind;
+
 typedef union type_or_id * type_or_id_p;
 INLINE symconst_kind get_SymConst_kind (const ir_node *node);
 INLINE void          set_SymConst_kind (ir_node *node, symconst_kind num);
@@ -354,26 +402,32 @@ INLINE void     set_Sel_index (ir_node *node, int pos, ir_node *index);
 INLINE entity  *get_Sel_entity (ir_node *node); /* entity to select */
 INLINE void     set_Sel_entity (ir_node *node, entity *ent);
 
-/** Projection numbers for result of Call node: use for Proj nodes! */
-/* @@@ old name convention! */
+/**
+ * Projection numbers for result of Call node: use for Proj nodes!
+ *
+ * @remark old name convention!
+ */
 typedef enum {
   pncl_memory = 0,        /**< The memory result. */
   pncl_exc_target = 1,    /**< The control flow result branching to the exception handler */
   pncl_result_tuple = 2,  /**< The tuple containing all (0, 1, 2, ...) results */
   pncl_exc_memory = 3,    /**< The memory result in case the called method terminated with
-                             an exception */
+                  an exception */
   pncl_value_res_base = 4 /**< A pointer to the memory region containing copied results
-                             passed by value (for compound result types). */
+                  passed by value (for compound result types). */
 } pncl_number;   /* pncl: Projection Number CaLl */
 
+/**
+ * Projection numbers for result of Call node: use for Proj nodes!
+ */
 typedef enum {
   pn_Call_M_regular = 0,  /**< The memory result. */
   pn_Call_T_result  = 2,  /**< The tuple containing all (0, 1, 2, ...) results */
   pn_Call_P_value_res_base = 4,/**< A pointer to the memory region containing copied results
-                            passed by value (for compound result types). */
+                 passed by value (for compound result types). */
   pn_Call_X_except  = 1,  /**< The control flow result branching to the exception handler */
   pn_Call_M_except  = 3   /**< The memory result in case the called method terminated with
-                            an exception */
+                 an exception */
 } pn_Call;   /* Projection numbers for Call. */
 
 INLINE ir_node *get_Call_mem (ir_node *node);
@@ -394,18 +448,51 @@ INLINE void     set_Call_type (ir_node *node, type *tp);
 /** Gets the arity of a call. Identical to get_Call_n_params(). */
 INLINE int      get_Call_arity (ir_node *node);
 
-/* Set, get and remove the callee-analysis. */
+/* Set, get and remove the callee-analysis.
+   The array is only accessible if information is valid.
+   It contains NULL for called methods that are not within
+   the compilation unit. */
+int     Call_has_callees      (ir_node *node);
 int     get_Call_n_callees    (ir_node * node);
 entity *get_Call_callee       (ir_node * node, int pos);
+/* assumes current_ir_graph set properly! */
 void    set_Call_callee_arr   (ir_node * node, int n, entity ** arr);
 void    remove_Call_callee_arr(ir_node * node);
 
 ir_node  *get_CallBegin_ptr  (ir_node *node);
 void      set_CallBegin_ptr  (ir_node *node, ir_node *ptr);
+/* @@@ old -- use get_irn_irg instead!  */
 ir_graph *get_CallBegin_irg  (ir_node *node);
 ir_node  *get_CallBegin_call (ir_node *node);
 void      set_CallBegin_call (ir_node *node, ir_node *call);
 
+INLINE ir_node *get_FuncCall_ptr (ir_node *node);
+INLINE void     set_FuncCall_ptr (ir_node *node, ir_node *ptr);
+INLINE ir_node **get_FuncCall_param_arr (ir_node *node);
+/** Gets the number of parameters of a func call. */
+INLINE int      get_FuncCall_n_params (ir_node *node);
+/** Gets the func call parameter at position pos. */
+INLINE ir_node *get_FuncCall_param (ir_node *node, int pos);
+/** Sets the func call parameter at position pos. */
+INLINE void     set_FuncCall_param (ir_node *node, int pos, ir_node *param);
+/** Gets the type of a func call. */
+INLINE type    *get_FuncCall_type (ir_node *node);
+/** Sets the type of a func call. */
+INLINE void     set_FuncCall_type (ir_node *node, type *tp);
+/** Gets the arity of a func call. Identical to get_FuncCall_n_params(). */
+INLINE int      get_FuncCall_arity (ir_node *node);
+
+/* Set, get and remove the callee-analysis.
+   The array is only accessible if information is valid.
+   It contains NULL for called methods that are not within
+   the compilation unit. */
+int     FuncCall_has_callees      (ir_node *node);
+int     get_FuncCall_n_callees    (ir_node * node);
+entity *get_FuncCall_callee       (ir_node * node, int pos);
+/* assumes current_ir_graph set properly! */
+void    set_FuncCall_callee_arr   (ir_node * node, int n, entity ** arr);
+void    remove_FuncCall_callee_arr(ir_node * node);
+
 /* For unary and binary arithmetic operations the access to the
    operands can be factored out.  Left is the first, right the
    second arithmetic value  as listed in tech report 1999-44.
@@ -446,9 +533,12 @@ INLINE void     set_Quot_right (ir_node *node, ir_node *right);
 INLINE ir_node *get_Quot_mem (ir_node *node);
 INLINE void     set_Quot_mem (ir_node *node, ir_node *mem);
 
+/**
+ * Projection numbers for Quot: use for Proj nodes!
+ */
 typedef enum {
-  pn_Quot_X_except,    /**< Execution result if exception occured. */
   pn_Quot_M,           /**< Memory result.    */
+  pn_Quot_X_except,    /**< Execution result if exception occured. */
   pn_Quot_res          /**< Result of computation. */
 } pn_Quot;  /* Projection numbers for Quot. */
 
@@ -459,9 +549,12 @@ INLINE void     set_DivMod_right (ir_node *node, ir_node *right);
 INLINE ir_node *get_DivMod_mem (ir_node *node);
 INLINE void     set_DivMod_mem (ir_node *node, ir_node *mem);
 
+/**
+ * Projection numbers for DivMod: use for Proj nodes!
+ */
 typedef enum {
-  pn_DivMod_X_except,    /**< Execution result if exception occured. */
   pn_DivMod_M,           /**< Memory result.    */
+  pn_DivMod_X_except,    /**< Execution result if exception occured. */
   pn_DivMod_res_div,     /**< Result of computation a / b. */
   pn_DivMod_res_mod      /**< Result of computation a % b. */
 } pn_DivMod;  /* Projection numbers for DivMod. */
@@ -473,9 +566,12 @@ INLINE void     set_Div_right (ir_node *node, ir_node *right);
 INLINE ir_node *get_Div_mem (ir_node *node);
 INLINE void     set_Div_mem (ir_node *node, ir_node *mem);
 
+/**
+ * Projection numbers for Div: use for Proj nodes!
+ */
 typedef enum {
-  pn_Div_X_except,    /**< Execution result if exception occured. */
   pn_Div_M,           /**< Memory result.    */
+  pn_Div_X_except,    /**< Execution result if exception occured. */
   pn_Div_res          /**< Result of computation. */
 } pn_Div;  /* Projection numbers for Div. */
 
@@ -486,9 +582,12 @@ INLINE void     set_Mod_right (ir_node *node, ir_node *right);
 INLINE ir_node *get_Mod_mem (ir_node *node);
 INLINE void     set_Mod_mem (ir_node *node, ir_node *mem);
 
+/**
+ * Projection numbers for Mod: use for Proj nodes!
+ */
 typedef enum {
-  pn_Mod_X_except,    /**< Execution result if exception occured. */
   pn_Mod_M,           /**< Memory result.    */
+  pn_Mod_X_except,    /**< Execution result if exception occured. */
   pn_Mod_res          /**< Result of computation. */
 } pn_Mod;  /* Projection numbers for Mod. */
 
@@ -513,28 +612,30 @@ INLINE void     set_Eor_right (ir_node *node, ir_node *right);
 INLINE ir_node *get_Not_op (ir_node *node);
 INLINE void     set_Not_op (ir_node *node, ir_node *op);
 
-/* Projection numbers for Cmp are defined several times.
-   The bit patterns are used for variouse tests, so don't change.
-   The "unordered" values are possible results of comparing
-   floating point numbers. */
+/**
+ * Projection numbers for Cmp are defined several times.
+ * The bit patterns are used for various tests, so don't change.
+ * The "unordered" values are possible results of comparing
+ * floating point numbers.
+ */
 typedef enum {
   pn_Cmp_False = 0,   /**< false */
-  pn_Cmp_Eq,         /**< equal */
-  pn_Cmp_Lt,         /**< less */
-  pn_Cmp_Le,         /**< less or equal */
-  pn_Cmp_Gt,         /**< greater */
-  pn_Cmp_Ge,         /**< greater or equal */
-  pn_Cmp_Lg,         /**< less or greater */
+  pn_Cmp_Eq,          /**< equal */
+  pn_Cmp_Lt,          /**< less */
+  pn_Cmp_Le,          /**< less or equal */
+  pn_Cmp_Gt,          /**< greater */
+  pn_Cmp_Ge,          /**< greater or equal */
+  pn_Cmp_Lg,          /**< less or greater */
   pn_Cmp_Leg = 7,     /**< less, equal or greater = ordered */
-  pn_Cmp_Uo,         /**< unordered */
-  pn_Cmp_Ue,         /**< unordered or equal */
-  pn_Cmp_Ul,         /**< unordered or less */
-  pn_Cmp_Ule,        /**< unordered, less or equal */
-  pn_Cmp_Ug,         /**< unordered or greater */
-  pn_Cmp_Uge,        /**< unordered, greater or equal */
-  pn_Cmp_Ne,         /**< unordered, less or greater = not equal */
+  pn_Cmp_Uo,          /**< unordered */
+  pn_Cmp_Ue,          /**< unordered or equal */
+  pn_Cmp_Ul,          /**< unordered or less */
+  pn_Cmp_Ule,         /**< unordered, less or equal */
+  pn_Cmp_Ug,          /**< unordered or greater */
+  pn_Cmp_Uge,         /**< unordered, greater or equal */
+  pn_Cmp_Ne,          /**< unordered, less or greater = not equal */
   pn_Cmp_True = 15    /**< true */
-  /* not_mask = Leg*/  /* bits to flip to negate comparison * @@ hack for jni interface */
+  /* not_mask = Leg*/   /* bits to flip to negate comparison * @@ hack for jni interface */
 } pn_Cmp;   /* Projection numbers for Cmp */
 //#define not_mask pn_Cmp_Leg
 
@@ -570,7 +671,7 @@ INLINE void     set_Conv_op (ir_node *node, ir_node *op);
 
 /* Does Cast need a mem operator?
  * Cast should only depend on the type, not on the state of an
- * entity.  But:  we initialzie various fields after Alloc, that
+ * entity.  But:  we initialze various fields after Alloc, that
  * are accessed in the cast.  This required some precaution, to
  * get the right memory into the Loads generated from the cast.
  */
@@ -579,6 +680,9 @@ INLINE void     set_Cast_op (ir_node *node, ir_node *op);
 INLINE type    *get_Cast_type (ir_node *node);
 INLINE void     set_Cast_type (ir_node *node, type *to_tp);
 
+/* Returns true if n is Phi or Filter in interprocedural_view. */
+INLINE int       is_Phi (ir_node *n);
+/* These routines also work for Filter nodes in interprocedural view. */
 INLINE ir_node **get_Phi_preds_arr (ir_node *node);
 INLINE int       get_Phi_n_preds (ir_node *node);
 INLINE ir_node  *get_Phi_pred (ir_node *node, int pos);
@@ -595,9 +699,12 @@ void             set_Filter_cg_pred(ir_node * node, int pos, ir_node * pred);
 int              get_Filter_n_cg_preds(ir_node *node);
 ir_node *        get_Filter_cg_pred(ir_node *node, int pos);
 
+/**
+ * Projection numbers for Load: use for Proj nodes!
+ */
 typedef enum {
-  pn_Load_X_except,  /**< Execution result if exception occured. */
   pn_Load_M,         /**< Memory result.    */
+  pn_Load_X_except,  /**< Execution result if exception occured. */
   pn_Load_res        /**< Result of load operation. */
 } pn_Load;  /* Projection numbers for Load. */
 
@@ -606,9 +713,12 @@ INLINE void     set_Load_mem (ir_node *node, ir_node *mem);
 INLINE ir_node *get_Load_ptr (ir_node *node);
 INLINE void     set_Load_ptr (ir_node *node, ir_node *ptr);
 
+/**
+ * Projection numbers for Store: use for Proj nodes!
+ */
 typedef enum {
-  pn_Store_X_except,  /**< Execution result if exception occured. */
-  pn_Store_M          /**< Memory result.    */
+  pn_Store_M,         /**< Memory result.    */
+  pn_Store_X_except   /**< Execution result if exception occured. */
 } pn_Store;  /* Projection numbers for Store. */
 
 INLINE ir_node *get_Store_mem (ir_node *node);
@@ -618,9 +728,12 @@ INLINE void     set_Store_ptr (ir_node *node, ir_node *ptr);
 INLINE ir_node *get_Store_value (ir_node *node);
 INLINE void     set_Store_value (ir_node *node, ir_node *value);
 
+/**
+ * Projection numbers for Alloc: use for Proj nodes!
+ */
 typedef enum {
-  pn_Alloc_X,    /**< Execution result if exception occured. */
   pn_Alloc_M,    /**< Memory result. */
+  pn_Alloc_X_except,    /**< Execution result if exception occured. */
   pn_Alloc_res   /**< Result of allocation. */
 } pn_Alloc;  /* Projection numbers for Alloc. */
 
@@ -631,7 +744,7 @@ INLINE void     set_Alloc_size (ir_node *node, ir_node *size);
 INLINE type    *get_Alloc_type (ir_node *node);
 INLINE void     set_Alloc_type (ir_node *node, type *tp);
 
-/** allocation place. */
+/** The allocation place. */
 typedef enum {
   stack_alloc,          /**< Alloc allocates the object on the stack. */
   heap_alloc            /**< Alloc allocates the object on the heap. */
@@ -668,6 +781,15 @@ INLINE void      set_Tuple_pred (ir_node *node, int pos, ir_node *pred);
 INLINE ir_node  *get_Id_pred (ir_node *node);
 INLINE void      set_Id_pred (ir_node *node, ir_node *pred);
 
+/** Confirm has a single result and returns 'value' unchanged.
+ *  The node expresses a restriction on 'value':
+ *  'value' 'cmp' 'bound' == true.                                 */
+INLINE ir_node *get_Confirm_value (ir_node *node);
+INLINE void     set_Confirm_value (ir_node *node, ir_node *value);
+INLINE ir_node *get_Confirm_bound (ir_node *node);
+INLINE void     set_Confirm_bound (ir_node *node, ir_node *bound);
+INLINE pn_Cmp   get_Confirm_cmp   (ir_node *node);
+INLINE void     set_Confirm_cmp   (ir_node *node, pn_Cmp cmp);
 
 /*
  *
@@ -691,6 +813,8 @@ INLINE int      is_Bad    (ir_node *node);
 INLINE int      is_no_Block (ir_node *node);
 /** returns true if the node is a Block */
 INLINE int      is_Block (ir_node *node);
+/** returns true if node is a Unknown node. */
+INLINE int      is_Unknown (ir_node *node);
 /** returns true if node is a Proj node or a Filter node in
  * intraprocedural view */
 INLINE int      is_Proj (const ir_node *node);
@@ -698,14 +822,15 @@ INLINE int      is_Proj (const ir_node *node);
    Start, End, Jmp, Cond, Return, Raise, Bad, CallBegin, EndReg, EndExcept */
 int is_cfop(ir_node *node);
 
+/* @@@ old -- use get_irn_irg instead!  */
+ir_graph *get_ip_cfop_irg(ir_node *n);
+
 /** Returns true if the operation manipulates interprocedural control flow:
-   CallBegin, EndReg, EndExcept */
+    CallBegin, EndReg, EndExcept */
 int is_ip_cfop(ir_node *node);
 /** Returns true if the operation can change the control flow because
-   of an exception: Call, Quot, DivMod, Div, Mod, Load, Store, Alloc,
-   Bad. */
-ir_graph *get_ip_cfop_irg(ir_node *n);
-
+    of an exception: Call, Quot, DivMod, Div, Mod, Load, Store, Alloc,
+    Bad. */
 int is_fragile_op(ir_node *node);
 /** Returns the memory operand of fragile operations. */
 ir_node *get_fragile_op_mem(ir_node *node);
@@ -745,7 +870,7 @@ ir_node *get_fragile_op_mem(ir_node *node);
 /** Output information about a mode */
 #define DDMM(X)  printf("%s(l.%i) %s: %p\n",                 __MYFUNC__, __LINE__, get_mode_name(X), (void *)(X))
 /** Output information about a loop */
-#define DDML(X)  printf("%s(l.%i) loop with depth %d: %p\n", __MYFUNC__, __LINE__, get_loop_depth(X), (void *)(X))
+#define DDML(X)  printf("%s(l.%i) loop with depth %d: %d\n", __MYFUNC__, __LINE__, get_loop_depth(X), get_loop_loop_nr(X))
 /** Output information about a tarVal */
 #define DDMV(X)  printf("%s(l.%i) tarval: ",__MYFUNC__, __LINE__); tarval_printf(X); printf(" (%p)\n", (void *)(X));