X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firgraph_t.h;h=bf53ff06c08bb0365244b053fd73bf42fd45e27c;hb=2ece936daec565575739be72f568a241207a5083;hp=5a4bec4b3f2cfd3807b416901802a9c07abb6c0b;hpb=b519dd6a1e6d85e843eff533be787d1f138a07ff;p=libfirm diff --git a/ir/ir/irgraph_t.h b/ir/ir/irgraph_t.h index 5a4bec4b3..bf53ff06c 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. * @@ -47,25 +47,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); + +/** + * 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. */ +/** + * 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); @@ -82,258 +101,230 @@ int node_is_in_irgs_storage(ir_graph *irg, ir_node *n); /* inline functions for graphs */ /*-------------------------------------------------------------------*/ -extern int firm_interprocedural_view; - -static INLINE int -_get_interprocedural_view(void) { - return firm_interprocedural_view; -} - -static INLINE int +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 * +static inline ir_node * _get_irg_start_block(const ir_graph *irg) { return get_irn_intra_n(irg->anchor, anchor_start_block); } -static INLINE void +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 * +static inline ir_node * _get_irg_start(const ir_graph *irg) { return get_irn_intra_n(irg->anchor, anchor_start); } -static INLINE void +static inline void _set_irg_start(ir_graph *irg, ir_node *node) { set_irn_n(irg->anchor, anchor_start, node); } -static INLINE ir_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 void +static inline void _set_irg_end_block(ir_graph *irg, ir_node *node) { - /* FIXME: if this line is killed the whole graph collapse, why */ set_irn_n(irg->anchor, -1, node); set_irn_n(irg->anchor, anchor_end_block, node); } -static INLINE ir_node * +static inline ir_node * _get_irg_end(const ir_graph *irg) { return get_irn_intra_n(irg->anchor, anchor_end); } -static INLINE void +static inline void _set_irg_end(ir_graph *irg, ir_node *node) { set_irn_n(irg->anchor, anchor_end, node); } -static INLINE ir_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 +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 * +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 +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 ir_node * +_get_irg_initial_exec(const ir_graph *irg) { + return get_irn_intra_n(irg->anchor, anchor_initial_exec); } -static INLINE void -_set_irg_frame(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_frame, 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_globals(const ir_graph *irg) { - return get_irn_intra_n(irg->anchor, anchor_globals); +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_globals(ir_graph *irg, ir_node *node) { - set_irn_n(irg->anchor, anchor_globals, 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 * +static inline ir_node * _get_irg_tls(const ir_graph *irg) { return get_irn_intra_n(irg->anchor, anchor_tls); } -static INLINE void +static inline void _set_irg_tls(ir_graph *irg, ir_node *node) { set_irn_n(irg->anchor, anchor_tls, node); } -static INLINE ir_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 +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 * +static inline ir_node * _get_irg_args(const ir_graph *irg) { return get_irn_intra_n(irg->anchor, anchor_args); } -static INLINE void +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 * +static inline ir_node * _get_irg_bad(const ir_graph *irg) { return get_irn_intra_n(irg->anchor, anchor_bad); } -static INLINE void +static inline void _set_irg_bad(ir_graph *irg, ir_node *node) { set_irn_n(irg->anchor, anchor_bad, node); } -static INLINE ir_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 +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 * +static inline ir_node * _get_irg_current_block(const ir_graph *irg) { return irg->current_block; } -static INLINE void +static inline void _set_irg_current_block(ir_graph *irg, ir_node *node) { irg->current_block = node; } -static INLINE ir_entity * +static inline ir_entity * _get_irg_entity(const ir_graph *irg) { assert(irg && irg->ent); return irg->ent; } -static INLINE void +static inline void _set_irg_entity(ir_graph *irg, ir_entity *ent) { irg->ent = ent; } -static INLINE ir_type * +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 void +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 * +static inline struct obstack * _get_irg_obstack(const ir_graph *irg) { return irg->obst; } -static INLINE irg_phase_state +static inline irg_phase_state _get_irg_phase_state(const ir_graph *irg) { return irg->phase_state; } -static INLINE void +static inline void _set_irg_phase_state(ir_graph *irg, irg_phase_state state) { irg->phase_state = state; } -static INLINE op_pin_state +static inline op_pin_state _get_irg_pinned(const ir_graph *irg) { return irg->irg_pinned_state; } -static INLINE irg_outs_state +static inline irg_outs_state _get_irg_outs_state(const ir_graph *irg) { return irg->outs_state; } -static INLINE void +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 +static inline irg_extblk_state _get_irg_extblk_state(const ir_graph *irg) { return irg->extblk_state; } -static INLINE void +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 +static inline irg_dom_state _get_irg_dom_state(const ir_graph *irg) { return irg->dom_state; } -static INLINE irg_dom_state +static inline irg_dom_state _get_irg_postdom_state(const ir_graph *irg) { return irg->pdom_state; } -static INLINE void +static inline void _set_irg_doms_inconsistent(ir_graph *irg) { if (irg->dom_state != dom_none) irg->dom_state = dom_inconsistent; @@ -341,32 +332,32 @@ _set_irg_doms_inconsistent(ir_graph *irg) { irg->pdom_state = dom_inconsistent; } -static INLINE irg_loopinfo_state +static inline irg_loopinfo_state _get_irg_loopinfo_state(const ir_graph *irg) { return irg->loopinfo_state; } -static INLINE void +static inline void _set_irg_loopinfo_state(ir_graph *irg, irg_loopinfo_state s) { irg->loopinfo_state = s; } -static INLINE void +static inline void _set_irg_loopinfo_inconsistent(ir_graph *irg) { irg->loopinfo_state &= ~loopinfo_valid; } -static INLINE void +static inline void _set_irg_pinned(ir_graph *irg, op_pin_state p) { irg->irg_pinned_state = p; } -static INLINE irg_callee_info_state +static inline irg_callee_info_state _get_irg_callee_info_state(const ir_graph *irg) { return irg->callee_info_state; } -static INLINE void +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(); @@ -378,29 +369,29 @@ _set_irg_callee_info_state(ir_graph *irg, irg_callee_info_state s) { set_irp_callee_info_state(s); } -static INLINE irg_inline_property +static inline irg_inline_property _get_irg_inline_property(const ir_graph *irg) { return irg->inline_property; } -static INLINE void +static inline void _set_irg_inline_property(ir_graph *irg, irg_inline_property s) { irg->inline_property = s; } -static INLINE unsigned +static inline unsigned _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 +static inline void _set_irg_additional_properties(ir_graph *irg, unsigned mask) { irg->additional_properties = mask & ~mtp_property_inherited; } -static INLINE void +static inline void _set_irg_additional_property(ir_graph *irg, mtp_additional_property flag) { unsigned prop = irg->additional_properties; @@ -409,48 +400,48 @@ _set_irg_additional_property(ir_graph *irg, mtp_additional_property flag) { irg->additional_properties = prop | flag; } -static INLINE void +static inline void _set_irg_link(ir_graph *irg, void *thing) { irg->link = thing; } -static INLINE void * +static inline void * _get_irg_link(const ir_graph *irg) { return irg->link; } -static INLINE unsigned long +static inline ir_visited_t _get_irg_visited(const ir_graph *irg) { return irg->visited; } -static INLINE unsigned long +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 +static inline void _inc_irg_block_visited(ir_graph *irg) { ++irg->block_visited; } -static INLINE void +static inline void _dec_irg_block_visited(ir_graph *irg) { --irg->block_visited; } -static INLINE unsigned +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 +static inline unsigned _get_irg_fp_model(const ir_graph *irg) { return irg->fp_model; } @@ -461,7 +452,7 @@ _get_irg_fp_model(const ir_graph *irg) { * @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); @@ -474,7 +465,7 @@ 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 +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); @@ -492,8 +483,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(ir_graph *irg, unsigned idx) { assert(idx < (unsigned) ARR_LEN(irg->idx_irn_map)); return irg->idx_irn_map[idx]; } @@ -501,7 +492,7 @@ get_idx_irn(ir_graph *irg, unsigned idx) { /** * Return the number of anchors in this graph. */ -static INLINE int +static inline int get_irg_n_anchors(const ir_graph *irg) { return get_irn_arity(irg->anchor); } @@ -509,7 +500,7 @@ get_irg_n_anchors(const ir_graph *irg) { /** * Return anchor for given index */ -static INLINE ir_node * +static inline ir_node * get_irg_anchor(const ir_graph *irg, int idx) { return get_irn_intra_n(irg->anchor, idx); } @@ -517,13 +508,22 @@ get_irg_anchor(const ir_graph *irg, int idx) { /** * Set anchor for given index */ -static INLINE void +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) #define set_irg_start_block(irg, node) _set_irg_start_block(irg, node) @@ -537,18 +537,16 @@ set_irg_anchor(ir_graph *irg, int idx, ir_node *irn) { #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) @@ -590,5 +588,6 @@ set_irg_anchor(ir_graph *irg, int idx, ir_node *irn) { #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) #endif