X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ir%2Fir%2Firflag.c;h=efc3ed754dbb265b049d7eb64ae0564bc8ba31ff;hb=a158f864beaee2de7ba4e0610a3a9960a0be5ed4;hp=3ab4c92e059b045fe2117d4872b10c68d2dd9b8f;hpb=fb4e09c319ad22eb4623c289236a1511572756e2;p=libfirm diff --git a/ir/ir/irflag.c b/ir/ir/irflag.c index 3ab4c92e0..efc3ed754 100644 --- a/ir/ir/irflag.c +++ b/ir/ir/irflag.c @@ -1,64 +1,136 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Authors: Christian Schaefer -** -** irflag --- optimization flags -*/ - -# include "irflag.h" - -/* 0 - don't do this optimization - 1 - lets see, if there is a better graph */ -int opt_cse = 1; -int opt_constant_folding = 1; -int opt_dead_node_elimination = 0; -int optimized = 1; - -/* set the flags with set_flagname, get the flag with get_flagname */ - -void -set_opt_cse (int value) +/* + * This file is part of libFirm. + * Copyright (C) 2012 University of Karlsruhe. + */ + +/** + * @file + * @brief Flags to control optimizations. + * @author Michael Beck, Sebastian Hack + */ +#include "config.h" + +#include + +#include "lc_opts.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 + +#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) + +optimization_state_t libFIRM_opt = +#include "irflag_t.def" + 0; + +#undef FLAG +#undef E_FLAG +#undef I_FLAG +#undef R_FLAG + +optimization_state_t libFIRM_running = 0; + +optimization_state_t libFIRM_verb = 0; + +void set_opt_optimize(int 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; \ +} \ +int (get_opt_##name)(void) { \ + return get_opt_##name##_(); \ +} + +/* 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; \ +} \ + +#define R_FLAG(name, value) + +/* generate them */ +#include "irflag_t.def" + +#undef I_FLAG +#undef E_FLAG +#undef R_FLAG + +void set_optimize(int value) { - opt_cse = value; + set_opt_optimize(value); } -int -get_opt_cse (void) +int (get_optimize)(void) { - return opt_cse; + return get_opt_optimize(); } -void -set_opt_constant_folding (int value) +void save_optimization_state(optimization_state_t *state) { - opt_constant_folding=value; + *state = libFIRM_opt; } -int -get_opt_constant_folding (void) +void restore_optimization_state(const optimization_state_t *state) { - return opt_constant_folding; + libFIRM_opt = *state; } -void set_opt_dead_node_elimination (int value) +void all_optimizations_off(void) { - opt_dead_node_elimination=value; + libFIRM_opt = 0; } -int get_opt_dead_node_elimination (void) +#ifdef _DEBUG +void firm_show_flags(FILE *f) { - return opt_dead_node_elimination; + 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 -void -set_optimize (int value) +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 +}; + +void firm_init_flags(void) { - optimized = value; + lc_opt_entry_t *grp = lc_opt_get_grp(firm_opt_get_root(), "opt"); + lc_opt_add_table(grp, firm_flags); } -int -get_optimize (void) +firm_verification_t opt_do_node_verification = FIRM_VERIFICATION_ON; + +void do_node_verification(firm_verification_t mode) { - return optimized; + opt_do_node_verification = mode; }