/*
- * 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.
*
#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"
#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);
#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
projects / libfirm / blobdiff