X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firop.h;h=5e7b4a81da4d759b930c1dbacff56383b5256faf;hb=f9d25133f86594ca2b1f33fb0b41a591ecc9b914;hp=6527aa99f4aefc86ea9072f1fc7becd9dd693223;hpb=60c9f323685e93f335d0f26aad2da647b669886d;p=libfirm

diff --git a/ir/ir/irop.h b/ir/ir/irop.h
index 6527aa99f..5e7b4a81d 100644
--- a/ir/ir/irop.h
+++ b/ir/ir/irop.h
@@ -11,26 +11,58 @@
  */
 
 /**
-* @file irop.h
-*
-* Operators of firm nodes.
-*
-* @author Christian Schaefer
-*
-*  This module specifies the opcodes possible for ir nodes.  Their
-*  definition is close to the operations specified in UKA Tech-Report
-*  1999-14
-*/
+ * @file irop.h
+ *
+ * Operators of firm nodes.
+ *
+ * @author Christian Schaefer
+ *
+ *  This module specifies the opcodes possible for ir nodes.  Their
+ *  definition is close to the operations specified in UKA Tech-Report
+ *  1999-14
+ */
 
 # ifndef _IROP_H_
 # define _IROP_H_
 
 # include "ident.h"
 
+/** The allowed parities */
+typedef enum {
+  oparity_invalid = 0,
+  oparity_unary,              /**< an unary operator -- considering 'numeric' arguments. */
+  oparity_binary,             /**< an binary operator  -- considering 'numeric' arguments.*/
+  oparity_trinary,            /**< an trinary operator  -- considering 'numeric' arguments.*/
+  oparity_zero,               /**< no operators, as e.g. Const. */
+  oparity_variable,           /**< arity not fixed by opcode, but statically
+				 known.  E.g., number of arguments to call. */
+  oparity_dynamic,            /**< arity depends on state of firm representation.
+				 Can change by optimizations...
+				 We must allocate a dynamic in array for the node! */
+  oparity_any                 /**< other arity */
+} op_arity;
+
+
+/** The irop flags */
+typedef enum {
+  irop_flag_none        = 0x00000000, /**< nothing */
+  irop_flag_labeled     = 0x00000001,	/**< if set, Output edge labels on in-edges in vcg graph */
+  irop_flag_commutative = 0x00000002,	/**< operation is commutative */
+  irop_flag_cfopcode    = 0x00000004, /**< is a control flow operation */
+  irop_flag_ip_cfopcode = 0x00000008,	/**< operation manipulates interprocedural control flow */
+  irop_flag_fragile     = 0x00000010,	/**< set if the operation can change the control flow because
+                                             of an exception */
+  irop_flag_forking     = 0x00000020, /**< the operation is a forking control flow */
+  irop_flag_highlevel   = 0x00000040, /**< the operation is a pure high-level one and can be
+                                           skipped in low-level optimizations */
+  irop_flag_constlike   = 0x00000080  /**< the operation has no arguments and is some
+                                           kind of a constant */
+} irop_flags;
+
 /** The opcodes of the libFirm predefined operations. */
 typedef enum {
   iro_Block,
-  iro_Start, iro_End, iro_Jmp, iro_Cond, iro_Return, iro_Raise,
+  iro_Start, iro_End, iro_Jmp, iro_IJmp, iro_Cond, iro_Return, iro_Raise,
   iro_Const, iro_SymConst,
   iro_Sel,  iro_InstOf,
   iro_Call, iro_Add, iro_Sub, iro_Minus, iro_Mul, iro_Quot, iro_DivMod,
@@ -40,7 +72,7 @@ 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_NoMem, iro_Mux, iro_CopyB,
   iro_MaxOpcode
 } opcode;
 
@@ -51,6 +83,7 @@ extern ir_op *op_Block;           ir_op *get_op_Block     (void);
 extern ir_op *op_Start;           ir_op *get_op_Start     (void);
 extern ir_op *op_End;             ir_op *get_op_End       (void);
 extern ir_op *op_Jmp;             ir_op *get_op_Jmp       (void);
+extern ir_op *op_IJmp;            ir_op *get_op_IJmp      (void);
 extern ir_op *op_Cond;            ir_op *get_op_Cond      (void);
 extern ir_op *op_Return;          ir_op *get_op_Return    (void);
 extern ir_op *op_Raise;           ir_op *get_op_Raise     (void);
@@ -106,9 +139,10 @@ 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_CopyB;           ir_op *get_op_CopyB     (void);
 
 /** Returns the ident for the opcode name */
-ident *get_op_ident(ir_op *op);
+ident *get_op_ident(const ir_op *op);
 
 /** Returns the string for the opcode. */
 const char *get_op_name(const ir_op *op);
@@ -138,4 +172,39 @@ void set_op_pinned(ir_op *op, op_pin_state pinned);
 /** Returns the next free IR opcode number, allows to register user ops */
 unsigned get_next_ir_opcode(void);
 
+/**
+ * Creates a new ir operation.
+ *
+ * @param code      the opcode, one of type \c opcode
+ * @param name      the printable name of this opcode
+ * @param p         whether operations of this opcode are op_pin_state_pinned or floating
+ * @param flags     a bitmask of irop_flags describing the behavior of the ir operation
+ * @param opar      the parity of this ir operation
+ * @param op_index  if the parity is oparity_unary, oparity_binary or oparity_trinary the index
+ *                  of the left operand
+ * @param attr_size attribute size for this ir operation
+ *
+ * @return The generated ir operation.
+ */
+ir_op * new_ir_op(opcode code, const char *name, op_pin_state p,
+		   unsigned flags, op_arity opar, int op_index, size_t attr_size);
+
+/**
+ * A generic function pointer.
+ */
+typedef void (*op_func)(void);
+
+/** The NULL-function. */
+#define NULL_FUNC       ((generic_func)(NULL))
+
+/**
+ * Returns the generic function pointer from an ir operation.
+ */
+op_func get_generic_function_ptr(const ir_op *op);
+
+/**
+ * Store a generic function pointer into an ir operation.
+ */
+void set_generic_function_ptr(ir_op *op, op_func func);
+
 # endif /* _IROP_H_ */