X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firflag_t.h;h=8880c1dc4685c8efa82f5c4ba2b3a345a1c74ce1;hb=6b91f5d25b8eabae39539fa9cac85d6be0dc62dc;hp=34d77b3ca6de367fb0ecc5fa0ddb255a649a24f0;hpb=2adf5813e8575dd3c7a06433cdcaa3b045202d7f;p=libfirm

diff --git a/ir/ir/irflag_t.h b/ir/ir/irflag_t.h
index 34d77b3ca..8880c1dc4 100644
--- a/ir/ir/irflag_t.h
+++ b/ir/ir/irflag_t.h
@@ -1,23 +1,32 @@
 /*
- * Project:     libFIRM
- * File name:   ir/ir/irgraph.c
- * 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 irflag_t.h
- *
- * Inline implementation of Optimization flags.
- *
- * @author Michael Beck
+ * @file
+ * @brief    Flags to control optimizations, inline implementation.
+ * @author   Michael Beck
+ * @version  $Id$
  */
-#ifndef _IRFLAG_T_H_
-#define _IRFLAG_T_H_
+#ifndef FIRM_IR_IRFLAG_T_H
+#define FIRM_IR_IRFLAG_T_H
+
+#include "firm_config.h"
 
 #include "irflag.h"
 
@@ -36,6 +45,7 @@ typedef enum {
 
 extern optimization_state_t libFIRM_opt;
 extern optimization_state_t libFIRM_verb;
+extern firm_verification_t opt_do_node_verification;
 
 extern int firm_verbosity_level;
 
@@ -73,6 +83,11 @@ static INLINE int _get_optimize (void) {
   return get_opt_optimize();
 }
 
+static INLINE firm_verification_t
+get_node_verification_mode(void) {
+  return opt_do_node_verification;
+}
+
 #define get_optimize()                           _get_optimize()
 #define get_opt_cse()                            _get_opt_cse()
 #define get_firm_verbosity()                     _get_firm_verbosity()
@@ -80,4 +95,6 @@ static INLINE int _get_optimize (void) {
 #define get_opt_optimize_class_casts()           _get_opt_optimize_class_casts()
 #define get_opt_suppress_downcast_optimization() _get_opt_suppress_downcast_optimization()
 
-#endif /* _IRFLAG_T_H_ */
+extern void firm_init_flags(void);
+
+#endif