Enum Analysis 

pub enum Analysis {
    Cfg,
    Dominators,
    PostDominators,
    Loops,
    Frontiers,
    ControlDependence,
    Frequencies,
    Liveness,
    Pressure,
}

One analysis this cache holds.

The order matters and is checked by a test: an analysis is built out of analyses that come before it in this list and never out of one that comes after. That is what lets the invalidation walk settle in one pass over the list rather than in a loop to a fixed point.

Variants

Cfg

Cfg, which everything else here is built on.

Dominators

Dominators.

PostDominators

PostDominators.

Loops

Loops.

Frontiers

Frontiers.

ControlDependence

ControlDependence.

Frequencies

Frequencies, which carries the branch predictions it was worked out from.

Liveness

Liveness.

Pressure

Pressure, which is the live counts split by register class.

Implementations

impl Analysis

pub const EVERY: &'static [Analysis]

Every analysis this cache holds, in dependency order.

pub const fn name(self) -> &'static str

What it is called in a message to somebody debugging a pass.

pub const fn needs(self) -> &'static [Analysis]

The analyses this one is built out of, which cannot outlive it.

Section 4.4 of the design has a table of these and the entry for almost every row is “any CFG change”, which is why Analysis::Cfg is what the other three name.

Trait Implementations

impl Clone for Analysis

fn clone(&self) -> Analysis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Analysis

impl Debug for Analysis

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

Formats the value using the given formatter.

impl Eq for Analysis

impl Hash for Analysis

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 Ord for Analysis

fn cmp(&self, other: &Analysis) -> 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.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

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

Restrict a value to a certain range.

impl PartialEq for Analysis

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Analysis

fn partial_cmp(&self, other: &Analysis) -> 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 StructuralPartialEq for Analysis