Struct LaneProgram 

pub struct LaneProgram { /* private fields */ }

A straight-line program over 32-bit lanes computing one 64-bit operation: its inputs are each operand’s low and high lane, its two outputs the result’s.

Implementations

impl LaneProgram

pub fn op(&self) -> Op64

pub fn ops(&self) -> &[LaneOp]

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn inputs(&self) -> usize

The input lanes: two for each operand.

pub fn outputs(&self) -> usize

The output lanes: the result’s low and high.

pub fn eval(&self, lanes: &[u32]) -> Vec<u32>

Every register’s value on lanes, as a 32-bit lane computes it.

pub fn with_op(&self, i: usize, op: LaneOp) -> LaneProgram

The program with operation i replaced: a variant to show that a proof is refused to a program that is not the lowering.

pub fn run(&self, a: u64, b: u64) -> u64

The 64-bit result on 64-bit operands (b unused by a unary operation).

Trait Implementations

impl Clone for LaneProgram

fn clone(&self) -> LaneProgram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LaneProgram

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

Formats the value using the given formatter.

impl PartialEq for LaneProgram

fn eq(&self, other: &LaneProgram) -> 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 Eq for LaneProgram

impl StructuralPartialEq for LaneProgram