X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firvrfy.h;h=19999556e65b62386ee098eb50884615882dc633;hb=fed1bdc07c9ec7b4d07a9243ad093c9fdd239fbd;hp=77ddc2af6527248b48f2b84bb914a8ee2b1e4037;hpb=3e5692defee7bec4dcd584b83d1c79baaf6a63c7;p=libfirm diff --git a/ir/ir/irvrfy.h b/ir/ir/irvrfy.h index 77ddc2af6..19999556e 100644 --- a/ir/ir/irvrfy.h +++ b/ir/ir/irvrfy.h @@ -1,25 +1,100 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Author: Christian Schaefer -** -** irgraph.h: ir graph verification -*/ +/* + * 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. + */ -/* $Id$ */ +/** + * @file irvrfy.h + * + * ir graph verification. + * + * @author Christian Schaefer + */ +#ifndef _IRVRFY_H_ +#define _IRVRFY_H_ -# ifndef _IRVRFY_H_ -# define _IRVRFY_H_ +#include "firm_types.h" -# include "irnode.h" -# include "irgraph.h" +/** + * Tests the modes of checknode and its predecessors. + * checknode must be in current_ir_graph. + * + * \return + * NON-zero on success + */ +int irn_vrfy(ir_node *checknode); -/* 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 checknode and its predecessors. + * checknode must be in given ir_graph. + * + * \return + * NON-zero on success + */ +int irn_vrfy_irg(ir_node *checknode, ir_graph *irg); -/* Calls irn_vrfy for each node in irg. */ -void irg_vrfy (ir_graph *irg); +/** + * Same as irn_vrfy_irg, but temporary sets verification mode to + * NODE_VERIFICATION_ERROR_ONLY. + * \return + * NON-zero on success + */ +int irn_vrfy_irg_dump(ir_node *checknode, ir_graph *irg, const char **bad_string); +/** + * Flags for irg_verify(). + */ +typedef enum _irg_verify_flags_t { + VRFY_NORMAL = 0, /**< check SSA property only if dominance information is available */ + VRFY_ENFORCE_SSA = 1 /**< check SSA property by enforcing the dominance information recalculation */ +} irg_verify_flags_t; + +/** + * Calls irn_vrfy() for each node in irg. + * Graph must be in state "op_pin_state_pinned". + * + * \return + * NON-zero on success. + */ +int irg_verify(ir_graph *irg, unsigned flags); + +/** + * Compatibility macro. Deprecated soon. + */ +#define irg_vrfy(irg) irg_verify(irg, 0) + +/** + * Possible flags for irg_vrfy_bads(). + */ +enum verify_bad_flags_t { + BAD_CF = 1, /**< Bad nodes are allowed as predecessors of Blocks and Phis. */ + BAD_DF = 2, /**< Bad nodes are allowed as dataflow predecessors. */ + BAD_BLOCK = 4, /**< Bad nodes are allowed as Block input. */ + TUPLE = 8 /**< Tuple nodes are allowed. */ +}; + +/** + * Verify occurrence of bad nodes in a graph. + * + * @param irg The graph to verify + * @param flags combination of verify_bad_flags_t flags describing + * which Bads are allowed + * @returns a value combined of verify_bad_flags_t indicating the problems found. + */ +int irg_vrfy_bads(ir_graph *irg, int flags); + +/** + * Enable/disable verification of Load/Store nodes with + * its entities. If disabled, Store(SymConst(array)) will be allowed + * (C-frontend builds this :-) + */ +void vrfy_enable_entity_tests(int enable); # endif /* _IRVRFY_H_ */