X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firgraph_t.h;h=e0e8d24b07ac10df23c6d49c3c02950e7e6c529b;hb=58d31ad8ed987e4b313491f6201dc63ceae294cd;hp=ef5c9c77bbc699cb0af673b715992abbb3f48df7;hpb=ba4ebd66ccf3d4e9d443260fbe39c186f5def257;p=libfirm diff --git a/ir/ir/irgraph_t.h b/ir/ir/irgraph_t.h index ef5c9c77b..e0e8d24b0 100644 --- a/ir/ir/irgraph_t.h +++ b/ir/ir/irgraph_t.h @@ -29,10 +29,8 @@ #include "firm_types.h" #include "irgraph.h" -#include "firm_common_t.h" #include "irtypes.h" #include "irprog.h" -#include "pseudo_irg.h" #include "type_t.h" #include "entity_t.h" #include "iredgekinds.h" @@ -95,280 +93,176 @@ struct obstack *get_irg_obstack(const ir_graph *irg); * @param irg the IR graph * @param n the IR node */ -int node_is_in_irgs_storage(ir_graph *irg, ir_node *n); +int node_is_in_irgs_storage(const ir_graph *irg, const ir_node *n); /*-------------------------------------------------------------------*/ /* inline functions for graphs */ /*-------------------------------------------------------------------*/ -static INLINE int -_is_ir_graph(const void *thing) { +static inline int _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) { - return get_irn_intra_n(irg->anchor, anchor_start_block); +static inline ir_node *_get_irg_start_block(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_start_block); } -static INLINE void -_set_irg_start_block(ir_graph *irg, ir_node *node) { +static inline void _set_irg_start_block(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, anchor_start_block, node); } -static INLINE ir_node * -_get_irg_start(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_start); +static inline ir_node *_get_irg_start(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_start); } -static INLINE void -_set_irg_start(ir_graph *irg, ir_node *node) { +static inline void _set_irg_start(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, anchor_start, node); } -static INLINE ir_node * -_get_irg_end_block(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_end_block); +static inline ir_node *_get_irg_end_block(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_end_block); } -static INLINE void -_set_irg_end_block(ir_graph *irg, ir_node *node) { +static inline void _set_irg_end_block(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, -1, node); set_irn_n(irg->anchor, anchor_end_block, node); } -static INLINE ir_node * -_get_irg_end(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_end); +static inline ir_node *_get_irg_end(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_end); } -static INLINE void -_set_irg_end(ir_graph *irg, ir_node *node) { +static inline void _set_irg_end(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, anchor_end, node); } -static INLINE ir_node * -_get_irg_end_reg(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_end_reg); +static inline ir_node *_get_irg_initial_exec(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_initial_exec); } -static INLINE void -_set_irg_end_reg(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_end_reg, node); +static inline void _set_irg_initial_exec(ir_graph *irg, ir_node *node) +{ + set_irn_n(irg->anchor, anchor_initial_exec, node); } -static INLINE ir_node * -_get_irg_end_except(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_end_except); +static inline ir_node *_get_irg_frame(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_frame); } -static INLINE void -_set_irg_end_except(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_end_except, node); -} - -static INLINE ir_node * -_get_irg_frame(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_frame); -} - -static INLINE void -_set_irg_frame(ir_graph *irg, ir_node *node) { +static inline void _set_irg_frame(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, anchor_frame, node); } -static INLINE ir_node * -_get_irg_globals(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_globals); -} - -static INLINE void -_set_irg_globals(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_globals, node); -} - -static INLINE ir_node * -_get_irg_tls(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_tls); -} - -static INLINE void -_set_irg_tls(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_tls, node); +static inline ir_node *_get_irg_initial_mem(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_initial_mem); } -static INLINE ir_node * -_get_irg_initial_mem(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_initial_mem); -} - -static INLINE void -_set_irg_initial_mem(ir_graph *irg, ir_node *node) { +static inline void _set_irg_initial_mem(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, anchor_initial_mem, node); } -static INLINE ir_node * -_get_irg_args(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_args); +static inline ir_node *_get_irg_args(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_args); } -static INLINE void -_set_irg_args(ir_graph *irg, ir_node *node) { +static inline void _set_irg_args(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, anchor_args, node); } -static INLINE ir_node * -_get_irg_value_param_base(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_value_param_base); -} - -static INLINE void -_set_irg_value_param_base(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_value_param_base, node); +static inline ir_node * _get_irg_no_mem(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_no_mem); } -static INLINE ir_node * -_get_irg_bad(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_bad); -} - -static INLINE void -_set_irg_bad(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_bad, node); -} - -static INLINE ir_node * -_get_irg_no_mem(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_no_mem); -} - -static INLINE void -_set_irg_no_mem(ir_graph *irg, ir_node *node) { +static inline void _set_irg_no_mem(ir_graph *irg, ir_node *node) +{ set_irn_n(irg->anchor, anchor_no_mem, node); } -static INLINE ir_node * -_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) { - irg->current_block = node; -} - -static INLINE ir_entity * -_get_irg_entity(const ir_graph *irg) { - assert(irg && irg->ent); +static inline ir_entity *_get_irg_entity(const ir_graph *irg) +{ + assert(irg); return irg->ent; } -static INLINE void -_set_irg_entity(ir_graph *irg, ir_entity *ent) { +static inline void _set_irg_entity(ir_graph *irg, ir_entity *ent) +{ irg->ent = ent; } -static INLINE ir_type * -_get_irg_frame_type(ir_graph *irg) { - assert(irg && irg->frame_type); - return irg->frame_type = skip_tid(irg->frame_type); +static inline ir_type *_get_irg_frame_type(ir_graph *irg) +{ + assert(irg->frame_type); + return irg->frame_type; } -static INLINE void -_set_irg_frame_type(ir_graph *irg, ir_type *ftp) { +static inline void _set_irg_frame_type(ir_graph *irg, ir_type *ftp) +{ assert(is_frame_type(ftp)); irg->frame_type = ftp; } -static INLINE struct obstack * -_get_irg_obstack(const ir_graph *irg) { +static inline struct obstack *_get_irg_obstack(const ir_graph *irg) +{ return irg->obst; } -static INLINE irg_phase_state -_get_irg_phase_state(const ir_graph *irg) { +static inline irg_phase_state _get_irg_phase_state(const ir_graph *irg) +{ return irg->phase_state; } -static INLINE void -_set_irg_phase_state(ir_graph *irg, irg_phase_state state) { +static inline void _set_irg_phase_state(ir_graph *irg, irg_phase_state state) +{ irg->phase_state = state; } -static INLINE op_pin_state -_get_irg_pinned(const ir_graph *irg) { +static inline op_pin_state _get_irg_pinned(const ir_graph *irg) +{ return irg->irg_pinned_state; } -static INLINE irg_outs_state -_get_irg_outs_state(const ir_graph *irg) { - return irg->outs_state; -} - -static INLINE void -_set_irg_outs_inconsistent(ir_graph *irg) { - if (irg->outs_state == outs_consistent) - irg->outs_state = outs_inconsistent; -} - -static INLINE irg_extblk_state -_get_irg_extblk_state(const ir_graph *irg) { - return irg->extblk_state; +static inline irg_extblk_info_state _get_irg_extblk_state(const ir_graph *irg) +{ + return irg->extblk_state; } -static INLINE void -_set_irg_extblk_inconsistent(ir_graph *irg) { - if (irg->extblk_state == extblk_valid) - irg->extblk_state = extblk_invalid; +static inline void _set_irg_extblk_inconsistent(ir_graph *irg) +{ + if (irg->extblk_state == ir_extblk_info_valid) + irg->extblk_state = ir_extblk_info_invalid; } -static INLINE irg_dom_state -_get_irg_dom_state(const ir_graph *irg) { - return irg->dom_state; -} - -static INLINE irg_dom_state -_get_irg_postdom_state(const ir_graph *irg) { - return irg->pdom_state; -} - -static INLINE void -_set_irg_doms_inconsistent(ir_graph *irg) { - if (irg->dom_state != dom_none) - irg->dom_state = dom_inconsistent; - if (irg->pdom_state != dom_none) - irg->pdom_state = dom_inconsistent; -} - -static INLINE irg_loopinfo_state -_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) { - irg->loopinfo_state = s; -} - -static INLINE void -_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) { +static inline void _set_irg_pinned(ir_graph *irg, op_pin_state p) +{ irg->irg_pinned_state = p; } -static INLINE irg_callee_info_state -_get_irg_callee_info_state(const ir_graph *irg) { +static inline irg_callee_info_state _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) { +static inline void _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; @@ -379,90 +273,106 @@ _set_irg_callee_info_state(ir_graph *irg, irg_callee_info_state s) { set_irp_callee_info_state(s); } -static INLINE irg_inline_property -_get_irg_inline_property(const ir_graph *irg) { +static inline irg_inline_property _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) { +static inline void _set_irg_inline_property(ir_graph *irg, irg_inline_property s) +{ irg->inline_property = s; } -static INLINE unsigned -_get_irg_additional_properties(const ir_graph *irg) { +static inline mtp_additional_properties _get_irg_additional_properties(const ir_graph *irg) +{ if (irg->additional_properties & mtp_property_inherited) return get_method_additional_properties(get_entity_type(irg->ent)); return irg->additional_properties; } -static INLINE void -_set_irg_additional_properties(ir_graph *irg, unsigned mask) { +static inline void _set_irg_additional_properties(ir_graph *irg, mtp_additional_properties mask) +{ irg->additional_properties = mask & ~mtp_property_inherited; } -static INLINE void -_set_irg_additional_property(ir_graph *irg, mtp_additional_property flag) { - unsigned prop = irg->additional_properties; +static inline void _add_irg_additional_properties(ir_graph *irg, mtp_additional_properties flag) +{ + mtp_additional_properties prop = irg->additional_properties; if (prop & mtp_property_inherited) prop = get_method_additional_properties(get_entity_type(irg->ent)); irg->additional_properties = prop | flag; } -static INLINE void -_set_irg_link(ir_graph *irg, void *thing) { +static inline void _set_irg_link(ir_graph *irg, void *thing) +{ irg->link = thing; } -static INLINE void * -_get_irg_link(const ir_graph *irg) { +static inline void *_get_irg_link(const ir_graph *irg) +{ return irg->link; } -static INLINE unsigned long -_get_irg_visited(const ir_graph *irg) { +static inline ir_visited_t _get_irg_visited(const ir_graph *irg) +{ return irg->visited; } -static INLINE unsigned long -_get_irg_block_visited(const ir_graph *irg) { +static inline ir_visited_t _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) { +static inline void _set_irg_block_visited(ir_graph *irg, ir_visited_t visited) +{ irg->block_visited = visited; } -static INLINE void -_inc_irg_block_visited(ir_graph *irg) { +static inline void _inc_irg_block_visited(ir_graph *irg) +{ ++irg->block_visited; } -static INLINE void -_dec_irg_block_visited(ir_graph *irg) { +static inline void _dec_irg_block_visited(ir_graph *irg) +{ --irg->block_visited; } -static INLINE unsigned -_get_irg_estimated_node_cnt(const ir_graph *irg) { +static inline unsigned _get_irg_estimated_node_cnt(const ir_graph *irg) +{ return irg->estimated_node_count; } /* Return the floating point model of this graph. */ -static INLINE unsigned -_get_irg_fp_model(const ir_graph *irg) { +static inline unsigned _get_irg_fp_model(const ir_graph *irg) +{ return irg->fp_model; } +static inline void _set_irg_state(ir_graph *irg, ir_graph_state_t state) +{ + irg->state = (ir_graph_state_t) (irg->state | state); +} + +static inline void _clear_irg_state(ir_graph *irg, ir_graph_state_t state) +{ + irg->state = (ir_graph_state_t) (irg->state & ~state); +} + +static inline int _is_irg_state(const ir_graph *irg, ir_graph_state_t state) +{ + return (irg->state & state) == state; +} + /** * Allocates a new idx in the irg for the node and adds the irn to the idx -> irn map. * @param irg The graph. * @param irn The node. * @return The index allocated for the node. */ -static INLINE unsigned irg_register_node_idx(ir_graph *irg, ir_node *irn) { +static inline unsigned irg_register_node_idx(ir_graph *irg, ir_node *irn) +{ unsigned idx = irg->last_node_idx++; if (idx >= (unsigned)ARR_LEN(irg->idx_irn_map)) ARR_RESIZE(ir_node *, irg->idx_irn_map, idx + 1); @@ -475,8 +385,8 @@ static INLINE unsigned irg_register_node_idx(ir_graph *irg, ir_node *irn) { * Kill a node from the irg. BEWARE: this kills * all later created nodes. */ -static INLINE void -irg_kill_node(ir_graph *irg, ir_node *n) { +static inline void irg_kill_node(ir_graph *irg, ir_node *n) +{ unsigned idx = get_irn_idx(n); assert(idx + 1 == irg->last_node_idx); @@ -493,8 +403,8 @@ irg_kill_node(ir_graph *irg, ir_node *n) { * @return The node with that index or NULL, if there is no node with that index. * @note The node you got might be dead. */ -static INLINE ir_node * -get_idx_irn(ir_graph *irg, unsigned idx) { +static inline ir_node *_get_idx_irn(const ir_graph *irg, unsigned idx) +{ assert(idx < (unsigned) ARR_LEN(irg->idx_irn_map)); return irg->idx_irn_map[idx]; } @@ -502,37 +412,53 @@ get_idx_irn(ir_graph *irg, unsigned idx) { /** * Return the number of anchors in this graph. */ -static INLINE int -get_irg_n_anchors(const ir_graph *irg) { +static inline int get_irg_n_anchors(const ir_graph *irg) +{ return get_irn_arity(irg->anchor); } /** * Return anchor for given index */ -static INLINE ir_node * -get_irg_anchor(const ir_graph *irg, int idx) { - return get_irn_intra_n(irg->anchor, idx); +static inline ir_node *get_irg_anchor(const ir_graph *irg, int idx) +{ + return get_irn_n(irg->anchor, idx); } /** * Set anchor for given index */ -static INLINE void -set_irg_anchor(ir_graph *irg, int idx, ir_node *irn) { +static inline void set_irg_anchor(ir_graph *irg, int idx, ir_node *irn) +{ set_irn_n(irg->anchor, idx, irn); } -#ifdef INTERPROCEDURAL_VIEW -extern int firm_interprocedural_view; -static INLINE int -_get_interprocedural_view(void) { - return firm_interprocedural_view; + +/** + * Register a phase on an irg. + * The phase will then be managed by the irg. This means you can easily + * access the phase when you only have a graph handle, the memory will be + * freed when the graph is freed and some care is taken that the phase data + * will be invalidated/preserved on events like dead code elemination and + * code selection. + */ +void irg_register_phase(ir_graph *irg, ir_phase_id id, ir_phase *phase); + +/** + * Frees all phase infos attached to an irg + */ +void irg_invalidate_phases(ir_graph *irg); + +/** + * return phase with given id + */ +static inline ir_phase *irg_get_phase(const ir_graph *irg, ir_phase_id id) +{ + assert(id <= PHASE_LAST); + return irg->phases[id]; } -#define get_interprocedural_view() _get_interprocedural_view() -#endif #define is_ir_graph(thing) _is_ir_graph(thing) #define get_irg_start_block(irg) _get_irg_start_block(irg) @@ -543,28 +469,16 @@ _get_interprocedural_view(void) { #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 set_irg_end_reg(irg, node) _set_irg_end_reg(irg, node) -#define get_irg_end_except(irg) _get_irg_end_except(irg) -#define set_irg_end_except(irg, node) _set_irg_end_except(irg, node) +#define get_irg_initial_exec(irg) _get_irg_initial_exec(irg) +#define set_irg_initial_exec(irg, node) _set_irg_initial_exec(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_tls(irg) _get_irg_tls(irg) -#define set_irg_tls(irg, node) _set_irg_tls(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_value_param_base(irg) _get_irg_value_param_base(irg) -#define set_irg_value_param_base(irg, node) _set_irg_value_param_base(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_irn_no_mem(irg, node) _set_irn_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) @@ -573,16 +487,8 @@ _get_interprocedural_view(void) { #define get_irg_phase_state(irg) _get_irg_phase_state(irg) #define set_irg_phase_state(irg, state) _set_irg_phase_state(irg, state) #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_extblk_state(irg) _get_irg_extblk_state(irg) #define set_irg_extblk_inconsistent(irg) _set_irg_extblk_inconsistent(irg) -#define get_irg_dom_state(irg) _get_irg_dom_state(irg) -#define get_irg_postdom_state(irg) _get_irg_postdom_state(irg) -#define set_irg_doms_inconsistent(irg) _set_irg_doms_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) @@ -600,5 +506,9 @@ _get_interprocedural_view(void) { #define dec_irg_block_visited(irg) _dec_irg_block_visited(irg) #define get_irg_estimated_node_cnt(irg) _get_irg_estimated_node_cnt(irg) #define get_irg_fp_model(irg) _get_irg_fp_model(irg) +#define get_idx_irn(irg, idx) _get_idx_irn(irg, idx) +#define set_irg_state(irg, state) _set_irg_state(irg, state) +#define clear_irg_state(irg, state) _clear_irg_state(irg, state) +#define is_irg_state(irg, state) _is_irg_state(irg, state) #endif