bloqade.lanes.validation.address.Validation

← Module overview

classValidation¶source

bloqade.lanes.validation.address.Validation

Bases: ValidationPass

Validates a move program against an architecture specification.

class Validation(*, arch_spec: ArchSpec)

Public import paths

• from bloqade.lanes.pipeline.base import AddressValidation
• from bloqade.lanes.arch.gemini.logical.validation import Validation

Parameters

Name	Type	Description
arch_spec	ArchSpec

Attributes

Name	Type	Default	Description
arch_spec	ArchSpec	field(kw_only=True)

methodname¶source

bloqade.lanes.validation.address.Validation.name

def name() -> str

Returns

str

source

methodrun¶source

bloqade.lanes.validation.address.Validation.run

def run(method: ir.Method) -> tuple[Any, list[ir.ValidationError]]

Parameters

Name	Type	Description
method	ir.Method

Returns

tuple[Any, list[ir.ValidationError]]

source