/*
 * This file is part of libFirm.
 * Copyright (C) 2012 University of Karlsruhe.
 */

/**
 * @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(optimize                           , 0, ON)

/** Common subexpression eliminations: Hash the nodes. */
E_FLAG(cse                                , 1, ON)

/** Don't use block predecessor for comparison.
 *  Default must be zero as code placement must
 *  be run right after a local optimize walk with
 *  global_cse on. */
I_FLAG(global_cse                         , 2, OFF)

/** Evaluate operations. */
E_FLAG(constant_folding                   , 3, ON)

/** Algebraic simplifications. */
I_FLAG(algebraic_simplification           , 4, ON)

/** 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                   , 10, OFF)

/** Enable Alias-analysis. */
I_FLAG(alias_analysis                     , 11, ON)

/** Closed world assumption. */
I_FLAG(closed_world                       , 12, OFF)

/* -------------------- RUNNING flags ------------------- */

/** This flag is set while the reassociation optimizations are running */
R_FLAG(reassoc                            , 0)