2 * Copyright (C) 1995-2007 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
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 /** Reclaim memory. */
62 I_FLAG(dead_node_elimination , 8, ON)
64 /** Reassociate nodes. */
65 I_FLAG(reassociation , 9, ON)
67 /** Do inlining transformation. */
68 I_FLAG(inline , 10, ON)
70 /** Remove dynamic method dispatch. */
71 E_FLAG(dyn_meth_dispatch , 11, ON)
73 /** Transformations that normalize the firm representation
74 * as removing Ids and Tuples, useless Phis, SymConst(id) -> Const(entity) ...
76 I_FLAG(normalize , 12, ON)
78 /** Remove tail-recursion. */
79 I_FLAG(tail_recursion , 13, ON)
81 /** Free never called methods */
82 I_FLAG(dead_method_elimination , 14, ON)
84 /** precise exception context */
85 I_FLAG(precise_exc_context , 15, ON)
87 /** Do loop unrolling */
88 I_FLAG(loop_unrolling , 16, OFF) /* currently buggy, 2.1.2006 */
90 /** Do Strength reduction */
91 I_FLAG(strength_red , 17, ON)
93 /** Optimize Loads and Stores */
94 I_FLAG(redundant_loadstore , 18, ON)
96 /** Optimize Fragile OPs */
97 I_FLAG(fragile_ops , 19, OFF)
99 /** Optimize function calls. */
100 I_FLAG(function_call , 20, ON)
102 /** Optimize cast nodes. */
103 E_FLAG(optimize_class_casts , 21, ON)
104 E_FLAG(suppress_downcast_optimization , 22, OFF)
106 /** Not really an optimization, removes Confirm nodes. */
107 I_FLAG(remove_confirm , 23, OFF)
109 /** Scalar replacement. */
110 I_FLAG(scalar_replacement , 24, ON)
112 /** Load and Store have only Null exceptions. */
113 I_FLAG(ldst_only_null_ptr_exceptions , 25, ON)
115 /** Sel-based Null-pointer check elimination. */
116 I_FLAG(sel_based_null_check_elim , 26, OFF)
118 /** Automatically create Sync node during construction. */
119 I_FLAG(auto_create_sync , 27, OFF)
121 /** Enable Alias-analysis. */
122 I_FLAG(alias_analysis , 28, ON)
124 /** Closed world assumption. */
125 I_FLAG(closed_world , 31, OFF)
127 /* -------------------- RUNNING flags ------------------- */
129 /** This flag is set while the reassociation optimizations are running */
132 /** This flag is set while architecture dependent optimizations are running */