Struct gf::ai::executor::FixpointExecutorState

pub struct FixpointExecutorState<'a, D, I> where
    D: Direction,
    I: Interp<'a, D>,
    I::State: Meet,  { /* fields omitted */ }

🟢 State of a FixpointExecutor.

This structure maintains head and tail state for basic blocks. For forward interpretation, head means start of a basic block, and tail its end. For backward interpretation, the meanings are reversed.

Implementations

impl<'a, D, I> FixpointExecutorState<'a, D, I> where
    D: Direction,
    I: Interp<'a, D>,
    I::State: Meet, 

pub fn new(fragment_cfg: FragmentCfg<'a, D>) -> Self

Create a fixpoint executor state for a fragment where all head and tail states are initially set to ⊤.

pub fn with_head_state(
    fragment_cfg: FragmentCfg<'a, D>,
    head_state: I::State
) -> Self

Create a fixpoint executor state for a fragment with given head state, while initializing all other basic block states to ⊤.

pub fn fragment(&self) -> Fragment<'a>

Return the fragment.

pub fn fragment_cfg(&self) -> FragmentCfg<'a, D>

Return the fragment CFG.

pub fn head_interp_state(&self, basic_block: BasicBlock<'a>) -> &I::State

Return head interpretation state of basic_block.

pub fn set_head_interp_state_meet(
    &mut self,
    basic_block: BasicBlock<'a>,
    state: &I::State
) -> bool

Set head interpretation state of basic_block by applying the meet operation.

Returns true iff the state has changed.

pub fn tail_interp_state(&self, basic_block: BasicBlock<'a>) -> &I::State

Return tail interpretation state of basic_block.

pub fn set_tail_interp_state_meet(
    &mut self,
    basic_block: BasicBlock<'a>,
    state: &I::State
) -> bool

Set tail interpretation state of basic_block by applying the meet operation.

Returns true iff the state has changed.

pub fn fragment_head_interp_state(&self) -> &I::State

Return head interpretation state of the entire fragment.

pub fn fragment_tail_interp_state(&self) -> &I::State

Return tail interpretation state of the entire fragment.

pub fn initial_queue(&self) -> VecDeque<PathExecutorState<'a, D, I>>

Return the initial worklist queue, which is the reverse postorder of head states for all basic blocks of the fragment.

Trait Implementations

impl<'a, D: Clone, I: Clone> Clone for FixpointExecutorState<'a, D, I> where
    D: Direction,
    I: Interp<'a, D>,
    I::State: Meet,
    I::State: Clone,
    I::State: Clone, 

fn clone(&self) -> FixpointExecutorState<'a, D, I>

Returns a copy of the value.

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

Performs copy-assignment from source.