beloopana: Remove duplicate comments.
[libfirm] / ir / ir / irverify_t.h
index 8498a28..49dd72c 100644 (file)
@@ -1,27 +1,12 @@
 /*
- * 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.
+ * Copyright (C) 2012 University of Karlsruhe.
  */
 
 /**
  * @file
  * @brief    New checker of irnodes for correctness.
  * @author   Michael Beck
- * @version  $Id$
  */
 #ifndef FIRM_IR_IRVERIFY_T_H
 #define FIRM_IR_IRVERIFY_T_H
@@ -51,7 +36,7 @@ extern const char *firm_verify_failure_msg;
 do { \
   if (opt_do_node_verification == FIRM_VERIFICATION_ON) {\
     if (!(expr) && current_ir_graph != get_const_code_irg()) \
-      dump_ir_graph(current_ir_graph, "-assert"); \
+      dump_ir_graph(current_ir_graph, "assert"); \
     assert((expr) && string); } \
   if (!(expr)) { \
     if (opt_do_node_verification == FIRM_VERIFICATION_REPORT) \
@@ -65,12 +50,12 @@ do { \
 do { \
   if (!(expr)) { \
     firm_verify_failure_msg = #expr " && " string; \
-    if (opt_do_node_verification != FIRM_VERIFICATION_ERROR_ONLY) { blk; } \
+    if (opt_do_node_verification != FIRM_VERIFICATION_ERROR_ONLY) { blk } \
     if (opt_do_node_verification == FIRM_VERIFICATION_REPORT) \
       fprintf(stderr, #expr " : " string "\n"); \
     else if (opt_do_node_verification == FIRM_VERIFICATION_ON) { \
       if (!(expr) && current_ir_graph != get_const_code_irg()) \
-        dump_ir_graph(current_ir_graph, "-assert"); \
+        dump_ir_graph(current_ir_graph, "assert"); \
       assert((expr) && string); \
     } \
     return (ret); \
@@ -80,8 +65,8 @@ do { \
 #endif
 
 /**
- * Set the default verify_node and verify_proj_node operation for an ir_op_ops.
+ * Set the default verify_node and verify_proj_node operations.
  */
-void firm_set_default_verifyer(unsigned code, ir_op_ops *ops);
+void ir_register_verify_node_ops(void);
 
 #endif