Struct MulConstraint

pub struct MulConstraint {
    pub a: Operand,
    pub b: Operand,
    pub hi: Operand,
    pub lo: Operand,
}

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

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

Fields

a: Operand

A operand.

b: Operand

B operand.

hi: Operand

HI operand.

The high 64 bits of the result of the multiplication.

lo: Operand

LO operand.

The low 64 bits of the result of the multiplication.

Trait Implementations

impl Clone for MulConstraint

fn clone(&self) -> MulConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MulConstraint

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

Formats the value using the given formatter.

impl Default for MulConstraint

fn default() -> MulConstraint

Returns the “default value” for a type.

impl DeserializeBytes for MulConstraint

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

where Self: Sized,

impl SerializeBytes for MulConstraint

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