libFirm
 All Data Structures Functions Variables Typedefs Enumerations Enumerator Groups Pages
Correctness Tests

Functions

int irn_verify (const ir_node *node)
 Tests node for well-formedness. More...
 
int irg_verify (ir_graph *irg)
 Calls irn_verify() for each node in irg. More...
 
void irg_assert_verify (ir_graph *irg)
 Convenience function: Checks graph for errors, in case of error the graph is dumped to a file with "-assert" suffix and the program aborted. More...
 

Detailed Description

Function Documentation

void irg_assert_verify ( ir_graph irg)

Convenience function: Checks graph for errors, in case of error the graph is dumped to a file with "-assert" suffix and the program aborted.

int irg_verify ( ir_graph irg)

Calls irn_verify() for each node in irg.

Also checks some global properties like all (non-phi) operands dominating their points of usage; Also checks if the control flow parts of a graph are valid.

Parameters
irgthe IR-graph to check
Returns
NON-zero if no problems were found
int irn_verify ( const ir_node node)

Tests node for well-formedness.

This mostly tests modes of inputs/outputs. Only local properties are tested global properties are only checked by irg_verify().

Returns
NON-zero if no problems were found