X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbenode.h;h=003cad1fff83d9f4af855ba0587e3fbed0e4032d;hb=5474a1c188c9d59eea2c915515980cd9cbab58d8;hp=d9f8a01863e839ed5c0ab2d16389ea170354f200;hpb=4764ebb82834c3370640980c9299f0dbb1ac598d;p=libfirm diff --git a/ir/be/benode.h b/ir/be/benode.h index d9f8a0186..003cad1ff 100644 --- a/ir/be/benode.h +++ b/ir/be/benode.h @@ -22,7 +22,6 @@ * @brief Backend node support for generic backend nodes. * @author Sebastian Hack * @date 17.05.2005 - * @version $Id$ * * Backend node support for generic backend nodes. * This file provides Perm, Copy, Spill and Reload nodes. @@ -53,14 +52,6 @@ extern ir_op *op_be_AddSP; extern ir_op *op_be_SubSP; extern ir_op *op_be_Start; extern ir_op *op_be_FrameAddr; -extern ir_op *op_be_Barrier; - -/** - * 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_EXPAND INT_MAX -#define BE_STACK_FRAME_SIZE_SHRINK INT_MIN /** * Determines if irn is a be_node. @@ -72,12 +63,14 @@ int is_be_node(const ir_node *irn); */ void be_init_op(void); +void be_finish_op(void); + /** * Position numbers for the be_Spill inputs. */ enum { - be_pos_Spill_frame = 0, - be_pos_Spill_val = 1 + n_be_Spill_frame = 0, + n_be_Spill_val = 1 }; /** @@ -91,8 +84,8 @@ ir_node *be_new_Spill(const arch_register_class_t *cls, * Position numbers for the be_Reload inputs. */ enum { - be_pos_Reload_frame = 0, - be_pos_Reload_mem = 1 + n_be_Reload_frame = 0, + n_be_Reload_mem = 1 }; /** @@ -106,14 +99,13 @@ ir_node *be_new_Reload(const arch_register_class_t *cls, * Position numbers for the be_Copy inputs. */ enum { - be_pos_Copy_op = 0 + n_be_Copy_op = 0 }; /** * Make a new Copy node. */ -ir_node *be_new_Copy(const arch_register_class_t *cls, ir_node *block, - ir_node *in); +ir_node *be_new_Copy(ir_node *block, ir_node *in); /** Returns the Copy Argument. */ ir_node *be_get_Copy_op(const ir_node *cpy); /** Sets the Copy Argument. */ @@ -157,7 +149,7 @@ void be_Keep_add_node(ir_node *keep, const arch_register_class_t *cls, * Position numbers for the be_FrameAddr inputs */ enum { - be_pos_FrameAddr_ptr = 0 + n_be_FrameAddr_ptr = 0 }; /** Create a new FrameAddr node. */ @@ -173,9 +165,9 @@ ir_entity *be_get_FrameAddr_entity(const ir_node *node); * Position numbers for the be_AddSP inputs */ enum { - be_pos_AddSP_old_sp = 0, - be_pos_AddSP_size = 1, - be_pos_AddSP_last = 2 + n_be_AddSP_old_sp = 0, + n_be_AddSP_size = 1, + n_be_AddSP_last = 2 }; enum { @@ -204,9 +196,9 @@ ir_node *be_new_AddSP(const arch_register_t *sp, ir_node *block, * Position numbers for the be_SubSP inputs */ enum { - be_pos_SubSP_old_sp = 0, - be_pos_SubSP_size = 1, - be_pos_SubSP_last = 2 + n_be_SubSP_old_sp = 0, + n_be_SubSP_size = 1, + n_be_SubSP_last = 2 }; enum { @@ -283,20 +275,21 @@ unsigned be_Call_get_pop(const ir_node *call); * Position numbers for the be_Call inputs. */ enum { - be_pos_Call_mem = 0, /**< memory input of a be_Call node */ - be_pos_Call_sp = 1, /**< stack pointer input of a be_Call node */ - be_pos_Call_ptr = 2, /**< call pointer input of a be_Call node */ - be_pos_Call_first_arg = 3 /**< first argument input of a be_Call node */ + n_be_Call_mem = 0, /**< memory input of a be_Call node */ + n_be_Call_sp = 1, /**< stack pointer input of a be_Call node */ + n_be_Call_ptr = 2, /**< call pointer input of a be_Call node */ + n_be_Call_first_arg = 3 /**< first argument input of a be_Call node */ }; /** * Projection numbers for result of be_Call node: use for Proj nodes! */ typedef enum { - pn_be_Call_M_regular = pn_Call_M, /**< The memory result of a be_Call. */ - pn_be_Call_sp = pn_Call_max, - pn_be_Call_first_res /**< The first result proj number of a - be_Call. */ + pn_be_Call_M = pn_Call_M, /**< The memory result of a be_Call. */ + pn_be_Call_X_regular = pn_Call_X_regular, + pn_be_Call_X_except = pn_Call_X_except, + pn_be_Call_sp = pn_Call_max+1, + pn_be_Call_first_res /**< The first result proj number of a be_Call. */ } pn_be_Call; /** @@ -322,9 +315,9 @@ ir_node *be_new_Call(dbg_info *dbg, ir_graph *irg, ir_node *block, ir_node *mem, * Position numbers for the be_Return inputs. */ enum { - be_pos_Return_mem = 0, /**< memory input of a be_Return node */ - be_pos_Return_sp = 1, /**< stack pointer input of a be_Return node */ - be_pos_Return_val = 2, /**< first "real" return value if any */ + n_be_Return_mem = 0, /**< memory input of a be_Return node */ + n_be_Return_sp = 1, /**< stack pointer input of a be_Return node */ + n_be_Return_val = 2, /**< first "real" return value if any */ }; /** @@ -366,50 +359,15 @@ int be_Return_get_emit_pop(const ir_node *ret); */ void be_Return_set_emit_pop(ir_node *ret, int emit_pop); -/** appends a node to the return node, returns the position of the node */ -int be_Return_append_node(ir_node *ret, ir_node *node); - ir_node *be_new_Start(dbg_info *dbgi, ir_node *block, int n_out); -ir_node *be_new_Barrier(ir_node *block, int n, ir_node *in[]); - -/** - * Appends a node to a barrier, returns the result proj of the node - */ -ir_node *be_Barrier_append_node(ir_node *barrier, ir_node *node); - -/** - * Make a spill node. - * - * @param irn The node to be spilled. - * @param block the block where the spill should be placed - * @return The new spill node. - */ -ir_node *be_spill(ir_node *block, ir_node *irn); - -/** - * Make a reload and insert it into the schedule. - * - * @param cls The register class of the reloaded value. - * @param insert The node in the schedule in front of which the reload is - * inserted. - * @param mode The mode of the original (spilled) value. - * @param spill The spill node corresponding to this reload. - * @return A freshly made reload. - */ -ir_node *be_reload(const arch_register_class_t *cls, ir_node *insert, - ir_mode *mode, ir_node *spill); - enum { - be_pos_CopyKeep_op = 0 + n_be_CopyKeep_op = 0 }; -ir_node *be_new_CopyKeep(const arch_register_class_t *cls, ir_node *block, - ir_node *src, int n, ir_node *in_keep[], - ir_mode *mode); +ir_node *be_new_CopyKeep(ir_node *block, ir_node *src, + int n, ir_node *in_keep[]); -ir_node *be_new_CopyKeep_single(const arch_register_class_t *cls, - ir_node *block, ir_node *src, ir_node *keep, - ir_mode *mode); +ir_node *be_new_CopyKeep_single(ir_node *block, ir_node *src, ir_node *keep); ir_node *be_get_CopyKeep_op(const ir_node *cpy); @@ -486,7 +444,7 @@ void be_node_set_reg_class_out(ir_node *irn, int pos, */ void be_set_phi_reg_req(ir_node *phi, const arch_register_req_t *req); -void be_dump_phi_reg_reqs(FILE *out, ir_node *node, dump_reason_t reason); +void be_dump_phi_reg_reqs(FILE *out, const ir_node *node, dump_reason_t reason); /** * Creates a new phi with associated backend informations @@ -495,9 +453,15 @@ ir_node *be_new_Phi(ir_node *block, int n_ins, ir_node **ins, ir_mode *mode, const arch_register_class_t *cls); /** - * irn handler for common be nodes and Phi's. + * Search for output of start node with a specific register + */ +ir_node *be_get_initial_reg_value(ir_graph *irg, const arch_register_t *reg); + +/** + * Search for input of a return node with a specific register and return + * its number. */ -const void *be_node_get_irn_ops(const ir_node *irn); +int be_find_return_reg_input(ir_node *ret, const arch_register_t *reg); static inline int be_is_Spill (const ir_node *irn) { return get_irn_opcode(irn) == beo_Spill ; } static inline int be_is_Reload (const ir_node *irn) { return get_irn_opcode(irn) == beo_Reload ; } @@ -511,8 +475,7 @@ static inline int be_is_Return (const ir_node *irn) { return get_irn_opcode(ir static inline int be_is_IncSP (const ir_node *irn) { return get_irn_opcode(irn) == beo_IncSP ; } static inline int be_is_AddSP (const ir_node *irn) { return get_irn_opcode(irn) == beo_AddSP ; } static inline int be_is_SubSP (const ir_node *irn) { return get_irn_opcode(irn) == beo_SubSP ; } -static inline int be_is_Start (const ir_node *irn) { return get_irn_opcode(irn) == beo_Start; } +static inline int be_is_Start (const ir_node *irn) { return get_irn_opcode(irn) == beo_Start ; } static inline int be_is_FrameAddr(const ir_node *irn) { return get_irn_opcode(irn) == beo_FrameAddr; } -static inline int be_is_Barrier (const ir_node *irn) { return get_irn_opcode(irn) == beo_Barrier ; } #endif