2 * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
6 * This file may be distributed and/or modified under the terms of the
7 * GNU General Public License version 2 as published by the Free Software
8 * Foundation and appearing in the file LICENSE.GPL included in the
9 * packaging of this file.
11 * Licensees holding valid libFirm Professional Edition licenses may use
12 * this file in accordance with the libFirm Commercial License.
13 * Agreement provided with the Software.
15 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * @brief Definitions for optimisation flags
23 * @author Michael Beck, Sebastian Hack
28 * We have 3 kinds of flags:
29 * I_FLAGS are INTERNAL flags: The is only a public set_opt_<flag> function
30 * E_FLAGS are EXTERNAL flags: Public get_opt_<flag> and set_opt_<flag> fucntions exists
31 * R_FLAGS are RUNNING flags: Use only internally in libfirm to indicate running states
34 /** Turn off all optimizations. */
35 I_FLAG(optimize , 0, ON)
37 /** Common subexpression eliminations: Hash the nodes. */
40 /** Don't use block predecessor for comparison.
41 * Default must be zero as code placement must
42 * be run right after a local optimize walk with
44 I_FLAG(global_cse , 2, OFF)
46 /** Evaluate operations. */
47 I_FLAG(constant_folding , 3, ON)
49 /** Bad node propagation. */
50 I_FLAG(unreachable_code , 4, ON)
53 I_FLAG(control_flow_straightening , 5, ON)
56 I_FLAG(control_flow_weak_simplification , 6, ON)
59 I_FLAG(control_flow_strong_simplification , 7, ON)
61 /** Algebraic simplifications. */
62 I_FLAG(algebraic_simplification , 8, ON)
64 /** Remove dynamic method dispatch. */
65 E_FLAG(dyn_meth_dispatch , 11, ON)
67 /** Transformations that normalize the firm representation
68 * as removing Ids and Tuples, useless Phis, SymConst(id) -> Const(entity) ...
70 I_FLAG(normalize , 12, ON)
72 /** precise exception context */
73 I_FLAG(precise_exc_context , 15, ON)
75 /** Do Strength reduction */
76 I_FLAG(strength_red , 17, ON)
78 /** Optimize Fragile OPs */
79 I_FLAG(fragile_ops , 19, OFF)
81 /** Optimize cast nodes. */
82 E_FLAG(optimize_class_casts , 21, ON)
83 E_FLAG(suppress_downcast_optimization , 22, OFF)
85 /** Not really an optimization, removes Confirm nodes. */
86 I_FLAG(remove_confirm , 23, OFF)
88 /** Scalar replacement. */
89 I_FLAG(scalar_replacement , 24, ON)
91 /** Load and Store have only Null exceptions. */
92 I_FLAG(ldst_only_null_ptr_exceptions , 25, ON)
94 /** Sel-based Null-pointer check elimination. */
95 I_FLAG(sel_based_null_check_elim , 26, OFF)
97 /** Automatically create Sync node during construction. */
98 I_FLAG(auto_create_sync , 27, OFF)
100 /** Enable Alias-analysis. */
101 I_FLAG(alias_analysis , 28, ON)
103 /** Closed world assumption. */
104 I_FLAG(closed_world , 31, OFF)
106 /* -------------------- RUNNING flags ------------------- */
108 /** This flag is set while the reassociation optimizations are running */
111 /** This flag is set while architecture dependent optimizations are running */