Struct CertifiedSelection 

pub struct CertifiedSelection<W, A> {
    pub wasm: W,
    pub arm: Vec<A>,
    pub witness: Option<Witness>,
}

A concrete selection produced by the instruction selector.

Generic over the source op W (initially WasmOp) and target op A (initially ArmOp, later RiscvOp). The witness is None when the selector emits the selection and Some(Witness) after the validator accepts it.

Fields

wasm: W

The source operation (e.g. WasmOp::I32Add).

arm: Vec<A>

The target instruction sequence (e.g. [ArmOp::Add { ... }]).

witness: Option<Witness>

Witness attached by the validator (None until validated).

Implementations

impl<W, A> CertifiedSelection<W, A>

pub fn new(wasm: W, arm: Vec<A>) -> Self

Create a new selection with no witness attached.

pub fn with_witness(self, witness: Witness) -> Self

Attach a witness, marking this selection as validated.

pub fn is_certified(&self) -> bool

Whether this selection has been validated.

Trait Implementations

impl<W: Clone, A: Clone> Clone for CertifiedSelection<W, A>

fn clone(&self) -> CertifiedSelection<W, A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<W: Debug, A: Debug> Debug for CertifiedSelection<W, A>

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

Formats the value using the given formatter.