Enum Step 

pub enum Step {
    Move {
        dst: Loc,
        src: Source,
        class: RegClass,
    },
    Swap {
        a: PReg,
        b: PReg,
        class: RegClass,
    },
}

One step of the resolved sequence, each executable by one target instruction.

Examples

use backend_lang::moves::{Move, MoveEnv, MoveResolver, Step};
use backend_lang::x86_64::{self, GPR, RAX, RBX};

// Swap two registers: one xchg on x86-64.
let swap = [Move::new(RAX, RBX, GPR), Move::new(RBX, RAX, GPR)];
let mut out = Vec::new();
MoveResolver::new().resolve(&x86_64::TARGET, &swap, &MoveEnv::new(), &mut out)?;
assert_eq!(out, [Step::Swap { a: RAX, b: RBX, class: GPR }]);

Variants

Move

dst := src. Never memory to memory on a target that cannot, and never a store of an immediate the target cannot store.

Fields

dst: Loc

The destination.

src: Source

The source.

class: RegClass

The class of the value.

Swap

Exchange two registers of class.

Fields

a: PReg

One register.

b: PReg

The other.

class: RegClass

Their class.

Trait Implementations

impl Clone for Step

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 Step

impl Debug for Step

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

Formats the value using the given formatter.

impl Eq for Step

impl Hash for Step

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Step

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Step