/*
- * 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-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
+ * @brief Definitions for optimisation flags
+ * @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)
-
-/** If conversion. */
-I_FLAG(if_conversion , 20, OFF)
-
-/** Optimize function calls. */
-I_FLAG(function_call , 21, ON)
-
-/** Optimize cast nodes. */
-E_FLAG(optimize_class_casts , 22, ON)
-E_FLAG(suppress_downcast_optimization , 23, OFF)
-
-/** Not really an optimization, removes Confirm nodes. */
-I_FLAG(remove_confirm , 24, OFF)
-
-/** Scalar replacement. */
-I_FLAG(scalar_replacement , 25, ON)
-
-/** Load and Store have only Null exceptions. */
-I_FLAG(ldst_only_null_ptr_exceptions , 26, ON)
-
-/** Sel-based Null-pointer check elimination. */
-I_FLAG(sel_based_null_check_elim , 27, 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 , 28, OFF)
+I_FLAG(auto_create_sync , 10, OFF)
/** Enable Alias-analysis. */
-I_FLAG(alias_analysis , 29, 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