Enum BranchClass 

pub enum BranchClass {
    CondBranch,
    UncondBranch,
    Predicated,
    Other,
}

VCR-DEC-003 (#396, witness#130): the object-level control-flow class of one emitted machine instruction, captured at encode time alongside LineMap. It is the piece post-hoc CLI derivation cannot recover — line_map records which wasm op an instruction came from, but not whether that instruction IS a conditional branch, an unconditional branch, or a predicated (IT-block) move. The synth-provenance-v1 emitter needs it to enumerate the ACTUAL object conditional branches (so it can prove “every object branch resolves to a source condition”, not just “every source branch has an object PC”).

Variants

CondBranch

A conditional branch (Bcc/Blo/Bhs/BCondOffset) — an object-level decision point MC/DC must account for.

UncondBranch

An unconditional branch (B/BOffset) — control flow, not a decision.

Predicated

A predicated conditional move (SelectMove, the IT-block form the cmp→select fuse produces) — a folded decision with no branch.

Other

Anything else (data-processing, load/store, call, prologue/epilogue).

Trait Implementations

impl Clone for BranchClass

fn clone(&self) -> BranchClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BranchClass

impl Debug for BranchClass

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

Formats the value using the given formatter.

impl Eq for BranchClass

impl PartialEq for BranchClass

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BranchClass