[][src]Struct rustc_mir::dataflow::Engine

pub struct Engine<'a, 'tcx, A> where
    A: Analysis<'tcx>, 
{ tcx: TyCtxt<'tcx>, body: &'a Body<'tcx>, dead_unwinds: Option<&'a BitSet<BasicBlock>>, entry_sets: IndexVec<BasicBlock, A::Domain>, pass_name: Option<&'static str>, analysis: A, apply_trans_for_block: Option<Box<dyn Fn(BasicBlock, &mut A::Domain)>>, }

A solver for dataflow problems.


tcx: TyCtxt<'tcx>body: &'a Body<'tcx>dead_unwinds: Option<&'a BitSet<BasicBlock>>entry_sets: IndexVec<BasicBlock, A::Domain>pass_name: Option<&'static str>analysis: Aapply_trans_for_block: Option<Box<dyn Fn(BasicBlock, &mut A::Domain)>>

Cached, cumulative transfer functions for each block.


impl<A, D, T, 'tcx, 'a> Engine<'a, 'tcx, A> where
    A: GenKillAnalysis<'tcx, Idx = T, Domain = D>,
    D: Clone + JoinSemiLattice + GenKill<T> + BorrowMut<BitSet<T>>,
    T: Idx

pub fn new_gen_kill(
    tcx: TyCtxt<'tcx>,
    body: &'a Body<'tcx>,
    analysis: A
) -> Self

Creates a new Engine to solve a gen-kill dataflow problem.

impl<A, D, 'tcx, 'a> Engine<'a, 'tcx, A> where
    A: Analysis<'tcx, Domain = D>,
    D: Clone + JoinSemiLattice

pub fn new_generic(tcx: TyCtxt<'tcx>, body: &'a Body<'tcx>, analysis: A) -> Self[src]

Creates a new Engine to solve a dataflow problem with an arbitrary transfer function.

Gen-kill problems should use new_gen_kill, which will coalesce transfer functions for better performance.

fn new(
    tcx: TyCtxt<'tcx>,
    body: &'a Body<'tcx>,
    analysis: A,
    apply_trans_for_block: Option<Box<dyn Fn(BasicBlock, &mut A::Domain)>>
) -> Self

pub fn dead_unwinds(self, dead_unwinds: &'a BitSet<BasicBlock>) -> Self[src]

Signals that we do not want dataflow state to propagate across unwind edges for these BasicBlocks.

You must take care that dead_unwinds does not contain a BasicBlock that can actually unwind during execution. Otherwise, your dataflow results will not be correct.

pub fn pass_name(self, name: &'static str) -> Self[src]

Adds an identifier to the graphviz output for this particular run of a dataflow analysis.

Some analyses are run multiple times in the compilation pipeline. Give them a pass_name to differentiate them. Otherwise, only the results for the latest run will be saved.

pub fn iterate_to_fixpoint(self) -> Results<'tcx, A> where
    A::Domain: DebugWithContext<A>, 

Computes the fixpoint for this dataflow problem and returns it.

Auto Trait Implementations

impl<'a, 'tcx, A> !RefUnwindSafe for Engine<'a, 'tcx, A>

impl<'a, 'tcx, A> !Send for Engine<'a, 'tcx, A>

impl<'a, 'tcx, A> !Sync for Engine<'a, 'tcx, A>

impl<'a, 'tcx, A> Unpin for Engine<'a, 'tcx, A> where
    A: Unpin,
    <A as AnalysisDomain<'tcx>>::Domain: Unpin,
    'tcx: 'a, 

impl<'a, 'tcx, A> !UnwindSafe for Engine<'a, 'tcx, A>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]