added function for convertion jump prediction into human readable names
[libfirm] / ir / ir / ircons.h
index bac75d2..69aa2d4 100644 (file)
  *    constructors and at the paragraph COPING WITH DATA OBJECTS at the
  *    end of this documentation.
  *
 *    The comfortable interface contains the following routines further explained
+ *    The comfortable interface contains the following routines further explained
  *    below:
  *
  *    ir_node *new_immBlock (void);
  *    ir_node *new_Start    (void);
  *    ir_node *new_End      (void);
  *    ir_node *new_Jmp      (void);
+ *    ir_node *new_IJmp     (ir_node *tgt);
  *    ir_node *new_Cond     (ir_node *c);
  *    ir_node *new_Return   (ir_node *store, int arity, ir_node **in);
  *    ir_node *new_Raise    (ir_node *store, ir_node *obj);
  *    Output:
  *      Control flow to the next block.
  *
+ *    ir_node *new_IJmp (ir_node *tgt)
+ *    -----------------------
+ *
+ *    Creates an IJmp node.
+ *
+ *    Inputs:
+ *      The node that represents the target jump address
+ *    Output:
+ *      Control flow to an unknown target, must be pinned by
+ *      the End node.
+ *
  *    ir_node *new_Cond (ir_node *c)
  *    ------------------------------
  *
@@ -1084,6 +1096,18 @@ ir_node *new_rd_End    (dbg_info *db, ir_graph *irg, ir_node *block);
  */
 ir_node *new_rd_Jmp    (dbg_info *db, ir_graph *irg, ir_node *block);
 
