Struct Preserved 

pub struct Preserved(/* private fields */);

What a pass leaves standing.

A set rather than the three cases the design writes, because Preserved::ALL and Preserved::NONE are the full set and the empty one and a named set is what is between them. A pass that adds an analysis to this list is saying the code it produced answers the same questions the code it was given did, which is a claim about a pass and not about a run, so it is stated once on the pass rather than returned from each call.

Implementations

impl Preserved

pub const ALL: Preserved

Everything, which is what a pass that does not change the shape of a function says.

pub const NONE: Preserved

Nothing, which is what a pass that moves an edge says, however small the move was.

pub const fn and(self, analysis: Analysis) -> Self

This set and that analysis.

pub const fn without(self, analysis: Analysis) -> Self

This set without that analysis.

The way a pass says “everything except one thing”, which is what a pass that rewrites operands and moves no edge has to say: the shape of the function is what it was and the liveness is not, because a value read in one more place is live in one more place.

pub const fn keeps(self, analysis: Analysis) -> bool

Whether the pass said this one survived.

Trait Implementations

impl Clone for Preserved

fn clone(&self) -> Preserved

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Preserved

impl Debug for Preserved

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

Formats the value using the given formatter.

impl Eq for Preserved

impl PartialEq for Preserved

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Preserved