* Copyright: (c) 1998-2003 Universität Karlsruhe
* Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
*/
+#ifndef _IROP_T_H_
+#define _IROP_T_H_
+#include "firm_config.h"
+#include "irop.h"
+#include "tv.h"
+#include "irnode.h"
-# ifndef _IROP_T_H_
-# define _IROP_T_H_
-# include "irop.h"
-
-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 type of an ir_op */
+/** The type of an ir_op. */
struct ir_op {
- opcode code;
- ident *name;
+ opcode code; /**< the unique opcode of the op */
+ ident *name; /**< the name of the op */
size_t attr_size; /**< Space needed in memory for private attributes */
- int labeled; /**< Output edge labels on in-edges in vcg graph */
- int pinned; /**< How to deal with the node in cse, pre. */
+ op_pin_state op_pin_state_pinned; /**< How to deal with the node in cse, pre. */
op_arity opar; /**< arity of operator. */
+ int op_index; /**< the index of the first data operand, 0 for most cases, 1 for Div etc. */
+ unsigned flags; /**< flags describing the behavior of the ir_op, a bitmaks of irop_flags */
+
+ ir_op_ops ops; /**< the operations of the this op. */
};
/**
- * Create a new ir operation.
- *
- * @param code the opcode, one of type \c opcode
- * @param name the printable name of this opcode
- * @param p wheater operations of this opcode are pinned or floating
- * @param labeled if set, output edge labels on in-edges in vcg graph wil be generated
- *
- * @return The genenerated ir operation.
+ * Frees a newly created ir operation.
*/
-ir_op * new_ir_op (opcode code, const char *name, op_pinned p,
- int labeled, op_arity opar, size_t attr_size);
+void free_ir_op(ir_op *code);
-/** initialize the irop module */
-void init_op (void);
+/** Initialize the irop module. */
+void init_op(void);
-/* free memory used by irop module. */
+/** Free memory used by irop module. */
void finish_op(void);
+/**
+ * Copies simply all attributes stored in the old node to the new node.
+ * Assumes both have the same opcode and sufficient size.
+ *
+ * @param old_node the old node from which the attributes are read
+ * @param new_node the new node to which the attributes are written
+ */
+void default_copy_attr(const ir_node *old_node, ir_node *new_node);
+
+/**
+ * Returns the attribute size of nodes of this opcode.
+ * @note Use not encouraged, internal feature.
+ */
+static INLINE int get_op_attr_size (const ir_op *op) {
+ return op->attr_size;
+}
+
+/**
+ * Returns non-zero if op is a control flow opcode,
+ * like Start, End, Jmp, Cond, Return, Raise or Bad.
+ */
+static INLINE int is_cfopcode(const ir_op *op) {
+ return op->flags & irop_flag_cfopcode;
+}
+
+/**
+ * Returns non-zero if the operation manipulates interprocedural control flow:
+ * CallBegin, EndReg, EndExcept
+ */
+static INLINE int is_ip_cfopcode(const ir_op *op) {
+ return op->flags & irop_flag_ip_cfopcode;
+}
+
+/** Returns non-zero if operation is commutative */
+static INLINE int is_op_commutative(const ir_op *op) {
+ return op->flags & irop_flag_commutative;
+}
+
+/** Returns non-zero if operation is fragile */
+static INLINE int is_op_fragile(const ir_op *op) {
+ return op->flags & irop_flag_fragile;
+}
+
+/** Returns non-zero if operation is forking control flow */
+static INLINE int is_op_forking(const ir_op *op) {
+ return op->flags & irop_flag_forking;
+}
+
+/** Returns non-zero if operation is a high-level op */
+static INLINE int is_op_highlevel(const ir_op *op) {
+ return op->flags & irop_flag_highlevel;
+}
+
+/** Returns non-zero if operation is a const-like op */
+static INLINE int is_op_constlike(const ir_op *op) {
+ return op->flags & irop_flag_constlike;
+}
+
+static INLINE opcode _get_op_code(const ir_op *op) {
+ return op->code;
+}
+
+static INLINE ident *_get_op_ident(const ir_op *op){
+ return op->name;
+}
+
+static INLINE op_pin_state _get_op_pinned(const ir_op *op) {
+ return op->op_pin_state_pinned;
+}
+
+static INLINE void _set_generic_function_ptr(ir_op *op, op_func func) {
+ op->ops.generic = func;
+}
+
+static INLINE op_func _get_generic_function_ptr(const ir_op *op) {
+ return op->ops.generic;
+}
+
+#define get_op_code(op) _get_op_code(op)
+#define get_op_ident(op) _get_op_ident(op)
+#define get_op_pinned(op) _get_op_pinned(op)
+
+
#endif /* _IROP_T_H_ */
projects / libfirm / blobdiff