Correctness Tests

Functions
int	irn_verify (const ir_node *node)
	Tests node for well-formedness.
int	irg_verify (ir_graph *irg)
	Calls irn_verify() for each node in irg.
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.

Detailed Description

Function Documentation

irg_assert_verify()

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.

irg_verify()

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

irg	the IR-graph to check

Returns

NON-zero if no problems were found

irn_verify()

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