Struct AliasPass 

pub struct AliasPass {
    pub level: AliasAnalysisLevel,
    pub solver: AndersenSolver,
    pub type_map: HashMap<LcnfVarId, LcnfType>,
    pub forwarder: LoadStoreForwarder,
    /* private fields */
}

The alias analysis pass.

Collects variables from LCNF declarations, builds constraints, solves the points-to graph, and answers alias queries.

Fields

level: AliasAnalysisLevel

The analysis level to use.

solver: AndersenSolver

The Andersen solver (used for CFL levels).

type_map: HashMap<LcnfVarId, LcnfType>

Type-based alias map: (var, type) pairs.

forwarder: LoadStoreForwarder

Load-store forwarder.

Implementations

impl AliasPass

pub fn new() -> Self

Create a new alias pass with default (CFLAndersen) level.

pub fn with_level(level: AliasAnalysisLevel) -> Self

Create a pass with a specific analysis level.

pub fn run(&mut self, decls: &mut [LcnfFunDecl])

Run alias analysis over all function declarations.

pub fn query(&mut self, a: LcnfVarId, b: LcnfVarId) -> AliasResult

Query whether two variables alias after analysis.

pub fn report(&self) -> AliasReport

Return a copy of the accumulated report.

pub fn apply_load_store_forwarding(&mut self, decls: &mut [LcnfFunDecl])

Apply load-store forwarding to all declarations (using alias info).

Trait Implementations

impl Debug for AliasPass

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

Formats the value using the given formatter.

impl Default for AliasPass

fn default() -> Self

Returns the “default value” for a type.