Struct regalloc::Writable

pub struct Writable<R: Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Ord + Debug> { /* fields omitted */ }

A "writable register". This is a zero-cost wrapper that can be used to create a distinction, at the Rust type level, between a plain "register" and a "writable register".

There is nothing that ensures that Writable<..> is only wrapped around Reg and its variants (RealReg, VirtualReg). That however is its intended and currently its only use.

Writable<..> can be used by the client to ensure that, internally, it only generates instructions that write to registers that should be written. The InstRegUses below, which must be implemented for every instruction, requires a Writable<Reg> (not just Reg) in its defined and modified sets. While we cannot hide the constructor for Writable<..> from certain parts of the client while exposing it to others, the client can adopt conventions to e.g. only ever call the Writable<..> constructor from its central vreg-management logic, and decide that any invocation of this constructor in a machine backend (for example) is an error.

Methods

impl<R: Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Ord + Debug> Writable<R>

pub fn from_reg(reg: R) -> Writable<R>

Create a Writable from an R. The client should carefully audit where it calls this constructor to ensure correctness (see Writable<..> struct documentation).

pub fn to_reg(&self) -> R

Get the inner Reg.

pub fn map<F, U>(&self, f: F) -> Writable<U> where
    F: Fn(R) -> U,
    U: Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Ord + Debug, 

Trait Implementations

impl<R: Clone + Copy + PartialEq + Eq + Hash + PartialOrd + Ord + Debug> Clone for Writable<R>

fn clone(&self) -> Writable<R>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<R: Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Ord + Debug> Copy for Writable<R>

impl<R: Debug + Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Ord> Debug for Writable<R>

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

Formats the value using the given formatter.

impl<R: Eq + Copy + Clone + PartialEq + Hash + PartialOrd + Ord + Debug> Eq for Writable<R>

impl<R: Hash + Copy + Clone + PartialEq + Eq + PartialOrd + Ord + Debug> Hash for Writable<R>

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, 

Feeds a slice of this type into the given [Hasher].

impl<R: Ord + Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Debug> Ord for Writable<R>

fn cmp(&self, other: &Writable<R>) -> Ordering

This method returns an [Ordering] between self and other.

#[must_use]fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]fn clamp(self, min: Self, max: Self) -> Self

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval.

impl<R: PartialEq + Copy + Clone + Eq + Hash + PartialOrd + Ord + Debug> PartialEq<Writable<R>> for Writable<R>

fn eq(&self, other: &Writable<R>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Writable<R>) -> bool

This method tests for !=.

impl<R: PartialOrd + Copy + Clone + PartialEq + Eq + Hash + Ord + Debug> PartialOrd<Writable<R>> for Writable<R>

fn partial_cmp(&self, other: &Writable<R>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Writable<R>) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Writable<R>) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Writable<R>) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Writable<R>) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<R: Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Ord + Debug> StructuralEq for Writable<R>

impl<R: Copy + Clone + PartialEq + Eq + Hash + PartialOrd + Ord + Debug> StructuralPartialEq for Writable<R>