- add tarval_top and tarval_bottom as alias for tarval_undefined and tarval_bad
[libfirm] / include / libfirm / irnode.h
index f085d70..32af46c 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -174,12 +174,14 @@ void set_irn_n(ir_node *node, int n, ir_node *in);
  * @returns   the number of the new input
  */
 int add_irn_n(ir_node *node, ir_node *in);
+/* Remove predecessor i from Sync n */
+void del_Sync_n(ir_node *n, int i);
 /* Sets the mode struct of node.  */
 void set_irn_mode(ir_node *node, ir_mode *mode);
 /** Gets the mode struct of a node.  */
 ir_mode *get_irn_mode(const ir_node *node);
-/** Gets the mode-enum modecode. */
-modecode get_irn_modecode(const ir_node *node);
+/** Gets the mode-enum ir_modecode. */
+ir_modecode get_irn_modecode(const ir_node *node);
 /** Gets the ident for a string representation of the mode .*/
 ident *get_irn_modeident(const ir_node *node);
 /** Gets the string representation of the mode .*/
@@ -308,9 +310,6 @@ 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.  Use for
-                                       position independent data/code access. */
        pn_Start_P_tls,            /**< Projection on the pointer to the thread local store
                                        segment containing _all_thread local variables. */
        pn_Start_T_args,           /**< Projection on all arguments. */
