Struct Nuutila

pub struct Nuutila<'tcx, T: IntervalArithmetic + Debug> {
    pub variables: &'tcx VarNodes<'tcx, T>,
    pub index: i32,
    pub dfs: HashMap<&'tcx Place<'tcx>, i32>,
    pub root: HashMap<&'tcx Place<'tcx>, &'tcx Place<'tcx>>,
    pub in_component: HashSet<&'tcx Place<'tcx>>,
    pub components: HashMap<&'tcx Place<'tcx>, HashSet<&'tcx Place<'tcx>>>,
    pub worklist: VecDeque<&'tcx Place<'tcx>>,
}

Fields

variables: &'tcx VarNodes<'tcx, T>

index: i32

dfs: HashMap<&'tcx Place<'tcx>, i32>

root: HashMap<&'tcx Place<'tcx>, &'tcx Place<'tcx>>

in_component: HashSet<&'tcx Place<'tcx>>

components: HashMap<&'tcx Place<'tcx>, HashSet<&'tcx Place<'tcx>>>

worklist: VecDeque<&'tcx Place<'tcx>>

Implementations

impl<'tcx, T> Nuutila<'tcx, T>

where T: IntervalArithmetic + ConstConvert + Debug,

pub fn new( varNodes: &'tcx VarNodes<'tcx, T>, use_map: &'tcx UseMap<'tcx>, symb_map: &'tcx SymbMap<'tcx>, single: bool, oprs: &'tcx Vec<BasicOpKind<'tcx, T>>, ) -> Self

pub fn visit( &mut self, place: &'tcx Place<'tcx>, stack: &mut Vec<&'tcx Place<'tcx>>, use_map: &'tcx UseMap<'tcx>, oprs: &'tcx Vec<BasicOpKind<'tcx, T>>, )

pub fn add_control_dependence_edges( &mut self, _symb_map: &'tcx SymbMap<'tcx>, _use_map: &'tcx UseMap<'tcx>, _vars: &'tcx VarNodes<'tcx, T>, )

pub fn del_control_dependence_edges(&mut self, _use_map: &'tcx mut UseMap<'tcx>)

Trait Implementations

impl<'tcx, T: Debug + IntervalArithmetic + Debug> Debug for Nuutila<'tcx, T>

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

Formats the value using the given formatter.