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 /** Optimize real function calls. */
99 OPT_REAL_FUNC_CALL = 0x00200000,
101 /** Optimize cast nodes. */
102 OPT_CLASS_CASTS = 0x00400000,
103 OPT_SUPPRESS_DOWNCAST_OPT = 0x00800000,
105 /** Not really an optimization, removes Confirm nodes */
106 OPT_REMOVE_CONFIRM = 0x01000000,
108 /** Scalar replacement. */
109 OPT_SCALAR_REPLACEMENT = 0x02000000,
111 /** Turn off all optimizations. */
112 OPT_OPTIMIZED = 0x40000000,
116 extern optimization_state_t libFIRM_opt;
117 extern optimization_state_t libFIRM_verb;
119 extern int firm_verbosity_level;
122 /** Returns constant folding optimization setting. */
123 static INLINE int _get_opt_cse(void)
125 return libFIRM_opt & OPT_CSE;
128 /** Returns constant subexpression elimination setting. */
129 static INLINE int get_opt_global_cse(void)
131 return libFIRM_opt & OPT_GLOBAL_CSE;
134 static INLINE int get_opt_loop_unrolling(void)
136 return libFIRM_opt & OPT_LOOP_UNROLLING;
139 /** Returns verbosity for loop unrolling. */
140 static INLINE int get_opt_loop_unrolling_verbose(void)
142 return libFIRM_verb & OPT_LOOP_UNROLLING;
145 static INLINE int get_opt_strength_red(void)
147 return libFIRM_opt & OPT_STRENGTH_RED;
150 /** Returns verbosity for strength reduction. */
151 static INLINE int get_opt_strength_red_verbose(void)
153 return libFIRM_verb & OPT_STRENGTH_RED;
156 /** Returns global constant subexpression elimination setting. */
157 static INLINE int get_opt_constant_folding(void)
159 return libFIRM_opt & OPT_CONSTANT_FOLDING;
162 /** Returns global constant subexpression elimination setting. */
163 static INLINE int get_opt_redundant_LoadStore(void)
165 return libFIRM_opt & OPT_REDUNDANT_LOADSTORE;
168 /** Returns unreachable code elimination setting. */
169 static INLINE int get_opt_unreachable_code(void)
171 return libFIRM_opt & OPT_UNREACHABLE_CODE;
174 /** Returns Straightening setting. */
175 static INLINE int get_opt_control_flow_straightening(void)
177 return libFIRM_opt & OPT_CONTROL_FLOW_STRAIGHTENING;
180 /** Returns if simplifications in local optimizations setting. */
181 static INLINE int get_opt_control_flow_weak_simplification(void)
183 return libFIRM_opt & OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
186 /** Returns strong if and loop simplification setting */
187 static INLINE int get_opt_control_flow_strong_simplification(void)
189 return libFIRM_opt & OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
192 /** Returns whether critical edges are removed */
193 static INLINE int get_opt_critical_edges(void)
195 return libFIRM_opt & OPT_CRITICAL_EDGES;
198 /** Returns reassociation setting. */
199 static INLINE int get_opt_reassociation(void)
201 return libFIRM_opt & OPT_REASSOCIATION;
204 /** Returns dead node elimination setting. */
205 static INLINE int get_opt_dead_node_elimination(void)
207 return libFIRM_opt & OPT_DEAD_NODE_ELIMINATION;
210 /** Returns dead method elimination setting. */
211 static INLINE int get_opt_dead_method_elimination(void)
213 return libFIRM_opt & OPT_DEAD_METHOD_ELIMINATION;
216 /** Returns dead method elimination setting. */
217 static INLINE int get_opt_dead_method_elimination_verbose(void)
219 return libFIRM_verb & OPT_DEAD_METHOD_ELIMINATION;
222 /** Returns global optimization setting */
223 static INLINE int get_opt_optimize(void)
225 return libFIRM_opt & OPT_OPTIMIZED;
228 static INLINE int _get_firm_verbosity (void) {
229 return firm_verbosity_level;
232 /** Returns inlining setting. */
233 static INLINE int get_opt_inline(void)
235 return libFIRM_opt & OPT_INLINE;
238 static INLINE int _get_opt_dyn_meth_dispatch(void)
240 return libFIRM_opt & OPT_DYN_METH_DISPATCH;
243 static INLINE int _get_opt_optimize_class_casts (void) {
244 return libFIRM_opt & OPT_CLASS_CASTS;
247 static INLINE int _get_opt_optimize_class_casts_verbose (void) {
248 return libFIRM_verb & OPT_CLASS_CASTS;
251 static INLINE int _get_opt_suppress_downcast_optimization (void) {
252 return libFIRM_opt & OPT_SUPPRESS_DOWNCAST_OPT;
255 static INLINE int get_opt_normalize(void)
257 return libFIRM_opt & OPT_NORMALIZE;
260 /** Returns tail-recursion setting. */
261 static INLINE int get_opt_tail_recursion(void)
263 return libFIRM_opt & OPT_TAIL_RECURSION;
266 /** Returns tail-recursion setting. */
267 static INLINE int get_opt_tail_recursion_verbose(void)
269 return libFIRM_verb & OPT_TAIL_RECURSION;
272 /** Returns precise exception context setting. */
273 static INLINE int get_opt_precise_exc_context(void)
275 return libFIRM_opt & OPT_PRECISE_EXC_CONTEXT;
278 /** Returns fragile ops setting. */
279 static INLINE int get_opt_fragile_ops(void)
281 return libFIRM_opt & OPT_FRAGILE_OPS;
284 /** Returns if conversion setting. */
285 static INLINE int get_opt_if_conversion(void)
287 return libFIRM_opt & OPT_IF_CONVERSION;
290 /** Returns real function call optimization setting. */
291 static INLINE int get_opt_real_func_call(void)
293 return libFIRM_opt & OPT_REAL_FUNC_CALL;
296 /** Returns Confirm removal setting. */
297 static INLINE int get_opt_remove_Confirm(void)
299 return libFIRM_opt & OPT_REMOVE_CONFIRM;
302 /** Returns Confirm removal setting. */
303 static INLINE int get_opt_scalar_replacement(void)
305 return libFIRM_opt & OPT_SCALAR_REPLACEMENT;
308 static INLINE int get_opt_scalar_replacement_verbose(void) {
309 return libFIRM_verb & OPT_SCALAR_REPLACEMENT;
312 #define get_opt_cse() _get_opt_cse()
313 #define get_firm_verbosity() _get_firm_verbosity()
314 #define get_opt_dyn_meth_dispatch() _get_opt_dyn_meth_dispatch()
315 #define get_opt_optimize_class_casts() _get_opt_optimize_class_casts()
316 #define get_opt_optimize_class_casts_verbose() _get_opt_optimize_class_casts_verbose()
317 #define get_opt_suppress_downcast_optimization() _get_opt_suppress_downcast_optimization()
319 #endif /* _IRFLAG_T_H_ */