Skip to main content

validate_intermediate_representation

presolve_compiler::intermediate_representation

Function validate_intermediate_representation 

Source 
pub fn validate_intermediate_representation(
    representation: &IntermediateRepresentation,
) -> Vec<IrValidationDiagnostic>
Expand description

Validates identity, definition, operand, and storage-reference integrity for canonical IR.