First full implementation with LFTR
[libfirm] / ir / ir / irop.h
index 87672d0..02acba4 100644 (file)
@@ -59,7 +59,10 @@ typedef enum {
                                            skipped in low-level optimizations */
   irop_flag_constlike   = 0x00000080, /**< the operation has no arguments and is some
                                            kind of a constant */
-  irop_flag_keep        = 0x00000100  /**< this operation can be kept in End's keep-alive list */
+  irop_flag_keep        = 0x00000100, /**< this operation can be kept in End's keep-alive list */
+  irop_flag_machine     = 0x00000200, /**< this operation is a machine operation */
+  irop_flag_machine_op  = 0x00000400, /**< this operation is a machine operand */
+  irop_flag_user        = 0x00000800  /**< this flag and all higher one are free for machine user */
 } irop_flags;
 
 /** The opcodes of the libFirm predefined operations. */
@@ -76,12 +79,15 @@ typedef enum {
   iro_Load, iro_Store, iro_Alloc, iro_Free, iro_Sync,
   iro_Proj, iro_Tuple, iro_Id, iro_Bad, iro_Confirm,
   iro_Unknown, iro_Filter, iro_Break, iro_CallBegin, iro_EndReg, iro_EndExcept,
-  iro_NoMem, iro_Mux, iro_CopyB,
+  iro_NoMem, iro_Mux, iro_Psi, iro_CopyB,
   iro_InstOf, iro_Raise, iro_Bound,
   iro_MaxOpcode
 } opcode;
 
+#ifndef _IR_OP_TYPEDEF_
+#define _IR_OP_TYPEDEF_
 typedef struct ir_op ir_op;
+#endif
 
 extern ir_op *op_Block;           ir_op *get_op_Block     (void);
 
@@ -144,6 +150,7 @@ extern ir_op *op_EndExcept;       ir_op *get_op_EndExcept (void);
 
 extern ir_op *op_NoMem;           ir_op *get_op_NoMem     (void);
 extern ir_op *op_Mux;             ir_op *get_op_Mux       (void);
+extern ir_op *op_Psi;             ir_op *get_op_Psi       (void);
 extern ir_op *op_CopyB;           ir_op *get_op_CopyB     (void);
 
 extern ir_op *op_InstOf;          ir_op *get_op_InstOf    (void);
@@ -310,7 +317,7 @@ typedef int (*dump_node_func)(ir_node *self, FILE *F, dump_reason_t reason);
  * io_op Operations.
  */
 typedef struct {
-  computed_value_func    computed_value;   /**< evaluates a node into a tarval if possible. */
+  computed_value_func   computed_value;   /**< evaluates a node into a tarval if possible. */
   equivalent_node_func  equivalent_node;  /**< optimizes the node by returning an equivalent one. */
   transform_node_func   transform_node;   /**< optimizes the node by transforming it. */
   node_cmp_attr_func    node_cmp_attr;    /**< compares two node attributes. */