* @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
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) \
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); \
#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(ir_opcode code, ir_op_ops *ops);
+void ir_register_verify_node_ops(void);
#endif