Enum falcon::il::Expression

pub enum Expression {
    Scalar(Scalar),
    Constant(Constant),
    Add(Box<Expression>, Box<Expression>),
    Sub(Box<Expression>, Box<Expression>),
    Mul(Box<Expression>, Box<Expression>),
    Divu(Box<Expression>, Box<Expression>),
    Modu(Box<Expression>, Box<Expression>),
    Divs(Box<Expression>, Box<Expression>),
    Mods(Box<Expression>, Box<Expression>),
    And(Box<Expression>, Box<Expression>),
    Or(Box<Expression>, Box<Expression>),
    Xor(Box<Expression>, Box<Expression>),
    Shl(Box<Expression>, Box<Expression>),
    Shr(Box<Expression>, Box<Expression>),
    Cmpeq(Box<Expression>, Box<Expression>),
    Cmpneq(Box<Expression>, Box<Expression>),
    Cmplts(Box<Expression>, Box<Expression>),
    Cmpltu(Box<Expression>, Box<Expression>),
    Zext(usize, Box<Expression>),
    Sext(usize, Box<Expression>),
    Trun(usize, Box<Expression>),
}

An IL Expression.

Variants

Scalar(Scalar)Constant(Constant)Add(Box<Expression>, Box<Expression>)Sub(Box<Expression>, Box<Expression>)Mul(Box<Expression>, Box<Expression>)Divu(Box<Expression>, Box<Expression>)Modu(Box<Expression>, Box<Expression>)Divs(Box<Expression>, Box<Expression>)Mods(Box<Expression>, Box<Expression>)And(Box<Expression>, Box<Expression>)Or(Box<Expression>, Box<Expression>)Xor(Box<Expression>, Box<Expression>)Shl(Box<Expression>, Box<Expression>)Shr(Box<Expression>, Box<Expression>)Cmpeq(Box<Expression>, Box<Expression>)Cmpneq(Box<Expression>, Box<Expression>)Cmplts(Box<Expression>, Box<Expression>)Cmpltu(Box<Expression>, Box<Expression>)Zext(usize, Box<Expression>)Sext(usize, Box<Expression>)Trun(usize, Box<Expression>)

Methods

impl Expression

fn bits(&self) -> usize

Return the bitness of this expression.

fn scalars(&self) -> Vec<&Scalar>

Returns all Scalars used in this Expression

fn scalars_mut(&mut self) -> Vec<&mut Scalar>

Return mutable references to all Scalars in this Expression.

fn scalar(scalar: Scalar) -> Expression

Create a new Expression from a Scalar.

fn constant(constant: Constant) -> Expression

Create a new Expression from a Constant.

fn add(lhs: Expression, rhs: Expression) -> Result<Expression>

Create an addition Expression.

Error

The sort of the lhs and the rhs are not the same

fn sub(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a subtraction Expression.

Error

The sort of the lhs and the rhs are not the same.

fn mul(lhs: Expression, rhs: Expression) -> Result<Expression>

Create an unsigned multiplication Expression.

Error

The sort of the lhs and the rhs are not the same.

fn divu(lhs: Expression, rhs: Expression) -> Result<Expression>

Create an unsigned division Expression.

Error

The sort of the lhs and the rhs are not the same.

fn modu(lhs: Expression, rhs: Expression) -> Result<Expression>

Create an unsigned modulus Expression.

Error

The sort of the lhs and the rhs are not the same.

fn divs(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a signed division Expression.

Error

The sort of the lhs and the rhs are not the same.

fn mods(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a signed modulus Expression.

Error

The sort of the lhs and the rhs are not the same.

fn and(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a binary and Expression.

Error

The sort of the lhs and the rhs are not the same.

fn or(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a binary or Expression.

Error

The sort of the lhs and the rhs are not the same.

fn xor(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a binary xor Expression.

Error

The sort of the lhs and the rhs are not the same.

fn shl(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a logical shift-left Expression.

Error

The sort of the lhs and the rhs are not the same.

fn shr(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a logical shift-right Expression.

Error

The sort of the lhs and the rhs are not the same.

fn cmpeq(lhs: Expression, rhs: Expression) -> Result<Expression>

Create an equals comparison Expression.

Error

The sort of the lhs and the rhs are not the same.

fn cmpneq(lhs: Expression, rhs: Expression) -> Result<Expression>

Create an not equals comparison Expression.

Error

The sort of the lhs and the rhs are not the same.

fn cmpltu(lhs: Expression, rhs: Expression) -> Result<Expression>

Create an unsigned less-than comparison Expression.

Error

The sort of the lhs and the rhs are not the same.

fn cmplts(lhs: Expression, rhs: Expression) -> Result<Expression>

Create a signed less-than comparison Expression.

Error

The sort of the lhs and the rhs are not the same.

fn zext(bits: usize, src: Expression) -> Result<Expression>

Create an expression to zero-extend src to the number of bits specified in bits.

Error

src has more or equal number of bits than bits

fn sext(bits: usize, src: Expression) -> Result<Expression>

Create an expression to sign-extend src to the number of bits specified

Error

src has more or equal number of bits than bits

fn trun(bits: usize, src: Expression) -> Result<Expression>

Create an expression to truncate the number of bits in src to the number of bits given.

Error

src has less-than or equal bits than bits

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for Expression

impl Hash for Expression

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl Ord for Expression

fn cmp(&self, __arg_0: &Expression) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl PartialEq for Expression

fn eq(&self, __arg_0: &Expression) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Expression) -> bool

This method tests for !=.

impl PartialOrd for Expression

fn partial_cmp(&self, __arg_0: &Expression) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, __arg_0: &Expression) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, __arg_0: &Expression) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, __arg_0: &Expression) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, __arg_0: &Expression) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Display for Expression

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

Formats the value using the given formatter.