@@ -323,26 +322,19 @@ typedef enum {
  *
  * Test whether arbitrary node is frame pointer, i.e. Proj(pn_Start_P_frame_base)
  * from Start.  If so returns frame type, else Null. */
-ir_type *is_frame_pointer(ir_node *n);
+ir_type *is_frame_pointer(const 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. */
-ir_type *is_globals_pointer(ir_node *n);
-
-/** Test whether arbitrary node is tls pointer.
+/** Test whether arbitrary node is the thread local storage (tls) pointer.
  *
  * Test whether arbitrary node is tls pointer, i.e. Proj(pn_Start_P_tls)
  * from Start.  If so returns tls type, else Null. */
-ir_type *is_tls_pointer(ir_node *n);
+ir_type *is_tls_pointer(const 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);
-
+int is_value_arg_pointer(const ir_node *n);
 
 /* @@@ no more supported  */
 ir_node **get_Block_cfgpred_arr(ir_node *node);
@@ -391,9 +383,9 @@ 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 interprocedural predecessors.  0 if none. */
-int       get_Block_cg_n_cfgpreds(ir_node *node);
+int       get_Block_cg_n_cfgpreds(const ir_node *node);
 /** Return the interprocedural predecessor at position pos. */
-ir_node  *get_Block_cg_cfgpred(ir_node *node, int pos);
+ir_node  *get_Block_cg_cfgpred(const ir_node *node, int pos);
 /** Frees the memory allocated for interprocedural predecessors. */
 void      remove_Block_cg_cfgpred_arr(ir_node *node);
 #endif
@@ -404,6 +396,10 @@ ir_extblk *get_Block_extbb(const ir_node *block);
 void set_Block_extbb(ir_node *block, ir_extblk *extblk);
 /** Get the Macro Block header of a (sub-) block. */
 ir_node *get_Block_MacroBlock(const ir_node *block);
+/** Set the Macro Block header of a (sub-) block. */
+void set_Block_MacroBlock(ir_node *block, ir_node *mbh);
+/** Get the Macro Block header of a node. */
+ir_node *get_irn_MacroBlock(const ir_node *n);
 /** Returns the ir_graph this Block belongs to. */
 ir_graph *get_Block_irg(const ir_node *block);
 /** Returns non-zero if the block has an assigned label. */
@@ -412,18 +408,34 @@ int has_Block_label(const ir_node *block);
 ir_label_t get_Block_label(const ir_node *block);
 /** Sets a label to a block. */
 void set_Block_label(ir_node *block, ir_label_t label);
+/** Gets the head of the Phi list for this block. */
+ir_node *get_Block_phis(const ir_node *block);
+/** Sets the head of the Phi list for this block. */
+void set_Block_phis(ir_node *block, ir_node *phi);
+/** Add a Phi node to the list of Block Phi's. */
+void add_Block_phi(ir_node *block, ir_node *phi);
+/** Get the Block mark (single bit). */
+unsigned get_Block_mark(const ir_node *block);
+/** Set the Block mark (single bit). */
+void set_Block_mark(ir_node *block, unsigned mark);
 
 /** Return the number of Keep alive node. */
-int  get_End_n_keepalives(ir_node *end);
+int  get_End_n_keepalives(const ir_node *end);
 /** Return the Keep alive node a position pos. */
-ir_node *get_End_keepalive(ir_node *end, int pos);
+ir_node *get_End_keepalive(const ir_node *end, int pos);
 /** Keep alive dedicated nodes.  These must be either PhiM or Block nodes. */
 void add_End_keepalive(ir_node *end, ir_node *ka);
 /** Set the Keep alive node at position pos. */
 void set_End_keepalive(ir_node *end, int pos, ir_node *ka);
-/** Set new keep-alives. */
+
+/**
+ * Set new keep-alives.
+ * Beware: This might be an expensive operation if dynamic edges are enabled,
+ * so avoid it in the backend.
+ */
 void set_End_keepalives(ir_node *end, int n, ir_node *in[]);
-/** Set new keep-alives from old keep-alives, skipping irn. */
+
+/** Remove irn from the keep-alive set. */
 void remove_End_keepalive(ir_node *end, ir_node *irn);
 
 /** Some parts of the End node are allocated separately -- their memory
@@ -432,7 +444,7 @@ void remove_End_keepalive(ir_node *end, ir_node *irn);
 void free_End(ir_node *end);
 
 /** Return the target address of an IJmp */
-ir_node *get_IJmp_target(ir_node *ijmp);
+ir_node *get_IJmp_target(const ir_node *ijmp);
 /** Sets the target address of an IJmp */
 void set_IJmp_target(ir_node *ijmp, ir_node *tgt);
 
@@ -462,11 +474,11 @@ typedef enum {
                           Proj nodes mean default control flow, i.e., Proj(n). */
 } cond_kind;
 
-ir_node  *get_Cond_selector(ir_node *node);
+ir_node  *get_Cond_selector(const ir_node *node);
 void      set_Cond_selector(ir_node *node, ir_node *selector);
-cond_kind get_Cond_kind(ir_node *node);
+cond_kind get_Cond_kind(const ir_node *node);
 void      set_Cond_kind(ir_node *node, cond_kind kind);
-long      get_Cond_defaultProj(ir_node *node);
+long      get_Cond_defaultProj(const ir_node *node);
 
 /**
  * Projection numbers for conditions.
@@ -477,11 +489,11 @@ typedef enum {
        pn_Cond_max       /**< number of projections from a Cond */
 } pn_Cond;  /* Projection numbers for Cond. */
 
-ir_node  *get_Return_mem(ir_node *node);
+ir_node  *get_Return_mem(const ir_node *node);
 void      set_Return_mem(ir_node *node, ir_node *mem);
 ir_node **get_Return_res_arr(ir_node *node);
-int       get_Return_n_ress(ir_node *node);
-ir_node  *get_Return_res(ir_node *node, int pos);
+int       get_Return_n_ress(const ir_node *node);
+ir_node  *get_Return_res(const ir_node *node, int pos);
 void      set_Return_res(ir_node *node, int pos, ir_node *res);
 
 tarval  *get_Const_tarval(const ir_node *node);
@@ -594,15 +606,15 @@ void       set_SymConst_label(ir_node *node, ir_label_t label);
 ir_type *get_SymConst_value_type(ir_node *node);
 void    set_SymConst_value_type(ir_node *node, ir_type *tp);
 
-ir_node   *get_Sel_mem(ir_node *node);
+ir_node   *get_Sel_mem(const ir_node *node);
 void       set_Sel_mem(ir_node *node, ir_node *mem);
-ir_node   *get_Sel_ptr(ir_node *node);  /* ptr to the object to select from */
+ir_node   *get_Sel_ptr(const ir_node *node);  /* ptr to the object to select from */
 void       set_Sel_ptr(ir_node *node, ir_node *ptr);
 ir_node   **get_Sel_index_arr(ir_node *node);
-int        get_Sel_n_indexs(ir_node *node);
-ir_node   *get_Sel_index(ir_node *node, int pos);
+int        get_Sel_n_indexs(const ir_node *node);
+ir_node   *get_Sel_index(const ir_node *node, int pos);
 void       set_Sel_index(ir_node *node, int pos, ir_node *index);
-ir_entity *get_Sel_entity(ir_node *node); /* entity to select */
+ir_entity *get_Sel_entity(const ir_node *node); /* entity to select */
 void       set_Sel_entity (ir_node *node, ir_entity *ent);
 
 /**
@@ -621,15 +633,15 @@ typedef enum {
 } pn_Call;   /* Projection numbers for Call. */
 #define pn_Call_M pn_Call_M_regular
 
-ir_node *get_Call_mem(ir_node *node);
+ir_node *get_Call_mem(const ir_node *node);
 void     set_Call_mem(ir_node *node, ir_node *mem);
-ir_node *get_Call_ptr(ir_node *node);
+ir_node *get_Call_ptr(const ir_node *node);
 void     set_Call_ptr(ir_node *node, ir_node *ptr);
 ir_node **get_Call_param_arr(ir_node *node);
 /** Gets the number of parameters of a call. */
-int      get_Call_n_params(ir_node *node);
+int      get_Call_n_params(const ir_node *node);
 /** Gets the call parameter at position pos. */
-ir_node *get_Call_param(ir_node *node, int pos);
+ir_node *get_Call_param(const ir_node *node, int pos);
 /** Sets the call parameter at position pos. */
 void     set_Call_param(ir_node *node, int pos, ir_node *param);
 /** Gets the type of a call. */
@@ -637,7 +649,13 @@ ir_type *get_Call_type(ir_node *node);
 /** Sets the type of a call. */
 void     set_Call_type(ir_node *node, ir_type *tp);
 /** Gets the arity of a call. Identical to get_Call_n_params(). */
-int      get_Call_arity(ir_node *node);
+int      get_Call_arity(const ir_node *node);
+
+/**
+ * Returns non-zero if a Call is surely a self-recursive Call.
+ * Beware: if this functions returns 0, the call might be self-recursive!
+ */
+int is_self_recursive_Call(const ir_node *call);
 
 /** Set, get and remove the callee information for a Call node.
  *
@@ -656,9 +674,9 @@ int      get_Call_arity(ir_node *node);
  *
  *  @param node A Call node.
  */
-int        Call_has_callees(ir_node *node);
-int        get_Call_n_callees(ir_node *node);
-ir_entity *get_Call_callee(ir_node *node, int pos);
+int        Call_has_callees(const ir_node *node);
+int        get_Call_n_callees(const ir_node *node);
+ir_entity *get_Call_callee(const ir_node *node, int pos);
 
 /** Set the full callee array.
  *
@@ -666,9 +684,9 @@ ir_entity *get_Call_callee(ir_node *node, int pos);
 void    set_Call_callee_arr(ir_node *node, const int n, ir_entity **arr);
 void    remove_Call_callee_arr(ir_node *node);
 
-ir_node  *get_CallBegin_ptr(ir_node *node);
+ir_node  *get_CallBegin_ptr(const ir_node *node);
 void      set_CallBegin_ptr(ir_node *node, ir_node *ptr);
-ir_node  *get_CallBegin_call(ir_node *node);
+ir_node  *get_CallBegin_call(const ir_node *node);
 void      set_CallBegin_call(ir_node *node, ir_node *call);
 
 /* For unary and binary arithmetic operations the access to the
@@ -676,7 +694,7 @@ void      set_CallBegin_call(ir_node *node, ir_node *call);
    second arithmetic value  as listed in tech report 1999-44.
    unops are: Minus, Abs, Not, Conv, Cast
    binops are: Add, Sub, Mul, Quot, DivMod, Div, Mod, And, Or, Eor, Shl,
-   Shr, Shrs, Rot, Cmp */
+   Shr, Shrs, Rotl, Cmp */
 int      is_unop(const ir_node *node);
 ir_node *get_unop_op(const ir_node *node);
 void     set_unop_op(ir_node *node, ir_node *op);
@@ -713,7 +731,7 @@ ir_node *get_Quot_left(const ir_node *node);
 void     set_Quot_left(ir_node *node, ir_node *left);
 ir_node *get_Quot_right(const ir_node *node);
 void     set_Quot_right(ir_node *node, ir_node *right);
-ir_node *get_Quot_mem(ir_node *node);
+ir_node *get_Quot_mem(const ir_node *node);
 void     set_Quot_mem(ir_node *node, ir_node *mem);
 ir_mode *get_Quot_resmode(const ir_node *node);
 void     set_Quot_resmode(ir_node *node, ir_mode *mode);
@@ -733,7 +751,7 @@ ir_node *get_DivMod_left(const ir_node *node);
 void     set_DivMod_left(ir_node *node, ir_node *left);
 ir_node *get_DivMod_right(const ir_node *node);
 void     set_DivMod_right(ir_node *node, ir_node *right);
-ir_node *get_DivMod_mem(ir_node *node);
+ir_node *get_DivMod_mem(const ir_node *node);
 void     set_DivMod_mem(ir_node *node, ir_node *mem);
 ir_mode *get_DivMod_resmode(const ir_node *node);
 void     set_DivMod_resmode(ir_node *node, ir_mode *mode);
@@ -754,10 +772,11 @@ ir_node *get_Div_left(const ir_node *node);
 void     set_Div_left(ir_node *node, ir_node *left);
 ir_node *get_Div_right(const ir_node *node);
 void     set_Div_right(ir_node *node, ir_node *right);
-ir_node *get_Div_mem(ir_node *node);
+ir_node *get_Div_mem(const ir_node *node);
 void     set_Div_mem(ir_node *node, ir_node *mem);
 ir_mode *get_Div_resmode(const ir_node *node);
 void     set_Div_resmode(ir_node *node, ir_mode *mode);
+int      is_Div_remainderless(const ir_node *node);
 
 /**
  * Projection numbers for Div: use for Proj nodes!
@@ -774,7 +793,7 @@ ir_node *get_Mod_left(const ir_node *node);
 void     set_Mod_left(ir_node *node, ir_node *left);
 ir_node *get_Mod_right(const ir_node *node);
 void     set_Mod_right(ir_node *node, ir_node *right);
-ir_node *get_Mod_mem(ir_node *node);
+ir_node *get_Mod_mem(const ir_node *node);
 void     set_Mod_mem(ir_node *node, ir_node *mem);
 ir_mode *get_Mod_resmode(const ir_node *node);
 void     set_Mod_resmode(ir_node *node, ir_mode *mode);
@@ -871,10 +890,10 @@ void     set_Shrs_left(ir_node *node, ir_node *left);
 ir_node *get_Shrs_right(const ir_node *node);
 void     set_Shrs_right(ir_node *node, ir_node *right);
 
-ir_node *get_Rot_left(const ir_node *node);
-void     set_Rot_left(ir_node *node, ir_node *left);
-ir_node *get_Rot_right(const ir_node *node);
-void     set_Rot_right(ir_node *node, ir_node *right);
+ir_node *get_Rotl_left(const ir_node *node);
+void     set_Rotl_left(ir_node *node, ir_node *left);
+ir_node *get_Rotl_right(const ir_node *node);
+void     set_Rotl_right(ir_node *node, ir_node *right);
 
 ir_node *get_Conv_op(const ir_node *node);
 void     set_Conv_op(ir_node *node, ir_node *op);
@@ -911,18 +930,20 @@ int is_Cast_upcast(ir_node *node);
 int is_Cast_downcast(ir_node *node);
 
 
-/** Returns true if n is Phi or Filter in interprocedural_view.
-   Returns false if irg in phase building and the Phi has zero
+/** Returns true if n is a Phi or a Filter node in INTER-procedural view.
+   Returns false if irg is in phase phase_building and the Phi has zero
    predecessors: it's a Phi0. */
 int       is_Phi(const ir_node *n);
-/** Returns true if irg in phase building and the Phi has zero
+/** Returns true if irg in phase phase_building and the Phi has zero
    predecessors. It's a Phi0 then. */
 int       is_Phi0(const ir_node *n);
-/* These routines also work for Filter nodes in interprocedural view. */
+/* These routines also work for Filter nodes in INTER-procedural view. */
 ir_node **get_Phi_preds_arr(ir_node *node);
 int       get_Phi_n_preds(const ir_node *node);
 ir_node  *get_Phi_pred(const ir_node *node, int pos);
 void      set_Phi_pred(ir_node *node, int pos, ir_node *pred);
+ir_node  *get_Phi_next(const ir_node *phi);
+void      set_Phi_next(ir_node *phi, ir_node *next);
 
 ir_node  *get_Filter_pred(ir_node *node);
 void      set_Filter_pred(ir_node *node, ir_node *pred);
@@ -940,10 +961,10 @@ ir_node *get_Filter_cg_pred(ir_node *node, int pos);
  *  A memory operation is an operation that changes the
  *  memory.  I.e., a Load or a Store operation.
  */
-int is_memop(ir_node *node);
-ir_node *get_memop_mem(ir_node *node);
+int     is_memop(const ir_node *node);
+ir_node *get_memop_mem(const ir_node *node);
 void     set_memop_mem(ir_node *node, ir_node *mem);
-ir_node *get_memop_ptr(ir_node *node);
+ir_node *get_memop_ptr(const ir_node *node);
 void     set_memop_ptr(ir_node *node, ir_node *ptr);
 
 /**
@@ -957,36 +978,36 @@ typedef enum {
        pn_Load_max                               /**< number of projections from a Load */
 } pn_Load;  /* Projection numbers for Load. */
 
