X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firvrfy_t.h;h=e4675c49c39a3bfbe7a720c6c6ef2e47f2b7999f;hb=581e5849ae58a13ab250626059da2abb506f24a6;hp=f977fbe0f155dde6b0a0a0d193e5469f0f8d8fde;hpb=eb08138c6b80c169945568e4414f491a9bc20388;p=libfirm diff --git a/ir/ir/irvrfy_t.h b/ir/ir/irvrfy_t.h index f977fbe0f..e4675c49c 100644 --- a/ir/ir/irvrfy_t.h +++ b/ir/ir/irvrfy_t.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. * * This file is part of libFirm. * @@ -17,23 +17,21 @@ * 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" #include "irdump.h" +#include "beutil.h" + extern const char *firm_vrfy_failure_msg; #ifdef NDEBUG @@ -53,7 +51,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 +70,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 +84,4 @@ do { \ */ void firm_set_default_verifyer(ir_opcode code, ir_op_ops *ops); -#endif /* _IRVRFY_T_H_ */ +#endif