X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbepeephole.h;h=a7f36fc4f244d9337cf2e8284e54564045c95ffa;hb=5cb14f12bacb0c7d1c646112b4660d57e14236a2;hp=697f8fefecf5d1a60132f887ef0f24bb69a69505;hpb=277830bf1592378d809bc22b0a0c3c9c5bdbdd8c;p=libfirm diff --git a/ir/be/bepeephole.h b/ir/be/bepeephole.h index 697f8fefe..a7f36fc4f 100644 --- a/ir/be/bepeephole.h +++ b/ir/be/bepeephole.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. * * This file is part of libFirm. * @@ -32,13 +32,13 @@ extern ir_node ***register_values; -static inline ir_node *be_peephole_get_value(unsigned regclass_idx, +static INLINE ir_node *be_peephole_get_value(unsigned regclass_idx, unsigned register_idx) { return register_values[regclass_idx][register_idx]; } -static inline ir_node *be_peephole_get_reg_value(const arch_register_t *reg) +static INLINE ir_node *be_peephole_get_reg_value(const arch_register_t *reg) { unsigned regclass_idx = arch_register_class_index(arch_register_get_class(reg)); unsigned register_idx = arch_register_get_index(reg); @@ -46,12 +46,39 @@ static inline ir_node *be_peephole_get_reg_value(const arch_register_t *reg) return be_peephole_get_value(regclass_idx, register_idx); } -typedef ir_node*(*peephole_opt_func) (ir_node *node); +/** + * Datatype of the generic op handler for optimisation. + */ +typedef void (*peephole_opt_func) (ir_node *node); + +/** + * Notify the peephole phase about a newly added node, so it can update its + * internal state. This is not needed for the new node, when + * be_peephole_exchange() is used. */ +void be_peephole_new_node(ir_node *nw); + +/** + * When doing peephole optimisation use this function instead of plain + * exchange(), so it can update its internal state. */ +void be_peephole_exchange(ir_node *old, ir_node *nw); + +/** + * Tries to optimize a beIncSp node with it's previous IncSP node. + * Must be run from a be_peephole_opt() context. + * + * @param node a be_IncSP node + * + * @return the new IncSP node or node itself + */ +ir_node *be_peephole_IncSP_IncSP(ir_node *node); /** - * Do peephole optimisations, works backwards over blockschedules and calls the generic op handler function - * which should be of type peephole_opt_func. The values of the values in the registers are availble - * in the register_values variable during the optimisation functions. + * Do peephole optimisations. It traverses the schedule of all blocks in + * backward direction. The register_values variable indicates which (live) + * values are stored in which register. + * The generic op handler is called for each node if it exists. That's where + * backend specific optimisations should be performed based on the + * register-liveness information. */ void be_peephole_opt(be_irg_t *birg);