X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firnode.h;h=ed1b167675ef112904e09187ba3d15e7f1a07286;hb=513a7f65a98d28f2c482da861a94e1328f981684;hp=300ea5e911a70b144b6384fa9d1f30c2798c04cd;hpb=df6f104009a7592e5c71e9bb55334a27ef394dcb;p=libfirm diff --git a/ir/ir/irnode.h b/ir/ir/irnode.h index 300ea5e91..ed1b16767 100644 --- a/ir/ir/irnode.h +++ b/ir/ir/irnode.h @@ -13,8 +13,10 @@ # ifndef _IRNODE_H_ # define _IRNODE_H_ -/** Projection numbers of compare: use for Proj nodes! */ -/* @@@ there are numbers with normalized names below! */ +/** + * Projection numbers of compare: use for Proj nodes! + * @remark there are numbers with normalized names below! + */ typedef enum { False = 0, /**< false */ Eq, /**< equal */ @@ -44,7 +46,7 @@ typedef enum { # include "irmode.h" # include "type.h" # include "dbginfo.h" -# include "exc.h" +//# include "exc.h" /** * @file irnode.h @@ -102,6 +104,8 @@ is_ir_node (void *thing); /** returns the number of predecessors without the block predecessor: */ int get_irn_arity (const ir_node *node); +INLINE int get_irn_intra_arity (const ir_node *node); +INLINE int get_irn_inter_arity (const ir_node *node); /** Replaces the old in array by a new one that will contain the ins given in the parameters. Conserves the block predecessor. It copies the array passed. @@ -119,6 +123,8 @@ INLINE void set_irn_in (ir_node *node, int arity, /* Access predecessor n */ /* get_irn_n removes Id predecessors. */ INLINE ir_node *get_irn_n (ir_node *node, int n); +INLINE ir_node *get_irn_intra_n (ir_node *node, int n); +INLINE ir_node *get_irn_inter_n (ir_node *node, int n); INLINE void set_irn_n (ir_node *node, int n, ir_node *in); /** Sets the mode struct of node */ INLINE void set_irn_mode (ir_node *node, ir_mode *mode); @@ -128,6 +134,8 @@ INLINE ir_mode *get_irn_mode (const ir_node *node); INLINE modecode get_irn_modecode (const ir_node *node); /** Gets the ident for a string representation of the mode .*/ INLINE ident *get_irn_modeident (const ir_node *node); +/** Gets the string representation of the mode .*/ +INLINE const char *get_irn_modename (const ir_node *node); /** Gets the opcode struct of the node */ INLINE ir_op *get_irn_op (const ir_node *node); /** Sets the opcode struct of the node. */ @@ -146,16 +154,18 @@ INLINE void mark_irn_visited (ir_node *node); INLINE int irn_not_visited (const ir_node *node); /** Returns 1 if visited >= get_irg_visited(current_ir_graph). */ INLINE int irn_visited (const ir_node *node); -INLINE void set_irn_link (ir_node *node, void *link); -INLINE void *get_irn_link (const ir_node *node); +INLINE void set_irn_link (ir_node *node, void *link); +INLINE void *get_irn_link (const ir_node *node); + +/** Returns the ir_graph this node belongs to. Only valid if irg + * is in state pinned (irg is only stored in the block. */ +INLINE ir_graph *get_irn_irg (ir_node *node); /** Outputs a unique number for this node if libfirm is compiled for - debugging, (configure with --enable-debug) else returns 0. */ -INLINE long get_irn_node_nr(const ir_node *node); + debugging, (configure with --enable-debug) else returns address + of node cast to long. */ +INLINE long get_irn_node_nr (const ir_node *node); -/** Returns the ir_graph this node belongs to. Only valid for - * CallBegin, EndReg, EndExcept and Start */ -INLINE ir_graph *get_irn_irg(ir_node *node); /** * irnode constructor. @@ -187,8 +197,24 @@ INLINE ir_node *get_nodes_Block (ir_node *node); #define set_nodes_block set_nodes_Block INLINE void set_nodes_Block (ir_node *node, ir_node *block); -/** Projection numbers for result of Start node: use for Proj nodes! */ -/* @@@ old name convention! */ +/** + * Projection numbers for result of Start node: use for Proj nodes! + */ +typedef enum { + pn_Start_X_initial_exec, /**< Projection on the initial control flow. */ + 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. */ + 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; /* Projection numbers for Start. */ + +/** + * Projection numbers for result of Start node: use for Proj nodes! + * @remark This is the old name convention, don't use anymore. + */ typedef enum { pns_initial_exec, /**< Projection on an executable, the initial control flow. */ @@ -200,16 +226,24 @@ typedef enum { pns_value_arg_base /**< Pointer to region of compound value arguments as defined by type of this method. */ } pns_number; /* pns: Projection Number Start */ -typedef enum { - pn_Start_X_initial_exec, /**< Projection on the initial control flow. */ - 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. */ - 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; /* 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); + +/** 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); + +/** 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) + * from Start. If so returns 1, else 0. */ +int is_value_arg_pointer(ir_node *n); /* @@@ no more supported */ @@ -239,9 +273,9 @@ ir_node *get_Block_cg_cfgpred(ir_node * node, int pos); /* frees the memory. */ void remove_Block_cg_cfgpred_arr(ir_node * node); -/* Start references the irg it is in. */ +/* Start references the irg it is in. + @@@ old -- use get_irn_irg instead! */ ir_graph *get_Start_irg(ir_node *node); -void set_Start_irg(ir_node *node, ir_graph *irg); INLINE int get_End_n_keepalives(ir_node *end); INLINE ir_node *get_End_keepalive(ir_node *end, int pos); @@ -252,8 +286,9 @@ INLINE void set_End_keepalive(ir_node *end, int pos, ir_node *ka); free_End frees these data structures. */ INLINE void free_End (ir_node *end); -ir_graph *get_EndReg_irg (const ir_node *end); -ir_graph *get_EndExcept_irg (const ir_node *end); +/* @@@ old -- use get_irn_irg instead! */ +ir_graph *get_EndReg_irg (ir_node *end); +ir_graph *get_EndExcept_irg (ir_node *end); /* 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. @@ -286,6 +321,9 @@ INLINE void set_Cond_selector (ir_node *node, ir_node *selector); INLINE cond_kind get_Cond_kind (ir_node *node); INLINE void set_Cond_kind (ir_node *node, cond_kind kind); +/** + * Projection numbers for conditions. + */ typedef enum { pn_Cond_false, /**< Control flow if operand is "false". */ pn_Cond_true /**< Control flow if operand is "true". */ @@ -303,6 +341,9 @@ INLINE void set_Raise_mem (ir_node *node, ir_node *mem); INLINE ir_node *get_Raise_exo_ptr (ir_node *node); /* PoinTeR to EXception Object */ INLINE 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. */ @@ -328,6 +369,7 @@ typedef enum { linkage_ptr_info /**< The SymConst is a symbolic pointer to be filled in by the linker. Type_or_id_p is ident *. */ } symconst_kind; + typedef union type_or_id * type_or_id_p; INLINE symconst_kind get_SymConst_kind (const ir_node *node); INLINE void set_SymConst_kind (ir_node *node, symconst_kind num); @@ -353,8 +395,11 @@ INLINE void set_Sel_index (ir_node *node, int pos, ir_node *index); INLINE entity *get_Sel_entity (ir_node *node); /* entity to select */ INLINE void set_Sel_entity (ir_node *node, entity *ent); -/** Projection numbers for result of Call node: use for Proj nodes! */ -/* @@@ old name convention! */ +/** + * Projection numbers for result of Call node: use for Proj nodes! + * + * @remark old name convention! + */ typedef enum { pncl_memory = 0, /**< The memory result. */ pncl_exc_target = 1, /**< The control flow result branching to the exception handler */ @@ -365,6 +410,9 @@ typedef enum { passed by value (for compound result types). */ } pncl_number; /* pncl: Projection Number CaLl */ +/** + * Projection numbers for result of Call node: use for Proj nodes! + */ typedef enum { pn_Call_M_regular = 0, /**< The memory result. */ pn_Call_T_result = 2, /**< The tuple containing all (0, 1, 2, ...) results */ @@ -393,7 +441,11 @@ INLINE void set_Call_type (ir_node *node, type *tp); /** Gets the arity of a call. Identical to get_Call_n_params(). */ INLINE int get_Call_arity (ir_node *node); -/* Set, get and remove the callee-analysis. */ +/* Set, get and remove the callee-analysis. + The array is only accessible if intformation is valid. + It contains NULL for called methods that are not within + the compilation unit. */ +int Call_has_callees (ir_node *node); int get_Call_n_callees (ir_node * node); entity *get_Call_callee (ir_node * node, int pos); void set_Call_callee_arr (ir_node * node, int n, entity ** arr); @@ -401,6 +453,7 @@ void remove_Call_callee_arr(ir_node * node); ir_node *get_CallBegin_ptr (ir_node *node); void set_CallBegin_ptr (ir_node *node, ir_node *ptr); +/* @@@ old -- use get_irn_irg instead! */ ir_graph *get_CallBegin_irg (ir_node *node); ir_node *get_CallBegin_call (ir_node *node); void set_CallBegin_call (ir_node *node, ir_node *call); @@ -445,9 +498,12 @@ INLINE void set_Quot_right (ir_node *node, ir_node *right); INLINE ir_node *get_Quot_mem (ir_node *node); INLINE void set_Quot_mem (ir_node *node, ir_node *mem); +/** + * Projection numbers for Quot: use for Proj nodes! + */ typedef enum { - pn_Quot_X_except, /**< Execution result if exception occured. */ pn_Quot_M, /**< Memory result. */ + pn_Quot_X_except, /**< Execution result if exception occured. */ pn_Quot_res /**< Result of computation. */ } pn_Quot; /* Projection numbers for Quot. */ @@ -458,9 +514,12 @@ INLINE void set_DivMod_right (ir_node *node, ir_node *right); INLINE ir_node *get_DivMod_mem (ir_node *node); INLINE void set_DivMod_mem (ir_node *node, ir_node *mem); +/** + * Projection numbers for DivMod: use for Proj nodes! + */ typedef enum { - pn_DivMod_X_except, /**< Execution result if exception occured. */ pn_DivMod_M, /**< Memory result. */ + pn_DivMod_X_except, /**< Execution result if exception occured. */ pn_DivMod_res_div, /**< Result of computation a / b. */ pn_DivMod_res_mod /**< Result of computation a % b. */ } pn_DivMod; /* Projection numbers for DivMod. */ @@ -472,9 +531,12 @@ INLINE void set_Div_right (ir_node *node, ir_node *right); INLINE ir_node *get_Div_mem (ir_node *node); INLINE void set_Div_mem (ir_node *node, ir_node *mem); +/** + * Projection numbers for Div: use for Proj nodes! + */ typedef enum { - pn_Div_X_except, /**< Execution result if exception occured. */ pn_Div_M, /**< Memory result. */ + pn_Div_X_except, /**< Execution result if exception occured. */ pn_Div_res /**< Result of computation. */ } pn_Div; /* Projection numbers for Div. */ @@ -485,9 +547,12 @@ INLINE void set_Mod_right (ir_node *node, ir_node *right); INLINE ir_node *get_Mod_mem (ir_node *node); INLINE void set_Mod_mem (ir_node *node, ir_node *mem); +/** + * Projection numbers for Mod: use for Proj nodes! + */ typedef enum { - pn_Mod_X_except, /**< Execution result if exception occured. */ pn_Mod_M, /**< Memory result. */ + pn_Mod_X_except, /**< Execution result if exception occured. */ pn_Mod_res /**< Result of computation. */ } pn_Mod; /* Projection numbers for Mod. */ @@ -512,10 +577,12 @@ INLINE void set_Eor_right (ir_node *node, ir_node *right); INLINE ir_node *get_Not_op (ir_node *node); INLINE void set_Not_op (ir_node *node, ir_node *op); -/* Projection numbers for Cmp are defined several times. - The bit patterns are used for variouse tests, so don't change. - The "unordered" values are possible results of comparing - floating point numbers. */ +/** + * Projection numbers for Cmp are defined several times. + * The bit patterns are used for variouse tests, so don't change. + * The "unordered" values are possible results of comparing + * floating point numbers. + */ typedef enum { pn_Cmp_False = 0, /**< false */ pn_Cmp_Eq, /**< equal */ @@ -578,6 +645,9 @@ INLINE void set_Cast_op (ir_node *node, ir_node *op); INLINE type *get_Cast_type (ir_node *node); INLINE void set_Cast_type (ir_node *node, type *to_tp); +/* Returns true if n is Phi or Filter in interprocedural_view. */ +INLINE int is_Phi (ir_node *n); +/* These routines also work for Filter nodes in interprocedural view. */ INLINE ir_node **get_Phi_preds_arr (ir_node *node); INLINE int get_Phi_n_preds (ir_node *node); INLINE ir_node *get_Phi_pred (ir_node *node, int pos); @@ -594,9 +664,12 @@ void set_Filter_cg_pred(ir_node * node, int pos, ir_node * pred); int get_Filter_n_cg_preds(ir_node *node); ir_node * get_Filter_cg_pred(ir_node *node, int pos); +/** + * Projection numbers for Load: use for Proj nodes! + */ typedef enum { - pn_Load_X_except, /**< Execution result if exception occured. */ pn_Load_M, /**< Memory result. */ + pn_Load_X_except, /**< Execution result if exception occured. */ pn_Load_res /**< Result of load operation. */ } pn_Load; /* Projection numbers for Load. */ @@ -605,9 +678,12 @@ INLINE void set_Load_mem (ir_node *node, ir_node *mem); INLINE ir_node *get_Load_ptr (ir_node *node); INLINE void set_Load_ptr (ir_node *node, ir_node *ptr); +/** + * Projection numbers for Store: use for Proj nodes! + */ typedef enum { - pn_Store_X_except, /**< Execution result if exception occured. */ - pn_Store_M /**< Memory result. */ + pn_Store_M, /**< Memory result. */ + pn_Store_X_except /**< Execution result if exception occured. */ } pn_Store; /* Projection numbers for Store. */ INLINE ir_node *get_Store_mem (ir_node *node); @@ -617,9 +693,12 @@ INLINE void set_Store_ptr (ir_node *node, ir_node *ptr); INLINE ir_node *get_Store_value (ir_node *node); INLINE void set_Store_value (ir_node *node, ir_node *value); +/** + * Projection numbers for Alloc: use for Proj nodes! + */ typedef enum { - pn_Alloc_X, /**< Execution result if exception occured. */ pn_Alloc_M, /**< Memory result. */ + pn_Alloc_X_except, /**< Execution result if exception occured. */ pn_Alloc_res /**< Result of allocation. */ } pn_Alloc; /* Projection numbers for Alloc. */ @@ -630,7 +709,7 @@ INLINE void set_Alloc_size (ir_node *node, ir_node *size); INLINE type *get_Alloc_type (ir_node *node); INLINE void set_Alloc_type (ir_node *node, type *tp); -/** allocation place. */ +/** The allocation place. */ typedef enum { stack_alloc, /**< Alloc allocates the object on the stack. */ heap_alloc /**< Alloc allocates the object on the heap. */ @@ -667,6 +746,15 @@ INLINE void set_Tuple_pred (ir_node *node, int pos, ir_node *pred); INLINE ir_node *get_Id_pred (ir_node *node); INLINE void set_Id_pred (ir_node *node, ir_node *pred); +/** Confirm has a single result and returns 'value' unchanged. + * The node expresses a restriction on 'value': + * 'value' 'cmp' 'bound' == true. */ +INLINE ir_node *get_Confirm_value (ir_node *node); +INLINE void set_Confirm_value (ir_node *node, ir_node *value); +INLINE ir_node *get_Confirm_bound (ir_node *node); +INLINE void set_Confirm_bound (ir_node *node, ir_node *bound); +INLINE pn_Cmp get_Confirm_cmp (ir_node *node); +INLINE void set_Confirm_cmp (ir_node *node, pn_Cmp cmp); /* * @@ -690,6 +778,8 @@ INLINE int is_Bad (ir_node *node); INLINE int is_no_Block (ir_node *node); /** returns true if the node is a Block */ INLINE int is_Block (ir_node *node); +/** returns true if node is a Unknown node. */ +INLINE int is_Unknown (ir_node *node); /** returns true if node is a Proj node or a Filter node in * intraprocedural view */ INLINE int is_Proj (const ir_node *node); @@ -697,14 +787,15 @@ INLINE int is_Proj (const ir_node *node); Start, End, Jmp, Cond, Return, Raise, Bad, CallBegin, EndReg, EndExcept */ int is_cfop(ir_node *node); +/* @@@ old -- use get_irn_irg instead! */ +ir_graph *get_ip_cfop_irg(ir_node *n); + /** Returns true if the operation manipulates interprocedural control flow: - CallBegin, EndReg, EndExcept */ + CallBegin, EndReg, EndExcept */ int is_ip_cfop(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, - Bad. */ -ir_graph *get_ip_cfop_irg(ir_node *n); - + of an exception: Call, Quot, DivMod, Div, Mod, Load, Store, Alloc, + Bad. */ int is_fragile_op(ir_node *node); /** Returns the memory operand of fragile operations. */ ir_node *get_fragile_op_mem(ir_node *node); @@ -744,7 +835,7 @@ ir_node *get_fragile_op_mem(ir_node *node); /** Output information about a mode */ #define DDMM(X) printf("%s(l.%i) %s: %p\n", __MYFUNC__, __LINE__, get_mode_name(X), (void *)(X)) /** Output information about a loop */ -#define DDML(X) printf("%s(l.%i) loop with depth %d: %p\n", __MYFUNC__, __LINE__, get_loop_depth(X), (void *)(X)) +#define DDML(X) printf("%s(l.%i) loop with depth %d: %d\n", __MYFUNC__, __LINE__, get_loop_depth(X), get_loop_loop_nr(X)) /** Output information about a tarVal */ #define DDMV(X) printf("%s(l.%i) tarval: ",__MYFUNC__, __LINE__); tarval_printf(X); printf(" (%p)\n", (void *)(X));