X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ir%2Fir%2Firvrfy_t.h;h=c9ff7c15b0701a3632eb2a362bdf3188c65d64fa;hb=c1212ac51039d2f4c39bb8939a036f2f18c72e7c;hp=f977fbe0f155dde6b0a0a0d193e5469f0f8d8fde;hpb=eb08138c6b80c169945568e4414f491a9bc20388;p=libfirm diff --git a/ir/ir/irvrfy_t.h b/ir/ir/irvrfy_t.h index f977fbe0f..c9ff7c15b 100644 --- a/ir/ir/irvrfy_t.h +++ b/ir/ir/irvrfy_t.h @@ -17,18 +17,14 @@ * PURPOSE. */ -/* - * Project: libFIRM - * File name: ir/ir/irvrfy_t.h - * Purpose: New checker of irnodes for correctness. - * Author: Michael Beck - * Modified by: - * Created: - * CVS-ID: $Id$ - * Copyright: (c) 1998-2005 Universität Karlsruhe +/** + * @file + * @brief New checker of irnodes for correctness. + * @author Michael Beck + * @version $Id$ */ -#ifndef _IRVRFY_T_H_ -#define _IRVRFY_T_H_ +#ifndef FIRM_IR_IRVRFY_T_H +#define FIRM_IR_IRVRFY_T_H #include "irflag_t.h" #include "irvrfy.h" @@ -53,7 +49,7 @@ extern const char *firm_vrfy_failure_msg; do { \ if (opt_do_node_verification == FIRM_VERIFICATION_ON) {\ if (!(expr) && current_ir_graph != get_const_code_irg()) \ - dump_ir_block_graph(current_ir_graph, "-assert"); \ + dump_ir_block_graph_sched(current_ir_graph, "-assert"); \ assert((expr) && string); } \ if (!(expr)) { \ if (opt_do_node_verification == FIRM_VERIFICATION_REPORT) \ @@ -72,7 +68,7 @@ do { \ 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_block_graph(current_ir_graph, "-assert"); \ + dump_ir_block_graph_sched(current_ir_graph, "-assert"); \ assert((expr) && string); \ } \ return (ret); \ @@ -86,4 +82,4 @@ do { \ */ void firm_set_default_verifyer(ir_opcode code, ir_op_ops *ops); -#endif /* _IRVRFY_T_H_ */ +#endif