X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firnode.h;h=fd1b3d6758da0e120be85163b9918338105c72d6;hb=cdd903d8e390c19bf09b67bb991b45dde115050e;hp=91f67e21bb39b142f9ce540173dfa103ed5a538b;hpb=157db760ea3352a702b5a93ecc129551a356dd7e;p=libfirm diff --git a/ir/ir/irnode.h b/ir/ir/irnode.h index 91f67e21b..fd1b3d675 100644 --- a/ir/ir/irnode.h +++ b/ir/ir/irnode.h @@ -9,19 +9,19 @@ * Copyright: (c) 1998-2003 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 -# include "irgraph.h" -# include "entity.h" -# include "firm_common.h" -# include "irop.h" -# include "irmode.h" -# include "type.h" -# include "irextbb.h" -# include "dbginfo.h" +#include "irgraph.h" +#include "entity.h" +#include "firm_common.h" +#include "irop.h" +#include "irmode.h" +#include "type.h" +#include "irextbb.h" +#include "dbginfo.h" /** * @file irnode.h @@ -105,9 +105,19 @@ 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); + +/** + * 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 +142,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. */ @@ -233,25 +245,33 @@ 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) * from Start. If so returns frame type, else Null. */ -type *is_frame_pointer(ir_node *n); +ir_type *is_frame_pointer(ir_node *n); /** Test whether arbitrary node is globals pointer. * * Test whether arbitrary node is globals pointer, i.e. Proj(pn_Start_P_globals) * from Start. If so returns global type, else Null. */ -type *is_globals_pointer(ir_node *n); +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. * @@ -328,6 +348,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. */ @@ -387,20 +410,6 @@ 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); -ir_node *get_Raise_mem (ir_node *node); -void set_Raise_mem (ir_node *node, ir_node *mem); -ir_node *get_Raise_exo_ptr (ir_node *node); /* PoinTeR to EXception Object */ -void set_Raise_exo_ptr (ir_node *node, ir_node *exoptr); - -/** - * Projection numbers for Raise. - */ -typedef enum { - pn_Raise_X, /**< Execution result. */ - pn_Raise_M, /**< Memory result. */ - pn_Raise_max /**< number of projections from a Raise */ -} pn_Raise; /* Projection numbers for Raise. */ - typedef enum { CNST_NULL = 0, /**< The node is a const(0). */ CNST_ONE = +1, /**< The node is a const(1). */ @@ -423,10 +432,10 @@ cnst_classify_t classify_Const(ir_node *irn); /** Returns the source language type of a Const node. * Must be an atomic type. Mode of type must be mode of node. */ -type *get_Const_type (ir_node *node); +ir_type *get_Const_type (ir_node *node); /** Sets the source language type of a Const node. */ -void set_Const_type (ir_node *node, type *tp); +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 @@ -434,28 +443,36 @@ void set_Const_type (ir_node *node, 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_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_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) + /** SymConst attribute. * * This union contains the symbolic information represented by the node. */ -union symconst_symbol { - type *type_p; - ident *ident_p; - entity *entity_p; -}; - -typedef union symconst_symbol symconst_symbol; - +typedef union symconst_symbol { + ir_type *type_p; + ident *ident_p; + entity *entity_p; +} symconst_symbol; /** Get the kind of the SymConst. */ symconst_kind get_SymConst_kind (const ir_node *node); @@ -463,8 +480,8 @@ symconst_kind get_SymConst_kind (const ir_node *node); void set_SymConst_kind (ir_node *node, symconst_kind num); /** Only to access SymConst of kind type_tag or size. Else assertion: */ -type *get_SymConst_type (ir_node *node); -void set_SymConst_type (ir_node *node, type *tp); +ir_type *get_SymConst_type (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 (ir_node *node); @@ -484,8 +501,8 @@ void set_SymConst_symbol (ir_node *node, /** Access the type of the value represented by the SymConst. * * Example: primitive type int for SymConst size. */ -type *get_SymConst_value_type (ir_node *node); -void set_SymConst_value_type (ir_node *node, type *tp); +ir_type *get_SymConst_value_type (ir_node *node); +void set_SymConst_value_type (ir_node *node, ir_type *tp); ir_node *get_Sel_mem (ir_node *node); void set_Sel_mem (ir_node *node, ir_node *mem); @@ -498,14 +515,6 @@ void set_Sel_index (ir_node *node, int pos, ir_node *index); entity *get_Sel_entity (ir_node *node); /* entity to select */ void set_Sel_entity (ir_node *node, entity *ent); -/** InstOf access */ -type *get_InstOf_ent (ir_node *node); -void set_InstOf_ent (ir_node *node, type *ent); -ir_node *get_InstOf_store (ir_node *node); -void set_InstOf_store (ir_node *node, ir_node *obj); -ir_node *get_InstOf_obj (ir_node *node); -void set_InstOf_obj (ir_node *node, ir_node *obj); - /** * Projection numbers for result of Call node: use for Proj nodes! */ @@ -533,9 +542,9 @@ ir_node *get_Call_param (ir_node *node, int pos); /** Sets the call parameter at position pos. */ void set_Call_param (ir_node *node, int pos, ir_node *param); /** Gets the type of a call. */ -type *get_Call_type (ir_node *node); +ir_type *get_Call_type (ir_node *node); /** Sets the type of a call. */ -void set_Call_type (ir_node *node, type *tp); +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 (ir_node *node); @@ -767,8 +776,8 @@ void set_Conv_op (ir_node *node, ir_node *op); */ ir_node *get_Cast_op (ir_node *node); void set_Cast_op (ir_node *node, ir_node *op); -type *get_Cast_type (ir_node *node); -void set_Cast_type (ir_node *node, type *to_tp); +ir_type *get_Cast_type (ir_node *node); +void set_Cast_type (ir_node *node, ir_type *to_tp); /** Checks for upcast. * @@ -871,8 +880,8 @@ ir_node *get_Alloc_mem (ir_node *node); void set_Alloc_mem (ir_node *node, ir_node *mem); ir_node *get_Alloc_size (ir_node *node); void set_Alloc_size (ir_node *node, ir_node *size); -type *get_Alloc_type (ir_node *node); -void set_Alloc_type (ir_node *node, type *tp); +ir_type *get_Alloc_type (ir_node *node); +void set_Alloc_type (ir_node *node, ir_type *tp); /** The allocation place. */ typedef enum { @@ -889,8 +898,8 @@ ir_node *get_Free_ptr (ir_node *node); void set_Free_ptr (ir_node *node, ir_node *ptr); ir_node *get_Free_size (ir_node *node); void set_Free_size (ir_node *node, ir_node *size); -type *get_Free_type (ir_node *node); -void set_Free_type (ir_node *node, type *tp); +ir_type *get_Free_type (ir_node *node); +void set_Free_type (ir_node *node, ir_type *tp); where_alloc get_Free_where (ir_node *node); void set_Free_where (ir_node *node, where_alloc where); @@ -899,11 +908,12 @@ 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. */ -type *get_Proj_type (ir_node *node); +ir_type *get_Proj_type (ir_node *node); /** Return the predecessor of a Proj node. */ ir_node *get_Proj_pred (const ir_node *node); @@ -930,6 +940,10 @@ void set_Confirm_bound (ir_node *node, ir_node *bound); pn_Cmp get_Confirm_cmp (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. + */ ir_node *get_Mux_sel (ir_node *node); void set_Mux_sel (ir_node *node, ir_node *sel); ir_node *get_Mux_false (ir_node *node); @@ -937,15 +951,23 @@ void set_Mux_false (ir_node *node, ir_node *ir_false); ir_node *get_Mux_true (ir_node *node); void set_Mux_true (ir_node *node, ir_node *ir_true); +ir_node *get_Psi_cond (ir_node *node, int pos); +void set_Psi_cond (ir_node *node, int pos, ir_node *cond); +ir_node *get_Psi_val (ir_node *node, int pos); +void set_Psi_val (ir_node *node, int pos, ir_node *val); +ir_node *get_Psi_default(ir_node *node); +void set_Psi_default(ir_node *node, ir_node *val); +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 = pn_Call_M_regular, /**< The memory result. */ - pn_CopyB_X_except = pn_Call_X_except, /**< The control flow result branching to the exception handler */ - pn_CopyB_M_except = pn_Call_M_except, /**< The memory result in case the runtime function terminated with + pn_CopyB_M_regular = 0, /**< The memory result. */ + pn_CopyB_X_except = 1, /**< The control flow result branching to the exception handler */ + pn_CopyB_M_except = 2, /**< The memory result in case the runtime function terminated with an exception */ - pn_CopyB_max = pn_Call_max /**< number of projections from a CopyB */ + pn_CopyB_max = 3 /**< number of projections from a CopyB */ } pn_CopyB; /* Projection numbers for CopyB. */ #define pn_CopyB_M pn_CopyB_M_regular @@ -955,8 +977,69 @@ ir_node *get_CopyB_dst (ir_node *node); void set_CopyB_dst (ir_node *node, ir_node *dst); ir_node *get_CopyB_src (ir_node *node); void set_CopyB_src (ir_node *node, ir_node *src); -type *get_CopyB_type(ir_node *node); -void set_CopyB_type(ir_node *node, type *data_type); +ir_type *get_CopyB_type(ir_node *node); +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_except = 1, /**< The control flow result branching to the exception handler */ + pn_InstOf_res = 2, /**< The checked object pointer. */ + pn_InstOf_M_except = 3, /**< The memory result in case the runtime function terminated with + an exception */ + pn_InstOf_max = 4 /**< number of projections from an InstOf */ +} pn_InstOf; +#define pn_InstOf_M pn_InstOf_M_regular + +/** InstOf access */ +ir_type *get_InstOf_type (ir_node *node); +void set_InstOf_type (ir_node *node, ir_type *type); +ir_node *get_InstOf_store (ir_node *node); +void set_InstOf_store (ir_node *node, ir_node *obj); +ir_node *get_InstOf_obj (ir_node *node); +void set_InstOf_obj (ir_node *node, ir_node *obj); + +/** + * Projection numbers for Raise. + */ +typedef enum { + pn_Raise_X = 0, /**< The control flow to the exception handler. */ + pn_Raise_M = 1, /**< The Memory result. */ + pn_Raise_max /**< number of projections from a Raise */ +} pn_Raise; /* Projection numbers for Raise. */ + +ir_node *get_Raise_mem (ir_node *node); +void set_Raise_mem (ir_node *node, ir_node *mem); +ir_node *get_Raise_exo_ptr (ir_node *node); /* PoinTeR to EXception Object */ +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_except = 1, /**< The control flow result branching to the exception handler */ + pn_Bound_res = 2, /**< The checked index. */ + pn_Bound_max = 3 /**< number of projections from a Bound */ +} pn_Bound; + +/** Returns the memory input of a Bound operation. */ +ir_node *get_Bound_mem(ir_node *bound); +void set_Bound_mem (ir_node *bound, ir_node *mem); + +/** Returns the index input of a Bound operation. */ +ir_node *get_Bound_index(ir_node *bound); +void set_Bound_index(ir_node *bound, ir_node *idx); + +/** Returns the lower bound input of a Bound operation. */ +ir_node *get_Bound_lower(ir_node *bound); +void set_Bound_lower(ir_node *bound, ir_node *lower); + +/** Returns the upper bound input of a Bound operation. */ +ir_node *get_Bound_upper(ir_node *bound); +void set_Bound_upper(ir_node *bound, ir_node *upper); /* * @@ -969,7 +1052,7 @@ void set_CopyB_type(ir_node *node, type *data_type); /** returns operand of node if node is a Proj. */ ir_node *skip_Proj (ir_node *node); /** returns operand of node if node is a Id */ -ir_node *skip_Id (ir_node *node); /* Same as skip_nop. */ +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); @@ -987,8 +1070,22 @@ int is_Bad (const ir_node *node); int is_no_Block (const ir_node *node); /** returns true if the node is a Block */ int is_Block (const ir_node *node); -/** returns true if node is a Unknown node. */ +/** returns true if node is an Unknown node. */ int is_Unknown (const ir_node *node); +/** returns true if node is a Return 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 Sel 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 Proj node or a Filter node in * intraprocedural view */ int is_Proj (const ir_node *node); @@ -1012,12 +1109,40 @@ int is_irn_forking(const ir_node *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. */ -type *get_irn_type(ir_node *n); + * Cast, Const, SymConst and some Proj nodes or unknown_type. */ +ir_type *get_irn_type(ir_node *n); + +/** Return the type attribute of a node n (SymConst, Call, Alloc, Free, + Cast) or NULL.*/ +ir_type *get_irn_type_attr(ir_node *n); + +/** Return the entity attribute of a node n (SymConst, Sel) or NULL. */ +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 are allowed to have keep-alives and + * are neither Block nor PhiM. + */ +int is_irn_keep(const ir_node *node); + +/** + * Returns non-zero for nodes that are machine operations. + */ +int is_irn_machine_op(const ir_node *node); + +/** + * Returns non-zero for nodes that are machine operands. + */ +int is_irn_machine_operand(const ir_node *node); + +/** + * Returns non-zero for nodes that have the n'th user machine flag set. + */ +int is_irn_machine_user(const ir_node *node, unsigned n); + /** * A type to express conditional jump predictions. */ @@ -1072,6 +1197,12 @@ unsigned register_additional_node_data(unsigned size); */ void *get_irn_generic_attr(ir_node *node); +/** + * Returns the unique node index for the node in its graph. + * This index is used to access phase information for this node. + */ +unsigned get_irn_idx(const ir_node *node); + /*-----------------------------------------------------------------*/ /** Debug aides **/ /*-----------------------------------------------------------------*/ @@ -1134,4 +1265,4 @@ int dump_node_opcode(FILE *F, ir_node *n); } #endif -# endif /* _IRNODE_H_ */ +#endif /* _FIRM_IR_IRNODE_H_ */