libFirm 1.20
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_tirg_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.