Struct Expr 

pub struct Expr {
    pub kind: Kind,
    pub children: SmallVec<[Arc<Expr>; 2]>,
}

Expression tree node. Owns its children via Box in a SmallVec so that the common binary-op case stays inline (no heap allocation for the vector std::unique_ptr<Expr> semantics).

Fields

kind: Kind

children: SmallVec<[Arc<Expr>; 2]>

Implementations

impl Expr

pub fn constant(val: u64) -> Arc<Self>

pub fn variable(index: u32) -> Arc<Self>

pub fn add(lhs: Arc<Self>, rhs: Arc<Self>) -> Arc<Self>

pub fn mul(lhs: Arc<Self>, rhs: Arc<Self>) -> Arc<Self>

pub fn and(lhs: Arc<Self>, rhs: Arc<Self>) -> Arc<Self>

pub fn or(lhs: Arc<Self>, rhs: Arc<Self>) -> Arc<Self>

pub fn xor(lhs: Arc<Self>, rhs: Arc<Self>) -> Arc<Self>

pub fn not(operand: Arc<Self>) -> Arc<Self>

pub fn neg(operand: Arc<Self>) -> Arc<Self>

pub fn shr(operand: Arc<Self>, amount: u64) -> Arc<Self>

Logical right shift. amount >= 64 is accepted and will evaluate to 0

pub fn zext(child: Arc<Self>, w: u32) -> Arc<Self>

Zero-extend child to width w. Result width is w.

pub fn sext(child: Arc<Self>, w: u32) -> Arc<Self>

Sign-extend child to width w. Result width is w.

pub fn trunc(child: Arc<Self>, w: u32) -> Arc<Self>

Truncate child to its low w bits. Result width is w.

pub fn concat(lhs: Arc<Self>, rhs: Arc<Self>) -> Arc<Self>

Concatenate lhs (high part) with rhs (low part). Result width is the sum of the two child widths.

pub fn clone_tree(&self) -> Arc<Self>

deep copy. Clone already does this via derive(Clone); this is

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Eq for Expr

impl Hash for Expr

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Expr

fn eq(&self, other: &Expr) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Expr