-ir_node       *get_Load_mem(ir_node *node);
+ir_node       *get_Load_mem(const ir_node *node);
 void           set_Load_mem(ir_node *node, ir_node *mem);
-ir_node       *get_Load_ptr(ir_node *node);
+ir_node       *get_Load_ptr(const ir_node *node);
 void           set_Load_ptr(ir_node *node, ir_node *ptr);
-ir_mode       *get_Load_mode(ir_node *node);
+ir_mode       *get_Load_mode(const ir_node *node);
 void           set_Load_mode(ir_node *node, ir_mode *mode);
-ir_volatility  get_Load_volatility(ir_node *node);
+ir_volatility  get_Load_volatility(const ir_node *node);
 void           set_Load_volatility(ir_node *node, ir_volatility volatility);
-ir_align       get_Load_align(ir_node *node);
+ir_align       get_Load_align(const ir_node *node);
 void           set_Load_align(ir_node *node, ir_align align);
 
 /**
  * Projection numbers for Store: use for Proj nodes!
  */
 typedef enum {
-  pn_Store_M         = pn_Generic_M_regular, /**< Memory result. */
-  pn_Store_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */
-  pn_Store_X_except  = pn_Generic_X_except,  /**< Execution result if exception occurred. */
-  pn_Store_max       = pn_Generic_other      /**< number of projections from a Store */
+       pn_Store_M         = pn_Generic_M_regular, /**< Memory result. */
+       pn_Store_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */
+       pn_Store_X_except  = pn_Generic_X_except,  /**< Execution result if exception occurred. */
+       pn_Store_max       = pn_Generic_other      /**< number of projections from a Store */
 } pn_Store;  /* Projection numbers for Store. */
 
