X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeirg.h;h=8970cf481e445525a1226001b2068d8691160bb3;hb=ea8311d17021e1998d8ac2f88312ffd771cd5668;hp=aa653271c350d726fb61c301ed539249fc79e263;hpb=69849fc8fe452350bfbd2ad67f1898147fc906b4;p=libfirm diff --git a/ir/be/beirg.h b/ir/be/beirg.h index aa653271c..8970cf481 100644 --- a/ir/be/beirg.h +++ b/ir/be/beirg.h @@ -22,7 +22,6 @@ * @brief Backend irg - a ir_graph with additional analysis information. * @author Matthias Braun * @date 05.05.2006 - * @version $Id$ */ #ifndef FIRM_BE_BEIRG_H #define FIRM_BE_BEIRG_H @@ -32,40 +31,86 @@ #include "be_t.h" #include "irtypes.h" -be_lv_t *be_assure_liveness(ir_graph *irg); - void be_assure_dom_front(ir_graph *irg); void be_invalidate_dom_front(ir_graph *irg); +void be_assure_live_sets(ir_graph *irg); +void be_assure_live_chk(ir_graph *irg); +/** + * Liveness is invalid (call when nodes have been added but the control + * flow has not been changed) + */ +void be_invalidate_live_sets(ir_graph *irg); +/** + * Call when control flow has changed. + * be_invalidate_live_sets() is called. + */ +void be_invalidate_live_chk(ir_graph *irg); + /** * frees all memory allocated by birg structures (liveness, dom_front, ...). * The memory of the birg structure itself is not freed. */ void be_free_birg(ir_graph *irg); +/** The number of parts of the stack layout. */ +#define N_FRAME_TYPES 3 + +/** + * This type describes the stack layout. + * The stack is divided into 3 parts: + * - arg_type: A struct type describing the stack arguments and its order. + * - between_type: A struct type describing the stack layout between arguments + * and frame type. In architectures that put the return address + * automatically on the stack, the return address is put here. + * - frame_type: A class type describing the frame layout. + */ +struct be_stack_layout_t { + ir_type *arg_type; /**< A type describing the stack argument layout. */ + ir_type *between_type; /**< A type describing the "between" layout. */ + ir_type *frame_type; /**< The frame type. */ + + ir_type *order[N_FRAME_TYPES]; /**< arg, between and frame types ordered. */ + + int initial_offset; /**< the initial difference between stack pointer and frame pointer */ + int initial_bias; /**< the initial stack bias */ + bool sp_relative : 1; /**< entities are addressed relative to + stack pointer (omit-fp mode) */ +}; + /** * An ir_graph with additional analysis data about this irg. Also includes some * backend structures */ -struct be_irg_t { - ir_graph *irg; - be_main_env_t *main_env; - be_abi_irg_t *abi; - arch_code_generator_t *cg; - ir_exec_freq *exec_freq; - be_dom_front_info_t *dom_front; - be_lv_t *lv; - struct obstack obst; /**< birg obstack (mainly used to keep - register constraints which we can't keep - in the irg obst, because it gets replace - during code selection) */ -}; +typedef struct be_irg_t { + ir_graph *irg; + be_main_env_t *main_env; + be_abi_irg_t *abi; + ir_exec_freq *exec_freq; + be_dom_front_info_t *dom_front; + be_lv_t *lv; + be_stack_layout_t stack_layout; + unsigned *allocatable_regs; /**< registers available for the + allocator */ + arch_register_req_t *sp_req; /**< requirements for stackpointer producing + nodes. */ + struct obstack obst; /**< birg obstack (mainly used to keep + register constraints which we can't keep + in the irg obst, because it gets replaced + during code selection) */ + void *isa_link; /**< architecture specific per-graph data*/ +} be_irg_t; static inline be_irg_t *be_birg_from_irg(const ir_graph *irg) { return (be_irg_t*) irg->be_data; } +static inline be_main_env_t *be_get_irg_main_env(const ir_graph *irg) +{ + return be_birg_from_irg(irg)->main_env; +} + static inline be_lv_t *be_get_irg_liveness(const ir_graph *irg) { return be_birg_from_irg(irg)->lv; @@ -81,6 +126,16 @@ static inline be_dom_front_info_t *be_get_irg_dom_front(const ir_graph *irg) return be_birg_from_irg(irg)->dom_front; } +static inline be_abi_irg_t *be_get_irg_abi(const ir_graph *irg) +{ + return be_birg_from_irg(irg)->abi; +} + +static inline void be_set_irg_abi(ir_graph *irg, be_abi_irg_t *abi) +{ + be_birg_from_irg(irg)->abi = abi; +} + /** deprecated */ static inline ir_graph *be_get_birg_irg(const be_irg_t *birg) { @@ -92,10 +147,15 @@ static inline const arch_env_t *be_get_irg_arch_env(const ir_graph *irg) return be_birg_from_irg(irg)->main_env->arch_env; } -static inline struct obstack *be_get_birg_obst(const ir_graph *irg) +static inline struct obstack *be_get_be_obst(const ir_graph *irg) { be_irg_t *birg = be_birg_from_irg(irg); return &birg->obst; } -#endif /* FIRM_BE_BEIRG_H */ +static inline be_stack_layout_t *be_get_irg_stack_layout(const ir_graph *irg) +{ + return &be_birg_from_irg(irg)->stack_layout; +} + +#endif