Struct llhd::verifier::Verifier

pub struct Verifier { /* fields omitted */ }

An IR verifier.

The Verifier acts as a context to call the various IR checking functions on. It keeps track of errors.

Implementations

impl Verifier

pub fn new() -> Self

Create a new verifier.

pub fn verify_module(&mut self, module: &Module)

Verify the integrity of a Module.

pub fn verify_unit(&mut self, unit: Unit<'_>)

Verify the integrity of a UnitData.

pub fn finish(self) -> Result<(), VerifierErrors>

Finish verification and return the result.

Consumes the verifier.

pub fn finish_panic(self)

Finish verification and panic if errors occurred.

Consumes the verifier.

pub fn verify_inst(&mut self, inst: Inst, unit: Unit<'_>)

Verify the integrity of a single instruction.

Trait Implementations

impl Default for Verifier

fn default() -> Verifier

Returns the “default value” for a type.