X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firnode.h;h=a3f20b18f777f4e9ac478db461576453d1080963;hb=0c2e8bedc56cb9dba9b2544927a8093ddb7ee614;hp=f92428bda7e410c18ce5ceccb0b62cb417ba8276;hpb=20f9f8abca7d902c432848500fd8a31822db0658;p=libfirm diff --git a/include/libfirm/irnode.h b/include/libfirm/irnode.h index f92428bda..a3f20b18f 100644 --- a/include/libfirm/irnode.h +++ b/include/libfirm/irnode.h @@ -35,8 +35,6 @@ #include "begin.h" #include "nodeops.h" -ENUM_BITSET(pn_Cmp) - /** * @defgroup ir_node Declarations of an ir node. * @@ -164,7 +162,7 @@ FIRM_API unsigned get_irn_opcode(const ir_node *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); @@ -255,12 +253,6 @@ FIRM_API void set_nodes_block (ir_node *node, ir_node *block); * 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. */ @@ -306,13 +298,6 @@ FIRM_API void set_Block_matured(ir_node *block, int matured); 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); @@ -370,7 +355,7 @@ FIRM_API void remove_End_Bads_and_doublets(ir_node *end); FIRM_API void free_End(ir_node *end); 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); @@ -429,7 +414,7 @@ FIRM_API void set_Sel_index(ir_node *node, int pos, ir_node *index); 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. */ @@ -459,13 +444,13 @@ FIRM_API int is_self_recursive_Call(const ir_node *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_param_arr(ir_node *node); @@ -482,7 +467,7 @@ 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); @@ -493,17 +478,35 @@ FIRM_API void set_binop_left(ir_node *node, ir_node *left); FIRM_API ir_node *get_binop_right(const ir_node *node); FIRM_API void set_binop_right(ir_node *node, ir_node *right); -/** returns the pnc name from an pnc constant */ -FIRM_API const char *get_pnc_string(int pnc); +/** + * 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 int is_x_regular_Proj(const ir_node *node); + +/** + * Set throws exception attribute of a fragile node + * @p throws_exception must be 0 or 1 + */ +FIRM_API void ir_set_throws_exception(ir_node *node, int throws_exception); + +/** + * Returns throws_exception attribute of a fragile node + */ +FIRM_API int ir_throws_exception(const ir_node *node); -/** Calculates the negated (Complement(R)) pnc condition. */ -FIRM_API pn_Cmp get_negated_pnc(long pnc, ir_mode *mode); +/** returns the name of an ir_relation */ +FIRM_API const char *get_relation_string(ir_relation relation); -/** Calculates the inversed (R^-1) pnc condition, i.e., "<" --> ">" */ -FIRM_API pn_Cmp get_inversed_pnc(long pnc); +/** Calculates the negated (Complement(R)) relation, i.e. "<" --> ">=" */ +FIRM_API ir_relation get_negated_relation(ir_relation relation); -/** An alternative name for get_inversed_pnc() that can be better memorized. */ -#define get_mirrored_pnc(pnc) get_inversed_pnc(pnc) +/** Calculates the inversed (R^-1) relation, i.e., "<" --> ">" */ +FIRM_API ir_relation get_inversed_relation(ir_relation relation); /** Checks for upcast. * @@ -550,27 +553,12 @@ FIRM_API void set_memop_mem(ir_node *node, ir_node *mem); 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_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_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_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); -/** 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); -FIRM_API pn_Cmp get_Proj_pn_cmp(const ir_node*); - /** * Returns non-zero if a node is a routine parameter. * @@ -617,15 +605,16 @@ FIRM_API ir_node *skip_HighLevel_ops(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. */