Struct ImulConstraint 

pub struct ImulConstraint(pub [Operand; 4]);

IMUL constraint: A * B = (HI << 64) | LO.

64-bit unsigned integer multiplication producing 128-bit result split into high and low 64-bit words.

The operands are stored in the order given by ImulConstraint::OPERAND_NAMES.

Tuple Fields

0: [Operand; 4]

Implementations

impl ImulConstraint

pub const ARITY: usize = 4

Number of operands.

pub const KIND: ConstraintKind = ConstraintKind::Imul

Kind of this constraint.

pub const OPERAND_NAMES: [&'static str; 4]

Names of the operands, in storage order.

pub const fn a(&self) -> &Operand

A operand.

pub const fn b(&self) -> &Operand

B operand.

pub const fn lo(&self) -> &Operand

LO operand.

The low 64 bits of the result of the multiplication.

pub const fn hi(&self) -> &Operand

HI operand.

The high 64 bits of the result of the multiplication.

pub fn verify(&self, values: &ValueVec) -> Result<(), ConstraintViolation>

Checks that the product of operands A and B equals the HI and LO word pair.

The product is formed over the 128-bit integers. Nothing is truncated before it is split into the two 64-bit halves.

Errors

Returns the evaluated operands, alongside the halves the product actually has.

Trait Implementations

impl AsRef<[Vec<ShiftedValueIndex>; 4]> for ImulConstraint

fn as_ref(&self) -> &[Operand; 4]

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for ImulConstraint

fn clone(&self) -> ImulConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImulConstraint

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

Formats the value using the given formatter.

impl Default for ImulConstraint

fn default() -> ImulConstraint

Returns the “default value” for a type.

impl DeserializeBytes for ImulConstraint

fn deserialize(read_buf: impl Buf) -> Result<Self, SerializationError>

where Self: Sized,

impl SerializeBytes for ImulConstraint

fn serialize(&self, write_buf: impl BufMut) -> Result<(), SerializationError>