X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firoptimize.h;h=590acc70080570ccb65be46952061bc866a6f848;hb=9ec98298a0bf99ccb9533365dd7245e0a380f3df;hp=c4c94a3794d200ede271c133d376dae3c4e92521;hpb=a5ede4e203b6a25705f88d2142960f9bf5cf6d95;p=libfirm diff --git a/include/libfirm/iroptimize.h b/include/libfirm/iroptimize.h index c4c94a379..590acc700 100644 --- a/include/libfirm/iroptimize.h +++ b/include/libfirm/iroptimize.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. * @@ -51,6 +51,14 @@ void optimize_cf(ir_graph *irg); */ void opt_cond_eval(ir_graph* irg); +/** + * Try to simplify boolean expression in the given ir graph. + * eg. x < 5 && x < 6 becomes x < 5 + * + * @param irg the graph + */ +void opt_bool(ir_graph *irg); + /** * Try to reduce the number of conv nodes in the given ir graph. * @@ -132,14 +140,16 @@ void escape_analysis(int run_scalar_replace, check_alloc_entity_func callback); * if no const function graph was detected. * Else calls are only optimized if at least one * const function graph was detected. + * @param callback a callback function to check whether a + * given entity is a allocation call * - * If the fontend created external entities with the irg_const_function + * If the frontend created external entities with the irg_const_function * property set, the force_run parameter should be set, else * should be unset. * * @note This optimization destroys the link fields of nodes. */ -void optimize_funccalls(int force_run); +void optimize_funccalls(int force_run, check_alloc_entity_func callback); /** * Does Partial Redundancy Elimination combined with @@ -171,13 +181,13 @@ typedef int (*arch_allow_ifconv_func)(ir_node *sel, ir_node* phi_list, int i, in /** * The parameters structure. */ -typedef struct _opt_if_conv_info_t { - int max_depth; /**< The maximum depth up to which expressions - are examined when it has to be decided if they - can be placed into another block. */ - arch_allow_ifconv_func allow_ifconv; /**< Evaluator function, if not set all possible Psi - nodes will be created. */ -} opt_if_conv_info_t; +struct ir_settings_if_conv_t { + int max_depth; /**< The maximum depth up to which expressions + are examined when it has to be decided if they + can be placed into another block. */ + arch_allow_ifconv_func allow_ifconv; /**< Evaluator function, if not set all possible Psi + nodes will be created. */ +}; /** * Perform If conversion on a graph. @@ -188,7 +198,7 @@ typedef struct _opt_if_conv_info_t { * Cannot handle blocks with Bad control predecessors, so call it after control * flow optimization. */ -void opt_if_conv(ir_graph *irg, const opt_if_conv_info_t *params); +void opt_if_conv(ir_graph *irg, const ir_settings_if_conv_t *params); void opt_ldst2(ir_graph *irg); @@ -241,7 +251,9 @@ typedef enum osr_flags { osr_flag_none = 0, /**< no additional flags */ osr_flag_lftr_with_ov_check = 1, /**< do linear function test replacement only if no overflow can occur. */ - osr_flag_ignore_x86_shift = 2 /**< ignore Multiplications by 2, 4, 8 */ + osr_flag_ignore_x86_shift = 2, /**< ignore Multiplications by 2, 4, 8 */ + osr_flag_keep_reg_pressure = 4 /**< do NOT increase register pressure by introducing new + induction variables. */ } osr_flags; /* FirmJNI cannot handle identical enum values... */ @@ -405,15 +417,23 @@ void normalize_n_returns(ir_graph *irg); * with atomic values if possible. Does not handle classes yet. * * @param irg the graph which should be optimized + * + * @return non-zero, if at least one entity was replaced */ -void scalar_replacement_opt(ir_graph *irg); +int scalar_replacement_opt(ir_graph *irg); /** Performs strength reduction for the passed graph. */ void reduce_strength(ir_graph *irg); /** - * Optimizes simple tail-recursion calls by - * converting them into loops. Depends on the flag opt_tail_recursion. + * Optimizes tail-recursion calls by converting them into loops. + * Depends on the flag opt_tail_recursion. + * Currently supports the following forms: + * - return func(); + * - return x + func(); + * - return func() - x; + * - return x * func(); + * - return -func(); * * Does not work for Calls that use the exception stuff. * @@ -493,11 +513,4 @@ void normalize_irg_class_casts(ir_graph *irg, gen_pointer_type_to_func gppt_fct) */ void optimize_class_casts(void); -/** - * Change the calling conventions for all local methods. - * - * @param cc new calling convention - */ -void opt_change_calling_conventions(unsigned cc); - #endif