-ir_node       *get_Store_mem(ir_node *node);
+ir_node       *get_Store_mem(const ir_node *node);
 void           set_Store_mem(ir_node *node, ir_node *mem);
-ir_node       *get_Store_ptr(ir_node *node);
+ir_node       *get_Store_ptr(const ir_node *node);
 void           set_Store_ptr(ir_node *node, ir_node *ptr);
-ir_node       *get_Store_value(ir_node *node);
+ir_node       *get_Store_value(const ir_node *node);
 void           set_Store_value(ir_node *node, ir_node *value);
-ir_volatility  get_Store_volatility(ir_node *node);
+ir_volatility  get_Store_volatility(const ir_node *node);
 void           set_Store_volatility(ir_node *node, ir_volatility volatility);
-ir_align       get_Store_align(ir_node *node);
+ir_align       get_Store_align(const ir_node *node);
 void           set_Store_align(ir_node *node, ir_align align);
 
 /**
@@ -1000,37 +1021,37 @@ typedef enum {
        pn_Alloc_max                               /**< number of projections from an Alloc */
 } pn_Alloc;  /* Projection numbers for Alloc. */
 
-ir_node *get_Alloc_mem(ir_node *node);
+ir_node *get_Alloc_mem(const ir_node *node);
 void     set_Alloc_mem(ir_node *node, ir_node *mem);
