X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firprog_t.h;h=b3e3f91af28e754d2e4d34680af6585db99acc56;hb=e1c33a238578342a072e1c95ff12eefe6d0acd37;hp=1ff0cace4bb06767ccb24e22c551387a4a83434f;hpb=1e7f812bbeca60817bf6a1787c419bd7b60cda75;p=libfirm diff --git a/ir/ir/irprog_t.h b/ir/ir/irprog_t.h index 1ff0cace4..b3e3f91af 100644 --- a/ir/ir/irprog_t.h +++ b/ir/ir/irprog_t.h @@ -14,8 +14,8 @@ * @file irprog_t.h */ -#ifndef _IRPROG_T_H_ -#define _IRPROG_T_H_ +#ifndef _FIRM_IR_IRPROG_T_H_ +#define _FIRM_IR_IRPROG_T_H_ #ifdef HAVE_CONFIG_H #include "firm_config.h" @@ -38,19 +38,21 @@ /** ir_prog */ struct ir_prog { - firm_kind kind; + firm_kind kind; /**< must be k_ir_prog */ ident *name; /**< A file name or the like. */ ir_graph *main_irg; /**< entry point to the compiled program @@@ or a list, in case we compile a library or the like? */ ir_graph **graphs; /**< all graphs in the ir */ ir_graph **pseudo_graphs; /**< all pseudo graphs in the ir. See pseudo_irg.c */ ir_graph *const_code_irg; /**< This ir graph gives the proper environment - to allocate nodes the represent values - of constant entities. It is not meant as - a procedure. */ - type *glob_type; /**< global type. Must be a class as it can - have fields and procedures. */ - type **types; /**< all types in the ir */ + to allocate nodes the represent values + of constant entities. It is not meant as + a procedure. */ + ir_type *glob_type; /**< global type. Must be a class as it can + have fields and procedures. */ + ir_type **types; /**< all types in the ir */ + ir_mode **modes; /**< all modes in the ir */ + ir_op **opcodes; /**< all opcodes in the ir */ /* -- states of and access to generated information -- */ irg_phase_state phase_state; /**< State of construction. */ @@ -59,7 +61,7 @@ struct ir_prog { irg_outs_state outs_state; /**< State of out edges of ir nodes. */ ir_node **ip_outedges; /**< Huge Array that contains all out edges - in interprocedural view. */ + in interprocedural view. */ irg_outs_state trouts_state; /**< State of out edges of type information. */ irg_callee_info_state callee_info_state; /**< Validity of callee information. @@ -68,7 +70,7 @@ struct ir_prog { inh_transitive_closure_state inh_trans_closure_state; /**< trans closure of inh relations. */ irp_callgraph_state callgraph_state; /**< State of the callgraph. */ - struct ir_loop *outermost_cg_loop; /**< For callgraph analysis: entry point + ir_loop *outermost_cg_loop; /**< For callgraph analysis: entry point to looptree over callgraph. */ int max_callgraph_loop_depth; /**< needed in callgraph. */ int max_callgraph_recursion_depth; /**< needed in callgraph. */ @@ -79,68 +81,105 @@ struct ir_prog { ir_class_cast_state class_cast_state; /**< kind of cast operations in code. */ #ifdef DEBUG_libfirm - long max_node_nr; /**< to generate unique numbers for nodes. */ + long max_node_nr; /**< to generate unique numbers for nodes. */ #endif }; -void remove_irp_type_from_list (type *typ); +/** Adds mode to the list of modes in irp. */ +void add_irp_mode(ir_mode *mode); -static INLINE type * -__get_glob_type(void) { +/* INLINE functions */ + +static INLINE ir_type * +_get_glob_type(void) { assert(irp); return irp->glob_type = skip_tid(irp->glob_type); } static INLINE int -__get_irp_n_irgs(void) { +_get_irp_n_irgs(void) { assert (irp && irp->graphs); if (get_visit_pseudo_irgs()) return get_irp_n_allirgs(); - return (ARR_LEN((irp)->graphs)); + return ARR_LEN(irp->graphs); } static INLINE ir_graph * -__get_irp_irg(int pos){ +_get_irp_irg(int pos){ if (get_visit_pseudo_irgs()) return get_irp_allirg(pos); - assert(0 <= pos && pos <= get_irp_n_irgs()); + assert(0 <= pos && pos <= _get_irp_n_irgs()); return irp->graphs[pos]; } static INLINE int -__get_irp_n_types (void) { +_get_irp_n_types (void) { assert (irp && irp->types); - return (ARR_LEN((irp)->types)); + return ARR_LEN(irp->types); } -static INLINE type * -__get_irp_type(int pos) { +static INLINE ir_type * +_get_irp_type(int pos) { assert (irp && irp->types); /* Don't set the skip_tid result so that no double entries are generated. */ return skip_tid(irp->types[pos]); } +static INLINE int +_get_irp_n_modes(void) { + assert (irp && irp->modes); + return ARR_LEN(irp->modes); +} + +static INLINE ir_mode * +_get_irp_mode(int pos) { + assert (irp && irp->modes); + return irp->modes[pos]; +} + +static INLINE int +_get_irp_n_opcodes(void) { + assert (irp && irp->opcodes); + return ARR_LEN(irp->opcodes); +} + +static INLINE ir_op * +_get_irp_opcode(int pos) { + assert (irp && irp->opcodes); + return irp->opcodes[pos]; +} + #ifdef DEBUG_libfirm /** Returns a new, unique number to number nodes or the like. */ -int get_irp_new_node_nr(void); -#endif +static INLINE long +get_irp_new_node_nr(void) { + assert(irp); + return irp->max_node_nr++; +} +#endif /* DEBUG_libfirm */ static INLINE ir_graph * -__get_const_code_irg(void) -{ +_get_const_code_irg(void) { return irp->const_code_irg; } void set_irp_ip_outedges(ir_node ** ip_outedges); ir_node** get_irp_ip_outedges(void); -/** initializes ir_prog. Calls the constructor for an ir_prog. */ -void init_irprog(void); +/** initializes ir_prog. Constructs only the basic lists */ +void init_irprog_1(void); + +/** Completes ir_prog. */ +void init_irprog_2(void); -#define get_irp_n_irgs() __get_irp_n_irgs() -#define get_irp_irg(pos) __get_irp_irg(pos) -#define get_irp_n_types() __get_irp_n_types() -#define get_irp_type(pos) __get_irp_type(pos) -#define get_const_code_irg() __get_const_code_irg() -#define get_glob_type() __get_glob_type() +#define get_irp_n_irgs() _get_irp_n_irgs() +#define get_irp_irg(pos) _get_irp_irg(pos) +#define get_irp_n_types() _get_irp_n_types() +#define get_irp_type(pos) _get_irp_type(pos) +#define get_irp_n_modes() _get_irp_n_modes() +#define get_irp_mode(pos) _get_irp_mode(pos) +#define get_irp_n_opcodes() _get_irp_n_opcodes() +#define get_irp_opcode(pos) _get_irp_opcode(pos) +#define get_const_code_irg() _get_const_code_irg() +#define get_glob_type() _get_glob_type() -#endif /* ifndef _IRPROG_T_H_ */ +#endif /* ifndef _FIRM_IR_IRPROG_T_H_ */