#include "irop.h"
#include "irmode.h"
#include "begin.h"
+#include "nodeops.h"
/**
* @defgroup ir_node Declarations of an ir node.
* @{
*/
-/**
- * Some projection numbers must be always equal to support automatic phi construction
- */
-enum pn_generic {
- pn_Generic_M = 0, /**< The memory result. */
- pn_Generic_X_regular = 1, /**< Execution result if no exception occurred. */
- pn_Generic_X_except = 2, /**< The control flow result branching to the exception handler */
- pn_Generic_other = 3 /**< First free projection number */
-};
-
-/* include projnumber enums generated by specification */
-#include "projnumbers.h"
-
/**
* Checks whether a pointer points to a ir node.
*
FIRM_API void set_irn_mode(ir_node *node, ir_mode *mode);
/** Gets the mode struct of a node. */
FIRM_API ir_mode *get_irn_mode(const ir_node *node);
-/** Gets the ident for a string representation of the mode .*/
-FIRM_API ident *get_irn_modeident(const ir_node *node);
-/** Gets the string representation of the mode .*/
-FIRM_API const char *get_irn_modename(const ir_node *node);
/** Gets the opcode struct of the node. */
FIRM_API ir_op *get_irn_op(const ir_node *node);
/** Sets the opcode struct of the node. */
FIRM_API const char *get_irn_opname(const ir_node *node);
/** Get the ident for a string representation of the opcode. */
FIRM_API ident *get_irn_opident(const ir_node *node);
-/** If arg is an argument of the node, returns it's position, -1 otherwise */
+/** If arg is an argument of the node, returns its position, -1 otherwise */
FIRM_API int get_irn_pred_pos(ir_node *node, ir_node *arg);
/** Gets the visited counter of a node. */
FIRM_API ir_visited_t get_irn_visited(const ir_node *node);
*/
FIRM_API ir_node *new_ir_node(dbg_info *db, ir_graph *irg, ir_node *block,
ir_op *op, ir_mode *mode,
- int arity, ir_node *in[]);
+ int arity, ir_node *const *in);
/**
* Return the block the node belongs to. This is only
/** Sets the Block of a node. */
FIRM_API void set_nodes_block (ir_node *node, ir_node *block);
-/**
- * Return the MacroBlock the node belongs to. This is only
- * possible for pinned nodes or if the graph is in pinned state.
- * Otherwise the MacroBlock may be incorrect. This condition is
- * now checked by an assertion.
- *
- * This works for all except Block. It can return Blocks or the Bad node.
- *
- * To express the difference to access routines that work for all
- * nodes we use infix "nodes" and do not name this function
- * get_irn_MacroBlock(). */
-FIRM_API ir_node *get_nodes_MacroBlock(const ir_node *node);
-
/** Test whether arbitrary node is frame pointer.
*
* Test whether arbitrary node is frame pointer, i.e. Proj(pn_Start_P_frame_base)
* from Start. If so returns frame type, else Null. */
FIRM_API ir_type *is_frame_pointer(const ir_node *n);
-/** Test whether arbitrary node is the thread local storage (tls) pointer.
- *
- * Test whether arbitrary node is tls pointer, i.e. Proj(pn_Start_P_tls)
- * from Start. If so returns tls type, else Null. */
-FIRM_API ir_type *is_tls_pointer(const ir_node *n);
-
/** Return the number of control flow predecessors of a block. */
FIRM_API int get_Block_n_cfgpreds(const ir_node *block);
/** Return the control flow predecessor of a block at a given position. */
FIRM_API ir_visited_t get_Block_block_visited(const ir_node *block);
FIRM_API void set_Block_block_visited(ir_node *block, ir_visited_t visit);
-/**
- * Marks a block as dead but do not replace it with a Bad node.
- * Dead blocks are removed in the con
- */
-FIRM_API ir_node *set_Block_dead(ir_node *block);
-FIRM_API int is_Block_dead(const ir_node *block);
-
/* For this current_ir_graph must be set. */
FIRM_API void mark_Block_block_visited(ir_node *node);
FIRM_API int Block_block_visited(const ir_node *node);
FIRM_API ir_extblk *get_Block_extbb(const ir_node *block);
/** Sets the extended basic block a block belongs to. */
FIRM_API void set_Block_extbb(ir_node *block, ir_extblk *extblk);
-/** Get the Macro Block header of a (sub-) block. */
-FIRM_API ir_node *get_Block_MacroBlock(const ir_node *block);
-/** Set the Macro Block header of a (sub-) block. */
-FIRM_API void set_Block_MacroBlock(ir_node *block, ir_node *mbh);
-/** Get the Macro Block header of a node. */
-FIRM_API ir_node *get_irn_MacroBlock(const ir_node *n);
/** Returns the ir_graph this Block belongs to. */
FIRM_API ir_graph *get_Block_irg(const ir_node *block);
/** Returns non-zero if the block has an entity assigned */
free_End() frees these data structures. */
FIRM_API void free_End(ir_node *end);
-/** Return the target address of an IJmp */
-FIRM_API ir_node *get_IJmp_target(const ir_node *ijmp);
-/** Sets the target address of an IJmp */
-FIRM_API void set_IJmp_target(ir_node *ijmp, ir_node *tgt);
-
-FIRM_API ir_node *get_Cond_selector(const ir_node *node);
-FIRM_API void set_Cond_selector(ir_node *node, ir_node *selector);
-FIRM_API long get_Cond_default_proj(const ir_node *node);
-FIRM_API void set_Cond_default_proj(ir_node *node, long defproj);
-
-FIRM_API ir_node *get_Return_mem(const ir_node *node);
-FIRM_API void set_Return_mem(ir_node *node, ir_node *mem);
FIRM_API ir_node **get_Return_res_arr(ir_node *node);
-FIRM_API int get_Return_n_ress(const ir_node *node);
+FIRM_API size_t get_Return_n_ress(const ir_node *node);
FIRM_API ir_node *get_Return_res(const ir_node *node, int pos);
FIRM_API void set_Return_res(ir_node *node, int pos, ir_node *res);
-FIRM_API tarval *get_Const_tarval(const ir_node *node);
-FIRM_API void set_Const_tarval(ir_node *node, tarval *con);
-
/** Return non-zero if the given Const node represents the 0 constant. */
FIRM_API int is_Const_null(const ir_node *node);
/** Return non-zero if the given Const node represents the constant with all bits set. */
FIRM_API int is_Const_all_one(const ir_node *node);
-/** Returns the source language type of a Const node.
- * Must be an atomic type. Mode of type must be mode of node.
- */
-FIRM_API ir_type *get_Const_type(const ir_node *node);
+/** Returns true if a node is a Conv node with strict attribute set. */
+FIRM_API int is_strictConv(const ir_node *node);
-/** Sets the source language type of a Const node. */
-FIRM_API void set_Const_type(ir_node *node, ir_type *tp);
+/** Returns true if node is a SymConst node with kind symconst_addr_ent. */
+FIRM_API int is_SymConst_addr_ent(const ir_node *node);
/** Returns non-zero if s symconst kind has a type attribute */
#define SYMCONST_HAS_TYPE(kind) ((kind) <= symconst_type_align)
FIRM_API void set_SymConst_symbol(ir_node *node,
union symconst_symbol sym);
-/** Access the type of the value represented by the SymConst.
- *
- * Example: primitive type int for SymConst size. */
-FIRM_API ir_type *get_SymConst_value_type(const ir_node *node);
-FIRM_API void set_SymConst_value_type(ir_node *node, ir_type *tp);
-
-FIRM_API ir_node *get_Sel_mem(const ir_node *node);
-FIRM_API void set_Sel_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_node *get_Sel_ptr(const ir_node *node);
-FIRM_API void set_Sel_ptr(ir_node *node, ir_node *ptr);
FIRM_API ir_node **get_Sel_index_arr(ir_node *node);
FIRM_API int get_Sel_n_indexs(const ir_node *node);
FIRM_API ir_node *get_Sel_index(const ir_node *node, int pos);
FIRM_API void set_Sel_index(ir_node *node, int pos, ir_node *index);
-FIRM_API ir_entity *get_Sel_entity(const ir_node *node);
-FIRM_API void set_Sel_entity (ir_node *node, ir_entity *ent);
-
-/** Retrieve the memory input of a Call. */
-FIRM_API ir_node *get_Call_mem(const ir_node *node);
-/** Set the memory input of a Call. */
-FIRM_API void set_Call_mem(ir_node *node, ir_node *mem);
-/** Retrieve the call address of a Call. */
-FIRM_API ir_node *get_Call_ptr(const ir_node *node);
-/** Set the call address of a Call. */
-FIRM_API void set_Call_ptr(ir_node *node, ir_node *ptr);
+
FIRM_API ir_node **get_Call_param_arr(ir_node *node);
/** Gets the number of parameters of a call. */
-FIRM_API int get_Call_n_params(const ir_node *node);
+FIRM_API size_t get_Call_n_params(const ir_node *node);
/** Gets the call parameter at position pos. */
FIRM_API ir_node *get_Call_param(const ir_node *node, int pos);
/** Sets the call parameter at position pos. */
FIRM_API void set_Call_param(ir_node *node, int pos, ir_node *param);
-/** Gets the type of a call. */
-FIRM_API ir_type *get_Call_type(const ir_node *node);
-/** Sets the type of a call. */
-FIRM_API void set_Call_type(ir_node *node, ir_type *tp);
-/** Returns non-zero if this call can be a tail-call. */
-FIRM_API unsigned get_Call_tail_call(const ir_node *node);
-/** Sets the tail call attribute. */
-FIRM_API void set_Call_tail_call(ir_node *node, unsigned tail_call);
/**
* Returns non-zero if a Call is surely a self-recursive Call.
* @param node A Call node.
*/
FIRM_API int Call_has_callees(const ir_node *node);
-FIRM_API int get_Call_n_callees(const ir_node *node);
-FIRM_API ir_entity *get_Call_callee(const ir_node *node, int pos);
+FIRM_API size_t get_Call_n_callees(const ir_node *node);
+FIRM_API ir_entity *get_Call_callee(const ir_node *node, size_t pos);
/** Set the full callee array.
*
* The passed array is copied. Assumes current_ir_graph set properly! */
-FIRM_API void set_Call_callee_arr(ir_node *node, const int n, ir_entity **arr);
+FIRM_API void set_Call_callee_arr(ir_node *node, size_t n, ir_entity **arr);
FIRM_API void remove_Call_callee_arr(ir_node *node);
-FIRM_API ir_node *get_Builtin_mem(const ir_node *node);
-FIRM_API void set_Builtin_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_builtin_kind get_Builtin_kind(const ir_node *node);
-FIRM_API void set_Builtin_kind(ir_node *node, ir_builtin_kind kind);
FIRM_API ir_node **get_Builtin_param_arr(ir_node *node);
/** Gets the number of parameters of a Builtin. */
FIRM_API int get_Builtin_n_params(const ir_node *node);
FIRM_API ir_node *get_Builtin_param(const ir_node *node, int pos);
/** Sets the Builtin parameter at position pos. */
FIRM_API void set_Builtin_param(ir_node *node, int pos, ir_node *param);
-/** Gets the type of a builtin. */
-FIRM_API ir_type *get_Builtin_type(const ir_node *node);
-/** Sets the type of a Builtin. */
-FIRM_API void set_Builtin_type(ir_node *node, ir_type *tp);
/** Returns a human readable string for the ir_builtin_kind. */
FIRM_API const char *get_builtin_kind_name(ir_builtin_kind kind);
operands can be factored out. Left is the first, right the
second arithmetic value as listed in tech report 1999-44.
unops are: Minus, Abs, Not, Conv, Cast
- binops are: Add, Sub, Mul, Quot, DivMod, Div, Mod, And, Or, Eor, Shl,
+ binops are: Add, Sub, Mul, Div, Mod, And, Or, Eor, Shl,
Shr, Shrs, Rotl, Cmp */
FIRM_API int is_unop(const ir_node *node);
FIRM_API ir_node *get_unop_op(const ir_node *node);
FIRM_API ir_node *get_binop_right(const ir_node *node);
FIRM_API void set_binop_right(ir_node *node, ir_node *right);
-FIRM_API ir_node *get_Add_left(const ir_node *node);
-FIRM_API void set_Add_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Add_right(const ir_node *node);
-FIRM_API void set_Add_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Sub_left(const ir_node *node);
-FIRM_API void set_Sub_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Sub_right(const ir_node *node);
-FIRM_API void set_Sub_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Minus_op(const ir_node *node);
-FIRM_API void set_Minus_op(ir_node *node, ir_node *op);
-
-FIRM_API ir_node *get_Mul_left(const ir_node *node);
-FIRM_API void set_Mul_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Mul_right(const ir_node *node);
-FIRM_API void set_Mul_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Mulh_left(const ir_node *node);
-FIRM_API void set_Mulh_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Mulh_right(const ir_node *node);
-FIRM_API void set_Mulh_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Quot_left(const ir_node *node);
-FIRM_API void set_Quot_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Quot_right(const ir_node *node);
-FIRM_API void set_Quot_right(ir_node *node, ir_node *right);
-FIRM_API ir_node *get_Quot_mem(const ir_node *node);
-FIRM_API void set_Quot_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_mode *get_Quot_resmode(const ir_node *node);
-FIRM_API void set_Quot_resmode(ir_node *node, ir_mode *mode);
-
-FIRM_API ir_node *get_DivMod_left(const ir_node *node);
-FIRM_API void set_DivMod_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_DivMod_right(const ir_node *node);
-FIRM_API void set_DivMod_right(ir_node *node, ir_node *right);
-FIRM_API ir_node *get_DivMod_mem(const ir_node *node);
-FIRM_API void set_DivMod_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_mode *get_DivMod_resmode(const ir_node *node);
-FIRM_API void set_DivMod_resmode(ir_node *node, ir_mode *mode);
-
-FIRM_API ir_node *get_Div_left(const ir_node *node);
-FIRM_API void set_Div_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Div_right(const ir_node *node);
-FIRM_API void set_Div_right(ir_node *node, ir_node *right);
-FIRM_API ir_node *get_Div_mem(const ir_node *node);
-FIRM_API void set_Div_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_mode *get_Div_resmode(const ir_node *node);
-FIRM_API void set_Div_resmode(ir_node *node, ir_mode *mode);
-FIRM_API int get_Div_no_remainder(const ir_node *node);
-FIRM_API void set_Div_no_remainder(ir_node *node, int no_remainder);
-
-FIRM_API ir_node *get_Mod_left(const ir_node *node);
-FIRM_API void set_Mod_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Mod_right(const ir_node *node);
-FIRM_API void set_Mod_right(ir_node *node, ir_node *right);
-FIRM_API ir_node *get_Mod_mem(const ir_node *node);
-FIRM_API void set_Mod_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_mode *get_Mod_resmode(const ir_node *node);
-FIRM_API void set_Mod_resmode(ir_node *node, ir_mode *mode);
-
-FIRM_API ir_node *get_Abs_op(const ir_node *node);
-FIRM_API void set_Abs_op(ir_node *node, ir_node *op);
-
-FIRM_API ir_node *get_And_left(const ir_node *node);
-FIRM_API void set_And_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_And_right(const ir_node *node);
-FIRM_API void set_And_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Or_left(const ir_node *node);
-FIRM_API void set_Or_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Or_right(const ir_node *node);
-FIRM_API void set_Or_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Eor_left(const ir_node *node);
-FIRM_API void set_Eor_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Eor_right(const ir_node *node);
-FIRM_API void set_Eor_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Not_op(const ir_node *node);
-FIRM_API void set_Not_op(ir_node *node, ir_node *op);
-
-/** returns the pnc name from an pnc constant */
-FIRM_API const char *get_pnc_string(int pnc);
-
-/** Calculates the negated (Complement(R)) pnc condition. */
-FIRM_API pn_Cmp get_negated_pnc(long pnc, ir_mode *mode);
-
-/** Calculates the inversed (R^-1) pnc condition, i.e., "<" --> ">" */
-FIRM_API pn_Cmp get_inversed_pnc(long pnc);
-
-/** An alternative name for get_inversed_pnc() that can be better memorized. */
-#define get_mirrored_pnc(pnc) get_inversed_pnc(pnc)
-
-FIRM_API ir_node *get_Cmp_left(const ir_node *node);
-FIRM_API void set_Cmp_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Cmp_right(const ir_node *node);
-FIRM_API void set_Cmp_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Shl_left(const ir_node *node);
-FIRM_API void set_Shl_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Shl_right(const ir_node *node);
-FIRM_API void set_Shl_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Shr_left(const ir_node *node);
-FIRM_API void set_Shr_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Shr_right(const ir_node *node);
-FIRM_API void set_Shr_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Shrs_left(const ir_node *node);
-FIRM_API void set_Shrs_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Shrs_right(const ir_node *node);
-FIRM_API void set_Shrs_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Rotl_left(const ir_node *node);
-FIRM_API void set_Rotl_left(ir_node *node, ir_node *left);
-FIRM_API ir_node *get_Rotl_right(const ir_node *node);
-FIRM_API void set_Rotl_right(ir_node *node, ir_node *right);
-
-FIRM_API ir_node *get_Conv_op(const ir_node *node);
-FIRM_API void set_Conv_op(ir_node *node, ir_node *op);
-FIRM_API int get_Conv_strict(const ir_node *node);
-FIRM_API void set_Conv_strict(ir_node *node, int flag);
-
-/* Does Cast need a mem operator?
- * Cast should only depend on the type, not on the state of an
- * entity. But: we initialize various fields after Alloc, that
- * are accessed in the cast. This required some precaution, to
- * get the right memory into the Loads generated from the cast.
+/**
+ * Test wether a node is the X_except Proj of a fragile operation
+ */
+FIRM_API int is_x_except_Proj(const ir_node *node);
+
+/**
+ * Test wether a node is the X_regular Proj of a fragile operation
*/
-FIRM_API ir_node *get_Cast_op(const ir_node *node);
-FIRM_API void set_Cast_op(ir_node *node, ir_node *op);
-FIRM_API ir_type *get_Cast_type(const ir_node *node);
-FIRM_API void set_Cast_type(ir_node *node, ir_type *to_tp);
+FIRM_API int is_x_regular_Proj(const ir_node *node);
+
+/** returns the name of an ir_relation */
+FIRM_API const char *get_relation_string(ir_relation relation);
+
+/** Calculates the negated (Complement(R)) relation, i.e. "<" --> ">=" */
+FIRM_API ir_relation get_negated_relation(ir_relation relation);
+
+/** Calculates the inversed (R^-1) relation, i.e., "<" --> ">" */
+FIRM_API ir_relation get_inversed_relation(ir_relation relation);
/** Checks for upcast.
*
*/
FIRM_API int is_Cast_downcast(ir_node *node);
-
-/** Returns true if n is a Phi.
- Returns false if irg is in phase phase_building and the Phi has zero
- predecessors: it's a Phi0. */
-FIRM_API int is_Phi(const ir_node *n);
/** Returns true if irg in phase phase_building and the Phi has zero
predecessors. It's a Phi0 then. */
FIRM_API int is_Phi0(const ir_node *n);
FIRM_API ir_node *get_memop_ptr(const ir_node *node);
FIRM_API void set_memop_ptr(ir_node *node, ir_node *ptr);
-FIRM_API ir_node *get_Load_mem(const ir_node *node);
-FIRM_API void set_Load_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_node *get_Load_ptr(const ir_node *node);
-FIRM_API void set_Load_ptr(ir_node *node, ir_node *ptr);
-FIRM_API ir_mode *get_Load_mode(const ir_node *node);
-FIRM_API void set_Load_mode(ir_node *node, ir_mode *mode);
-FIRM_API ir_volatility get_Load_volatility(const ir_node *node);
-FIRM_API void set_Load_volatility(ir_node *node, ir_volatility volatility);
-FIRM_API ir_align get_Load_align(const ir_node *node);
-FIRM_API void set_Load_align(ir_node *node, ir_align align);
-
-FIRM_API ir_node *get_Store_mem(const ir_node *node);
-FIRM_API void set_Store_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_node *get_Store_ptr(const ir_node *node);
-FIRM_API void set_Store_ptr(ir_node *node, ir_node *ptr);
-FIRM_API ir_node *get_Store_value(const ir_node *node);
-FIRM_API void set_Store_value(ir_node *node, ir_node *value);
-FIRM_API ir_volatility get_Store_volatility(const ir_node *node);
-FIRM_API void set_Store_volatility(ir_node *node, ir_volatility volatility);
-FIRM_API ir_align get_Store_align(const ir_node *node);
-FIRM_API void set_Store_align(ir_node *node, ir_align align);
-
-FIRM_API ir_node *get_Alloc_mem(const ir_node *node);
-FIRM_API void set_Alloc_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_node *get_Alloc_count(const ir_node *node);
-FIRM_API void set_Alloc_count(ir_node *node, ir_node *count);
-FIRM_API ir_type *get_Alloc_type(const ir_node *node);
-FIRM_API void set_Alloc_type(ir_node *node, ir_type *tp);
-
-FIRM_API ir_where_alloc get_Alloc_where(const ir_node *node);
-FIRM_API void set_Alloc_where(ir_node *node, ir_where_alloc where);
-
-FIRM_API ir_node *get_Free_mem(const ir_node *node);
-FIRM_API void set_Free_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_node *get_Free_ptr(const ir_node *node);
-FIRM_API void set_Free_ptr(ir_node *node, ir_node *ptr);
-FIRM_API ir_node *get_Free_size(const ir_node *node);
-FIRM_API void set_Free_size(ir_node *node, ir_node *size);
-FIRM_API ir_type *get_Free_type(const ir_node *node);
-FIRM_API void set_Free_type(ir_node *node, ir_type *tp);
-
-FIRM_API ir_where_alloc get_Free_where(const ir_node *node);
-FIRM_API void set_Free_where(ir_node *node, ir_where_alloc where);
-
FIRM_API ir_node **get_Sync_preds_arr(ir_node *node);
FIRM_API int get_Sync_n_preds(const ir_node *node);
FIRM_API ir_node *get_Sync_pred(const ir_node *node, int pos);
FIRM_API void set_Sync_pred(ir_node *node, int pos, ir_node *pred);
FIRM_API void add_Sync_pred(ir_node *node, ir_node *pred);
-/** Returns the source language type of a Proj node.
- * Must be an atomic type. Mode of type must be mode of node.
- */
-FIRM_API ir_type *get_Proj_type(const ir_node *node);
-
-/** Return the predecessor of a Proj node. */
-FIRM_API ir_node *get_Proj_pred(const ir_node *node);
-FIRM_API void set_Proj_pred(ir_node *node, ir_node *pred);
-/** Return the projection number of a Proj node. */
-FIRM_API long get_Proj_proj(const ir_node *node);
-FIRM_API void set_Proj_proj(ir_node *node, long proj);
-
/**
* Returns non-zero if a node is a routine parameter.
*
FIRM_API ir_node *get_Tuple_pred(const ir_node *node, int pos);
FIRM_API void set_Tuple_pred(ir_node *node, int pos, ir_node *pred);
-FIRM_API ir_node *get_Id_pred(const ir_node *node);
-FIRM_API void set_Id_pred(ir_node *node, ir_node *pred);
-
-/** Confirm has a single result and returns 'value' unchanged.
- * The node expresses a restriction on 'value':
- * 'value' 'cmp' 'bound' == true. */
-FIRM_API ir_node *get_Confirm_value(const ir_node *node);
-FIRM_API void set_Confirm_value(ir_node *node, ir_node *value);
-FIRM_API ir_node *get_Confirm_bound(const ir_node *node);
-FIRM_API void set_Confirm_bound(ir_node *node, ir_node *bound);
-FIRM_API pn_Cmp get_Confirm_cmp(const ir_node *node);
-FIRM_API void set_Confirm_cmp(ir_node *node, pn_Cmp cmp);
-
-/*
- * Mux Support
- */
-FIRM_API ir_node *get_Mux_sel(const ir_node *node);
-FIRM_API void set_Mux_sel(ir_node *node, ir_node *sel);
-FIRM_API ir_node *get_Mux_false(const ir_node *node);
-FIRM_API void set_Mux_false(ir_node *node, ir_node *ir_false);
-FIRM_API ir_node *get_Mux_true(const ir_node *node);
-FIRM_API void set_Mux_true(ir_node *node, ir_node *ir_true);
-
-FIRM_API ir_node *get_CopyB_mem(const ir_node *node);
-FIRM_API void set_CopyB_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_node *get_CopyB_dst(const ir_node *node);
-FIRM_API void set_CopyB_dst(ir_node *node, ir_node *dst);
-FIRM_API ir_node *get_CopyB_src(const ir_node *node);
-FIRM_API void set_CopyB_src(ir_node *node, ir_node *src);
-FIRM_API ir_type *get_CopyB_type(const ir_node *node);
-FIRM_API void set_CopyB_type(ir_node *node, ir_type *data_type);
-
-/** InstOf access. */
-FIRM_API ir_type *get_InstOf_type(const ir_node *node);
-FIRM_API void set_InstOf_type(ir_node *node, ir_type *type);
-FIRM_API ir_node *get_InstOf_store(const ir_node *node);
-FIRM_API void set_InstOf_store(ir_node *node, ir_node *obj);
-FIRM_API ir_node *get_InstOf_obj(const ir_node *node);
-FIRM_API void set_InstOf_obj(ir_node *node, ir_node *obj);
-
-FIRM_API ir_node *get_Raise_mem(const ir_node *node);
-FIRM_API void set_Raise_mem(ir_node *node, ir_node *mem);
-FIRM_API ir_node *get_Raise_exo_ptr(const ir_node *node); /* PoinTeR to EXception Object */
-FIRM_API void set_Raise_exo_ptr(ir_node *node, ir_node *exoptr);
-
-/** Returns the memory input of a Bound operation. */
-FIRM_API ir_node *get_Bound_mem(const ir_node *bound);
-FIRM_API void set_Bound_mem(ir_node *bound, ir_node *mem);
-
-/** Returns the index input of a Bound operation. */
-FIRM_API ir_node *get_Bound_index(const ir_node *bound);
-FIRM_API void set_Bound_index(ir_node *bound, ir_node *idx);
-
-/** Returns the lower bound input of a Bound operation. */
-FIRM_API ir_node *get_Bound_lower(const ir_node *bound);
-FIRM_API void set_Bound_lower(ir_node *bound, ir_node *lower);
-
-/** Returns the upper bound input of a Bound operation. */
-FIRM_API ir_node *get_Bound_upper(const ir_node *bound);
-FIRM_API void set_Bound_upper(ir_node *bound, ir_node *upper);
-
-/** Return the operand of a Pin node. */
-FIRM_API ir_node *get_Pin_op(const ir_node *pin);
-FIRM_API void set_Pin_op(ir_node *pin, ir_node *node);
-
-/** Return the assembler text of an ASM pseudo node. */
-FIRM_API ident *get_ASM_text(const ir_node *node);
-/** Set assembler text of ASM node */
-FIRM_API void set_ASM_text(ir_node *node, ident *text);
/** Return the number of input constraints for an ASM node. */
FIRM_API int get_ASM_n_input_constraints(const ir_node *node);
-/** Return the input constraints for an ASM node. */
-FIRM_API ir_asm_constraint *get_ASM_input_constraints(const ir_node *node);
-/** Set input constraints for ASM node. */
-FIRM_API void set_ASM_input_constraints(ir_node *node, ir_asm_constraint *constraints);
/** Return the number of output constraints for an ASM node. */
FIRM_API int get_ASM_n_output_constraints(const ir_node *node);
-/** Return the output constraints for an ASM node. */
-FIRM_API ir_asm_constraint *get_ASM_output_constraints(const ir_node *node);
-/** Set output constraints for ASM node. (note: has to be a firm array) */
-FIRM_API void set_ASM_output_constraints(ir_node *node, ir_asm_constraint *constraints);
/** Return the number of clobbered registers for an ASM node. */
FIRM_API int get_ASM_n_clobbers(const ir_node *node);
-/** Return the list of clobbered registers for an ASM node. */
-FIRM_API ident **get_ASM_clobbers(const ir_node *node);
-/** Set list of clobbered register for ASM node (note: has to be a firm
- * array) */
-FIRM_API void set_ASM_clobbers(ir_node *node, ident **clobbers);
/*
*
FIRM_API ir_node *skip_Confirm(ir_node *node);
/** Skip all high-level Operations (including Cast, Confirm). */
FIRM_API ir_node *skip_HighLevel_ops(ir_node *node);
-/** Returns true if irn is a Const node. */
-FIRM_API int is_Const(const ir_node *node);
-/** Returns true if a node is a Conv node. */
-FIRM_API int is_Conv(const ir_node *node);
-/** Returns true if a node is a strictConv node. */
-FIRM_API int is_strictConv(const ir_node *node);
-/** Returns true if a node is a Cast node. */
-FIRM_API int is_Cast(const ir_node *node);
-/** Returns true if node is a Bad node. */
-FIRM_API int is_Bad(const ir_node *node);
-/** Returns true if node is a NoMem node. */
-FIRM_API int is_NoMem(const ir_node *node);
-/** Returns true if node is a Start node. */
-FIRM_API int is_Start(const ir_node *node);
-/** Returns true if node is an End node. */
-FIRM_API int is_End(const ir_node *node);
-/** Returns true if node is a Minus node. */
-FIRM_API int is_Minus(const ir_node *node);
-/** Returns true if node is a Abs node. */
-FIRM_API int is_Abs(const ir_node *node);
-/** Returns true if node is a Mod node. */
-FIRM_API int is_Mod(const ir_node *node);
-/** Returns true if node is a Div node. */
-FIRM_API int is_Div(const ir_node *node);
-/** Returns true if node is a DivMod node. */
-FIRM_API int is_DivMod(const ir_node *node);
-/** Returns true if node is a Quot node. */
-FIRM_API int is_Quot(const ir_node *node);
-/** Returns true if node is an Add node. */
-FIRM_API int is_Add(const ir_node *node);
-/** Returns true if node is an And node. */
-FIRM_API int is_And(const ir_node *node);
-/** Returns true if node is an Or node. */
-FIRM_API int is_Or(const ir_node *node);
-/** Returns true if node is an Eor node. */
-FIRM_API int is_Eor(const ir_node *node);
-/** Returns true if node is a Sub node. */
-FIRM_API int is_Sub(const ir_node *node);
-/** Returns true if node is a Not node. */
-FIRM_API int is_Not(const ir_node *node);
-/** Returns true if node is a Shl node. */
-FIRM_API int is_Shl(const ir_node *node);
-/** Returns true if node is a Shr node. */
-FIRM_API int is_Shr(const ir_node *node);
-/** Returns true if node is a Shrs node. */
-FIRM_API int is_Shrs(const ir_node *node);
-/** Returns true if node is a Rotl node. */
-FIRM_API int is_Rotl(const ir_node *node);
-/** Returns true if node is an Id node. */
-FIRM_API int is_Id(const ir_node *node);
-/** Returns true if node is a Tuple node. */
-FIRM_API int is_Tuple(const ir_node *node);
-/** Returns true if node is a Bound node. */
-FIRM_API int is_Bound(const ir_node *node);
-/** Returns true if the node is a Block */
-FIRM_API int is_Block(const ir_node *node);
-/** Returns true if node is an Unknown node. */
-FIRM_API int is_Unknown(const ir_node *node);
-/** Returns true if node is a Return node. */
-FIRM_API int is_Return(const ir_node *node);
-/** Returns true if node is a Call node. */
-FIRM_API int is_Call(const ir_node *node);
-/** Returns true if node is a Builtin node. */
-FIRM_API int is_Builtin(const ir_node *node);
-/** Returns true if node is a Sel node. */
-FIRM_API int is_Sel(const ir_node *node);
-/** Returns true if node is a Mul node. */
-FIRM_API int is_Mul(const ir_node *node);
-/** Returns true if node is a Mulh node. */
-FIRM_API int is_Mulh(const ir_node *node);
-/** Returns true if node is a Mux node. */
-FIRM_API int is_Mux(const ir_node *node);
-/** Returns true if node is a Load node. */
-FIRM_API int is_Load(const ir_node *node);
-/** Returns true if node is a Store node. */
-FIRM_API int is_Store(const ir_node *node);
-/** Returns true if node is a Sync node. */
-FIRM_API int is_Sync(const ir_node *node);
-/** Returns true if node is a Confirm node. */
-FIRM_API int is_Confirm(const ir_node *node);
-/** Returns true if node is a Pin node. */
-FIRM_API int is_Pin(const ir_node *node);
-/** Returns true if node is a SymConst node. */
-FIRM_API int is_SymConst(const ir_node *node);
-/** Returns true if node is a SymConst node with kind symconst_addr_ent. */
-FIRM_API int is_SymConst_addr_ent(const ir_node *node);
-/** Returns true if node is a Cond node. */
-FIRM_API int is_Cond(const ir_node *node);
-/** Returns true of node is a CopyB node. */
-FIRM_API int is_CopyB(const ir_node *node);
-/** Returns true if node is a Cmp node. */
-FIRM_API int is_Cmp(const ir_node *node);
-/** Returns true if node is an Alloc node. */
-FIRM_API int is_Alloc(const ir_node *node);
-/** Returns true if node is a Free node. */
-FIRM_API int is_Free(const ir_node *node);
-/** Returns true if a node is a Jmp node. */
-FIRM_API int is_Jmp(const ir_node *node);
-/** Returns true if a node is a IJmp node. */
-FIRM_API int is_IJmp(const ir_node *node);
-/** Returns true if a node is a Raise node. */
-FIRM_API int is_Raise(const ir_node *node);
-/** Returns true if a node is an ASM node. */
-FIRM_API int is_ASM(const ir_node *node);
-/** Returns true if a node is a Dummy node. */
-FIRM_API int is_Dummy(const ir_node *node);
-/** Returns true if a node is an Anchor node */
-FIRM_API int is_Anchor(const ir_node *node);
-/** Returns true if a node is a Break node */
-FIRM_API int is_Break(const ir_node *node);
-/** Returns true if a node is an instff node */
-FIRM_API int is_InstOf(const ir_node *node);
-/** Returns true if node is a Proj node */
-FIRM_API int is_Proj(const ir_node *node);
-
/** Returns true if the operation manipulates control flow:
Start, End, Jmp, Cond, Return, Raise, Bad */
FIRM_API int is_cfop(const ir_node *node);
+/** returns true if the operation jumps to an unknown destination.
+ * See irop_flag_unknown_jump for a detailed explanation */
+FIRM_API int is_unknown_jump(const ir_node *node);
/** Returns true if the operation can change the control flow because
- of an exception: Call, Quot, DivMod, Div, Mod, Load, Store, Alloc,
+ of an exception: Call, Div, Mod, Load, Store, Alloc,
Bad. Raise is not fragile, but a unconditional jump. */
FIRM_API int is_fragile_op(const ir_node *node);
/** Returns the memory operand of fragile operations. */
FIRM_API ir_node *get_fragile_op_mem(ir_node *node);
-/** Returns the result mode of a Div operation. */
-FIRM_API ir_mode *get_divop_resmod(const ir_node *node);
/** Returns true if the operation is a forking control flow
* operation: Cond. */
*/
FIRM_API void copy_node_attr(ir_graph *irg, const ir_node *old_node, ir_node *new_node);
-/** Return the type associated with the value produced by n
- * if the node remarks this type as it is the case for
- * Cast, Const, SymConst and some Proj nodes or unknown_type. */
-FIRM_API ir_type *get_irn_type(ir_node *n);
-
/** Return the type attribute of a node n (SymConst, Call, Alloc, Free,
Cast) or NULL.*/
FIRM_API ir_type *get_irn_type_attr(ir_node *n);
/** Returns non-zero for constant-like nodes. */
FIRM_API int is_irn_constlike(const ir_node *node);
-/**
- * Returns non-zero for nodes that must be always optimized
- * (Phi, Id. Proj, Cond, Block, Confirm ...).
- */
-FIRM_API int is_irn_always_opt(const ir_node *node);
-
/**
* Returns non-zero for nodes that are allowed to have keep-alives and
* are neither Block nor PhiM.
*/
FIRM_API int is_irn_cse_neutral(const ir_node *node);
-/**
- * A type to express conditional jump predictions.
- */
-typedef enum {
- COND_JMP_PRED_NONE, /**< No jump prediction. Default. */
- COND_JMP_PRED_TRUE, /**< The True case is predicted. */
- COND_JMP_PRED_FALSE /**< The False case is predicted. */
-} cond_jmp_predicate;
-
/** Gets the string representation of the jump prediction. */
FIRM_API const char *get_cond_jmp_predicate_name(cond_jmp_predicate pred);
-/** Returns the conditional jump prediction of a Cond node. */
-FIRM_API cond_jmp_predicate get_Cond_jmp_pred(const ir_node *cond);
-
-/** Sets a new conditional jump prediction. */
-FIRM_API void set_Cond_jmp_pred(ir_node *cond, cond_jmp_predicate pred);
-
/** Checks whether a node represents a global address. */
FIRM_API int is_Global(const ir_node *node);