/*
- * Project: libFIRM
- * File name: ir/ir/irflag_t.def
- * 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-2007 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
+ * @brief Definitions for optimisation flags
+ * @author Michael Beck
+ * @version $Id$
+ */
+
+/*
+ * We have 3 kinds of flags:
+ * I_FLAGS are INTERNAL flags: The is only a public set_opt_<flag> function
+ * E_FLAGS are EXTERNAL flags: Public get_opt_<flag> and set_opt_<flag> fucntions exists
+ * R_FLAGS are RUNNING flags: Use only internally in libfirm to indicate running states
*/
/** Turn off all optimizations. */
/** */
I_FLAG(control_flow_strong_simplification , 7, ON)
-/** */
-I_FLAG(critical_edges , 8, ON)
-
/** Reclaim memory. */
-I_FLAG(dead_node_elimination , 9, ON)
+I_FLAG(dead_node_elimination , 8, ON)
/** Reassociate nodes. */
-I_FLAG(reassociation , 10, ON)
+I_FLAG(reassociation , 9, ON)
/** Do inlining transformation. */
-I_FLAG(inline , 11, ON)
+I_FLAG(inline , 10, ON)
/** Remove dynamic method dispatch. */
-E_FLAG(dyn_meth_dispatch , 12, ON)
+E_FLAG(dyn_meth_dispatch , 11, ON)
/** Transformations that normalize the firm representation
* as removing Ids and Tuples, useless Phis, SymConst(id) -> Const(entity) ...
*/
-I_FLAG(normalize , 13, ON)
+I_FLAG(normalize , 12, ON)
/** Remove tail-recursion. */
-I_FLAG(tail_recursion , 14, ON)
+I_FLAG(tail_recursion , 13, ON)
/** Free never called methods */
-I_FLAG(dead_method_elimination , 15, ON)
+I_FLAG(dead_method_elimination , 14, ON)
/** precise exception context */
-I_FLAG(precise_exc_context , 16, ON)
+I_FLAG(precise_exc_context , 15, ON)
/** Do loop unrolling */
-I_FLAG(loop_unrolling , 17, OFF) /* currently buggy, 2.1.2006 */
+I_FLAG(loop_unrolling , 16, OFF) /* currently buggy, 2.1.2006 */
/** Do Strength reduction */
-I_FLAG(strength_red , 18, ON)
+I_FLAG(strength_red , 17, ON)
/** Optimize Loads and Stores */
-I_FLAG(redundant_loadstore , 19, ON)
+I_FLAG(redundant_loadstore , 18, ON)
/** Optimize Fragile OPs */
-I_FLAG(fragile_ops , 20, OFF)
+I_FLAG(fragile_ops , 19, OFF)
-/** If conversion. */
-I_FLAG(if_conversion , 21, OFF)
-
-/** Optimize real function calls. */
-I_FLAG(real_function_call , 22, ON)
+/** Optimize function calls. */
+I_FLAG(function_call , 20, ON)
/** Optimize cast nodes. */
-E_FLAG(optimize_class_casts , 23, ON)
-E_FLAG(suppress_downcast_optimization , 24, OFF)
+E_FLAG(optimize_class_casts , 21, ON)
+E_FLAG(suppress_downcast_optimization , 22, OFF)
/** Not really an optimization, removes Confirm nodes. */
-I_FLAG(remove_confirm , 25, OFF)
+I_FLAG(remove_confirm , 23, OFF)
/** Scalar replacement. */
-I_FLAG(scalar_replacement , 26, ON)
+I_FLAG(scalar_replacement , 24, ON)
/** Load and Store have only Null exceptions. */
-I_FLAG(ldst_only_null_ptr_exceptions , 27, ON)
+I_FLAG(ldst_only_null_ptr_exceptions , 25, ON)
/** Sel-based Null-pointer check elimination. */
-I_FLAG(sel_based_null_check_elim , 28, OFF)
+I_FLAG(sel_based_null_check_elim , 26, OFF)
+
+/** Automatically create Sync node during construction. */
+I_FLAG(auto_create_sync , 27, OFF)
+
+/** Enable Alias-analysis. */
+I_FLAG(alias_analysis , 28, ON)
+
+/** Closed world assumption. */
+I_FLAG(closed_world , 31, OFF)
+
+/* -------------------- RUNNING flags ------------------- */
+
+/** This flag is set while the reassociation optimizations are running */
+R_FLAG(reassoc , 0)
+
+/** This flag is set while architecture dependent optimizations are running */
+R_FLAG(arch_dep , 0)