/** Cond attributes */
typedef struct {
- cond_kind kind; /**< flavor of Cond */
- long default_proj; /**< for optimization: biggest Proj number, i.e. the one
- used for default. */
+ cond_kind kind; /**< flavor of Cond */
+ long default_proj; /**< only for non-binary Conds: biggest Proj number, i.e. the one used for default. */
+ cond_jmp_predicate pred; /**< only for binary Conds: The jump predication. */
} cond_attr;
/** Const attributes */
typedef struct {
- tarval *tv; /**< the target value */
- type *tp; /**< the source type, for analyses. default: type_unknown. */
+ tarval *tv; /**< the target value */
+ ir_type *tp; /**< the source type, for analyses. default: type_unknown. */
} const_attr;
typedef struct {
symconst_symbol sym; // old tori
symconst_kind num;
- type *tp; /**< the source type, for analyses. default: type_unknown. */
+ ir_type *tp; /**< the source type, for analyses. default: type_unknown. */
} symconst_attr;
/** Sel attributes */
typedef struct {
except_attr exc; /**< the exception attribute. MUST be the first one. */
- type *cld_tp; /**< type of called procedure */
+ ir_type *cld_tp; /**< type of called procedure */
entity ** callee_arr; /**< result of callee analysis */
} call_attr;
/** Alloc attributes */
typedef struct {
except_attr exc; /**< the exception attribute. MUST be the first one. */
- type *type; /**< Type of the allocated object. */
+ ir_type *type; /**< Type of the allocated object. */
where_alloc where; /**< stack, heap or other managed part of memory */
} alloc_attr;
/** Free attributes */
typedef struct {
- type *type; /**< Type of the allocated object. */
+ ir_type *type; /**< Type of the allocated object. */
where_alloc where; /**< stack, heap or other managed part of memory */
} free_attr;
/** InstOf attributes */
typedef struct
{
- type *ent;
+ ir_type *ent;
int dfn;
} io_attr;
/** CallBegin attributes */
typedef struct {
- ir_node * call; /**< associated Call-operation */
+ ir_node * call; /**< associated Call-operation */
} callbegin_attr;
/** Cast attributes */
typedef struct {
- type *totype;
+ ir_type *totype; /**< type of the casted node */
} cast_attr;
/** Load attributes */
typedef struct {
except_attr exc; /**< the exception attribute. MUST be the first one. */
ir_mode *load_mode; /**< the mode of this Load operation */
- ent_volatility volatility; /**< the volatility of a Load/Store operation */
+ ent_volatility volatility; /**< the volatility of a Load/Store operation */
} load_attr;
/** Store attributes */
typedef struct {
except_attr exc; /**< the exception attribute. MUST be the first one. */
- ent_volatility volatility; /**< the volatility of a Store operation */
+ ent_volatility volatility; /**< the volatility of a Store operation */
} store_attr;
typedef pn_Cmp confirm_attr; /**< Attribute to hold compare operation */
+typedef struct {
+ except_attr exc; /**< the exception attribute. MUST be the first one. */
+ ir_type *data_type; /**< type of the copied entity */
+} copyb_attr;
+
/**
* Edge info to put into an irn.
*/
} irn_edge_info_t;
-/** Some irnodes just have one attribute, these are stored here,
+/** Some IR-nodes just have one attribute, these are stored here,
some have more. Their name is 'irnodename_attr' */
typedef union {
start_attr start; /**< For Start */
int *phi_backedge; /**< For Phi after construction.
Field n set to true if pred n is backedge.
@todo Ev. replace by bitfield! */
- long proj; /**< For Proj: contains the result position to project */
+ long proj; /**< For Proj: contains the result position to project */
confirm_attr confirm_cmp; /**< For Confirm: compare operation */
- filter_attr filter; /**< For Filter */
- end_attr end; /**< For EndReg, EndExcept */
- except_attr except; /**< For Phi node construction in case of exceptions */
+ filter_attr filter; /**< For Filter */
+ end_attr end; /**< For EndReg, EndExcept */
+ except_attr except; /**< For Phi node construction in case of exceptions */
+ copyb_attr copyb; /**< For CopyB operation */
} attr;
/* ------- For analyses -------- */
ir_loop *loop; /**< the loop the node is in. Access routines in irloop.h */
#ifdef DO_HEAPANALYSIS
- struct abstval *av;
+ struct abstval *av; /**< the abstract value of this node */
struct section *sec;
#endif
#if FIRM_EDGES_INPLACE
alloc_attr get_irn_alloc_attr (ir_node *node);
free_attr get_irn_free_attr (ir_node *node);
symconst_attr get_irn_symconst_attr (ir_node *node);
-type *get_irn_call_attr (ir_node *node);
-type *get_irn_funccall_attr (ir_node *node);
+ir_type *get_irn_call_attr (ir_node *node);
+ir_type *get_irn_funccall_attr (ir_node *node);
sel_attr get_irn_sel_attr (ir_node *node);
int get_irn_phi_attr (ir_node *node);
block_attr get_irn_block_attr (ir_node *node);
*/
extern unsigned firm_add_node_size;
-/** Set the get_type operation of an ir_op. */
-ir_op *firm_set_default_get_type(ir_op *op);
+/**
+ * Sets the get_type operation for an ir_op_ops.
+ *
+ * @param code the opcode for the default operation
+ * @param ops the operations initialized
+ *
+ * @return
+ * The operations.
+ */
+ir_op_ops *firm_set_default_get_type(opcode code, ir_op_ops *ops);
+
+/**
+ * Sets the get_type_attr operation for an ir_op_ops.
+ *
+ * @param code the opcode for the default operation
+ * @param ops the operations initialized
+ *
+ * @return
+ * The operations.
+ */
+ir_op_ops *firm_set_default_get_type_attr(opcode code, ir_op_ops *ops);
+
+/**
+ * Sets the get_entity_attr operation for an ir_op_ops.
+ *
+ * @param code the opcode for the default operation
+ * @param ops the operations initialized
+ *
+ * @return
+ * The operations.
+ */
+ir_op_ops *firm_set_default_get_entity_attr(opcode code, ir_op_ops *ops);
/*-------------------------------------------------------------------*/
/* These function are most used in libfirm. Give them as static */
ir_op *op = _get_irn_op(old_node);
/* must always exist */
- op->copy_attr(old_node, new_node);
+ op->ops.copy_attr(old_node, new_node);
}
/**
static INLINE int
_get_irn_inter_arity (const ir_node *node) {
assert(node);
- if (_get_irn_opcode(node) == iro_Filter) {
+ if (_get_irn_op(node) == op_Filter) {
assert(node->attr.filter.in_cg);
return ARR_LEN(node->attr.filter.in_cg) - 1;
- } else if (_get_irn_opcode(node) == iro_Block && node->attr.block.in_cg) {
+ } else if (_get_irn_op(node) == op_Block && node->attr.block.in_cg) {
return ARR_LEN(node->attr.block.in_cg) - 1;
}
return _get_irn_intra_arity(node);
*/
static INLINE ir_node *
_get_irn_intra_n (const ir_node *node, int n) {
+ ir_node *nn;
+
assert(node); assert(-1 <= n && n < _get_irn_intra_arity(node));
- return (node->in[n + 1] = skip_Id(node->in[n + 1]));
+ nn = node->in[n + 1];
+ if (!nn || (nn->op != op_Id)) return nn;
+
+ return (node->in[n + 1] = skip_Id(nn));
}
/**
assert (node);
/* Link field is used for Phi construction and various optimizations
in iropt. */
- assert(get_irg_phase_state(current_ir_graph) != phase_building);
+ assert(get_irg_phase_state(get_irn_irg(node)) != phase_building);
node->link = link;
}
return is_op_forking(_get_irn_op(node));
}
-static INLINE type *_get_irn_type(ir_node *node) {
- return _get_irn_op(node)->get_type(node);
+static INLINE ir_type *_get_irn_type(ir_node *node) {
+ return _get_irn_op(node)->ops.get_type(node);
+}
+
+static INLINE ir_type *get_irn_type_attr(ir_node *node) {
+ return _get_irn_op(node)->ops.get_type_attr(node);
+}
+
+static INLINE entity *get_irn_entity_attr(ir_node *node) {
+ return _get_irn_op(node)->ops.get_entity_attr(node);
}
static INLINE int _is_irn_constlike(const ir_node *node) {
return is_op_constlike(_get_irn_op(node));
}
+static INLINE cond_jmp_predicate _get_Cond_jmp_pred(ir_node *node) {
+ assert (_get_irn_op(node) == op_Cond);
+ return node->attr.c.pred;
+}
+
+static INLINE void _set_Cond_jmp_pred(ir_node *node, cond_jmp_predicate pred) {
+ assert (_get_irn_op(node) == op_Cond);
+ node->attr.c.pred = pred;
+}
+
/* this section MUST contain all inline functions */
#define is_ir_node(thing) _is_ir_node(thing)
#define get_irn_intra_arity(node) _get_irn_intra_arity(node)
#define is_irn_forking(node) _is_irn_forking(node)
#define get_irn_type(node) _get_irn_type(node)
#define is_irn_constlike(node) _is_irn_constlike(node)
+#define get_Cond_jmp_pred(node) _get_Cond_jmp_pred(node)
+#define set_Cond_jmp_pred(node, pred) _set_Cond_jmp_pred(node, pred)
# endif /* _IRNODE_T_H_ */
projects / libfirm / blobdiff