Struct Writable 

pub struct Writable<R> { /* private fields */ }

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”.

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.

Implementations

impl<R> Writable<R>

pub const 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).

impl<R: WritableBase> Writable<R>

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: WritableBase,

Trait Implementations

impl<R: Clone> Clone for Writable<R>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for Writable<R>

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

Formats the value using the given formatter.

impl<R: Hash> 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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<R: Ord> Ord for Writable<R>

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

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<R: PartialEq> PartialEq for Writable<R>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<R: PartialOrd> PartialOrd 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: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl<R: PrettyPrint + WritableBase> PrettyPrint for Writable<R>

fn show_rru(&self, maybe_reg_universe: Option<&RealRegUniverse>) -> String

Return a string that shows the implementing object in context of the given RealRegUniverse, if provided.

impl<R: PrettyPrintSized + WritableBase> PrettyPrintSized for Writable<R>

fn show_rru_sized( &self, maybe_reg_universe: Option<&RealRegUniverse>, size: u8, ) -> String

The same as |show_rru|, but with an optional hint giving a size in bytes. Its interpretation is object-dependent, and it is intended to pass around enough information to facilitate printing sub-parts of real registers correctly. Objects may ignore size hints that are irrelevant to them.

impl<R: Copy> Copy for Writable<R>

impl<R: Eq> Eq for Writable<R>

impl<R> StructuralPartialEq for Writable<R>