ia32: allow Minus, Phi in any float mode

[libfirm] / include / libfirm / irverify.h

diff --git a/include/libfirm/irverify.h b/include/libfirm/irverify.h
index 65eec62..f6997ea 100644 (file)
--- a/include/libfirm/irverify.h
+++ b/include/libfirm/irverify.h
@@ -21,7 +21,6 @@
  * @file
  * @brief    Check irnodes for correctness.
  * @author   Christian Schaefer, Goetz Lindenmaier, Till Riedel
- * @version  $Id$
  */
 #ifndef FIRM_IR_IRVERIFY_H
 #define FIRM_IR_IRVERIFY_H
@@ -29,13 +28,18 @@
 #include "firm_types.h"
 #include "begin.h"
 
+/**
+ * @defgroup irverify  Correctness Tests
+ * @{
+ */
+
 /**
  * Tests the modes of checknode and its predecessors.
  * checknode must be in current_ir_graph.
  *
  * @return NON-zero on success
  */
-FIRM_API int irn_verify(ir_node *checknode);
+FIRM_API int irn_verify(const ir_node *checknode);
 
 /**
  * Tests the modes of checknode and its predecessors.
@@ -43,14 +47,15 @@ FIRM_API int irn_verify(ir_node *checknode);
  *
  * @return NON-zero on success
  */
-FIRM_API int irn_verify_irg(ir_node *checknode, ir_graph *irg);
+FIRM_API int irn_verify_irg(const ir_node *checknode, ir_graph *irg);
 
 /**
  * Same as irn_verify_irg, but temporary sets verification mode to
  * NODE_VERIFICATION_ERROR_ONLY.
  * @return NON-zero on success
  */
-FIRM_API int irn_verify_irg_dump(ir_node *checknode, ir_graph *irg, const char **bad_string);
+FIRM_API int irn_verify_irg_dump(const ir_node *checknode, ir_graph *irg,
+                                 const char **bad_string);
 
 /**
  * Flags for irg_verify().
@@ -101,12 +106,7 @@ enum verify_bad_flags_t {
  */
 FIRM_API int irg_verify_bads(ir_graph *irg, int flags);
 
-/**
- *  Enable/disable verification of Load/Store nodes with
- *  its entities. If disabled, Store(SymConst(array)) will be allowed
- *  (C-frontend builds this :-)
- */
-FIRM_API void verify_enable_entity_tests(int enable);
+/** @} */
 
 #include "end.h"