3 * File name: ir/ir/irgraph.c
4 * Purpose: Flags to control optimizations, inline implementation.
8 * Copyright: (c) 1998-2004 Universität Karlsruhe
9 * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
15 * Inline implementation of Optimization flags.
17 * @author Michael Beck
25 * current libFIRM optimizations
28 /** Common subexpression eliminations: Hash the nodes. */
31 /** Don't use block predecessor for comparison.
32 * Default must be zero as code placement must
33 * be run right after a local optimize walk with
34 * opt_global_cse on. */
35 OPT_GLOBAL_CSE = 0x00000002,
37 /** Evaluate operations. */
38 OPT_CONSTANT_FOLDING = 0x00000004,
40 /** Bad node propagation. */
41 OPT_UNREACHABLE_CODE = 0x00000008,
44 OPT_CONTROL_FLOW_STRAIGHTENING = 0x00000010,
47 OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION = 0x00000020,
50 OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION = 0x00000040,
53 OPT_CRITICAL_EDGES = 0x00000080,
55 /** Reclaim memory. */
56 OPT_DEAD_NODE_ELIMINATION = 0x00000100,
58 /** Reassociate nodes. */
59 OPT_REASSOCIATION = 0x00000200,
61 /** Do inlining transformation. */
62 OPT_INLINE = 0x00000400,
64 /** Remove dynamic method dispatch. */
65 OPT_DYN_METH_DISPATCH = 0x00000800,
67 /** Transformations that normalize the firm representation
68 * as removing Ids and Tuples, useless Phis, SymConst(id) -> Const(entity) ...
70 OPT_NORMALIZE = 0x00001000,
72 /** Remove tail-recursion. */
73 OPT_TAIL_RECURSION = 0x00002000,
75 /** Free never called methods */
76 OPT_DEAD_METHOD_ELIMINATION = 0x00004000,
78 /** precise exception context */
79 OPT_PRECISE_EXC_CONTEXT = 0x00008000,
81 /** EMPTY SLOT !!! TO BE ASSIGNED */
83 /** Do loop unrolling */
84 OPT_LOOP_UNROLLING = 0x00010000,
86 /** Do Strength reduction */
87 OPT_STRENGTH_RED = 0x00020000,
89 /** Optimize Loads and Stores */
90 OPT_REDUNDANT_LOADSTORE = 0x00040000,
92 /** Optimize Fragile OPs */
93 OPT_FRAGILE_OPS = 0x00080000,
96 OPT_IF_CONVERSION = 0x00100000,
98 /** Turn off all optimizations. */
99 OPT_OPTIMIZED = 0x40000000,
103 extern optimization_state_t libFIRM_opt;
104 extern optimization_state_t libFIRM_verb;
106 extern int firm_verbosity_level;
109 /** Returns constant folding optimization setting. */
110 static INLINE int _get_opt_cse(void)
112 return libFIRM_opt & OPT_CSE;
115 /** Returns constant subexpression elimination setting. */
116 static INLINE int get_opt_global_cse(void)
118 return libFIRM_opt & OPT_GLOBAL_CSE;
121 static INLINE int get_opt_loop_unrolling(void)
123 return libFIRM_opt & OPT_LOOP_UNROLLING;
126 /** Returns verbosity for loop unrolling. */
127 static INLINE int get_opt_loop_unrolling_verbose(void)
129 return libFIRM_verb & OPT_LOOP_UNROLLING;
132 static INLINE int get_opt_strength_red(void)
134 return libFIRM_opt & OPT_STRENGTH_RED;
137 /** Returns verbosity for strength reduction. */
138 static INLINE int get_opt_strength_red_verbose(void)
140 return libFIRM_verb & OPT_STRENGTH_RED;
143 /** Returns global constant subexpression elimination setting. */
144 static INLINE int get_opt_constant_folding(void)
146 return libFIRM_opt & OPT_CONSTANT_FOLDING;
149 /** Returns global constant subexpression elimination setting. */
150 static INLINE int get_opt_redundant_LoadStore(void)
152 return libFIRM_opt & OPT_REDUNDANT_LOADSTORE;
155 /** Returns unreachable code elimination setting. */
156 static INLINE int get_opt_unreachable_code(void)
158 return libFIRM_opt & OPT_UNREACHABLE_CODE;
161 /** Returns Straightening setting. */
162 static INLINE int get_opt_control_flow_straightening(void)
164 return libFIRM_opt & OPT_CONTROL_FLOW_STRAIGHTENING;
167 /** Returns if simplifications in local optimizations setting. */
168 static INLINE int get_opt_control_flow_weak_simplification(void)
170 return libFIRM_opt & OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
173 /** Returns strong if and loop simplification setting */
174 static INLINE int get_opt_control_flow_strong_simplification(void)
176 return libFIRM_opt & OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
179 /** Returns whether critical edges are removed */
180 static INLINE int get_opt_critical_edges(void)
182 return libFIRM_opt & OPT_CRITICAL_EDGES;
185 /** Returns reassociation setting. */
186 static INLINE int get_opt_reassociation(void)
188 return libFIRM_opt & OPT_REASSOCIATION;
191 /** Returns dead node elimination setting. */
192 static INLINE int get_opt_dead_node_elimination(void)
194 return libFIRM_opt & OPT_DEAD_NODE_ELIMINATION;
197 /** Returns dead method elimination setting. */
198 static INLINE int get_opt_dead_method_elimination(void)
200 return libFIRM_opt & OPT_DEAD_METHOD_ELIMINATION;
203 /** Returns dead method elimination setting. */
204 static INLINE int get_opt_dead_method_elimination_verbose(void)
206 return libFIRM_verb & OPT_DEAD_METHOD_ELIMINATION;
209 /** Returns global optimization setting */
210 static INLINE int get_opt_optimize(void)
212 return libFIRM_opt & OPT_OPTIMIZED;
215 static INLINE int _get_firm_verbosity (void) {
216 return firm_verbosity_level;
219 /** Returns inlining setting. */
220 static INLINE int get_opt_inline(void)
222 return libFIRM_opt & OPT_INLINE;
225 static INLINE int _get_opt_dyn_meth_dispatch(void)
227 return libFIRM_opt & OPT_DYN_METH_DISPATCH;
230 static INLINE int get_opt_normalize(void)
232 return libFIRM_opt & OPT_NORMALIZE;
235 /** Returns tail-recursion setting. */
236 static INLINE int get_opt_tail_recursion(void)
238 return libFIRM_opt & OPT_TAIL_RECURSION;
241 /** Returns tail-recursion setting. */
242 static INLINE int get_opt_tail_recursion_verbose(void)
244 return libFIRM_verb & OPT_TAIL_RECURSION;
247 /** Returns precise exception context setting. */
248 static INLINE int get_opt_precise_exc_context(void)
250 return libFIRM_opt & OPT_PRECISE_EXC_CONTEXT;
253 /** Returns fragile ops setting. */
254 static INLINE int get_opt_fragile_ops(void)
256 return libFIRM_opt & OPT_FRAGILE_OPS;
259 /** Returns if conversion setting. */
260 static INLINE int get_opt_if_conversion(void)
262 return libFIRM_opt & OPT_IF_CONVERSION;
266 #define get_opt_cse() _get_opt_cse()
267 #define get_firm_verbosity() _get_firm_verbosity()
268 #define get_opt_dyn_meth_dispatch() _get_opt_dyn_meth_dispatch()
270 #endif /* _IRFLAG_T_H_ */