X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firvrfy.h;h=4597daa670b1c4e98df8eb83e83b692d9f22ccd1;hb=f9d25133f86594ca2b1f33fb0b41a591ecc9b914;hp=d594c785bc18da30511e2da5a09103943b987015;hpb=1c3fd182998fc2eef8f4f4627cc244f888641fdb;p=libfirm diff --git a/ir/ir/irvrfy.h b/ir/ir/irvrfy.h index d594c785b..4597daa67 100644 --- a/ir/ir/irvrfy.h +++ b/ir/ir/irvrfy.h @@ -1,6 +1,14 @@ -/* 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 @@ -10,16 +18,28 @@ * @author Christian Schaefer */ -/* $Id$ */ - # ifndef _IRVRFY_H_ # define _IRVRFY_H_ # include "irnode.h" # include "irgraph.h" +typedef enum _node_verification_t { + NODE_VERIFICATION_OFF = 0, /**< do not verify nodes at all */ + NODE_VERIFICATION_ON = 1, /**< do node verification and assert on error in debug version */ + NODE_VERIFICATION_REPORT = 2, /**< do node verification, but report to stderr only */ + NODE_VERIFICATION_ERROR_ONLY = 3 /**< do node verification, but NEVER do assert nor report */ +} node_verification_t; + +/** Select verification of nodes. + * + * Per default the verification is in mode NODE_VERIFICATION_ASSERT. + * Turn the verification off during development to check partial implementations. + */ +void do_node_verification(node_verification_t mode); + /** - * Tests the modes of chechnode and its predecessors. + * Tests the modes of checknode and its predecessors. * Checknode must be in current_ir_graph. * * \return @@ -36,15 +56,61 @@ int irn_vrfy(struct ir_node *checknode); */ int irn_vrfy_irg(struct ir_node *checknode, 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(struct ir_node *checknode, ir_graph *irg, const char **bad_string); /** - * Calls irn_vrfy for each node in irg. - * Graph must be in state "pinned". + * 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_vrfy(ir_graph *irg); +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 occurance 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_ */