* @file
* @brief Representation of an intermediate operation -- private header.
* @author Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Michael Beck
- * @version $Id$
*/
#ifndef FIRM_IR_IRNODE_T_H
#define FIRM_IR_IRNODE_T_H
#include "array.h"
#include "iredges_t.h"
+/* This section MUST come first, so the inline functions get used in this header. */
+#define is_ir_node(thing) is_ir_node_(thing)
+#define get_irn_arity(node) get_irn_arity_(node)
+#define get_irn_n(node, n) get_irn_n_(node, n)
+#define get_irn_mode(node) get_irn_mode_(node)
+#define set_irn_mode(node, mode) set_irn_mode_(node, mode)
+#define get_irn_irg(node) get_irn_irg_(node)
+#define get_nodes_block(node) get_nodes_block_(node)
+#define get_irn_op(node) get_irn_op_(node)
+#define set_irn_op(node, op) set_irn_op_(node, op)
+#define get_irn_opcode(node) get_irn_opcode_(node)
+#define get_irn_visited(node) get_irn_visited_(node)
+#define set_irn_visited(node, v) set_irn_visited_(node, v)
+#define mark_irn_visited(node) mark_irn_visited_(node)
+#define irn_visited(node) irn_visited_(node)
+#define irn_visited_else_mark(node) irn_visited_else_mark_(node)
+#define set_irn_link(node, link) set_irn_link_(node, link)
+#define get_irn_link(node) get_irn_link_(node)
+#define get_irn_pinned(node) get_irn_pinned_(node)
+#define is_irn_pinned_in_irg(node) is_irn_pinned_in_irg_(node)
+#define is_unop(node) is_unop_(node)
+#define is_binop(node) is_binop_(node)
+#define is_SymConst_addr_ent(node) is_SymConst_addr_ent_(node)
+#define get_Block_n_cfgpreds(node) get_Block_n_cfgpreds_(node)
+#define get_Block_cfgpred(node, pos) get_Block_cfgpred_(node, pos)
+#define get_Block_cfgpred_block(node, pos) get_Block_cfgpred_block_(node, pos)
+#define get_Block_block_visited(node) get_Block_block_visited_(node)
+#define set_Block_block_visited(node, visit) set_Block_block_visited_(node, visit)
+#define mark_Block_block_visited(node) mark_Block_block_visited_(node)
+#define Block_block_visited(node) Block_block_visited_(node)
+#define get_Block_irg(block) get_Block_irg_(block)
+#define is_Const_null(node) is_Const_null_(node)
+#define is_Const_one(node) is_Const_one_(node)
+#define is_Const_all_one(node) is_Const_all_one_(node)
+#define is_irn_forking(node) is_irn_forking_(node)
+#define copy_node_attr(irg,oldn,newn) copy_node_attr_(irg,oldn,newn)
+#define get_irn_type(node) get_irn_type_(node)
+#define get_irn_type_attr(node) get_irn_type_attr_(node)
+#define get_irn_entity_attr(node) get_irn_entity_attr_(node)
+#define is_irn_constlike(node) is_irn_constlike_(node)
+#define is_irn_keep(node) is_irn_keep_(node)
+#define is_irn_start_block_placed(node) is_irn_start_block_placed_(node)
+#define is_irn_cse_neutral(node) is_irn_cse_neutral_(node)
+#define get_irn_generic_attr(node) get_irn_generic_attr_(node)
+#define get_irn_generic_attr_const(node) get_irn_generic_attr_const_(node)
+#define get_irn_idx(node) get_irn_idx_(node)
+
+#define get_irn_deps(node) get_irn_deps_(node)
+#define get_irn_dep(node, pos) get_irn_dep_(node, pos)
+
+#define get_irn_ins_or_deps(node) get_irn_ins_or_deps_(node)
+#define get_irn_in_or_dep(node, pos) get_irn_in_or_dep_(node, pos)
+
+#define get_irn_dbg_info(node) get_irn_dbg_info_(node)
+#define set_irn_dbg_info(node, db) set_irn_dbg_info_(node, db)
+
+#define set_Block_phis(block, phi) set_Block_phis_(block, phi)
+#define get_Block_phis(block) get_Block_phis_(block)
+#define add_Block_phi(block, phi) add_Block_phi_(block, phi)
+#define get_Block_mark(block) get_Block_mark_(block)
+#define set_Block_mark(block, mark) set_Block_mark_(block, mark)
+
+#define set_Phi_next(node, phi) set_Phi_next_(node, phi)
+#define get_Phi_next(node) get_Phi_next_(node)
+
+#define is_arg_Proj(node) is_arg_Proj_(node)
+#define ir_switch_table_get_n_entries(table) ir_switch_table_get_n_entries_(table)
+
/**
* Returns the array with the ins. The content of the array may not be
* changed.
*/
ir_node **get_irn_in(const ir_node *node);
-/**
- * The amount of additional space for custom data to be allocated upon creating a new node.
- */
-extern unsigned firm_add_node_size;
-
-/**
- * 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(unsigned 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(unsigned code, ir_op_ops *ops);
-
-/**
- * Returns an array with the predecessors of the Block. Depending on
- * the implementation of the graph data structure this can be a copy of
- * the internal representation of predecessors as well as the internal
- * array itself. Therefore writing to this array might obstruct the IR.
- */
-ir_node **get_Block_cfgpred_arr(ir_node *node);
-
/*-------------------------------------------------------------------*/
/* These function are most used in libfirm. Give them as static */
/* functions so they can be inlined. */
return (get_kind(thing) == k_ir_node);
}
+static inline unsigned get_irn_idx_(const ir_node *node)
+{
+ return node->node_idx;
+}
+
/**
* Gets the op of a node.
* Intern version for libFirm.
*/
static inline ir_op *get_irn_op_(const ir_node *node)
{
- assert(node);
return node->op;
}
static inline void set_irn_op_(ir_node *node, ir_op *op)
{
- assert(node);
node->op = op;
}
static inline unsigned get_irn_opcode_(const ir_node *node)
{
assert(k_ir_node == get_kind(node));
- assert(node->op);
return node->op->code;
}
return (int)(ARR_LEN(node->in) - 1);
}
+/* forward decl... */
+#define is_Id(node) is_Id_(node)
+static inline int is_Id_(const ir_node *node);
+
/**
* Intern version for libFirm.
*/
assert(-1 <= n && n < get_irn_arity_(node));
nn = node->in[n + 1];
- if (nn->op != op_Id) return nn;
+ if (!is_Id(nn)) return nn;
return (node->in[n + 1] = skip_Id(nn));
}
+/* include generated code */
+#include "gen_irnode.h"
+
/**
* returns a hash value for a node
*/
static inline ir_node *get_irn_dep_(const ir_node *node, int pos)
{
- assert(node->deps && "dependency array node yet allocated. use add_irn_dep()");
assert(pos >= 0 && pos < (int)ARR_LEN(node->deps) && "dependency index out of range");
return node->deps[pos];
}
/* forward declaration outside iredges_t.h to avoid circular include problems */
void edges_notify_edge_kind(ir_node *src, int pos, ir_node *tgt, ir_node *old_tgt, ir_edge_kind_t kind, ir_graph *irg);
-static inline void set_irn_dep_(ir_node *node, int pos, ir_node *dep)
-{
- ir_node *old;
-
- assert(node->deps && "dependency array node yet allocated. use add_irn_dep()");
- assert(pos >= 0 && pos < (int)ARR_LEN(node->deps) && "dependency index out of range");
- old = node->deps[pos];
- node->deps[pos] = dep;
- edges_notify_edge_kind(node, pos, dep, old, EDGE_KIND_DEP, get_irn_irg(node));
-}
-
-
static inline int get_irn_ins_or_deps_(const ir_node *irn)
{
return get_irn_deps_(irn) + get_irn_arity_(irn);
*/
static inline ir_mode *get_irn_mode_(const ir_node *node)
{
- assert(node);
return node->mode;
}
*/
static inline void set_irn_mode_(ir_node *node, ir_mode *mode)
{
- assert(node);
node->mode = mode;
}
return is_Block(node) || is_Bad(node) || is_Anchor(node);
}
+static inline ir_node *get_nodes_block_(const ir_node *node)
+{
+ assert(!is_Block(node));
+ return get_irn_n(node, -1);
+}
+
static inline ir_graph *get_irn_irg_(const ir_node *node)
{
- /*
- * Do not use get_nodes_block() here, because this
- * will check the pinned state.
- * However even a 'wrong' block is always in the proper irg.
- */
if (! is_Block(node))
- node = get_irn_n(node, -1);
+ node = get_nodes_block(node);
assert(ir_has_irg_ref(node));
return node->attr.irg.irg;
}
-static inline ir_node *get_nodes_block_(const ir_node *node)
-{
- assert(!is_Block(node));
- return get_irn_n(node, -1);
-}
-
/**
* Gets the visited counter of a node.
* Intern version for libFirm.
*/
static inline ir_visited_t get_irn_visited_(const ir_node *node)
{
- assert(node);
return node->visited;
}
*/
static inline void set_irn_visited_(ir_node *node, ir_visited_t visited)
{
- assert(node);
node->visited = visited;
}
*/
static inline void set_irn_link_(ir_node *node, void *link)
{
- assert(node);
node->link = link;
}
*/
static inline void *get_irn_link_(const ir_node *node)
{
- assert(node && is_ir_node_(node));
+ assert(is_ir_node_(node));
return node->link;
}
static inline op_pin_state get_irn_pinned_(const ir_node *node)
{
op_pin_state state;
- assert(node && is_ir_node_(node));
+ assert(is_ir_node_(node));
/* Check opcode */
state = get_op_pinned_(get_irn_op_(node));
return op_pin_state_pinned;
}
-/* include generated code */
-#include "gen_irnode.h"
-
static inline int is_unop_(const ir_node *node)
{
- assert(node && is_ir_node_(node));
+ assert(is_ir_node_(node));
return (node->op->opar == oparity_unary);
}
static inline int is_binop_(const ir_node *node)
{
- assert(node && is_ir_node_(node));
+ assert(is_ir_node_(node));
return (node->op->opar == oparity_binary);
}
-static inline int is_strictConv_(const ir_node *node)
-{
- return is_Conv_(node) && get_Conv_strict(node);
-}
-
static inline int is_SymConst_addr_ent_(const ir_node *node)
{
return is_SymConst(node) && get_SymConst_kind(node) == symconst_addr_ent;
}
-static inline int get_Block_n_cfgpreds_(const ir_node *node)
-{
- assert(is_Block_(node));
- return get_irn_arity_(node);
-}
-
-static inline ir_node *get_Block_cfgpred_(const ir_node *node, int pos)
-{
- assert(is_Block_(node));
- return get_irn_n_(node, pos);
-}
-
-/* Get the predecessor block.
+/**
+ * Get the predecessor block.
*
- * Returns the block corresponding to the predecessor pos.
+ * Returns the block corresponding to the predecessor pos.
*
- * There are several ambiguities we resolve with this function:
- * - The direct predecessor can be a Proj, which is not pinned.
- * We walk from the predecessor to the next pinned node
- * (skip_Proj) and return the block that node is in.
- * - If we encounter the Bad node, this function does not return
- * the Start block, but the Bad node.
+ * If we encounter the Bad node, this function does not return the Start block,
+ * but the Bad node.
*/
static inline ir_node *get_Block_cfgpred_block_(const ir_node *node, int pos)
{
ir_graph *irg = get_irn_irg(node);
return new_r_Bad(irg, mode_BB);
} else {
- return get_nodes_block(skip_Proj(res));
+ return get_nodes_block(res);
}
}
node->attr.block.block_visited = visit;
}
+static inline ir_graph *get_Block_irg_(const ir_node *block)
+{
+ assert(is_Block(block));
+ return block->attr.irg.irg;
+}
+
static inline void mark_Block_block_visited_(ir_node *node)
{
ir_graph *irg = get_Block_irg(node);
return node->attr.block.block_visited >= get_irg_block_visited(irg);
}
-static inline ir_graph *get_Block_irg_(const ir_node *block)
-{
- assert(is_Block(block));
- return block->attr.irg.irg;
-}
-
-static inline ir_tarval *get_Const_tarval_(const ir_node *node)
-{
- assert(get_irn_op_(node) == op_Const);
- return node->attr.con.tarval;
-}
-
static inline int is_Const_null_(const ir_node *node)
{
return tarval_is_null(get_Const_tarval_(node));
return is_op_constlike(get_irn_op_(node));
}
-static inline int is_irn_always_opt_(const ir_node *node)
-{
- return is_op_always_opt(get_irn_op_(node));
-}
-
static inline int is_irn_keep_(const ir_node *node)
{
return is_op_keep(get_irn_op_(node));
return is_op_start_block_placed(get_irn_op_(node));
}
-static inline int is_irn_machine_op_(const ir_node *node)
-{
- return is_op_machine(get_irn_op_(node));
-}
-
-static inline int is_irn_machine_operand_(const ir_node *node)
-{
- return is_op_machine_operand(get_irn_op_(node));
-}
-
-static inline int is_irn_machine_user_(const ir_node *node, unsigned n)
-{
- return is_op_machine_user(get_irn_op_(node), n);
-}
-
static inline int is_irn_cse_neutral_(const ir_node *node)
{
return is_op_cse_neutral(get_irn_op_(node));
}
-static inline cond_jmp_predicate get_Cond_jmp_pred_(const ir_node *node)
-{
- assert(get_irn_op_(node) == op_Cond);
- return node->attr.cond.jmp_pred;
-}
-
-static inline void set_Cond_jmp_pred_(ir_node *node, cond_jmp_predicate pred)
-{
- assert(get_irn_op_(node) == op_Cond);
- node->attr.cond.jmp_pred = pred;
-}
-
static inline void *get_irn_generic_attr_(ir_node *node)
{
return &node->attr;
return &node->attr;
}
-static inline unsigned get_irn_idx_(const ir_node *node)
-{
- return node->node_idx;
-}
-
static inline dbg_info *get_irn_dbg_info_(const ir_node *n)
{
return n->dbi;
return &table->entries[entry];
}
-/** initialize ir_node module */
-void init_irnode(void);
-
-/* this section MUST contain all inline functions */
-#define is_ir_node(thing) is_ir_node_(thing)
-#define get_irn_arity(node) get_irn_arity_(node)
-#define get_irn_n(node, n) get_irn_n_(node, n)
-#define get_irn_mode(node) get_irn_mode_(node)
-#define set_irn_mode(node, mode) set_irn_mode_(node, mode)
-#define get_irn_irg(node) get_irn_irg_(node)
-#define get_nodes_block(node) get_nodes_block_(node)
-#define get_irn_op(node) get_irn_op_(node)
-#define set_irn_op(node, op) set_irn_op_(node, op)
-#define get_irn_opcode(node) get_irn_opcode_(node)
-#define get_irn_visited(node) get_irn_visited_(node)
-#define set_irn_visited(node, v) set_irn_visited_(node, v)
-#define mark_irn_visited(node) mark_irn_visited_(node)
-#define irn_visited(node) irn_visited_(node)
-#define irn_visited_else_mark(node) irn_visited_else_mark_(node)
-#define set_irn_link(node, link) set_irn_link_(node, link)
-#define get_irn_link(node) get_irn_link_(node)
-#define get_irn_pinned(node) get_irn_pinned_(node)
-#define is_irn_pinned_in_irg(node) is_irn_pinned_in_irg_(node)
-#define is_unop(node) is_unop_(node)
-#define is_binop(node) is_binop_(node)
-#define is_Proj(node) is_Proj_(node)
-#define is_Phi(node) is_Phi_(node)
-#define is_strictConv(node) is_strictConv_(node)
-#define is_SymConst_addr_ent(node) is_SymConst_addr_ent_(node)
-#define get_Block_n_cfgpreds(node) get_Block_n_cfgpreds_(node)
-#define get_Block_cfgpred(node, pos) get_Block_cfgpred_(node, pos)
-#define get_Block_cfgpred_block(node, pos) get_Block_cfgpred_block_(node, pos)
-#define get_Block_block_visited(node) get_Block_block_visited_(node)
-#define set_Block_block_visited(node, visit) set_Block_block_visited_(node, visit)
-#define mark_Block_block_visited(node) mark_Block_block_visited_(node)
-#define Block_block_visited(node) Block_block_visited_(node)
-#define get_Block_irg(block) get_Block_irg_(block)
-#define get_Const_tarval(node) get_Const_tarval_(node)
-#define is_Const_null(node) is_Const_null_(node)
-#define is_Const_one(node) is_Const_one_(node)
-#define is_Const_all_one(node) is_Const_all_one_(node)
-#define is_irn_forking(node) is_irn_forking_(node)
-#define copy_node_attr(irg,oldn,newn) copy_node_attr_(irg,oldn,newn)
-#define get_irn_type(node) get_irn_type_(node)
-#define get_irn_type_attr(node) get_irn_type_attr_(node)
-#define get_irn_entity_attr(node) get_irn_entity_attr_(node)
-#define is_irn_constlike(node) is_irn_constlike_(node)
-#define is_irn_always_opt(node) is_irn_always_opt_(node)
-#define is_irn_keep(node) is_irn_keep_(node)
-#define is_irn_start_block_placed(node) is_irn_start_block_placed_(node)
-#define is_irn_machine_op(node) is_irn_machine_op_(node)
-#define is_irn_machine_operand(node) is_irn_machine_operand_(node)
-#define is_irn_machine_user(node, n) is_irn_machine_user_(node, n)
-#define is_irn_cse_neutral(node) is_irn_cse_neutral_(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)
-#define get_irn_generic_attr(node) get_irn_generic_attr_(node)
-#define get_irn_generic_attr_const(node) get_irn_generic_attr_const_(node)
-#define get_irn_idx(node) get_irn_idx_(node)
-
-#define get_irn_deps(node) get_irn_deps_(node)
-#define set_irn_dep(node, pos, dep) set_irn_dep_(node, pos, dep)
-#define get_irn_dep(node, pos) get_irn_dep_(node, pos)
-
-#define get_irn_ins_or_deps(node) get_irn_ins_or_deps_(node)
-#define get_irn_in_or_dep(node, pos) get_irn_in_or_dep_(node, pos)
-
-#define get_irn_dbg_info(node) get_irn_dbg_info_(node)
-#define set_irn_dbg_info(node, db) set_irn_dbg_info_(node, db)
-
-#define set_Block_phis(block, phi) set_Block_phis_(block, phi)
-#define get_Block_phis(block) get_Block_phis_(block)
-#define add_Block_phi(block, phi) add_Block_phi_(block, phi)
-#define get_Block_mark(block) get_Block_mark_(block)
-#define set_Block_mark(block, mark) set_Block_mark_(block, mark)
-
-#define set_Phi_next(node, phi) set_Phi_next_(node, phi)
-#define get_Phi_next(node) get_Phi_next_(node)
+void ir_register_getter_ops(void);
-#define is_arg_Proj(node) is_arg_Proj_(node)
-#define ir_switch_table_get_n_entries(table) ir_switch_table_get_n_entries_(table)
+/**
+ * because firm keepalive edges are a broken concept, we have to make sure that
+ * nodes which are only held by a keepalive edges are never moved again.
+ * This function returns true in this case.
+ */
+bool only_used_by_keepalive(const ir_node *node);
#endif