X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firnode.h;h=2cde90439e6dd2b7144b42516adf89e9a7b7f552;hb=e810b4fa9931a8179bdaf868faec21416e6c87fb;hp=be2db692f0ec727b1b3a585faec2a53a4de70107;hpb=58767d60bb224339798ec71ede6986c7f277dc3b;p=libfirm diff --git a/include/libfirm/irnode.h b/include/libfirm/irnode.h index be2db692f..2cde90439 100644 --- a/include/libfirm/irnode.h +++ b/include/libfirm/irnode.h @@ -67,9 +67,14 @@ */ /** - * you can work on the graph without considering the different types - * of nodes, it's just a big graph. + * Some projection numbers must be always equal to support automatic phi construction */ +enum pn_generic { + pn_Generic_M_regular = 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 */ +}; /** * Checks whether a pointer points to a ir node. @@ -278,6 +283,19 @@ ir_node *get_nodes_block (const ir_node *node); /** Sets the Block of a node. */ 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(). */ +ir_node *get_nodes_MacroBlock(const ir_node *node); + /** * @function get_irn_block() * @see get_nodes_block() @@ -329,7 +347,7 @@ int is_value_arg_pointer(ir_node *n); /* @@@ no more supported */ ir_node **get_Block_cfgpred_arr(ir_node *node); int get_Block_n_cfgpreds(const ir_node *node); -ir_node *get_Block_cfgpred(ir_node *node, int pos); +ir_node *get_Block_cfgpred(const ir_node *node, int pos); void set_Block_cfgpred(ir_node *node, int pos, ir_node *pred); /** Get the predecessor block. * @@ -342,8 +360,8 @@ void set_Block_cfgpred(ir_node *node, int pos, ir_node *pred); * - If we encounter the Bad node, this function does not return * Start, but the Bad node. */ -ir_node *get_Block_cfgpred_block(ir_node *node, int pos); -int get_Block_matured(ir_node *node); +ir_node *get_Block_cfgpred_block(const ir_node *node, int pos); +int get_Block_matured(const ir_node *node); void set_Block_matured(ir_node *node, int matured); /** A visited flag only for block nodes. @@ -363,6 +381,7 @@ void mark_Block_block_visited(ir_node *node); int Block_not_block_visited(const ir_node *node); int Block_block_visited(const ir_node *node); +#ifdef INTERPROCEDURAL_VIEW /* Set and remove interprocedural predecessors. If the interprocedural * predecessors are removed, the node has the same predecessors in * both views. @@ -377,6 +396,8 @@ int get_Block_cg_n_cfgpreds(ir_node *node); ir_node *get_Block_cg_cfgpred(ir_node *node, int pos); /** Frees the memory allocated for interprocedural predecessors. */ void remove_Block_cg_cfgpred_arr(ir_node *node); +#endif + /** Returns the extended basic block a block belongs to. */ ir_extblk *get_Block_extbb(const ir_node *block); /** Sets the extended basic block a block belongs to. */ @@ -463,27 +484,17 @@ int get_Return_n_ress(ir_node *node); ir_node *get_Return_res(ir_node *node, int pos); void set_Return_res(ir_node *node, int pos, ir_node *res); -/** - * Possible classes for constant classification. - */ -typedef enum { - CNST_NULL = 0, /**< The node is a const(0). */ - CNST_ONE = +1, /**< The node is a const(1). */ - CNST_ALL_ONE = -1, /**< The node is a const(11111...). */ - CNST_OTHER = 2, /**< The tarval of the const has another value. */ - CNST_SYMCONST = 3, /**< The node is symconst. */ - CNST_NO_CONST = 4 /**< The node is no const at all. */ -} cnst_classify_t; - tarval *get_Const_tarval(const ir_node *node); void set_Const_tarval(ir_node *node, tarval *con); -/** - * Classify a node concerning constant properties. - * @param irn A node to check for. - * @return Constant properties of that node. - */ -cnst_classify_t classify_Const(ir_node *irn); +/** Return non-zero if the given Const node represents the 0 constant. */ +int is_Const_null(const ir_node *node); + +/** Return non-zero if the given Const node represents the 1 constant. */ +int is_Const_one(const ir_node *node); + +/** Return non-zero if the given Const node represents the constant with all bits set. */ +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. @@ -598,15 +609,15 @@ void set_Sel_entity (ir_node *node, ir_entity *ent); * Projection numbers for result of Call node: use for Proj nodes! */ typedef enum { - pn_Call_M_regular = 0, /**< The memory result. */ - pn_Call_X_regular = 1, /**< The control flow result when no exception occurs. */ - pn_Call_X_except = 2, /**< The control flow result branching to the exception handler. */ - pn_Call_T_result = 3, /**< The tuple containing all (0, 1, 2, ...) results. */ - pn_Call_M_except = 4, /**< The memory result in case the called method terminated with - an exception. */ - pn_Call_P_value_res_base = 5,/**< A pointer to the memory region containing copied results - passed by value (for compound result types). */ - pn_Call_max = 6 /**< number of projections from a Call */ + pn_Call_M_regular = pn_Generic_M_regular, /**< The memory result. */ + pn_Call_X_regular = pn_Generic_X_regular, /**< The control flow result when no exception occurs. */ + pn_Call_X_except = pn_Generic_X_except, /**< The control flow result branching to the exception handler. */ + pn_Call_T_result = pn_Generic_other, /**< The tuple containing all (0, 1, 2, ...) results. */ + pn_Call_M_except, /**< The memory result in case the called method terminated with + an exception. */ + pn_Call_P_value_res_base, /**< A pointer to the memory region containing copied results + passed by value (for compound result types). */ + pn_Call_max /**< number of projections from a Call */ } pn_Call; /* Projection numbers for Call. */ #define pn_Call_M pn_Call_M_regular @@ -693,6 +704,11 @@ void set_Mul_left(ir_node *node, ir_node *left); ir_node *get_Mul_right(const ir_node *node); void set_Mul_right(ir_node *node, ir_node *right); +ir_node *get_Mulh_left(const ir_node *node); +void set_Mulh_left(ir_node *node, ir_node *left); +ir_node *get_Mulh_right(const ir_node *node); +void set_Mulh_right(ir_node *node, ir_node *right); + ir_node *get_Quot_left(const ir_node *node); void set_Quot_left(ir_node *node, ir_node *left); ir_node *get_Quot_right(const ir_node *node); @@ -706,11 +722,11 @@ void set_Quot_resmode(ir_node *node, ir_mode *mode); * Projection numbers for Quot: use for Proj nodes! */ typedef enum { - pn_Quot_M, /**< Memory result. */ - pn_Quot_X_regular, /**< Execution result if no exception occurred. */ - pn_Quot_X_except, /**< Execution result if exception occurred. */ - pn_Quot_res, /**< Result of computation. */ - pn_Quot_max /**< number of projections from a Quot */ + pn_Quot_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Quot_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_Quot_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */ + pn_Quot_res = pn_Generic_other, /**< Result of computation. */ + pn_Quot_max /**< number of projections from a Quot */ } pn_Quot; /* Projection numbers for Quot. */ ir_node *get_DivMod_left(const ir_node *node); @@ -726,12 +742,12 @@ void set_DivMod_resmode(ir_node *node, ir_mode *mode); * Projection numbers for DivMod: use for Proj nodes! */ typedef enum { - pn_DivMod_M, /**< Memory result. */ - pn_DivMod_X_regular, /**< Execution result if no exception occurred. */ - pn_DivMod_X_except, /**< Execution result if exception occurred. */ - pn_DivMod_res_div, /**< Result of computation a / b. */ - pn_DivMod_res_mod, /**< Result of computation a % b. */ - pn_DivMod_max /**< number of projections from a DivMod */ + pn_DivMod_M = pn_Generic_M_regular, /**< Memory result. */ + pn_DivMod_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_DivMod_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */ + pn_DivMod_res_div = pn_Generic_other, /**< Result of computation a / b. */ + pn_DivMod_res_mod, /**< Result of computation a % b. */ + pn_DivMod_max /**< number of projections from a DivMod */ } pn_DivMod; /* Projection numbers for DivMod. */ ir_node *get_Div_left(const ir_node *node); @@ -747,11 +763,11 @@ void set_Div_resmode(ir_node *node, ir_mode *mode); * Projection numbers for Div: use for Proj nodes! */ typedef enum { - pn_Div_M, /**< Memory result. */ - pn_Div_X_regular, /**< Execution result if no exception occurred. */ - pn_Div_X_except, /**< Execution result if exception occurred. */ - pn_Div_res, /**< Result of computation. */ - pn_Div_max /**< number of projections from a Div */ + pn_Div_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Div_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_Div_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */ + pn_Div_res = pn_Generic_other, /**< Result of computation. */ + pn_Div_max /**< number of projections from a Div */ } pn_Div; /* Projection numbers for Div. */ ir_node *get_Mod_left(const ir_node *node); @@ -767,11 +783,11 @@ void set_Mod_resmode(ir_node *node, ir_mode *mode); * Projection numbers for Mod: use for Proj nodes! */ typedef enum { - pn_Mod_M, /**< Memory result. */ - pn_Mod_X_regular, /**< Execution result if no exception occurred. */ - pn_Mod_X_except, /**< Execution result if exception occurred. */ - pn_Mod_res, /**< Result of computation. */ - pn_Mod_max /**< number of projections from a Mod */ + pn_Mod_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Mod_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_Mod_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */ + pn_Mod_res = pn_Generic_other, /**< Result of computation. */ + pn_Mod_max /**< number of projections from a Mod */ } pn_Mod; /* Projection numbers for Mod. */ ir_node *get_Abs_op(const ir_node *node); @@ -862,7 +878,7 @@ void set_Rot_right(ir_node *node, ir_node *right); ir_node *get_Conv_op(const ir_node *node); void set_Conv_op(ir_node *node, ir_node *op); -int get_Conv_strict(ir_node *node); +int get_Conv_strict(const ir_node *node); void set_Conv_strict(ir_node *node, int flag); /* Does Cast need a mem operator? @@ -934,11 +950,11 @@ void set_memop_ptr(ir_node *node, ir_node *ptr); * Projection numbers for Load: use for Proj nodes! */ typedef enum { - pn_Load_M, /**< Memory result. */ - pn_Load_X_regular, /**< Execution result if no exception occurred. */ - pn_Load_X_except, /**< Execution result if exception occurred. */ - pn_Load_res, /**< Result of load operation. */ - pn_Load_max /**< number of projections from a Load */ + pn_Load_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Load_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_Load_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */ + pn_Load_res = pn_Generic_other, /**< Result of load operation. */ + pn_Load_max /**< number of projections from a Load */ } pn_Load; /* Projection numbers for Load. */ ir_node *get_Load_mem(ir_node *node); @@ -956,10 +972,10 @@ void set_Load_align(ir_node *node, ir_align align); * Projection numbers for Store: use for Proj nodes! */ typedef enum { - pn_Store_M, /**< Memory result. */ - pn_Store_X_regular, /**< Execution result if no exception occurred. */ - pn_Store_X_except, /**< Execution result if exception occurred. */ - pn_Store_max /**< number of projections from a Store */ + pn_Store_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Store_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_Store_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */ + pn_Store_max = pn_Generic_other /**< number of projections from a Store */ } pn_Store; /* Projection numbers for Store. */ ir_node *get_Store_mem(ir_node *node); @@ -977,11 +993,11 @@ void set_Store_align(ir_node *node, ir_align align); * Projection numbers for Alloc: use for Proj nodes! */ typedef enum { - pn_Alloc_M, /**< Memory result. */ - pn_Alloc_X_regular, /**< Execution result if no exception occurred. */ - pn_Alloc_X_except, /**< Execution result if exception occurred. */ - pn_Alloc_res, /**< Result of allocation. */ - pn_Alloc_max /**< number of projections from an Alloc */ + pn_Alloc_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Alloc_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_Alloc_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */ + pn_Alloc_res = pn_Generic_other, /**< Result of allocation. */ + pn_Alloc_max /**< number of projections from an Alloc */ } pn_Alloc; /* Projection numbers for Alloc. */ ir_node *get_Alloc_mem(ir_node *node); @@ -1071,12 +1087,12 @@ int get_Psi_n_conds(ir_node *node); * Projection numbers for result of CopyB node: use for Proj nodes! */ typedef enum { - pn_CopyB_M_regular = 0, /**< The memory result. */ - pn_CopyB_X_regular = 1, /**< Execution result if no exception occurred. */ - pn_CopyB_X_except = 2, /**< The control flow result branching to the exception handler */ - pn_CopyB_M_except = 3, /**< The memory result in case the runtime function terminated with - an exception */ - pn_CopyB_max = 4 /**< number of projections from a CopyB */ + pn_CopyB_M_regular = pn_Generic_M_regular, /**< The memory result. */ + pn_CopyB_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_CopyB_X_except = pn_Generic_X_except, /**< The control flow result branching to the exception handler */ + pn_CopyB_M_except = pn_Generic_other, /**< The memory result in case the runtime function terminated with + an exception */ + pn_CopyB_max /**< number of projections from a CopyB */ } pn_CopyB; /* Projection numbers for CopyB. */ #define pn_CopyB_M pn_CopyB_M_regular @@ -1093,13 +1109,13 @@ void set_CopyB_type(ir_node *node, ir_type *data_type); * Projection numbers for result of InstOf node: use for Proj nodes! */ typedef enum { - pn_InstOf_M_regular = 0, /**< The memory result. */ - pn_InstOf_X_regular = 1, /**< Execution result if no exception occurred. */ - pn_InstOf_X_except = 2, /**< The control flow result branching to the exception handler */ - pn_InstOf_res = 3, /**< The checked object pointer. */ - pn_InstOf_M_except = 4, /**< The memory result in case the runtime function terminated with - an exception */ - pn_InstOf_max = 5 /**< number of projections from an InstOf */ + pn_InstOf_M_regular = pn_Generic_M_regular, /**< The memory result. */ + pn_InstOf_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_InstOf_X_except = pn_Generic_X_except, /**< The control flow result branching to the exception handler */ + pn_InstOf_res = pn_Generic_other, /**< The checked object pointer. */ + pn_InstOf_M_except, /**< The memory result in case the runtime function terminated with + an exception */ + pn_InstOf_max /**< number of projections from an InstOf */ } pn_InstOf; #define pn_InstOf_M pn_InstOf_M_regular @@ -1129,11 +1145,11 @@ void set_Raise_exo_ptr(ir_node *node, ir_node *exoptr); * Projection numbers for result of Bound node: use for Proj nodes! */ typedef enum { - pn_Bound_M = 0, /**< The memory result. */ - pn_Bound_X_regular = 1, /**< Execution result if no exception occurred. */ - pn_Bound_X_except = 2, /**< The control flow result branching to the exception handler */ - pn_Bound_res = 3, /**< The checked index. */ - pn_Bound_max = 4 /**< number of projections from a Bound */ + pn_Bound_M = pn_Generic_M_regular, /**< The memory result. */ + pn_Bound_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */ + pn_Bound_X_except = pn_Generic_X_except, /**< The control flow result branching to the exception handler */ + pn_Bound_res = pn_Generic_other, /**< The checked index. */ + pn_Bound_max /**< number of projections from a Bound */ } pn_Bound; /** Returns the memory input of a Bound operation. */ @@ -1160,6 +1176,7 @@ void set_Pin_op(ir_node *pin, ir_node *node); typedef struct { unsigned pos; /**< The inputs/output position for this constraint. */ ident *constraint; /**< The constraint for this input/output. */ + ir_mode *mode; /**< The mode of the constraint. */ } ir_asm_constraint; /** Return the assembler text of an ASM pseudo node. */ @@ -1202,6 +1219,10 @@ ir_node *skip_HighLevel(ir_node *node); int is_Const(const ir_node *node); /** Returns true if a node is a Conv node. */ int is_Conv(const ir_node *node); +/** Returns true if a node is a strictConv node. */ +int is_strictConv(const ir_node *node); +/** Returns true if a node is a Cast node. */ +int is_Cast(const ir_node *node); /** Returns true if node is a Bad node. */ int is_Bad(const ir_node *node); /** Returns true if node is a NoMem node. */ @@ -1230,6 +1251,14 @@ int is_Eor(const ir_node *node); int is_Sub(const ir_node *node); /** Returns true if node is a Not node. */ int is_Not(const ir_node *node); +/** Returns true if node is a Shl node. */ +int is_Shl(const ir_node *node); +/** Returns true if node is a Shr node. */ +int is_Shr(const ir_node *node); +/** Returns true if node is a Shrs node. */ +int is_Shrs(const ir_node *node); +/** Returns true if node is a Rot node. */ +int is_Rot(const ir_node *node); /** Returns true if node is a Psi node. */ int is_Psi(const ir_node *node); /** Returns true if node is a Tuple node. */ @@ -1248,6 +1277,8 @@ int is_Call(const ir_node *node); int is_Sel(const ir_node *node); /** Returns true if node is a Mul node. */ int is_Mul(const ir_node *node); +/** Returns true if node is a Mulh node. */ +int is_Mulh(const ir_node *node); /** Returns true if node is a Mux node or a Psi with only one condition. */ int is_Mux(const ir_node *node); /** Returns true if node is a Load node. */