Struct GenKillEngine

pub struct GenKillEngine<'lt, A: GenKillAnalysis<'lt>> {
    pub transfer_functions: IndexVec<BasicBlockId, GenKillSet<A::SetType>>,
    /* private fields */
}

Fields

transfer_functions: IndexVec<BasicBlockId, GenKillSet<A::SetType>>

Implementations

impl<'lt, A: GenKillAnalysis<'lt>> GenKillEngine<'lt, A>

pub fn new(cfg: &ControlFlowGraph, analysis: &'lt mut A) -> Self

Trait Implementations

impl<'lt, A: GenKillAnalysis<'lt>> Analysis<'lt> for GenKillEngine<'lt, A>

type SetType = <A as GenKillAnalysis<'lt>>::SetType

type Direction = <A as GenKillAnalysis<'lt>>::Direction

fn transfer_function( &mut self, in_set: &BitSet<Self::SetType>, out_set: &mut BitSet<Self::SetType>, basic_bock: BasicBlockId, _: &ControlFlowGraph, )

fn max_idx(&self) -> Self::SetType

fn join( &mut self, inout_set: &mut BitSet<Self::SetType>, in_set: &BitSet<Self::SetType>, )