*** empty log message ***

[libfirm] / ir / ir / ircons.h

diff --git a/ir/ir/ircons.h b/ir/ir/ircons.h
index 6f05747..d761a62 100644 (file)
--- a/ir/ir/ircons.h
+++ b/ir/ir/ircons.h
@@ -291,6 +291,7 @@
  *    ir_node *new_Proj   (ir_node *arg, ir_mode *mode, long proj);
  *    ir_node *new_NoMem  (void);
  *    ir_node *new_Mux    (ir_node *sel, ir_node *ir_false, ir_node *ir_true, ir_mode *mode);
+ *    ir_node *new_Psi    (int arity, ir_node *conds[], ir_node *vals[], ir_mode *mode);
  *    ir_node *new_CopyB  (ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type);
  *    ir_node *new_InstOf (ir_node *store, ir_node obj, ir_type *ent);
  *    ir_node *new_Raise  (ir_node *store, ir_node *obj);
@@ -820,6 +821,13 @@
  *    ir_true, else ir_false;
  *
  *
+ *    ir_node *new_Psi (int arity, ir_node *conds[], ir_node *vals[], ir_mode *mode)
+ *    -----------------------------------------------------------------------------
+ *
+ *    Creates a Psi node. This node implements the following semantic:
+ *    Enter it here!!!
+ *
+ *
  *    OPERATIONS TO MANAGE MEMORY EXPLICITLY
  *    --------------------------------------
  *
@@ -1084,6 +1092,7 @@
 
 #include "firm_common.h"
 #include "irnode.h"
+#include "irgraph.h"
 #include "dbginfo.h"
 
 /*-------------------------------------------------------------------------*/
@@ -1856,6 +1865,19 @@ ir_node *new_rd_NoMem  (ir_graph *irg);
 ir_node *new_rd_Mux  (dbg_info *db, ir_graph *irg, ir_node *block,
     ir_node *sel, ir_node *ir_false, ir_node *ir_true, ir_mode *mode);
 
+/** Constructor for a Psi node.
+ *
+ * @param *db       A pointer for debug information.
+ * @param *irg      The ir graph the node belong to.
+ * @param *block    The block the node belong to.
+ * @param *arity    The arity of the conditions
+ * @param *conds    The array of mode_b conditions, length must be equal arity
+ * @param *vals     The array of mode values, length must be equal arity + 1
+ * @param *mode     The mode of the node (must be the mode of all vals).
+ */
+ir_node *new_rd_Psi (dbg_info *db, ir_graph *irg, ir_node *block,
+                     int arity, ir_node *conds[], ir_node *vals[], ir_mode *mode);
+
 /** Constructor for a CopyB node.
  *
  * @param *db         A pointer for debug information.
@@ -2611,6 +2633,18 @@ ir_node *new_r_NoMem  (ir_graph *irg);
 ir_node *new_r_Mux  (ir_graph *irg, ir_node *block,
     ir_node *sel, ir_node *ir_false, ir_node *ir_true, ir_mode *mode);
 
+/** Constructor for a Psi node.
+ *
+ * @param *irg      The ir graph the node belong to.
+ * @param *block    The block the node belong to.
+ * @param *arity    The arity of the conditions
+ * @param *conds    The array of mode_b conditions, length must be equal arity
+ * @param *vals     The array of mode values, length must be equal arity + 1
+ * @param *mode     The mode of the node (must be the mode of all vals).
+ */
+ir_node *new_r_Psi (ir_graph *irg, ir_node *block,
+                    int arity, ir_node *conds[], ir_node *vals[], ir_mode *mode);
+
 /** Constructor for a CopyB node.
  *
  * @param *irg        The ir graph the node belong to.
@@ -3352,6 +3386,17 @@ ir_node *new_d_NoMem  (void);
 ir_node *new_d_Mux  (dbg_info *db, ir_node *sel,
     ir_node *ir_false, ir_node *ir_true, ir_mode *mode);
 
+/** Constructor for a Psi node.
+ *
+ * @param *db       A pointer for debug information.
+ * @param *arity    The arity of the conditions
+ * @param *conds    The array of mode_b conditions, length must be equal arity
+ * @param *vals     The array of mode values, length must be equal arity + 1
+ * @param *mode     The mode of the node (must be the mode of all vals).
+ */
+ir_node *new_d_Psi (dbg_info *db,
+                    int arity, ir_node *conds[], ir_node *vals[], ir_mode *mode);
+
 /** Constructor for a CopyB node.
  *
  * @param *db         A pointer for debug information.
@@ -3996,6 +4041,15 @@ ir_node *new_NoMem  (void);
  */
 ir_node *new_Mux  (ir_node *sel, ir_node *ir_false, ir_node *ir_true, ir_mode *mode);
 
+/** Constructor for a Psi node.
+ *
+ * @param *arity    The arity of the conditions
+ * @param *conds    The array of mode_b conditions, length must be equal arity
+ * @param *vals     The array of mode values, length must be equal arity + 1
+ * @param *mode     The mode of the node (must be the mode of all vals).
+ */
+ir_node *new_Psi (int arity, ir_node *conds[], ir_node *vals[], ir_mode *mode);
+
 /** Constructor for a CopyB node.
  *
  * Adds the node to the block in current_ir_block.
@@ -4124,7 +4178,7 @@ ir_type *get_cur_frame_type(void);
 /* --- initialize and finalize ir construction --- */
 
 /** Puts the graph into state "phase_high" */
-void irg_finalize_cons (ir_graph *irg);
+#define irg_finalize_cons(irg) set_irg_phase_state(irg, phase_high)
 
 /** Puts the program and all graphs into state phase_high.
  *