Struct Candidates

struct Candidates {
    c: FxIndexMap<Local, Vec<Local>>,
    reverse: FxIndexMap<Local, Vec<Local>>,
}

Fields

c: FxIndexMap<Local, Vec<Local>>

The set of candidates we are considering in this optimization.

We will always merge the key into at most one of its values.

Whether a place ends up in the key or the value does not correspond to whether it appears as the lhs or rhs of any assignment. As a matter of fact, the places in here might never appear in an assignment at all. This happens because if we see an assignment like this:

_1.0 = _2.0

We will still report that we would like to merge _1 and _2 in an attempt to allow us to remove that assignment.

reverse: FxIndexMap<Local, Vec<Local>>

A reverse index of the c set; if the c set contains a => Place { local: b, proj }, then this contains b => a.

Implementations

impl Candidates

fn reset_and_find<'tcx>(&mut self, body: &Body<'tcx>, borrowed: &BitSet<Local>)

Collects the candidates for merging.

This is responsible for enforcing the first and third bullet point.

fn vec_filter_candidates( src: Local, v: &mut Vec<Local>, f: impl FnMut(Local) -> CandidateFilter, at: Location, )

Just Vec::retain, but the condition is inverted and we add debugging output

fn entry_filter_candidates( entry: IndexOccupiedEntry<'_, Local, Vec<Local>>, p: Local, f: impl FnMut(Local) -> CandidateFilter, at: Location, )

vec_filter_candidates but for an Entry

fn filter_candidates_by( &mut self, p: Local, f: impl FnMut(Local) -> CandidateFilter, at: Location, )

For all candidates (p, q) or (q, p) removes the candidate if f(q) says to do so

Trait Implementations

impl Debug for Candidates

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

Formats the value using the given formatter.

impl Default for Candidates

fn default() -> Candidates

Returns the “default value” for a type.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 112 bytes