Struct CoverageCounters

pub(super) struct CoverageCounters {
    counter_increment_sites: IndexVec<CounterId, Site>,
    node_counters: IndexVec<BasicCoverageBlock, Option<BcbCounter>>,
    expressions: IndexVec<ExpressionId, BcbExpression>,
    expressions_memo: FxHashMap<BcbExpression, BcbCounter>,
}

Generates and stores coverage counter and coverage expression information associated with nodes/edges in the BCB graph.

Fields

counter_increment_sites: IndexVec<CounterId, Site>

List of places where a counter-increment statement should be injected into MIR, each with its corresponding counter ID.

node_counters: IndexVec<BasicCoverageBlock, Option<BcbCounter>>

Coverage counters/expressions that are associated with individual BCBs.

expressions: IndexVec<ExpressionId, BcbExpression>

Table of expression data, associating each expression ID with its corresponding operator (+ or -) and its LHS/RHS operands.

expressions_memo: FxHashMap<BcbExpression, BcbCounter>

Remember expressions that have already been created (or simplified), so that we don’t create unnecessary duplicates.

Implementations

impl CoverageCounters

pub(super) fn make_bcb_counters( graph: &CoverageGraph, bcb_needs_counter: &BitSet<BasicCoverageBlock>, ) -> Self

Ensures that each BCB node needing a counter has one, by creating physical counters or counter expressions for nodes and edges as required.

fn with_num_bcbs(num_bcbs: usize) -> Self

fn make_phys_counter(&mut self, site: Site) -> BcbCounter

Creates a new physical counter for a BCB node or edge.

fn make_expression( &mut self, lhs: BcbCounter, op: Op, rhs: BcbCounter, ) -> BcbCounter

fn make_sum(&mut self, counters: &[BcbCounter]) -> Option<BcbCounter>

Creates a counter that is the sum of the given counters.

Returns None if the given list of counters was empty.

fn make_subtracted_sum( &mut self, lhs: BcbCounter, rhs: &[BcbCounter], ) -> BcbCounter

Creates a counter whose value is lhs - SUM(rhs).

pub(super) fn num_counters(&self) -> usize

fn set_node_counter( &mut self, bcb: BasicCoverageBlock, counter: BcbCounter, ) -> BcbCounter

pub(super) fn term_for_bcb(&self, bcb: BasicCoverageBlock) -> Option<CovTerm>

pub(super) fn counter_increment_sites( &self, ) -> impl Iterator<Item = (CounterId, Site)> + Captures<'_>

Returns an iterator over all the nodes/edges in the coverage graph that should have a counter-increment statement injected into MIR, along with each site’s corresponding counter ID.

pub(super) fn bcb_nodes_with_coverage_expressions( &self, ) -> impl Iterator<Item = (BasicCoverageBlock, ExpressionId)> + Captures<'_>

Returns an iterator over the subset of BCB nodes that have been associated with a counter expression, along with the ID of that expression.

pub(super) fn into_expressions(self) -> IndexVec<ExpressionId, Expression>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 104 bytes