kinds to be added to datastructures
[libfirm] / ir / ir / irvrfy.h
1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
2 * All rights reserved.
3 */
4
5 /**
6 * @file irvrfy.h
7 *
8 * ir graph verification.
9 *
10 * @author Christian Schaefer
11 */
12
13 /* $Id$ */
14
15 # ifndef _IRVRFY_H_
16 # define _IRVRFY_H_
17
18 # include "irnode.h"
19 # include "irgraph.h"
20
21 /** Tests the modes of chechnode and its predecessors.
22     Checknode must be in current_ir_graph. */
23 void irn_vrfy (struct ir_node *checknode);
24
25 /** Tests the modes of chechnode and its predecessors.
26     Checknode must be in given ir_graph. */
27 void irn_vrfy_irg (struct ir_node *checknode, ir_graph *irg);
28
29
30 /** Calls irn_vrfy for each node in irg.
31     Graph must be in state "pinned".*/
32 void irg_vrfy (ir_graph *irg);
33
34
35 # endif /* _IRVRFY_H_ */