Struct Resolved 

#[non_exhaustive]
pub struct Resolved {
    pub steps: usize,
    pub scratch_slot: bool,
    pub victim_slot: bool,
}

What a resolution used beyond the moves’ own locations.

Examples

use backend_lang::mir::StackSlot;
use backend_lang::moves::{Move, MoveEnv, MoveResolver};
use backend_lang::x86_64::{self, GPR};

let (a, b) = (StackSlot::new(0), StackSlot::new(1));
let swap = [Move::new(a, b, GPR), Move::new(b, a, GPR)];
let env = MoveEnv::new().with_scratch_slot(StackSlot::new(2)).with_victim_slot(StackSlot::new(3));
let used = MoveResolver::new().resolve(&x86_64::TARGET, &swap, &env, &mut Vec::new())?;
assert!(used.scratch_slot && used.victim_slot);

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

steps: usize

Steps appended.

scratch_slot: bool

Whether the scratch slot was used.

victim_slot: bool

Whether the victim slot was used.

Trait Implementations

impl Clone for Resolved

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Resolved

impl Debug for Resolved

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

Formats the value using the given formatter.

impl Default for Resolved

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Resolved

impl PartialEq for Resolved

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Resolved