-ir_node *get_Alloc_size(ir_node *node);
+ir_node *get_Alloc_size(const ir_node *node);
 void     set_Alloc_size(ir_node *node, ir_node *size);
 ir_type *get_Alloc_type(ir_node *node);
 void     set_Alloc_type(ir_node *node, ir_type *tp);
 
 /** The allocation place. */
 typedef enum {
-  stack_alloc,          /**< Alloc allocates the object on the stack. */
-  heap_alloc            /**< Alloc allocates the object on the heap. */
+       stack_alloc,          /**< Alloc allocates the object on the stack. */
+       heap_alloc            /**< Alloc allocates the object on the heap. */
 } ir_where_alloc;
 
-ir_where_alloc get_Alloc_where(ir_node *node);
+ir_where_alloc get_Alloc_where(const ir_node *node);
 void           set_Alloc_where(ir_node *node, ir_where_alloc where);
 
-ir_node *get_Free_mem(ir_node *node);
+ir_node *get_Free_mem(const ir_node *node);
 void     set_Free_mem(ir_node *node, ir_node *mem);
-ir_node *get_Free_ptr(ir_node *node);
+ir_node *get_Free_ptr(const ir_node *node);
 void     set_Free_ptr(ir_node *node, ir_node *ptr);
-ir_node *get_Free_size(ir_node *node);
+ir_node *get_Free_size(const ir_node *node);
 void     set_Free_size(ir_node *node, ir_node *size);
 ir_type *get_Free_type(ir_node *node);
 void     set_Free_type(ir_node *node, ir_type *tp);
 
