Struct regalloc2::checker::Checker

pub struct Checker<'a, F: Function> { /* private fields */ }

Implementations

impl<'a, F: Function> Checker<'a, F>

pub fn new(f: &'a F, machine_env: &'a MachineEnv) -> Checker<'a, F>

Create a new checker for the given function, initializing CFG info immediately. The client should call the add_*() methods to add abstract instructions to each BB before invoking run() to check for errors.

pub fn prepare(&mut self, out: &Output)

Build the list of checker instructions based on the given func and allocation results.

pub fn run(self) -> Result<(), CheckerErrors>

Find any errors, returning Err(CheckerErrors) with all errors found or Ok(()) otherwise.

Trait Implementations

impl<'a, F: Debug + Function> Debug for Checker<'a, F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.