X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firnode.h;h=ec26feb53a42cd1bf3cdc90a35ef0c1bfea08d1d;hb=2807bb5b1ed34c23dc30d228ab0686c6fc9d6ae3;hp=ac11fe5454f37468cc2478c2f4acee63263549ae;hpb=65bee87011120c5b4fad28224cdc65ae11af91f3;p=libfirm diff --git a/include/libfirm/irnode.h b/include/libfirm/irnode.h index ac11fe545..ec26feb53 100644 --- a/include/libfirm/irnode.h +++ b/include/libfirm/irnode.h @@ -51,8 +51,6 @@ * * The common fields are: * - * - firm_kind - A firm_kind tag containing k_type. This is useful - * for dynamically checking whether a node is a ir_node. * - arity - The number of predecessors in the Firm graph. * - in - A list with the predecessors in the Firm graph. There are * routines to access individual elements and to obtain the @@ -70,7 +68,7 @@ * 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_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 */ @@ -185,8 +183,6 @@ void del_Sync_n(ir_node *n, int i); void set_irn_mode(ir_node *node, ir_mode *mode); /** Gets the mode struct of a node. */ ir_mode *get_irn_mode(const ir_node *node); -/** Gets the mode-enum ir_modecode. */ -ir_modecode get_irn_modecode(const ir_node *node); /** Gets the ident for a string representation of the mode .*/ ident *get_irn_modeident(const ir_node *node); /** Gets the string representation of the mode .*/ @@ -204,15 +200,16 @@ ident *get_irn_opident(const ir_node *node); /** If arg is an argument of the node, returns it's position, -1 otherwise */ int get_irn_pred_pos(ir_node *node, ir_node *arg); /** Gets the visited counter of a node. */ -unsigned long get_irn_visited(const ir_node *node); +ir_visited_t get_irn_visited(const ir_node *node); /** Sets the visited counter of a node. */ -void set_irn_visited(ir_node *node, unsigned long visited); +void set_irn_visited(ir_node *node, ir_visited_t visited); /** Sets visited to get_irg_visited(current_ir_graph). */ void mark_irn_visited(ir_node *node); -/** Returns 1 if visited < get_irg_visited(current_ir_graph). */ -int irn_not_visited(const ir_node *node); /** Returns 1 if visited >= get_irg_visited(current_ir_graph). */ int irn_visited(const ir_node *node); +/** Returns 1 if visited >= get_irg_visited(current_ir_graph). Marks the node + * visited, if it was not. */ +int irn_visited_else_mark(ir_node *node); /** * Sets the link of a node. @@ -265,14 +262,8 @@ op_pin_state is_irn_pinned_in_irg(const ir_node *node); * @param arity The arity of the new node, <0 if can be changed dynamically. * @param in An array of arity predecessor nodes. */ -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[]); +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[]); /** * Return the block the node belongs to. This is only @@ -303,11 +294,6 @@ void set_nodes_block (ir_node *node, ir_node *block); * get_irn_MacroBlock(). */ ir_node *get_nodes_MacroBlock(const ir_node *node); -/** - * @function get_irn_block() - * @see get_nodes_block() - */ - /** * Projection numbers for result of Start node: use for Proj nodes! */ @@ -318,8 +304,6 @@ typedef enum { pn_Start_P_tls, /**< Projection on the pointer to the thread local store segment containing _all_thread local variables. */ pn_Start_T_args, /**< Projection on all arguments. */ - pn_Start_P_value_arg_base, /**< Pointer to region of compound value arguments as defined by - type of this method. */ pn_Start_max /**< number of projections from a Start */ } pn_Start; /* Projection numbers for Start. */ @@ -335,17 +319,28 @@ ir_type *is_frame_pointer(const ir_node *n); * from Start. If so returns tls type, else Null. */ ir_type *is_tls_pointer(const ir_node *n); -/** Test whether arbitrary node is value arg base. +/** Return the number of control flow predecessors of a block. */ +int get_Block_n_cfgpreds(const ir_node *block); +/** Return the control flow predecessor of a block at a given position. */ +ir_node *get_Block_cfgpred(const ir_node *block, int pos); +/** Set the control flow predecessor of a block at a given position. */ +void set_Block_cfgpred(ir_node *block, int pos, ir_node *pred); + +/** + * Return the position of the predecessor block pred in the inputs + * of the block block. + * + * @param block the block + * @param pred a predecessor block of block * - * Test whether arbitrary node is value arg base, i.e. Proj(pn_Start_P_value_arg_base) - * from Start. If so returns 1, else 0. */ -int is_value_arg_pointer(const 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(const ir_node *node, int pos); -void set_Block_cfgpred(ir_node *node, int pos, ir_node *pred); + * @return the position of pred in block or -1 + * + * @note When using the old extended basic block form for blocks + * with exception exists, a predecessor block might have more + * than one position. In that case it is not specified, with is returned. + */ +int get_Block_cfgpred_pos(const ir_node *block, const ir_node *pred); + /** Get the predecessor block. * * Returns the block corresponding to the predecessor pos of block. @@ -355,16 +350,19 @@ void set_Block_cfgpred(ir_node *node, int pos, ir_node *pred); * 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 - * Start, but the Bad node. + * Start block, but the Bad 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); + +/** Return the matured flag of a block */ +int get_Block_matured(const ir_node *block); +/** set the matured flag of a block. */ +void set_Block_matured(ir_node *block, int matured); /** A visited flag only for block nodes. * @see also: get_irn_visited() inc_irg_visited() inc_irg_block_visited()*/ -unsigned long get_Block_block_visited(const ir_node *node); -void set_Block_block_visited(ir_node *node, unsigned long visit); +ir_visited_t get_Block_block_visited(const ir_node *block); +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. @@ -375,7 +373,6 @@ int is_Block_dead(const ir_node *block); /* For this current_ir_graph must be set. */ 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 @@ -407,12 +404,14 @@ void set_Block_MacroBlock(ir_node *block, ir_node *mbh); ir_node *get_irn_MacroBlock(const ir_node *n); /** Returns the ir_graph this Block belongs to. */ ir_graph *get_Block_irg(const ir_node *block); -/** Returns non-zero if the block has an assigned label. */ -int has_Block_label(const ir_node *block); -/** Returns the label of a Block. */ -ir_label_t get_Block_label(const ir_node *block); -/** Sets a label to a block. */ -void set_Block_label(ir_node *block, ir_label_t label); +/** Returns non-zero if the block has an entity assigned */ +int has_Block_entity(const ir_node *block); +/** Returns the entity for a Block */ +ir_entity *get_Block_entity(const ir_node *block); +/** Returns the entity for a Block (creating it if necessary) */ +ir_entity *create_Block_entity(ir_node *block); +/** Set a new entity for a block */ +void set_Block_entity(ir_node *block, ir_entity *entity); /** Gets the head of the Phi list for this block. */ ir_node *get_Block_phis(const ir_node *block); /** Sets the head of the Phi list for this block. */ @@ -443,6 +442,9 @@ void set_End_keepalives(ir_node *end, int n, ir_node *in[]); /** Remove irn from the keep-alive set. */ void remove_End_keepalive(ir_node *end, ir_node *irn); +/* Remove Bads, NoMem and doublets from the keep-alive set. */ +void remove_End_Bads_and_doublets(ir_node *end); + /** Some parts of the End node are allocated separately -- their memory is not recovered by dead_node_elimination if a End node is dead. free_End() frees these data structures. */ @@ -453,37 +455,10 @@ ir_node *get_IJmp_target(const ir_node *ijmp); /** Sets the target address of an IJmp */ void set_IJmp_target(ir_node *ijmp, ir_node *tgt); -/* We distinguish three kinds of Cond nodes. These can be distinguished - by the mode of the selector operand and an internal flag of type cond_kind. - First we distinguish binary Conds and switch Conds. - A binary Cond has as selector a boolean value. Proj(0) projects the control - flow for case "False", Proj(1) the control flow for "True". A binary Cond - is recognized by the boolean selector. - The switch Cond has as selector an unsigned integer. It produces as result - an n+1 Tuple (cf0, ... , cfn) of control flows. - We differ two flavors of this Cond. The first, the dense Cond, passes - control along output i if the selector value is i, 0 <= i <= n. If the - selector value is >n it passes control along output n. - The second Cond flavor differences in the treatment of cases not specified in - the source program. It magically knows about the existence of Proj nodes. - It only passes control along output i, 0 <= i <= n, if a node Proj(Cond, i) - exists. Else it passes control along output n (even if this Proj does not - exist.) This Cond we call "fragmentary". There is a special constructor - new_defaultProj that automatically sets the flavor. - The two switch flavors are distinguished by a flag of type cond_kind. - Default flavor is "dense" -*/ -typedef enum { - dense, /**< Default. Missing Proj nodes are dead control flow. */ - fragmentary /**< Special. No control flow optimizations allowed. Missing - Proj nodes mean default control flow, i.e., Proj(n). */ -} cond_kind; - ir_node *get_Cond_selector(const ir_node *node); void set_Cond_selector(ir_node *node, ir_node *selector); -cond_kind get_Cond_kind(const ir_node *node); -void set_Cond_kind(ir_node *node, cond_kind kind); -long get_Cond_defaultProj(const ir_node *node); +long get_Cond_default_proj(const ir_node *node); +void set_Cond_default_proj(ir_node *node, long defproj); /** * Projection numbers for conditions. @@ -521,70 +496,24 @@ ir_type *get_Const_type(ir_node *node); /** Sets the source language type of a Const node. */ void set_Const_type(ir_node *node, ir_type *tp); -/** This enum names the three different kinds of symbolic Constants - represented by SymConst. The content of the attribute type_or_id - depends on this tag. Use the proper access routine after testing - this flag. */ -typedef enum { - symconst_type_tag, /**< The SymConst is a type tag for the given type. - symconst_symbol is type *. */ - symconst_type_size, /**< The SymConst is the size of the given type. - symconst_symbol is type *. */ - symconst_type_align, /**< The SymConst is the alignment of the given type. - symconst_symbol is type *. */ - symconst_addr_name, /**< The SymConst is a symbolic pointer to be filled in - by the linker. The pointer is represented by a string. - symconst_symbol is ident *. */ - symconst_addr_ent, /**< The SymConst is a symbolic pointer to be filled in - by the linker. The pointer is represented by an entity. - symconst_symbol is entity *. */ - symconst_ofs_ent, /**< The SymConst is the offset of its entity in the entities - owner type. */ - symconst_enum_const, /**< The SymConst is a enumeration constant of an - enumeration type. */ - symconst_label /**< The SymConst is a label address. */ -} symconst_kind; - /** Returns non-zero if s symconst kind has a type attribute */ #define SYMCONST_HAS_TYPE(kind) ((kind) <= symconst_type_align) -/** Returns non-zero if s symconst kind has an ident attribute */ -#define SYMCONST_HAS_ID(kind) ((kind) == symconst_addr_name) - /** Returns non-zero if s symconst kind has an entity attribute */ #define SYMCONST_HAS_ENT(kind) ((kind) == symconst_addr_ent || (kind) == symconst_ofs_ent) /** Returns non-zero if s symconst kind has an enum_const attribute */ #define SYMCONST_HAS_ENUM(kind) ((kind) == symconst_enum_const) -/** Returns non-zero if s symconst kind has a label attribute */ -#define SYMCONST_HAS_LABEL(kind) ((kind) == symconst_label) - -/** SymConst attribute. - * - * This union contains the symbolic information represented by the node. - */ -typedef union symconst_symbol { - ir_type *type_p; /**< The type of a SymConst. */ - ident *ident_p; /**< The ident of a SymConst. */ - ir_entity *entity_p; /**< The entity of a SymConst. */ - ir_enum_const *enum_p; /**< The enumeration constant of a SymConst. */ - ir_label_t label; /**< The label of a SymConst. */ -} symconst_symbol; - /** Get the kind of the SymConst. */ symconst_kind get_SymConst_kind(const ir_node *node); /** Set the kind of the SymConst. */ void set_SymConst_kind(ir_node *node, symconst_kind num); /** Only to access SymConst of kind type_tag or size. Else assertion: */ -ir_type *get_SymConst_type(ir_node *node); +ir_type *get_SymConst_type(const ir_node *node); void set_SymConst_type(ir_node *node, ir_type *tp); -/** Only to access SymConst of kind addr_name. Else assertion: */ -ident *get_SymConst_name(const ir_node *node); -void set_SymConst_name(ir_node *node, ident *name); - /** Only to access SymConst of kind addr_ent. Else assertion: */ ir_entity *get_SymConst_entity(const ir_node *node); void set_SymConst_entity(ir_node *node, ir_entity *ent); @@ -600,11 +529,6 @@ union symconst_symbol get_SymConst_symbol(const ir_node *node); void set_SymConst_symbol(ir_node *node, union symconst_symbol sym); -/** Only to access SymConst of kind symconst_label. Else assertion: */ -ir_label_t get_SymConst_label(const ir_node *node); -void set_SymConst_label(ir_node *node, ir_label_t label); - - /** Access the type of the value represented by the SymConst. * * Example: primitive type int for SymConst size. */ @@ -626,21 +550,22 @@ 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 = pn_Generic_M_regular, /**< The memory result. */ + pn_Call_M = pn_Generic_M, /**< 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 +/** Retrieve the memory input of a Call. */ ir_node *get_Call_mem(const ir_node *node); +/** Set the memory input of a Call. */ void set_Call_mem(ir_node *node, ir_node *mem); +/** Retrieve the call address of a Call. */ ir_node *get_Call_ptr(const ir_node *node); +/** Set the call address of a Call. */ void set_Call_ptr(ir_node *node, ir_node *ptr); ir_node **get_Call_param_arr(ir_node *node); /** Gets the number of parameters of a call. */ @@ -653,8 +578,10 @@ void set_Call_param(ir_node *node, int pos, ir_node *param); ir_type *get_Call_type(ir_node *node); /** Sets the type of a call. */ void set_Call_type(ir_node *node, ir_type *tp); -/** Gets the arity of a call. Identical to get_Call_n_params(). */ -int get_Call_arity(const ir_node *node); +/** Returns non-zero if this call can be a tail-call. */ +unsigned get_Call_tail_call(const ir_node *node); +/** Sets the tail call attribute. */ +void set_Call_tail_call(ir_node *node, unsigned tail_call); /** * Returns non-zero if a Call is surely a self-recursive Call. @@ -689,9 +616,40 @@ ir_entity *get_Call_callee(const ir_node *node, int pos); void set_Call_callee_arr(ir_node *node, const int n, ir_entity **arr); void remove_Call_callee_arr(ir_node *node); +/** + * Projection numbers for result of Builtin node: use for Proj nodes! + */ +typedef enum { + pn_Builtin_M = pn_Generic_M, /**< The memory result. */ + pn_Builtin_1_result = pn_Generic_other, /**< first result. */ + pn_Builtin_max /**< number of projections from a Builtin */ +} pn_Builtin; /* Projection numbers for Builtin. */ + +ir_node *get_Builtin_mem(const ir_node *node); +void set_Builtin_mem(ir_node *node, ir_node *mem); +ir_builtin_kind get_Builtin_kind(const ir_node *node); +void set_Builtin_kind(ir_node *node, ir_builtin_kind kind); +ir_node **get_Builtin_param_arr(ir_node *node); +/** Gets the number of parameters of a Builtin. */ +int get_Builtin_n_params(const ir_node *node); +/** Gets the Builtin parameter at position pos. */ +ir_node *get_Builtin_param(const ir_node *node, int pos); +/** Sets the Builtin parameter at position pos. */ +void set_Builtin_param(ir_node *node, int pos, ir_node *param); +/** Gets the type of a builtin. */ +ir_type *get_Builtin_type(ir_node *node); +/** Sets the type of a Builtin. */ +void set_Builtin_type(ir_node *node, ir_type *tp); +/** Returns a human readable string for the ir_builtin_kind. */ +const char *get_builtin_kind_name(ir_builtin_kind kind); + +/** Retrieve the call address of a CallBegin. */ ir_node *get_CallBegin_ptr(const ir_node *node); +/** Set the call address of a CallBegin. */ void set_CallBegin_ptr(ir_node *node, ir_node *ptr); +/** Retrieve the original Call node of a CallBegin. */ ir_node *get_CallBegin_call(const ir_node *node); +/** Set the original Call node of a CallBegin. */ void set_CallBegin_call(ir_node *node, ir_node *call); /* For unary and binary arithmetic operations the access to the @@ -714,6 +672,16 @@ void set_Add_left(ir_node *node, ir_node *left); ir_node *get_Add_right(const ir_node *node); void set_Add_right(ir_node *node, ir_node *right); +ir_node *get_Carry_left(const ir_node *node); +void set_Carry_left(ir_node *node, ir_node *left); +ir_node *get_Carry_right(const ir_node *node); +void set_Carry_right(ir_node *node, ir_node *right); + +ir_node *get_Borrow_left(const ir_node *node); +void set_Borrow_left(ir_node *node, ir_node *left); +ir_node *get_Borrow_right(const ir_node *node); +void set_Borrow_right(ir_node *node, ir_node *right); + ir_node *get_Sub_left(const ir_node *node); void set_Sub_left(ir_node *node, ir_node *left); ir_node *get_Sub_right(const ir_node *node); @@ -745,7 +713,7 @@ void set_Quot_resmode(ir_node *node, ir_mode *mode); * Projection numbers for Quot: use for Proj nodes! */ typedef enum { - pn_Quot_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Quot_M = pn_Generic_M, /**< 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. */ @@ -765,7 +733,7 @@ void set_DivMod_resmode(ir_node *node, ir_mode *mode); * Projection numbers for DivMod: use for Proj nodes! */ typedef enum { - pn_DivMod_M = pn_Generic_M_regular, /**< Memory result. */ + pn_DivMod_M = pn_Generic_M, /**< 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. */ @@ -781,13 +749,14 @@ ir_node *get_Div_mem(const ir_node *node); void set_Div_mem(ir_node *node, ir_node *mem); ir_mode *get_Div_resmode(const ir_node *node); void set_Div_resmode(ir_node *node, ir_mode *mode); -int is_Div_remainderless(const ir_node *node); +int get_Div_no_remainder(const ir_node *node); +void set_Div_no_remainder(ir_node *node, int no_remainder); /** * Projection numbers for Div: use for Proj nodes! */ typedef enum { - pn_Div_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Div_M = pn_Generic_M, /**< 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. */ @@ -807,7 +776,7 @@ void set_Mod_resmode(ir_node *node, ir_mode *mode); * Projection numbers for Mod: use for Proj nodes! */ typedef enum { - pn_Mod_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Mod_M = pn_Generic_M, /**< 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. */ @@ -835,34 +804,6 @@ void set_Eor_right(ir_node *node, ir_node *right); ir_node *get_Not_op(const ir_node *node); void set_Not_op(ir_node *node, ir_node *op); -/** - * Projection numbers for Cmp are defined several times. - * The bit patterns are used for various tests, so don't change. - * The "unordered" values are possible results of comparing - * floating point numbers. - * Note that the encoding is imported, so do NOT change the order. - */ -typedef enum { - pn_Cmp_False = 0, /**< false */ - pn_Cmp_Eq = 1, /**< equal */ - pn_Cmp_Lt = 2, /**< less */ - pn_Cmp_Le = pn_Cmp_Eq|pn_Cmp_Lt, /**< less or equal */ - pn_Cmp_Gt = 4, /**< greater */ - pn_Cmp_Ge = pn_Cmp_Eq|pn_Cmp_Gt, /**< greater or equal */ - pn_Cmp_Lg = pn_Cmp_Lt|pn_Cmp_Gt, /**< less or greater */ - pn_Cmp_Leg = pn_Cmp_Lt|pn_Cmp_Eq|pn_Cmp_Gt, /**< less, equal or greater = ordered */ - pn_Cmp_Uo = 8, /**< unordered */ - pn_Cmp_Ue = pn_Cmp_Uo|pn_Cmp_Eq, /**< unordered or equal */ - pn_Cmp_Ul = pn_Cmp_Uo|pn_Cmp_Lt, /**< unordered or less */ - pn_Cmp_Ule = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Lt, /**< unordered, less or equal */ - pn_Cmp_Ug = pn_Cmp_Uo|pn_Cmp_Gt, /**< unordered or greater */ - pn_Cmp_Uge = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Gt, /**< unordered, greater or equal */ - pn_Cmp_Ne = pn_Cmp_Uo|pn_Cmp_Lt|pn_Cmp_Gt, /**< unordered, less or greater = not equal */ - pn_Cmp_True = 15 /**< true */ - /* not_mask = Leg*/ /* bits to flip to negate comparison * @@ hack for JNI interface */ -} pn_Cmp; /* Projection numbers for Cmp */ -/* #define not_mask pn_Cmp_Leg */ - /** returns the pnc name from an pnc constant */ const char *get_pnc_string(int pnc); @@ -976,7 +917,7 @@ void set_memop_ptr(ir_node *node, ir_node *ptr); * Projection numbers for Load: use for Proj nodes! */ typedef enum { - pn_Load_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Load_M = pn_Generic_M, /**< 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. */ @@ -998,7 +939,7 @@ void set_Load_align(ir_node *node, ir_align align); * Projection numbers for Store: use for Proj nodes! */ typedef enum { - pn_Store_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Store_M = pn_Generic_M, /**< 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 */ @@ -1019,7 +960,7 @@ void set_Store_align(ir_node *node, ir_align align); * Projection numbers for Alloc: use for Proj nodes! */ typedef enum { - pn_Alloc_M = pn_Generic_M_regular, /**< Memory result. */ + pn_Alloc_M = pn_Generic_M, /**< 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. */ @@ -1028,17 +969,11 @@ typedef enum { ir_node *get_Alloc_mem(const ir_node *node); void set_Alloc_mem(ir_node *node, ir_node *mem); -ir_node *get_Alloc_size(const ir_node *node); -void set_Alloc_size(ir_node *node, ir_node *size); +ir_node *get_Alloc_count(const ir_node *node); +void set_Alloc_count(ir_node *node, ir_node *count); ir_type *get_Alloc_type(ir_node *node); void set_Alloc_type(ir_node *node, ir_type *tp); -/** The allocation place. */ -typedef enum { - stack_alloc, /**< Alloc allocates the object on the stack. */ - heap_alloc /**< Alloc allocates the object on the heap. */ -} ir_where_alloc; - ir_where_alloc get_Alloc_where(const ir_node *node); void set_Alloc_where(ir_node *node, ir_where_alloc where); @@ -1098,8 +1033,7 @@ pn_Cmp get_Confirm_cmp(const ir_node *node); void set_Confirm_cmp(ir_node *node, pn_Cmp cmp); /* - * Mux Support: Note that Psi nodes with one condition can be handled - * like Mux nodes, and the access functions work as expected. + * Mux Support */ ir_node *get_Mux_sel(const ir_node *node); void set_Mux_sel(ir_node *node, ir_node *sel); @@ -1108,24 +1042,14 @@ void set_Mux_false(ir_node *node, ir_node *ir_false); ir_node *get_Mux_true(const ir_node *node); void set_Mux_true(ir_node *node, ir_node *ir_true); -ir_node *get_Psi_cond(const ir_node *node, int pos); -void set_Psi_cond(ir_node *node, int pos, ir_node *cond); -ir_node *get_Psi_val(const ir_node *node, int pos); -void set_Psi_val(ir_node *node, int pos, ir_node *val); -ir_node *get_Psi_default(const ir_node *node); -void set_Psi_default(ir_node *node, ir_node *val); -int get_Psi_n_conds(const ir_node *node); - /** * Projection numbers for result of CopyB node: use for Proj nodes! */ typedef enum { - pn_CopyB_M_regular = pn_Generic_M_regular, /**< The memory result. */ + pn_CopyB_M_regular = pn_Generic_M, /**< 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_max = pn_Generic_other /**< number of projections from a CopyB */ } pn_CopyB; /* Projection numbers for CopyB. */ #define pn_CopyB_M pn_CopyB_M_regular @@ -1142,12 +1066,10 @@ 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 = pn_Generic_M_regular, /**< The memory result. */ + pn_InstOf_M_regular = pn_Generic_M, /**< 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 @@ -1164,7 +1086,7 @@ void set_InstOf_obj(ir_node *node, ir_node *obj); * Projection numbers for Raise. */ typedef enum { - pn_Raise_M = pn_Generic_M_regular, /**< The Memory result. */ + pn_Raise_M = pn_Generic_M, /**< The Memory result. */ pn_Raise_X = pn_Generic_X_regular, /**< The control flow to the exception handler. */ pn_Raise_max /**< number of projections from a Raise */ } pn_Raise; /* Projection numbers for Raise. */ @@ -1178,7 +1100,7 @@ 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 = pn_Generic_M_regular, /**< The memory result. */ + pn_Bound_M = pn_Generic_M, /**< 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. */ @@ -1203,14 +1125,7 @@ void set_Bound_upper(ir_node *bound, ir_node *upper); /** Return the operand of a Pin node. */ ir_node *get_Pin_op(const ir_node *pin); -void set_Pin_op(ir_node *pin, ir_node *node); - -/** A input/output constraint attribute */ -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; +void set_Pin_op(ir_node *pin, ir_node *node); /** Return the assembler text of an ASM pseudo node. */ ident *get_ASM_text(const ir_node *node); @@ -1242,8 +1157,11 @@ ir_node *skip_Id(ir_node *node); /* Old name is skip_nop(). */ /** Returns corresponding operand of Tuple if node is a Proj from a Tuple. */ ir_node *skip_Tuple(ir_node *node); -/** returns operand of node if node is a Cast. */ +/** Returns operand of node if node is a Cast. */ ir_node *skip_Cast(ir_node *node); +const ir_node *skip_Cast_const(const ir_node *node); +/** Returns operand of node if node is a Pin. */ +ir_node *skip_Pin(ir_node *node); /** Returns operand of node if node is a Confirm */ ir_node *skip_Confirm(ir_node *node); /** Skip all high-level Operations (including Cast, Confirm). */ @@ -1276,6 +1194,8 @@ int is_DivMod(const ir_node *node); int is_Quot(const ir_node *node); /** Returns true if node is an Add node. */ int is_Add(const ir_node *node); +/** Returns true if node is a Carry node. */ +int is_Carry(const ir_node *node); /** Returns true if node is an And node. */ int is_And(const ir_node *node); /** Returns true if node is an Or node. */ @@ -1294,8 +1214,6 @@ int is_Shr(const ir_node *node); int is_Shrs(const ir_node *node); /** Returns true if node is a Rotl node. */ int is_Rotl(const ir_node *node); -/** Returns true if node is a Psi node. */ -int is_Psi(const ir_node *node); /** Returns true if node is an Id node. */ int is_Id(const ir_node *node); /** Returns true if node is a Tuple node. */ @@ -1312,6 +1230,8 @@ int is_Unknown(const ir_node *node); int is_Return(const ir_node *node); /** Returns true if node is a Call node. */ int is_Call(const ir_node *node); +/** Returns true if node is a Builtin node. */ +int is_Builtin(const ir_node *node); /** Returns true if node is a CallBegin node. */ int is_CallBegin(const ir_node *node); /** Returns true if node is a Sel node. */ @@ -1320,7 +1240,7 @@ int is_Sel(const ir_node *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. */ +/** Returns true if node is a Mux node. */ int is_Mux(const ir_node *node); /** Returns true if node is a Load node. */ int is_Load(const ir_node *node); @@ -1354,6 +1274,8 @@ int is_IJmp(const ir_node *node); int is_Raise(const ir_node *node); /** Returns true if a node is an ASM node. */ int is_ASM(const ir_node *node); +/** Returns true if a node is an Dummy node. */ +int is_Dummy(const ir_node *node); /** Returns true if node is a Proj node or a Filter node in INTRA-procedural view. */ int is_Proj(const ir_node *node); /** Returns true if node is a Filter node. */ @@ -1379,6 +1301,13 @@ ir_mode *get_divop_resmod(const ir_node *node); * operation: Cond. */ int is_irn_forking(const ir_node *node); +/** + * Copies all attributes stored in the old node to the new node. + * Assumes both have the same opcode and sufficient size. + * @param irg The irg of the new_node (get_irn_irg on it might not work yet) + */ +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. */ @@ -1426,6 +1355,11 @@ int is_irn_machine_operand(const ir_node *node); */ int is_irn_machine_user(const ir_node *node, unsigned n); +/** + * Returns non-zero for nodes that are CSE neutral to its users. + */ +int is_irn_cse_neutral(const ir_node *node); + /** * A type to express conditional jump predictions. */ @@ -1435,7 +1369,7 @@ typedef enum { COND_JMP_PRED_FALSE /**< The False case is predicted. */ } cond_jmp_predicate; -/** Gets the string representation of the jump prediction .*/ +/** Gets the string representation of the jump prediction. */ const char *get_cond_jmp_predicate_name(cond_jmp_predicate pred); /** Returns the conditional jump prediction of a Cond node. */ @@ -1515,6 +1449,11 @@ dbg_info *get_irn_dbg_info(const ir_node *n); */ unsigned firm_default_hash(const ir_node *node); +/** + * returns a descriptive name of a node (containing type+number) + */ +const char *gdb_node_helper(void *firm_object); + /*@}*/ /* end of ir_node group definition */ #endif