X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firprog_t.h;h=7eb4436cafc9f60af6f128918ec37720d84f6c42;hb=8ccfe04ca59ff56fc32b2323b80cee2a5194694d;hp=24f29eefba95327a0107b11bef0983b0f71bf4de;hpb=7918ce9434713009aa50a2c85ec706bcff29e9c4;p=libfirm diff --git a/ir/ir/irprog_t.h b/ir/ir/irprog_t.h index 24f29eefb..7eb4436ca 100644 --- a/ir/ir/irprog_t.h +++ b/ir/ir/irprog_t.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. * * This file is part of libFirm. * @@ -27,15 +27,8 @@ #ifndef FIRM_IR_IRPROG_T_H #define FIRM_IR_IRPROG_T_H -#ifdef HAVE_CONFIG_H -#include "firm_config.h" -#endif - #include "irprog.h" -#include "irgraph.h" -#include "pseudo_irg.h" -#include "ircgcons.h" -#include "firm_common_t.h" +#include "irtypes.h" #include "irtypeinfo.h" #include "irmemory.h" @@ -45,150 +38,108 @@ #include "array.h" -/** ir_prog */ -struct ir_prog { - firm_kind kind; /**< must be k_ir_prog */ - ident *name; /**< A file name or the like. */ - ir_graph *main_irg; /**< The entry point to the compiled program - or NULL if no point exists. */ - ir_graph **graphs; /**< A list of all graphs in the ir. */ - ir_graph **pseudo_graphs; /**< A list of 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. */ - ir_type *glob_type; /**< The global type. Must be a class as it can - have fields and procedures. */ - ir_type *tls_type; /**< The thread local storage type. Must be a struct as it can - only have fields. */ - ir_type **types; /**< A list of all types in the ir. */ - ir_mode **modes; /**< A list of all modes in the ir. */ - ir_op **opcodes; /**< A list of all opcodes in the ir. */ - - /* -- states of and access to generated information -- */ - irg_phase_state phase_state; /**< The state of construction. */ - - ip_view_state ip_view; /**< The state of interprocedural view. */ - - irg_outs_state outs_state; /**< The state of out edges of ir nodes. */ - ir_node **ip_outedges; /**< A huge Array that contains all out edges - in interprocedural view. */ - irg_outs_state trouts_state; /**< The state of out edges of type information. */ - - irg_callee_info_state callee_info_state; /**< Validity of callee information. - Contains the lowest value or all irgs. */ - ir_typeinfo_state typeinfo_state; /**< Validity of type information. */ - inh_transitive_closure_state inh_trans_closure_state; /**< State of transitive closure - of inheritance relations. */ - - irp_callgraph_state callgraph_state; /**< The state of the callgraph. */ - 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. */ - double max_method_execution_frequency; /**< needed in callgraph. */ - irp_temperature_state temperature_state; /**< accumulated temperatures computed? */ - exec_freq_state execfreq_state; /**< The state of execution frequency information */ - loop_nesting_depth_state lnd_state; /**< The state of loop nesting depth information. */ - ir_class_cast_state class_cast_state; /**< The state of cast operations in code. */ - ir_address_taken_computed_state globals_adr_taken_state; /**< Address taken state of the globals. */ - - unsigned long last_region_nr; /**< The last exception region number that was assigned. */ -#ifdef DEBUG_libfirm - long max_node_nr; /**< to generate unique numbers for nodes. */ -#endif -}; - /** Adds mode to the list of modes in irp. */ -void add_irp_mode(ir_mode *mode); +void add_irp_mode(ir_mode *mode); -/* INLINE functions */ +/* inline functions */ +static inline ir_type *_get_segment_type(ir_segment_t segment) +{ + assert(segment <= IR_SEGMENT_LAST); + return irp->segment_types[segment]; +} -static INLINE ir_type * -_get_glob_type(void) { - assert(irp); - return irp->glob_type = skip_tid(irp->glob_type); +static inline ir_type *_get_glob_type(void) +{ + return _get_segment_type(IR_SEGMENT_GLOBAL); } -static INLINE ir_type * -_get_tls_type(void) { - assert(irp); - return irp->tls_type = skip_tid(irp->tls_type); +static inline ir_type *_get_tls_type(void) +{ + return _get_segment_type(IR_SEGMENT_THREAD_LOCAL); } -static INLINE int -_get_irp_n_irgs(void) { - assert (irp && irp->graphs); - if (get_visit_pseudo_irgs()) return get_irp_n_allirgs(); +static inline size_t _get_irp_n_irgs(void) +{ + assert(irp && irp->graphs); return ARR_LEN(irp->graphs); } -static INLINE ir_graph * -_get_irp_irg(int pos){ - if (get_visit_pseudo_irgs()) return get_irp_allirg(pos); - assert(0 <= pos && pos <= _get_irp_n_irgs()); +static inline ir_graph *_get_irp_irg(size_t pos) +{ + assert(pos < ARR_LEN(irp->graphs)); return irp->graphs[pos]; } - -static INLINE int -_get_irp_n_types(void) { - assert (irp && irp->types); +static inline size_t _get_irp_n_types(void) +{ + assert(irp && irp->types); return ARR_LEN(irp->types); } -static INLINE ir_type * -_get_irp_type(int pos) { - assert (irp && irp->types); +static inline ir_type *_get_irp_type(size_t pos) +{ + assert(irp->types); + assert(pos < ARR_LEN(irp->types)); /* Don't set the skip_tid result so that no double entries are generated. */ - return skip_tid(irp->types[pos]); + return irp->types[pos]; } -static INLINE int -_get_irp_n_modes(void) { - assert (irp && irp->modes); +static inline size_t _get_irp_n_modes(void) +{ + assert(irp->modes); return ARR_LEN(irp->modes); } -static INLINE ir_mode * -_get_irp_mode(int pos) { - assert (irp && irp->modes); +static inline ir_mode *_get_irp_mode(size_t pos) +{ + assert(irp && irp->modes); return irp->modes[pos]; } -static INLINE int -_get_irp_n_opcodes(void) { - assert (irp && irp->opcodes); +static inline size_t _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); +static inline ir_op *_get_irp_opcode(size_t pos) +{ + assert(irp && irp->opcodes); return irp->opcodes[pos]; } -#ifdef DEBUG_libfirm /** Returns a new, unique number to number nodes or the like. */ -static INLINE long -get_irp_new_node_nr(void) { +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) { +static inline size_t get_irp_new_irg_idx(void) +{ + assert(irp); + return irp->max_irg_idx++; +} + +static inline ir_graph *_get_const_code_irg(void) +{ return irp->const_code_irg; } /** Returns a new, unique exception region number. */ -static INLINE unsigned long -_get_irp_next_region_nr(void) { +static inline ir_exc_region_t _get_irp_next_region_nr(void) +{ assert(irp); return ++irp->last_region_nr; } +/** Returns a new, unique label number. */ +static inline ir_label_t _get_irp_next_label_nr(void) +{ + assert(irp); + return ++irp->last_label_nr; +} + void set_irp_ip_outedges(ir_node ** ip_outedges); ir_node** get_irp_ip_outedges(void); @@ -208,8 +159,10 @@ void init_irprog_2(void); #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_segment_type(s) _get_segment_type(s) #define get_glob_type() _get_glob_type() #define get_tls_type() _get_tls_type() #define get_irp_next_region_nr() _get_irp_next_region_nr() +#define get_irp_next_label_nr() _get_irp_next_label_nr() #endif