nsz Git - libfirm/blob - ir/ir/irvrfy.h

   1 /*
   2  * Project:     libFIRM
   3  * File name:   ir/ir/irvrfy.h
   4  * Purpose:     Check irnodes for correctness.
   5  * Author:      Christian Schaefer
   6  * Modified by: Goetz Lindenmaier. Till Riedel
   7  * Created:
   8  * CVS-ID:      $Id$
   9  * Copyright:   (c) 1998-2003 Universität Karlsruhe
  10  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  11  */
  12
  13 /**
  14 * @file irvrfy.h
  15 *
  16 * ir graph verification.
  17 *
  18 * @author Christian Schaefer
  19 */
  20
  21 # ifndef _IRVRFY_H_
  22 # define _IRVRFY_H_
  23
  24 # include "irnode.h"
  25 # include "irgraph.h"
  26
  27 /**
  28  * Tests the modes of chechnode and its predecessors.
  29  * Checknode must be in current_ir_graph.
  30  *
  31  * \return
  32  *      NON-zero on success
  33  */
  34 int irn_vrfy(struct ir_node *checknode);
  35
  36 /**
  37  * Tests the modes of checknode and its predecessors.
  38  * Checknode must be in given ir_graph.
  39  *
  40  * \return
  41  *      NON-zero on success
  42  */
  43 int irn_vrfy_irg(struct ir_node *checknode, ir_graph *irg);
  44
  45
  46 /**
  47  * Calls irn_vrfy for each node in irg.
  48  * Graph must be in state "pinned".
  49  *
  50  * \return
  51  *      NON-zero on success.
  52  */
  53 int irg_vrfy(ir_graph *irg);
  54
  55
  56 # endif /* _IRVRFY_H_ */