* current libFIRM optimizations
*/
typedef enum {
- /** Common subexpression eliminations: Hash the nodes. */
- OPT_CSE = 0x00000001,
-
- /** Don't use block predecessor for comparison.
- * Default must be zero as code placement must
- * be run right after a local optimize walk with
- * opt_global_cse on. */
- OPT_GLOBAL_CSE = 0x00000002,
-
- /** Evaluate operations. */
- OPT_CONSTANT_FOLDING = 0x00000004,
-
- /** Bad node propagation. */
- OPT_UNREACHABLE_CODE = 0x00000008,
-
- /** */
- OPT_CONTROL_FLOW_STRAIGHTENING = 0x00000010,
-
- /** */
- OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION = 0x00000020,
-
- /** */
- OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION = 0x00000040,
-
- /** */
- OPT_CRITICAL_EDGES = 0x00000080,
-
- /** Reclaim memory. */
- OPT_DEAD_NODE_ELIMINATION = 0x00000100,
-
- /** Reassociate nodes. */
- OPT_REASSOCIATION = 0x00000200,
-
- /** Do inlining transformation. */
- OPT_INLINE = 0x00000400,
-
- /** Remove dynamic method dispatch. */
- OPT_DYN_METH_DISPATCH = 0x00000800,
-
- /** Transformations that normalize the firm representation
- * as removing Ids and Tuples, useless Phis, SymConst(id) -> Const(entity) ...
- */
- OPT_NORMALIZE = 0x00001000,
-
- /** Remove tail-recursion. */
- OPT_TAIL_RECURSION = 0x00002000,
-
- /** Free never called methods */
- OPT_DEAD_METHOD_ELIMINATION = 0x00004000,
-
- /** precise exception context */
- OPT_PRECISE_EXC_CONTEXT = 0x00008000,
-
- /** EMPTY SLOT !!! TO BE ASSIGNED */
-
- /** Do loop unrolling */
- OPT_LOOP_UNROLLING = 0x00010000,
-
- /** Do Strength reduction */
- OPT_STRENGTH_RED = 0x00020000,
-
- /** Optimize Loads and Stores */
- OPT_REDUNDANT_LOADSTORE = 0x00040000,
-
- /** Optimize Fragile OPs */
- OPT_FRAGILE_OPS = 0x00080000,
-
- /** If conversion. */
- OPT_IF_CONVERSION = 0x00100000,
-
- /** Optimize real function calls. */
- OPT_REAL_FUNC_CALL = 0x00200000,
-
- /** Turn off all optimizations. */
- OPT_OPTIMIZED = 0x40000000,
+#define E_FLAG(name, value, def) irf_##name = (1 << value),
+#define I_FLAG(name, value, def) irf_##name = (1 << value),
+#include "irflag_t.def"
+ irf_last
+#undef I_FLAG
+#undef E_FLAG
} libfirm_opts_t;
extern optimization_state_t libFIRM_opt;
extern optimization_state_t libFIRM_verb;
+extern firm_verification_t opt_do_node_verification;
extern int firm_verbosity_level;
+/** initialises the flags */
+void firm_init_flags(void);
-/** Returns constant folding optimization setting. */
-static INLINE int _get_opt_cse(void)
-{
- return libFIRM_opt & OPT_CSE;
-}
-
-/** Returns constant subexpression elimination setting. */
-static INLINE int get_opt_global_cse(void)
-{
- return libFIRM_opt & OPT_GLOBAL_CSE;
-}
-
-static INLINE int get_opt_loop_unrolling(void)
-{
- return libFIRM_opt & OPT_LOOP_UNROLLING;
-}
-
-/** Returns verbosity for loop unrolling. */
-static INLINE int get_opt_loop_unrolling_verbose(void)
-{
- return libFIRM_verb & OPT_LOOP_UNROLLING;
-}
-
-static INLINE int get_opt_strength_red(void)
-{
- return libFIRM_opt & OPT_STRENGTH_RED;
-}
-
-/** Returns verbosity for strength reduction. */
-static INLINE int get_opt_strength_red_verbose(void)
-{
- return libFIRM_verb & OPT_STRENGTH_RED;
-}
-
-/** Returns global constant subexpression elimination setting. */
-static INLINE int get_opt_constant_folding(void)
-{
- return libFIRM_opt & OPT_CONSTANT_FOLDING;
+/* generate the getter functions for external access */
+#define E_FLAG(name, value, def) \
+static INLINE int _get_opt_##name(void) { \
+ return libFIRM_opt & irf_##name; \
+} \
+static INLINE int get_opt_##name##_verbose(void) { \
+ return libFIRM_verb & irf_##name; \
}
-/** Returns global constant subexpression elimination setting. */
-static INLINE int get_opt_redundant_LoadStore(void)
-{
- return libFIRM_opt & OPT_REDUNDANT_LOADSTORE;
+/* generate the getter functions for internal access */
+#define I_FLAG(name, value, def) \
+static INLINE int get_opt_##name(void) { \
+ return libFIRM_opt & irf_##name; \
+} \
+static INLINE int get_opt_##name##_verbose(void) { \
+ return libFIRM_verb & irf_##name; \
}
-/** Returns unreachable code elimination setting. */
-static INLINE int get_opt_unreachable_code(void)
-{
- return libFIRM_opt & OPT_UNREACHABLE_CODE;
-}
+#include "irflag_t.def"
-/** Returns Straightening setting. */
-static INLINE int get_opt_control_flow_straightening(void)
-{
- return libFIRM_opt & OPT_CONTROL_FLOW_STRAIGHTENING;
-}
-
-/** Returns if simplifications in local optimizations setting. */
-static INLINE int get_opt_control_flow_weak_simplification(void)
-{
- return libFIRM_opt & OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
-}
-
-/** Returns strong if and loop simplification setting */
-static INLINE int get_opt_control_flow_strong_simplification(void)
-{
- return libFIRM_opt & OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
-}
-
-/** Returns whether critical edges are removed */
-static INLINE int get_opt_critical_edges(void)
-{
- return libFIRM_opt & OPT_CRITICAL_EDGES;
-}
-
-/** Returns reassociation setting. */
-static INLINE int get_opt_reassociation(void)
-{
- return libFIRM_opt & OPT_REASSOCIATION;
-}
-
-/** Returns dead node elimination setting. */
-static INLINE int get_opt_dead_node_elimination(void)
-{
- return libFIRM_opt & OPT_DEAD_NODE_ELIMINATION;
-}
-
-/** Returns dead method elimination setting. */
-static INLINE int get_opt_dead_method_elimination(void)
-{
- return libFIRM_opt & OPT_DEAD_METHOD_ELIMINATION;
-}
-
-/** Returns dead method elimination setting. */
-static INLINE int get_opt_dead_method_elimination_verbose(void)
-{
- return libFIRM_verb & OPT_DEAD_METHOD_ELIMINATION;
-}
-
-/** Returns global optimization setting */
-static INLINE int get_opt_optimize(void)
-{
- return libFIRM_opt & OPT_OPTIMIZED;
-}
+#undef I_FLAG
+#undef E_FLAG
static INLINE int _get_firm_verbosity (void) {
- return firm_verbosity_level;
-}
-
-/** Returns inlining setting. */
-static INLINE int get_opt_inline(void)
-{
- return libFIRM_opt & OPT_INLINE;
-}
-
-static INLINE int _get_opt_dyn_meth_dispatch(void)
-{
- return libFIRM_opt & OPT_DYN_METH_DISPATCH;
-}
-
-static INLINE int get_opt_normalize(void)
-{
- return libFIRM_opt & OPT_NORMALIZE;
-}
-
-/** Returns tail-recursion setting. */
-static INLINE int get_opt_tail_recursion(void)
-{
- return libFIRM_opt & OPT_TAIL_RECURSION;
-}
-
-/** Returns tail-recursion setting. */
-static INLINE int get_opt_tail_recursion_verbose(void)
-{
- return libFIRM_verb & OPT_TAIL_RECURSION;
-}
-
-/** Returns precise exception context setting. */
-static INLINE int get_opt_precise_exc_context(void)
-{
- return libFIRM_opt & OPT_PRECISE_EXC_CONTEXT;
+ return firm_verbosity_level;
}
-/** Returns fragile ops setting. */
-static INLINE int get_opt_fragile_ops(void)
-{
- return libFIRM_opt & OPT_FRAGILE_OPS;
+static INLINE int _get_optimize (void) {
+ return get_opt_optimize();
}
-/** Returns if conversion setting. */
-static INLINE int get_opt_if_conversion(void)
-{
- return libFIRM_opt & OPT_IF_CONVERSION;
+static INLINE firm_verification_t
+get_node_verification_mode(void) {
+ return opt_do_node_verification;
}
-/** Returns real function call optimization setting. */
-static INLINE int get_opt_real_func_call(void)
-{
- return libFIRM_opt & OPT_REAL_FUNC_CALL;
-}
+#define get_optimize() _get_optimize()
+#define get_opt_cse() _get_opt_cse()
+#define get_firm_verbosity() _get_firm_verbosity()
+#define get_opt_dyn_meth_dispatch() _get_opt_dyn_meth_dispatch()
+#define get_opt_optimize_class_casts() _get_opt_optimize_class_casts()
+#define get_opt_suppress_downcast_optimization() _get_opt_suppress_downcast_optimization()
-#define get_opt_cse() _get_opt_cse()
-#define get_firm_verbosity() _get_firm_verbosity()
-#define get_opt_dyn_meth_dispatch() _get_opt_dyn_meth_dispatch()
+extern void firm_init_flags(void);
#endif /* _IRFLAG_T_H_ */