X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeabi.h;h=9ba4b6c2951978af6a9b05408cabe726a9fd48e1;hb=9a78c10bb1c78b0513f31e8b2a0222e3c497c454;hp=b307fe91773700c164d9c4929cf44eac56e33172;hpb=d2c1b0191844c3c23731158a153838d570dcd65a;p=libfirm diff --git a/ir/be/beabi.h b/ir/be/beabi.h index b307fe917..9ba4b6c29 100644 --- a/ir/be/beabi.h +++ b/ir/be/beabi.h @@ -36,9 +36,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 +47,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. */ @@ -120,6 +82,16 @@ void be_abi_call_set_pop(be_abi_call_t *call, int pop); */ void be_abi_call_set_call_address_reg_class(be_abi_call_t *call, const arch_register_class_t *cls); +/** + * The ABI can change when we call a function vs. when we have + * been called. + */ +typedef enum { + ABI_CONTEXT_CALLEE = 1 << 0, + ABI_CONTEXT_CALLER = 1 << 1, + ABI_CONTEXT_BOTH = ABI_CONTEXT_CALLEE | ABI_CONTEXT_CALLER +} be_abi_context_t; + /** * Record the that ABI transmits call argument pos on the stack. Modifies the abi object. * @@ -130,7 +102,9 @@ void be_abi_call_set_call_address_reg_class(be_abi_call_t *call, const arch_regi * @param space_before size of allocated additional space before the parameter * @param space_after size of allocated additional space after the parameter */ -void be_abi_call_param_stack(be_abi_call_t *call, int pos, ir_mode *load_mode, unsigned alignment, unsigned space_before, unsigned space_after); +void be_abi_call_param_stack(be_abi_call_t *call, int pos, ir_mode *load_mode, + unsigned alignment, unsigned space_before, + unsigned space_after, be_abi_context_t context); /** * Record the that ABI transmits call argument pos in the given register. @@ -139,7 +113,9 @@ void be_abi_call_param_stack(be_abi_call_t *call, int pos, ir_mode *load_mode, u * @param pos the parameter position * @param reg the register used */ -void be_abi_call_param_reg(be_abi_call_t *call, int pos, const arch_register_t *reg); +void be_abi_call_param_reg(be_abi_call_t *call, int pos, + const arch_register_t *reg, + be_abi_context_t context); /** * Record the that ABI transmits return value pos in the given register. @@ -148,7 +124,9 @@ void be_abi_call_param_reg(be_abi_call_t *call, int pos, const arch_register_t * * @param pos the return value position * @param reg the register used */ -void be_abi_call_res_reg(be_abi_call_t *call, int pos, const arch_register_t *reg); +void be_abi_call_res_reg(be_abi_call_t *call, int pos, + const arch_register_t *reg, + be_abi_context_t context); /** * Get the flags of a ABI call object. @@ -166,68 +144,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(be_irg_t *bi); - -/** - * 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); - -/** - * 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. */ -}; +void be_abi_introduce(ir_graph *irg); -/** - * 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