X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firflag_t.def;h=c51ae427fefe61693a355754a530b5a36eb59c65;hb=4f25f9ca1fd1d53303f277a140a1aa657782aeba;hp=5ddd6c9a76c15525548d81daf602d7c292f81c73;hpb=05828824fb0af08014cb029cf70a11627acdf5c5;p=libfirm diff --git a/ir/ir/irflag_t.def b/ir/ir/irflag_t.def index 5ddd6c9a7..c51ae427f 100644 --- a/ir/ir/irflag_t.def +++ b/ir/ir/irflag_t.def @@ -1,12 +1,33 @@ /* - * Project: libFIRM - * File name: ir/ir/irflag_t.def - * Purpose: Flags to control optimizations, inline implementation. - * Author: Michael Beck - * Created: - * CVS-ID: $Id$ - * Copyright: (c) 1998-2004 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 Definitions for optimisation flags + * @author Michael Beck, Sebastian Hack + */ + +/* + * We have 3 kinds of flags: + * I_FLAGS are INTERNAL flags: There is only a public set_opt_ function + * E_FLAGS are EXTERNAL flags: Public get_opt_ and set_opt_ fucntions exists + * R_FLAGS are RUNNING flags: Use only internally in libfirm to indicate running states */ /** Turn off all optimizations. */ @@ -22,82 +43,24 @@ E_FLAG(cse , 1, ON) I_FLAG(global_cse , 2, OFF) /** Evaluate operations. */ -I_FLAG(constant_folding , 3, ON) - -/** Bad node propagation. */ -I_FLAG(unreachable_code , 4, ON) - -/** */ -I_FLAG(control_flow_straightening , 5, ON) - -/** */ -I_FLAG(control_flow_weak_simplification , 6, ON) - -/** */ -I_FLAG(control_flow_strong_simplification , 7, ON) - -/** */ -I_FLAG(critical_edges , 8, ON) - -/** Reclaim memory. */ -I_FLAG(dead_node_elimination , 9, ON) - -/** Reassociate nodes. */ -I_FLAG(reassociation , 10, ON) - -/** Do inlining transformation. */ -I_FLAG(inline , 11, ON) +E_FLAG(constant_folding , 3, ON) -/** Remove dynamic method dispatch. */ -E_FLAG(dyn_meth_dispatch , 12, ON) +/** Algebraic simplifications. */ +I_FLAG(algebraic_simplification , 4, ON) -/** Transformations that normalize the firm representation - * as removing Ids and Tuples, useless Phis, SymConst(id) -> Const(entity) ... - */ -I_FLAG(normalize , 13, ON) - -/** Remove tail-recursion. */ -I_FLAG(tail_recursion , 14, ON) - -/** Free never called methods */ -I_FLAG(dead_method_elimination , 15, ON) - -/** precise exception context */ -I_FLAG(precise_exc_context , 16, ON) - -/** Do loop unrolling */ -I_FLAG(loop_unrolling , 17, OFF) /* currently buggy, 2.1.2006 */ - -/** Do Strength reduction */ -I_FLAG(strength_red , 18, ON) - -/** Optimize Loads and Stores */ -I_FLAG(redundant_loadstore , 19, ON) +/** Use Global Null Pointer Test elimination. */ +I_FLAG(global_null_ptr_elimination , 5, ON) -/** Optimize Fragile OPs */ -I_FLAG(fragile_ops , 20, OFF) +/** Automatically create Sync node during construction. */ +I_FLAG(auto_create_sync , 10, OFF) -/** If conversion. */ -I_FLAG(if_conversion , 21, OFF) +/** Enable Alias-analysis. */ +I_FLAG(alias_analysis , 11, ON) -/** Optimize real function calls. */ -I_FLAG(real_function_call , 22, ON) - -/** Optimize cast nodes. */ -E_FLAG(optimize_class_casts , 23, ON) -E_FLAG(suppress_downcast_optimization , 24, OFF) - -/** Not really an optimization, removes Confirm nodes. */ -I_FLAG(remove_confirm , 25, OFF) - -/** Scalar replacement. */ -I_FLAG(scalar_replacement , 26, ON) - -/** Load and Store have only Null exceptions. */ -I_FLAG(ldst_only_null_ptr_exceptions , 27, ON) +/** Closed world assumption. */ +I_FLAG(closed_world , 12, OFF) -/** Sel-based Null-pointer check elimination. */ -I_FLAG(sel_based_null_check_elim , 28, OFF) +/* -------------------- RUNNING flags ------------------- */ -/** Closed world assumption. */ -I_FLAG(closed_world , 31, OFF) +/** This flag is set while the reassociation optimizations are running */ +R_FLAG(reassoc , 0)