X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firnode.h;h=353de848ab5b2a7cd94b079e27e2a05d8d2e98c1;hb=5f8ddee6b08c8040c0a304a347d65045c1141d52;hp=a848e22d114dd8704b29a2298790fc6abf7d70eb;hpb=c0c2062d35691e2346f83fc1ad9309fdb9aad2a5;p=libfirm diff --git a/ir/ir/irnode.h b/ir/ir/irnode.h index a848e22d1..353de848a 100644 --- a/ir/ir/irnode.h +++ b/ir/ir/irnode.h @@ -17,140 +17,6 @@ # include "tv.h" # include "type.h" -/* projection numbers of compare. */ -enum { - False, /* false */ - Eq, /* equal */ - Lt, /* less */ - Le, /* less or equal */ - Gt, /* greater */ - Ge, /* greater or equal */ - Lg, /* less or greater */ - Leg, /* less, equal or greater = ordered */ - Uo, /* unordered */ - Ue, /* unordered or equal */ - Ul, /* unordered or less */ - Ule, /* unordered, less or equal */ - Ug, /* unordered or greater */ - Uge, /* unordered, greater or equal */ - Ne, /* unordered, less or greater = not equal */ - True, /* true */ - not_mask = Leg /* bits to flip to negate comparison */ -} pnc_number; - -inline char * -get_pnc_string(int pnc); - -int -get_negated_pnc(int pnc); - - -/* projection numbers for result of Start node. */ -enum { - pns_initial_exec, /* Projection on an executable, the initial control - flow. */ - pns_global_store, /* Projection on the global store */ - pns_frame_base, /* Projection on the frame base */ - pns_globals, /* Projection on the pointer to the data segment - containing _all_ global entities. */ - pns_args /* Projection on all arguments */ -} pns_number; - -/** ir node attributes **/ -/* Block attributes */ -typedef struct { - unsigned long block_visited; /* for the walker that walks over all blocks. */ - /* Attributes private to construction: */ - bool matured; /* if set, all in-nodes of the block are fixed */ - struct ir_node **graph_arr; /* array to store all parameters */ -} block_attr; - -/* SymConst attributes */ -/* 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. */ -typedef enum { - type_tag, /* The SymConst is a type tag for the given type. - Type_or_id is type */ - size, /* The SymConst is the size of the given type. - Type_or_id is type */ - linkage_ptr_info /* The SymConst is a symbolic pointer to be filled in - by the linker. Type_or_id is ident */ -} symconst_kind; - -/* This union contains the symbolic information represented by the node */ -typedef union { - type *typ; - ident *ptrinfo; -} type_or_id; - -typedef struct { - type_or_id tori; - symconst_kind num; -} symconst_attr; - -/* Sel attributes */ -typedef enum { - static_linkage, /* entity is used internal and not visible out of this - file/class. */ - external_linkage, /* */ - no_linkage -} linkage_type; - -typedef struct { - entity *ent; /* entity to select */ - linkage_type ltyp; /* linkage type of the entity */ -} sel_attr; - -/* Alloc attributes */ -typedef enum { - stack_alloc, /* Alloc allocates the object on the stack. */ - heap_alloc /* Alloc allocates the object on the heap. */ -} where_alloc; - -typedef struct { - type *type; /* Type of the allocated object. */ - where_alloc where; /* stack, heap or other managed part of memory */ -} alloc_attr; - -/* Some irnodes just have one attribute, these are stored here, - some have more. Their name is 'irnodename_attr' */ -typedef union { - block_attr block; /* For Block: Fields needed to construct it */ - struct tarval *con; /* For Const: contains the value of the constant */ - symconst_attr i; /* For SymConst. */ - sel_attr s; /* For Sel. */ - type_method *call; /* For Call: pointer to the type of the method to call */ - long proj; /* For Proj: contains the result position to project */ - alloc_attr a; /* For Alloc. */ - type *f; /* For Free. */ - int phi0_pos; /* For Phi. Used to remember the value defined by - this Phi node. Needed when the Phi is completed - to call get_r_internal_value to find the - predecessors. If this attribute is set, the Phi - node takes the role of the obsolete Phi0 node, - therefore the name. */ -} attr; - - -/* common structure of an irnode */ -/* if the node has some attributes, they are stored in attr */ - -struct ir_node { - firm_kind kind; /* distinguishes this node from others */ - ir_op *op; /* Opcode of this node. */ - ir_mode *mode; /* Mode of this node. */ - unsigned long visited; /* visited counter for walks of the graph */ - struct ir_node **in; /* array with predecessors / operands */ - struct ir_node *link; /* for linking nodes somehow to a list, e.g. - used while construction to link Phi0 nodes and - during optimization to link to nodes that - shall replace a node. */ - attr attr; /* attribute of this node. Depends on opcode. */ - /* Must be last field of struct ir_node. */ -}; - - /* The typedefiniton of ir_node is also in irgraph.h to resolve recursion between irnode.h and irgraph.h */ #ifndef _IR_NODE_TYPEDEF_ @@ -171,13 +37,9 @@ new_ir_node (ir_graph *irg, int arity, ir_node **in); - -/* Print IR-Nodes with attributes */ -/* @@@@ brauchen wir dienoch? dann fliegt ev. das xprint raus?*/ -int ir_node_print (XP_PAR1, const xprintf_info *, XP_PARN); - - -/** manipulate the fields of ir_node **/ +/** Manipulate the fields of ir_node. With these access routines + you can work on the graph without considering the different types + of nodes, it's just a big graph. **/ /* returns the number of predecessors without the block predecessor: */ int get_irn_arity (ir_node *node); @@ -186,48 +48,60 @@ inline ir_node **get_irn_in (ir_node *node); /* to iterate through the predecessors without touching the array. No order of predecessors guaranteed. To iterate over the operands iterate from 0 to i < get_irn_arity(), - to iterate includind the Block predecessor iterate from i = -1 to + to iterate including the Block predecessor iterate from i = -1 to i < get_irn_arity. */ +/* Access predecessor n */ inline ir_node *get_irn_n (ir_node *node, int n); inline void set_irn_n (ir_node *node, int n, ir_node *in); +/* Get the mode struct. */ inline ir_mode *get_irn_mode (ir_node *node); +/* Get the mode-enum modecode */ inline modecode get_irn_modecode (ir_node *node); -inline void set_irn_op (ir_node *node, ir_op *op); +/* Get the ident for a string representation of the mode */ +inline ident *get_irn_modeident (ir_node *node); +/* Access the opcode struct of the node */ inline ir_op *get_irn_op (ir_node *node); +inline void set_irn_op (ir_node *node, ir_op *op); +/* Get the opcode-enum of the node */ +inline opcode get_irn_opcode (ir_node *node); +/* Get the ident for a string representation of the opcode */ +inline const char *get_irn_opname (ir_node *node); +inline ident *get_irn_opident (ir_node *node); inline void set_irn_visited (ir_node *node, unsigned long visited); inline unsigned long get_irn_visited (ir_node *node); -/* should be private to the library: */ -inline opcode get_irn_opcode (ir_node *node); inline void set_irn_link (ir_node *node, ir_node *link); inline ir_node *get_irn_link (ir_node *node); +#ifdef DEBUG_libfirm +/* Outputs a unique number for this node */ +inline long get_irn_node_nr(ir_node *node); +#endif - -/** access attributes directly **/ -inline tarval *get_irn_const_attr (ir_node *node); -inline long get_irn_proj_attr (ir_node *node); -inline alloc_attr get_irn_alloc_attr (ir_node *node); -inline type *get_irn_free_attr (ir_node *node); -inline symconst_attr get_irn_symconst_attr (ir_node *node); -type_method *get_irn_call_attr (ir_node *node); -sel_attr get_irn_sel_attr (ir_node *node); -int get_irn_phi_attr (ir_node *node); -block_attr get_irn_return_attr (ir_node *node); - -/** manipulate fields of individual nodes **/ +/** Manipulate fields of individual nodes. **/ /* this works for all except Block */ inline ir_node *get_nodes_Block (ir_node *node); inline void set_nodes_Block (ir_node *node, ir_node *block); + +/* Projection numbers for result of Start node: use for Proj nodes! */ +typedef enum { + pns_initial_exec, /* Projection on an executable, the initial control + flow. */ + pns_global_store, /* Projection on the global store */ + pns_frame_base, /* Projection on the frame base */ + pns_globals, /* Projection on the pointer to the data segment + containing _all_ global entities. */ + pns_args /* Projection on all arguments */ +} pns_number; + inline ir_node **get_Block_cfgpred_arr (ir_node *node); int get_Block_n_cfgpreds (ir_node *node); /* inline void set_Block_n_cfgpreds (ir_node *node, int n_preds); */ - inline ir_node *get_Block_cfgpred (ir_node *node, int pos); inline void set_Block_cfgpred (ir_node *node, int pos, ir_node *pred); inline bool get_Block_matured (ir_node *node); inline void set_Block_matured (ir_node *node, bool matured); -inline unsigned long get_Block_block_visit (ir_node *node); -inline void set_Block_block_visit (ir_node *node, unsigned long visit); +inline unsigned long get_Block_block_visited (ir_node *node); +inline void set_Block_block_visited (ir_node *node, unsigned long visit); inline ir_node *get_Block_graph_arr (ir_node *node, int pos); inline void set_Block_graph_arr (ir_node *node, int pos, ir_node *value); @@ -250,33 +124,49 @@ inline void set_Raise_exo_ptr (ir_node *node, ir_node *exoptr); inline tarval *get_Const_tarval (ir_node *node); inline void set_Const_tarval (ir_node *node, tarval *con); +/* 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 { + type_tag, /* The SymConst is a type tag for the given type. + Type_or_id_p is type *. */ + size, /* The SymConst is the size of the given type. + Type_or_id_p is type *. */ + 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 (ir_node *node); inline void set_SymConst_kind (ir_node *node, symconst_kind num); +/* Only to access SymConst of kind type_tag or size. Else assertion: */ inline type *get_SymConst_type (ir_node *node); inline void set_SymConst_type (ir_node *node, type *type); +/* Only to access SymConst of kind linkage_ptr_info. Else assertion: */ inline ident *get_SymConst_ptrinfo (ir_node *node); inline void set_SymConst_ptrinfo (ir_node *node, ident *ptrinfo); +/* Sets both: type and ptrinfo. Needed to treat the node independent of + its semantics. Does a memcpy for the memory tori points to. */ +inline type_or_id_p get_SymConst_type_or_id (ir_node *node); +inline void set_SymConst_type_or_id (ir_node *node, type_or_id_p tori); inline ir_node *get_Sel_mem (ir_node *node); inline void set_Sel_mem (ir_node *node, ir_node *mem); inline ir_node *get_Sel_ptr (ir_node *node); /* ptr to the object to select from */ -inline void set_Sel_ptr (ir_node *node, ir_node *ptr); +inline void set_Sel_ptr (ir_node *node, ir_node *ptr); inline ir_node **get_Sel_index_arr (ir_node *node); -inline int get_Sel_n_index (ir_node *node); +inline int get_Sel_n_index (ir_node *node); /*inline void set_Sel_n_index (ir_node *node, int n_index); */ - - -inline ir_node *get_Call_mem (ir_node *node); -inline void set_Call_mem (ir_node *node, ir_node *mem); -inline ir_node *get_Call_ptr (ir_node *node); -inline void set_Call_ptr (ir_node *node, ir_node *ptr); -inline ir_node **get_Call_param_arr (ir_node *node); -inline int get_Call_arity (ir_node *node); - inline ir_node *get_Sel_index (ir_node *node, int pos); 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); +typedef enum { + static_linkage, /* entity is used internal and not visible out of this + file/class. */ + external_linkage, /* */ + no_linkage +} linkage_type; inline linkage_type get_Sel_linkage_type (ir_node *node); inline void set_Sel_linkage_type (ir_node *node, linkage_type lt); @@ -284,12 +174,14 @@ inline ir_node *get_Call_mem (ir_node *node); inline void set_Call_mem (ir_node *node, ir_node *mem); inline ir_node *get_Call_ptr (ir_node *node); inline void set_Call_ptr (ir_node *node, ir_node *ptr); +inline ir_node **get_Call_param_arr (ir_node *node); +inline int get_Call_n_params (ir_node *node); inline int get_Call_arity (ir_node *node); /* inline void set_Call_arity (ir_node *node, ir_node *arity); */ -inline ir_node *get_Call_param (ir_node *node, int pos); -inline void set_Call_param (ir_node *node, int pos, ir_node *param); +inline ir_node *get_Call_param (ir_node *node, int pos); +inline void set_Call_param (ir_node *node, int pos, ir_node *param); inline type_method *get_Call_type (ir_node *node); -inline void set_Call_type (ir_node *node, type_method *type); +inline void set_Call_type (ir_node *node, type_method *type); /* For unary and binary arithmetic operations the access to the operands can be factored out. Left is the first, right the @@ -373,6 +265,28 @@ 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 of compare: use for Proj nodes! */ +typedef enum { + False, /* false */ + Eq, /* equal */ + Lt, /* less */ + Le, /* less or equal */ + Gt, /* greater */ + Ge, /* greater or equal */ + Lg, /* less or greater */ + Leg, /* less, equal or greater = ordered */ + Uo, /* unordered */ + Ue, /* unordered or equal */ + Ul, /* unordered or less */ + Ule, /* unordered, less or equal */ + Ug, /* unordered or greater */ + Uge, /* unordered, greater or equal */ + Ne, /* unordered, less or greater = not equal */ + True, /* true */ + not_mask = Leg /* bits to flip to negate comparison */ +} pnc_number; +inline char *get_pnc_string(int pnc); +inline int get_negated_pnc(int pnc); inline ir_node *get_Cmp_left (ir_node *node); inline void set_Cmp_left (ir_node *node, ir_node *left); inline ir_node *get_Cmp_right (ir_node *node); @@ -425,6 +339,10 @@ inline ir_node *get_Alloc_size (ir_node *node); 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 *type); +typedef enum { + stack_alloc, /* Alloc allocates the object on the stack. */ + heap_alloc /* Alloc allocates the object on the heap. */ +} where_alloc; inline where_alloc get_Alloc_where (ir_node *node); inline void set_Alloc_where (ir_node *node, where_alloc where); @@ -478,4 +396,20 @@ int is_cfop(ir_node *node); of an exception. */ int is_fragile_op(ir_node *node); + + +/* Makros for debugging the libfirm */ +#ifdef DEBUG_libfirm +#include "ident.h" + +#define DDMSG printf("%s(l.%i)\n", __FUNCTION__, __LINE__) +#define DDMSG1(X) printf("%s(l.%i) %s\n", __FUNCTION__, __LINE__, \ + id_to_str(get_irn_opident(X))) +#define DDMSG2(X) printf("%s(l.%i) %s: %ld\n", __FUNCTION__, __LINE__, \ + id_to_str(get_irn_opident(X)), get_irn_node_nr(X)) +#define DDMSG3(X) printf("%s(l.%i) %s: %p\n", __FUNCTION__, __LINE__, \ + print_firm_kind(X), (X)) + +#endif + # endif /* _IRNODE_H_ */