X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbenode_t.h;h=cd24555523949b2cb4a4306c517fd0390f495451;hb=365b4cfd34bc444107b8f90c9c9431c64ee20e44;hp=24335650ac14a13b9d16f4d0f1ee63309c75f3c3;hpb=0ede039789208c6193a14b4505417a4995369516;p=libfirm diff --git a/ir/be/benode_t.h b/ir/be/benode_t.h index 24335650a..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,8 +53,9 @@ typedef enum { beo_NoReg, beo_Call, beo_Return, - beo_AddSP, + beo_Alloca, beo_IncSP, + beo_SetSP, beo_RegParams, beo_StackParam, beo_FrameLoad, @@ -42,25 +64,40 @@ typedef enum { 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[]); @@ -71,11 +108,13 @@ ir_node *be_new_FrameStore(const arch_register_class_t *cls_frame, const arch_re 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_AddSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *operand); +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. @@ -88,20 +127,33 @@ ir_node *be_new_AddSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_ 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, entity *ent); +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); @@ -110,12 +162,15 @@ 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. @@ -124,13 +179,19 @@ int be_is_NoReg(const ir_node *irn); * if the node does not access the stack frame or is no back-end node. * */ -entity *be_get_frame_entity(ir_node *irn); +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. @@ -149,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); /**