srdatalog.ir.core.verifier

Verifier infrastructure.

Each dialect ships a verifier callable that runs after every pass on that dialect’s IR shapes. Verifiers catch type mismatches, broken invariants, malformed IR — anything the pass should not have produced.

The infra is intentionally thin: an error type, plus an aggregator the PassDriver invokes. Per-dialect verifier logic lives in the dialect’s own module.

See docs/ir_lowering_semantics.md, section 22.

Module Contents

Classes

VerificationError

An IR well-formedness violation.

API

class srdatalog.ir.core.verifier.VerificationError

An IR well-formedness violation.

Fields: op — the offending op instance. message — human-readable description of the violation.

__str__() → str

message: str

None

op: Any

None