Struct AliasDomain 

pub struct AliasDomain {
    parent: Vec<usize>,
    rank: Vec<usize>,
}

Alias domain using Union-Find data structure

Fields

parent: Vec<usize>

Parent array for Union-Find

rank: Vec<usize>

Rank for path compression

Implementations

impl AliasDomain

pub fn new(num_places: usize) -> Self

Create a new domain with n places

pub fn find(&mut self, idx: usize) -> usize

Find the representative of a place (with path compression)

pub fn union(&mut self, idx1: usize, idx2: usize) -> bool

Union two places (returns true if they were not already aliased)

pub fn are_aliased(&mut self, idx1: usize, idx2: usize) -> bool

Check if two places are aliased

pub fn remove_aliases(&mut self, idx: usize)

Remove all aliases for a place (used in kill phase) This correctly handles the case where idx is the root of a connected component

pub fn remove_aliases_with_prefix( &mut self, place_id: &PlaceId, place_info: &PlaceInfo<'_>, )

Remove all aliases for a place and all its field projections This ensures that when lv is killed, all lv.* are also killed

pub fn get_all_alias_pairs(&self) -> Vec<(usize, usize)>

Get all alias pairs (for debugging/summary extraction)

Trait Implementations

impl Clone for AliasDomain

fn clone(&self) -> AliasDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AliasDomain

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

Formats the value using the given formatter.

impl DebugWithContext<FnAliasAnalyzer<'_>> for AliasDomain

fn fmt_with(&self, _ctxt: &C, f: &mut Formatter<'_>) -> Result<(), Error>

fn fmt_diff_with( &self, old: &Self, ctxt: &C, f: &mut Formatter<'_>, ) -> Result<(), Error>

Print the difference between self and old.

impl JoinSemiLattice for AliasDomain

fn join(&mut self, other: &Self) -> bool

Computes the least upper bound of two elements, storing the result in self and returning true if self has changed.

impl PartialEq for AliasDomain

fn eq(&self, other: &AliasDomain) -> 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 Eq for AliasDomain

impl StructuralPartialEq for AliasDomain