+/** Constructor for an IJmp node.
+ *
+ * IJmp represents control flow to a single control successor not
+ * statically known i.e. an indirect Jmp.
+ *
+ * @param *db     A pointer for debug information.
+ * @param *irg    The ir graph the node belongs to.
+ * @param *block  The ir block the node belongs to.
+ * @param *tgt    The ir node representing the target address.
+ */
+ir_node *new_rd_IJmp   (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *tgt);
+
 /** Constructor for a Break node.
  *
  * Break represents control flow to a single control successor just as Jmp.
@@ -1295,8 +1319,8 @@ ir_node *new_rd_Call   (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *st
  * @param   *db    A pointer for debug information.
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_rd_Add    (dbg_info *db, ir_graph *irg, ir_node *block,
@@ -1307,8 +1331,8 @@ ir_node *new_rd_Add    (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *db    A pointer for debug information.
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_rd_Sub    (dbg_info *db, ir_graph *irg, ir_node *block,
@@ -1330,8 +1354,8 @@ ir_node *new_rd_Minus  (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *db    A pointer for debug information.
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_rd_Mul    (dbg_info *db, ir_graph *irg, ir_node *block,
@@ -1343,8 +1367,8 @@ ir_node *new_rd_Mul    (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_rd_Quot   (dbg_info *db, ir_graph *irg, ir_node *block,
                ir_node *memop, ir_node *op1, ir_node *op2);
@@ -1355,8 +1379,8 @@ ir_node *new_rd_Quot   (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_rd_DivMod (dbg_info *db, ir_graph *irg, ir_node *block,
                ir_node *memop, ir_node *op1, ir_node *op2);
@@ -1367,8 +1391,8 @@ ir_node *new_rd_DivMod (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_rd_Div    (dbg_info *db, ir_graph *irg, ir_node *block,
                ir_node *memop, ir_node *op1, ir_node *op2);
@@ -1379,8 +1403,8 @@ ir_node *new_rd_Div    (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_rd_Mod    (dbg_info *db, ir_graph *irg, ir_node *block,
                        ir_node *memop, ir_node *op1, ir_node *op2);
@@ -1401,8 +1425,8 @@ ir_node *new_rd_Abs    (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *db    A pointer for debug information.
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_rd_And    (dbg_info *db, ir_graph *irg, ir_node *block,
@@ -1413,8 +1437,8 @@ ir_node *new_rd_And    (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *db    A pointer for debug information.
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_rd_Or     (dbg_info *db, ir_graph *irg, ir_node *block,
@@ -1425,8 +1449,8 @@ ir_node *new_rd_Or     (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *db    A pointer for debug information.
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the results.
  */
 ir_node *new_rd_Eor    (dbg_info *db, ir_graph *irg, ir_node *block,
@@ -1448,8 +1472,8 @@ ir_node *new_rd_Not    (dbg_info *db, ir_graph *irg, ir_node *block,
  * @param   *db    A pointer for debug information.
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_rd_Cmp    (dbg_info *db, ir_graph *irg, ir_node *block,
                ir_node *op1, ir_node *op2);
@@ -1824,6 +1848,17 @@ ir_node *new_r_End    (ir_graph *irg, ir_node *block);
  */
 ir_node *new_r_Jmp    (ir_graph *irg, ir_node *block);
 
+/** Constructor for an IJmp node.
+ *
+ * IJmp represents control flow to a single control successor not
+ * statically known i.e. an indirect Jmp.
+ *
+ * @param *irg    The ir graph the node belongs to.
+ * @param *block  The ir block the node belongs to.
+ * @param *tgt    The ir node representing the target address.
+ */
+ir_node *new_r_IJmp   (ir_graph *irg, ir_node *block, ir_node *tgt);
+
 /** Constructor for a Cond node.
  *
  * If c is mode_b represents a conditional branch (if/else). If c is
@@ -1891,6 +1926,20 @@ ir_node *new_r_Const  (ir_graph *irg, ir_node *block,
 ir_node *new_r_Const_long(ir_graph *irg, ir_node *block,
                       ir_mode *mode, long value);
 
+/** Constructor for a Const_type node.
+ *
+ * The constant represents a target value.  This constructor sets high
+ * level type information for the constant value.
+ *
+ * @param *irg   The ir graph the node  belongs to.
+ * @param *block The ir block the node belongs to.
+ * @param *mode  The mode of the operands and results.
+ * @param *con   Points to an entry in the constant table.
+ * @param *tp    The type of the constant.
+ */
+ir_node *new_r_Const_type(ir_graph *irg, ir_node *block,
+           ir_mode *mode, tarval *con, type *tp);
+
 /** Constructor for a SymConst node.
  *
  *  This is the constructor for a symbolic constant.
@@ -1961,7 +2010,7 @@ ir_node *new_r_InstOf (ir_graph *irg, ir_node *block, ir_node *x, ir_node *y, ty
  *
  * @param   *irg    The ir graph the node  belongs to.
  * @param   *block  The ir block the node belongs to.
- * @param   * store The actual store.
+ * @param   *store  The actual store.
  * @param   *callee A pointer to the called procedure.
  * @param   arity   The number of procedure parameters.
  * @param   *in[]   An array with the pointers to the parameters. The constructor copies this array.
@@ -1975,8 +2024,8 @@ ir_node *new_r_Call   (ir_graph *irg, ir_node *block, ir_node *store,
  *
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_r_Add    (ir_graph *irg, ir_node *block,
@@ -1987,8 +2036,8 @@ ir_node *new_r_Add    (ir_graph *irg, ir_node *block,
  *
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the results.
  */
 ir_node *new_r_Sub    (ir_graph *irg, ir_node *block,
@@ -2007,8 +2056,8 @@ ir_node *new_r_Minus  (ir_graph *irg, ir_node *block,
  *
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_r_Mul    (ir_graph *irg, ir_node *block,
@@ -2019,8 +2068,8 @@ ir_node *new_r_Mul    (ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_r_Quot   (ir_graph *irg, ir_node *block,
                ir_node *memop, ir_node *op1, ir_node *op2);
@@ -2030,8 +2079,8 @@ ir_node *new_r_Quot   (ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_r_DivMod (ir_graph *irg, ir_node *block,
                ir_node *memop, ir_node *op1, ir_node *op2);
@@ -2041,8 +2090,8 @@ ir_node *new_r_DivMod (ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_r_Div    (ir_graph *irg, ir_node *block,
                ir_node *memop, ir_node *op1, ir_node *op2);
@@ -2052,8 +2101,8 @@ ir_node *new_r_Div    (ir_graph *irg, ir_node *block,
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_r_Mod    (ir_graph *irg, ir_node *block,
                ir_node *memop, ir_node *op1, ir_node *op2);
@@ -2072,8 +2121,8 @@ ir_node *new_r_Abs    (ir_graph *irg, ir_node *block,
  *
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_r_And    (ir_graph *irg, ir_node *block,
@@ -2083,8 +2132,8 @@ ir_node *new_r_And    (ir_graph *irg, ir_node *block,
  *
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_r_Or     (ir_graph *irg, ir_node *block,
@@ -2094,8 +2143,8 @@ ir_node *new_r_Or     (ir_graph *irg, ir_node *block,
  *
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the results.
  */
 ir_node *new_r_Eor    (ir_graph *irg, ir_node *block,
@@ -2115,8 +2164,8 @@ ir_node *new_r_Not    (ir_graph *irg, ir_node *block,
  *
  * @param   *irg   The ir graph the node  belongs to.
  * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_r_Cmp    (ir_graph *irg, ir_node *block,
                ir_node *op1, ir_node *op2);
@@ -2286,7 +2335,7 @@ ir_node *new_r_Proj   (ir_graph *irg, ir_node *block, ir_node *arg,
  * @param *irg      The ir graph the node  belongs to.
  * @param *block    The ir block the node belongs to.
  * @param arg       A node producing a tuple.
- * @param max_ proj The end  position of the value in the tuple.
+ * @param max_proj  The end  position of the value in the tuple.
  */
 ir_node *new_r_defaultProj (ir_graph *irg, ir_node *block, ir_node *arg, long max_proj);
 
@@ -2337,7 +2386,6 @@ ir_node *new_r_Bad    (ir_graph *irg);
  *
  * @param *irg    The ir graph the node belong to.
  * @param *block  The ir block the node belong to.
- * @param *db     A pointer for debug information.
  * @param *val    The value we express a constraint for
  * @param *bound  The value to compare against. Must be a firm node, typically a constant.
  * @param cmp     The compare operation.
@@ -2499,9 +2547,18 @@ ir_node *new_d_End    (dbg_info* db);
  *
  * @param *db     A pointer for debug information.
  */
-
 ir_node *new_d_Jmp    (dbg_info* db);
 
+/** Constructor for an IJmp node.
+ *
+ * IJmp represents control flow to a single control successor not
+ * statically known i.e. an indirect Jmp.
+ *
+ * @param *db     A pointer for debug information.
+ * @param *tgt    The ir node representing the target address.
+ */
+ir_node *new_d_IJmp   (dbg_info *db, ir_node *tgt);
+
 /** Constructor for a Cond node.
  *
  * Adds the node to the block in current_ir_block.
@@ -2599,10 +2656,9 @@ ir_node *new_d_Const  (dbg_info* db, ir_mode *mode, tarval *con);
  *
  * @param *db     A pointer for debug information.
  * @param value   A type, entity or ident depending on the SymConst kind.
- * @param symkind The kind of the symbolic constant: symconst_type_tag, symconst_size
+ * @param kind    The kind of the symbolic constant: symconst_type_tag, symconst_size
  *                or symconst_addr_name.
  * @param tp      The source type of the constant.
- *
  */
 ir_node *new_d_SymConst_type (dbg_info* db, union symconst_symbol value, symconst_kind kind, type* tp);
 
@@ -2640,8 +2696,8 @@ ir_node *new_d_simpleSel(dbg_info* db, ir_node *store, ir_node *objptr, entity *
  *                     from is allocated.
  * @param   *objptr    A pointer to a compound entity the Sel operation selects a
  *                     single attribute from.
- * @param   *n_index   The number of array indices needed to select an array element entity.
- * @param   *index[]   If the compound entity is an array the indices of the selected
+ * @param   arity      The number of array indices needed to select an array element entity.
+ * @param   *in[]      If the compound entity is an array the indices of the selected
  *                     element entity.  The constructor copies this array.
  * @param   *ent       The entity to select.
  */
@@ -2682,8 +2738,8 @@ ir_node *new_d_Call   (dbg_info* db, ir_node *store, ir_node *callee, int arity,
  * Adds the node to the block in current_ir_block.
  *
  * @param   *db    A pointer for debug information.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_d_Add    (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -2693,8 +2749,8 @@ ir_node *new_d_Add    (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *db    A pointer for debug information.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 
@@ -2715,8 +2771,8 @@ ir_node *new_d_Minus  (dbg_info* db, ir_node *op,  ir_mode *mode);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *db    A pointer for debug information.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_d_Mul    (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -2727,8 +2783,8 @@ ir_node *new_d_Mul    (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
  *
  * @param   *db    A pointer for debug information.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_d_Quot   (dbg_info* db, ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -2738,8 +2794,8 @@ ir_node *new_d_Quot   (dbg_info* db, ir_node *memop, ir_node *op1, ir_node *op2)
  *
  * @param   *db    A pointer for debug information.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_d_DivMod (dbg_info* db, ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -2749,8 +2805,8 @@ ir_node *new_d_DivMod (dbg_info* db, ir_node *memop, ir_node *op1, ir_node *op2)
  *
  * @param   *db    A pointer for debug information.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_d_Div    (dbg_info* db, ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -2760,8 +2816,8 @@ ir_node *new_d_Div    (dbg_info* db, ir_node *memop, ir_node *op1, ir_node *op2)
  *
  * @param   *db    A pointer for debug information.
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_d_Mod    (dbg_info* db, ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -2780,10 +2836,8 @@ ir_node *new_d_Abs    (dbg_info* db, ir_node *op,                ir_mode *mode);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *db    A pointer for debug information.
- * @param   *irg   The ir graph the node  belongs to.
- * @param   *block The ir block the node belongs to.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_d_And    (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -2793,8 +2847,8 @@ ir_node *new_d_And    (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *db    A pointer for debug information.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_d_Or     (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -2804,8 +2858,8 @@ ir_node *new_d_Or     (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *db    A pointer for debug information.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the results.
  */
 ir_node *new_d_Eor    (dbg_info* db, ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -2869,8 +2923,8 @@ ir_node *new_d_Rot    (dbg_info* db, ir_node *op,  ir_node *k,   ir_mode *mode);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *db    A pointer for debug information.
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_d_Cmp    (dbg_info* db, ir_node *op1, ir_node *op2);
 
@@ -2912,7 +2966,7 @@ ir_node *new_d_Phi    (dbg_info* db, int arity, ir_node *in[], ir_mode *mode);
  *
  * @param *db    A pointer for debug information.
  * @param *store The current memory
- * @param *ad  A pointer to the variable to be read in this memory.
+ * @param *addr  A pointer to the variable to be read in this memory.
  * @param *mode  The mode of the value to be loaded.
  */
 ir_node *new_d_Load   (dbg_info* db, ir_node *store, ir_node *addr, ir_mode *mode);
@@ -2923,7 +2977,7 @@ ir_node *new_d_Load   (dbg_info* db, ir_node *store, ir_node *addr, ir_mode *mod
  *
  * @param *db    A pointer for debug information.
  * @param *store The current memory
- * @param *ad  A pointer to the variable to be read in this memory.
+ * @param *addr  A pointer to the variable to be read in this memory.
  * @param *val   The value to write to this variable.
  */
 ir_node *new_d_Store  (dbg_info* db, ir_node *store, ir_node *addr, ir_node *val);
@@ -2994,7 +3048,7 @@ ir_node *new_d_Proj   (dbg_info* db, ir_node *arg, ir_mode *mode, long proj);
  *
  * @param *db       A pointer for debug information.
  * @param arg       A node producing a tuple.
- * @param max_ proj The end  position of the value in the tuple.
+ * @param max_proj  The end  position of the value in the tuple.
  */
 ir_node *new_d_defaultProj (dbg_info* db, ir_node *arg, long max_proj);
 
@@ -3192,6 +3246,15 @@ ir_node *new_EndExcept(void);
  */
 ir_node *new_Jmp    (void);
 
+/** Constructor for an IJmp node.
+ *
+ * IJmp represents control flow to a single control successor not
+ * statically known i.e. an indirect Jmp.
+ *
+ * @param *tgt    The ir node representing the target address.
+ */
+ir_node *new_IJmp   (ir_node *tgt);
+
 /** Constructor for a Break node.
  * Break represents control flow to a single control successor just as Jmp.
  * The blocks separated by a break may not be concatenated by an optimization.
@@ -3269,19 +3332,19 @@ ir_node *new_Const_type(tarval *con, type *tp);
 /** Constructor for a SymConst node.
  *
  * Adds the node to the block in current_ir_block.
- *  This is the constructor for a symbolic constant.
- *    There are four kinds of symbolic constants:
- *    - type_tag  The symbolic constant represents a type tag.  The type the
- *                tag stands for is given explicitly.
- *    - size      The symbolic constant represents the size of a type.  The
- *                type of which the constant represents the size is given
- *                explicitly.
- *    - addr_name The symbolic constant represents the address of an entity
- *                (variable or method).  The variable is indicated by a name
- *                that is valid for linking.
- *    - addr_ent   The symbolic constant represents the address of an entity
- *                (variable or method).  The variable is given explicitly by
- *                a firm entity.
+ * This is the constructor for a symbolic constant.
+ * There are four kinds of symbolic constants:
+ *    -# type_tag  The symbolic constant represents a type tag.  The type the
+ *                 tag stands for is given explicitly.
+ *    -# size      The symbolic constant represents the size of a type.  The
+ *                 type of which the constant represents the size is given
+ *                 explicitly.
+ *    -# addr_name The symbolic constant represents the address of an entity
+ *                 (variable or method).  The variable is indicated by a name
+ *                 that is valid for linking.
+ *    -# addr_ent  The symbolic constant represents the address of an entity
+ *                 (variable or method).  The variable is given explicitly by
+ *                 a firm entity.
  *
  *    Inputs to the node:
  *      No inputs except the block it belongs to.
@@ -3289,7 +3352,7 @@ ir_node *new_Const_type(tarval *con, type *tp);
  *      An unsigned integer (I_u) or a pointer (P).
  *
  * @param value   A type or a ident depending on the SymConst kind.
- * @param symkind The kind of the symbolic constant: symconst_type_tag, symconst_size or symconst_addr_name.
+ * @param kind    The kind of the symbolic constant: symconst_type_tag, symconst_size or symconst_addr_name.
  */
 ir_node *new_SymConst (union symconst_symbol value, symconst_kind kind);
 
@@ -3318,8 +3381,8 @@ ir_node *new_simpleSel(ir_node *store, ir_node *objptr, entity *ent);
  *                     from is allocated.
  * @param   *objptr    A pointer to a compound entity the Sel operation selects a
  *                     single attribute from.
- * @param   *n_index   The number of array indices needed to select an array element entity.
- * @param   *index[]   If the compound entity is an array the indices of the selected
+ * @param   arity      The number of array indices needed to select an array element entity.
+ * @param   *in[]      If the compound entity is an array the indices of the selected
  *                     element entity.  The constructor copies this array.
  * @param   *ent       The entity to select.
  */
@@ -3331,8 +3394,8 @@ ir_node *new_Sel    (ir_node *store, ir_node *objptr, int arity, ir_node *in[],
  * Adds the node to the block in current_ir_block.
  * For translating Java.  Not supported as standard firm node.
  *
- * @param   *store
- * @param   *objptr
+ * @param   *store  The actual store.
+ * @param   *obj
  * @param   *ent
  */
 ir_node *new_InstOf (ir_node *store, ir_node *obj,  type *ent);
@@ -3366,8 +3429,8 @@ ir_node *new_CallBegin(ir_node *callee);
  * constructor copies the method pointer input from the passed Call
  * node.Adds the node to the block in current_ir_block.
  *
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_Add    (ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -3376,8 +3439,8 @@ ir_node *new_Add    (ir_node *op1, ir_node *op2, ir_mode *mode);
  *
  * Adds the node to the block in current_ir_block.
  *
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_Sub    (ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -3394,8 +3457,8 @@ ir_node *new_Minus  (ir_node *op,  ir_mode *mode);
 /**
  * Constructor for a Mul node. Adds the node to the block in current_ir_block.
  *
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_Mul    (ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -3405,8 +3468,8 @@ ir_node *new_Mul    (ir_node *op1, ir_node *op2, ir_mode *mode);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_Quot   (ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -3415,8 +3478,8 @@ ir_node *new_Quot   (ir_node *memop, ir_node *op1, ir_node *op2);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_DivMod (ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -3425,8 +3488,8 @@ ir_node *new_DivMod (ir_node *memop, ir_node *op1, ir_node *op2);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_Div    (ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -3435,8 +3498,8 @@ ir_node *new_Div    (ir_node *memop, ir_node *op1, ir_node *op2);
  * Adds the node to the block in current_ir_block.
  *
  * @param   *memop The store needed to model exceptions
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_Mod    (ir_node *memop, ir_node *op1, ir_node *op2);
 
@@ -3453,8 +3516,8 @@ ir_node *new_Abs    (ir_node *op,                ir_mode *mode);
  *
  * Adds the node to the block in current_ir_block.
  *
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_And    (ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -3462,8 +3525,8 @@ ir_node *new_And    (ir_node *op1, ir_node *op2, ir_mode *mode);
 /**
  * Constructor for a Or node. Adds the node to the block in current_ir_block.
  *
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the result.
  */
 ir_node *new_Or     (ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -3471,8 +3534,8 @@ ir_node *new_Or     (ir_node *op1, ir_node *op2, ir_mode *mode);
 /**
  * Constructor for a Eor node. Adds the node to the block in current_ir_block.
  *
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  * @param   *mode  The mode of the operands and the results.
  */
 ir_node *new_Eor    (ir_node *op1, ir_node *op2, ir_mode *mode);
@@ -3529,8 +3592,8 @@ ir_node *new_Rot    (ir_node *op,  ir_node *k,   ir_mode *mode);
  *
  * Adds the node to the block in current_ir_block.
  *
- * @param   *op1   The operand 1.
- * @param   *op2   The operand 2.
+ * @param   *op1   The first operand.
+ * @param   *op2   The second operand.
  */
 ir_node *new_Cmp    (ir_node *op1, ir_node *op2);
 
@@ -3656,7 +3719,7 @@ ir_node *new_Filter (ir_node *arg, ir_mode *mode, long proj);
  * Adds the node to the block in current_ir_block.
  *
  * @param arg       A node producing a tuple.
- * @param max_ proj The end  position of the value in the tuple.
+ * @param max_proj  The end  position of the value in the tuple.
  */
 ir_node *new_defaultProj (ir_node *arg, long max_proj);
 
@@ -3753,7 +3816,7 @@ ir_node *new_immBlock (void);
 /** Add a control flow edge to an immature block. */
 void add_immBlock_pred (ir_node *immblock, ir_node *jmp);
 
-/** Fix the number of predecessors of an immature block. */
+/** Finalize a Block node, when all control flows are known. */
 void mature_immBlock (ir_node *block);
 #define mature_cur_block() mature_immBlock(get_cur_block());
 
@@ -3768,7 +3831,7 @@ void mature_immBlock (ir_node *block);
  * @param  pos   The position/id of the local variable.
  * @param *mode  The mode of the value to get.
  */
-ir_node *get_d_value (dbg_infodb, int pos, ir_mode *mode);
+ir_node *get_d_value (dbg_info *db, int pos, ir_mode *mode);
 ir_node *get_value (int pos, ir_mode *mode);
 
 /** Remark a new definition of a variable.
@@ -3813,7 +3876,13 @@ type *get_cur_frame_type(void);
 /* --- initialize and finalize ir construction --- */
 
 /** Puts the graph into state "phase_high" */
-void finalize_cons (ir_graph *irg);
+void irg_finalize_cons (ir_graph *irg);
+
+/** Puts the program and all graphs into state phase_high.
+ *
+ * This also remarks, the construction of types is finished,
+ * e.g., that no more subtypes will be added.  */
+void irp_finalize_cons(void);
 
 /* --- Initialization --- */
 
@@ -3827,7 +3896,7 @@ void finalize_cons (ir_graph *irg);
  * @return a firm node of mode @p mode that initializes the var at position pos
  *
  * @note
- *      Do not return NULL
+ *      Do not return NULL!
  *      If this function is not set, FIRM will create a const node with tarval BAD.
  *      Use set_irg_loc_description()/get_irg_loc_description() to assign additional
  *      informations to local variables.