Struct DataflowAnalysis 

pub struct DataflowAnalysis {
    pub live_variables: HashMap<String, HashSet<String>>,
    pub reaching_defs: HashMap<String, HashSet<String>>,
    pub available_exprs: HashSet<String>,
    pub use_def_chains: HashMap<String, Vec<String>>,
    pub def_use_chains: HashMap<String, Vec<String>>,
}

Result of dataflow analysis on an expression.

Fields

live_variables: HashMap<String, HashSet<String>>

Variables that are live (may be used later) at each expression

reaching_defs: HashMap<String, HashSet<String>>

Reaching definitions for each variable

available_exprs: HashSet<String>

Available expressions at each program point

use_def_chains: HashMap<String, Vec<String>>

Use-def chains mapping uses to their definitions

def_use_chains: HashMap<String, Vec<String>>

Def-use chains mapping definitions to their uses

Implementations

impl DataflowAnalysis

pub fn new() -> Self

Create a new empty dataflow analysis.

pub fn is_live(&self, expr_id: &str, var: &str) -> bool

Check if a variable is live at a given point.

pub fn get_live_vars(&self, expr_id: &str) -> HashSet<String>

Get all live variables at a given point.

pub fn get_reaching_defs(&self, var: &str) -> HashSet<String>

Get reaching definitions for a variable.

pub fn is_available(&self, expr: &str) -> bool

Check if an expression is available at a point.

pub fn get_use_def_chain(&self, var: &str) -> Vec<String>

Get use-def chain for a variable use.

pub fn get_def_use_chain(&self, var: &str) -> Vec<String>

Get def-use chain for a variable definition.

Trait Implementations

impl Clone for DataflowAnalysis

fn clone(&self) -> DataflowAnalysis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataflowAnalysis

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

Formats the value using the given formatter.

impl Default for DataflowAnalysis

fn default() -> Self

Returns the “default value” for a type.