X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firvrfy.h;h=adf96118e189926c7b16fb9cb8c709fa78f4b1a0;hb=071a25888579c12f2975cec66c844e043ab9a8e9;hp=2335d0c91e875aca51c2c0eeedccbddd0e304673;hpb=df83e37827032795585d3b25776c465870672901;p=libfirm diff --git a/ir/ir/irvrfy.h b/ir/ir/irvrfy.h index 2335d0c91..adf96118e 100644 --- a/ir/ir/irvrfy.h +++ b/ir/ir/irvrfy.h @@ -1,26 +1,56 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -* All rights reserved. +/* + * Project: libFIRM + * File name: ir/ir/irvrfy.h + * Purpose: Check irnodes for correctness. + * Author: Christian Schaefer + * Modified by: Goetz Lindenmaier. Till Riedel + * Created: + * CVS-ID: $Id$ + * Copyright: (c) 1998-2003 Universität Karlsruhe + * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + */ + +/** +* @file irvrfy.h * -* Author: Christian Schaefer +* ir graph verification. * -* irgraph.h: ir graph verification +* @author Christian Schaefer */ -/* $Id$ */ - # ifndef _IRVRFY_H_ # define _IRVRFY_H_ # include "irnode.h" # include "irgraph.h" -/* Tests the modes of chechnode and its predecessors. - Checknode must be in current_ir_graph. */ -void irn_vrfy (struct ir_node *checknode); +/** + * Tests the modes of chechnode and its predecessors. + * Checknode must be in current_ir_graph. + * + * \return + * NON-zero on success + */ +int irn_vrfy(struct ir_node *checknode); + +/** + * Tests the modes of checknode and its predecessors. + * Checknode must be in given ir_graph. + * + * \return + * NON-zero on success + */ +int irn_vrfy_irg(struct ir_node *checknode, ir_graph *irg); + -/* Calls irn_vrfy for each node in irg. - Graph must be in state "pinned".*/ -void irg_vrfy (ir_graph *irg); +/** + * Calls irn_vrfy for each node in irg. + * Graph must be in state "pinned". + * + * \return + * NON-zero on success. + */ +int irg_vrfy(ir_graph *irg); # endif /* _IRVRFY_H_ */