-ir_where_alloc get_Free_where(ir_node *node);
+ir_where_alloc get_Free_where(const ir_node *node);
 void           set_Free_where(ir_node *node, ir_where_alloc where);
 
 ir_node **get_Sync_preds_arr(ir_node *node);
-int       get_Sync_n_preds(ir_node *node);
-ir_node  *get_Sync_pred(ir_node *node, int pos);
+int       get_Sync_n_preds(const ir_node *node);
+ir_node  *get_Sync_pred(const ir_node *node, int pos);
 void      set_Sync_pred(ir_node *node, int pos, ir_node *pred);
 void      add_Sync_pred(ir_node *node, ir_node *pred);
 
@@ -1046,20 +1067,27 @@ void      set_Proj_pred(ir_node *node, ir_node *pred);
 long      get_Proj_proj(const ir_node *node);
 void      set_Proj_proj(ir_node *node, long proj);
 
+/**
+ * Returns non-zero if a node is a routine parameter.
+ *
+ * @param node  the Proj node to test
+ */
+int is_arg_Proj(const ir_node *node);
+
 ir_node **get_Tuple_preds_arr(ir_node *node);
-int       get_Tuple_n_preds(ir_node *node);
-ir_node  *get_Tuple_pred(ir_node *node, int pos);
+int       get_Tuple_n_preds(const ir_node *node);
+ir_node  *get_Tuple_pred(const ir_node *node, int pos);
 void      set_Tuple_pred(ir_node *node, int pos, ir_node *pred);
 
-ir_node  *get_Id_pred(ir_node *node);
+ir_node  *get_Id_pred(const ir_node *node);
 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.                                 */
-ir_node      *get_Confirm_value(ir_node *node);
+ir_node      *get_Confirm_value(const ir_node *node);
 void          set_Confirm_value(ir_node *node, ir_node *value);
-ir_node      *get_Confirm_bound(ir_node *node);
+ir_node      *get_Confirm_bound(const ir_node *node);
 void          set_Confirm_bound(ir_node *node, ir_node *bound);
 pn_Cmp        get_Confirm_cmp(const ir_node *node);
 void          set_Confirm_cmp(ir_node *node, pn_Cmp cmp);
@@ -1068,20 +1096,20 @@ void          set_Confirm_cmp(ir_node *node, pn_Cmp cmp);
  * Mux Support: Note that Psi nodes with one condition can be handled
  * like Mux nodes, and the access functions work as expected.
  */
-ir_node *get_Mux_sel(ir_node *node);
+ir_node *get_Mux_sel(const ir_node *node);
 void     set_Mux_sel(ir_node *node, ir_node *sel);
-ir_node *get_Mux_false(ir_node *node);
+ir_node *get_Mux_false(const ir_node *node);
 void     set_Mux_false(ir_node *node, ir_node *ir_false);
-ir_node *get_Mux_true (ir_node *node);
-void     set_Mux_true (ir_node *node, ir_node *ir_true);
+ir_node *get_Mux_true(const ir_node *node);
+void     set_Mux_true(ir_node *node, ir_node *ir_true);
 
-ir_node *get_Psi_cond(ir_node *node, int pos);
+ir_node *get_Psi_cond(const ir_node *node, int pos);
 void     set_Psi_cond(ir_node *node, int pos, ir_node *cond);
-ir_node *get_Psi_val(ir_node *node, int pos);
+ir_node *get_Psi_val(const ir_node *node, int pos);
 void     set_Psi_val(ir_node *node, int pos, ir_node *val);
-ir_node *get_Psi_default(ir_node *node);
+ir_node *get_Psi_default(const ir_node *node);
 void     set_Psi_default(ir_node *node, ir_node *val);
-int      get_Psi_n_conds(ir_node *node);
+int      get_Psi_n_conds(const ir_node *node);
 
 /**
  * Projection numbers for result of CopyB node: use for Proj nodes!
@@ -1096,11 +1124,11 @@ typedef enum {
 } pn_CopyB;   /* Projection numbers for CopyB. */
 #define pn_CopyB_M pn_CopyB_M_regular
 
