Enum gf::ai::opt::vn::ValueExpr

pub enum ValueExpr {
    Apply {
        op: BitVecOp,
        inputs: Vec<Var>,
    },
    Init {
        constant_value: BitVec,
    },
    Slice {
        inputs: Vec<Var>,
        output_size: VarSize,
        offset: VarSize,
    },
    Var(Var),
}

⚪ Expression for value numbering.

Variants

Apply

An APPLY expression.

Fields of Apply

op: BitVecOp

Operator.

inputs: Vec<Var>

Inputs.

Init

An INIT expression.

Fields of Init

constant_value: BitVec

Initializer constant.

Slice

A SLICE expression.

Fields of Slice

inputs: Vec<Var>

Inputs.

output_size: VarSize

Output size.

offset: VarSize

Slice offset.

Var(Var)

A variable.

Implementations

impl ValueExpr

pub fn from_stmt(stmt: Stmt<'_>) -> Option<Self>

Create a value expression from a sealed statement.

pub unsafe fn from_unsealed_stmt(
    module: &UnsealedModule,
    stmt: &UnsealedStmt
) -> Option<Self>

Create a value expression from an unsealed statement.

Errors

• Panics if a referenced object does not exist.

Trait Implementations

impl Clone for ValueExpr

fn clone(&self) -> ValueExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValueExpr

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

Formats the value using the given formatter.

impl Eq for ValueExpr

impl Hash for ValueExpr

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, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<ValueExpr> for ValueExpr

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for ValueExpr