X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firflag.c;h=f8b2f01d5c3854da12b441d2adb686c17552a31e;hb=169fd803ea2ed08171113c1fd7ab4e528e1ebc26;hp=2d19e4a9323bdbc6828140081fa64f12dfb7c2a4;hpb=a7374702e9ec0bc04af3ffc08aa8fd4a94c5b45f;p=libfirm diff --git a/ir/ir/irflag.c b/ir/ir/irflag.c index 2d19e4a93..f8b2f01d5 100644 --- a/ir/ir/irflag.c +++ b/ir/ir/irflag.c @@ -11,7 +11,7 @@ */ #ifdef HAVE_CONFIG_H -# include +# include "config.h" #endif #include "firm_common.h" @@ -23,19 +23,66 @@ #define DISABLE(a) 0 optimization_state_t libFIRM_opt = - ENABLE(OPT_OPTIMIZED) | - ENABLE(OPT_CSE) | - DISABLE(OPT_GLOBAL_CSE) | - ENABLE(OPT_UNREACHABLE_CODE) | - ENABLE(OPT_CONTROL_FLOW_STRAIGHTENING) | - ENABLE(OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION) | - ENABLE(OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION) | - ENABLE(OPT_CRITICAL_EDGES) | - ENABLE(OPT_DEAD_NODE_ELIMINATION) | - ENABLE(OPT_REASSOCIATION) | - ENABLE(OPT_INLINE) | - ENABLE(OPT_DYN_METH_DISPATCH) | - ENABLE(OPT_NORMALIZE); + ENABLE(OPT_OPTIMIZED) | + ENABLE(OPT_CSE) | + DISABLE(OPT_GLOBAL_CSE) | + ENABLE(OPT_LOOP_UNROLLING) | + ENABLE(OPT_STRENGTH_RED) | + ENABLE(OPT_CONSTANT_FOLDING) | + ENABLE(OPT_REDUNDANT_LOADSTORE) | + ENABLE(OPT_UNREACHABLE_CODE) | + ENABLE(OPT_CONTROL_FLOW_STRAIGHTENING) | + ENABLE(OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION) | + ENABLE(OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION) | + ENABLE(OPT_CRITICAL_EDGES) | + ENABLE(OPT_DEAD_NODE_ELIMINATION) | + ENABLE(OPT_DEAD_METHOD_ELIMINATION) | + ENABLE(OPT_REASSOCIATION) | + ENABLE(OPT_INLINE) | + ENABLE(OPT_DYN_METH_DISPATCH) | + ENABLE(OPT_CLASS_CASTS) | + DISABLE(OPT_SUPPRESS_DOWNCAST_OPT) | + ENABLE(OPT_NORMALIZE) | + ENABLE(OPT_TAIL_RECURSION) | + ENABLE(OPT_PRECISE_EXC_CONTEXT) | + DISABLE(OPT_FRAGILE_OPS) | + ENABLE(OPT_IF_CONVERSION) | + ENABLE(OPT_REAL_FUNC_CALL) | + DISABLE(OPT_REMOVE_CONFIRM) | + ENABLE(OPT_SCALAR_REPLACEMENT) | + 0; + +optimization_state_t libFIRM_verb = + DISABLE(OPT_OPTIMIZED) | + DISABLE(OPT_CSE) | + DISABLE(OPT_GLOBAL_CSE) | + DISABLE(OPT_LOOP_UNROLLING) | + DISABLE(OPT_STRENGTH_RED) | + DISABLE(OPT_CONSTANT_FOLDING) | + DISABLE(OPT_REDUNDANT_LOADSTORE) | + DISABLE(OPT_UNREACHABLE_CODE) | + DISABLE(OPT_CONTROL_FLOW_STRAIGHTENING) | + DISABLE(OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION) | + DISABLE(OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION) | + DISABLE(OPT_CRITICAL_EDGES) | + DISABLE(OPT_DEAD_NODE_ELIMINATION) | + DISABLE(OPT_DEAD_METHOD_ELIMINATION) | + DISABLE(OPT_REASSOCIATION) | + DISABLE(OPT_INLINE) | + DISABLE(OPT_DYN_METH_DISPATCH) | + DISABLE(OPT_CLASS_CASTS) | + DISABLE(OPT_NORMALIZE) | + DISABLE(OPT_TAIL_RECURSION) | + DISABLE(OPT_PRECISE_EXC_CONTEXT) | + DISABLE(OPT_FRAGILE_OPS) | + DISABLE(OPT_IF_CONVERSION) | + DISABLE(OPT_REAL_FUNC_CALL) | + DISABLE(OPT_REMOVE_CONFIRM) | + DISABLE(OPT_SCALAR_REPLACEMENT) | + 0; + +/** The Firm verbosity level */ +int firm_verbosity_level; /* set the flags with set_flagname, get the flag with get_flagname */ void set_opt_cse (int value) @@ -46,6 +93,10 @@ void set_opt_cse (int value) libFIRM_opt &= ~OPT_CSE; } +int (get_opt_cse)(void) { + return _get_opt_cse(); +} + void set_opt_global_cse(int value) { if (value) @@ -54,6 +105,38 @@ void set_opt_global_cse(int value) libFIRM_opt &= ~OPT_GLOBAL_CSE; } +void set_opt_loop_unrolling (int value) +{ + if (value) + libFIRM_opt |= OPT_LOOP_UNROLLING; + else + libFIRM_opt &= ~OPT_LOOP_UNROLLING; +} + +void set_opt_loop_unrolling_verbose (int value) +{ + if (value) + libFIRM_verb |= OPT_LOOP_UNROLLING; + else + libFIRM_verb &= ~OPT_LOOP_UNROLLING; +} + +void set_opt_strength_red (int value) +{ + if (value) + libFIRM_opt |= OPT_STRENGTH_RED; + else + libFIRM_opt &= ~OPT_STRENGTH_RED; +} + +void set_opt_strength_red_verbose (int value) +{ + if (value) + libFIRM_verb |= OPT_STRENGTH_RED; + else + libFIRM_verb &= ~OPT_STRENGTH_RED; +} + void set_opt_constant_folding(int value) { @@ -63,6 +146,14 @@ set_opt_constant_folding(int value) libFIRM_opt &= ~OPT_CONSTANT_FOLDING; } +void +set_opt_redundant_LoadStore(int value) { + if (value) + libFIRM_opt |= OPT_REDUNDANT_LOADSTORE; + else + libFIRM_opt &= ~OPT_REDUNDANT_LOADSTORE; +} + void set_opt_unreachable_code(int value) { @@ -131,6 +222,20 @@ void set_opt_dead_node_elimination(int value) libFIRM_opt &= ~OPT_DEAD_NODE_ELIMINATION; } +void set_opt_dead_method_elimination (int value) { + if (value) + libFIRM_opt |= OPT_DEAD_METHOD_ELIMINATION; + else + libFIRM_opt &= ~OPT_DEAD_METHOD_ELIMINATION; +} + +void set_opt_dead_method_elimination_verbose (int value) { + if (value) + libFIRM_verb |= OPT_DEAD_METHOD_ELIMINATION; + else + libFIRM_verb &= ~OPT_DEAD_METHOD_ELIMINATION; +} + void set_optimize(int value) { if (value) @@ -144,6 +249,18 @@ int get_optimize(void) return get_opt_optimize(); } + +void set_firm_verbosity (int value) { + firm_verbosity_level = value; +} + +int (get_firm_verbosity) (void) { + return _get_firm_verbosity(); +} + + + +/* Enable/Disables inlining. */ void set_opt_inline(int value) { if (value) @@ -152,12 +269,7 @@ void set_opt_inline(int value) libFIRM_opt &= ~OPT_INLINE; } -/** 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. - */ +/* Enable/Disable optimization of dynamic method dispatch */ void set_opt_dyn_meth_dispatch (int value) { if (value) @@ -166,6 +278,43 @@ void set_opt_dyn_meth_dispatch (int value) libFIRM_opt &= ~OPT_DYN_METH_DISPATCH; } +int (get_opt_dyn_meth_dispatch)(void) { + return _get_opt_dyn_meth_dispatch(); +} + +void set_opt_optimize_class_casts (int value) +{ + if (value) + libFIRM_opt |= OPT_CLASS_CASTS; + else + libFIRM_opt &= ~OPT_CLASS_CASTS; +} +int (get_opt_optimize_class_casts) (void) { + return _get_opt_optimize_class_casts(); +} +void set_opt_optimize_class_casts_verbose (int value) +{ + if (value) + libFIRM_verb |= OPT_CLASS_CASTS; + else + libFIRM_verb &= ~OPT_CLASS_CASTS; +} +int (get_opt_optimize_class_casts_verbose) (void) { + return _get_opt_optimize_class_casts_verbose(); +} +void set_opt_suppress_downcast_optimization(int value) +{ + if (value) + libFIRM_opt |= OPT_SUPPRESS_DOWNCAST_OPT; + else + libFIRM_opt &= ~OPT_SUPPRESS_DOWNCAST_OPT; +} +int (get_opt_suppress_downcast_optimization)(void) { + return _get_opt_suppress_downcast_optimization(); +} + + +/* Enable/Disable normalizations of the firm representation. */ void set_opt_normalize(int value) { if (value) @@ -174,6 +323,88 @@ void set_opt_normalize(int value) libFIRM_opt &= ~OPT_NORMALIZE; } +/* Enable/Disable optimization of tail-recursion calls. */ +void set_opt_tail_recursion(int value) +{ + if (value) + libFIRM_opt |= OPT_TAIL_RECURSION; + else + libFIRM_opt &= ~OPT_TAIL_RECURSION; +} + +/* Enable/Disable optimization of tail-recursion calls. */ +void set_opt_tail_recursion_verbose(int value) +{ + if (value) + libFIRM_verb |= OPT_TAIL_RECURSION; + else + libFIRM_verb &= ~OPT_TAIL_RECURSION; +} + +/* Enable/Disable precise exception context. */ +void set_opt_precise_exc_context(int value) +{ +#if PRECISE_EXC_CONTEXT + if (value) + libFIRM_opt |= OPT_PRECISE_EXC_CONTEXT; + else + libFIRM_opt &= ~OPT_PRECISE_EXC_CONTEXT; +#endif +} + +void set_opt_fragile_ops(int value) +{ + if (value) + libFIRM_opt |= OPT_FRAGILE_OPS; + else + libFIRM_opt &= ~OPT_FRAGILE_OPS; +} + +/* Enable/Disable if conversion. */ +void set_opt_if_conversion(int value) +{ + if (value) + libFIRM_opt |= OPT_IF_CONVERSION; + else + libFIRM_opt &= ~OPT_IF_CONVERSION; +} + +/* Enable/Disable real function call optimization. */ +void set_opt_real_function_call(int value) +{ + if (value) + libFIRM_opt |= OPT_REAL_FUNC_CALL; + else + libFIRM_opt &= ~OPT_REAL_FUNC_CALL; +} + +/* Enable/Disable Confirm node removal. */ +void set_opt_remove_Confirm(int value) +{ + if (value) + libFIRM_opt |= OPT_REMOVE_CONFIRM; + else + libFIRM_opt &= ~OPT_REMOVE_CONFIRM; +} + +/* Enable/Disable scalar replacement optimization. */ +void set_opt_scalar_replacement(int value) +{ + if (value) + libFIRM_opt |= OPT_SCALAR_REPLACEMENT; + else + libFIRM_opt &= ~OPT_SCALAR_REPLACEMENT; +} + +/* Set verbosity for scalar relacement */ +void set_opt_scalar_replacement_verbose(int value) +{ + if (value) + libFIRM_verb |= OPT_SCALAR_REPLACEMENT; + else + libFIRM_verb &= ~OPT_SCALAR_REPLACEMENT; +} + /* Save the current optimization state. */ void save_optimization_state(optimization_state_t *state) {