Enum rustc_middle::mir::coverage::CoverageKind

pub enum CoverageKind {
    SpanMarker,
    BlockMarker {
        id: BlockMarkerId,
    },
    CounterIncrement {
        id: CounterId,
    },
    ExpressionUsed {
        id: ExpressionId,
    },
    CondBitmapUpdate {
        id: ConditionId,
        value: bool,
        decision_depth: u16,
    },
    TestVectorBitmapUpdate {
        bitmap_idx: u32,
        decision_depth: u16,
    },
}

Variants

SpanMarker

Marks a span that might otherwise not be represented in MIR, so that coverage instrumentation can associate it with its enclosing block/BCB.

Should be erased before codegen (at some point after InstrumentCoverage).

BlockMarker

Marks its enclosing basic block with an ID that can be referred to by side data in CoverageInfoHi.

Should be erased before codegen (at some point after InstrumentCoverage).

Fields

id: BlockMarkerId

CounterIncrement

Marks the point in MIR control flow represented by a coverage counter.

This is eventually lowered to llvm.instrprof.increment in LLVM IR.

If this statement does not survive MIR optimizations, any mappings that refer to this counter can have those references simplified to zero.

Fields

id: CounterId

ExpressionUsed

Marks the point in MIR control-flow represented by a coverage expression.

If this statement does not survive MIR optimizations, any mappings that refer to this expression can have those references simplified to zero.

(This is only inserted for expression IDs that are directly used by mappings. Intermediate expressions with no direct mappings are retained/zeroed based on whether they are transitively used.)

Fields

id: ExpressionId

CondBitmapUpdate

Marks the point in MIR control flow represented by a evaluated condition.

This is eventually lowered to llvm.instrprof.mcdc.condbitmap.update in LLVM IR.

Fields

id: ConditionId

value: bool

decision_depth: u16

TestVectorBitmapUpdate

Marks the point in MIR control flow represented by a evaluated decision.

This is eventually lowered to llvm.instrprof.mcdc.tvbitmap.update in LLVM IR.

Fields

bitmap_idx: u32

decision_depth: u16

Trait Implementations

impl Clone for CoverageKind

fn clone(&self) -> CoverageKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CoverageKind

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

Formats the value using the given formatter.

impl<__D: TyDecoder> Decodable<__D> for CoverageKind

fn decode(__decoder: &mut __D) -> Self

impl<__E: TyEncoder> Encodable<__E> for CoverageKind

fn encode(&self, __encoder: &mut __E)

impl Hash for CoverageKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for CoverageKind

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher, )

impl PartialEq for CoverageKind

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for CoverageKind

fn try_fold_with<__F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, __folder: &mut __F, ) -> Result<Self, __F::Error>

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F>(self, folder: &mut F) -> Self

where F: TypeFolder<I>,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CoverageKind

fn visit_with<__V: TypeVisitor<TyCtxt<'tcx>>>( &self, __visitor: &mut __V, ) -> __V::Result

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl StructuralPartialEq for CoverageKind

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: 8 bytes

Size for each variant:

• SpanMarker: 0 bytes
• BlockMarker: 7 bytes
• CounterIncrement: 7 bytes
• ExpressionUsed: 7 bytes
• CondBitmapUpdate: 7 bytes
• TestVectorBitmapUpdate: 7 bytes