X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firnode.h;h=1d531babcde4a88e02f46ccc03bb29ad0970ab4d;hb=7cfc603a1806a202630b6486aa1829e6c63f94e0;hp=b0774ced9fb04f8154bd31381db364fc51e3ed5a;hpb=2080968df998886ef494ff80bac44cac5773eb14;p=libfirm diff --git a/ir/ir/irnode.h b/ir/ir/irnode.h index b0774ced9..1d531babc 100644 --- a/ir/ir/irnode.h +++ b/ir/ir/irnode.h @@ -3,14 +3,14 @@ * File name: ir/ir/irnode.h * Purpose: Representation of an intermediate operation. * Author: Martin Trapp, Christian Schaefer - * Modified by: Goetz Lindenmaier + * Modified by: Goetz Lindenmaier, Michael Beck * Created: * CVS-ID: $Id$ - * Copyright: (c) 1998-2003 Universität Karlsruhe + * Copyright: (c) 1998-2006 Universität Karlsruhe * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. */ -#ifndef _IRNODE_H_ -#define _IRNODE_H_ +#ifndef _FIRM_IR_IRNODE_H_ +#define _FIRM_IR_IRNODE_H_ #include @@ -105,9 +105,59 @@ void set_irn_in (ir_node *node, int arity, ir_node *in[]); /** * Get the n-th predecessor of a node. * This function removes Id predecessors. + * This function automatically handles intra- and interprocedural views. */ ir_node *get_irn_n (const ir_node *node, int n); + +/** +* Add a artificial dependency to the node. +* The dependency is only inserted if it is not there already. +* @param node The node. +* @param dep The dependency target. +* @return The index in the array (get_irn_dep() with that index returns @p dep). +*/ +int add_irn_dep(ir_node *node, ir_node *dep); + +/** + * Copy all dependencies from a node to another. + * @param tgt The node which sould be enriched. + * @param src The node whose dependencies shall be copied. + */ +void add_irn_deps(ir_node *tgt, ir_node *src); + +/** +* Get the length of the dependency array. +* @param node The node. +* @return The length of the dependency array or 0 if it has not yet been allocated. +*/ +int get_irn_deps(const ir_node *node); + +/** +* Get an entry of the dependency array. +* @param node The node. +* @param pos The position. +* @return The node at that position. +*/ +ir_node *get_irn_dep(const ir_node *node, int pos); + +/** +* Set an entry of the dependency array. +* @param node The node. +* @param pos The position. +* @param dep The dependency target. +*/ +void set_irn_dep(ir_node *node, int pos, ir_node *dep); + + +/** + * Get the n-th predecessor of a node in intraprocedural view. + * Can be used always if it's know that node is not a split one. + */ ir_node *get_irn_intra_n (const ir_node *node, int n); + +/** + * Get the n-th predecessor of a node in interprocedural view. + */ ir_node *get_irn_inter_n (const ir_node *node, int n); /** Replace the n-th predecessor of a node with a new one. */ @@ -132,6 +182,8 @@ opcode get_irn_opcode (const ir_node *node); const char *get_irn_opname (const ir_node *node); /** Get the ident for a string representation of the opcode. */ 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); /** Sets the visited counter of a node. */ @@ -182,17 +234,17 @@ void set_irn_pinned(ir_node *node, op_pin_state state); op_pin_state is_irn_pinned_in_irg (const ir_node *node); /** - * irnode constructor. - * Create a new irnode in irg, with an op, mode, arity and - * some incoming irnodes. - * This constructor is used in every specified irnode constructor. + * IR node constructor. + * Create a new IR node in irg, with an op, mode, arity and + * some incoming IR nodes. + * This constructor is used in every specific IR node constructor. * * @param db Debug info. * @param irg IR-graph on with this new node should be constructed. * @param block The block the new node belongs to * @param op The opcode of the new node. * @param mode The mode of the new node. - * @param arity The arity of the new node, may be <0 if yet. + * @param arity The arity of the new node, <0 if can be changed dynamically. * @param in An array of arity predecessor nodes. */ ir_node * @@ -233,14 +285,16 @@ typedef enum { pn_Start_M, /**< Projection on the initial memory. */ pn_Start_P_frame_base, /**< Projection on the frame base pointer. */ pn_Start_P_globals, /**< Projection on the pointer to the data segment - containing _all_ global entities. */ + containing _all_ global entities. Use for + position independent data/code access. */ + 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. */ - /** Test whether arbitrary node is frame pointer. * * Test whether arbitrary node is frame pointer, i.e. Proj(pn_Start_P_frame_base) @@ -253,6 +307,12 @@ ir_type *is_frame_pointer(ir_node *n); * from Start. If so returns global type, else Null. */ ir_type *is_globals_pointer(ir_node *n); +/** Test whether arbitrary node is 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. */ +ir_type *is_tls_pointer(ir_node *n); + /** Test whether arbitrary node is value arg base. * * Test whether arbitrary node is value arg base, i.e. Proj(pn_Start_P_value_arg_base) @@ -262,7 +322,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 (ir_node *node); +int get_Block_n_cfgpreds (const ir_node *node); ir_node *get_Block_cfgpred (ir_node *node, int pos); void set_Block_cfgpred (ir_node *node, int pos, ir_node *pred); /** Get the predecessor block. @@ -328,6 +388,9 @@ void add_End_keepalive (ir_node *end, ir_node *ka); /** Set the Keep alive node at position pos. */ void set_End_keepalive(ir_node *end, int pos, ir_node *ka); +/** Set new keep-alives */ +void set_End_keepalives(ir_node *end, int n, ir_node *in[]); + /** 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. */ @@ -420,28 +483,43 @@ void set_Const_type (ir_node *node, ir_type *tp); this flag. */ typedef enum { symconst_type_tag, /**< The SymConst is a type tag for the given type. - Type_or_id_p is type *. */ - symconst_size, /**< The SymConst is the size of the given type. - Type_or_id_p is 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. - Type_or_id_p is ident *. */ - symconst_addr_ent /**< The SymConst is a symbolic pointer to be filled in + 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. - Type_or_id_p is entity *. */ + symconst_symbol is entity *. */ + symconst_enum_const /**< The SymConst is a enumeration constant of an + enumeration type. */ } symconst_kind; -/** SymConst attribute. - * - * This union contains the symbolic information represented by the node. */ -union symconst_symbol { - ir_type *type_p; - ident *ident_p; - entity *entity_p; -}; +/** 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) -typedef union symconst_symbol symconst_symbol; +/** Returns non-zero if s symconst kind has an enum_const attribute */ +#define SYMCONST_HAS_ENUM(kind) ((kind) == symconst_enum_const) +/** SymConst attribute. + * + * This union contains the symbolic information represented by the node. + */ +typedef union symconst_symbol { + ir_type *type_p; + ident *ident_p; + entity *entity_p; + ir_enum_const *enum_p; +} symconst_symbol; /** Get the kind of the SymConst. */ symconst_kind get_SymConst_kind (const ir_node *node); @@ -460,6 +538,10 @@ void set_SymConst_name (ir_node *node, ident *name); entity *get_SymConst_entity (ir_node *node); void set_SymConst_entity (ir_node *node, entity *ent); +/** Only to access SymConst of kind symconst_enum_const. Else assertion: */ +ir_enum_const *get_SymConst_enum (ir_node *node); +void set_SymConst_enum (ir_node *node, ir_enum_const *ec); + /** Sets both: type and ptrinfo. Needed to treat the node independent of its semantics. Does a memcpy for the memory sym points to. */ /* write 'union': firmjni then does not create a method... */ @@ -736,6 +818,8 @@ void set_Rot_right (ir_node *node, ir_node *right); ir_node *get_Conv_op (ir_node *node); void set_Conv_op (ir_node *node, ir_node *op); +int get_Conv_strict (ir_node *node); +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 @@ -877,6 +961,7 @@ ir_node **get_Sync_preds_arr (ir_node *node); int get_Sync_n_preds (ir_node *node); ir_node *get_Sync_pred (ir_node *node, int pos); void set_Sync_pred (ir_node *node, int pos, ir_node *pred); +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. @@ -987,14 +1072,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_regular = 0, /**< The memory result. */ + pn_Bound_M = 0, /**< The memory result. */ pn_Bound_X_except = 1, /**< The control flow result branching to the exception handler */ pn_Bound_res = 2, /**< The checked index. */ - pn_Bound_M_except = 3, /**< The memory result in case the runtime function terminated with - an exception */ - pn_Bound_max = 4 /**< number of projections from a Bound */ + pn_Bound_max = 3 /**< number of projections from a Bound */ } pn_Bound; -#define pn_Bound_M pn_Bound_M_regular /** Returns the memory input of a Bound operation. */ ir_node *get_Bound_mem(ir_node *bound); @@ -1012,6 +1094,11 @@ void set_Bound_lower(ir_node *bound, ir_node *lower); ir_node *get_Bound_upper(ir_node *bound); void set_Bound_upper(ir_node *bound, ir_node *upper); +/** Return the operand of a Pin node. */ +ir_node *get_Pin_op(ir_node *pin); +void set_Pin_op(ir_node *pin, ir_node *node); + + /* * * NAME Auxiliary routines @@ -1051,6 +1138,20 @@ int is_Call (const ir_node *node); int is_Sel (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. */ +int is_Load (const ir_node *node); +/** returns true if node is a Sync node. */ +int is_Sync (const ir_node *node); +/** returns true if node is a Confirm node. */ +int is_Confirm (const ir_node *node); +/** returns true if node is a SymConst node. */ +int is_SymConst (const ir_node *node); +/** returns true if node is a Cond node. */ +int is_Cond (const ir_node *node); +/** returns true if node is a Cmp node. */ +int is_Cmp (const ir_node *node); +/** returns true if node is an Alloc node */ +int is_Alloc (const ir_node *node); /** returns true if node is a Proj node or a Filter node in * intraprocedural view */ int is_Proj (const ir_node *node); @@ -1087,6 +1188,12 @@ entity *get_irn_entity_attr(ir_node *n); /** Returns non-zero for constant-like nodes. */ int is_irn_constlike(const ir_node *node); +/** + * Returns non-zero for nodes that must be always optimized + * (Phi, Id. Proj, Cond, Block, Confirm ...). + */ +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. @@ -1230,4 +1337,4 @@ int dump_node_opcode(FILE *F, ir_node *n); } #endif -#endif /* _IRNODE_H_ */ +#endif /* _FIRM_IR_IRNODE_H_ */