Struct rustc_mir::transform::instrument_coverage::Instrumentor

struct Instrumentor<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    mir_def_id: DefId,
    mir_body: &'a mut Body<'tcx>,
    hir_body: &'tcx Body<'tcx>,
    function_source_hash: Option<u64>,
    num_counters: u32,
    num_expressions: u32,
}

Fields

tcx: TyCtxt<'tcx>

mir_def_id: DefId

mir_body: &'a mut Body<'tcx>

hir_body: &'tcx Body<'tcx>

function_source_hash: Option<u64>

num_counters: u32

num_expressions: u32

Implementations

impl<'a, 'tcx> Instrumentor<'a, 'tcx>

fn new(
    tcx: TyCtxt<'tcx>,
    src: MirSource<'tcx>,
    mir_body: &'a mut Body<'tcx>
) -> Self

fn next_counter(&mut self) -> CounterValueReference

Counter IDs start from zero and go up.

fn next_expression(&mut self) -> InjectedExpressionIndex

Expression IDs start from u32::MAX and go down because a CounterExpression can reference (add or subtract counts) of both Counter regions and CounterExpression regions. The counter expression operand IDs must be unique across both types.

fn function_source_hash(&mut self) -> u64

fn inject_counters(&mut self)

fn make_counter(&mut self) -> CoverageKind

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

fn inject_statement(
    &mut self,
    coverage_kind: CoverageKind,
    span: Span,
    block: BasicBlock
)