X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firflag.c;h=745ae0d936e51201ab3769455c78715564a80c82;hb=1ce363f80e6a204d4011f85813362d9bd1d0e7e4;hp=69004ebc35c8db3e6230960331f4bf61c2e9dba1;hpb=c2b4a9f3d77fda7989e9cbd6293b9f9f58f4221c;p=libfirm diff --git a/ir/ir/irflag.c b/ir/ir/irflag.c index 69004ebc3..745ae0d93 100644 --- a/ir/ir/irflag.c +++ b/ir/ir/irflag.c @@ -1,196 +1,186 @@ /* - * Project: libFIRM - * File name: ir/ir/irflag.c - * Purpose: Flags to control optimizations. - * Author: Christian Schaefer, Goetz Lindenmaier - * Modified by: - * Created: - * CVS-ID: $Id$ - * Copyright: (c) 1999-2003 Universität Karlsruhe - * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. + * + * This file is part of libFirm. + * + * This file may be distributed and/or modified under the terms of the + * GNU General Public License version 2 as published by the Free Software + * Foundation and appearing in the file LICENSE.GPL included in the + * packaging of this file. + * + * Licensees holding valid libFirm Professional Edition licenses may use + * this file in accordance with the libFirm Commercial License. + * Agreement provided with the Software. + * + * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE + * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE. */ - +/** + * @file + * @brief Flags to control optimizations. + * @author Christian Schaefer, Goetz Lindenmaier + * @version $Id$ + */ #ifdef HAVE_CONFIG_H -# include +# include "config.h" +#endif + +#include + +#ifdef WITH_LIBCORE +#include #endif -#include "irflag.h" #include "firm_common.h" +#include "irtools.h" +#include "irflag_t.h" +/* DISABLE - don't do this optimization + ENABLE - lets see, if there is a better graph */ +#define ON (-1) +#define OFF (0) -/* 0 - don't do this optimization - 1 - lets see, if there is a better graph */ -int optimized = 1; /* Turn off all optimizations. */ - -int opt_cse = 1; /* Hash the nodes. */ -int opt_global_cse = 0; /* Don't use block predecessor for comparison. - Default must be zero as code placement must - be run right after a local optimize walk with - opt_global_cse on. */ -int opt_constant_folding = 1; /* Evaluate operations. */ -int opt_unreachable_code = 1; /* Bad node propagation. */ -int opt_control_flow_straightening = 1; /* */ -int opt_control_flow_weak_simplification = 1; /* */ -int opt_control_flow_strong_simplification = 1; /* */ -int opt_critical_edges = 1; -int opt_dead_node_elimination = 1; /* Reclaim memory. */ -int opt_reassociation = 1; /* Reassociate nodes. */ -int opt_inline = 1; /* Do inlining transformation. */ -int opt_dyn_meth_dispatch = 1; /* Remove dynamic method dispatch. */ - -int opt_normalize = 1; /* Transformations that normalize the firm representation - as removing Ids and Tuples, useless Phis, SymConst(id) -> - Const(entity) ... */ - -/* set the flags with set_flagname, get the flag with get_flagname */ -INLINE void -set_opt_cse (int value) -{ - opt_cse = value; -} +#define FLAG(name, value, def) (irf_##name & def) | +#define E_FLAG(name, value, def) FLAG(name, value, def) +#define I_FLAG(name, value, def) FLAG(name, value, def) +#define R_FLAG(name, value) -INLINE int -get_opt_cse (void) -{ - return opt_cse; -} +optimization_state_t libFIRM_opt = +#include "irflag_t.def" + 0; -void set_opt_global_cse (int value) -{ - opt_global_cse = value; -} +#undef FLAG +#undef E_FLAG +#undef I_FLAG +#undef R_FLAG -int get_opt_global_cse (void) -{ - return opt_global_cse; -} +/** The bitset of currently running phases. */ +optimization_state_t libFIRM_running = 0; -INLINE void -set_opt_constant_folding (int value) -{ - opt_constant_folding=value; -} +/* verbose is always off on default */ +optimization_state_t libFIRM_verb = 0; -INLINE int -get_opt_constant_folding (void) -{ - return opt_constant_folding; -} +/** The Firm verbosity level */ +int firm_verbosity_level; -INLINE void -set_opt_unreachable_code(int value) -{ - opt_unreachable_code = value; +/* an external flag can be set and get from outside */ +#define E_FLAG(name, value, def) \ +void set_opt_##name(int flag) { \ + if (flag) libFIRM_opt |= irf_##name; \ + else libFIRM_opt &= ~irf_##name; \ +} \ +void set_opt_##name##_verbose(int flag) { \ + if (flag) libFIRM_verb |= irf_##name; \ + else libFIRM_verb &= ~irf_##name; \ +} \ +int (get_opt_##name)(void) { \ + return _get_opt_##name(); \ } -INLINE int -get_opt_unreachable_code(void) -{ - return opt_unreachable_code; +/* an internal flag can only be set from outside */ +#define I_FLAG(name, value, def) \ +void set_opt_##name(int flag) { \ + if (flag) libFIRM_opt |= irf_##name; \ + else libFIRM_opt &= ~irf_##name; \ +} \ +void set_opt_##name##_verbose(int flag) { \ + if (flag) libFIRM_verb |= irf_##name; \ + else libFIRM_verb &= ~irf_##name; \ } -INLINE void set_opt_control_flow(int value) { - set_opt_control_flow_straightening(value); - set_opt_control_flow_weak_simplification(value); - set_opt_control_flow_strong_simplification(value); - set_opt_critical_edges(value); -} +#define R_FLAG(name, value) -/* Performs Straightening */ -void set_opt_control_flow_straightening(int value) { - opt_control_flow_straightening = value; -} -int get_opt_control_flow_straightening(void) { - return opt_control_flow_straightening; -} -/* Performs if simplifications in local optimizations. */ -void set_opt_control_flow_weak_simplification(int value) { - opt_control_flow_weak_simplification = value; -} -int get_opt_control_flow_weak_simplification(void) { - return opt_control_flow_weak_simplification; -} -/* Performs strong if and loop simplification (in optimize_cf). */ -void set_opt_control_flow_strong_simplification(int value) { - opt_control_flow_strong_simplification = value; -} -int get_opt_control_flow_strong_simplification(void) { - return opt_control_flow_strong_simplification; -} +/* generate them */ +#include "irflag_t.def" -void set_opt_critical_edges(int value) { - opt_critical_edges = value; -} -int get_opt_critical_edges(void) { - return opt_critical_edges; -} +#undef I_FLAG +#undef E_FLAG +#undef R_FLAG +/* for compatibility reasons */ +void set_optimize(int value) { + if (value) libFIRM_opt |= irf_optimize; + else libFIRM_opt &= ~irf_optimize; +} -INLINE void -set_opt_reassociation(int value) -{ - opt_reassociation = value; +int (get_optimize)(void) { + return get_opt_optimize(); } -INLINE int -get_opt_reassociation(void) +void set_opt_control_flow(int value) { - return opt_reassociation; + set_opt_control_flow_straightening(value); + set_opt_control_flow_weak_simplification(value); + set_opt_control_flow_strong_simplification(value); } -INLINE void -set_opt_dead_node_elimination (int value) -{ - opt_dead_node_elimination = value; +void set_firm_verbosity (int value) { + firm_verbosity_level = value; } -INLINE int -get_opt_dead_node_elimination (void) -{ - return opt_dead_node_elimination; +int (get_firm_verbosity) (void) { + return _get_firm_verbosity(); } -INLINE void -set_optimize (int value) +/* Save the current optimization state. */ +void save_optimization_state(optimization_state_t *state) { - optimized = value; + *state = libFIRM_opt; } -INLINE int -get_optimize (void) +/* Restore the current optimization state. */ +void restore_optimization_state(const optimization_state_t *state) { - return optimized; + libFIRM_opt = *state; } - -INLINE void set_opt_inline (int value) { - opt_inline = value; +/* Switches ALL optimizations off */ +void all_optimizations_off(void) +{ + libFIRM_opt = 0; +} + +#ifdef _DEBUG +/* only for debugging */ +void firm_show_flags(FILE *f) { + if (! f) + f = stdout; + printf("Firm optimization state:\n"); +#define E_FLAG(name, value, def) printf(" %-20s = %s\n", #name, get_opt_##name() ? "ON" : "OFF"); +#define I_FLAG(name, value, def) printf(" %-20s = %s\n", #name, get_opt_##name() ? "ON" : "OFF"); +#define R_FLAG(name, value) printf(" %-20s = %s\n", #name, is_##name##_running() ? "is running" : "not running"); +#include "irflag_t.def" +#undef I_FLAG +#undef E_FLAG +#undef R_FLAG + printf("\n"); } +#endif -INLINE int get_opt_inline (void) { - return opt_inline; -} +#ifdef WITH_LIBCORE +static const lc_opt_table_entry_t firm_flags[] = { +#define I_FLAG(name, val, def) LC_OPT_ENT_BIT(#name, #name, &libFIRM_opt, (1 << val)), +#define E_FLAG(name, val, def) LC_OPT_ENT_BIT(#name, #name, &libFIRM_opt, (1 << val)), +#define R_FLAG(name, val) +#include "irflag_t.def" +#undef I_FLAG +#undef E_FLAG +#undef R_FLAG + LC_OPT_LAST +}; +#endif -/** Enable/Disable optimization of dynamic method dispatch - * - * This flag enables/disables the optimization of dynamic method dispatch. - * If the flag is turned on Sel nodes can be replaced by Const nodes representing - * the address of a function. - */ -void set_opt_dyn_meth_dispatch (int value) { - opt_dyn_meth_dispatch = value; -} -int get_opt_dyn_meth_dispatch (void) { - return opt_dyn_meth_dispatch; +void firm_init_flags(void) { +#ifdef WITH_LIBCORE + lc_opt_entry_t *grp = lc_opt_get_grp(firm_opt_get_root(), "opt"); + lc_opt_add_table(grp, firm_flags); +#endif } +firm_verification_t opt_do_node_verification = FIRM_VERIFICATION_ON; - -INLINE void set_opt_normalize (int value) { - opt_normalize = value; -} - -INLINE int get_opt_normalize (void) { - return opt_normalize; +void do_node_verification(firm_verification_t mode) { + opt_do_node_verification = mode; }