-ir_node *get_CopyB_mem(ir_node *node);
+ir_node *get_CopyB_mem(const ir_node *node);
 void     set_CopyB_mem(ir_node *node, ir_node *mem);
-ir_node *get_CopyB_dst(ir_node *node);
+ir_node *get_CopyB_dst(const ir_node *node);
 void     set_CopyB_dst(ir_node *node, ir_node *dst);
-ir_node *get_CopyB_src(ir_node *node);
+ir_node *get_CopyB_src(const ir_node *node);
 void     set_CopyB_src(ir_node *node, ir_node *src);
 ir_type *get_CopyB_type(ir_node *node);
 void     set_CopyB_type(ir_node *node, ir_type *data_type);
@@ -1119,26 +1147,26 @@ typedef enum {
 } pn_InstOf;
 #define pn_InstOf_M pn_InstOf_M_regular
 
-/** InstOf access */
+/** InstOf access. */
 ir_type *get_InstOf_type(ir_node *node);
 void    set_InstOf_type(ir_node *node, ir_type *type);
-ir_node *get_InstOf_store(ir_node *node);
+ir_node *get_InstOf_store(const ir_node *node);
 void    set_InstOf_store(ir_node *node, ir_node *obj);
-ir_node *get_InstOf_obj(ir_node *node);
+ir_node *get_InstOf_obj(const ir_node *node);
 void    set_InstOf_obj(ir_node *node, ir_node *obj);
 
 /**
  * Projection numbers for Raise.
  */
 typedef enum {
-       pn_Raise_X = 0,  /**< The control flow to the exception handler. */
-       pn_Raise_M = 1,  /**< The Memory result. */
-       pn_Raise_max     /**< number of projections from a Raise */
+       pn_Raise_M = pn_Generic_M_regular,  /**< The Memory result. */
+       pn_Raise_X = pn_Generic_X_regular,  /**< The control flow to the exception handler. */
+       pn_Raise_max                        /**< number of projections from a Raise */
 } pn_Raise;  /* Projection numbers for Raise. */
 
-ir_node *get_Raise_mem(ir_node *node);
+ir_node *get_Raise_mem(const ir_node *node);
 void     set_Raise_mem(ir_node *node, ir_node *mem);
-ir_node *get_Raise_exo_ptr(ir_node *node);  /* PoinTeR to EXception Object */
+ir_node *get_Raise_exo_ptr(const ir_node *node);  /* PoinTeR to EXception Object */
 void     set_Raise_exo_ptr(ir_node *node, ir_node *exoptr);
 
 /**
@@ -1153,19 +1181,19 @@ typedef enum {
 } pn_Bound;
 
 /** Returns the memory input of a Bound operation. */
-ir_node *get_Bound_mem(ir_node *bound);
+ir_node *get_Bound_mem(const ir_node *bound);
 void     set_Bound_mem(ir_node *bound, ir_node *mem);
 
 /** Returns the index input of a Bound operation. */
-ir_node *get_Bound_index(ir_node *bound);
+ir_node *get_Bound_index(const ir_node *bound);
 void     set_Bound_index(ir_node *bound, ir_node *idx);
 
 /** Returns the lower bound input of a Bound operation. */
-ir_node *get_Bound_lower(ir_node *bound);
+ir_node *get_Bound_lower(const ir_node *bound);
 void     set_Bound_lower(ir_node *bound, ir_node *lower);
 
 /** Returns the upper bound input of a Bound operation. */
-ir_node *get_Bound_upper(ir_node *bound);
+ir_node *get_Bound_upper(const ir_node *bound);
 void     set_Bound_upper(ir_node *bound, ir_node *upper);
 
 /** Return the operand of a Pin node. */
@@ -1213,8 +1241,8 @@ ir_node *skip_Tuple(ir_node *node);
 ir_node *skip_Cast(ir_node *node);
 /** Returns operand of node if node is a Confirm */
 ir_node *skip_Confirm(ir_node *node);
-/** Skip all high-level Operations. */
-ir_node *skip_HighLevel(ir_node *node);
+/** Skip all high-level Operations (including Cast, Confirm). */
+ir_node *skip_HighLevel_ops(ir_node *node);
 /** Returns true if irn is a Const node. */
 int      is_Const(const ir_node *node);
 /** Returns true if a node is a Conv node. */
@@ -1231,6 +1259,8 @@ int      is_NoMem(const ir_node *node);
 int      is_Start(const ir_node *node);
 /** Returns true if node is a Minus node. */
 int      is_Minus(const ir_node *node);
