X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firgraph_t.h;h=a76aeea7e99a13444b200360c0b232b3f3b09bb9;hb=637542932dc27dcdfc7def09b58d9d5d4c34fb77;hp=355f998dec35febcdb1cad4bad1cf43f53df9ce2;hpb=814def24d66ee2a525987001946d6c9a6717505c;p=libfirm diff --git a/ir/ir/irgraph_t.h b/ir/ir/irgraph_t.h index 355f998de..a76aeea7e 100644 --- a/ir/ir/irgraph_t.h +++ b/ir/ir/irgraph_t.h @@ -27,15 +27,28 @@ #include "firm_common_t.h" #include "irtypeinfo.h" #include "irprog.h" +#include "pseudo_irg.h" +#include "type_t.h" +#include "tr_inheritance.h" #include "irloop.h" +#include "execution_frequency.h" #include "obst.h" #include "pset.h" -#include "type_t.h" +#include "set.h" #define FRAME_TP_SUFFIX "frame_tp" +/** + * Edge info to put into an irg. + */ +typedef struct _irg_edge_info_t { + set *edges; + unsigned activated : 1; +} irg_edge_info_t; + + /** ir_graph holds all information for a procedure */ struct ir_graph { firm_kind kind; /**< always set to k_ir_graph*/ @@ -44,7 +57,7 @@ struct ir_graph { the type of the procedure and the class it belongs to. */ struct type *frame_type; /**< A class type representing the stack frame. - Can include "inner" methods. */ + Can include "inner" methods. */ struct ir_node *start_block; /**< block the start node will belong to */ struct ir_node *start; /**< start node of this ir_graph */ struct ir_node *end_block; /**< block the end node will belong to */ @@ -54,39 +67,44 @@ struct ir_graph { struct ir_node *cstore; /**< constant store -- no more needed!! */ struct ir_node *frame; /**< method's frame */ struct ir_node *globals; /**< pointer to the data segment containing all - globals as well as global procedures. */ + globals as well as global procedures. */ struct ir_node *initial_mem; /**< initial memory of this graph */ struct ir_node *args; /**< methods arguments */ + struct ir_node **proj_args; /**< projs of the methods arguments */ struct ir_node *bad; /**< bad node of this ir_graph, the one and - only in this graph */ + only in this graph */ struct ir_node *no_mem; /**< NoMem node of this ir_graph, the one and - only in this graph */ + only in this graph */ /* GL removed: we need unknown with mode for analyses. */ /* struct ir_node *unknown;*/ /**< unknown node of this ir_graph */ struct obstack *obst; /**< obstack where all of the ir_nodes live */ - struct ir_node *current_block; /**< block for newly gen_*()-erated - ir_nodes */ + struct ir_node *current_block; /**< block for newly gen_*()-erated ir_nodes */ + struct obstack *extbb_obst; /**< obstack for extended basic block info */ /* -- Fields indicating different states of irgraph -- */ irg_phase_state phase_state; /**< compiler phase */ op_pin_state op_pin_state_pinned; /**< Flag for status of nodes */ irg_outs_state outs_state; /**< Out edges. */ irg_dom_state dom_state; /**< Dominator information */ - irg_typeinfo_state typeinfo_state; /**< Validity of type information */ + ir_typeinfo_state typeinfo_state; /**< Validity of type information */ irg_callee_info_state callee_info_state; /**< Validity of callee information */ irg_inline_property inline_property; /**< How to handle inlineing. */ irg_loopinfo_state loopinfo_state; /**< state of loop information */ + exec_freq_state execfreq_state; /**< state of execution frequency information */ + ir_class_cast_state class_cast_state; /**< kind of cast operations in code. */ + irg_extblk_info_state extblk_state; /**< state of extended basic block info */ /* -- Fields for construction -- */ #if USE_EXPLICIT_PHI_IN_STACK struct Phi_in_stack *Phi_in_stack; /**< needed for automatic Phi construction */ #endif int n_loc; /**< number of local variable in this - procedure including procedure parameters. */ + procedure including procedure parameters. */ + void **loc_descriptions; /**< storage for local variable desriptions */ /* -- Fields for optimizations / analysis information -- */ pset *value_table; /**< hash table for global value numbering (cse) - for optimizing use in iropt.c */ + for optimizing use in iropt.c */ struct ir_node **outs; /**< Space for the out arrays. */ #ifdef DEBUG_libfirm @@ -96,23 +114,29 @@ struct ir_graph { void *link; /**< A void* field to link any information to the node. */ - ir_graph **callers; /**< For callgraph analyses. */ - int *caller_isbe; /**< For callgraph analyses: set if backedge. */ - ir_graph **callees; /**< For callgraph analyses. */ - int *callee_isbe; /**< For callgraph analyses: set if backedge. */ - int callgraph_loop_depth; - int callgraph_recursion_depth; + ir_graph **callers; /**< For callgraph analysis. */ + unsigned char *caller_isbe; /**< For callgraph analysis: set if backedge. */ + ir_graph **callees; /**< For callgraph analysis. */ + unsigned char *callee_isbe; /**< For callgraph analysis: set if backedge. */ + int callgraph_loop_depth; /**< For callgraph analysis */ + int callgraph_recursion_depth; /**< For callgraph analysis */ + double method_execution_frequency; /**< For callgraph analysis */ + ir_loop *l; /* -- Fields for Walking the graph -- */ unsigned long visited; /**< this flag is an identifier for - ir walk. it will be incremented - every time someone walks through - the graph */ + ir walk. it will be incremented + every time someone walks through + the graph */ unsigned long block_visited; /**< same as visited, for a complete block */ #ifdef DEBUG_libfirm int graph_nr; /**< a unique graph number for each graph to make output - readable. */ + readable. */ +#endif + +#if FIRM_EDGES_INPLACE + irg_edge_info_t edge_info; /**< edge info for automatic outs */ #endif }; @@ -121,6 +145,9 @@ struct ir_graph { */ void init_irgraph(void); +/* Internal constructor that does not add to irp_irgs or the like. */ +ir_graph *new_r_ir_graph (entity *ent, int n_loc); + /** Make a rudimentary ir graph for the constant code. Must look like a correct irg, spare everything else. */ ir_graph *new_const_code_irg(void); @@ -152,231 +179,247 @@ int node_is_in_irgs_storage(ir_graph *irg, ir_node *n); extern int __interprocedural_view; static INLINE int -__get_interprocedural_view(void) { +_get_interprocedural_view(void) { return __interprocedural_view; } static INLINE int -__is_ir_graph(const void *thing) { +_is_ir_graph(const void *thing) { return (get_kind(thing) == k_ir_graph); } /** Returns the start block of a graph. */ static INLINE ir_node * -__get_irg_start_block(const ir_graph *irg) { +_get_irg_start_block(const ir_graph *irg) { return irg->start_block; } static INLINE void -__set_irg_start_block(ir_graph *irg, ir_node *node) { +_set_irg_start_block(ir_graph *irg, ir_node *node) { irg->start_block = node; } static INLINE ir_node * -__get_irg_start(const ir_graph *irg) { +_get_irg_start(const ir_graph *irg) { return irg->start; } static INLINE void -__set_irg_start(ir_graph *irg, ir_node *node) { +_set_irg_start(ir_graph *irg, ir_node *node) { irg->start = node; } static INLINE ir_node * -__get_irg_end_block(const ir_graph *irg) { +_get_irg_end_block(const ir_graph *irg) { return irg->end_block; } static INLINE void -__set_irg_end_block(ir_graph *irg, ir_node *node) { +_set_irg_end_block(ir_graph *irg, ir_node *node) { irg->end_block = node; } static INLINE ir_node * -__get_irg_end(const ir_graph *irg) { +_get_irg_end(const ir_graph *irg) { return irg->end; } static INLINE void -__set_irg_end(ir_graph *irg, ir_node *node) { +_set_irg_end(ir_graph *irg, ir_node *node) { irg->end = node; } static INLINE ir_node * -__get_irg_end_reg(const ir_graph *irg) { +_get_irg_end_reg(const ir_graph *irg) { return irg->end_reg; } static INLINE ir_node * -__get_irg_end_except (const ir_graph *irg) { +_get_irg_end_except (const ir_graph *irg) { return irg->end_except; } static INLINE ir_node * -__get_irg_cstore(const ir_graph *irg) { +_get_irg_cstore(const ir_graph *irg) { return irg->cstore; } static INLINE void -__set_irg_cstore(ir_graph *irg, ir_node *node) { +_set_irg_cstore(ir_graph *irg, ir_node *node) { irg->cstore = node; } static INLINE ir_node * -__get_irg_frame(const ir_graph *irg) { +_get_irg_frame(const ir_graph *irg) { return irg->frame; } static INLINE void -__set_irg_frame(ir_graph *irg, ir_node *node) { +_set_irg_frame(ir_graph *irg, ir_node *node) { irg->frame = node; } static INLINE ir_node * -__get_irg_globals(const ir_graph *irg) { +_get_irg_globals(const ir_graph *irg) { return irg->globals; } static INLINE void -__set_irg_globals(ir_graph *irg, ir_node *node) { +_set_irg_globals(ir_graph *irg, ir_node *node) { irg->globals = node; } static INLINE ir_node * -__get_irg_initial_mem(const ir_graph *irg) { +_get_irg_initial_mem(const ir_graph *irg) { return irg->initial_mem; } static INLINE void -__set_irg_initial_mem(ir_graph *irg, ir_node *node) { +_set_irg_initial_mem(ir_graph *irg, ir_node *node) { irg->initial_mem = node; } static INLINE ir_node * -__get_irg_args(const ir_graph *irg) { +_get_irg_args(const ir_graph *irg) { return irg->args; } static INLINE void -__set_irg_args(ir_graph *irg, ir_node *node) { +_set_irg_args(ir_graph *irg, ir_node *node) { irg->args = node; } +static INLINE ir_node ** +_get_irg_proj_args(const ir_graph *irg) { + return irg->proj_args; +} + +static INLINE void +_set_irg_proj_args(ir_graph *irg, ir_node **nodes) { + irg->proj_args = nodes; +} + static INLINE ir_node * -__get_irg_bad(const ir_graph *irg) { +_get_irg_bad(const ir_graph *irg) { return irg->bad; } static INLINE void -__set_irg_bad(ir_graph *irg, ir_node *node) { +_set_irg_bad(ir_graph *irg, ir_node *node) { irg->bad = node; } static INLINE ir_node * -__get_irg_no_mem(const ir_graph *irg) { +_get_irg_no_mem(const ir_graph *irg) { return irg->no_mem; } static INLINE void -__set_irg_no_mem(ir_graph *irg, ir_node *node) { +_set_irg_no_mem(ir_graph *irg, ir_node *node) { irg->no_mem = node; } static INLINE ir_node * -__get_irg_current_block(const ir_graph *irg) { +_get_irg_current_block(const ir_graph *irg) { return irg->current_block; } static INLINE void -__set_irg_current_block(ir_graph *irg, ir_node *node) { +_set_irg_current_block(ir_graph *irg, ir_node *node) { irg->current_block = node; } static INLINE entity * -__get_irg_entity(const ir_graph *irg) { +_get_irg_entity(const ir_graph *irg) { assert(irg && irg->ent); return irg->ent; } static INLINE void -__set_irg_entity(ir_graph *irg, entity *ent) { +_set_irg_entity(ir_graph *irg, entity *ent) { irg->ent = ent; } static INLINE type * -__get_irg_frame_type(const ir_graph *irg) { +_get_irg_frame_type(const ir_graph *irg) { assert(irg && irg->frame_type); return irg->frame_type; } static INLINE void -__set_irg_frame_type(ir_graph *irg, type *ftp) { - assert(is_class_type(ftp)); +_set_irg_frame_type(ir_graph *irg, type *ftp) { + assert(is_Class_type(ftp)); irg->frame_type = ftp; } static INLINE struct obstack * -__get_irg_obstack(const ir_graph *irg) { +_get_irg_obstack(const ir_graph *irg) { return irg->obst; } static INLINE irg_phase_state -__get_irg_phase_state(const ir_graph *irg) { +_get_irg_phase_state(const ir_graph *irg) { return irg->phase_state; } static INLINE void -__set_irg_phase_low(ir_graph *irg) { +_set_irg_phase_low(ir_graph *irg) { irg->phase_state = phase_low; } static INLINE op_pin_state -__get_irg_pinned(const ir_graph *irg) { +_get_irg_pinned(const ir_graph *irg) { return irg->op_pin_state_pinned; } static INLINE irg_outs_state -__get_irg_outs_state(const ir_graph *irg) { +_get_irg_outs_state(const ir_graph *irg) { return irg->outs_state; } static INLINE void -__set_irg_outs_inconsistent(ir_graph *irg) { - irg->outs_state = outs_inconsistent; +_set_irg_outs_inconsistent(ir_graph *irg) { + if (irg->outs_state == outs_consistent) + irg->outs_state = outs_inconsistent; } static INLINE irg_dom_state -__get_irg_dom_state(const ir_graph *irg) { +_get_irg_dom_state(const ir_graph *irg) { return irg->dom_state; } static INLINE void -__set_irg_dom_inconsistent(ir_graph *irg) { +_set_irg_dom_inconsistent(ir_graph *irg) { irg->dom_state = dom_inconsistent; } static INLINE irg_loopinfo_state -__get_irg_loopinfo_state(const ir_graph *irg) { +_get_irg_loopinfo_state(const ir_graph *irg) { return irg->loopinfo_state; } static INLINE void -__set_irg_loopinfo_state(ir_graph *irg, irg_loopinfo_state s) { +_set_irg_loopinfo_state(ir_graph *irg, irg_loopinfo_state s) { irg->loopinfo_state = s; } static INLINE void -__set_irg_pinned(ir_graph *irg, op_pin_state p) { +_set_irg_loopinfo_inconsistent(ir_graph *irg) { + irg->loopinfo_state &= ~loopinfo_valid; +} + +static INLINE void +_set_irg_pinned(ir_graph *irg, op_pin_state p) { irg->op_pin_state_pinned = p; } static INLINE irg_callee_info_state -__get_irg_callee_info_state(const ir_graph *irg) { +_get_irg_callee_info_state(const ir_graph *irg) { return irg->callee_info_state; } static INLINE void -__set_irg_callee_info_state(ir_graph *irg, irg_callee_info_state s) { +_set_irg_callee_info_state(ir_graph *irg, irg_callee_info_state s) { irg_callee_info_state irp_state = get_irp_callee_info_state(); irg->callee_info_state = s; @@ -388,97 +431,98 @@ __set_irg_callee_info_state(ir_graph *irg, irg_callee_info_state s) { } static INLINE irg_inline_property -__get_irg_inline_property(const ir_graph *irg) { +_get_irg_inline_property(const ir_graph *irg) { return irg->inline_property; } static INLINE void -__set_irg_inline_property(ir_graph *irg, irg_inline_property s) { +_set_irg_inline_property(ir_graph *irg, irg_inline_property s) { irg->inline_property = s; } static INLINE void -__set_irg_link(ir_graph *irg, void *thing) { +_set_irg_link(ir_graph *irg, void *thing) { irg->link = thing; } static INLINE void * -__get_irg_link(const ir_graph *irg) { +_get_irg_link(const ir_graph *irg) { return irg->link; } static INLINE unsigned long -__get_irg_visited(const ir_graph *irg) { +_get_irg_visited(const ir_graph *irg) { return irg->visited; } static INLINE unsigned long -__get_irg_block_visited(const ir_graph *irg) { +_get_irg_block_visited(const ir_graph *irg) { return irg->block_visited; } static INLINE void -__set_irg_block_visited(ir_graph *irg, unsigned long visited) { +_set_irg_block_visited(ir_graph *irg, unsigned long visited) { irg->block_visited = visited; } static INLINE void -__inc_irg_block_visited(ir_graph *irg) { +_inc_irg_block_visited(ir_graph *irg) { ++irg->block_visited; } -#define get_interprocedural_view() __get_interprocedural_view() -#define is_ir_graph(thing) __is_ir_graph(thing) -#define get_irg_start_block(irg) __get_irg_start_block(irg) -#define set_irg_start_block(irg, node) __set_irg_start_block(irg, node) -#define get_irg_start(irg) __get_irg_start(irg) -#define set_irg_start(irg, node) __set_irg_start(irg, node) -#define get_irg_end_block(irg) __get_irg_end_block(irg) -#define set_irg_end_block(irg, node) __set_irg_end_block(irg, node) -#define get_irg_end(irg) __get_irg_end(irg) -#define set_irg_end(irg, node) __set_irg_end(irg, node) -#define get_irg_end_reg(irg) __get_irg_end_reg(irg) -#define get_irg_end_except(irg) __get_irg_end_except(irg) -#define get_irg_cstore(irg) __get_irg_cstore(irg) -#define set_irg_cstore(irg, node) __set_irg_cstore(irg, node) -#define get_irg_frame(irg) __get_irg_frame(irg) -#define set_irg_frame(irg, node) __set_irg_frame(irg, node) -#define get_irg_globals(irg) __get_irg_globals(irg) -#define set_irg_globals(irg, node) __set_irg_globals(irg, node) -#define get_irg_initial_mem(irg) __get_irg_initial_mem(irg) -#define set_irg_initial_mem(irg, node) __set_irg_initial_mem(irg, node) -#define get_irg_args(irg) __get_irg_args(irg) -#define set_irg_args(irg, node) __set_irg_args(irg, node) -#define get_irg_bad(irg) __get_irg_bad(irg) -#define set_irg_bad(irg, node) __set_irg_bad(irg, node) -#define get_irg_no_mem(irg) __get_irg_no_mem(irg) -#define set_irg_no_mem(irg, node) __set_irg_no_mem(irg, node) -#define get_irg_current_block(irg) __get_irg_current_block(irg) -#define set_irg_current_block(irg, node) __set_irg_current_block(irg, node) -#define get_irg_entity(irg) __get_irg_entity(irg) -#define set_irg_entity(irg, ent) __set_irg_entity(irg, ent) -#define get_irg_frame_type(irg) __get_irg_frame_type(irg) -#define set_irg_frame_type(irg, ftp) __set_irg_frame_type(irg, ftp) -#define get_irg_obstack(irg) __get_irg_obstack(irg) -#define get_irg_phase_state(irg) __get_irg_phase_state(irg) -#define set_irg_phase_low(irg) __set_irg_phase_low(irg) -#define get_irg_pinned(irg) __get_irg_pinned(irg) -#define get_irg_outs_state(irg) __get_irg_outs_state(irg) -#define set_irg_outs_inconsistent(irg) __set_irg_outs_inconsistent(irg) -#define get_irg_dom_state(irg) __get_irg_dom_state(irg) -#define set_irg_dom_inconsistent(irg) __set_irg_dom_inconsistent(irg) -#define get_irg_loopinfo_state(irg) __get_irg_loopinfo_state(irg) -#define set_irg_loopinfo_state(irg, s) __set_irg_loopinfo_state(irg, s) -#define set_irg_pinned(irg, p) __set_irg_pinned(irg, p) -#define get_irg_callee_info_state(irg) __get_irg_callee_info_state(irg) -#define set_irg_callee_info_state(irg, s) __set_irg_callee_info_state(irg, s) -#define get_irg_inline_property(irg) __get_irg_inline_property(irg) -#define set_irg_inline_property(irg, s) __set_irg_inline_property(irg, s) -#define set_irg_link(irg, thing) __set_irg_link(irg, thing) -#define get_irg_link(irg) __get_irg_link(irg) -#define get_irg_visited(irg) __get_irg_visited(irg) -#define get_irg_block_visited(irg) __get_irg_block_visited(irg) -#define set_irg_block_visited(irg, v) __set_irg_block_visited(irg, v) -#define inc_irg_block_visited(irg) __inc_irg_block_visited(irg) +#define get_interprocedural_view() _get_interprocedural_view() +#define is_ir_graph(thing) _is_ir_graph(thing) +#define get_irg_start_block(irg) _get_irg_start_block(irg) +#define set_irg_start_block(irg, node) _set_irg_start_block(irg, node) +#define get_irg_start(irg) _get_irg_start(irg) +#define set_irg_start(irg, node) _set_irg_start(irg, node) +#define get_irg_end_block(irg) _get_irg_end_block(irg) +#define set_irg_end_block(irg, node) _set_irg_end_block(irg, node) +#define get_irg_end(irg) _get_irg_end(irg) +#define set_irg_end(irg, node) _set_irg_end(irg, node) +#define get_irg_end_reg(irg) _get_irg_end_reg(irg) +#define get_irg_end_except(irg) _get_irg_end_except(irg) +#define get_irg_cstore(irg) _get_irg_cstore(irg) +#define set_irg_cstore(irg, node) _set_irg_cstore(irg, node) +#define get_irg_frame(irg) _get_irg_frame(irg) +#define set_irg_frame(irg, node) _set_irg_frame(irg, node) +#define get_irg_globals(irg) _get_irg_globals(irg) +#define set_irg_globals(irg, node) _set_irg_globals(irg, node) +#define get_irg_initial_mem(irg) _get_irg_initial_mem(irg) +#define set_irg_initial_mem(irg, node) _set_irg_initial_mem(irg, node) +#define get_irg_args(irg) _get_irg_args(irg) +#define set_irg_args(irg, node) _set_irg_args(irg, node) +#define get_irg_bad(irg) _get_irg_bad(irg) +#define set_irg_bad(irg, node) _set_irg_bad(irg, node) +#define get_irg_no_mem(irg) _get_irg_no_mem(irg) +#define set_irg_no_mem(irg, node) _set_irg_no_mem(irg, node) +#define get_irg_current_block(irg) _get_irg_current_block(irg) +#define set_irg_current_block(irg, node) _set_irg_current_block(irg, node) +#define get_irg_entity(irg) _get_irg_entity(irg) +#define set_irg_entity(irg, ent) _set_irg_entity(irg, ent) +#define get_irg_frame_type(irg) _get_irg_frame_type(irg) +#define set_irg_frame_type(irg, ftp) _set_irg_frame_type(irg, ftp) +#define get_irg_obstack(irg) _get_irg_obstack(irg) +#define get_irg_phase_state(irg) _get_irg_phase_state(irg) +#define set_irg_phase_low(irg) _set_irg_phase_low(irg) +#define get_irg_pinned(irg) _get_irg_pinned(irg) +#define get_irg_outs_state(irg) _get_irg_outs_state(irg) +#define set_irg_outs_inconsistent(irg) _set_irg_outs_inconsistent(irg) +#define get_irg_dom_state(irg) _get_irg_dom_state(irg) +#define set_irg_dom_inconsistent(irg) _set_irg_dom_inconsistent(irg) +#define get_irg_loopinfo_state(irg) _get_irg_loopinfo_state(irg) +#define set_irg_loopinfo_state(irg, s) _set_irg_loopinfo_state(irg, s) +#define set_irg_loopinfo_inconsistent(irg) _set_irg_loopinfo_inconsistent(irg) +#define set_irg_pinned(irg, p) _set_irg_pinned(irg, p) +#define get_irg_callee_info_state(irg) _get_irg_callee_info_state(irg) +#define set_irg_callee_info_state(irg, s) _set_irg_callee_info_state(irg, s) +#define get_irg_inline_property(irg) _get_irg_inline_property(irg) +#define set_irg_inline_property(irg, s) _set_irg_inline_property(irg, s) +#define set_irg_link(irg, thing) _set_irg_link(irg, thing) +#define get_irg_link(irg) _get_irg_link(irg) +#define get_irg_visited(irg) _get_irg_visited(irg) +#define get_irg_block_visited(irg) _get_irg_block_visited(irg) +#define set_irg_block_visited(irg, v) _set_irg_block_visited(irg, v) +#define inc_irg_block_visited(irg) _inc_irg_block_visited(irg) # endif /* _IRGRAPH_T_H_ */