nsz Git - libfirm/blob - 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 /**
  22  * Tests the modes of chechnode and its predecessors.
  23  * Checknode must be in current_ir_graph.
  24  *
  25  * \return
  26  *      NON-zero on success
  27  */
  28 int irn_vrfy(struct ir_node *checknode);
  29
  30 /**
  31  * Tests the modes of checknode and its predecessors.
  32  * Checknode must be in given ir_graph.
  33  *
  34  * \return
  35  *      NON-zero on success
  36  */
  37 int irn_vrfy_irg(struct ir_node *checknode, ir_graph *irg);
  38
  39
  40 /**
  41  * Calls irn_vrfy for each node in irg.
  42  * Graph must be in state "pinned".
  43  *
  44  * \return
  45  *      NON-zero on success.
  46  */
  47 int irg_vrfy(ir_graph *irg);
  48
  49
  50 # endif /* _IRVRFY_H_ */