+/** Returns true if node is a Abs node. */
+int      is_Abs(const ir_node *node);
 /** Returns true if node is a Mod node. */
 int      is_Mod(const ir_node *node);
 /** Returns true if node is a Div node. */
@@ -1257,12 +1287,16 @@ int      is_Shl(const ir_node *node);
 int      is_Shr(const ir_node *node);
 /** Returns true if node is a Shrs node. */
 int      is_Shrs(const ir_node *node);
-/** Returns true if node is a Rot node. */
-int      is_Rot(const ir_node *node);
+/** Returns true if node is a Rotl node. */
+int      is_Rotl(const ir_node *node);
 /** Returns true if node is a Psi node. */
 int      is_Psi(const ir_node *node);
+/** Returns true if node is an Id node. */
+int      is_Id(const ir_node *node);
 /** Returns true if node is a Tuple node. */
 int      is_Tuple(const ir_node *node);
+/** Returns true if node is a Bound node. */
+int      is_Bound(const ir_node *node);
 /** Returns true if the node is not a Block */
 int      is_no_Block(const ir_node *node);
 /** Returns true if the node is a Block */
@@ -1273,6 +1307,8 @@ int      is_Unknown(const ir_node *node);
 int      is_Return(const ir_node *node);
 /** Returns true if node is a Call node. */
 int      is_Call(const ir_node *node);
+/** Returns true if node is a CallBegin node. */
+int      is_CallBegin(const ir_node *node);
 /** Returns true if node is a Sel node. */
 int      is_Sel(const ir_node *node);
 /** Returns true if node is a Mul node. */
@@ -1293,23 +1329,31 @@ int      is_Confirm(const ir_node *node);
 int      is_Pin(const ir_node *node);
 /** Returns true if node is a SymConst node. */
 int      is_SymConst(const ir_node *node);
+/** Returns true if node is a SymConst node with kind symconst_addr_ent. */
+int      is_SymConst_addr_ent(const ir_node *node);
 /** Returns true if node is a Cond node. */
 int      is_Cond(const ir_node *node);
-/** Returns true of node is a CopyB node */
+/** Returns true of node is a CopyB node. */
 int      is_CopyB(const ir_node *node);
 /** Returns true if node is a Cmp node. */
 int      is_Cmp(const ir_node *node);
-/** Returns true if node is an Alloc node */
+/** Returns true if node is an Alloc node. */
 int      is_Alloc(const ir_node *node);
-/** Returns true if a node is a Jmp node */
+/** Returns true if node is a Free node. */
+int      is_Free(const ir_node *node);
+/** Returns true if a node is a Jmp node. */
 int      is_Jmp(const ir_node *node);
-/** Returns true if a node is a Raise node */
+/** Returns true if a node is a IJmp node. */
+int      is_IJmp(const ir_node *node);
+/** Returns true if a node is a Raise node. */
 int      is_Raise(const ir_node *node);
-/** Returns true if a node is an ASM node */
+/** Returns true if a node is an ASM node. */
 int      is_ASM(const ir_node *node);
-/** Returns true if node is a Proj node or a Filter node in
- * intraprocedural view */
+/** Returns true if node is a Proj node or a Filter node in INTRA-procedural view. */
 int      is_Proj(const ir_node *node);
+/** Returns true if node is a Filter node. */
+int      is_Filter(const ir_node *node);
+
 /** Returns true if the operation manipulates control flow:
    Start, End, Jmp, Cond, Return, Raise, Bad, CallBegin, EndReg, EndExcept */
 int is_cfop(const ir_node *node);
@@ -1395,6 +1439,12 @@ cond_jmp_predicate get_Cond_jmp_pred(const ir_node *cond);
 /** Sets a new conditional jump prediction. */
 void set_Cond_jmp_pred(ir_node *cond, cond_jmp_predicate pred);
 
+/** Checks whether a node represents a global address. */
+int is_Global(const ir_node *node);
+
+/* Returns the entity of a global address. */
+ir_entity *get_Global_entity(const ir_node *node);
+
 /**
  * Access custom node data.
  * The data must have been registered with
@@ -1462,7 +1512,7 @@ dbg_info *get_irn_dbg_info(const ir_node *n);
  *
  *  Writes the node, all its attributes and the predecessors to stdout if DEBUG_libfirm
  *  is set.  Else does nothing. */
-void    dump_irn(ir_node *n);
+void dump_irn(const ir_node *n);
 
 /*@}*/ /* end of ir_node group definition */