Struct air_execution_info_collector::InstructionTracker

pub struct InstructionTracker {
    pub ap: ApTracker,
    pub call: CallTracker,
    pub fold: FoldTracker,
    pub match_count: u32,
    pub mismatch_count: u32,
    pub new_tracker: NewTracker,
    pub next_count: u32,
    pub null_count: u32,
    pub par: ParTracker,
    pub seq_count: u32,
    pub xor_count: u32,
}

Intended to track a number of executed instruction of each type. For instructions that have a corresponding state in data, it tracks number of executed instructions on current peer (executed) and overall number (seen) of met instructions of such type.

Fields

ap: ApTracker

call: CallTracker

fold: FoldTracker

match_count: u32

mismatch_count: u32

new_tracker: NewTracker

next_count: u32

null_count: u32

par: ParTracker

seq_count: u32

xor_count: u32

Implementations

impl InstructionTracker

pub fn meet_ap(&mut self)

pub fn meet_executed_ap(&mut self)

pub fn meet_call(&mut self)

pub fn meet_executed_call(&mut self)

pub fn meet_fold_scalar(&mut self)

pub fn meet_fold_stream(&mut self)

pub fn meet_match(&mut self)

pub fn meet_mismatch(&mut self)

pub fn meet_next(&mut self)

pub fn meet_null(&mut self)

pub fn meet_par(&mut self)

pub fn meet_executed_par(&mut self)

pub fn meet_seq(&mut self)

pub fn meet_xor(&mut self)

pub fn meet_new(&mut self, position: AirPos)

Trait Implementations

impl Debug for InstructionTracker

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

Formats the value using the given formatter.

impl Default for InstructionTracker

fn default() -> InstructionTracker

Returns the “default value” for a type.

impl PartialEq<InstructionTracker> for InstructionTracker

fn eq(&self, other: &InstructionTracker) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for InstructionTracker

impl StructuralEq for InstructionTracker

impl StructuralPartialEq for InstructionTracker