/*
- * Project: libFIRM
- * File name: ir/ir/irgraph.c
- * Purpose: Flags to control optimizations, inline implementation.
- * Author: Michael Beck
- * Created:
- * CVS-ID: $Id$
- * Copyright: (c) 1998-2004 Universität Karlsruhe
- * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
*/
/**
- * @file irflag_t.h
- *
- * Inline implementation of Optimization flags.
- *
- * @author Michael Beck
+ * @file
+ * @brief Flags to control optimizations, inline implementation.
+ * @author Michael Beck
+ * @version $Id$
*/
-#ifndef _IRFLAG_T_H_
-#define _IRFLAG_T_H_
+#ifndef FIRM_IR_IRFLAG_T_H
+#define FIRM_IR_IRFLAG_T_H
+
+#include "firm_config.h"
#include "irflag.h"
/**
- * current libFIRM optimizations
+ * libFIRM optimizations flags
*/
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,
+#define E_FLAG(name, value, def) irf_##name = (1 << value),
+#define I_FLAG(name, value, def) irf_##name = (1 << value),
+#define R_FLAG(name, value)
+
+#include "irflag_t.def"
+ irf_last
+#undef I_FLAG
+#undef E_FLAG
+#undef R_FLAG
+} libfirm_opts_t;
- /** Reassociate nodes. */
- OPT_REASSOCIATION = 0x00000200,
+/**
+ * libFIRM running flags
+ */
+typedef enum {
+#define E_FLAG(name, value, def)
+#define I_FLAG(name, value, def)
+#define R_FLAG(name, value) ir_rf_##name = (1 << value),
+
+#include "irflag_t.def"
+ ir_rf_last
+#undef I_FLAG
+#undef E_FLAG
+#undef R_FLAG
+} libfirm_running_t;
+
+extern optimization_state_t libFIRM_opt, libFIRM_running, libFIRM_verb;
+extern firm_verification_t opt_do_node_verification;
+
+extern int firm_verbosity_level;
+
+/** initialises the flags */
+void firm_init_flags(void);
+
+/* 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; \
+}
- /** Do inlining transformation. */
- OPT_INLINE = 0x00000400,
+/* 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; \
+}
- /** Remove dynamic method dispatch. */
- OPT_DYN_METH_DISPATCH = 0x00000800,
+/* generate getter and setter functions for running flags */
+#define R_FLAG(name, value) \
+static INLINE int is_##name##_running(void) { \
+ return libFIRM_running & ir_rf_##name; \
+} \
+static INLINE void set_##name##_running(int flag) {\
+ if (flag) libFIRM_running |= ir_rf_##name; \
+ else libFIRM_running &= ~ir_rf_##name; \
+}
- /** Transformations that normalize the firm representation
- * as removing Ids and Tuples, useless Phis, SymConst(id) -> Const(entity) ...
- */
- OPT_NORMALIZE = 0x00001000,
+#include "irflag_t.def"
- /** Turn off all optimizations. */
- OPT_OPTIMIZED = 0x40000000
-} libfirm_opts_t;
+#undef I_FLAG
+#undef E_FLAG
+#undef R_FLAG
-extern optimization_state_t libFIRM_opt;
+static INLINE int _get_firm_verbosity (void) {
+ return firm_verbosity_level;
+}
-/* take care of the INLINE/USE_GCC_INLINE mess */
+static INLINE int _get_optimize (void) {
+ return get_opt_optimize();
+}
-# ifndef INLINE
-# ifdef USE_GCC_INLINE
-# define INLINE __extension__ ((__inline__))
-# else /* defined USE_GCC_INLINE */
-# define INLINE
-# endif /* define USE_GCC_INLINE */
-# endif /* defined INLINE */
+static INLINE firm_verification_t
+get_node_verification_mode(void) {
+ return opt_do_node_verification;
+}
+#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()
-/** Returns constant folding optimization setting. */
-INLINE int get_opt_cse(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_CSE;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns constant subexpression elimination setting. */
-INLINE int get_opt_global_cse(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_GLOBAL_CSE;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns global constant subexpression elimination setting. */
-INLINE int get_opt_constant_folding(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_CONSTANT_FOLDING;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns unreachable code elimination setting. */
-INLINE int get_opt_unreachable_code(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_UNREACHABLE_CODE;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns Straightening setting. */
-INLINE int get_opt_control_flow_straightening(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_CONTROL_FLOW_STRAIGHTENING;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns if simplifications in local optimizations setting. */
-INLINE int get_opt_control_flow_weak_simplification(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns strong if and loop simplification setting */
-INLINE int get_opt_control_flow_strong_simplification(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns whether critical edges are removed */
-INLINE int get_opt_critical_edges(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_CRITICAL_EDGES;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns reassociation setting. */
-INLINE int get_opt_reassociation(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_REASSOCIATION;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns dead node elimination setting. */
-INLINE int get_opt_dead_node_elimination(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_DEAD_NODE_ELIMINATION;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns global optimization setting */
-INLINE int get_opt_optimize(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_OPTIMIZED;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-/** Returns inlining setting. */
-INLINE int get_opt_inline(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_INLINE;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-INLINE int get_opt_dyn_meth_dispatch(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_DYN_METH_DISPATCH;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
-
-INLINE int get_opt_normalize(void)
-# ifdef USE_GCC_INLINE
-{
- return libFIRM_opt & OPT_NORMALIZE;
-}
-# else /* defined USE_GCC_INLINE */
-;
-# endif /* not defined USE_GCC_INLINE */
+extern void firm_init_flags(void);
-#endif /* _IRFLAG_T_H_ */
+#endif