X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firgraph_t.h;h=5454747c0973edb4bc98ab1bb6b804b59e48a722;hb=b7bf9774e5e704382bdf3eb7c09bc5755d4f067e;hp=c4411ad214480db23b3b49623a8e0a97c4b18a67;hpb=8fd12b1714e2024889e81aa4b351d1b6640e1c79;p=libfirm diff --git a/ir/ir/irgraph_t.h b/ir/ir/irgraph_t.h index c4411ad21..5454747c0 100644 --- a/ir/ir/irgraph_t.h +++ b/ir/ir/irgraph_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. * @@ -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" @@ -47,25 +45,44 @@ #define FRAME_TP_SUFFIX "frame_tp" /** - * Initializes the graph construction module + * Initializes the graph construction module. */ void firm_init_irgraph(void); -/* Internal constructor that does not add to irp_irgs or the like. */ -ir_graph *new_r_ir_graph (ir_entity *ent, int n_loc); +/** + * Set the number of locals for a given graph. + * + * @param irg the graph + * @param n_loc number of locals + */ +void irg_set_nloc(ir_graph *res, int n_loc); -/** Make a rudimentary ir graph for the constant code. - Must look like a correct irg, spare everything else. */ +/** + * Internal constructor that does not add to irp_irgs or the like. + */ +ir_graph *new_r_ir_graph(ir_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); +/** + * Create a new graph that is a copy of a given one. + * Uses the link fields of the original graphs. + * + * @param irg The graph that must be copied. + */ +ir_graph *create_irg_copy(ir_graph *irg); + /** * Set the op_pin_state_pinned state of a graph. * * @param irg the IR graph * @param p new pin state */ -INLINE void -set_irg_pinned (ir_graph *irg, op_pin_state p); +void set_irg_pinned(ir_graph *irg, op_pin_state p); /** Returns the obstack associated with the graph. */ struct obstack *get_irg_obstack(const ir_graph *irg); @@ -76,290 +93,165 @@ 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 void -_set_irg_end_reg(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_end_reg, node); +static inline ir_node *_get_irg_initial_exec(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_initial_exec); } -static INLINE ir_node * -_get_irg_end_except(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_end_except); +static inline void _set_irg_initial_exec(ir_graph *irg, ir_node *node) +{ + set_irn_n(irg->anchor, anchor_initial_exec, node); } -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_n(irg->anchor, anchor_frame); } -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_initial_mem(const ir_graph *irg) +{ + return get_irn_n(irg->anchor, anchor_initial_mem); } -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_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_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) { - 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 ir_node * _get_irg_no_mem(const ir_graph *irg) +{ + return get_irn_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 void -_set_irg_extblk_inconsistent(ir_graph *irg) { - if (irg->extblk_state == extblk_valid) - irg->extblk_state = extblk_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; @@ -370,90 +262,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); @@ -466,8 +374,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); @@ -484,8 +392,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]; } @@ -493,37 +401,27 @@ 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; -} - -#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) @@ -534,28 +432,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) @@ -564,16 +450,6 @@ _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) @@ -591,5 +467,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