/*
- * 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.
+ * Copyright (C) 2012 University of Karlsruhe.
*/
/**
* @file
* @brief Definitions for optimisation flags
- * @author Michael Beck
- * @version $Id$
+ * @author Michael Beck, Sebastian Hack
+ */
+
+/*
+ * We have 3 kinds of flags:
+ * I_FLAGS are INTERNAL flags: There 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(global_cse , 2, OFF)
/** Evaluate operations. */
-I_FLAG(constant_folding , 3, ON)
-
-/** Bad node propagation. */
-I_FLAG(unreachable_code , 4, ON)
-
-/** */
-I_FLAG(control_flow_straightening , 5, ON)
-
-/** */
-I_FLAG(control_flow_weak_simplification , 6, ON)
-
-/** */
-I_FLAG(control_flow_strong_simplification , 7, ON)
-
-/** Reclaim memory. */
-I_FLAG(dead_node_elimination , 8, ON)
-
-/** Reassociate nodes. */
-I_FLAG(reassociation , 9, ON)
-
-/** Do inlining transformation. */
-I_FLAG(inline , 10, ON)
-
-/** Remove dynamic method dispatch. */
-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 , 12, ON)
+E_FLAG(constant_folding , 3, ON)
-/** Remove tail-recursion. */
-I_FLAG(tail_recursion , 13, ON)
+/** Algebraic simplifications. */
+I_FLAG(algebraic_simplification , 4, ON)
-/** Free never called methods */
-I_FLAG(dead_method_elimination , 14, ON)
-
-/** precise exception context */
-I_FLAG(precise_exc_context , 15, ON)
-
-/** Do loop unrolling */
-I_FLAG(loop_unrolling , 16, OFF) /* currently buggy, 2.1.2006 */
-
-/** Do Strength reduction */
-I_FLAG(strength_red , 17, ON)
-
-/** Optimize Loads and Stores */
-I_FLAG(redundant_loadstore , 18, ON)
-
-/** Optimize Fragile OPs */
-I_FLAG(fragile_ops , 19, OFF)
-
-/** Optimize function calls. */
-I_FLAG(function_call , 20, ON)
-
-/** Optimize cast nodes. */
-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 , 23, OFF)
-
-/** Scalar replacement. */
-I_FLAG(scalar_replacement , 24, ON)
-
-/** Load and Store have only Null exceptions. */
-I_FLAG(ldst_only_null_ptr_exceptions , 25, ON)
-
-/** Sel-based Null-pointer check elimination. */
-I_FLAG(sel_based_null_check_elim , 26, OFF)
+/** Use Global Null Pointer Test elimination. */
+I_FLAG(global_null_ptr_elimination , 5, ON)
/** Automatically create Sync node during construction. */
-I_FLAG(auto_create_sync , 27, OFF)
+I_FLAG(auto_create_sync , 10, OFF)
/** Enable Alias-analysis. */
-I_FLAG(alias_analysis , 28, ON)
+I_FLAG(alias_analysis , 11, ON)
/** Closed world assumption. */
-I_FLAG(closed_world , 31, OFF)
+I_FLAG(closed_world , 12, OFF)
+
+/* -------------------- RUNNING flags ------------------- */
+
+/** This flag is set while the reassociation optimizations are running */
+R_FLAG(reassoc , 0)
projects / libfirm / blobdiff