[−][src]Struct llhd::verifier::Verifier
An IR verifier.
The Verifier
acts as a context to call the various IR checking functions
on. It keeps track of errors.
Methods
impl Verifier
[src]
pub fn new() -> Self
[src]
Create a new verifier.
pub fn verify_module(&mut self, module: &Module)
[src]
Verify the integrity of a Module
.
pub fn verify_function(&mut self, func: &Function)
[src]
Verify the integrity of a Function
.
pub fn verify_process(&mut self, prok: &Process)
[src]
Verify the integrity of a Process
.
pub fn verify_entity(&mut self, ent: &Entity)
[src]
Verify the integrity of an Entity
.
pub fn verify_function_layout(
&mut self,
layout: &FunctionLayout,
dfg: &DataFlowGraph
)
[src]
&mut self,
layout: &FunctionLayout,
dfg: &DataFlowGraph
)
Verify the integrity of the BB and instruction layout.
pub fn verify_inst_layout(&mut self, layout: &InstLayout, dfg: &DataFlowGraph)
[src]
Verify the integrity of the instruction layout.
pub fn verify_inst(&mut self, inst: Inst, dfg: &DataFlowGraph)
[src]
Verify the integrity of a single instruction.
pub fn finish(self) -> Result<(), VerifierErrors>
[src]
Finish verification and return the result.
Consumes the verifier.
pub fn finish_panic(self)
[src]
Finish verification and panic if errors occurred.
Consumes the verifier.
Trait Implementations
Auto Trait Implementations
impl Sync for Verifier
impl Send for Verifier
impl Unpin for Verifier
impl RefUnwindSafe for Verifier
impl UnwindSafe for Verifier
Blanket Implementations
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,