Skip to content

bloqade.gemini.common.validation.duplicate_address.DuplicateAddressValidation

← Module overview

classDuplicateAddressValidationsource

bloqade.gemini.common.validation.duplicate_address.DuplicateAddressValidation

Bases: ValidationPass

Report any pair of ``gemini.common.NewAt`` statements that pin the same physical address.

class DuplicateAddressValidation

methodnamesource

bloqade.gemini.common.validation.duplicate_address.DuplicateAddressValidation.name

def name() -> str

Returns

str

source

methodrunsource

bloqade.gemini.common.validation.duplicate_address.DuplicateAddressValidation.run

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

Parameters

NameTypeDescription
methodir.Method

Returns

tuple[Any, list[ir.ValidationError]]

source