/*
- * Project: libFIRM
- * File name: ir/ir/irflag.h
- * Purpose: Flags to control optimizations.
- * Author: Christian Schaefer, Goetz Lindenmaier
- * Modified by: Michael Beck
- * Created:
- * CVS-ID: $Id$
- * Copyright: (c) 1999-2003 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 irflag.h
- *
+ * @file
+ * @brief Flags to control optimizations.
+ * @author Christian Schaefer, Goetz Lindenmaier, Michael Beck
+ * @version $Id$
+ * @summary
* Flags to customize the behavior of libfirm.
*
- * @author Christian Schaefer
- *
* There are the following groups of flags:
* 1. Optimization flags.
* a) There is a flag, 'optimize' to turn on/off all optimizations.
* 4. Verification flag
* This one controls the behavior of node and type verifications
*/
-#ifndef _FIRM_IR_IRFLAG_H_
-#define _FIRM_IR_IRFLAG_H_
+#ifndef FIRM_IR_IRFLAG_H
+#define FIRM_IR_IRFLAG_H
#include "firm_types.h"
*/
void set_opt_precise_exc_context(int value);
+/** Enable/Disable Alias analysis.
+ *
+ * If enabled, memory disambiguation by alias analysis is used.
+ */
+void set_opt_alias_analysis(int value);
+
/** Enable/Disable closed world assumption.
*
* If enabled, optimizations expect to know the "whole world", i.e. no
*/
void do_node_verification(firm_verification_t mode);
-#endif /* _FIRM_IR_IRFLAG_H_ */
+#endif