X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeabi.h;h=4bab8f8242cbe8117d40f03d3f6be0f9f5d5737e;hb=ee5425ca1c172c4cf244de9864f8fd44ad2cb645;hp=0fa4b14bf43ed7d4b48c9bda1b094cb0d007376b;hpb=65a52a96e8ab7ed601d7f98c516d37c46b674b4a;p=libfirm diff --git a/ir/be/beabi.h b/ir/be/beabi.h index 0fa4b14bf..4bab8f824 100644 --- a/ir/be/beabi.h +++ b/ir/be/beabi.h @@ -21,7 +21,6 @@ * @file * @brief Backend ABI implementation. * @author Sebastian Hack - * @version $Id$ */ #ifndef FIRM_BE_BEABI_H #define FIRM_BE_BEABI_H @@ -36,9 +35,9 @@ #include "beirg.h" #include "bearch.h" #include "beabi.h" +#include "beabihelper.h" -struct _be_abi_call_flags_bits_t { - unsigned left_to_right : 1; /**< Arguments are from left to right. */ +struct be_abi_call_flags_bits_t { unsigned store_args_sequential : 1; /**< Use sequential stores for arguments. */ unsigned try_omit_fp : 1; /**< Try to omit the frame pointer. */ unsigned fp_free : 1; /**< The function can use any register as frame pointer. */ @@ -47,62 +46,24 @@ struct _be_abi_call_flags_bits_t { unsigned frame_is_setup_on_call : 1; /**< Set to one, if there is already enough room on the stack for call args. */ }; -union _be_abi_call_flags_t { +union be_abi_call_flags_t { be_abi_call_flags_bits_t bits; unsigned val; }; -struct _be_abi_callbacks_t { - /** - * Initialize the callback object. - * @param call The call object. - * @param aenv The architecture environment. - * @param irg The graph with the method. - * @return Some pointer. This pointer is passed to all other callback functions as self object. - */ - void *(*init)(const be_abi_call_t *call, const arch_env_t *aenv, ir_graph *irg); - - /** - * Destroy the callback object. - * @param self The callback object. - */ - void (*done)(void *self); - +struct be_abi_callbacks_t { /** * Get the between type for that call. * @param self The callback object. * @return The between type of for that call. */ - ir_type *(*get_between_type)(void *self); - - /** - * Generate the prologue. - * @param self The callback object. - * @param mem A pointer to the mem node. Update this if you define new memory. - * @param reg_map A map mapping all callee_save/ignore/parameter registers to their defining nodes. - * @param stack_bias Points to the current stack bias, can be modified if needed. - * @return The register which shall be used as a stack frame base. - * - * All nodes which define registers in @p reg_map must keep @p reg_map current. - */ - const arch_register_t *(*prologue)(void *self, ir_node **mem, pmap *reg_map, int *stack_bias); - - /** - * Generate the epilogue. - * @param self The callback object. - * @param mem Memory one can attach to. - * @param reg_map A mapping mapping all callee_save/ignore/return registers to their defining nodes. - * - * All nodes which define registers in @p reg_map must keep @p reg_map current. - * Also, the @p mem variable must be updated, if memory producing nodes are inserted. - */ - void (*epilogue)(void *self, ir_node *bl, ir_node **mem, pmap *reg_map); + ir_type *(*get_between_type)(ir_graph *irg); }; /** * Set the flags for a call. * @param call The call. - * @param flags Some flags to be set. + * @param flags Some flags to be set. * @param cb The call callbacks for that call. * @note The ABI phase might change the flags due to analysis. */ @@ -182,68 +143,8 @@ be_abi_call_flags_t be_abi_call_get_flags(const be_abi_call_t *call); */ ir_type *be_abi_call_get_method_type(const be_abi_call_t *call); -be_abi_irg_t *be_abi_introduce(ir_graph *irg); - -/** - * Fix the stack bias for all nodes accessing the stack frame using the - * stack pointer. - */ -void be_abi_fix_stack_bias(be_abi_irg_t *env); -void be_abi_free(be_abi_irg_t *abi); - -/** - * Rewire all stack modifying nodes and their users to assure SSA property. - * @param env The abi - */ -void be_abi_fix_stack_nodes(be_abi_irg_t *env); +void be_abi_introduce(ir_graph *irg); -/** - * Put the registers which are forbidden specifically for this IRG in a bitset. - */ -void be_abi_put_ignore_regs(be_abi_irg_t *abi, const arch_register_class_t *cls, bitset_t *bs); - -void be_abi_set_non_ignore_regs(be_abi_irg_t *abi, const arch_register_class_t *cls, unsigned *raw_bitset); - -ir_node *be_abi_get_callee_save_irn(be_abi_irg_t *abi, const arch_register_t *reg); -ir_node *be_abi_get_ignore_irn(be_abi_irg_t *abi, const arch_register_t *reg); - -#define be_abi_reg_map_get(map, reg) pmap_get((map), (void *) (reg)) -#define be_abi_reg_map_set(map, reg, irn) pmap_insert((map), (void *) (reg), (irn)) - -/** 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 it's 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. */ - - ir_entity **param_map; /**< An array mapping type parameters to arg_type entries */ - int initial_offset; /**< the initial difference between stack pointer and frame pointer */ - int initial_bias; /**< the initial stack bias */ - int stack_dir; /**< -1 for decreasing, 1 for increasing. */ -}; - -/** - * Returns the stack layout from a abi environment. - */ -const be_stack_layout_t *be_abi_get_stack_layout(const be_abi_irg_t *abi); - -/** - * Returns non-zero if the ABI has omitted the frame pointer in - * the current graph. - */ -int be_abi_omit_fp(const be_abi_irg_t *abi); +void be_abi_free(ir_graph *irg); -#endif /* FIRM_BE_BEABI_H */ +#endif