X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbenode_t.h;h=cd24555523949b2cb4a4306c517fd0390f495451;hb=588054c00e0e6eadf61f7cc8998cbcc6bbae297c;hp=1651e074ee735da3cf10ba3c0c6c79fcfaa0e5c0;hpb=56c63a84f8726e7a9492f5868d4b0da4c829991c;p=libfirm diff --git a/ir/be/benode_t.h b/ir/be/benode_t.h index 1651e074e..cd2455552 100644 --- a/ir/be/benode_t.h +++ b/ir/be/benode_t.h @@ -22,6 +22,27 @@ #include "be_t.h" #include "bearch.h" +#define BE_OUT_POS(p) (-((p) + 1)) + +/** + * The benode op's. Must be available to register emitter function. + */ +extern ir_op *op_be_Spill; +extern ir_op *op_be_Reload; +extern ir_op *op_be_Perm; +extern ir_op *op_be_Copy; +extern ir_op *op_be_Keep; +extern ir_op *op_be_Call; +extern ir_op *op_be_Return; +extern ir_op *op_be_IncSP; +extern ir_op *op_be_Alloca; +extern ir_op *op_be_SetSP; +extern ir_op *op_be_RegParams; +extern ir_op *op_be_StackParam; +extern ir_op *op_be_FrameAddr; +extern ir_op *op_be_FrameLoad; +extern ir_op *op_be_FrameStore; + typedef enum { beo_NoBeOp = 0, beo_Spill, @@ -32,35 +53,68 @@ typedef enum { beo_NoReg, beo_Call, beo_Return, - beo_AddSP, + beo_Alloca, beo_IncSP, + beo_SetSP, beo_RegParams, beo_StackParam, + beo_FrameLoad, + beo_FrameStore, + beo_FrameAddr, beo_Last } be_opcode_t; +/** Expresses the direction of the stack pointer increment of IncSP nodes. */ typedef enum { be_stack_dir_along = 0, be_stack_dir_against = 1 } be_stack_dir_t; +/** Not used yet. */ +typedef enum { + be_frame_flag_spill = 1, + be_frame_flag_local = 2, + be_frame_flag_arg = 4 +} be_frame_flag_t; + +/** + * A "symbolic constant" for the size of the stack frame to use with IncSP nodes. + * It gets back-patched to the real size as soon it is known. + */ #define BE_STACK_FRAME_SIZE ((unsigned) -1) void be_node_init(void); const arch_irn_handler_t be_node_irn_handler; -ir_node *be_new_Spill(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, ir_node *node_to_spill, ir_node *ctx); -ir_node *be_new_Reload(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, ir_mode *mode, ir_node *spill_node); +enum { + be_pos_Spill_frame = 0, + be_pos_Spill_val = 1 +}; +ir_node *be_new_Spill(const arch_register_class_t *cls, const arch_register_class_t *cls_frame, ir_graph *irg, ir_node *bl, ir_node *frame, ir_node *node_to_spill, ir_node *ctx); + +enum { + be_pos_Reload_frame = 0, + be_pos_Reload_mem = 1 +}; +ir_node *be_new_Reload(const arch_register_class_t *cls, const arch_register_class_t *cls_frame, ir_graph *irg, ir_node *bl, ir_node *frame, ir_node *spill_node, ir_mode *mode); ir_node *be_new_Copy(const arch_register_class_t *cls, ir_graph *irg, ir_node *block, ir_node *in); ir_node *be_new_Perm(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, int arity, ir_node *in[]); ir_node *be_new_Keep(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, int arity, ir_node *in[]); -ir_node *be_new_AddSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *operand); +ir_node *be_new_FrameLoad(const arch_register_class_t *cls_frame, const arch_register_class_t *cls_data, + ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *frame, entity *ent); +ir_node *be_new_FrameStore(const arch_register_class_t *cls_frame, const arch_register_class_t *cls_data, + ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *frame, ir_node *data, entity *ent); +ir_node *be_new_FrameAddr(const arch_register_class_t *cls_frame, ir_graph *irg, ir_node *bl, ir_node *frame, entity *ent); + +ir_node *be_new_Alloca(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *old_sp, ir_node *sz); + +ir_node *be_new_SetSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *operand, ir_node *mem); /** * Make a stack pointer increase/decrease node. - * @param sp The stack poitner register. + * @param sp The stack pointer register. * @param irg The graph to insert the node to. * @param bl The block to insert the node into. * @param old_sp The node defining the former stack pointer. @@ -70,23 +124,36 @@ ir_node *be_new_AddSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_ * @return A new stack pointer increment/decrement node. * @note This node sets a register constraint to the @p sp register on its output. */ -ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, unsigned amount, be_stack_dir_t dir); +ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *mem, unsigned amount, be_stack_dir_t dir); void be_set_IncSP_offset(ir_node *irn, unsigned offset); -unsigned be_get_IncSP_offset(ir_node *irn); +unsigned be_get_IncSP_offset(const ir_node *irn); void be_set_IncSP_direction(ir_node *irn, be_stack_dir_t dir); -be_stack_dir_t be_get_IncSP_direction(ir_node *irn); +be_stack_dir_t be_get_IncSP_direction(const ir_node *irn); + +entity *be_Call_get_entity(const ir_node *call); +void be_Call_set_entity(ir_node *call, entity *ent); + +enum { + be_pos_Call_mem = 0, + be_pos_Call_sp = 1, + be_pos_Call_ptr = 2 +}; ir_node *be_new_Call(ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *sp, ir_node *ptr, int n_outs, int n, ir_node *in[]); ir_node *be_new_Return(ir_graph *irg, ir_node *bl, int n, ir_node *in[]); -ir_node *be_new_StackParam(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, ir_mode *mode, ir_node *frame_pointer, unsigned offset); +ir_node *be_new_StackParam(const arch_register_class_t *cls, const arch_register_class_t *cls_frame, ir_graph *irg, ir_node *bl, ir_mode *mode, ir_node *frame_pointer, entity *ent); ir_node *be_new_RegParams(ir_graph *irg, ir_node *bl, int n_out); -ir_node *be_new_NoReg(const arch_register_t *reg, ir_graph *irg, ir_node *bl); ir_node *be_spill(const arch_env_t *arch_env, ir_node *irn,ir_node *spill_ctx); -ir_node *be_reload(const arch_env_t *arch_env, const arch_register_class_t *cls, ir_node *irn, int pos, ir_mode *mode, ir_node *spill); +ir_node *be_reload(const arch_env_t *arch_env, const arch_register_class_t *cls, ir_node *reloader, ir_mode *mode, ir_node *spill); +/** + * Get the backend opcode of a backend node. + * @param irn The node. + * @return The backend opcode. + */ be_opcode_t be_get_irn_opcode(const ir_node *irn); int be_is_Spill(const ir_node *irn); @@ -95,18 +162,36 @@ int be_is_Copy(const ir_node *irn); int be_is_Perm(const ir_node *irn); int be_is_Keep(const ir_node *irn); int be_is_Call(const ir_node *irn); +int be_is_Return(const ir_node *irn); int be_is_IncSP(const ir_node *irn); -int be_is_AddSP(const ir_node *irn); +int be_is_SetSP(const ir_node *irn); +int be_is_Alloca(const ir_node *irn); int be_is_RegParams(const ir_node *irn); int be_is_StackParam(const ir_node *irn); -int be_is_NoReg(const ir_node *irn); +int be_is_FrameAddr(const ir_node *irn); +int be_is_FrameLoad(const ir_node *irn); +int be_is_FrameStore(const ir_node *irn); +/** + * Get the entity on the stack frame the given node uses. + * @param irn The node. + * @return The entity on the stack frame used by the node or NULL, + * if the node does not access the stack frame or is no back-end node. + * + */ +entity *be_get_frame_entity(const ir_node *irn); void be_set_Spill_entity(ir_node *irn, entity *ent); -entity *be_get_spill_entity(ir_node *irn); +entity *be_get_spill_entity(const ir_node *irn); ir_node *be_get_Spill_context(const ir_node *irn); +/** + * Set the entities of a Reload to the ones of the Spill it is pointing to. + * @param irg The graph. + */ +void be_copy_entities_to_reloads(ir_graph *irg); + /** * Impose a register constraint on a backend node. * @param irn The node. @@ -125,8 +210,20 @@ void be_set_constr_single_reg(ir_node *irn, int pos, const arch_register_t *reg) */ void be_set_constr_limited(ir_node *irn, int pos, const arch_register_req_t *req); +/** + * Set the flags of a node. + * @param irn The node itself. + * @param pos The position (0..n) for arguments, (-1..-m) for results. + * @param flags The flags to set for that node and position. + */ void be_node_set_flags(ir_node *irn, int pos, arch_irn_flags_t flags); +/** + * Set the register class of a node. + * @param irn The node itself. + * @param pos The position (0..n) for arguments, (-1..-m) for results. + * @param flags The register class to set for that node and position. + */ void be_node_set_reg_class(ir_node *irn, int pos, const arch_register_class_t *cls); /**