Skip to content

Analysis

ValidationAnalysis dataclass 

ValidationAnalysis()

Bases: ForwardExtra[ValidationFrame, ErrorType], ABC


              flowchart TD
              bloqade.validation.analysis.analysis.ValidationAnalysis[ValidationAnalysis]

              

              click bloqade.validation.analysis.analysis.ValidationAnalysis href "" "bloqade.validation.analysis.analysis.ValidationAnalysis"

Analysis pass that indicates errors in the IR according to the respective method tables.

If you need to implement validation for a dialect shared by many groups (for example, if you need to ascertain if statements have a specific form) you'll need to inherit from this class.

ValidationFrame dataclass 

ValidationFrame(errors: list[ValidationError] = list())

Bases: ForwardFrame[ErrorType]


              flowchart TD
              bloqade.validation.analysis.analysis.ValidationFrame[ValidationFrame]

              

              click bloqade.validation.analysis.analysis.ValidationFrame href "" "bloqade.validation.analysis.analysis.ValidationFrame"

errors class-attribute instance-attribute 

errors: list[ValidationError] = field(default_factory=list)

List of all ecnountered errors.

Append a kirin.ir.ValidationError to this list in the method implementation in order for it to get picked up by the KernelValidation run.