Struct llhd::verifier::Verifier [−][src]
pub struct Verifier { /* fields omitted */ }
Expand description
An IR verifier.
The Verifier
acts as a context to call the various IR checking functions
on. It keeps track of errors.
Implementations
Verify the integrity of a Module
.
Verify the integrity of a UnitData
.
Finish verification and return the result.
Consumes the verifier.
Finish verification and panic if errors occurred.
Consumes the verifier.
Verify the integrity of a single instruction.