libfirm/irverify.h File Reference

Check irnodes for correctness. More...

#include "firm_types.h"
#include "begin.h"
#include "end.h"

Go to the source code of this file.

Enumerations
enum	irg_verify_flags_t { VERIFY_NORMAL = 0, VERIFY_ENFORCE_SSA = 1 }
	Flags for irg_verify(). More...
enum	verify_bad_flags_t { BAD_CF = 1, BAD_DF = 2, BAD_BLOCK = 4, TUPLE = 8 }
	Possible flags for irg_verify_bads(). More...
Functions
int	irn_verify (const ir_node *checknode)
	Tests the modes of checknode and its predecessors.
int	irn_verify_irg (const ir_node *checknode, ir_graph *irg)
	Tests the modes of checknode and its predecessors.
int	irn_verify_irg_dump (const ir_node *checknode, ir_graph *irg, const char **bad_string)
	Same as irn_verify_irg, but temporary sets verification mode to NODE_VERIFICATION_ERROR_ONLY.
int	irg_verify (ir_graph *irg, unsigned flags)
	Calls irn_verify() for each node in irg.
ir_graph_pass_t *	irg_verify_pass (const char *name, unsigned flags)
	Creates an ir_graph pass for irg_verify().
int	irg_verify_bads (ir_graph *irg, int flags)
	Verify occurrence of bad nodes in a graph.
void	verify_enable_entity_tests (int enable)
	Enable/disable verification of Load/Store nodes with its entities.

---

Detailed Description

Check irnodes for correctness.

Author:

Christian Schaefer, Goetz Lindenmaier, Till Riedel

Definition in file irverify.h.