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,
95 /** Turn off all optimizations. */
96 OPT_OPTIMIZED = 0x40000000,
100 extern optimization_state_t libFIRM_opt;
101 extern optimization_state_t libFIRM_verb;
103 extern int firm_verbosity_level;
106 /** Returns constant folding optimization setting. */
107 static INLINE int _get_opt_cse(void)
109 return libFIRM_opt & OPT_CSE;
112 /** Returns constant subexpression elimination setting. */
113 static INLINE int get_opt_global_cse(void)
115 return libFIRM_opt & OPT_GLOBAL_CSE;
118 static INLINE int get_opt_loop_unrolling(void)
120 return libFIRM_opt & OPT_LOOP_UNROLLING;
123 /** Returns verbosity for loop unrolling. */
124 static INLINE int get_opt_loop_unrolling_verbose(void)
126 return libFIRM_verb & OPT_LOOP_UNROLLING;
129 static INLINE int get_opt_strength_red(void)
131 return libFIRM_opt & OPT_STRENGTH_RED;
134 /** Returns verbosity for strength reduction. */
135 static INLINE int get_opt_strength_red_verbose(void)
137 return libFIRM_verb & OPT_STRENGTH_RED;
140 /** Returns global constant subexpression elimination setting. */
141 static INLINE int get_opt_constant_folding(void)
143 return libFIRM_opt & OPT_CONSTANT_FOLDING;
146 /** Returns global constant subexpression elimination setting. */
147 static INLINE int get_opt_redundant_LoadStore(void)
149 return libFIRM_opt & OPT_REDUNDANT_LOADSTORE;
152 /** Returns unreachable code elimination setting. */
153 static INLINE int get_opt_unreachable_code(void)
155 return libFIRM_opt & OPT_UNREACHABLE_CODE;
158 /** Returns Straightening setting. */
159 static INLINE int get_opt_control_flow_straightening(void)
161 return libFIRM_opt & OPT_CONTROL_FLOW_STRAIGHTENING;
164 /** Returns if simplifications in local optimizations setting. */
165 static INLINE int get_opt_control_flow_weak_simplification(void)
167 return libFIRM_opt & OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
170 /** Returns strong if and loop simplification setting */
171 static INLINE int get_opt_control_flow_strong_simplification(void)
173 return libFIRM_opt & OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
176 /** Returns whether critical edges are removed */
177 static INLINE int get_opt_critical_edges(void)
179 return libFIRM_opt & OPT_CRITICAL_EDGES;
182 /** Returns reassociation setting. */
183 static INLINE int get_opt_reassociation(void)
185 return libFIRM_opt & OPT_REASSOCIATION;
188 /** Returns dead node elimination setting. */
189 static INLINE int get_opt_dead_node_elimination(void)
191 return libFIRM_opt & OPT_DEAD_NODE_ELIMINATION;
194 /** Returns dead method elimination setting. */
195 static INLINE int get_opt_dead_method_elimination(void)
197 return libFIRM_opt & OPT_DEAD_METHOD_ELIMINATION;
200 /** Returns dead method elimination setting. */
201 static INLINE int get_opt_dead_method_elimination_verbose(void)
203 return libFIRM_verb & OPT_DEAD_METHOD_ELIMINATION;
206 /** Returns global optimization setting */
207 static INLINE int get_opt_optimize(void)
209 return libFIRM_opt & OPT_OPTIMIZED;
212 static INLINE int _get_firm_verbosity (void) {
213 return firm_verbosity_level;
216 /** Returns inlining setting. */
217 static INLINE int get_opt_inline(void)
219 return libFIRM_opt & OPT_INLINE;
222 static INLINE int get_opt_dyn_meth_dispatch(void)
224 return libFIRM_opt & OPT_DYN_METH_DISPATCH;
227 static INLINE int get_opt_normalize(void)
229 return libFIRM_opt & OPT_NORMALIZE;
232 /** Returns tail-recursion setting. */
233 static INLINE int get_opt_tail_recursion(void)
235 return libFIRM_opt & OPT_TAIL_RECURSION;
238 /** Returns tail-recursion setting. */
239 static INLINE int get_opt_tail_recursion_verbose(void)
241 return libFIRM_verb & OPT_TAIL_RECURSION;
244 /** Returns precise exception context setting. */
245 static INLINE int get_opt_precise_exc_context(void)
247 return libFIRM_opt & OPT_PRECISE_EXC_CONTEXT;
250 /** Returns fragile ops setting. */
251 static INLINE int get_opt_fragile_ops(void)
253 return libFIRM_opt & OPT_FRAGILE_OPS;
257 #define get_opt_cse() _get_opt_cse()
258 #define get_firm_verbosity() _get_firm_verbosity()
260 #endif /* _IRFLAG_T_H_ */